Retire the last three sites of the withdrawn designation rationale#81
Open
Amosk21 wants to merge 1 commit into
Open
Retire the last three sites of the withdrawn designation rationale#81Amosk21 wants to merge 1 commit into
Amosk21 wants to merge 1 commit into
Conversation
…ationale The two decision documents and one SHACL comment still asserted that cco:designates has a range admitting universals and that class-IRI designation is canonical CCO usage rather than punning. Both claims were withdrawn when verified against the pinned CCO (no range declaration on the property; Entity range inherited from its parent; documented examples all designate particulars) and the merged ontology headers already carry the corrected statement: the filler is an OWL-punned individual, legal under the DL profile, consumed in its individual interpretation, with category designation as documented modeling intent. These three prose sites now say the same thing, ending the period where the project told incompatible stories about what licenses its own Gate-3 axiom. SHACL change is comment lines only; zero shape logic touched. Verified: pipeline ALL CHECKS PASSED; tree-wide sweep for the withdrawn phrase returns zero tracked sites. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01JuVq3T6BZreUmdG5wGyvuY
![greptile-apps[bot]](https://avatars.githubusercontent.com/in/867647?s=60&v=4){kind=small}
There was a problem hiding this comment.
Your trial has ended. Reactivate Greptile to resume code reviews.
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
The two modeling-decision documents and one SHACL comment still carried the withdrawn rationale (a range claim the pinned CCO does not declare, and a canonical-usage claim its documentation does not support), contradicting the corrected statement already merged in the ontology headers and LIMITATIONS. All three now state the adjudicated position: the Gate-3 filler is an OWL-punned individual, DL-legal, consumed in its individual interpretation; category designation is documented modeling intent, not a CCO-documented use. This closes the one-claim-one-story gap an external content review identified.
Schema
None.
Axiom
None. The SHACL file change is comment lines only; zero shape logic; the two other files are documentation.
Tests
Pipeline ALL CHECKS PASSED. Tree-wide sweep for the withdrawn phrase: zero tracked sites remain outside pinned imports.
Deferred
The underlying licensing question stays open at its register row; these edits align the prose with the verified facts, they do not adjudicate the axiom.
Revert
Single commit; git revert restores the withdrawn rationale at all three sites.
🤖 Generated with Claude Code
https://claude.ai/code/session_01JuVq3T6BZreUmdG5wGyvuY