{"accepted_canonical_covers":585,"all_passed":true,"cases":8019,"claim_boundary":"finite canonical single-latch unit-step loops and byte-init bitmap semantics only; not LLVM analysis latency, solver throughput, coverage, bug yield, or end-to-end speedup","lane_checks":91773,"load_bytes":{"maximum":8,"minimum":1},"object_bytes":{"maximum":16,"minimum":2},"rejected_certificate_mutations":12,"rejected_noncanonical_or_partial":7434,"runtime_bitmap_equivalences":22154,"schema":"symcc-loop-memoryphi-byte-lane-oracle-results-v1"}