{"all_certificates_valid":true,"analytic_bounded_effect_cardinality":{"bounded_length_values":65,"conditional_byte_writes":64,"continuation_state_forks":0},"claim_boundary":"Python reference-validator cost and analytic bounded-effect cardinality only; not LLVM construction latency, executor throughput, coverage, solver time, bug yield, or end-to-end speedup","median_ns_per_certificate":10309,"parameters":{"aliases":64,"iterations_per_repeat":1000,"lanes_per_alias":1,"repeats":11},"reference_validation_batch_cost":{"maximum_ns":11218936,"median_ns":10309694,"minimum_ns":9995838},"schema":"symcc-symbolic-length-byte-lane-benchmark-v1"}