{"all_certificates_valid":true,"analytic_certificate_cardinality":{"byte_lane_witnesses":46,"last_write_cases":69,"maximum_cases_per_lane":2,"symbolic_byte_expressions":46,"writer_instance_records":24,"writer_value_records":2},"claim_boundary":"Python reference reconstruction and affine-byte selection cost only; not LLVM construction latency, executor throughput, coverage, solver time, defect yield, or end-to-end speedup","median_selection_ns_per_query":10863,"median_validation_ns_per_certificate":43406,"parameters":{"inner_bound_bits":3,"iterations_per_repeat":500,"object_bytes":24,"outer_bound_bits":2,"repeats":9,"value_bits":16,"value_coefficients":{"constant":17,"inner":7,"input":3,"outer":5}},"reference_selection_batch_cost":{"maximum_ns":6721082,"median_ns":5431741,"minimum_ns":5408827},"reference_validation_batch_cost":{"maximum_ns":24261580,"median_ns":21703176,"minimum_ns":21281692},"schema":"symcc-nested-loop-memoryphi-affine-symbolic-value-benchmark-v1"}