{"all_certificates_valid":true,"analytic_certificate_cardinality":{"byte_lane_witnesses":456,"last_write_cases":855,"maximum_cases_per_lane":4,"stored_value_bytes":15,"writer_value_records":4},"claim_boundary":"Python reference validation and first-match selection cost only; not LLVM construction latency, executor throughput, coverage, solver time, defect yield, or end-to-end speedup","median_selection_ns_per_query":97304,"median_validation_ns_per_certificate":360090,"parameters":{"inner_step":8,"iterations_per_repeat":1000,"load_aliases":57,"load_bytes":8,"object_bytes":64,"repeats":11,"writer_values":[17,4660,305419896,72623859790382856],"writer_widths":[1,2,4,8]},"reference_selection_batch_cost":{"maximum_ns":98167631,"median_ns":97304187,"minimum_ns":96619616},"reference_validation_batch_cost":{"maximum_ns":375363527,"median_ns":360090816,"minimum_ns":357935052},"schema":"symcc-nested-loop-memoryphi-value-summary-benchmark-v1"}