@agenticprimitives/ontology 1.0.0-alpha.16 → 1.0.0-alpha.17

package/tbox/entitlement.ttl

@@ -0,0 +1,41 @@
+# T-box — generic runtime entitlement vocabulary (spec 324 §11).
+# Distinct from apcnt:ContentEntitlement (spec 266) and delegation Caveats.
+# Runtime credentials map credentialSubject → apent:AccessEntitlement.
+
+@prefix apent: <https://agenticprimitives.dev/ns/entitlement#> .
+@prefix ap:    <https://agenticprimitives.dev/ns/core#> .
+@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:   <http://www.w3.org/2002/07/owl#> .
+@prefix prov:  <http://www.w3.org/ns/prov#> .
+
+apent: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — entitlement ontology" ;
+    owl:versionInfo "0.2.0" ;
+    rdfs:comment "Field/purpose/classification access predicates (spec 277/324). Delegation = who may act; Entitlement = what may be read/used." .
+
+apent:Entitlement a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Entitlement" ;
+    rdfs:comment "Resource/action/field/purpose/classification access an Agent holds. ≠ Delegation." .
+
+apent:AccessEntitlement a owl:Class ;
+    rdfs:subClassOf apent:Entitlement ;
+    rdfs:label "AccessEntitlement" .
+
+apent:ConsumableEntitlement a owl:Class ;
+    rdfs:subClassOf apent:Entitlement ;
+    rdfs:label "ConsumableEntitlement" .
+
+apent:EligibilityEntitlement a owl:Class ;
+    rdfs:subClassOf apent:Entitlement ;
+    rdfs:label "EligibilityEntitlement" ;
+    rdfs:comment "May satisfy an EnrollmentRequirement — does not create membership." .
+
+apent:entitlementSubject a owl:ObjectProperty ;
+    rdfs:domain apent:Entitlement ; rdfs:range ap:Agent ;
+    rdfs:label "entitlementSubject" .
+
+apent:entitlementPrincipal a owl:ObjectProperty ;
+    rdfs:domain apent:Entitlement ; rdfs:range ap:Agent ;
+    rdfs:label "entitlementPrincipal" .

package/tbox/fabric.ttl

@@ -0,0 +1,59 @@
+# T-box — fabric / interaction-exchange vocabulary (spec 324 §5, §9; ADR-0047).
+# InteractionExchange = ExchangeRecordV1 on the wire. ExchangeEnvelope carries CommunicativeAct.
+
+@prefix apfab: <https://agenticprimitives.dev/ns/fabric#> .
+@prefix apmsg: <https://agenticprimitives.dev/ns/messaging#> .
+@prefix apint: <https://agenticprimitives.dev/ns/intent#> .
+@prefix ap:    <https://agenticprimitives.dev/ns/core#> .
+@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:   <http://www.w3.org/2002/07/owl#> .
+@prefix prov:  <http://www.w3.org/ns/prov#> .
+
+apfab: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — fabric / interaction exchange" ;
+    owl:versionInfo "0.2.0" ;
+    rdfs:comment "Ontology names for packages/fabric ExchangeRecordV1 + envelope lifecycle (spec 316/324)." .
+
+apfab:InteractionExchange a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "InteractionExchange" ;
+    rdfs:comment "Aggregate lifecycle (`ap.exchange.v1` / ExchangeRecordV1): envelopes, events, exec/case state, refs. ≠ value-exchange ExchangeOrder." .
+
+apfab:ExchangeEnvelope a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "ExchangeEnvelope" ;
+    rdfs:comment "Signed transport artifact (`ap.message.v1`). IntentEnvelopeV1 is a deprecated alias — not every envelope carries an Intent." .
+
+apfab:ExchangeEvent a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "ExchangeEvent" ;
+    rdfs:comment "Append-only event on an InteractionExchange stream." .
+
+apfab:IntentInvocation a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "IntentInvocation" ;
+    rdfs:comment "Fabric-grounded execution activity (ADR-0047 §7 provenance)." .
+
+apfab:containsEnvelope a owl:ObjectProperty ;
+    rdfs:domain apfab:InteractionExchange ; rdfs:range apfab:ExchangeEnvelope ;
+    rdfs:label "containsEnvelope" .
+
+apfab:carriesAct a owl:ObjectProperty ;
+    rdfs:domain apfab:ExchangeEnvelope ; rdfs:range apmsg:CommunicativeAct ;
+    rdfs:label "carriesAct" .
+
+apfab:exchangeActor a owl:ObjectProperty ;
+    rdfs:domain apfab:InteractionExchange ; rdfs:range ap:Agent ;
+    rdfs:label "exchangeActor" ;
+    rdfs:comment "Who performed the act." .
+
+apfab:exchangePrincipal a owl:ObjectProperty ;
+    rdfs:domain apfab:InteractionExchange ; rdfs:range ap:Agent ;
+    rdfs:label "exchangePrincipal" ;
+    rdfs:comment "On whose behalf (normally == actor; ServiceAgent for org may differ)." .
+
+apfab:expressesIntent a owl:ObjectProperty ;
+    rdfs:domain apmsg:CommunicativeAct ; rdfs:range apint:Intent ;
+    rdfs:label "expressesIntent" ;
+    rdfs:comment "Zero, one, or many Intents per act." .

