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/project succeeded Jul 11, 2026 in 0s

97.75% (target 98.00%)

View this Pull Request on Codecov

97.75% (target 98.00%)

Details

Codecov Report

❌ Patch coverage is 99.60630% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 97.75%. Comparing base (3b4b584) to head (db2fad5).
✅ All tests successful. No failed tests found.

Files with missing lines Patch % Lines
src/error.rs 99.60% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #178      +/-   ##
==========================================
- Coverage   98.13%   97.75%   -0.39%     
==========================================
  Files           7        8       +1     
  Lines        3323     4624    +1301     
==========================================
+ Hits         3261     4520    +1259     
- Misses         62      104      +42     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.