Repository navigation

Scoped negative result: fixed P112 24-row boundary retains COPY64 - #1432

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

bbMisk:research/p112-boundary24-seed39

Oct 14, 2026

Merged

Scoped negative result: fixed P112 24-row boundary retains COPY64#1432
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/p112-boundary24-seed39

Commits on Oct 14, 2026
- Prove COPY64 floor at the fixed P112 24-row boundary
  bbMisk
  committed
  4bcc49e