{"all_certificates_valid":true,"analytic_certificate_cardinality":{"byte_lane_witnesses":456,"guarded_byte_lane_witnesses":456,"load_aliases":57,"memory_phi_incoming_edges":4,"memory_phi_nodes":2,"potential_writer_bytes":64,"reachable_writers":8,"writer_aliases":57},"claim_boundary":"Python reference-validator cost and guarded certificate cardinality only; not LLVM construction latency, executor throughput, coverage, solver time, bug yield, or end-to-end speedup","median_ns_per_certificate":149259,"parameters":{"guard_predicate":"ult","iterations_per_repeat":1000,"load_aliases":57,"load_bytes":8,"object_bytes":64,"repeats":11,"stride":8,"writer_bytes":8,"writer_when":true},"reference_validation_batch_cost":{"maximum_ns":160534540,"median_ns":149259299,"minimum_ns":147800439},"schema":"symcc-conditional-loop-memoryphi-benchmark-v1"}