backlog(P2): B-0196 BigInt + BigRational + BigDecimal + BigFloat integration (Aaron 2026-05-05)#1595

Merged

AceHack merged 5 commits intomainfrom

backlog-bigint-bignumber-integration-aaron-2026-05-05

May 5, 2026

Commits on May 5, 2026

backlog(P2): B-0196 BigInt + BigRational + BigDecimal + BigFloat integration -- substrate survey + per-class adoption recommendation (Aaron 2026-05-05)

AceHack
and
claude
committed
fix(B-0196): four-property hodl invariant + human anchors (Aaron 2026-05-05 same-tick)

AceHack
and
claude
committed
fix(B-0196): bidirectional composes_with + NormalGamma->NormalInverseGamma + tools/z3->tools/Z3Verify + + bullet + BayesianAggregate Checked correction (#1595 reviewer)

AceHack
and
claude
committed
fix(B-0196): markdownlint MD032 + MD018 + last_updated bumps for B-0156/B-0189 (#1595 reviewer follow-up)

AceHack
and
claude
committed
fix(B-0196): soften UoM-on-BigInteger pre-answer to hypothesis-with-search-required (#1595 reviewer)

AceHack
and
claude
committed