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

package/tbox/interaction.ttl

@@ -0,0 +1,297 @@
+# 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." .
+apix:PaymentReceipt         a owl:Class ; rdfs:subClassOf apix:ExecutionReceipt ; rdfs:label "PaymentReceipt" ;
+    rdfs:comment "A transfer of value OCCURRED: this payer, this payee, this asset, this amount, this transaction (spec 360). NOT that it was owed, NOT that it was accepted, NOT that any obligation is now discharged — a receipt says the money moved and nothing about why. Held by BOTH parties: the payer's copy and the payee's are the same fact, delivered twice, which is what lets either of them account for it without asking the other." .
+
+apix:receiptPayer  a owl:ObjectProperty ; rdfs:domain apix:PaymentReceipt ; rdfs:range prov:Agent ;
+    rdfs:label "receiptPayer" ; rdfs:comment "The agent whose funds moved — the mandate's delegator, never the person who typed the sentence." .
+apix:receiptPayee  a owl:ObjectProperty ; rdfs:domain apix:PaymentReceipt ; rdfs:range prov:Agent ;
+    rdfs:label "receiptPayee" ; rdfs:comment "The agent the funds reached. Pinned to the party named in the authorizing step, never a recipient chosen after the fact (spec 360 §1)." .
+apix:receiptAsset  a owl:DatatypeProperty ; rdfs:domain apix:PaymentReceipt ; rdfs:label "receiptAsset" ;
+    rdfs:comment "The asset contract the transfer moved." .
+apix:receiptAmount a owl:DatatypeProperty ; rdfs:domain apix:PaymentReceipt ; rdfs:label "receiptAmount" ;
+    rdfs:comment "The amount in the asset's own base units — never a rendered decimal, which loses the unit." .
+apix:receiptTx     a owl:DatatypeProperty ; rdfs:domain apix:PaymentReceipt ; rdfs:label "receiptTx" ;
+    rdfs:comment "The transaction that settled it — what makes this receipt checkable against the chain rather than believed." .
+
+# ─── 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

