Repository navigation

Compiler guarantee recovery — gap analysis vs the recovered THESIS.md tiers (docs + doc-graph binds) - #7486

Merged

briansrls merged 8 commits into

mainfrom

session/cool-badger-514

Jul 31, 2026

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