{"all_certificates_valid":true,"analytic_relation_checks":{"callsite_instantiated":64,"context_insensitive_cross_product":4096},"certificates_per_campaign":64,"claim_boundary":"Python reference-validator cost and analytic relation-check cardinality only; not LLVM summary construction latency, executor throughput, coverage, solver time, bug yield, or end-to-end speedup","median_ns_per_certificate":816,"parameters":{"callsites":64,"iterations_per_repeat":1000,"repeats":11},"reference_validation_batch_cost":{"maximum_ns":60423556,"median_ns":52226581,"minimum_ns":50590405},"schema":"symcc-interprocedural-effect-benchmark-v1"}