Skip to content

Scoped negative result: CK target-forest floor holds for all dyadic weights (no new kappa) - #1220

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
adamgall:research/round5-complex-seed23
Oct 14, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
adamgall:research/round5-complex-seed23

Record completed CK all-dyadic claim and PR1220

9cd42fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.11)
succeeded Oct 14, 2026 in 5m 42s