Repository navigation

Scoped negative result: arbitrary free rectangles retain COPY64 for P112 pair (4,6) - #1460

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

bbMisk:research/p112-two-product-compensation-s46-20261014

Oct 14, 2026

Merged

Scoped negative result: arbitrary free rectangles retain COPY64 for P112 pair (4,6)#1460
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/p112-two-product-compensation-s46-20261014

Commits on Oct 14, 2026
- Prove P112 two-product compensation COPY floor
  bbMisk
  committed
  8d53667