Repository navigation

Sharpen R437 row stock to 9475·A^D and certify descendant arithmetic - #4685

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

mihir-s-05:codex/r437-descendant-stock

Oct 22, 2026

Merged

Sharpen R437 row stock to 9475·A^D and certify descendant arithmetic#4685
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
mihir-s-05:codex/r437-descendant-stock

Commits on Oct 22, 2026
- Prove sharper R437 row stock and certify descendant arithmetic
  mihir-s-05
  committed
  87e5651
- Correct topology symbol in stock source map
  mihir-s-05
  committed
  ca336bd