Repository navigation

Promote 80 orphan TestClaim predicate files to executing witnesses; 35 parse-reaching claims declared as residue, not enrolled - #8505

Merged

briansrls merged 14 commits into

mainfrom

session/warm-boar-256

Aug 19, 2026

Merged

Promote 80 orphan TestClaim predicate files to executing witnesses; 35 parse-reaching claims declared as residue, not enrolled#8505
briansrls merged 14 commits into
mainfrom
session/warm-boar-256

Commits on Aug 19, 2026
- Delete the TestClaim evaluation island; promote eight orphan claim classes to executing witnesses
  gunbc-ci-auto-heal
  committed
  bf296d9
- field_patch_monoid: promote the assertions, not the value-computations
  gunbc-ci-auto-heal
  committed
  6d3aeb7
- apply_lens_enforce_uses_projection: the fixture was malformed, and executing it is how we found out
  gunbc-ci-auto-heal
  committed
  525a8a1
- Merge remote-tracking branch 'origin/session/wise-bat-141' into session/warm-boar-256
  Brian Searls
  committed
  c21c51b
- Promote 82 orphan TestClaim predicate files to executing witnesses; root-cause every first-execution red
  
  Brian Searls
  and
  claude
  committed
  d3860eb
- Delete the two orphaned family_receipt aggregates the promotion left behind; re-ground their eval gates on the discriminating controls
  
  Brian Searls
  and
  claude
  committed
  a831483
- Merge origin/main into session/warm-boar-256
  Brian Searls
  committed
  8b41bdb
- Fix the two floor-only failure classes from run 32225493043
  
  Brian Searls
  and
  claude
  committed
  c4d0e26
- Vacuity finding: witness_fold_source_stops_at_is_done could not have failed
  
  Brian Searls
  and
  claude
  committed
  6e21df5
- Vacuity finding: disj_max_claim_holds could not have failed either
  
  Brian Searls
  and
  claude
  committed
  49ac2c3
- Cross-claim memo counters with a consumer; delete the sibling that never had one
  
  Brian Searls
  and
  claude
  committed
  b17a8e7
- Cross-context memo probe: two arms, one binary, prediction recorded BEFORE the run
  
  Brian Searls
  and
  claude
  committed
  c0e62c1
- Unpromote the parse-reaching cohort: 35 claims that cannot reach a verdict at the floor ceiling
  
  Brian Searls
  and
  claude
  committed
  e397169
- Revert the cross-claim memo counters: their consumer was suspended, and a dangling [[bin]] broke the build
  
  Brian Searls
  and
  claude
  committed
  b93808a

Commits

Commits on Aug 19, 2026