Make public mathematical contracts canonical and composable - #2185

Merged

morluto merged 13 commits into

mainfrom

codex/public-math-contracts

Aug 20, 2026

Commits on Aug 20, 2026

refactor(polynomials): add canonical ideal and rational-function values
morluto
committed
d0c4b32
fix(galois): enforce backend domain and complete certificates
morluto
committed
9ceb72a
fix(finite-fields): authenticate derived values and parent bindings
morluto
committed
7d2f411
fix(universal-algebra): close term and quotient contracts
morluto
committed
2279a57
fix(symbolic): replace expression strings with canonical values
morluto
committed
2c649c9
fix(exact-values): canonicalize rational contracts and results
morluto
committed
c7ad4f0
fix(domain-contracts): enforce structural invariants at validation
morluto
committed
ef73877
fix(ci): align finite-field import contract with validation
morluto
committed
1009d98
fix(math): preflight exact result growth
morluto
committed
c4f4c74
fix(math): bound additional exact result growth
morluto
committed
a08ec92
fix(contracts): preserve nested schema closure and versions
morluto
committed
0c41ded
style(graphical-models): format contract regression
morluto
committed
fa982b4
fix(contracts): preflight exact ratio and determinant growth
morluto
committed
57437ac