{"id":"W4405030254","doi":"10.4230/lipics.disc.2025.29","title":"Strong Linearizability Without Compare&Swap: The Case of Bags","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Business; Chemistry; Environmental science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005279716,0.0003054717,0.0004699732,0.0001024431,0.0001490278,0.0001805773,0.001923971,0.0001745985,0.0000155816],"category_scores_gemma":[0.00002657511,0.0002524757,0.0002931654,0.0006239922,0.0002390703,0.0001514716,0.002895248,0.000833625,0.0000607627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001339845,"about_ca_system_score_gemma":0.0002560573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001555102,"about_ca_topic_score_gemma":0.0003256027,"domain_scores_codex":[0.9979993,0.0002207553,0.000349909,0.001023498,0.00009898253,0.0003075977],"domain_scores_gemma":[0.9972216,0.00012941,0.0002848761,0.001996934,0.0002397191,0.0001274608],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003522465,0.0002198406,0.005917014,0.0008487616,0.0003294625,0.004510575,0.001043675,0.1957702,0.00002481344,0.7879283,0.001376725,0.001995321],"study_design_scores_gemma":[0.0002557313,0.00003048287,0.0005689803,0.0002169078,0.00009184777,0.0001163323,0.0002280958,0.9768195,0.00006203958,0.0200527,0.001224317,0.0003330909],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5553659,0.0002330702,0.438609,0.0001652854,0.001101373,0.000446909,0.0002061613,0.0002116473,0.003660598],"genre_scores_gemma":[0.9984968,0.00001436617,0.0004119809,0.00002177325,0.0000809156,0.000001492471,0.00001243453,0.00001317373,0.0009470513],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7810493,"threshold_uncertainty_score":0.9999927,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0719208758939862,"score_gpt":0.2147994231365597,"score_spread":0.1428785472425735,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}