Skip to content

v1.0.0: Guarantee no public function can panic#6

Merged
GeEom merged 1 commit intomainfrom
no_panic
Mar 16, 2026
Merged

v1.0.0: Guarantee no public function can panic#6
GeEom merged 1 commit intomainfrom
no_panic

Conversation

@GeEom
Copy link
Owner

@GeEom GeEom commented Mar 16, 2026

No-panic guarantee:

  • All public functions annotated with #[no_panic] under a dedicated verify-no-panic feature flag
  • Subtraction, division, and abs replaced with saturating equivalents throughout
  • Recursive sinh_cosh argument reduction converted to iterative with bounded depth
  • Recursive atanh_core converted to a bounded reduction loop
  • CI job checks annotation coverage and builds under no-panic-check profile

CI and documentation:

  • --all-features replaced with --features std to avoid triggering verify-no-panic in normal builds
  • Auto-tag on merge to main
  • Advertise the robustness and accuracy ratchet in the readme
  • Baseline updated to reflect saturating arithmetic changes

@codecov-commenter
Copy link

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

❌ Patch coverage is 94.11765% with 3 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
src/traits.rs 50.00% 3 Missing ⚠️

📢 Thoughts on this report? Let us know!

@GeEom GeEom merged commit 4d13c1b into main Mar 16, 2026
12 checks passed
@GeEom GeEom deleted the no_panic branch March 16, 2026 11:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants