feat: expose `LibTomMath` modular arithmetic as primitives#6026

Open

ggreif wants to merge 16 commits intomasterfrom

gabor/modular-arithmetic

Commits on Apr 21, 2026

feat: expose LibTomMath modular arithmetic via Prim

ggreif
and
claude
committed
fix: add missing s_mp_montgomery_reduce_fast to TOMMATHFILES

ggreif
and
claude
committed
fix: add missing mp_cmp_d to TOMMATHFILES

ggreif
and
claude
committed
feat: add QuickCheck tests for modular arithmetic + per-suite nix targets

ggreif
and
claude
committed
fix: Haskell layout error in PowMod evaluate case

ggreif
and
claude
committed
fix: QC modular — correct prop_verifies type, shadow bindings, reduce test size

ggreif
and
claude
committed
fix: add s_mp_mul_high_digs{,_fast} to TOMMATHFILES

ggreif
and
claude
committed
chore: update .ok files for new modular arithmetic prims

ggreif
and
claude
committed
fix: intSubMod test — LibTomMath returns positive remainder

ggreif
and
claude
committed
ci: retry after local release tests pass
ggreif
committed
fix: modular arithmetic — remove ic-only cfg, fix interpreter mod semantics

ggreif
and
claude
committed
fix: route modular ops through MakeCompact to handle tagged scalars

ggreif
and
claude
committed
refactor: introduce vanilla_sr helper, replace const_sr SR.Vanilla

ggreif
and
claude
committed
chore: add modular arithmetic to Changelog

ggreif
and
claude
committed
refactor: consolidate modular arithmetic interpreter cases

ggreif
and
claude
committed
style: migrate BigNum.compile_*mod to E.call_rts shorthand

ggreif
and
claude
committed