Repository navigation

CI rework - #8633

Closed

briansrls wants to merge 2 commits into

mainfrom

Closed

CI rework#8633
briansrls wants to merge 2 commits into
mainfrom
v1-parse-gate

Commits on Aug 19, 2026
- src/v1 .dag parsing was already gated; the gate was red for a missing --bin flag
  
  Brian Searls
  and
  claude
  committed
  510fce2
- CI refuted the premise: the fold is hermetic, so the witness cannot execute
  
  Brian Searls
  and
  claude
  committed
  3ca2fe8