{"analytic_path_states":{"fork_by_victim_and_survivor_reference":992,"merged_lifetime_and_alias_formula":1},"certificate_bases":32,"claim_boundary":"Python reference proof cost and analytic state cardinality only; not production C++ lowering latency or end-to-end speedup","dominating_store_witnesses":32,"median_ns_per_proof":3986,"parameters":{"domain":32,"iterations_per_repeat":10000,"repeats":11},"reference_proof_batch_cost":{"maximum_ns":44144475,"median_ns":39866532,"minimum_ns":39691970},"schema":"symcc-collective-heap-union-init-benchmark-v1"}