{"accepted_conditional_covers":20640,"all_passed":true,"cases":126624,"claim_boundary":"finite single-latch conditional-writer guard carry and runtime bitmap semantics only; not LLVM latency, coverage, solver throughput, bug yield, or end-to-end speedup","lane_checks":768672,"object_bytes":{"maximum":10,"minimum":2},"predicates":["eq","ne","ult","ule"],"rejected_certificate_mutations":18,"rejected_unsupported_or_partial":105984,"runtime_bitmap_equivalences":551712,"runtime_guard_or_prefix_rejects":368180,"runtime_guard_true_accepts":183532,"schema":"symcc-conditional-loop-memoryphi-oracle-results-v1"}