Repository navigation

v2 compile-obligation census: claimed vs route-covered vs seed-side escape - #10942

Merged

briansrls merged 22 commits into

mainfrom

session/quiet-hawk-479

Sep 11, 2026

Merged

v2 compile-obligation census: claimed vs route-covered vs seed-side escape#10942
briansrls merged 22 commits into
mainfrom
session/quiet-hawk-479

Commits on Sep 10, 2026
- v2 obligation census: claimed vs executing-natively vs seed-side escape
  
  Brian Searls
  and
  claude
  committed
  de82f42
- Derive the census dispositions; retract "executing interpreted = 0"
  
  Brian Searls
  and
  claude
  committed
  0eabe95
- Hoist the census annotations to module-item grain (DESIGN 4c)
  
  Brian Searls
  and
  claude
  committed
  c1a671f
- Aim the next triggers at the real lever; withdraw the pub-use claim once
  
  Brian Searls
  and
  claude
  committed
  2b253eb
- Merge remote-tracking branch 'origin/main' into session/quiet-hawk-479
  Brian Searls
  committed
  5aa4bc9
- Compute claimed-vs-executing; type the drop citations; share the trigger
  
  Brian Searls
  and
  claude
  committed
  b34c0d8
- Consume guarantee_rung_index instead of re-minting the ladder order
  
  Brian Searls
  and
  claude
  committed
  5dafb8d
- Say route coverage, not executed; refuse the widen on an unverified entry
  
  Brian Searls
  and
  claude
  committed
  7203e1b
- Ask the third subtraction; drop the forward citation to an unlanded module
  
  Brian Searls
  and
  claude
  committed
  5c8484e
- Give the prefix approximation its own premise, trigger and number
  
  Brian Searls
  and
  claude
  committed
  c371a47
- Merge remote-tracking branch 'origin/main' into session/quiet-hawk-479
  Brian Searls
  committed
  deb228b
- Re-derive the native column against the landed lane; type the trigger
  
  Brian Searls
  and
  claude
  committed
  a2e799f
Commits on Sep 11, 2026
- Carry the fixtures to the typed trigger; my green was measured on stale bytes
  
  Brian Searls
  and
  claude
  committed
  2f07e50
- Repoint the ledger citation the native rework stranded
  
  Brian Searls
  and
  claude
  committed
  6ad91b9
- Narrow the witness's own run-grain claim to what selects it
  
  Brian Searls
  and
  claude
  committed
  5dd72e3
- Count the native verdict premise; give the dormancy a typed trigger
  
  Brian Searls
  and
  claude
  committed
  16f9e25
- Delete the three sentences the native rework falsified
  
  Brian Searls
  and
  claude
  committed
  b30b557
- Merge remote-tracking branch 'origin/main' into session/quiet-hawk-479
  Brian Searls
  committed
  9522fc0
- Follow the lane's deletion: native standing is off the merge path, not executing
  
  Brian Searls
  and
  claude
  committed
  5bf7e0d
- Derive route_reach; it was the last authored column and it went stale
  
  Brian Searls
  and
  claude
  committed
  bd4a792
- Merge remote-tracking branch 'origin/main' into session/quiet-hawk-479
  Brian Searls
  committed
  628b1a8
- Delete the dead reached-by-route axis
  
  Brian Searls
  and
  claude
  committed
  9142f62

Commits

Commits on Sep 10, 2026

Commits on Sep 11, 2026