@agenticprimitives/ontology 1.0.0-alpha.20 → 1.0.0-alpha.22

package/tbox/interaction.ttl

@@ -0,0 +1,284 @@
+# T-box — Agentic Interaction: the canonical bounded context (spec 340; ADR-0058, extending ADR-0048).
+#
+# WHY THIS NAMESPACE IS `apix:` AND NOT `apfab:`. `apfab:` was named after the PACKAGE that implements
+# these concepts. That binds the vocabulary to a deployment decision and forces every reader to know
+# which runtime owns which meaning before they can read a triple. Concepts get named after concepts.
+# `packages/fabric` remains the Ring-0 operational realization (ADR-0047) — it is not the semantic owner.
+#
+# THE SPINE, in one line each. Getting these apart is the entire point of the file:
+#
+#   Interaction   the durable GOVERNED SITUATION — participants, profile, state, commitments
+#   Exchange      one IMMUTABLE SIGNED UNIT crossing the interaction boundary
+#   Act           what the actor is COMMUNICATIVELY DOING (ask, offer, counter, command…)
+#   Content       the THING the act is about (a Question, an Offer, a Command) — optional
+#   Commitment    a NORMATIVE OBLIGATION some acts create, modify or discharge
+#   Receipt       ATTESTED EVIDENCE that something occurred — never that it was authorized
+#
+# An Exchange without an Interaction is a message. An Interaction without Exchanges is an empty room.
+#
+# THE INVARIANT EVERYTHING ELSE RESTS ON: no communicative act is execution authority. A signed Command
+# is a recorded request. It creates no execution without an independent authority decision, which lives
+# in `delegation` + `entitlements` + `tool-policy` and is re-evaluated at the moment of acting
+# (ADR-0043, ADR-0041). This ontology is safe to make expressive precisely because it confers nothing.
+
+@prefix apix:   <https://agenticprimitives.dev/ns/interaction#> .
+@prefix apmsg:  <https://agenticprimitives.dev/ns/messaging#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@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 skos:   <http://www.w3.org/2004/02/skos/core#> .
+@prefix prov:   <http://www.w3.org/ns/prov#> .
+@prefix p-plan: <http://purl.org/net/p-plan#> .
+@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .
+
+apix: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — Agentic Interaction" ;
+    owl:versionInfo "1.0.0" ;
+    rdfs:comment "Canonical semantics for governed exchange between agents. Realized operationally by packages/fabric; confers no authority (ADR-0058)." .
+
+# ─── The situation ──────────────────────────────────────────────────────────
+
+apix:Interaction a owl:Class ;
+    rdfs:subClassOf apsit:Situation, prov:Entity ;
+    rdfs:label "Interaction" ;
+    rdfs:comment "A durable governed situation among Person/Organization/Service agents, realized through immutable signed Exchanges. It is NOT a message, a thread, or a task. It persists across exchanges, participants joining and leaving, and profile versions." .
+
+apix:InteractionProfile a owl:Class ;
+    rdfs:subClassOf apsit:SituationDescription, prov:Plan, p-plan:Plan ;
+    rdfs:label "InteractionProfile" ;
+    rdfs:comment "A VERSIONED description of one interaction kind: permitted roles, permitted acts, required contexts, state machine, authority requirements, shapes. This replaces frozen `kind`/`state` enums — a new interaction type is a new profile, not a schema change. Pinned by version into every Exchange so a Negotiation cannot be downgraded to a Conversation." .
+
+apix:Participation a owl:Class ;
+    rdfs:subClassOf apsit:SituationParticipation, prov:Entity ;
+    rdfs:label "Participation" ;
+    rdfs:comment "An agent's standing in an Interaction under a profile-defined role, over a time window. Participating is never authority: a role explains WHY delegations were issued, never substitutes for them (ADR-0048 §4)." .
+
+# ─── The unit that crosses the boundary ─────────────────────────────────────
+
+apix:Exchange a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Exchange" ;
+    rdfs:comment "One immutable, signed unit crossing an interaction boundary. Records the acts performed, the content conveyed, the causal relations, the exact context snapshot, and the proof. Immutable: a correction is a NEW Exchange that supersedes, never an edit." .
+
+apix:ExchangeActivity a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "ExchangeActivity" ;
+    rdfs:comment "The occurrence of exchanging — the PROV activity whose record is an apix:Exchange. Separated so provenance can attribute the doing (activity) distinctly from the artifact (entity)." .
+
+# ─── Act and content are different things ───────────────────────────────────
+
+apix:CommunicativeAct a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "CommunicativeAct" ;
+    rdfs:comment "What the actor is communicatively DOING. Named CommunicativeAct because ADR-0048 §5/§6 already established that term and the TS type is CommunicativeActV1 — a synonym would have been a second name for a named concept, which is the problem this ADR exists to remove. MOVED here from apmsg: an act is interaction semantics, not a messaging detail. One Exchange may realize SEVERAL acts: \"yes to the date, but $8,000 not $10,000\" is an Answer, an Accept and a CounterOffer at once. Collapsing act into content makes that unrepresentable (ADR-0058 §13)." .
+
+apix:performative a owl:ObjectProperty ;
+    rdfs:domain apix:CommunicativeAct ;
+    rdfs:range skos:Concept ;
+    rdfs:label "performative" ;
+    rdfs:comment "WHAT the act does, from the apix:performativeScheme codelist (cbox/interaction-vocabulary.ttl). Named `performative` because that is what the in-use TS field is called (CommunicativeActV1.performative, 13 values) — my first pass called it `actKind` over a parallel 10-concept `apix:ActKinds` scheme, which was a second name for a named concept and exactly what ADR-0058 exists to remove. A SKOS concept rather than an OWL class so the vocabulary extends without the T-box becoming a class catalog; acts with distinctive CONSEQUENCES are promoted to classes below." .
+
+# Promoted acts — these earn OWL classes because they have consequences the generic act does not.
+apix:OfferAct a owl:Class ;
+    rdfs:subClassOf apix:CommunicativeAct ;
+    rdfs:label "OfferAct" ;
+    rdfs:comment "Proposes terms whose ACCEPTANCE may create a Commitment. Promoted from a bare act kind because that consequence needs its own shapes and authority checks." .
+
+apix:CounterOfferAct a owl:Class ;
+    rdfs:subClassOf apix:OfferAct ;
+    rdfs:label "CounterOfferAct" ;
+    rdfs:comment "A NEW immutable Offer that supersedes a prior one. It never mutates the offer it counters — the superseded offer remains in evidence exactly as sent." .
+
+apix:AcceptAct a owl:Class ;
+    rdfs:subClassOf apix:CommunicativeAct ;
+    rdfs:label "AcceptAct" ;
+    rdfs:comment "Accepts an identified Offer. Creates a Commitment ONLY when the profile, terms, time window, signer and authority are all valid — acceptance by an unauthorized party creates nothing." .
+
+apix:CommandAct a owl:Class ;
+    rdfs:subClassOf apix:CommunicativeAct ;
+    rdfs:label "CommandAct" ;
+    rdfs:comment "Directs action. A signed Command is a RECORDED REQUEST: it creates no execution without an independent authority decision. A denied Command is still a valid, recorded Exchange." .
+
+apix:ReactAct a owl:Class ;
+    rdfs:subClassOf apix:CommunicativeAct ;
+    rdfs:label "ReactAct" ;
+    rdfs:comment "A lightweight target-relative annotation. NEVER acceptance, approval, or acknowledgement by default — a thumbs-up does not accept an offer (ADR-0058 §16)." .
+
+apix:Content a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Content" ;
+    rdfs:comment "The information object an act is ABOUT — a Question, an Offer, a Command. Distinct from the act that conveys it and from the Message that renders it." .
+
+apix:Question   a owl:Class ; rdfs:subClassOf apix:Content ; rdfs:label "Question" .
+apix:Answer     a owl:Class ; rdfs:subClassOf apix:Content ; rdfs:label "Answer" ;
+    rdfs:comment "MUST identify the Question it addresses (apix:answers). An answer with no question is an Inform." .
+apix:Offer      a owl:Class ; rdfs:subClassOf apix:Content ; rdfs:label "Offer" ;
+    rdfs:comment "Proposed terms. An Offer is NOT a Commitment; it becomes one only through a valid, authorized Accept." .
+apix:Command    a owl:Class ; rdfs:subClassOf apix:Content ; rdfs:label "Command" .
+apix:Notification a owl:Class ; rdfs:subClassOf apix:Content ; rdfs:label "Notification" ;
+    rdfs:comment "Reports that something happened. Reporting a revocation does not PERFORM the revocation." .
+
+apix:Message a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Message" ;
+    rdfs:comment "Human- or machine-readable content carried by an Exchange. OPTIONAL — a machine-to-machine Exchange may carry only a structured act, an event, a decision or an attachment reference, and no natural language at all. This is why the canonical ingress is exchange.submit, not message.send." .
+
+apix:AttachmentBinding a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "AttachmentBinding" ;
+    rdfs:comment "An EXACT reference to an artifact: canonical id, version, digest, and the role it plays in the exchange. Never an inline body, never a floating pointer." .
+
+# ─── Reproducible context ───────────────────────────────────────────────────
+
+apix:ContextSnapshot a owl:Class ;
+    rdfs:subClassOf prov:Bundle ;
+    rdfs:label "ContextSnapshot" ;
+    rdfs:comment "An IMMUTABLE, digest-addressed bundle of exactly what was known and evaluated when an Exchange was made. Every reference inside carries canonical id, exact version, digest and observed time. `current` and `latest` are FORBIDDEN — the failure this prevents is quiet and forensic: a year later, nobody can say what the evaluator actually saw." .
+
+# ─── Normative obligation ───────────────────────────────────────────────────
+
+apix:Commitment a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Commitment" ;
+    rdfs:comment "A normative obligation with a debtor, a creditor, content, conditions, and its OWN lifecycle. Distinct from the Offer that proposed it and from the execution that may discharge it: workflow completion discharges nothing unless the profile's discharge conditions are met (ADR-0058 §15). NOT apint:Commitment — that is the narrower dual-signed envelope produced from an IntentMatch (spec 241, the Layer 7→8 commerce bridge). One is the general obligation; the other is one commerce-specific way of creating one. Same English word, two namespaces: see docs/architecture/vocabulary-map.md." .
+
+# ─── Typed evidence ─────────────────────────────────────────────────────────
+
+apix:Receipt a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Receipt" ;
+    rdfs:comment "Attested evidence that something OCCURRED. Never evidence that it was authorized, understood, or agreed to. Always typed — a generic receipt is an ambiguity waiting to be misread." .
+
+apix:DeliveryReceipt        a owl:Class ; rdfs:subClassOf apix:Receipt ; rdfs:label "DeliveryReceipt" ;
+    rdfs:comment "Delivery completed under a stated profile. NOT understanding, NOT agreement." .
+apix:AdmissionReceipt       a owl:Class ; rdfs:subClassOf apix:Receipt ; rdfs:label "AdmissionReceipt" ;
+    rdfs:comment "A boundary admitted or rejected the Exchange. Admission is not authorization (ADR-0043)." .
+apix:ReadReceipt            a owl:Class ; rdfs:subClassOf apix:Receipt ; rdfs:label "ReadReceipt" ;
+    rdfs:comment "A participant's client marked content read. NOT human comprehension, NOT acknowledgement, NOT consent." .
+apix:AcknowledgementReceipt a owl:Class ; rdfs:subClassOf apix:Receipt ; rdfs:label "AcknowledgementReceipt" ;
+    rdfs:comment "An agent acknowledged a target Exchange. NOT acceptance." .
+apix:DecisionReceipt        a owl:Class ; rdfs:subClassOf apix:Receipt ; rdfs:label "DecisionReceipt" ;
+    rdfs:comment "A signed decision was made. NOT that it was executed." .
+apix:ExecutionReceipt       a owl:Class ; rdfs:subClassOf apix:Receipt ; rdfs:label "ExecutionReceipt" ;
+    rdfs:comment "Work started, progressed or completed. NOT that the outcome was valid or the commitment discharged." .
+
+# ─── Relations ──────────────────────────────────────────────────────────────
+
+apix:hasProfile        a owl:ObjectProperty ; rdfs:domain apix:Interaction ; rdfs:range apix:InteractionProfile .
+apix:hasParticipation  a owl:ObjectProperty ; rdfs:domain apix:Interaction ; rdfs:range apix:Participation .
+apix:occursIn          a owl:ObjectProperty ; rdfs:domain apix:Exchange ;    rdfs:range apix:Interaction .
+apix:realizesAct       a owl:ObjectProperty ; rdfs:domain apix:Exchange ;    rdfs:range apix:CommunicativeAct .
+apix:conveys           a owl:ObjectProperty ; rdfs:domain apix:CommunicativeAct ; rdfs:range apix:Content .
+apix:rendersAs         a owl:ObjectProperty ; rdfs:domain apix:Exchange ;    rdfs:range apix:Message .
+apix:hasAttachment     a owl:ObjectProperty ; rdfs:domain apix:Exchange ;    rdfs:range apix:AttachmentBinding .
+apix:pinsContext       a owl:ObjectProperty ; rdfs:domain apix:Exchange ;    rdfs:range apix:ContextSnapshot ;
+    rdfs:comment "By DIGEST. An Exchange references the snapshot it was evaluated against, not a mutable pointer." .
+
+# Causal relations — the graph a Thread is DERIVED from. A thread is a projection, never a container,
+# until it acquires an independent property and is promoted to its own Interaction (ADR-0058 §14).
+apix:inReplyTo  a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range apix:Exchange .
+apix:respondsTo a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range apix:Exchange .
+apix:causedBy   a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range apix:Exchange .
+apix:supersedes a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range apix:Exchange ;
+    rdfs:comment "Exchange-level replacement: this signed unit replaces that one. The superseded Exchange stays in evidence exactly as sent — supersession records, it never edits." .
+
+# Semantic targets — act/content level, NOT exchange level. Both exist because one Exchange may carry
+# two Offers, so `respondsTo <the offer exchange>` cannot answer WHICH offer was accepted or countered.
+apix:accepts  a owl:ObjectProperty ; rdfs:domain apix:AcceptAct ;      rdfs:range apix:Offer ;
+    rdfs:comment "REQUIRED on every AcceptAct — the identified Offer. Identifying it is not authorizing it: acceptance by an unauthorized party creates no Commitment (ADR-0058 §15)." .
+apix:counters a owl:ObjectProperty ; rdfs:domain apix:CounterOfferAct ; rdfs:range apix:Offer ;
+    rdfs:comment "REQUIRED on every CounterOfferAct — the Offer being countered. Act-level, not exchange-level: `supersedes` already covers 'this unit replaces that unit', and having `counters` mean both would be one name for two relations." .
+apix:answers  a owl:ObjectProperty ; rdfs:domain apix:Answer ;   rdfs:range apix:Question ;
+    rdfs:comment "REQUIRED on every Answer. An answer that identifies no question is an Inform." .
+
+# Commitment lifecycle — proposal, creation and discharge are different acts on different objects.
+apix:proposesCommitment  a owl:ObjectProperty ; rdfs:domain apix:CommunicativeAct ; rdfs:range apix:Commitment .
+apix:createsCommitment   a owl:ObjectProperty ; rdfs:domain apix:AcceptAct ;      rdfs:range apix:Commitment .
+apix:dischargesCommitment a owl:ObjectProperty ; rdfs:domain prov:Activity ;      rdfs:range apix:Commitment .
+
+apix:expressesIntent   a owl:ObjectProperty ; rdfs:domain apix:CommunicativeAct ; rdfs:range apint:Intent ;
+    rdfs:comment "An act may express zero, one or many Intents (ADR-0048 §5). Intent ≠ Act." .
+apix:attestedBy        a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range apix:Receipt .
+apix:attests           a owl:ObjectProperty ; owl:inverseOf apix:attestedBy ;
+    rdfs:domain apix:Receipt ; rdfs:range prov:Entity ;
+    rdfs:comment "What this receipt is evidence ABOUT. Required: a receipt that names no subject asserts that SOMETHING happened without saying what, which is how a delivery receipt gets read as an approval (ADR-0058 §16)." .
+
+# ─── Digest + version pins ──────────────────────────────────────────────────
+# The two anti-downgrade, anti-drift controls, as first-class predicates so they can be REQUIRED by a
+# shape rather than living only in prose.
+
+apix:contextDigest a owl:DatatypeProperty ;
+    rdfs:domain apix:ContextSnapshot ; rdfs:range xsd:string ;
+    rdfs:label "contextDigest" ;
+    rdfs:comment "The snapshot's content address. A ContextSnapshot is identified BY its digest, not by a name that could later point somewhere else." .
+
+apix:profileVersion a owl:DatatypeProperty ;
+    rdfs:domain apix:InteractionProfile ; rdfs:range xsd:string ;
+    rdfs:label "profileVersion" .
+
+apix:pinsProfileVersion a owl:DatatypeProperty ;
+    rdfs:domain apix:Exchange ; rdfs:range xsd:string ;
+    rdfs:label "pinsProfileVersion" ;
+    rdfs:comment "The EXACT profile version this Exchange was made under, recorded on the Exchange itself. Reading the version off the live Interaction instead would let a Negotiation be reinterpreted as a Conversation after the fact, taking its acceptance semantics with it (ADR-0058)." .
+apix:hasProtocolBinding a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range prov:Entity ;
+    rdfs:comment "A2A contextId, DIDComm thid, Matrix event id, CloudEvents source+id. Foreign keys into someone else's namespace — NEVER the canonical Interaction or Exchange id." .
+
+# ─── Extensible act vocabulary — NOT DEFINED HERE ───────────────────────────
+# The performative codelist is `apix:performativeScheme` in cbox/interaction-vocabulary.ttl. Two
+# reasons it is not in this file: SKOS codelists live in the C-box by convention (package CLAUDE.md),
+# and the scheme ALREADY EXISTED with thirteen concepts that `fabric`'s `Performative` TS union emits.
+# My first pass wrote a parallel ten-concept `apix:ActKinds` here without noticing, which would have
+# shipped two vocabularies for one concept — the precise failure ADR-0058 was written to end. Deleted.
+# It moved namespace (apmsg: → apix:) but not meaning: a performative is interaction semantics, and
+# apmsg: is the delivery/inbox PROJECTION — folders, labels, unread, retention. A folder is not an act.
+
+# ─── Migrated from apfab: (ADR-0058) ────────────────────────────────────────
+# `tbox/fabric.ttl` is DELETED, not deprecated-in-place: with no A-box instance data there is nothing
+# to keep an alias for, and an equivalentClass shim would preserve exactly the two-names-one-concept
+# ambiguity this ADR exists to remove.
+
+apix:Envelope a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Envelope" ;
+    rdfs:comment "The SIGNED TRANSPORT ARTIFACT that carries an act (`ap.message.v1`; was apfab:ExchangeEnvelope). Envelope ≠ Act (ADR-0048 §6) and Envelope ≠ Exchange (§7): the envelope is how a thing travelled, the act is what was done, the exchange is the aggregate. Not every envelope carries an Intent." .
+
+apix:ExchangeEvent a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "ExchangeEvent" ;
+    rdfs:comment "A lifecycle occurrence on an Exchange (was apfab:ExchangeEvent). The append-only events state is reduced from — materialized state is always rebuildable from these." .
+
+apix:containsEnvelope a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range apix:Envelope .
+apix:actor     a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range prov:Agent ;
+    rdfs:comment "WHO performed the move (was apfab:exchangeActor). Distinct from principal: a service agent acting under delegation is the actor, never the principal. The acting agent is never erased from provenance." .
+apix:principal a owl:ObjectProperty ; rdfs:domain apix:Exchange ; rdfs:range prov:Agent ;
+    rdfs:comment "ON WHOSE BEHALF (was apfab:exchangePrincipal). Equals actor unless delegated; the authorizing delegation travels by reference, never inline." .
+
+# ─── Authority tiers ────────────────────────────────────────────────────────
+# These three were REFERENCED by packages/provenance doc comments and DEFINED NOWHERE — the S1
+# firewall documented a vocabulary that did not exist. Defining them is the fix; deleting the comments
+# would have hidden the gap instead of closing it.
+
+apix:CommunicationDelivery a owl:Class ;
+    rdfs:subClassOf apix:ExchangeActivity ;
+    rdfs:label "CommunicationDelivery" ;
+    rdfs:comment "T0 — a communication exchange. Carries no execution tier and creates no task. The overwhelming majority of exchanges." .
+
+apix:IntentInvocation a owl:Class ;
+    rdfs:subClassOf apix:ExchangeActivity ;
+    rdfs:label "IntentInvocation" ;
+    rdfs:comment "T1 — an exchange expressing an Intent for the receiver to act on. Expressing an intent is not authority to fulfil it." .
+
+apix:OrchestratedTask a owl:Class ;
+    rdfs:subClassOf apix:ExchangeActivity ;
+    rdfs:label "OrchestratedTask" ;
+    rdfs:comment "T2 — an exchange bound to actual execution. Equivalent to apful:Task; the WorkflowInstance is LINKED from the Interaction, never a subclass of it." .
+
+# ─── Provenance edges: NOT redefined here ───────────────────────────────────
+# `usedDelegation`, `usedStatusEvidence` and `onBehalfOf` already exist as `apvr:` in
+# tbox/verification-receipt.ttl. My first pass called them "dangling" and was wrong: the TERMS were
+# fine, the doc comments in packages/provenance cited the wrong prefix (`apfab:`). Defining apix:
+# copies would have created exactly the two-names-one-concept problem this ADR removes. The comments
+# are fixed instead.

