Skip to content

v0.2.2

Choose a tag to compare

View all tags
@jake1104 jake1104 released this 25 Oct 08:42
· 31 commits to main since this release
v0.2.2
f64ce25

GrayNFS v0.2.2

0.x carries no compatibility promise.

Highlights

  • Measurement foundation: frozen fixed corpus with per-case deadlines, route-separated envelopes (default / forced SIQS / forced GNFS), and a baseline re-run with noise verdicts - all successes product-verified.
  • One kept SIQS gain: autotuned trial-division cutoff and 3-pass ladder offsets cut pass_evaluated 271548 to 227895 (-16.08%) with per-pass relations exact and 1878/945 exact 5/5.
  • Opt-in controls landed: --max-cpu-seconds budget guard (additive, defaults unchanged) and estimation pre-check skipping doomed pilot slices at ~0 ms with default-route identities bit-identical.

Breaking changes

  • None - version-marking release (0.2.1 to 0.2.2 version-bump propagation, no factorization-logic change in the bump itself).

What's changed

  • Corpus and envelopes: frozen cells (100-bit 1878/945, 82-bit 301/251, deg3-skip 3682/2422, hostile-105 3269/907, demo267 ECM, b70) across three routes with timeout/threads/seeds fixed; 132-observation waste meter reads 0 ms waste with a no-change recommendation.
  • Dispatch and estimation: projected-total-cost pilot pick on live signals only; record-only estimator shadow rows at 13 guard sites; hard-window extension to 179 bits (ECM wins all three defaults, no GNFS signal at or below 179 bits); STOP/CONTINUE verdict parks GNFS with re-entry conditions recorded.
  • SIQS micro-opts: tf-cutoff autotune KEPT; per-block LP switch, bucket-sieve marking, and Gray-code flip KILLED or gated-closed with exact reverts (dominant cost is per-hit Vec traffic, not stride residency or bypass shape).
  • REDC and linear algebra: mid-loop BigInt-to-u64 demotion with Barrett finish SURVIVED; n=3/4 unroll arms SURVIVED; u64 a_mod residues, stage-2 width memo, char-columns, mask-dump/output, and product-tree rational all KILLED or gated-closed with exact reverts.
  • Correctness gates: 10/10 gates green with 4-way taxonomy pinned; proof-vs-probable split documented; YAFU head-to-head refreshed (100-bit 195 vs 213 tie, demo267 506 vs 1194 gray leads) with identities verified.
  • Surface and docs: factor_batch wrapper plus --seed flag, signature-drift coverage in the version guard, perf-smoke script with CI wiring, README winner table and Why-not exclusion rows; escalation-gate change declined, escreen probe aborted by user order with no code applied.

Benchmarks

  • Benchmark medians unchanged from v0.2.1.
  • Pins held exact: 100-bit 1878/945, hostile-105 3269/907, deg3-skip 3682/2422 throughout the campaign A/B runs.

Full Changelog: v0.2.1...v0.2.2

Assets 3
Loading