Reproducibility archive for "A dual reformulation of the complex sin2-algorithm: exact identities, descent, and finiteness"

v3 (2026-08-24): archive rebuilt from a clean export; verifiers strengthened following an internal adversarial audit; replayable campaign outputs added, non-replayable campaigns inventoried with exact obstructions; no computed result modified. Reproducibility archive for the paper "A dual reformulation of the complex sin²-algorithm: exact identities, descent, and finiteness" (manuscript concept DOI: 10.5281/zenodo.21224268). Version 3 is rebuilt from a clean export of the audited v2 tree. The single entry point (python3 -B verify_all.py, Python standard library) re-checks the shipped data and passes 18/18 checks on this release. The archive ships: a complete real replay of the first interval design (116,375 boxes processed, 326 certified by descent, coverage 412663801/1805877248, output CSVs byte-identical to the recorded references); the complete sweep-2 table (3,726 rows, 414 configurations, re-aggregated by the verifier); 38 scientific tables preserved byte-for-byte from v2 and pinned in V2_SCIENTIFIC_DATA_SHA256.txt; a permanent negative-control battery (39 controlled alterations, each rejected); a hash-pinned, scope-labelled Lean transcript (32 declarations with a recorded axiom audit); and INVENTAIRE_NON_REJOUABLE.md, a strict inventory of the cited campaigns that cannot be replayed identically from this payload, with per-family obstructions and measured costs. No computed result of v2 is modified. The manuscript's printed SHA-256 identifies the v2 archive, which remains accessible in the version history. SHA-256 of this version: 356936a5418904ff013c9036ebfb382ad01f0db66b3aebabdcfcd88a6abc437d. Version history: see the VERSION file inside the archive.