Skip to content

Prove local inverse-pair error cancellation and a sharper precision guard - #5322

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/physical-pair-error-transfer
Oct 23, 2026
Merged

Prove local inverse-pair error cancellation and a sharper precision guard#5322
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/physical-pair-error-transfer

Remove the trailing empty proof line

3806582
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 36s