Reproducibility archive for "Closing the per-field reduction: collar contraction, the stretched road, and a certified minimax for the complex sin²-algorithm"

Reproducibility archive v4 for the companion preprint. Root directory archive_paper3a/, 91 manifested files, self-checking MANIFEST.sha256, embedded CITATION.cff carrying this record's DOI. The default wrapper (python3 verify_all.py; CPython ≥ 3.12 on Linux/POSIX, SymPy/NumPy/SciPy preflight) replays 32 fail-closed verification blocks in ~30 minutes with exact rational arithmetic; the heavy regenerations run under the explicit --heavy-r / --full-r flags. Revision v2 added the universal aligned bridge certificates, the corner Positivstellensatz and lever SOS symbolic certificates, the symbolic H2 correspondence and strengthened verifiers, following two independent referee reports; revision v3 hardened the wrapper (anchored success markers, per-block timeouts, full dependency preflight); revision v4 verifies the manifest fail-closed before any block, runs each block in its own process group with a 24-hour default timeout for the four long replays (the three --heavy-r blocks and the terminal full regeneration), registers the strong-threshold counterexample replay as a default block, and renames the finite-regression marker to its exact scope, following three pre-deposit audits. The SHA-256 of the zip is recorded in Appendix B of the preprint. v5 (2 August 2026): reproducibility archive accompanying Version 2 of the preprint; adds the GLRED4 certificate chain and the global verifier. See the preprint record (concept DOI 10.5281/zenodo.21447478) for context. Archive SHA256: 3bd11bdf9a4858f7d63b16fb7649b2c11186faa661452ccfb89ae515ed19f175