package/tbox/guidance.ttl

@@ -0,0 +1,40 @@
+# T-box — Agent Skill packages + repo guidance (spec 325 §2.1–2.2; ADR-0050, ADR-0051).
+# Agent Skills standard (SKILL.md) — NOT aps:CapabilityDefinition or A2A AgentSkill.
+
+@prefix apguide: <https://agenticprimitives.dev/ns/guidance#> .
+@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:     <http://www.w3.org/2002/07/owl#> .
+
+apguide: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — agent guidance ontology" ;
+    owl:versionInfo "0.2.0" ;
+    rdfs:comment "Agent Skill packages (SKILL.md) and repository guidance. Distinct from aps:CapabilityDefinition (ADR-0051)." .
+
+apguide:AgentGuidanceArtifact a owl:Class ;
+    rdfs:label "AgentGuidanceArtifact" ;
+    rdfs:comment "Markdown/file artifact steering a coding agent in IDE/CLI — not a signed runtime capability." .
+
+apguide:AgentSkillPackage a owl:Class ;
+    rdfs:subClassOf apguide:AgentGuidanceArtifact ;
+    rdfs:label "AgentSkillPackage" ;
+    rdfs:comment "Portable procedural package per Agent Skills standard (directory + SKILL.md). Runtime playbook — NOT A2A advertisement or OASF taxon." .
+
+apguide:AgentGuidanceSkill a owl:Class ;
+    owl:deprecated true ;
+    rdfs:subClassOf apguide:AgentSkillPackage ;
+    rdfs:label "AgentGuidanceSkill (deprecated)" ;
+    rdfs:comment "Deprecated alias for apguide:AgentSkillPackage (ADR-0051)." .
+
+apguide:RepositoryGuidanceDoc a owl:Class ;
+    rdfs:subClassOf apguide:AgentGuidanceArtifact ;
+    rdfs:label "RepositoryGuidanceDoc" ;
+    rdfs:comment "Repo-local agent context (CLAUDE.md, AGENTS.md). Not executable capability." .
+
+apguide:guidanceTarget a owl:ObjectProperty ;
+    rdfs:domain apguide:AgentGuidanceArtifact ;
+    rdfs:label "guidanceTarget" .
+
+apguide:hostedInRepository a owl:DatatypeProperty ;
+    rdfs:domain apguide:AgentGuidanceArtifact ;
+    rdfs:label "hostedInRepository" .

package/tbox/intents.ttl

@@ -31,17 +31,66 @@ apint:Desire a owl:Class ;
 apint:Intent a owl:Class ;
     rdfs:subClassOf ufo-c:Intention , vf:Intent ;
     rdfs:label "Intent" ;
-    rdfs:comment "An actor's signed declarative statement of a desired end-state — direction + object (SKOS) + topic + constraints + expectedOutcome. NOT a plan; not a transaction; not a task. CSP-shaped per Anoma alignment. Layer 2 of the spine." .
+    rdfs:comment "An actor's signed declarative statement of a desired end-state. NOT a plan; not a transaction; not a wire envelope. Layer 2 of the spine." .
 