@@ -0,0 +1,244 @@
+# 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 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#> .
+@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 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 ;
+    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 apix:CommunicativeAct ; rdfs:range ap:Agent ;
+    rdfs:label "performedBy" .
+
+apmsg:actAddressedTo a owl:ObjectProperty ;
+    rdfs:domain apix:CommunicativeAct ; rdfs:range ap:Agent ;
+    rdfs:label "actAddressedTo" .
+
+apmsg:inRespondsTo a owl:ObjectProperty ;
+    rdfs:domain apix: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. Carries exactly one apmsg:participationPolicy." .
+
+apmsg:MessageThread a owl:Class ;
+    rdfs:subClassOf apmsg:Discussion ;
+    rdfs:label "MessageThread" ;
+    rdfs:comment "Reply chain rooted at a message/exchange." .
+
+# ─── Topic participation (open vs restricted) ─────────────────────────
+# LANGUAGE RULE: a person with an aporg:OrganizationMembership is a MEMBER of the org;
+# a person who may dialog in a specific DiscussionTopic is a PARTICIPANT of that topic.
+# OPEN topics: every org member is automatically a participant — participation is DERIVED
+# from OrganizationMembership at read time and MUST NOT be asserted or stored per topic
+# (same doctrine as aporg:memberOf). RESTRICTED topics: participation is ASSERTED —
+# DiscussionInvitation (proposal) → acceptance → DiscussionParticipation (situation)
+# carrying a discussion-scoped aporg:RoleAssignment.
+
+apmsg:participationPolicy a owl:ObjectProperty ;
+    rdfs:domain apmsg:DiscussionTopic ; rdfs:range skos:Concept ;
+    rdfs:label "participationPolicy" ;
+    rdfs:comment "apmsg:openParticipation (all org members participate, derived) | apmsg:restrictedParticipation (invite-only, asserted DiscussionParticipation). Orthogonal to discussionStatus (open/closed/archived lifecycle)." .
+
+apmsg:DiscussionParticipation a owl:Class ;
+    rdfs:subClassOf apsit:Situation ;
+    rdfs:label "DiscussionParticipation" ;
+    rdfs:comment "A person's ASSERTED participation in a RESTRICTED DiscussionTopic: exactly one participantAgent + one inDiscussionTopic, created by accepting a DiscussionInvitation. Never asserted for OPEN topics (there it is derived from aporg:OrganizationMembership). Carries a discussion-scoped aporg:RoleAssignment (facilitator | contributor)." .
+
+apmsg:participantAgent a owl:ObjectProperty ;
+    rdfs:domain apmsg:DiscussionParticipation ; rdfs:range ap:Agent ;
+    rdfs:label "participantAgent" .
+
+apmsg:inDiscussionTopic a owl:ObjectProperty ;
+    rdfs:domain apmsg:DiscussionParticipation ; rdfs:range apmsg:DiscussionTopic ;
+    rdfs:label "inDiscussionTopic" .
+
+apmsg:participationRoleAssignment a owl:ObjectProperty ;
+    rdfs:domain apmsg:DiscussionParticipation ; rdfs:range aporg:RoleAssignment ;
+    rdfs:label "participationRoleAssignment" ;
+    rdfs:comment "The discussion-scoped RoleAssignment (scope 'discussion', scopeRef = the topic). Like every RoleAssignment: declarative — materialized by Delegations, supported by Entitlements; never itself authority." .
+
+apmsg:DiscussionInvitation a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "DiscussionInvitation" ;
+    rdfs:comment "Directed proposal facilitator→agent to participate in a RESTRICTED DiscussionTopic (mirror of aporg:MembershipInvitation at topic scope). Not a participation — acceptance creates the DiscussionParticipation." .
+
+apmsg:invitedAgent a owl:ObjectProperty ;
+    rdfs:domain apmsg:DiscussionInvitation ; rdfs:range ap:Agent ;
+    rdfs:label "invitedAgent" .
+
+apmsg:invitationTopic a owl:ObjectProperty ;
+    rdfs:domain apmsg:DiscussionInvitation ; rdfs:range apmsg:DiscussionTopic ;
+    rdfs:label "invitationTopic" .
+
+apmsg:invitedBy a owl:ObjectProperty ;
+    rdfs:domain apmsg:DiscussionInvitation ; rdfs:range ap:Agent ;
+    rdfs:label "invitedBy" ;
+    rdfs:comment "The facilitator (or org custodian) who issued the invitation." .
+
+apmsg:invitationStatus a owl:DatatypeProperty ;
+    rdfs:domain apmsg:DiscussionInvitation ; rdfs:range xsd:string ;
+    rdfs:label "invitationStatus" ;
+    rdfs:comment "Concept from apmsg:discussionInvitationStatusScheme: invited | accepted | declined | revoked." .
+
+# ─── Org-assistant participation + acting-agent provenance (spec 327; 318 §8.1) ──
+# The org's OWN agent posting in its topics is the Organization SA being agentic — the principal
+# itself (318 §8.1/§8.8), never a Service participant and never a "bot account". Participant bots
+# (distinct Service SAs, admission delegations — 318 §8.2–8.8 / C4) get their OWN classes at the
+# fabric cutover; these two terms are deliberately narrower and compose with them.
+
+apmsg:actingAgent a owl:ObjectProperty ;
+    rdfs:domain apmsg:MessageEnvelope ; rdfs:range ap:Agent ;
+    rdfs:label "actingAgent" ;
+    rdfs:comment "spec 324 §9 acting-agent provenance on a board entry: WHO performed the authoring move when it was not a human session — for org-assistant posts, the org SA itself. Absent ⇒ human-session authored. Never erased (prov: alignment: the acting move is attributable, not anonymous). Mirrors fabric ExchangeRecordV1.actor, which absorbs it at the 316 cutover." .
+
+apmsg:topicAssistantPolicy a owl:ObjectProperty ;
+    rdfs:domain apmsg:DiscussionTopic ; rdfs:range skos:Concept ;
+    rdfs:label "topicAssistantPolicy" ;
+    rdfs:comment "Presence ⇔ the org's own agent participates in this DiscussionTopic (steward-enabled, spec 327). apmsg:assistantOnMention (reply only to @-mentions of the org) | apmsg:assistantOnAllPosts (reply to every member post). Orthogonal to participationPolicy — enablement is a steward act on the topic, never a participation assertion." .
+
+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." .
+
+# ─── Routed consultation (spec 329 — org assistant member routing) ────
+# ARTIFACTS only, per this file's rule: the ConsultAnswer (a member agent's durable, structured
+# answer) gets a class; pending-routing rings and candidate rankings are PROJECTIONS and get NONE.
+# The routing decision itself is described by apint:ConsultationIntent (tbox/intents.ttl); the
+# synthesized reply's provenance reuses PROV-O directly (prov:wasDerivedFrom each contributing
+# ConsultAnswer, prov:wasAttributedTo) — no parallel terms are minted (house rule).
+# Wire binding: `ap.consult-answer.v1` ↔ apmsg:ConsultAnswer (TS mirror: fabric ConsultAnswerV1).
+
+apmsg:ConsultAnswer a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "ConsultAnswer" ;
+    rdfs:comment "A member agent's structured answer Artifact to a ConsultationIntent (spec 329 §3.2). Durable artifact in the org's vault; agent-authored (apmsg:actor = member SA). Carries exactly one of an answer or an explicit decline (SHACL: answered xor declined)." .
+
+apmsg:consultedAgent a owl:ObjectProperty ;
+    rdfs:domain apmsg:MessageEnvelope ; rdfs:range ap:Agent ;
+    rdfs:label "consultedAgent" ;
+    rdfs:comment "Synthesized-reply attribution: an agent consulted for this reply (PROV-aligned; pairs with prov:wasDerivedFrom pointing at the contributing apmsg:ConsultAnswer records). Attribution only — never authority." .
+
+apmsg:answerText a owl:DatatypeProperty ;
+    rdfs:domain apmsg:ConsultAnswer ; rdfs:range xsd:string ;
+    rdfs:label "answerText" ;
+    rdfs:comment "The member agent's answer text. Present iff the consult was ANSWERED (xor apmsg:declined — ConsultAnswerShape). The artifact body's integrity hash reuses apful:bodyHash (the answer rides the a2a task Artifact)." .
+
+apmsg:declined a owl:DatatypeProperty ;
+    rdfs:domain apmsg:ConsultAnswer ; rdfs:range xsd:boolean ;
+    rdfs:label "declined" ;
+    rdfs:comment "True iff the member's agent explicitly declined to answer (spec 329 §3.2 — the playbook's decline path). Present (true) xor apmsg:answerText; an optional free-text reason rides apmsg:declineReason." .
+
+apmsg:declineReason a owl:DatatypeProperty ;
+    rdfs:domain apmsg:ConsultAnswer ; rdfs:range xsd:string ;
+    rdfs:label "declineReason" ;
+    rdfs:comment "Optional member-agent-supplied reason accompanying a decline." .
+
+# ─── 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)." .
+
+aporg:consultable a owl:DatatypeProperty ;
+    rdfs:domain aporg:DirectoryListing ; rdfs:range xsd:boolean ;
+    rdfs:label "consultable" ;
+    rdfs:comment "Member-asserted, org-scoped routing HINT (spec 329 §2.2). The authority is the consultability delegation; this property only surfaces eligibility. Absent ⇒ false. Flag without delegation ⇒ not consultable (fail-closed); delegation without flag ⇒ not surfaced to routing." .