Skip to content

feat(api)!: make numerical invariants and errors explicit - #178

Merged
acgetchell merged 3 commits into
mainfrom
refactor/exact-invariant-proofs
Jul 11, 2026
Merged

feat(api)!: make numerical invariants and errors explicit#178
acgetchell merged 3 commits into
mainfrom
refactor/exact-invariant-proofs

fix: harden exact arithmetic and benchmark publication

db2fad5
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 11, 2026 in 0s

99.60% of diff hit (target 90.00%)

View this Pull Request on Codecov

99.60% of diff hit (target 90.00%)

View more details on Codecov