-apint:ReceiveIntent a owl:Class ;
+# ─── Intent hierarchy extension (spec 324 §9) ─────────────────────────
+
+apint:ResourceExchangeIntent a owl:Class ;
     rdfs:subClassOf apint:Intent ;
-    rdfs:label "ReceiveIntent" ;
-    rdfs:comment "Intent with direction='receive': actor wants to be the recipient of the object." .
+    rdfs:label "ResourceExchangeIntent" ;
+    rdfs:comment "Marketplace-shaped intents; direction + object matching apply here only." .
 
 apint:GiveIntent a owl:Class ;
-    rdfs:subClassOf apint:Intent ;
+    rdfs:subClassOf apint:ResourceExchangeIntent ;
     rdfs:label "GiveIntent" ;
-    rdfs:comment "Intent with direction='give': actor wants to be the provider of the object." .
+    rdfs:comment "ResourceExchangeIntent with direction='give'." .
+
+apint:ReceiveIntent a owl:Class ;
+    rdfs:subClassOf apint:ResourceExchangeIntent ;
+    rdfs:label "ReceiveIntent" ;
+    rdfs:comment "ResourceExchangeIntent with direction='receive'." .
+
+apint:ActionIntent a owl:Class ;
+    rdfs:subClassOf apint:Intent ;
+    rdfs:label "ActionIntent" ;
+    rdfs:comment "Desired action (invoke skill, perform task, moderate conversation)." .
+
+apint:InvokeSkillIntent a owl:Class ;
+    rdfs:subClassOf apint:ActionIntent ;
+    rdfs:label "InvokeSkillIntent" .
+
+apint:PerformTaskIntent a owl:Class ;
+    rdfs:subClassOf apint:ActionIntent ;
+    rdfs:label "PerformTaskIntent" .
+
+apint:InformationIntent a owl:Class ;
+    rdfs:subClassOf apint:Intent ;
+    rdfs:label "InformationIntent" .
+
+apint:QueryIntent a owl:Class ;
+    rdfs:subClassOf apint:InformationIntent ;
+    rdfs:label "QueryIntent" .
+
+apint:SubscribeIntent a owl:Class ;
+    rdfs:subClassOf apint:InformationIntent ;
+    rdfs:label "SubscribeIntent" .
+
+apint:RelationshipIntent a owl:Class ;
+    rdfs:subClassOf apint:Intent ;
+    rdfs:label "RelationshipIntent" .
+
+apint:JoinOrganizationIntent a owl:Class ;
+    rdfs:subClassOf apint:RelationshipIntent ;
+    rdfs:label "JoinOrganizationIntent" ;
+    rdfs:comment "Expressed by MembershipApplication (REQUEST act)." .
+
+apint:LeaveOrganizationIntent a owl:Class ;
+    rdfs:subClassOf apint:RelationshipIntent ;
+    rdfs:label "LeaveOrganizationIntent" .
+
+apint:AssignRoleIntent a owl:Class ;
+    rdfs:subClassOf apint:RelationshipIntent ;
+    rdfs:label "AssignRoleIntent" .
 
 apint:MatchInitiation a owl:Class ;
     rdfs:subClassOf prov:Activity ;
@@ -71,22 +120,28 @@ apint:SolverBid a owl:Class ;
 # ─── Intent properties ────────────────────────────────────────────────
 
 apint:direction a owl:DatatypeProperty ;
-    rdfs:domain apint:Intent ;
+    rdfs:domain apint:ResourceExchangeIntent ;
     rdfs:range xsd:string ;
     rdfs:label "direction" ;
-    rdfs:comment "'receive' or 'give'. Single-class on Intent (Smart-agent SS-01 invariant). Matching rule: direction MUST be opposite + object MUST be equal." .
+    rdfs:comment "'receive' or 'give'. Resource-exchange matching: direction MUST be opposite + object MUST be equal." .
 
 apint:object a owl:ObjectProperty ;
-    rdfs:domain apint:Intent ;
+    rdfs:domain apint:ResourceExchangeIntent ;
     rdfs:range skos:Concept ;
     rdfs:label "object" ;
-    rdfs:comment "The SKOS concept (e.g. apint:NeedCoaching) describing WHAT is wanted/offered. Matching rule: must be exactly equal between matched pair." .
+    rdfs:comment "SKOS concept for WHAT is wanted/offered (marketplace intents only)." .
 
 apint:topic a owl:DatatypeProperty ;
     rdfs:domain apint:Intent ;
     rdfs:range xsd:string ;
     rdfs:label "topic" ;
