Repository navigation

62 claims in 10 witness files are declared plain fn and never enrolled: promote them, triage what turns red, and give the class a detector - #9499

Merged

briansrls merged 3 commits into

mainfrom

session/crisp-cat-907

Aug 27, 2026

Merged

62 claims in 10 witness files are declared plain fn and never enrolled: promote them, triage what turns red, and give the class a detector#9499
briansrls merged 3 commits into
mainfrom
session/crisp-cat-907

Commits on Aug 27, 2026
- A typed wall for barren witness files exists, is wired to a hard failure, and the required floor never calls it: 62 unenrolled claims, the third scanner, and 37 promotions
  
  Brian Searls
  and
  claude
  committed
  5fbc046
- Merge remote-tracking branch 'origin/main' into session/crisp-cat-907
  Brian Searls
  committed
  aea4781
- Merge origin/main: take #9483's repair of three barren specimens, keep the wall that makes the fourth impossible
  
  Brian Searls
  and
  claude
  committed
  9edebed