{"all_certificates_valid":true,"analytic_certificate_cardinality":{"byte_lane_witnesses":456,"load_aliases":57,"memory_phi_incoming_edges":2,"writer_aliases":64},"claim_boundary":"Python reference-validator cost and certificate cardinality only; not LLVM construction latency, executor throughput, coverage, solver time, bug yield, or end-to-end speedup","median_ns_per_certificate":51116,"parameters":{"iterations_per_repeat":1000,"load_aliases":57,"load_bytes":8,"object_bytes":64,"repeats":11},"reference_validation_batch_cost":{"maximum_ns":55564197,"median_ns":51116708,"minimum_ns":48176739},"schema":"symcc-loop-memoryphi-byte-lane-benchmark-v1"}