From 1f4c36a211f95c84228d5aa0927edf136d778143 Mon Sep 17 00:00:00 2001 From: Alex Moskowitz Date: Mon, 11 May 2026 11:38:00 -0400 Subject: [PATCH 1/2] docs(ontology): annotate :AnnexIII_List as mereological extension scaffold Adds rdfs:comment to :AnnexIII_List declaring it as an open-world extension point per CLAUDE.md Invariant 8 (mereological container for modeled regulatory conditions; new categories add via bfo:0000051; peer regulation lists follow same pattern). Documentation alignment only; no semantic change. Supersedes #22 (which conflicted with the :AnnexIII_Condition_Q1 to :AnnexIII_Condition_1a rename in subsequent PRs). Backtest: pipeline ALL CHECKS PASSED exit 0; classification unchanged (AnnexIII1aApplicableSystem entailed, HighRiskSystem latent-flag present); test_gate_removal.py and test_scenarios.py all pass. --- 03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl | 1 + 1 file changed, 1 insertion(+) diff --git a/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl b/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl index 2e72cc2..8a6928b 100644 --- a/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl +++ b/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl @@ -18,6 +18,7 @@ :AnnexIII_List rdf:type :RegulatoryContent ; rdfs:label "Annex III List" ; + rdfs:comment "Mereological scaffold for modeled regulatory conditions. New Annex III categories add as members via bfo:0000051 (has_part). Peer regulation lists (e.g. GDPR_Article22_List) follow the same pattern. Extension point by design; do not remove as orphaned." ; bfo:0000051 :AnnexIII_Condition_1a . # has part :AnnexIII_Condition_1a rdf:type :RegulatoryContent ; From 044126d5e8fb418ea85a055e34d5662aede6358a Mon Sep 17 00:00:00 2001 From: Alex Moskowitz Date: Mon, 11 May 2026 11:41:58 -0400 Subject: [PATCH 2/2] docs(ontology): tighten :AnnexIII_List comment to in-scope statement only Drops the "Peer regulation lists (e.g. GDPR_Article22_List)" example. Grep across the repo shows GDPR_Article22_List has no class declaration; the only mention is at docs/ARCO_explained.md:632 explicitly labeled "hypothetical". Adequatism: describe what is in scope (the bfo:0000051 has_part pattern, exercised today for 1(a) and 5(b)), not forward-looking peer regulations. Backtest: pipeline ALL CHECKS PASSED exit 0; classification unchanged. --- 03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl b/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl index 8a6928b..9f18db6 100644 --- a/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl +++ b/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl @@ -18,7 +18,7 @@ :AnnexIII_List rdf:type :RegulatoryContent ; rdfs:label "Annex III List" ; - rdfs:comment "Mereological scaffold for modeled regulatory conditions. New Annex III categories add as members via bfo:0000051 (has_part). Peer regulation lists (e.g. GDPR_Article22_List) follow the same pattern. Extension point by design; do not remove as orphaned." ; + rdfs:comment "Mereological scaffold for modeled regulatory conditions. New Annex III categories add as members via bfo:0000051 (has_part); the 1(a) and 5(b) conditions are added this way today. Extension point by design; do not remove as orphaned." ; bfo:0000051 :AnnexIII_Condition_1a . # has part :AnnexIII_Condition_1a rdf:type :RegulatoryContent ;