Skip to content

Where rounded native codes keep their history: a sharp precision–state frontier - #5444

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
zxv:codex/precision-state-frontier
Oct 25, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
zxv:codex/precision-state-frontier

Prove exact precision and recovery-history frontiers for native recoding

9004eb1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 24, 2026 in 3m 56s