Skip to content

Prove a sharp 1/4 error floor for contractive P104 mode deletion (no κ) - #6183

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w7-1029a-quotient-obstruction
Oct 29, 2026
Merged

Prove a sharp 1/4 error floor for contractive P104 mode deletion (no κ)#6183
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w7-1029a-quotient-obstruction

feat(research): bound contractive P104 mode-deletion error

eaf7779
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 29, 2026 in 4m 32s