Skip to content

feat(validation)!: add certified realization intersection fast paths - #531

Merged
acgetchell merged 3 commits into
mainfrom
fix/506-release-audit
Jul 26, 2026
Merged

feat(validation)!: add certified realization intersection fast paths#531
acgetchell merged 3 commits into
mainfrom
fix/506-release-audit

fix(validation): reject invalid realization confinement certificates

75ea22f
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jul 26, 2026 in 0s

91.32% (target 90.00%)

View this Pull Request on Codecov

91.32% (target 90.00%)

Details

Codecov Report

❌ Patch coverage is 83.72901% with 281 lines in your changes missing coverage. Please review.
✅ Project coverage is 91.32%. Comparing base (91efa35) to head (75ea22f).
✅ All tests successful. No failed tests found.

Files with missing lines Patch % Lines
src/geometry/util/simplex_lp.rs 82.79% 274 Missing ⚠️
src/geometry/realization.rs 93.96% 7 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #531      +/-   ##
==========================================
- Coverage   91.51%   91.32%   -0.20%     
==========================================
  Files          87       88       +1     
  Lines       80140    81649    +1509     
==========================================
+ Hits        73343    74566    +1223     
- Misses       6797     7083     +286     

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