Skip to content

Commit 7253918

Browse files
committed
feat(v3.7.6): add LockState + per-organ lock properties to core.ttl
Per SPEC.CK.NEW.v3.7.6 §7 + §8 (schema-change rule). Adds: - ckp:LockState (owl:Class, owl:oneOf {RW, RO}) - ckp:RW, ckp:RO (LockState individuals) - ckp:ckLockState, ckp:toolLockState, ckp:dataLockState (object properties) Patched in place in v3.7 namespace per the v3.7.6 authoring decision (option B2): no v3.7.6 ontology folder is introduced; the v3.7 namespace gains the lock-state vocabulary. The properties model the per-organ RO/RW state recorded declaratively in .ckproject under kernels[].locks.{ck,tool,data}. ck CLI enforcement will follow as a separate v3.7.6 deliverable (cklib.cli changes).
1 parent b2a9c82 commit 7253918

1 file changed

Lines changed: 38 additions & 0 deletions

File tree

docs/public/ontology/v3.7/core.ttl

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -677,6 +677,44 @@ ckp:authSecret a owl:DatatypeProperty ;
677677
ckp:coverageScore "0.75"^^xsd:decimal ;
678678
rdfs:comment "Overall BFO alignment: Continuants (88%), Occurrents (55%), v3.7 additions (65%)"@en .
679679

680+
#################################################################
681+
# v3.7.6 additions — Lock state for project-kernel attachments
682+
# (added in place per SPEC.CK.NEW.v3.7.6 §7; the v3.7 namespace
683+
# is patched, no v3.7.6 ontology folder is introduced)
684+
#################################################################
685+
686+
ckp:LockState a owl:Class ;
687+
rdfs:label "Lock State"@en ;
688+
rdfs:comment "Read/write access state for a kernel organ attached to a project. v3.7.6 addition. Persists declaratively in .ckproject under kernels[].locks.{ck,tool,data}; the ck CLI refuses mutating verbs (attach, pin, push) on locked organs. Materialised worktrees remain content-addressable and verifiable when locked; only the ck-mediated mutation surface is closed."@en ;
689+
owl:oneOf ( ckp:RW ckp:RO ) ;
690+
dc:description "v3.7.6 addition." .
691+
692+
ckp:RW a ckp:LockState ;
693+
rdfs:label "rw"@en ;
694+
rdfs:comment "Read-write — mutating ck verbs are permitted. Default state when no lock is declared in .ckproject."@en .
695+
696+
ckp:RO a ckp:LockState ;
697+
rdfs:label "ro"@en ;
698+
rdfs:comment "Read-only — mutating ck verbs are refused."@en .
699+
700+
ckp:ckLockState a owl:ObjectProperty ;
701+
rdfs:label "ck organ lock state"@en ;
702+
rdfs:range ckp:LockState ;
703+
rdfs:comment "Lock state of the CK organ for a kernel attached to a project. v3.7.6 addition. Default: ckp:RW."@en ;
704+
dc:description "v3.7.6 addition." .
705+
706+
ckp:toolLockState a owl:ObjectProperty ;
707+
rdfs:label "tool organ lock state"@en ;
708+
rdfs:range ckp:LockState ;
709+
rdfs:comment "Lock state of the TOOL organ for a kernel attached to a project. v3.7.6 addition. Default: ckp:RW."@en ;
710+
dc:description "v3.7.6 addition." .
711+
712+
ckp:dataLockState a owl:ObjectProperty ;
713+
rdfs:label "data organ lock state"@en ;
714+
rdfs:range ckp:LockState ;
715+
rdfs:comment "Lock state of the DATA organ for a kernel attached to a project. v3.7.6 addition. Default: ckp:RW. ck project lock <hostname> without --include-data leaves dataLockState unchanged."@en ;
716+
dc:description "v3.7.6 addition." .
717+
680718
#################################################################
681719
# End of ConceptKernel Base BFO Ontology v3.7
682720
#################################################################

0 commit comments

Comments
 (0)