-    rdfs:comment "Free-text topic refinement; matched by topicSimilarity score (not equality)." .
+    rdfs:comment "DEPRECATED free-text refinement — use apint:about. Not apmsg:DiscussionTopic." .
+
+apint:about a owl:DatatypeProperty ;
+    rdfs:domain apint:Intent ;
+    rdfs:range xsd:string ;
+    rdfs:label "about" ;
+    rdfs:comment "Free-text aboutness refinement on an Intent. Distinct from apmsg:DiscussionTopic entity." .
 
 apint:expressedBy a owl:ObjectProperty ;
     rdfs:domain apint:Intent ;

package/tbox/messaging.ttl

@@ -0,0 +1,134 @@
+# T-box — messaging / interaction-substrate vocabulary (spec 322 §3).
+# RDFS/OWL terminology only. The durable interaction ARTIFACTS (envelopes, events, conversations,
+# boards, directory listings) get classes; PROJECTIONS (inbox items, cursors, summaries) get NONE —
+# a derived view must never be mistaken for a fact. These records are PRIVATE vault residents
+# (ADR-0025): the ontology names their shapes; it never implies KB projection (ADR-0040 — the only
+# public artifact is the OPT-IN listing anchor attestation, which reuses apatt: terms).
+#
+# Wire binding (one type system): `ap.message.v1` ↔ apmsg:MessageEnvelope,
+# `ap.message.event.v1` ↔ apmsg:MessageEvent, `ap.conversation.v1` ↔ apmsg:Conversation,
+# `ap.home.directory-listing.v1` ↔ aporg:DirectoryListing. The tag is the wire discriminator; the
+# IRI is the semantic name; the TS interface (packages/fabric) is the enforced mirror.
+# NOTE: apmsg:MessageEnvelope ≠ apful:Message (a fulfillment task message) — same word, different
+# layer; see docs/architecture/vocabulary-map.md.
+
+@prefix apmsg: <https://agenticprimitives.dev/ns/messaging#> .
+@prefix aporg: <https://agenticprimitives.dev/ns/org#> .
+@prefix ap:    <https://agenticprimitives.dev/ns/core#> .
+@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:   <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
+@prefix prov:  <http://www.w3.org/ns/prov#> .
+@prefix skos:  <http://www.w3.org/2004/02/skos/core#> .
+
+apmsg: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — messaging / interaction substrate" ;
+    owl:versionInfo "0.1.0" .
+
+# ─── Classes (apmsg) ─────────────────────────────────────────────────
+
+apmsg:MessageEnvelope a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "MessageEnvelope" ;
+    rdfs:comment "A versioned message envelope (`ap.message.v1`): sender/recipients/subject/bodyHash — the body itself is a separate hash-bound vault record. Validated by apmsg:MessageEnvelopeShape (enforced by fabric's TS mirror)." .
+
+apmsg:MessageEvent a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "MessageEvent" ;
+    rdfs:comment "A lifecycle activity on an envelope (`ap.message.event.v1`): delivered / sent / read / archived. Append-only; the inbox view is replayed from these." .
+
+apmsg:Conversation a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Conversation" ;
+    rdfs:comment "A conversation descriptor (`ap.conversation.v1`): participants, participantPolicy, contextRefs. A CHANNEL is a Conversation with participantPolicy 'open-to-context' — not a separate class." .
+
+apmsg:ChannelBoard a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "ChannelBoard" ;
+    rdfs:comment "DEPRECATED name — org conversation/topic index (`conversation.index` post-W6). Legacy `board.*` vault records." .
+
+# ─── Communicative acts + discussions (spec 324 §9–§10) ───────────────
+
+apmsg:CommunicativeAct a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "CommunicativeAct" ;
+    rdfs:comment "Semantic act (INFORM, REQUEST, ACCEPT, …) carried by ExchangeEnvelope. May express zero..n Intents. ≠ MessageKind transport union." .
+
+apmsg:Performative a owl:Class ;
+    rdfs:subClassOf skos:Concept ;
+    rdfs:label "Performative" ;
+    rdfs:comment "Closed vocabulary: INFORM, QUERY, REQUEST, PROPOSE, COUNTER, ACCEPT, REJECT, NOTIFY, ACKNOWLEDGE, ISSUE, RETRACT, SUBSCRIBE, UNSUBSCRIBE." .
+
+apmsg:performedBy a owl:ObjectProperty ;
+    rdfs:domain apmsg:CommunicativeAct ; rdfs:range ap:Agent ;
+    rdfs:label "performedBy" .
+
+apmsg:actAddressedTo a owl:ObjectProperty ;
+    rdfs:domain apmsg:CommunicativeAct ; rdfs:range ap:Agent ;
+    rdfs:label "actAddressedTo" .
+
+apmsg:inRespondsTo a owl:ObjectProperty ;
+    rdfs:domain apmsg:CommunicativeAct ; rdfs:range apmsg:MessageEnvelope ;
+    rdfs:label "inRespondsTo" .
+
+apmsg:Discussion a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Discussion" ;
+    rdfs:comment "Abstract parent of DiscussionTopic and MessageThread." .
+
+apmsg:DiscussionTopic a owl:Class ;
+    rdfs:subClassOf apmsg:Discussion ;
+    rdfs:label "DiscussionTopic" ;
+    rdfs:comment "Durable named partition inside a Conversation (UI label: Topic). What legacy UI called a 'channel' row." .
+
+apmsg:MessageThread a owl:Class ;
+    rdfs:subClassOf apmsg:Discussion ;
+    rdfs:label "MessageThread" ;
+    rdfs:comment "Reply chain rooted at a message/exchange." .
+
+apmsg:inConversation a owl:ObjectProperty ;
+    rdfs:domain apmsg:Discussion ; rdfs:range apmsg:Conversation ;
+    rdfs:label "inConversation" .
+
+apmsg:hostedBy a owl:ObjectProperty ;
+    rdfs:domain apmsg:Conversation ; rdfs:range ap:Agent ;
+    rdfs:label "hostedBy" ;
+    rdfs:comment "Owner/host Agent. OrganizationAgent hosts Conversations — is not one." .
+
+apmsg:ConversationProfile a owl:Class ;
+    rdfs:subClassOf skos:Concept ;
+    rdfs:label "ConversationProfile" ;
+    rdfs:comment "direct | group | discussion | broadcast | forum | announcement | support." .
+
+# ─── Classes + predicates (aporg extension: the membership listing) ──
+
+aporg:DirectoryListing a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "DirectoryListing" ;
+    rdfs:comment "A member's SELF-SIGNED presence listing in an org context (`ap.home.directory-listing.v1`) — the consent artifact channel membership derives from (spec 318/322). ERC-1271-verified against the subject SA at publish AND at gate time. Membership itself stays DERIVED (current listing + valid spec-321 delegation ⟹ aporg:memberOf) — never stored as a fact." .
+
+aporg:listingSubject a owl:ObjectProperty ;
+    rdfs:domain aporg:DirectoryListing ; rdfs:range ap:CanonicalAgentId ;
+    rdfs:label "listingSubject" ; rdfs:comment "The person SA publishing themselves (self-published only)." .
+
+aporg:listingContext a owl:ObjectProperty ;
+    rdfs:domain aporg:DirectoryListing ; rdfs:range ap:CanonicalAgentId ;
+    rdfs:label "listingContext" ; rdfs:comment "The org/community context the listing is scoped to." .
+
+aporg:visibility a owl:DatatypeProperty ;
+    rdfs:domain aporg:DirectoryListing ; rdfs:range xsd:string ;
+    rdfs:label "visibility" ; rdfs:comment "'community' | 'public'. Display intent only — NEVER a residency or KB-projection signal (ADR-0040)." .
+
+aporg:publishedAt a owl:DatatypeProperty ;
+    rdfs:domain aporg:DirectoryListing ; rdfs:range xsd:dateTime ;
+    rdfs:label "publishedAt" ; rdfs:comment "Monotonic per subject (replay guard, spec 322 §4)." .
+
+aporg:expiresAt a owl:DatatypeProperty ;
+    rdfs:domain aporg:DirectoryListing ; rdfs:range xsd:dateTime ;
+    rdfs:label "expiresAt" .
+
+aporg:listingHash a owl:DatatypeProperty ;
+    rdfs:domain aporg:DirectoryListing ; rdfs:range xsd:string ;
+    rdfs:label "listingHash" ;
+    rdfs:comment "sha256 of the canonical listing — the commitment an OPT-IN on-chain anchor attests to (apatt:credentialHash ≡ this; anchor requires the ADR-0025 amendment, spec 322 §6)." .

