Repository navigation

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

Commits on Oct 16, 2026
- Decoder floors: every label window h >= 12 is closed in the root-code scope (clique bound + DRAT-verified h = 12-14; no kappa claim)
  
  DreamingOfClouds
  and
  claude
  committed
  68e916c
- Address audit: real SAT-control log, precise #1212 scope and rank >= 9 not claimed, 696-list derivation, X=None handling and c5.d to c = 112, sibling-directory requirement
  
  DreamingOfClouds
  and
  claude
  committed
  4283ecf