package/tbox/messaging.ttl

@@ -12,6 +12,7 @@
 # NOTE: apmsg:MessageEnvelope ≠ apful:Message (a fulfillment task message) — same word, different
 # layer; see docs/architecture/vocabulary-map.md.
 
+@prefix apix:  <https://agenticprimitives.dev/ns/interaction#> .
 @prefix apmsg: <https://agenticprimitives.dev/ns/messaging#> .
 @prefix aporg: <https://agenticprimitives.dev/ns/org#> .
 @prefix apsit: <https://agenticprimitives.dev/ns/situation#> .
@@ -51,10 +52,9 @@ apmsg:ChannelBoard a owl:Class ;
 
 # ─── 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:CommunicativeAct MOVED to apix:CommunicativeAct (ADR-0058). An act is interaction
+# semantics — what an agent is DOING — not a property of the delivery channel. `apmsg:` keeps
+# what is genuinely messaging: envelopes, inbox, folders, labels, unread, rules, retention.
 
 apmsg:Performative a owl:Class ;
     rdfs:subClassOf skos:Concept ;
@@ -62,15 +62,15 @@ apmsg:Performative a owl:Class ;
     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:domain apix:CommunicativeAct ; rdfs:range ap:Agent ;
     rdfs:label "performedBy" .
 
 apmsg:actAddressedTo a owl:ObjectProperty ;
-    rdfs:domain apmsg:CommunicativeAct ; rdfs:range ap:Agent ;
+    rdfs:domain apix:CommunicativeAct ; rdfs:range ap:Agent ;
     rdfs:label "actAddressedTo" .
 
 apmsg:inRespondsTo a owl:ObjectProperty ;
-    rdfs:domain apmsg:CommunicativeAct ; rdfs:range apmsg:MessageEnvelope ;
+    rdfs:domain apix:CommunicativeAct ; rdfs:range apmsg:MessageEnvelope ;
     rdfs:label "inRespondsTo" .
 
 apmsg:Discussion a owl:Class ;

package/tbox/fabric.ttl

@@ -1,59 +0,0 @@
-# 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." .