{"id":"W4414978578","doi":"10.1145/3763122","title":"Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Transportation and Mobility Innovations","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Rust (programming language); Aliasing; Function (biology); Type (biology); Capability approach; Measure (data warehouse)","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002583819,0.0001317181,0.0001870369,0.000138933,0.00005863451,0.00002472398,0.0003942447,0.00006856505,0.000001909403],"category_scores_gemma":[0.0003742011,0.0001001113,0.00007611341,0.0004366636,0.0001237537,0.0001064657,0.00005319711,0.0001504615,1.34921e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002044037,"about_ca_system_score_gemma":0.00001678774,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003509604,"about_ca_topic_score_gemma":0.00001739111,"domain_scores_codex":[0.9992357,0.000003469507,0.0002961702,0.0001622702,0.0001430262,0.0001593016],"domain_scores_gemma":[0.9994662,0.00004947156,0.00007140729,0.0002529955,0.000137059,0.00002281518],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001952933,0.0005112516,0.106883,0.006902761,0.0004685355,7.034033e-7,0.02040408,0.01693458,0.527305,0.2275002,0.00200632,0.09088835],"study_design_scores_gemma":[0.002683473,0.0002380751,0.0680041,0.001941134,0.0005442565,0.000005601406,0.01763935,0.03122665,0.8418307,0.03175926,0.003074912,0.001052431],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9976957,0.0003017894,0.00009829682,0.0006408998,0.00005059462,0.0003482538,0.00001513354,0.0001660393,0.0006833],"genre_scores_gemma":[0.9859269,0.00002070054,0.01374169,0.00007671038,0.000007120824,0.00005198663,0.000002630603,0.00001291216,0.0001593762],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3145258,"threshold_uncertainty_score":0.408242,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01296934673141616,"score_gpt":0.2482667241712301,"score_spread":0.2352973774398139,"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."}}