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

Reproducibility archive (v1) for the theory paper "A dual reformulation of the complex sin²-algorithm: exact identities, descent, and finiteness" (doi:10.5281/zenodo.21224269).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 tarball: 1a1c6be74cc641e2ed3dfb9f6cadff482472364d926970ef60db57977c9466e3.