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

Version 2 (deposited 2026-07-11). SHA-256 of the archive: 919a52c07ee8e35be0758fec5815bb34b5cd0743b521db8025ba98a9da6b634d — the revision the frozen v2 preprint PDF pins by its printed SHA-256. The current release of this archive is always available under its concept DOI https://doi.org/10.5281/zenodo.21224266 . Reproducibility archive for the theory paper "A dual reformulation of the complex sin²-algorithm: exact identities, descent, and finiteness" (concept DOI https://doi.org/10.5281/zenodo.21224268 ). Contents: the Bernstein-enclosure certification pipeline for the finite minimax (R) — two passes, cumulatively certifying 28.94% of the domain volume, every certified descent box via a one-step witness, with exact-rational fixtures —; the exact sympy derivation of the per-variable degrees; the two instructive prior grid designs; the minimax sweeps of the evidence section; the hostile numerical checks of the height-descent theorem (six sub-case scripts and a 120,000-state check of the compensated-case pairing, log included); and the 612-point one-step-witness campaign with the ridge-benignity diagnostic. All comparisons that certify are exact-rational or directed floating point at tolerance 2⁻⁴⁰ cross-checked against exact rationals on fixtures. Three verification levels (integrity, light checks ~10 min, certification fixtures ~30 min; full grids optional) are documented in README.md and PROTOCOL.md inside the archive. SHA-256 of the earlier v1 tarball: 1a1c6be74cc641e2ed3dfb9f6cadff482472364d926970ef60db57977c9466e3. v2: (1) executable sources restored under sources_restored/ — the v1 presentation copies were corrupted by the v1 packaging anonymization pass and could not run; full provenance map, validation ledger with embedded evidence (imports, entry-point runs, 14/14 output pivots), reversible neutralization patch (6/6 files verified). (2) Lean formalization layer under lean/ (claims-closure, 15 modules, pinned mathlib manifest, axiom audit, claim map, replay instructions, known concrete-layer fidelity limitation documented). (3) Three cited campaigns added as hash-pinned historical data packages; installable validated environments (requirements-envA/B, environment-conda.yml). No v1 data artifact modified. Archive SHA256 (this v2 deposit): 919a52c07ee8e35be0758fec5815bb34b5cd0743b521db8025ba98a9da6b634d