v0.2.0

GrayNFS v0.2.0

0.x carries no compatibility promise.

Highlights

• Parallel combination scheduler: ECM and SIQS run as a measured parallel combination under a joint driver with checkpoint resume and controller-decided reclaim, with ECM-alone fallback at parity.
• Primality suite: unified deterministic Miller-Rabin core with BPSW as the default gate, auxiliary tests as fast-path filters only, Frobenius opt-in, AKS isolated as proof-only, and rounds/proof APIs split.
• Correctness envelope: 22-composite plus 20-prime corpus with product verification on every factored output, failing closed with verification_failed instead of ok.

Breaking changes

• Observed method/timings stage names may show new scheduler stage names under the truthful-winner vocabulary; no binding change (Python signatures untouched).

What's changed

• Scheduler: device profiler on live signals only (no constants), cost model projecting ECM vs SIQS from measured rates, slice governor re-projecting after every stage, parallel ECM+SIQS with checkpoint resume and first-verified-factor wins, controller-decided reclaim order, and a record-only four-member parity envelope as the acceptance gate.
• Primality: duplicated u64 Miller-Rabin paths unified; BPSW (base-2 MR plus strong Lucas) as default gate; Fermat and Euler-Solovay as fail-fast filters only; Frobenius opt-in defaulting off; AKS proof-only with 64-bit cap off the hot path; probabilistic rounds split from proof requests.
• Review minors: proof-path GIL detach, total-ordering median comparator, and cost-share rename - all behavior-identical with factoring verdicts unchanged.

Benchmarks

• All benchmark cells unchanged (version bump 0.1.5 to 0.2.0 with no factorization-logic change in the bump commit).

---

Full Changelog: v0.1.5...v0.2.0