@agenticprimitives/ontology 1.0.0-alpha.4 → 1.0.0-alpha.40

package/cbox/interaction-shapes.shacl.ttl

@@ -0,0 +1,218 @@
+# C-box — SHACL shapes for Agentic Interaction (spec 340; ADR-0058, extending ADR-0048).
+#
+# WHAT THESE ARE AND ARE NOT. Graph/documentation shapes, declared here and ENFORCED by fabric's TS
+# validators (golden-vectored) — the same arrangement as the messaging and consultation shapes. SHACL
+# conformance is NEVER authorization and never truth: a graph can conform perfectly and describe an
+# entirely unauthorized act. That is deliberate. An unauthorized Command MUST be recordable, so it
+# must be shape-valid; refusing to record it is how the evidence disappears.
+#
+# So these constrain STRUCTURE, not permission. Each exists because its absence lets a record be
+# written that cannot later be INTERPRETED:
+#
+#   an Answer with no Question         — unanswerable:  what was asked?
+#   an Exchange with no context pin    — unreplayable:  what was known when this was decided?
+#   an Exchange with no profile pin    — downgradable:  a Negotiation reread as a Conversation
+#   an Accept with no Offer            — unresolvable:  accepted WHICH of the two offers?
+#   a bare Receipt                     — unreadable:    what does it actually prove?
+#
+# Every one of those is a record that looks fine today and is useless in a year, which is the exact
+# failure a governed interaction model exists to prevent.
+#
+# IF YOU RUN THESE THROUGH A SHACL ENGINE, CHECK ITS SUBCLASS HANDLING FIRST. Several shapes target a
+# SUPERCLASS (apix:Receipt, apix:CommunicativeAct) and rely on `sh:targetClass`/`sh:class` meaning
+# SHACL-instance-of, i.e. rdf:type/rdfs:subClassOf*. shacl-engine 1.1.2 does NOT compute that closure:
+# a DeliveryReceipt is simply not seen as a Receipt, the superclass shape matches nothing, and the run
+# reports conformance by not looking. The house test materializes the closure before validating; any
+# other consumer must either do the same or load an RDFS-inferencing store.
+
+@prefix apix:  <https://agenticprimitives.dev/ns/interaction#> .
+@prefix sh:    <http://www.w3.org/ns/shacl#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
+
+# ─── The situation ──────────────────────────────────────────────────────────
+
+apix:InteractionShape a sh:NodeShape ;
+  rdfs:label "Interaction shape" ;
+  sh:targetClass apix:Interaction ;
+
+  # The profile is what makes an interaction interpretable: permitted roles, permitted acts, state
+  # machine. Without one, "what is allowed here" has no answer — and the convenient answer is "anything".
+  sh:property [
+    sh:path apix:hasProfile ;
+    sh:minCount 1 ; sh:maxCount 1 ;
+    sh:class apix:InteractionProfile ;
+    sh:message "An Interaction MUST pin exactly one InteractionProfile — an unprofiled interaction has no defined permitted acts or state machine (ADR-0058)." ;
+  ] ;
+
+  sh:property [
+    sh:path apix:hasParticipation ;
+    sh:minCount 1 ;
+    sh:class apix:Participation ;
+    sh:message "An Interaction MUST have at least one Participation." ;
+  ] .
+
+apix:InteractionProfileShape a sh:NodeShape ;
+  rdfs:label "InteractionProfile shape" ;
+  sh:targetClass apix:InteractionProfile ;
+
+  sh:property [
+    sh:path apix:profileVersion ;
+    sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ;
+    sh:message "An InteractionProfile MUST carry an exact version — it is pinned into every Exchange to make downgrade detectable (ADR-0058)." ;
+  ] .
+
+# ─── The unit that crosses the boundary ─────────────────────────────────────
+
+apix:ExchangeShape a sh:NodeShape ;
+  rdfs:label "Exchange shape" ;
+  sh:targetClass apix:Exchange ;
+
+  sh:property [
+    sh:path apix:occursIn ;
+    sh:minCount 1 ; sh:maxCount 1 ; sh:class apix:Interaction ;
+    sh:message "An Exchange MUST belong to exactly one Interaction. An Exchange without an Interaction is a message (ADR-0058 §12)." ;
+  ] ;
+
+  # actor and principal are separate and BOTH required. Collapsing them erases who actually acted:
+  # the service agent vanishes behind the principal it acted for, and provenance loses the only party
+  # answerable for the act itself (ADR-0048 §1). Equal values are fine; a missing one is not.
+  sh:property [
+    sh:path apix:actor ;
+    sh:minCount 1 ; sh:maxCount 1 ;
+    sh:message "An Exchange MUST name exactly one actor — WHO performed the move." ;
+  ] ;
+  sh:property [
+    sh:path apix:principal ;
+    sh:minCount 1 ; sh:maxCount 1 ;
+    sh:message "An Exchange MUST name exactly one principal — ON WHOSE BEHALF. Equals actor when undelegated; never omitted." ;
+  ] ;
+
+  sh:property [
+    sh:path apix:pinsContext ;
+    sh:minCount 1 ; sh:maxCount 1 ; sh:class apix:ContextSnapshot ;
+    sh:message "An Exchange MUST pin exactly one ContextSnapshot — without it the decision is unreplayable (ADR-0058)." ;
+  ] ;
+
+  sh:property [
+    sh:path apix:pinsProfileVersion ;
+    sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ;
+    sh:message "An Exchange MUST record the exact profile version it was made under, on itself — reading it off the live Interaction lets a Negotiation be reread as a Conversation after the fact (ADR-0058)." ;
+  ] ;
+
+  sh:property [
+    sh:path apix:realizesAct ;
+    sh:minCount 1 ;
+    sh:class apix:CommunicativeAct ;
+    sh:message "An Exchange MUST realize at least one CommunicativeAct — an exchange conveying no act is transport with no meaning." ;
+  ] .
+
+# ─── Acts ───────────────────────────────────────────────────────────────────
+
+apix:CommunicativeActShape a sh:NodeShape ;
+  rdfs:label "CommunicativeAct shape" ;
+  sh:targetClass apix:CommunicativeAct ;
+
+  # This closes SHAPE.CommunicativeAct, which named a shape defined in no file — a dangle that
+  # survived because nothing parsed the C-box until the tbox-parses gate landed.
+  sh:property [
+    sh:path apix:performative ;
+    sh:minCount 1 ; sh:maxCount 1 ;
+    sh:message "A CommunicativeAct MUST declare exactly one performative from apix:performativeScheme." ;
+  ] .
+
+apix:AcceptActShape a sh:NodeShape ;
+  rdfs:label "AcceptAct shape" ;
+  sh:targetClass apix:AcceptAct ;
+
+  # Points at the Offer, not at the Exchange that carried it: one Exchange may convey two offers, and
+  # "responds to that exchange" cannot say which one was accepted.
+  sh:property [
+    sh:path apix:accepts ;
+    sh:minCount 1 ; sh:class apix:Offer ;
+    sh:message "An AcceptAct MUST identify the Offer it accepts. Identifying is not authorizing — acceptance by an unauthorized party still creates no Commitment (ADR-0058 §15)." ;
+  ] .
+
+apix:CounterOfferActShape a sh:NodeShape ;
+  rdfs:label "CounterOfferAct shape" ;
+  sh:targetClass apix:CounterOfferAct ;
+
+  sh:property [
+    sh:path apix:counters ;
+    sh:minCount 1 ; sh:class apix:Offer ;
+    sh:message "A CounterOfferAct MUST identify the Offer it counters — it proposes a NEW Offer and never mutates its predecessor, which stays in evidence exactly as sent (ADR-0058 §15)." ;
+  ] .
+
+# The supersession half of the same rule, at the level where supersession is modelled. Written as
+# ¬(realizes a counter) ∨ (supersedes something) — SHACL-Core has no if-then, and this is the portable
+# spelling of one. It is the enforceable form of "a correction is a new Exchange, never an edit".
+apix:CounteringExchangeShape a sh:NodeShape ;
+  rdfs:label "Countering-Exchange shape" ;
+  sh:targetClass apix:Exchange ;
+  sh:or (
+    [ sh:not [ sh:property [
+        sh:path apix:realizesAct ;
+        sh:qualifiedValueShape [ sh:class apix:CounterOfferAct ] ;
+        sh:qualifiedMinCount 1 ;
+      ] ] ]
+    [ sh:property [ sh:path apix:supersedes ; sh:minCount 1 ] ]
+  ) ;
+  sh:message "An Exchange realizing a CounterOfferAct MUST supersede the Exchange it replaces (ADR-0058 §15)." .
+
+# ─── Content ────────────────────────────────────────────────────────────────
+
+apix:AnswerShape a sh:NodeShape ;
+  rdfs:label "Answer shape" ;
+  sh:targetClass apix:Answer ;
+
+  # The distinction being enforced: content that identifies no question is an Inform. Both are
+  # legitimate; conflating them makes a Q&A interaction's resolution state uncomputable.
+  sh:property [
+    sh:path apix:answers ;
+    sh:minCount 1 ; sh:class apix:Question ;
+    sh:message "An Answer MUST identify the Question it addresses. An answer with no question is an Inform (ADR-0058)." ;
+  ] .
+
+# ─── Reproducible context ───────────────────────────────────────────────────
+
+apix:ContextSnapshotShape a sh:NodeShape ;
+  rdfs:label "ContextSnapshot shape" ;
+  sh:targetClass apix:ContextSnapshot ;
+
+  sh:property [
+    sh:path apix:contextDigest ;
+    sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ;
+    sh:message "A ContextSnapshot MUST carry its digest — it is addressed BY content, never by a name that could later point elsewhere." ;
+  ] ;
+
+  # The floating-pointer ban, made checkable. A historical record that resolves to whatever exists
+  # today says nothing about the moment it was made.
+  sh:property [
+    sh:path apix:pinsProfileVersion ;
+    sh:not [ sh:in ( "current" "latest" "HEAD" ) ] ;
+    sh:message "`current`/`latest`/`HEAD` are FORBIDDEN inside a historical record — a floating version makes the Exchange unreplayable (ADR-0058)." ;
+  ] .
+
+# ─── Typed evidence ─────────────────────────────────────────────────────────
+
+apix:ReceiptShape a sh:NodeShape ;
+  rdfs:label "Receipt shape" ;
+  sh:targetClass apix:Receipt ;
+
+  sh:property [
+    sh:path apix:attests ;
+    sh:minCount 1 ;
+    sh:message "A Receipt MUST identify what it attests to." ;
+  ] ;
+
+  # A bare Receipt asserts that SOMETHING happened without saying what — which is precisely how a
+  # delivery receipt gets read as an approval, and why every receipt is typed (ADR-0058 §16).
+  sh:or (
+    [ sh:class apix:DeliveryReceipt ]
+    [ sh:class apix:AdmissionReceipt ]
+    [ sh:class apix:ReadReceipt ]
+    [ sh:class apix:AcknowledgementReceipt ]
+    [ sh:class apix:DecisionReceipt ]
+    [ sh:class apix:ExecutionReceipt ]
+  ) ;
+  sh:message "Use a TYPED receipt (Delivery / Admission / Read / Acknowledgement / Decision / Execution). A bare Receipt does not say what it proves (ADR-0058 §16)." .

