{"all_certificates_valid":true,"analytic_certificate_cardinality":{"byte_lane_witnesses":456,"fixed_point_rounds_including_stability":9,"load_aliases":57,"loop_levels":2,"memory_phi_nodes":2,"potential_writer_bytes":120,"reachable_writer_instances":32,"witness_alternatives":855,"writer_metadata_records":4},"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":97062,"parameters":{"inner_step":8,"iterations_per_repeat":1000,"load_aliases":57,"load_bytes":8,"object_bytes":64,"outer_step":1,"repeats":11,"writer_widths":[1,2,4,8]},"reference_validation_batch_cost":{"maximum_ns":103855714,"median_ns":97062772,"minimum_ns":96371593},"schema":"symcc-nested-loop-memoryphi-summary-benchmark-v1"}