Repository navigation

Prove saturation of the fixed #4467 leaf deficit (no new κ) - #6118

Merged

Mister-Meeseeks merged 7 commits into

CrocSwap:mainfrom

DLamdata:research/20261028-reviewable-result

Oct 28, 2026

Merged

Prove saturation of the fixed #4467 leaf deficit (no new κ)#6118
Mister-Meeseeks merged 7 commits into
CrocSwap:mainfrom
DLamdata:research/20261028-reviewable-result

Commits on Oct 28, 2026
- Prove fixed direct-flow leaf deficit saturation
  DLamdata
  committed
  9465f26
- Record committed export and Git-free replay evidence
  DLamdata
  committed
  ff365db
- Address Claude review of leaf-saturation proof and checks
  DLamdata
  committed
  5531988
- Record reviewed export replay and model attribution
  DLamdata
  committed
  6310550
- Clarify leaf-saturation reading path and current evidence
  DLamdata
  committed
  9946b1c
- Correct Stone refinement wording and guard original-flow comparison
  DLamdata
  committed
  309eff4
- Record committed follow-up export and portable control evidence
  DLamdata
  committed
  3a6aad3