{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02718953,0.00159088,0.001057081,0.001932235,0.002917227,0.008335443,0.004369259,0.004025836,0.02059697],"category_scores_gemma":[0.06470712,0.001705662,0.002742334,0.00141224,0.00783969,0.00888836,0.007519397,0.007350153,0.006488426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004840919,"about_ca_system_score_gemma":0.01584435,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01218672,"about_ca_topic_score_gemma":0.006454664,"domain_scores_codex":[0.9659895,0.01407852,0.004201798,0.004085855,0.009417989,0.002226446],"domain_scores_gemma":[0.9532906,0.02919948,0.001817904,0.007257897,0.007449361,0.0009846948],"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.00018449,0.0001199068,0.0006745096,0.0003647855,0.00004012607,0.0005533313,0.001562705,0.02151531,0.003271887,0.9037389,0.02088405,0.04709006],"study_design_scores_gemma":[0.0002554677,0.0001706931,0.0002608546,0.0005494448,0.0000756669,0.0005684633,0.0006709837,0.1839791,0.01827711,0.5552523,0.2397384,0.0002014391],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002542107,0.0001112475,0.9730082,0.002063335,0.0002515755,0.001144621,0.001545215,0.005230987,0.01410273],"genre_scores_gemma":[0.1428621,0.0004154696,0.8300704,0.001936198,0.0002514443,0.004147026,0.003693195,0.002404893,0.01421919],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02718953,"threshold_uncertainty_score":0.1437938,"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."}}