{"all_certificates_valid":true,"analytic_certificate_cardinality":{"backedge_transfers":4,"byte_lane_witnesses":456,"decision_blocks":3,"fixed_point_rounds_including_stability":9,"load_aliases":57,"memory_phi_incoming_edges":5,"memory_phi_nodes":1,"potential_writer_bytes":128,"reachable_writers_per_transfer":8,"witness_alternatives":912,"writer_aliases_per_transfer":57},"claim_boundary":"Python reference-validator cost and certificate cardinality only; not LLVM construction latency, executor throughput, coverage, solver time, defect yield, or end-to-end speedup","median_ns_per_certificate":104156,"parameters":{"iterations_per_repeat":1000,"load_aliases":57,"load_bytes":8,"object_bytes":64,"repeats":11,"stride":8,"transfers":4,"writer_bytes":8,"writer_transfers":2},"reference_validation_batch_cost":{"maximum_ns":111543685,"median_ns":104156971,"minimum_ns":103406795},"schema":"symcc-multilatch-loop-memoryphi-benchmark-v1"}