docs(ontology): annotate :AnnexIII_List as mereological extension scaffold#39
Open
Amosk21 wants to merge 2 commits into
Open
docs(ontology): annotate :AnnexIII_List as mereological extension scaffold#39Amosk21 wants to merge 2 commits into
Amosk21 wants to merge 2 commits into
Conversation
…ffold 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.
![greptile-apps[bot]](https://avatars.githubusercontent.com/in/867647?s=60&v=4){kind=small}
There was a problem hiding this comment.
Your free trial has ended. If you'd like to continue receiving code reviews, you can add a payment method here.
…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.
There was a problem hiding this comment.
Your free trial has ended. If you'd like to continue receiving code reviews, you can add a payment method here.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixes
Documentation alignment: adds
rdfs:commentto:AnnexIII_Listdeclaring it as an open-world extension point perCLAUDE.mdInvariant 8.Supersedes #22 (closed due to merge conflict with the
:AnnexIII_Condition_Q1→:AnnexIII_Condition_1arename in subsequent PRs).Axiom paths
03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl:19-23—:AnnexIII_Listgains onerdfs:commentlineSchema
No schema change. No new ontological commitment. Pure documentation alignment with the existing CLAUDE.md invariant.
Tests
python 03_TECHNICAL_CORE/scripts/run_pipeline.py→ ALL CHECKS PASSED (exit 0)test_gate_removal.py→ ALL GATE-REMOVAL TESTS PASSEDtest_scenarios.py→ ALL SCENARIO TESTS PASSEDAnnexIII1aApplicableSystementailed,HighRiskSystemlatent-flag presentDeferred
None.
Revert
git revert <commit>— single-line addition, clean revert.