package/cbox/interaction-vocabulary.ttl

@@ -0,0 +1,159 @@
+# C-box — interaction / organization controlled vocabularies (spec 324 §4).
+# Closed SKOS codelists for performatives, membership/enrollment/role status,
+# conversation profiles, and discussion status.
+
+@prefix apix:  <https://agenticprimitives.dev/ns/interaction#> .
+@prefix apmsg: <https://agenticprimitives.dev/ns/messaging#> .
+@prefix aporg: <https://agenticprimitives.dev/ns/org#> .
+@prefix skos:  <http://www.w3.org/2004/02/skos/core#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+
+# ─── performative (apix:CommunicativeAct) ──────────────────────────────
+# MOVED apmsg: → apix: with ADR-0058, following CommunicativeAct itself. A performative is what an
+# act DOES; apmsg: is the delivery/inbox projection (folders, labels, unread, retention). The thirteen
+# concepts are unchanged and remain the exact set `fabric`'s `Performative` TS union emits.
+
+apix:performativeScheme a skos:ConceptScheme ;
+    rdfs:label "performative" ;
+    skos:definition "Communicative acts. Aligned to FIPA and ActivityStreams via mappings/, never imported as authoritative semantics. Extensible: only acts with distinctive CONSEQUENCES are promoted to OWL classes in tbox/interaction.ttl." ;
+    skos:hasTopConcept apix:INFORM, apix:QUERY, apix:REQUEST, apix:PROPOSE, apix:COUNTER,
+        apix:ACCEPT, apix:REJECT, apix:NOTIFY, apix:ACKNOWLEDGE, apix:ISSUE, apix:RETRACT,
+        apix:SUBSCRIBE, apix:UNSUBSCRIBE .
+
+apix:INFORM       a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "INFORM" .
+apix:QUERY        a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "QUERY" .
+apix:REQUEST      a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "REQUEST" .
+apix:PROPOSE      a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "PROPOSE" .
+apix:COUNTER      a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "COUNTER" .
+apix:ACCEPT       a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "ACCEPT" .
+apix:REJECT       a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "REJECT" .
+apix:NOTIFY       a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "NOTIFY" .
+apix:ACKNOWLEDGE  a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "ACKNOWLEDGE" .
+apix:ISSUE        a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "ISSUE" .
+apix:RETRACT      a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "RETRACT" .
+apix:SUBSCRIBE    a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "SUBSCRIBE" .
+apix:UNSUBSCRIBE  a skos:Concept ; skos:inScheme apix:performativeScheme ; skos:prefLabel "UNSUBSCRIBE" .
+
+# ─── membership status ─────────────────────────────────────────────────
+
+aporg:membershipStatusScheme a skos:ConceptScheme ;
+    rdfs:label "membershipStatus" ;
+    skos:hasTopConcept aporg:membershipActive, aporg:membershipSuspended, aporg:membershipEnded .
+
+aporg:membershipActive    a skos:Concept ; skos:inScheme aporg:membershipStatusScheme ; skos:prefLabel "active" .
+aporg:membershipSuspended a skos:Concept ; skos:inScheme aporg:membershipStatusScheme ; skos:prefLabel "suspended" .
+aporg:membershipEnded     a skos:Concept ; skos:inScheme aporg:membershipStatusScheme ; skos:prefLabel "ended" .
+
+# ─── membership end reason ─────────────────────────────────────────────
+
+aporg:membershipEndReasonScheme a skos:ConceptScheme ;
+    rdfs:label "membershipEndReason" ;
+    skos:hasTopConcept aporg:endLeft, aporg:endRemoved, aporg:endExcluded, aporg:endExpired .
+
+aporg:endLeft     a skos:Concept ; skos:inScheme aporg:membershipEndReasonScheme ; skos:prefLabel "left" .
+aporg:endRemoved  a skos:Concept ; skos:inScheme aporg:membershipEndReasonScheme ; skos:prefLabel "removed" .
+aporg:endExcluded a skos:Concept ; skos:inScheme aporg:membershipEndReasonScheme ; skos:prefLabel "excluded" .
+aporg:endExpired  a skos:Concept ; skos:inScheme aporg:membershipEndReasonScheme ; skos:prefLabel "expired" .
+
+# ─── enrollment status ─────────────────────────────────────────────────
+
+aporg:enrollmentStatusScheme a skos:ConceptScheme ;
+    rdfs:label "enrollmentStatus" ;
+    skos:hasTopConcept aporg:enrollDraft, aporg:enrollSubmitted, aporg:enrollUnderReview,
+        aporg:enrollApproved, aporg:enrollRejected, aporg:enrollWithdrawn, aporg:enrollExpired .
+
+aporg:enrollDraft       a skos:Concept ; skos:inScheme aporg:enrollmentStatusScheme ; skos:prefLabel "draft" .
+aporg:enrollSubmitted   a skos:Concept ; skos:inScheme aporg:enrollmentStatusScheme ; skos:prefLabel "submitted" .
+aporg:enrollUnderReview a skos:Concept ; skos:inScheme aporg:enrollmentStatusScheme ; skos:prefLabel "under-review" .
+aporg:enrollApproved    a skos:Concept ; skos:inScheme aporg:enrollmentStatusScheme ; skos:prefLabel "approved" .
+aporg:enrollRejected    a skos:Concept ; skos:inScheme aporg:enrollmentStatusScheme ; skos:prefLabel "rejected" .
+aporg:enrollWithdrawn   a skos:Concept ; skos:inScheme aporg:enrollmentStatusScheme ; skos:prefLabel "withdrawn" .
+aporg:enrollExpired     a skos:Concept ; skos:inScheme aporg:enrollmentStatusScheme ; skos:prefLabel "expired" .
+
+# ─── role assignment status ──────────────────────────────────────────────
+
+aporg:roleAssignmentStatusScheme a skos:ConceptScheme ;
+    rdfs:label "roleAssignmentStatus" ;
+    skos:hasTopConcept aporg:roleActive, aporg:roleSuspended, aporg:roleRevoked, aporg:roleExpired .
+
+aporg:roleActive    a skos:Concept ; skos:inScheme aporg:roleAssignmentStatusScheme ; skos:prefLabel "active" .
+aporg:roleSuspended a skos:Concept ; skos:inScheme aporg:roleAssignmentStatusScheme ; skos:prefLabel "suspended" .
+aporg:roleRevoked   a skos:Concept ; skos:inScheme aporg:roleAssignmentStatusScheme ; skos:prefLabel "revoked" .
+aporg:roleExpired   a skos:Concept ; skos:inScheme aporg:roleAssignmentStatusScheme ; skos:prefLabel "expired" .
+
+# ─── conversation profile ──────────────────────────────────────────────
+
+apmsg:conversationProfileScheme a skos:ConceptScheme ;
+    rdfs:label "conversationProfile" ;
+    skos:hasTopConcept apmsg:profileDirect, apmsg:profileGroup, apmsg:profileDiscussion,
+        apmsg:profileBroadcast, apmsg:profileForum, apmsg:profileAnnouncement, apmsg:profileSupport .
+
+apmsg:profileDirect       a skos:Concept ; skos:inScheme apmsg:conversationProfileScheme ; skos:prefLabel "direct" .
+apmsg:profileGroup        a skos:Concept ; skos:inScheme apmsg:conversationProfileScheme ; skos:prefLabel "group" .
+apmsg:profileDiscussion   a skos:Concept ; skos:inScheme apmsg:conversationProfileScheme ; skos:prefLabel "discussion" .
+apmsg:profileBroadcast    a skos:Concept ; skos:inScheme apmsg:conversationProfileScheme ; skos:prefLabel "broadcast" .
+apmsg:profileForum        a skos:Concept ; skos:inScheme apmsg:conversationProfileScheme ; skos:prefLabel "forum" .
+apmsg:profileAnnouncement a skos:Concept ; skos:inScheme apmsg:conversationProfileScheme ; skos:prefLabel "announcement" .
+apmsg:profileSupport      a skos:Concept ; skos:inScheme apmsg:conversationProfileScheme ; skos:prefLabel "support" .
+
+# ─── discussion status — RETIRED (spec 340 W11) ──────────────────────────
+# Declared here, implemented NOWHERE, and on inspection its three values were two axes:
+#   open / closed  → the interaction lifecycle, which is `apix:InteractionState` (active / concluded)
+#   archived       → SHELVING, which is `apix:InboxState.archived` — a different machine, per viewer
+# Keeping the scheme would have been a second vocabulary for concepts that already have homes, which
+# is the duplication ADR-0058 exists to end. Retired rather than crosswalked: there was nothing live
+# to migrate, and a crosswalk would have preserved the ambiguity instead of removing it.
+
+# ─── discussion participation policy (open vs restricted topics) ────────
+
+apmsg:participationPolicyScheme a skos:ConceptScheme ;
+    rdfs:label "participationPolicy" ;
+    skos:hasTopConcept apmsg:openParticipation, apmsg:restrictedParticipation .
+
+apmsg:openParticipation a skos:Concept ; skos:inScheme apmsg:participationPolicyScheme ;
+    skos:prefLabel "open" ;
+    skos:definition "Every organization member is automatically a participant. Participation is DERIVED from aporg:OrganizationMembership at read time — never stored per topic." .
+apmsg:restrictedParticipation a skos:Concept ; skos:inScheme apmsg:participationPolicyScheme ;
+    skos:prefLabel "restricted" ;
+    skos:definition "Invite-only. Participation is ASSERTED: DiscussionInvitation → acceptance → DiscussionParticipation with a discussion-scoped RoleAssignment." .
+
+# ─── discussion participant roles (discussion-scoped RoleAssignment) ────
+
+apmsg:discussionRoleScheme a skos:ConceptScheme ;
+    rdfs:label "discussionRole" ;
+    skos:hasTopConcept apmsg:discussionFacilitator, apmsg:discussionContributor .
+
+apmsg:discussionFacilitator a skos:Concept ; skos:inScheme apmsg:discussionRoleScheme ;
+    skos:prefLabel "facilitator" ;
+    skos:definition "Manages the topic: invite/remove participants, archive. Topic creator and org custodians are facilitators." .
+apmsg:discussionContributor a skos:Concept ; skos:inScheme apmsg:discussionRoleScheme ;
+    skos:prefLabel "contributor" ;
+    skos:definition "May post and reply in the topic. In OPEN topics every org member is a contributor (derived)." .
+
+# ─── discussion invitation status ────────────────────────────────────────
+
+apmsg:discussionInvitationStatusScheme a skos:ConceptScheme ;
+    rdfs:label "discussionInvitationStatus" ;
+    skos:hasTopConcept apmsg:invitationInvited, apmsg:invitationAccepted, apmsg:invitationDeclined, apmsg:invitationRevoked .
+
+apmsg:invitationInvited  a skos:Concept ; skos:inScheme apmsg:discussionInvitationStatusScheme ; skos:prefLabel "invited" .
+apmsg:invitationAccepted a skos:Concept ; skos:inScheme apmsg:discussionInvitationStatusScheme ; skos:prefLabel "accepted" .
+apmsg:invitationDeclined a skos:Concept ; skos:inScheme apmsg:discussionInvitationStatusScheme ; skos:prefLabel "declined" .
+apmsg:invitationRevoked  a skos:Concept ; skos:inScheme apmsg:discussionInvitationStatusScheme ; skos:prefLabel "revoked" .
+
+# ─── contextRef kinds (platform-known; the wire field stays app-open) ────
+# ContextRefV1.kind is deliberately app-defined on the wire (ADR-0021); this codelist names only
+# the PLATFORM-defined kinds UIs chip on. spec 329: `routed-consultation` rides the turn-1 status
+# post and the turn-2 synthesis; its ref id is `<orgSA>/<topicId>/<questionId>`.
+
+apmsg:contextRefKindScheme a skos:ConceptScheme ;
+    rdfs:label "contextRefKind" ;
+    skos:hasTopConcept apmsg:routedConsultation, apmsg:endeavorRef .
+
+apmsg:routedConsultation a skos:Concept ; skos:inScheme apmsg:contextRefKindScheme ;
+    skos:prefLabel "routed-consultation" ;
+    skos:definition "A board post produced by the spec-329 routing pipeline (turn-1 status post or turn-2 synthesized reply). Ref id = <orgSA>/<topicId>/<questionId>; UIs render it as a consultation chip with member attribution." .
+
+apmsg:endeavorRef a skos:Concept ; skos:inScheme apmsg:contextRefKindScheme ;
+    skos:prefLabel "endeavor" ;
+    skos:definition "A message about a coordination Endeavor (spec 334 §9). Ref id = <managingPrincipalSA>/<endeavorId>; UIs render it as an endeavor chip deep-linking to the Endeavor detail. A pointer only — never authority, never a coordination record." .

