Repository navigation

Derive the stage0 edge-list disagreement, and enrol the fold that keeps it honest - #12035

Merged

gunbai-bot[bot] merged 9 commits into

mainfrom

session/calm-koi-296-7d

Sep 23, 2026

Merged

Derive the stage0 edge-list disagreement, and enrol the fold that keeps it honest#12035
gunbai-bot[bot] merged 9 commits into
mainfrom
session/calm-koi-296-7d

Commits on Sep 22, 2026
- Record the measured size of the stage0 edge-list gap on the debt row that already declares it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  feceaa1
- review 69889: derive the disagreement instead of transcribing it, and enrol the fold that keeps it honest
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e307014
- review 69939: import CompilationUnit explicitly, and drop the unused Stage0FoundationCrate
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2010f74
- floor over-cost: ask the assignment for unit deps, not partition_fold_outcome for interfaces
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  72f8474
- review 69998: the refusal arm cannot admit a success, and the unit-edge projection has one producer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  86b1f3d
- side-chat blocker: a dep edge to a unit with no package row refuses, instead of certifying agreement
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  36a8976
- review 70179: the debt ledger is checked in both directions, and the cost figures stop being prose
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  feed8d2
- review 70187: the dissolution row stops restating a contract it no longer describes, and two more copies go with it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4f67ef1
Commits on Sep 23, 2026
- Merge remote-tracking branch 'origin/main' into g7d
  gunbc-ci-auto-heal
  committed
  b73155b