Skip to content

Prove the sharp joint dirty-word interval envelope (no new κ) - #6770

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research/20261106-sharp-dirty-intervals
Nov 10, 2026
Merged

Prove the sharp joint dirty-word interval envelope (no new κ)#6770
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research/20261106-sharp-dirty-intervals

Record an additional adversarial audit of the all-height interval proof

02f7d03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 6, 2026 in 4m 31s