{"id":"W7116114540","doi":"10.5281/zenodo.17980647","title":"Obligation Closure Constraint (OCC): Formal Specification and Falsification Protocol","year":2025,"lang":"en","type":"preprint","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Protocol (science); Constraint (computer-aided design); Obligation; Leverage (statistics); Closure (psychology); Pairwise comparison; Formal specification; Adversarial system; Formalism (music)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"simulation_or_modeling","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"medium","status":"direct model label, unvalidated"},{"model":"gpt","categories":[],"domain":null,"study_design":"design_other","genre":"protocol","about_ca_system":false,"about_ca_topic":false,"confidence":"low","status":"direct model label, unvalidated"}],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007318828,0.0002960546,0.0002569318,0.0004100077,0.0006556837,0.000742562,0.000700897,0.0002769349,0.0006224736],"category_scores_gemma":[0.0001870399,0.0003584564,0.00006447257,0.0003375364,0.0001106513,0.0002633733,0.0008814273,0.000648482,0.0005702592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004223834,"about_ca_system_score_gemma":0.0000101966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005703271,"about_ca_topic_score_gemma":1.497044e-7,"domain_scores_codex":[0.9981531,0.0001496798,0.0005532429,0.0004975304,0.0002976674,0.0003487733],"domain_scores_gemma":[0.9985734,0.00002780683,0.0001510301,0.000688685,0.0004319744,0.0001271487],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000126343,0.0002913769,0.0000222999,0.01077556,0.0005452053,0.00001100207,0.004562226,0.08511642,0.0117877,0.07081777,0.1216964,0.6942477],"study_design_scores_gemma":[0.0006315882,0.00005786894,0.001359,0.0003389337,0.00002545819,0.00004413116,0.0001386157,0.03973772,0.001186947,0.0003924337,0.9556874,0.0003998953],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00659553,0.000269325,0.4457152,0.0009663534,0.001402804,0.1051453,0.001926292,0.01306378,0.4249155],"genre_scores_gemma":[0.9802806,0.0001568573,0.005288735,0.00005138066,0.0008068047,0.0002437501,0.009087516,0.003137411,0.0009469635],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.973685,"threshold_uncertainty_score":0.9998868,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02995532606557315,"score_gpt":0.2433129712757806,"score_spread":0.2133576452102074,"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."}}