Repository navigation

Guarantee ladder follow-up: climb plan in the canonical roadmap graph, derived rung state, construction-walled doc binds - #7489

Merged

briansrls merged 24 commits into

mainfrom

session/cool-badger-514

Jul 31, 2026

Merged

Guarantee ladder follow-up: climb plan in the canonical roadmap graph, derived rung state, construction-walled doc binds#7489
briansrls merged 24 commits into
mainfrom
session/cool-badger-514

Commits on Jul 31, 2026
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  be1a001
- Bind the guarantee-recovery analysis into the doc graph
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  40d615c
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  f71fee9
- Reconcile the gap analysis against the independent review — three corrections adopted, receipts verified
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9ca8d00
- Status header: two audit passes complete, open items typed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6a80656
- Align the bind's dissolution trigger with the doc's own authority model (review 45299)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dd7e585
- Address review 45305 (merge same-slug binds, fix stale block) + land the safety ladder as the organizing frame
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a78e4bf
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  5130f7a
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  2687e32
- Integrate main (squash-merge of #7486)
  gunbc-ci-auto-heal
  committed
  d2d7ed5
- Ladder follow-up: adopt the post-merge verdict (8 corrections) + the guarantee-ladder roadmap section
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0532d3e
- Give works its executing consumers (review 45336): nonempty wall, symbol fields, two-anchor pin, RED control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aa06080
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  9ac8bd5
- De-inflate the three climb-node headlines (review 45349): work nodes name the target rung; current rung defers to the census
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d256baf
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  93b95d2
- Merge 93b95d29a5011c610e9d265edcf96d0d51e329b4 into e156812de5c5e7d1e85496536d9d7ece0cd0473f
  gunbai-bot[bot]
  authored
  be77111
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  dceeb89
- Ladder nodes join the declared roadmap graph; binds nonempty by construction; rung state derived, never stored
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2d836ed
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  df2c1a8
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  754f187
- Trim the three over-budget ladder briefs to the operator's 100-word ticket law
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5bd52c4
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  c0ac6e8
- Containment predicates consume doc_all_nodes, the one canonical walker (review 45412)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cd3d4bb
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  a524d9e

Commits

Commits on Jul 31, 2026