Repository navigation

Make the quarantine partition disjoint (111 + 5 + 313 = 429), and correct the run id for the eight that tipped - #8634

Merged

briansrls merged 11 commits into

mainfrom

session/royal-hawk-392

Aug 20, 2026

Merged

Make the quarantine partition disjoint (111 + 5 + 313 = 429), and correct the run id for the eight that tipped#8634
briansrls merged 11 commits into
mainfrom
session/royal-hawk-392

Commits on Aug 18, 2026
- Derive the quarantine's collateral exactly: 313, not "roughly 200"
  
  Brian Searls
  and
  claude
  committed
  58a115e
- Merge main; the two collateral partitions reconcile, and main's was double-counted
  
  Brian Searls
  and
  claude
  committed
  66500d7
- Merge remote-tracking branch 'origin/main' into session/royal-hawk-392
  Brian Searls
  committed
  da6b7ba
- Narrow the fixed-cost law to its class, and label 97/102 as set intersection
  
  Brian Searls
  and
  claude
  committed
  3a0a55c
Commits on Aug 19, 2026
- Merge remote-tracking branch 'origin/main' into session/royal-hawk-392
  Brian Searls
  committed
  dd543f7
- Refuted by execution: dag_arrow_lambda's cost is the parse, not the grammar rebuild
  
  Brian Searls
  and
  claude
  committed
  c230996
- Merge remote-tracking branch 'origin/main' into session/royal-hawk-392
  Brian Searls
  committed
  8d7190f
- The eight tipped in 32186963581, not 32189985063 — verified against the counters
  
  Brian Searls
  and
  claude
  committed
  010fac3
- Join this roster against the deferral freeze: 40 enrolled rows can never leave
  
  Brian Searls
  and
  claude
  committed
  900fd0f
- Merge remote-tracking branch 'origin/main' into session/royal-hawk-392
  Brian Searls
  committed
  84b8aa1
- Correct my own claim: the deferral-freeze intersection rows DO execute
  
  Brian Searls
  and
  claude
  committed
  2989bd2