{"accepted_affine_symbolic_summaries":6,"all_passed":true,"cases":1152,"claim_boundary":"Finite two-level i16 affine-bitvector reference equivalence only; not general recurrence solving, LLVM construction latency, coverage, solver speed, defect yield, or end-to-end speedup","mutations_rejected":18,"rejected_unsupported_or_partial":1146,"runtime_complete_loads":696,"runtime_load_vector_equivalences":384,"runtime_uninitialized_or_partial_loads":2504,"runtime_value_byte_equivalences":1392,"schema":"symcc-nested-loop-memoryphi-affine-symbolic-value-oracle-v1"}