{"all_certificates_valid":true,"analytic_certificate_cardinality":{"byte_lane_witnesses":46,"fixed_point_pairs":12,"last_write_cases":69,"maximum_cases_per_lane":2,"writer_instance_records":24,"writer_value_records":2},"claim_boundary":"Python reference reconstruction 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":13745,"median_validation_ns_per_certificate":53528,"parameters":{"affine_inner_scale":1,"affine_outer_scale":8,"inner_bound_bits":3,"inner_step":2,"iterations_per_repeat":500,"load_bytes":2,"object_bytes":24,"outer_bound_bits":2,"outer_step":1,"repeats":9,"writer_widths":[2,1]},"reference_selection_batch_cost":{"maximum_ns":7042990,"median_ns":6872545,"minimum_ns":6504785},"reference_validation_batch_cost":{"maximum_ns":29811254,"median_ns":26764004,"minimum_ns":25153914},"schema":"symcc-nested-loop-memoryphi-two-dimensional-affine-benchmark-v1"}