package/tbox/org.ttl

@@ -0,0 +1,122 @@
+# T-box — organization membership, roles, enrollment (spec 324 §4–§8).
+# OrganizationMembership is a Situation — not a delegation, not a directory listing.
+
+@prefix aporg: <https://agenticprimitives.dev/ns/org#> .
+@prefix apsit: <https://agenticprimitives.dev/ns/situation#> .
+@prefix ap:    <https://agenticprimitives.dev/ns/core#> .
+@prefix apdel: <https://agenticprimitives.dev/ns/delegation#> .
+@prefix apent: <https://agenticprimitives.dev/ns/entitlement#> .
+@prefix apint: <https://agenticprimitives.dev/ns/intent#> .
+@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:   <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
+@prefix prov:  <http://www.w3.org/ns/prov#> .
+
+aporg: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — organization ontology" ;
+    owl:versionInfo "0.2.0" ;
+    rdfs:comment "Membership, roles, enrollment instruments (spec 324). DirectoryListing remains in tbox/messaging.ttl for wire compat." .
+
+# ─── Membership ───────────────────────────────────────────────────────
+
+aporg:OrganizationMembership a owl:Class ;
+    rdfs:subClassOf apsit:Situation ;
+    rdfs:label "OrganizationMembership" ;
+    rdfs:comment "Private-by-default Situation: exactly one memberAgent + one organizationAgent under an EnrollmentDecision. Member is NOT a class." .
+
+aporg:memberAgent a owl:ObjectProperty ;
+    rdfs:domain aporg:OrganizationMembership ; rdfs:range ap:Agent ;
+    rdfs:label "memberAgent" .
+
+aporg:organizationAgent a owl:ObjectProperty ;
+    rdfs:domain aporg:OrganizationMembership ; rdfs:range ap:OrganizationAgent ;
+    rdfs:label "organizationAgent" .
+
+aporg:hasRoleAssignment a owl:ObjectProperty ;
+    rdfs:domain aporg:OrganizationMembership ; rdfs:range aporg:RoleAssignment ;
+    rdfs:label "hasRoleAssignment" .
+
+# Convenience projection only — active membership is resolved externally (SHACL/resolver).
+aporg:memberOf a owl:ObjectProperty ;
+    rdfs:domain ap:Agent ; rdfs:range ap:OrganizationAgent ;
+    rdfs:label "memberOf" ;
+    rdfs:comment "DERIVED: true iff active, valid, disclosable OrganizationMembership exists. Never asserted globally." .
+
+# ─── Roles ────────────────────────────────────────────────────────────
+
+aporg:OrganizationRoleDefinition a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "OrganizationRoleDefinition" ;
+    rdfs:comment "Reusable org-scoped role template. Declarative — does not authorize execution." .
+
+aporg:OrganizationalPost a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "OrganizationalPost" ;
+    rdfs:comment "Enduring org position (e.g. Acme CFO post), distinct from OrganizationRoleDefinition template. W3C ORG Post pattern (spec 325)." .
+
+aporg:RoleAssignment a owl:Class ;
+    rdfs:subClassOf apsit:Situation ;
+    rdfs:label "RoleAssignment" ;
+    rdfs:comment "Connects OrganizationMembership to OrganizationRoleDefinition. Materialized by Delegations — not itself authority." .
+
+aporg:assignedMembership a owl:ObjectProperty ;
+    rdfs:domain aporg:RoleAssignment ; rdfs:range aporg:OrganizationMembership ;
+    rdfs:label "assignedMembership" .
+
+aporg:assignedRole a owl:ObjectProperty ;
+    rdfs:domain aporg:RoleAssignment ; rdfs:range aporg:OrganizationRoleDefinition ;
+    rdfs:label "assignedRole" .
+
+aporg:materializedByDelegation a owl:ObjectProperty ;
+    rdfs:domain aporg:RoleAssignment ; rdfs:range apdel:Delegation ;
+    rdfs:label "materializedByDelegation" .
+
+aporg:supportedByEntitlement a owl:ObjectProperty ;
+    rdfs:domain aporg:RoleAssignment ; rdfs:range apent:AccessEntitlement ;
+    rdfs:label "supportedByEntitlement" .
+
+# ─── Enrollment instruments (not membership) ──────────────────────────
+
+aporg:EnrollmentPolicy a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "EnrollmentPolicy" ;
+    rdfs:comment "Organization joining policy. 'Admission' is ingress-only (ADR-0043) — use Enrollment for org joining." .
+
+aporg:EnrollmentRequirement a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "EnrollmentRequirement" ;
+    rdfs:comment "Eligibility predicate; satisfying it does not create membership." .
+
+aporg:MembershipInvitation a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "MembershipInvitation" ;
+    rdfs:comment "Directed enrollment proposal org→agent. Not a membership." .
+
+aporg:MembershipInviteLink a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "MembershipInviteLink" ;
+    rdfs:comment "Bearer enrollment instrument (tokenHash only in storage). Not a Delegation." .
+
+aporg:MembershipApplication a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "MembershipApplication" ;
+    rdfs:comment "Join request; usually expresses JoinOrganizationIntent via REQUEST act." .
+
+aporg:EnrollmentDecision a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "EnrollmentDecision" ;
+    rdfs:comment "Signed approve/reject. Approval creates OrganizationMembership — does not grant arbitrary authority." .
+
+aporg:MembershipTermination a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "MembershipTermination" .
+
+aporg:AdmissionExclusion a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "AdmissionExclusion" ;
+    rdfs:comment "Org-level exclusion record — not ingress admission." .
+
+aporg:expressesJoinIntent a owl:ObjectProperty ;
+    rdfs:domain aporg:MembershipApplication ; rdfs:range apint:JoinOrganizationIntent ;
+    rdfs:label "expressesJoinIntent" .

