{"all_passed":true,"claim_boundary":"Bounded SC/TSO/RA litmus relations and finite native SC atomic replay; not a full ISO C11 model, herd7 corpus, unbounded ConDPOR proof, or public-target performance result","finite_memory_model":{"memory_certificate_sha256":{"RA":"4e658ea3c8cc93cde13033f0bcdcddc70945cf3278bf2a1b455e96576826a681","SC":"242a7887d5654eff6591b3f5cfebe64d2ec64598b19528539e0a951aa7274aca","TSO":"c361a13d8c56656230486f2c0b39c023a8ebaf9db2b0b9b32219c32c7b06eaaf"},"ra_message_passing_stale_data_rejected":true,"ra_message_passing_status_counts":{"sat":3,"unknown":0,"unsat":1},"sc_source_outcomes":[[0,1],[1,0],[1,1]],"store_buffering_status_counts":{"RA":{"sat":4,"unknown":0,"unsat":0},"SC":{"sat":3,"unknown":0,"unsat":1},"TSO":{"sat":4,"unknown":0,"unsat":0}},"three_writer_coherence_orders":6,"weak_model_both_initial":{"RA":true,"SC":false,"TSO":true}},"native_replay":{"campaign_certificate_sha256":"3fcd96abf45e3d0747e8a6be78f4bb067b23d3344887b68a8f39bbdc041da36a","campaign_invalid_run_count":0,"campaign_path_regeneration_count":0,"campaign_run_count":3,"campaign_status":"complete","campaign_unique_prefix_count":3,"cases":{"reader_first":{"expected_read":"0x0","matching_reads":20,"prefix":[2,1],"runs":20,"unique_raw_trace_digests":20},"writer_first":{"expected_read":"0x1","matching_reads":20,"prefix":[1,2],"runs":20,"unique_raw_trace_digests":20}},"target_sha256":"16ddc0c28b20e16323da8d3903054718ba6b1f0c70203b80bafddb6f147e98ea","total_replay_runs":40},"schema":"symcc-native-condpor-c11-oracle-v1"}