Tooling: 15× faster production sparse-fusion screen via spectator orbits with identical receipts

[VictorLiwentao]

Change and scope

At base 0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2, scripts/audit_sparse_fusion.py:central_gate_screen still summed exact binary ranks over every weight-three indicator. ToikY’s opt-in adapter research/sparse-fusion-orbits/ already proved an exact spectator-orbit reduction with identical receipts. This PR wires that equivalent check into the production source used by make verify.

certificates/sparse-fusion-audit.json stays byte-identical (this audit has no source_sha256 map). Every screen field, all 4,096 joint-frame inequalities, finite phase identities, candidate budgets and the retained historical language are unchanged.

Tooling improvement; no new kappa. Selected frontier untouched.

Result

On Linux / CPython 3.12.3 (Linux-6.12.94+-x86_64-with-glibc2.39), five alternating fresh-process pairs gave median wall time:

• screen-only: 0.661 → 0.044 seconds (15.05×)
• complete certificate: 0.608 → 0.060 seconds (10.07×)

Timing is host-descriptive and is not a correctness gate. Screen receipts at h∈{22,25,28} and the committed certificate match the baseline checker byte-for-byte.

Package: research/sparse-fusion-orbits-production/.

Validation

python3.12 -I -B research/sparse-fusion-orbits-production/verify.py
python3.12 -I -O -B research/sparse-fusion-orbits-production/verify.py
python3.12 -B scripts/research_package.py --package research/sparse-fusion-orbits-production
python3.12 -I -B research/sparse-fusion-orbits-production/benchmark.py --rounds 5

Expected:

PASS_SPARSE_FUSION_ORBITS_PRODUCTION screen_heights=[22, 25, 28] screen_cases=3 certs=1 no_new_kappa
PASS_REGISTERED_RESEARCH_PACKAGE research/sparse-fusion-orbits-production outcome=completed
PASS_IDENTICAL_SPARSE_FUSION_ORBITS_PRODUCTION_RECEIPTS

Default verify is read-only. Orbit-cover, weight-omission and admission controls reject; require gates remain under -O. Full make verify, selected cold replay, Lean, and multiplication-theorem obligations were not rerun for this isolated historical-checker change.

Overlap and credit

Closest priors (different delivery): ToikY’s research/sparse-fusion-orbits/ (opt-in orbit adapter; this is the production wiring), CrocSwap/integer-mult-bounds#756, CrocSwap/integer-mult-bounds#2194 / #2210 (same production-promotion pattern on other objects). No competing open PR on production central_gate_screen at refresh.

Douglas R. Colkitt authored the sparse/fusion screen and original checker. ToikY authored the orbit algorithm. Prepared by Wentao Li (VictorLiwentao, @Is__Victor) with substantial AI assistance, under Apache-2.0.