{"all_passed":true,"checksum":1194,"claim_boundary":"Python finite reference validation, guard specialization and last-write reconstruction cost only; not LLVM lowering latency, executor throughput, coverage, solver time, defect yield, or speedup","median_guard_selection_ns_per_instance":347,"median_last_write_summary_ns_per_query":9511,"median_validation_ns_per_dag":357,"parameters":{"affine_leaves":2,"dag_nodes":4,"guard_nodes":2,"iterations_per_repeat":500,"maximum_depth":2,"repeats":9,"shared_child_edges":2},"reference_guard_selection_batch_cost":{"maximum_ns":203015,"median_ns":173771,"minimum_ns":170485},"reference_last_write_summary_batch_cost":{"maximum_ns":5432397,"median_ns":4755501,"minimum_ns":4732166},"reference_validation_batch_cost":{"maximum_ns":216305,"median_ns":178698,"minimum_ns":176785},"schema":"symcc-nested-loop-memoryphi-decision-dag-benchmark-v1"}