package/tbox/scope.ttl

@@ -0,0 +1,59 @@
+# T-box — AP-Scope-V1 (spec 308 / G-8): the scope-statement + verifier-
+# obligation classes and the profile annotation properties. The codelists
+# (concepts) live in cbox/scope-vocabulary.ttl; this file declares what a
+# SCOPE and an OBLIGATION are.
+
+@prefix apscope: <https://agenticprimitives.dev/ns/scope#> .
+@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:     <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
+@prefix prov:    <http://www.w3.org/ns/prov#> .
+
+apscope: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — AP-Scope-V1 vocabulary" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Spec 308: the small shared scope vocabulary — action/resource/purpose/reliance classes, revocation modes, value-limit kinds — plus the reliance-class verifier profile. Deliberately coarse; external adoption over semantic perfection." .
+
+apscope:Scope a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Scope" ;
+    rdfs:comment "A scope STATEMENT: actionClass × resourceClass × purposeClass × value-limit shape. What a delegation/credential encodes and a verifier compares transaction parameters against (the article's duty 2). Never precise values — those live in caveats/predicates." .
+
+apscope:VerifierObligation a owl:Class ;
+    rdfs:label "Verifier Obligation" ;
+    rdfs:comment "The duties a reliance class imposes on the verifier at execution time (spec 308 profile): the required revocation mode, status freshness, and receipt retention." .
+
+# ─── Scope properties (ranges are the cbox concept schemes) ──────────────
+
+apscope:hasActionClass a owl:ObjectProperty ;
+    rdfs:domain apscope:Scope ; rdfs:label "has action class" .
+apscope:hasResourceClass a owl:ObjectProperty ;
+    rdfs:domain apscope:Scope ; rdfs:label "has resource class" .
+apscope:hasPurposeClass a owl:ObjectProperty ;
+    rdfs:domain apscope:Scope ; rdfs:label "has purpose class" .
+apscope:hasValueLimitKind a owl:ObjectProperty ;
+    rdfs:domain apscope:Scope ; rdfs:label "has value-limit kind" .
+apscope:hasRelianceClass a owl:ObjectProperty ;
+    rdfs:label "has reliance class" ;
+    rdfs:comment "On a scope, a receipt profile, or a tool classification: which verifier profile applies." .
+
+# ─── The reliance-profile annotation properties (used in the cbox) ───────
+
+apscope:requiredRevocationMode a owl:ObjectProperty ;
+    rdfs:label "required revocation mode" ;
+    rdfs:comment "ONE mode per reliance class (ADR-0013 — configuration, never a runtime ladder). emergency-stop overrides in every class." .
+
+apscope:statusFreshnessMs a owl:DatatypeProperty ;
+    rdfs:range xsd:integer ;
+    rdfs:label "status freshness (ms)" ;
+    rdfs:comment "Max age of a cached not-revoked answer. 12000 = chain-state's shipped bounded-freshness window (spec 289); 0 = live read per call." .
+
+apscope:mustRetainReceipt a owl:DatatypeProperty ;
+    rdfs:range xsd:boolean ;
+    rdfs:label "must retain receipt" ;
+    rdfs:comment "Whether the verifier MUST retain a spec-303 verification receipt for this class (the article's duty 4; the G-12 liability schema keys off it)." .
+
+apscope:emergencyStopHonored a owl:DatatypeProperty ;
+    rdfs:range xsd:boolean ;
+    rdfs:label "emergency stop honored" ;
+    rdfs:comment "Every conformant verifier honors a principal-published stop assertion regardless of class mode; declared explicitly on verifier profiles for the conformance suite (G-12)." .

