Repository navigation

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

Open

zxv wants to merge 1 commit into

CrocSwap:mainfrom

zxv:codex/precision-state-frontier

Open

Where rounded native codes keep their history: a sharp precision–state frontier#5444
zxv wants to merge 1 commit into
CrocSwap:mainfrom
zxv:codex/precision-state-frontier

Commits on Oct 24, 2026
- Prove exact precision and recovery-history frontiers for native recoding
  zxv
  committed
  9004eb1