{"accepted_ordered_fixed_points":3312,"all_passed":true,"byte_lane_checks":72576,"cases":13632,"claim_boundary":"Finite reference-model bitmap and last-writer equivalence only; not LLVM build cost, coverage, solver speed, or defect yield","last_writer_provenance_equivalences":718968,"mutations_rejected":22,"rejected_unsupported_or_partial":10320,"runtime_bitmap_equivalences":231282,"runtime_complete_load_accepts":102108,"runtime_prefix_or_carry_rejects":129174,"schema":"symcc-ordered-multilatch-memoryphi-oracle-v1"}