{"analytic_path_states":{"fork_per_memoryphi_incoming_reference":64,"memoryssa_formula":1},"certificate_edges":64,"certificate_nodes":65,"claim_boundary":"Python reference-proof cost and analytic state cardinality only; not production LLVM analysis latency, coverage, solver throughput, bug yield, or end-to-end speedup","guard_tree_rule_accepts_switch":false,"legacy_dominance_rule_accepts":false,"median_ns_per_proof":19661,"memoryssa_rule_accepts":true,"parameters":{"iterations_per_repeat":10000,"paths":64,"repeats":11},"reference_proof_batch_cost":{"maximum_ns":206715221,"median_ns":196612660,"minimum_ns":180001754},"schema":"symcc-memoryssa-aa-heap-init-benchmark-v1","skipped_noalias_definitions":64}