{"accepted_covers":7525,"all_passed":true,"cases":48294,"claim_boundary":"finite contiguous byte domains, capacity at most 64, and half-open conditional lane guards; not LLVM analysis latency, solver throughput, coverage, bug yield, or end-to-end speedup","lane_checks":364317,"load_bytes":{"maximum":8,"minimum":1},"object_bytes":{"maximum":12,"minimum":2},"rejected_certificate_mutations":10,"rejected_non_covers":40769,"runtime_guard_equivalences":102004,"schema":"symcc-symbolic-length-byte-lane-oracle-results-v1"}