Skip to content

Decoder floors: every label window h ≥ 12 is closed in the root-code scope (clique bound + DRAT-verified h = 12–14; no κ claim) - #2873

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
DreamingOfClouds:research/label-windows-h12-plus
Oct 16, 2026
Merged

Decoder floors: every label window h ≥ 12 is closed in the root-code scope (clique bound + DRAT-verified h = 12–14; no κ claim)#2873
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
DreamingOfClouds:research/label-windows-h12-plus

Address audit: real SAT-control log, precise #1212 scope and rank >= …

4283ecf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar