{"all_certificates_valid":true,"analytic_certificate_cardinality":{"backedge_transfers":4,"byte_lane_witnesses":456,"fixed_point_rounds_including_stability":9,"load_aliases":57,"memory_phi_incoming_edges":5,"potential_writer_bytes":416,"reachable_writer_instances":64,"witness_alternatives":2964,"writer_metadata_records":8},"claim_boundary":"Python reference-validator cost and certificate cardinality only; not LLVM construction latency, executor throughput, coverage, solver time, defect yield, or end-to-end speedup","median_ns_per_certificate":211515,"parameters":{"iterations_per_repeat":1000,"load_aliases":57,"load_bytes":8,"object_bytes":64,"ordered_writers":8,"repeats":11,"stride":8,"transfers":4,"writer_bytes_maximum":8,"writer_transfers":2,"writer_width_sequence":[8,7,6,5],"writers_per_transfer":4},"reference_validation_batch_cost":{"maximum_ns":222742650,"median_ns":211515028,"minimum_ns":210741732},"schema":"symcc-ordered-multilatch-memoryphi-benchmark-v1"}