{"all_certificates_valid":true,"analytic_certificate_cardinality":{"byte_lane_witnesses":46,"false_arm_expressions":35,"guard_specialized_byte_expressions":46,"last_write_cases":69,"maximum_cases_per_lane":2,"true_arm_expressions":11,"writer_instance_records":24,"writer_value_records":2},"claim_boundary":"Python reference certificate reconstruction and finite guard selection cost only; not LLVM construction latency, executor throughput, coverage, solver time, defect yield, or speedup","median_selection_ns_per_query":10814,"median_validation_ns_per_certificate":50978,"parameters":{"constant_on_left":false,"guard_constant":2,"guard_induction":"inner","inner_bound_bits":3,"iterations_per_repeat":500,"object_bytes":24,"outer_bound_bits":2,"predicate":"ult","repeats":9,"value_bits":16},"reference_selection_batch_cost":{"maximum_ns":5938639,"median_ns":5407490,"minimum_ns":5309652},"reference_validation_batch_cost":{"maximum_ns":29102586,"median_ns":25489368,"minimum_ns":24945259},"schema":"symcc-nested-loop-memoryphi-piecewise-affine-value-benchmark-v1"}