Repository navigation

Research: certified bit-side lever budgets for PR589 at a = 1/99 under the proposed revision 3 (no new kappa) - #1334

Merged

Mister-Meeseeks merged 3 commits into

CrocSwap:mainfrom

thakrarsagar:research/bit-revision3-levers

Oct 14, 2026

Merged

Research: certified bit-side lever budgets for PR589 at a = 1/99 under the proposed revision 3 (no new kappa)#1334
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
thakrarsagar:research/bit-revision3-levers

Commits on Oct 13, 2026
- Research: certified bit-side revision-3 lever budgets for the PR589 bit supplier at a = 1/99 (no new kappa)
  Sagar Thakrar
  committed
  cd96cf3
- Address review: idle cap is a halving-depth premise (caps 45/50/53 under the row bounds), O2 holds at depth <= 3, correct the window overclaim and floor comparisons
  Sagar Thakrar
  committed
  168466b
- Pin the row-bound sources read by the halving-depth binding
  Sagar Thakrar
  committed
  5ad74a4