package/tbox/situation.ttl

@@ -0,0 +1,56 @@
+# T-box — situation vocabulary (spec 324 §4; ADR-0048).
+# DOLCE+DnS pattern: a Situation satisfies a Description and has RoleBindings.
+# Situation ≠ Credential — a VC attests a Situation; the Situation is the state of affairs.
+
+@prefix apsit: <https://agenticprimitives.dev/ns/situation#> .
+@prefix ap:    <https://agenticprimitives.dev/ns/core#> .
+@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:   <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
+@prefix dul:   <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#> .
+
+apsit: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — situation ontology" ;
+    owl:versionInfo "0.2.0" ;
+    rdfs:comment "Substrate-level Situation primitive (spec 324). Runtime SituationV2 shapes live in @agenticprimitives/situations." .
+
+apsit:Situation a owl:Class ;
+    rdfs:subClassOf dul:Situation ;
+    rdfs:label "Situation" ;
+    rdfs:comment "A state of affairs satisfying a Description with typed RoleBindings. Exists independently of any issued VC." .
+
+apsit:Description a owl:Class ;
+    rdfs:subClassOf dul:Description ;
+    rdfs:label "Description" ;
+    rdfs:comment "A normative pattern (often a SHACL shape IRI) that a Situation satisfies." .
+
+apsit:SituationRole a owl:Class ;
+    rdfs:subClassOf dul:Role ;
+    rdfs:label "SituationRole" ;
+    rdfs:comment "A typed participant slot in a DnS Situation (e.g. aporg:memberAgent). Ontology structure — not executable authority." .
+
+apsit:RoleBinding a owl:Class ;
+    rdfs:label "RoleBinding" ;
+    rdfs:comment "Binds one SituationRole to one or more fillers (Agent, resource, Situation, or artifact)." .
+
+apsit:TemporalExtent a owl:Class ;
+    rdfs:label "TemporalExtent" ;
+    rdfs:comment "Validity interval for a Situation or RoleAssignment." .
+
+apsit:satisfies a owl:ObjectProperty ;
+    rdfs:domain apsit:Situation ; rdfs:range apsit:Description ;
+    rdfs:label "satisfies" .
+
+apsit:hasRoleBinding a owl:ObjectProperty ;
+    rdfs:domain apsit:Situation ; rdfs:range apsit:RoleBinding ;
+    rdfs:label "hasRoleBinding" .
+
+apsit:bindingRole a owl:ObjectProperty ;
+    rdfs:domain apsit:RoleBinding ; rdfs:range apsit:SituationRole ;
+    rdfs:label "bindingRole" .
+
+apsit:bindingFiller a owl:ObjectProperty ;
+    rdfs:domain apsit:RoleBinding ;
+    rdfs:label "bindingFiller" ;
+    rdfs:comment "Filler may be an Agent, another Situation, a resource IRI, or an artifact ref." .