Repository navigation

Prove the A4 eight-call floor with arbitrary dirty workspace (no new κ) - #5199

Merged

Mister-Meeseeks merged 3 commits into

CrocSwap:mainfrom

petalas:research/w1-1022s-scoped-obstruction

Oct 23, 2026

Merged

Prove the A4 eight-call floor with arbitrary dirty workspace (no new κ)#5199
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
petalas:research/w1-1022s-scoped-obstruction

Commits on Oct 23, 2026
- feat(research): prove the A4 floor with arbitrary dirty workspace
  petalas
  committed
  2cdab8d
- test(research): require a nonzero dirty-input contribution
  petalas
  committed
  be94fff
- test(research): enforce valid field pivot inverses
  petalas
  committed
  184dbcc