{"accepted_nested_summaries":670,"all_passed":true,"byte_lane_checks":68160,"cases":18240,"claim_boundary":"Finite reference-model bitmap and last-writer equivalence only; not LLVM build cost, coverage, solver speed, defect yield, or end-to-end speedup","last_writer_provenance_equivalence_cells":52662,"mutations_rejected":26,"rejected_unsupported_or_partial":17570,"runtime_bitmap_equivalences":21480,"runtime_complete_load_accepts":24084,"runtime_zero_outer_or_prefix_rejects":25932,"schema":"symcc-nested-loop-memoryphi-summary-oracle-v1"}