{"accepted_fixed_points":6880,"all_passed":true,"byte_lane_checks":256224,"cases":42208,"claim_boundary":"Finite reference-model equivalence only; not LLVM build cost, end-to-end coverage, solver speed, or defect yield","mutations_rejected":18,"rejected_unsupported_or_partial":35328,"runtime_bitmap_equivalences":633552,"runtime_carry_or_prefix_rejects":288268,"runtime_writer_path_accepts":345284,"schema":"symcc-multilatch-loop-memoryphi-oracle-v1"}