Repository navigation

PR-A: typed per-cause Refusals; empty diff dissolved into the general disposition; hunkless diffs attribute at path grain - #6286

Merged

briansrls merged 8 commits into

mainfrom

fix/affected-set-typed-refusals

Jul 5, 2026

Merged

PR-A: typed per-cause Refusals; empty diff dissolved into the general disposition; hunkless diffs attribute at path grain#6286
briansrls merged 8 commits into
mainfrom
fix/affected-set-typed-refusals

Commits on Jul 5, 2026
- PR-A: a failure arm refuses, never widens — typed per-cause Refusals, empty diff dissolved into the general disposition (operator rulings 2026-07-05)
  
  Brian Searls
  and
  claude
  committed
  8229bb4
- PR-A .dag half: disposition model + tests (moved from session branch)
  
  Brian Searls
  and
  claude
  committed
  89fa517
- Revive the never-parseable provenance contract fixture (spec-without-execution instance)
  
  Brian Searls
  and
  claude
  committed
  d329e0c
- Regenerate DESIGN.md carrier from the updated design_document model (wet regen, drift gate green)
  
  Brian Searls
  and
  claude
  committed
  d665b11
- Address cursor review: align the two stale old-contract consumers with the rulings
  
  Brian Searls
  and
  claude
  committed
  ce2e6b6
- derive Debug on DiscoverySummary (expect_err in the refusal witness needs it)
  
  Brian Searls
  and
  claude
  committed
  a4ada8d
- Address cursor round 2: departed-per-diff vs absent-is-ignorance; repair the in-process observe resolve
  
  Brian Searls
  and
  claude
  committed
  6d38597
- File identity, not spelling: unify entry lookup at the single decision point
  
  Brian Searls
  and
  claude
  committed
  8b8f74f