Repository navigation

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

Commits on Nov 6, 2026
- research: prove the sharp joint dirty-word interval envelope
  CubeJerry
  committed
  89eef28
- Record an additional adversarial audit of the all-height interval proof
  CubeJerry
  committed
  02f7d03