Search results

U10 follow-up: verify cache invalidation covers auto-merged notes

Status: Open.

#35 In mattfogel/prov;

· mattfogel opened on May 3, 2026

U10 follow-up: add --json flag to prov notes-resolve

Status: Open.

#34 In mattfogel/prov;

· mattfogel opened on May 3, 2026

P1: redact-history performs ~4N git shell-outs over the notes ref (use git cat-file --batch)

Status: Open.

#31 In mattfogel/prov;

· mattfogel opened on May 2, 2026

P1: SQLite cache schema lacks ref_name — public+private notes for one commit silently collapse

Status: Open.

#30 In mattfogel/prov;

· mattfogel opened on May 2, 2026

P1: redact-history leaves pre-rewrite content reachable via local reflog and unpruned blobs

Status: Open.

#29 In mattfogel/prov;

· mattfogel opened on May 2, 2026

P1: chained user pre-push hook consuming stdin silently disables the prov gate

Status: Open.

#28 In mattfogel/prov;

· mattfogel opened on May 2, 2026

P1: pre-push gate skips when local ref is not refs/notes/prompts (mapping bypass)

Status: Open.

#26 In mattfogel/prov;

· mattfogel opened on May 2, 2026

P1: pre-push gate fails open — prov off PATH + git push --mirror leak private notes

Status: Open.

#27 In mattfogel/prov;

· mattfogel opened on May 2, 2026

P1: # prov:private routing falls through to public on same-second timestamp tie

Status: Open.

#25 In mattfogel/prov;

· mattfogel opened on May 2, 2026

ux: cache schema-version mismatch should auto-reindex (or prompt) instead of error

phase-1-followupFollow-up from Phase 1 code reviewFollow-up from Phase 1 code review

Status: Open.

#15 In mattfogel/prov;

· mattfogel opened on Apr 30, 2026

fix: match_edit_to_diff strategy-c misses small-portion Write tool calls

phase-1-followupFollow-up from Phase 1 code reviewFollow-up from Phase 1 code review

Status: Open.

#14 In mattfogel/prov;

· mattfogel opened on Apr 30, 2026

design: prov log --json envelope discriminator (point vs whole-file)

phase-1-followupFollow-up from Phase 1 code reviewFollow-up from Phase 1 code review

Status: Open.

#13 In mattfogel/prov;

· mattfogel opened on Apr 30, 2026