Skip to content

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

Record committed follow-up export and portable control evidence

3a6aad3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 28, 2026 in 4m 25s