{"id":"W4415100279","doi":"10.22331/q-2025-10-13-1880","title":"Shadows and subsystems of generalized probabilistic theories: when tomographic incompleteness is not a loophole for contextuality proofs","year":2025,"lang":"en","type":"article","venue":"Quantum","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Perimeter Institute","funders":"HORIZON EUROPE Framework Programme; Institut für Quantenoptik und Quanteninformation; Ministry of Colleges and Universities; Institut Périmètre de physique théorique; Natural Sciences and Engineering Research Council of Canada; European Commission; Fundacja na rzecz Nauki Polskiej; Narodowym Centrum Nauki; Government of Canada; UK Research and Innovation","keywords":"Mathematical proof; Probabilistic logic; Class (philosophy); Kochen–Specker theorem; Completeness (order theory); Bisimulation; Term (time)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02808659,0.001317224,0.001916294,0.002188552,0.004004587,0.006215442,0.004402894,0.004078895,0.009683368],"category_scores_gemma":[0.162033,0.002698249,0.003607235,0.001216044,0.01922427,0.02538319,0.01872662,0.008190613,0.001034849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005125518,"about_ca_system_score_gemma":0.005572942,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003609853,"about_ca_topic_score_gemma":0.002453488,"domain_scores_codex":[0.9720454,0.01317186,0.001553897,0.004421302,0.006696343,0.00211118],"domain_scores_gemma":[0.8265216,0.1084522,0.0073913,0.04653658,0.007834058,0.003264369],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001323775,0.00002778856,0.001353821,0.0002573327,0.00006474475,0.0002852956,0.001637941,0.006013222,0.001846885,0.9768544,0.001231196,0.0102949],"study_design_scores_gemma":[0.00003273836,0.00005161545,0.0003494453,0.00007500735,0.00003803029,0.00009695579,0.0001884983,0.02274961,0.002901674,0.969302,0.004178692,0.00003580129],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07839711,0.0006620297,0.8920509,0.006506068,0.0001885193,0.0002889525,0.0003828897,0.002911928,0.01861166],"genre_scores_gemma":[0.7718446,0.000471754,0.2203281,0.001455168,0.0002041025,0.0005929871,0.0005629935,0.001021025,0.003519231],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02808659,"threshold_uncertainty_score":0.1485379,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02172229031309023,"score_gpt":0.2835930625072934,"score_spread":0.2618707721942032,"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."}}