Skip to content

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

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/p112-two-product-compensation-s46-20261014

Prove P112 two-product compensation COPY floor

8d53667
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.11)
succeeded Oct 15, 2026 in 38s