Skip to content

Prove a square-root envelope for completed elimination downsets (no κ) - #4852

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w5-1022j-scoped-law
Oct 23, 2026
Merged

Prove a square-root envelope for completed elimination downsets (no κ)#4852
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w5-1022j-scoped-law

feat(research): sharpen completed-downset norms via block solves

8acf04b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 22, 2026 in 3m 25s