Official exact benchmark suite for the repository.
This suite compares the four main formulas on n = 10^1 through 10^18 using only exact power-of-ten anchors.
Ground-truth provenance: data/KNOWN_PRIMES.md
Formulas:
lpp_seedlegacy_lpp_seedcipolla_log5_repacked_seedli_inverse_seed
Strongest supported finding:
lpp_seedis sole best on16anchors and best-or-tied-best on17anchors.- This runtime now uses the deterministic
r_inverseconstruction as the shipped seed path.
Artifacts:
rowwise_results.csv: per-anchor per-formula exact resultsformula_summary.csv: aggregate exact metrics by formulabest_by_anchor.csv: exact winner at each anchorrank_by_anchor.csv: exact rank ordering at each anchor
Status of older stage-based materials:
- exact and local stage-based probes remain in the repository as supporting research artifacts
- they are no longer the canonical benchmark surface for top-level summary or category decisions
Plots:
plots/anchor_rel_ppm.pngplots/anchor_abs_error.pngplots/anchor_rank.png