SET-12 Sealed: 149 Tests, 0.54s, MPFR Oracle in Rust

#rust #hpc #reproducibility #opensource

Harmonis Prime SET-12 is sealed.

What that means:

149 reproducible tests, 0.54s, zero failures

400‑bit MPFR ζ(½+it) oracle with honest f64 fallback

Kahan‑Neumaier compensation: exact recovery of 2.0 from catastrophic cancellation

Backlund‑type truncation bound with monotonicity verification

Every limitation documented inline — no aspirational drift

What we did NOT do:

Claim "first‑of‑its‑kind" — no literature survey

Claim "aerospace‑grade" — no DO‑178C cert

Claim hardware acceleration — software‑only until Phase 3

Hide behind marketing — all claims verifiable via cargo test

The README is now live at v3.2 — research‑grade, with Mermaid architecture diagram, Phase 2 roadmap, and community engagement prompts.

One command to verify everything:

bash
git clone https://github.com/Ayub19123/Harmonis-Prime
cd Harmonis-Prime
cargo test --lib -- --nocapture
Permanent artifacts:

Every claim has a failing test first. The precision is eternal.

DEV Community