{"analytic_path_states":{"fork_per_guard_assignment_reference":64,"guarded_memory_phi_formula":1},"certificate_decisions":384,"certificate_paths":64,"claim_boundary":"Python reference-proof cost and analytic state cardinality only; not production C++ lowering latency, coverage, or end-to-end speedup","guard_correlated_rule_accepts":true,"legacy_dominance_rule_accepts":false,"median_ns_per_proof":15214,"parameters":{"depth":6,"iterations_per_repeat":10000,"paths":64,"repeats":11},"reference_proof_batch_cost":{"maximum_ns":160366661,"median_ns":152146664,"minimum_ns":149953073},"schema":"symcc-guarded-heap-union-init-benchmark-v1"}