{"accepted_strided_covers":2906,"all_passed":true,"cases":24744,"claim_boundary":"finite positive constant strides, non-overlapping scalar writers, residue-class lane cover, and bitmap semantics only; not LLVM latency, coverage, solver throughput, bug yield, or end-to-end speedup","lane_checks":199836,"object_bytes":{"maximum":12,"minimum":2},"rejected_certificate_mutations":15,"rejected_unsupported_or_partial":21838,"runtime_bitmap_equivalences":80404,"schema":"symcc-strided-loop-memoryphi-oracle-results-v1"}