{"all_certificates_valid":true,"analytic_certificate_cardinality":{"byte_lane_witnesses":456,"covered_writer_bytes":64,"load_aliases":57,"memory_phi_incoming_edges":2,"reachable_writers":8,"writer_aliases":57},"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":95151,"parameters":{"iterations_per_repeat":1000,"load_aliases":57,"load_bytes":8,"object_bytes":64,"repeats":11,"stride":8,"writer_bytes":8},"reference_validation_batch_cost":{"maximum_ns":105103552,"median_ns":95151368,"minimum_ns":94483740},"schema":"symcc-strided-loop-memoryphi-benchmark-v1"}