Report IV Artifacts — Symmetric-Product Origin

The affine insert map on Sym³(ℙ¹) and the geometric origin of Alpöge's Jacobian counterexample · exact-arithmetic reproducibility bundle

One-command reproduction
pip install -r requirements.txt && python verify_sym3.py
Expected: "status": "PASS" across checks A_keller_det … G_k1_row.

File	Description
verify_sym3.py	Self-contained exact verifier. Proves: det J ≡ −1/2 (Keller); torus (1,−1,−2)-equivariance; depressed-cubic fiber (Sym³ insert fingerprint); explicit rational collision Φ₃(−1/2,7,25)=Φ₃(1/2,1,1)=(15/2,8,0); Alpöge in the same graded-gauge class; the dimension-two firewall; the k=1 row (n=3…7).
certificate.json	Machine-generated result ledger (written by the verifier).
README.md	Scope, claims, honesty statement, reproduction protocol.
requirements.txt	Dependencies (SymPy only).
SHA256SUMS.txt	SHA-256 of every file in this bundle.

AGNT Labs Technical Report IV · exact rational/symbolic arithmetic, no floating point in any assertion · base counterexample due to L. Alpöge & Claude Fable 5 (July 20, 2026) · this report has NOT yet received expert human review.