{"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":"b9bd8b7834ee5dea021dfb4348812293f446ffcda4676150e7686d39941c4b45","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":"fe0634ad0d6df401bae82861503430bce1663452582c2fd0272c291ff8386ed8","total_replay_runs":40},"schema":"symcc-native-condpor-c11-oracle-v1"}