package/cbox/judgment-shapes.shacl.ttl

@@ -0,0 +1,83 @@
+# C-box — SHACL shapes for a JUDGMENT record (spec 414 §3.4 principles; first binding: skill selection, 415 SEL-1).
+#
+# JU1 a judgment cites its criterion by digest (J2) and was made by a NAMED judge of a DECLARED kind (J3);
+# JU2 its verdict is EARL-shaped and CONSISTENT: a selection class from the declared scheme whose EARL outcome agrees —
+#     `undetected` is `cantTell`, never a pass or a fail (J8); correct / acceptable / abstention pass; the rest fail;
+# JU3 the assertion names its subject, its test and its result;
+# JU4 no words (J7): what a verdict carries beyond IRIs is an evidence kind and canonical ids, never a sentence.
+# Evidence, never authority (J1): no verifier reads these shapes or the record.
+# ENGINE NOTE: one sh:sparql per NodeShape (shacl-engine compiles a shape's SPARQL constraints as one unit).
+
+@prefix apeval: <https://agenticprimitives.dev/ns/evaluation#> .
+@prefix earl:   <http://www.w3.org/ns/earl#> .
+@prefix prov:   <http://www.w3.org/ns/prov#> .
+@prefix sh:     <http://www.w3.org/ns/shacl#> .
+@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
+
+apeval:JudgmentShape a sh:NodeShape ;
+  rdfs:label "JU1 — a judgment cites its criterion by digest and names its judge and kind" ;
+  sh:targetClass apeval:Judgment ;
+  sh:property [ sh:path apeval:criterionDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:pattern "^sha256:[0-9a-f]{64}$" ;
+    sh:message "JU1: the judgment cites no criterion by sha256 digest — a verdict against an unstated expectation is not evidence (spec 414 §3.4 J2)." ] ;
+  sh:property [ sh:path prov:wasAssociatedWith ; sh:minCount 1 ; sh:maxCount 1 ; sh:class apeval:Judge ;
+    sh:message "JU1: the judgment names no judge (spec 414 §3.4 J3)." ] ;
+  sh:property [ sh:path prov:used ; sh:minCount 1 ;
+    sh:message "JU1: the judgment used nothing — what was judged? (spec 414 §3.4)." ] .
+
+apeval:JudgeShape a sh:NodeShape ;
+  rdfs:label "JU1 — a judge declares its kind" ;
+  sh:targetClass apeval:Judge ;
+  sh:property [ sh:path apeval:judgeKind ; sh:minCount 1 ; sh:maxCount 1 ; sh:in ( "mechanical" "model" "human" ) ;
+    sh:message "JU1: the judge declares no kind (mechanical · model · human) — verdicts of different kinds are never pooled (J3, J4)." ] .
+
+apeval:AssertionShape a sh:NodeShape ;
+  rdfs:label "JU3 — an assertion names its subject, test and result" ;
+  sh:targetClass earl:Assertion ;
+  sh:property [ sh:path earl:subject ; sh:minCount 1 ; sh:nodeKind sh:IRI ; sh:message "JU3: the assertion names no subject (spec 414 §3.4)." ] ;
+  sh:property [ sh:path earl:test ; sh:minCount 1 ; sh:nodeKind sh:IRI ; sh:message "JU3: the assertion names no test (the criterion it applied)." ] ;
+  sh:property [ sh:path earl:result ; sh:minCount 1 ; sh:maxCount 1 ; sh:class earl:TestResult ; sh:message "JU3: the assertion has no result." ] .
+
+apeval:SelectionResultShape a sh:NodeShape ;
+  rdfs:label "JU2 — a selection verdict is a declared class whose EARL outcome agrees" ;
+  sh:targetClass earl:TestResult ;
+  sh:property [ sh:path earl:outcome ; sh:minCount 1 ; sh:maxCount 1 ; sh:in ( earl:passed earl:failed earl:cantTell earl:inapplicable ) ;
+    sh:message "JU2: the result has no EARL outcome (passed · failed · cantTell · inapplicable)." ] ;
+  sh:sparql [
+    sh:message "JU2: the selection class is not in the declared scheme (spec 415 §3a)." ;
+    sh:select """
+      SELECT $this ?c WHERE {
+        $this <https://agenticprimitives.dev/ns/evaluation#selectionOutcome> ?c .
+        FILTER NOT EXISTS { ?c <http://www.w3.org/2004/02/skos/core#inScheme> <https://agenticprimitives.dev/ns/evaluation#SelectionOutcomes> }
+      }
+    """ ;
+  ] .
+
+apeval:SelectionOutcomeConsistencyShape a sh:NodeShape ;
+  rdfs:label "JU2 — the EARL outcome agrees with the selection class (one sh:sparql per NodeShape — shacl-engine)" ;
+  sh:targetClass earl:TestResult ;
+  sh:sparql [
+    sh:message "JU2: the EARL outcome contradicts the selection class — undetected is cantTell (J8); correct, acceptable and abstention pass; misses and spurious selections fail." ;
+    sh:select """
+      SELECT $this ?c ?o WHERE {
+        $this <https://agenticprimitives.dev/ns/evaluation#selectionOutcome> ?c ; <http://www.w3.org/ns/earl#outcome> ?o .
+        BIND(STRAFTER(STR(?c), "#so-") AS ?k)
+        BIND(IF(?k = "undetected", <http://www.w3.org/ns/earl#cantTell>, IF(?k IN ("tp", "tpAlt", "tn"), <http://www.w3.org/ns/earl#passed>, <http://www.w3.org/ns/earl#failed>)) AS ?want)
+        FILTER(?o != ?want)
+      }
+    """ ;
+  ] .
+
+apeval:NoWordsInVerdictsShape a sh:NodeShape ;
+  rdfs:label "JU4 — a verdict carries ids, never a sentence" ;
+  sh:targetClass earl:TestResult ;
+  sh:property [ sh:path apeval:evidenceKind ; sh:maxCount 1 ; sh:in ( "stamped" "inferred" ) ; sh:message "JU4: the evidence kind is neither stamped nor inferred — never pooled (spec 415 §3a)." ] ;
+  sh:property [ sh:path apeval:chargedTo ; sh:pattern "^[^\\s]{1,200}$" ; sh:message "JU4: a charged skill is not a canonical id — a verdict names skills, it does not describe them (J7)." ] ;
+  sh:sparql [
+    sh:message "JU4: the verdict carries a literal other than its evidence kind and charged ids (J7)." ;
+    sh:select """
+      SELECT $this ?p ?v WHERE {
+        $this ?p ?v . FILTER(isLiteral(?v))
+        FILTER(?p NOT IN (<https://agenticprimitives.dev/ns/evaluation#evidenceKind>, <https://agenticprimitives.dev/ns/evaluation#chargedTo>))
+      }
+    """ ;
+  ] .