@agenticprimitives/ontology 0.1.0-alpha.2 → 1.0.0-alpha.10

package/tbox/constraints.ttl

@@ -0,0 +1,150 @@
+# T-box — constraint + assumption vocabulary (spine Layer 3).
+# Anoma CSP-shaped + ERC-7683 resolver-assumption pattern.
+# Spec 225 §11.5; D-38 + D-39 + D-43.
+# Owning runtime SHACL: packages/intent-marketplace/src/shapes/constraints.shacl.ttl.
+
+@prefix ap:     <https://agenticprimitives.dev/ns/core#> .
+@prefix apcst:  <https://agenticprimitives.dev/ns/constraint#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@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#> .
+
+apcst: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — constraint + assumption ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "First-class typed constraints (Anoma CSP-shape) + resolver-assumption set (ERC-7683 parallel). Spec 225 §11.5." .
+
+# ─── ConstraintSet classes ────────────────────────────────────────────
+
+apcst:ConstraintSet a owl:Class ;
+    rdfs:label "ConstraintSet" ;
+    rdfs:comment "A typed bag of Constraints (hard + soft) + per-field DisclosurePolicy. CSP-shaped. NOT freeform payload (D-38)." .
+
+apcst:Constraint a owl:Class ;
+    rdfs:label "Constraint" ;
+    rdfs:comment "A single typed constraint: variable + domain + source + rationale. Discriminated by domain.kind." .
+
+apcst:HardConstraint a owl:Class ;
+    rdfs:subClassOf apcst:Constraint ;
+    rdfs:label "HardConstraint" ;
+    rdfs:comment "Enforceable invariant; matchmaker MUST reject if violated." .
+
+apcst:SoftConstraint a owl:Class ;
+    rdfs:subClassOf apcst:Constraint ;
+    rdfs:label "SoftConstraint" ;
+    rdfs:comment "Scorer preference; contributes to composite score (per spec 239 §7.2)." .
+
+# ─── Constraint domain classes (CSP-shaped) ───────────────────────────
+
+apcst:ConstraintDomain a owl:Class ;
+    rdfs:label "ConstraintDomain" ;
+    rdfs:comment "Abstract CSP domain. Subclasses: EnumDomain, RangeDomain, SetDomain, PredicateDomain." .
+
+apcst:EnumDomain a owl:Class ;
+    rdfs:subClassOf apcst:ConstraintDomain ;
+    rdfs:label "EnumDomain" ;
+    rdfs:comment "Constraint domain over a fixed enumeration of allowed string values." .
+
+apcst:RangeDomain a owl:Class ;
+    rdfs:subClassOf apcst:ConstraintDomain ;
+    rdfs:label "RangeDomain" ;
+    rdfs:comment "Constraint domain over a numeric/temporal range [min, max] in a named unit." .
+
+apcst:SetDomain a owl:Class ;
+    rdfs:subClassOf apcst:ConstraintDomain ;
+    rdfs:label "SetDomain" ;
+    rdfs:comment "Constraint domain over an allowed-set (optionally with a denied-set)." .
+
+apcst:PredicateDomain a owl:Class ;
+    rdfs:subClassOf apcst:ConstraintDomain ;
+    rdfs:label "PredicateDomain" ;
+    rdfs:comment "Constraint domain expressed as a SHACL or JSONPath predicate body." .
+
+# ─── AssumptionSet classes (ERC-7683 parallel) ────────────────────────
+
+apcst:AssumptionSet a owl:Class ;
+    rdfs:label "AssumptionSet" ;
+    rdfs:comment "Resolver-asserted assumptions + risks + required validations. Solvers MUST validate before bidding. ERC-7683 pattern." .
+
+apcst:NamedAssumption a owl:Class ;
+    rdfs:label "NamedAssumption" ;
+    rdfs:comment "A specific resolver assumption: name + trustLevel + optional evidence ref." .
+
+apcst:ValidationRequirement a owl:Class ;
+    rdfs:label "ValidationRequirement" ;
+    rdfs:comment "Something that MUST be validated before commitment / payment / fulfillment. Links to Layer 14 (Validation)." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+apcst:variable a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "variable" ;
+    rdfs:comment "The CSP variable name (e.g. 'geo', 'requiredCredential', 'capacity')." .
+
+apcst:domain a owl:ObjectProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range apcst:ConstraintDomain ;
+    rdfs:label "domain" .
+
+apcst:source a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "source" ;
+    rdfs:comment "Constraint source provenance (D-43): 'user-asserted' | 'llm-inferred' | 'policy-imposed'. Inferred + sensitive constraints redactable before publication." .
+
+apcst:rationale a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "rationale" ;
+    rdfs:comment "Human-readable explanation (esp. for llm-inferred / policy-imposed constraints)." .
+
+apcst:strength a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "strength" ;
+    rdfs:comment "'hard' | 'soft' — discriminator for HardConstraint vs SoftConstraint subclassing." .
+
+apcst:enforcement a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "enforcement" ;
+    rdfs:comment "Where the constraint is enforced: 'pre-execution' | 'agreement' | 'ranking' (per AI-engagement-model semantic-caveats pattern)." .
+
+apcst:fieldDisclosure a owl:DatatypeProperty ;
+    rdfs:domain apcst:ConstraintSet ;
+    rdfs:range xsd:string ;
+    rdfs:label "fieldDisclosure" ;
+    rdfs:comment "JSON-encoded { fieldPath → VisibilityTier } map. Per-field DisclosurePolicy (D-42)." .
+
+apcst:resolverId a owl:DatatypeProperty ;
+    rdfs:domain apcst:AssumptionSet ;
+    rdfs:range xsd:string ;
+    rdfs:label "resolverId" ;
+    rdfs:comment "The Resolver agent's identifier (version-pinned)." .
+
+apcst:trustLevel a owl:DatatypeProperty ;
+    rdfs:domain apcst:NamedAssumption ;
+    rdfs:range xsd:string ;
+    rdfs:label "trustLevel" ;
+    rdfs:comment "'asserted' | 'verified' | 'oracle' | 'zkp'." .
+
+apcst:risk a owl:DatatypeProperty ;
+    rdfs:domain apcst:NamedAssumption ;
+    rdfs:range xsd:string ;
+    rdfs:label "risk" ;
+    rdfs:comment "Human-readable risk tag (e.g. 'inventory', 'sla', 'merchant-trust')." .
+
+apcst:evidenceRef a owl:ObjectProperty ;
+    rdfs:domain apcst:NamedAssumption ;
+    rdfs:range prov:Entity ;
+    rdfs:label "evidenceRef" ;
+    rdfs:comment "Optional pointer to a VC / attestation backing the assumption." .
+
+apcst:expiresAt a owl:DatatypeProperty ;
+    rdfs:domain apcst:NamedAssumption ;
+    rdfs:range xsd:dateTime ;
+    rdfs:label "expiresAt" ;
+    rdfs:comment "Assumption validity expiration. Downstream consumers MUST recheck if expired." .

package/tbox/content.ttl

@@ -0,0 +1,53 @@
+# T-box — generic verifiable-content substrate (spec 266). Names, resolves, and
+# verifies CONTENT that lives off-platform and is controlled by third-party rights
+# holders. NEUTRAL substrate — NO domain/faith/vertical vocabulary (ADR-0033 R4).
+#
+# FRBR-aligned: CanonicalLocus = Work (edition-independent coordinate, scheme-
+# anchored, never an Agent); CorpusManifest = Expression/Manifestation (issuer-
+# owned, committed); ContentDescriptor = Item (the deliverable leaf — points AT
+# off-chain text, NEVER contains it; ADR-0033 R3).
+
+@prefix apcnt: <https://agenticprimitives.dev/ns/content#> .
+@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#> .
+
+apcnt:CanonicalLocus a rdfs:Class ;
+    rdfs:label "CanonicalLocus" ;
+    rdfs:comment "FRBR Work. An edition-independent coordinate into a structured corpus (a passage address). Identified by a deterministic locusId computed from a normalized (scheme, path) reference. SCHEME-anchored: never registered, never an Agent, has no owner (ADR-0033)." .
+
+apcnt:CorpusManifest a rdfs:Class ;
+    rdfs:label "CorpusManifest" ;
+    rdfs:comment "FRBR Expression/Manifestation. A versioned body of renderings published by an issuer Smart Agent, committed by a Merkle corpusRoot + a signed manifestHash. Public anchor; the rendering text stays off-platform." .
+
+apcnt:ContentDescriptor a rdfs:Class ;
+    rdfs:label "ContentDescriptor" ;
+    rdfs:comment "FRBR Item. The deliverable trust leaf for one (corpus, locus): commitment + retrievalPointer + issuer signature + access policy. Points AT off-chain text; NEVER contains it (ADR-0033 R3). Trust = issuer signature, not platform claim (R5)." .
+
+apcnt:CitationAssertion a rdfs:Class ;
+    rdfs:label "CitationAssertion" ;
+    rdfs:comment "A provenance credential: a party cited a locus from a corpus, the rendering commitment matched, under a given entitlement. The AI-safe citation record (W3C VC 2.0 + PROV-O)." .
+
+apcnt:Entitlement a rdfs:Class ;
+    rdfs:label "Entitlement" ;
+    rdfs:comment "A credential asserting a subject Smart Agent may access a corpus under stated terms. Gates the resolve/retrieve path for licensed/private corpora; optional for public ones." .
+
+apcnt:locusOf a rdf:Property ; rdfs:domain apcnt:ContentDescriptor ; rdfs:range apcnt:CanonicalLocus ;
+    rdfs:comment "The CanonicalLocus (by locusId) this descriptor renders." .
+apcnt:renderedBy a rdf:Property ; rdfs:domain apcnt:ContentDescriptor ; rdfs:range apcnt:CorpusManifest ;
+    rdfs:comment "The CorpusManifest (by corpusRef) this descriptor belongs to." .
+apcnt:commitsTo a rdf:Property ; rdfs:domain apcnt:ContentDescriptor ;
+    rdfs:comment "keccak256 of the canonicalized off-chain rendering text. Binds the descriptor to a specific rendering WITHOUT revealing it." .
+apcnt:retrievalPointer a rdf:Property ; rdfs:domain apcnt:ContentDescriptor ;
+    rdfs:comment "A URI/locator for the off-chain rendering text. NEVER the text itself (ADR-0033 R3)." .
+apcnt:corpusRoot a rdf:Property ; rdfs:domain apcnt:CorpusManifest ;
+    rdfs:comment "Merkle root over the per-locus descriptor commitments of the corpus." .
+apcnt:issuedBy a rdf:Property ; rdfs:domain apcnt:CorpusManifest ; rdfs:range ap:CanonicalAgentId ;
+    rdfs:comment "The issuer Smart Agent (Address) that published + signed the corpus/descriptors." .
+apcnt:accessPolicy a rdf:Property ;
+    rdfs:comment "An apcnt:accessPolicy value (C-box codelist): public | licensed | private." .
+apcnt:proofPolicy a rdf:Property ;
+    rdfs:comment "An apcnt:proofPolicy value (C-box codelist): signature | merkle-inclusion | zk." .
+apcnt:citesLocus a rdf:Property ; rdfs:domain apcnt:CitationAssertion ; rdfs:range apcnt:CanonicalLocus .
+apcnt:underEntitlement a rdf:Property ; rdfs:domain apcnt:CitationAssertion ; rdfs:range apcnt:Entitlement .

package/tbox/fulfillment.ttl

@@ -0,0 +1,140 @@
+# T-box — fulfillment vocabulary (spine Layers 10–12).
+# A2A Task + Message + Artifact aligned; spec 244 + spec 245.
+# Spec 225 §11.5.
+# Owning runtime SHACL: packages/fulfillment/src/shapes/fulfillment.shacl.ttl.
+
+@prefix apful:  <https://agenticprimitives.dev/ns/fulfillment#> .
+@prefix apagr:  <https://agenticprimitives.dev/ns/agreement#> .
+@prefix appay:  <https://agenticprimitives.dev/ns/payment#> .
+@prefix apvc:   <https://agenticprimitives.dev/ns/credential#> .
+@prefix ap:     <https://agenticprimitives.dev/ns/core#> .
+@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#> .
+
+apful: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — fulfillment ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Layers 10–12 of the spine. FulfillmentCase + Task + Message + Artifact + HandoffPolicy + IntentTraceSpan." .
+
+# ─── Operational containers (Layer 10) ────────────────────────────────
+
+apful:FulfillmentCase a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "FulfillmentCase" ;
+    rdfs:comment "Operational container per-Agreement. Lifecycle: drafted → clarified → expressed → acknowledged → proposed → accepted → committed → in_progress → fulfilled → validated → archived. FLF-INV-01: lifecycle synced with AgreementRegistry status." .
+
+apful:FulfillmentTopology a owl:Class ;
+    rdfs:label "FulfillmentTopology" ;
+    rdfs:comment "Task composition discriminator: 'linear' | 'parallel' | 'dag'." .
+
+# ─── Tasks (Layer 11; A2A-canonical) ──────────────────────────────────
+
+apful:Task a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "Task" ;
+    rdfs:comment "Executable unit of work inside a FulfillmentCase. A2A state machine: submitted | working | completed | failed | canceled | input-required | rejected | auth-required. Spec 245 + spec 244 §5." .
+
+apful:HandoffPolicy a owl:Class ;
+    rdfs:label "HandoffPolicy" ;
+    rdfs:comment "First-class authority binding for cross-agent handoffs. allowedTargets + allowedClasses + requiresUserApproval + preservePrivacyTier + allowedScopes + maxHopCount. FLF-6." .
+
+# ─── Communication vs deliverables (Layer 12 separation) ─────────────
+
+apful:Message a owl:Class ;
+    rdfs:label "Message" ;
+    rdfs:comment "A2A-style communication artifact. Bodies in JV per D-46.1. A2A-INV-04 + FLF-INV-04: NEVER in public registry." .
+
+apful:Artifact a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Artifact" ;
+    rdfs:comment "A2A-style deliverable. Hash-anchored; body in vault. FLF-INV-05: bodies vault-resident; only hashes in registry. Promotable to EvidenceCredential." .
+
+apful:ArtifactKind a owl:Class ;
+    rdfs:label "ArtifactKind" ;
+    rdfs:comment "Kind discriminator: document | signed-tx | validation-report | receipt | summary | proof | generated-file | attestation | custom." .
+
+# ─── Provenance tree (cross-cutting, Decision 7 of ADR-0024) ─────────
+
+apful:IntentTraceSpan a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "IntentTraceSpan" ;
+    rdfs:comment "Typed trace span emitted on layer-cross transitions. Parent/child tree forms case audit (FLF-INV-15). spanType: parse | clarify | resolve | match | handoff | tool_call | wallet_simulation | user_approval | execution | validation | task_state_change | lifecycle_transition." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+apful:hasParentAgreement a owl:ObjectProperty ;
+    rdfs:domain apful:FulfillmentCase ;
+    rdfs:range apagr:AgreementCommitment ;
+    rdfs:label "hasParentAgreement" .
+
+apful:topology a owl:DatatypeProperty ;
+    rdfs:domain apful:FulfillmentCase ;
+    rdfs:range xsd:string ;
+    rdfs:label "topology" .
+
+apful:taskState a owl:DatatypeProperty ;
+    rdfs:domain apful:Task ;
+    rdfs:range xsd:string ;
+    rdfs:label "taskState" ;
+    rdfs:comment "A2A canonical states. FLF-INV-13: no backward transitions except input-required→working and auth-required→submitted." .
+
+apful:assignee a owl:ObjectProperty ;
+    rdfs:domain apful:Task ;
+    rdfs:range ap:Agent ;
+    rdfs:label "assignee" .
+
+apful:assigneeKind a owl:DatatypeProperty ;
+    rdfs:domain apful:Task ;
+    rdfs:range xsd:string ;
+    rdfs:label "assigneeKind" ;
+    rdfs:comment "'person' | 'org' | 'agent' | 'oracle' | 'hybrid'." .
+
+apful:permissionGrantRef a owl:DatatypeProperty ;
+    rdfs:domain apful:Task ;
+    rdfs:range xsd:string ;
+    rdfs:label "permissionGrantRef" ;
+    rdfs:comment "FLF-INV-02: every Task has an authorizing delegation reference." .
+
+apful:paymentMandateRef a owl:ObjectProperty ;
+    rdfs:domain apful:Task ;
+    rdfs:range appay:PaymentMandate ;
+    rdfs:label "paymentMandateRef" ;
+    rdfs:comment "FLF-INV-11: payment mandate bound to this task via PMT-3 context binding (taskId)." .
+
+apful:sender a owl:ObjectProperty ;
+    rdfs:domain apful:Message ;
+    rdfs:range ap:Agent ;
+    rdfs:label "sender" .
+
+apful:bodyRef a owl:DatatypeProperty ;
+    rdfs:domain apful:Message ;
+    rdfs:range xsd:anyURI ;
+    rdfs:label "bodyRef" .
+
+apful:bodyHash a owl:DatatypeProperty ;
+    rdfs:domain apful:Artifact ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "bodyHash" .
+
+apful:artifactKind a owl:DatatypeProperty ;
+    rdfs:domain apful:Artifact ;
+    rdfs:range xsd:string ;
+    rdfs:label "artifactKind" .
+
+apful:disclosurePolicy a owl:DatatypeProperty ;
+    rdfs:domain apful:Artifact ;
+    rdfs:range xsd:string ;
+    rdfs:label "disclosurePolicy" ;
+    rdfs:comment "Per-field DisclosurePolicy (D-42). JSON-encoded." .
+
+apful:spanType a owl:DatatypeProperty ;
+    rdfs:domain apful:IntentTraceSpan ;
+    rdfs:range xsd:string ;
+    rdfs:label "spanType" .
+
+apful:parentSpan a owl:ObjectProperty ;
+    rdfs:domain apful:IntentTraceSpan ;
+    rdfs:range apful:IntentTraceSpan ;
+    rdfs:label "parentSpan" .

package/tbox/geo.ttl

@@ -0,0 +1,28 @@
+# T-box — generic geo substrate (spec 251). The geo FEATURE is a public on-chain
+# definition (GeoFeatureRegistry; geometry hash + roots + coarse bbox, exact GeoJSON off
+# chain). The geo CLAIM (agent↔feature association) is an off-chain vault credential.
+# NEUTRAL public geography only — never operational/sensitivity data on chain; no on-chain
+# skill↔geo mapping.
+
+@prefix apg:  <https://agenticprimitives.dev/ns/geo#> .
+@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#> .
+
+apg:GeoFeature a rdfs:Class ;
+    rdfs:label "GeoFeature" ;
+    rdfs:comment "A versioned, PUBLIC, generic geographic feature. Anchored on chain by GeoFeatureRegistry (geometryHash + coverage/source roots + coarse bbox; exact geometry off chain via metadataURI). Neutral public geography only." .
+
+apg:GeoClaim a rdfs:Class ;
+    rdfs:label "GeoClaim" ;
+    rdfs:comment "An OFF-CHAIN verifiable credential asserting a subject Smart Agent's relation to an apg:GeoFeature (pinned featureId+version). Private vault credential; the association is NEVER on chain (it would leak operational data)." .
+
+apg:featureId a rdf:Property ; rdfs:domain apg:GeoClaim ; rdfs:range apg:GeoFeature ;
+    rdfs:comment "The on-chain (featureId, version) this claim credential references." .
+apg:hasGeoKind a rdf:Property ; rdfs:domain apg:GeoFeature ;
+    rdfs:comment "An apg:geoKind value (C-box codelist; on-chain-bound)." .
+apg:geometryHash a rdf:Property ; rdfs:domain apg:GeoFeature ;
+    rdfs:comment "keccak256 of the canonical GeoJSON (which lives off chain)." .
+apg:claimSubject a rdf:Property ; rdfs:domain apg:GeoClaim ; rdfs:range ap:CanonicalAgentId .
+apg:claimRelation a rdf:Property ; rdfs:domain apg:GeoClaim ;
+    rdfs:comment "An apg:geoRelation value (C-box codelist)." .

package/tbox/intents.ttl

@@ -0,0 +1,137 @@
+# T-box — intent vocabulary (spine Layer 2 + 7).
+# Anoma CSP alignment + ERC-7521 + UFO-C/ValueFlows.
+# Spec 225 §11.5 (substrate spine vocabulary scope expansion).
+# Owning runtime SHACL shapes: packages/intent-marketplace/src/shapes/ (PD-19).
+
+@prefix ap:     <https://agenticprimitives.dev/ns/core#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@prefix apcst:  <https://agenticprimitives.dev/ns/constraint#> .
+@prefix apres:  <https://agenticprimitives.dev/ns/resolution#> .
+@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#> .
+@prefix vf:     <https://w3id.org/valueflows#> .
+@prefix ufo-c:  <http://purl.org/nemo/ufo-c#> .
+
+apint: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — intent ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "T-box for the intent-marketplace substrate. Anoma CSP-aligned + ERC-7521 + ERC-7683 + UFO-C/ValueFlows. Spec 225 §11.5." .
+
+# ─── Intent + lifecycle classes ────────────────────────────────────────
+
+apint:Desire a owl:Class ;
+    rdfs:subClassOf ufo-c:Intention ;
+    rdfs:label "Desire" ;
+    rdfs:comment "An actor's latent want — internal BDI state. NOT addressable; NOT a commitment. Becomes actionable only when committed to an Intent. Layer 1 of the spine; out-of-scope for W1 substrate (engagement plane only)." .
+
+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." .
+
+apint:ReceiveIntent 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." .
+
+apint:GiveIntent a owl:Class ;
+    rdfs:subClassOf apint:Intent ;
+    rdfs:label "GiveIntent" ;
+    rdfs:comment "Intent with direction='give': actor wants to be the provider of the object." .
+
+apint:MatchInitiation a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "MatchInitiation" ;
+    rdfs:comment "A broker's act of initiating a match between two compatible Intents. Distinct from IntentMatch (the accepted relation). Smart-agent SS-03 invariant." .
+
+apint:IntentMatch a owl:Class ;
+    rdfs:subClassOf prov:Activity ;
+    rdfs:label "IntentMatch" ;
+    rdfs:comment "An accepted compatibility relation between two Intents. Layer 7 of the spine. Smart-agent SS-02 invariant: both parties signal acceptance before promotion." .
+
+apint:Commitment a owl:Class ;
+    rdfs:subClassOf vf:Commitment ;
+    rdfs:label "Commitment" ;
+    rdfs:comment "A dual-signed envelope produced from an IntentMatch; the input to the Agreement layer (spec 241). Layer 7→8 bridge." .
+
+apint:Proposal a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Proposal" ;
+    rdfs:comment "A signed candidate solution to an expressed Intent. UniswapX-Order / CoW-Order-book-entry shape. Layer 5 of the spine. Pool Lane (W2)." .
+
+apint:SolverBid a owl:Class ;
+    rdfs:subClassOf apint:Proposal ;
+    rdfs:label "SolverBid" ;
+    rdfs:comment "A solver's competitive bid + match score + reason + predicted outcome + cost estimate + trust certificate. Layer 6 of the spine. CoW / UniswapX / ERC-7683 solver competition. Pool/Proposal Lane (W2)." .
+
+# ─── Intent properties ────────────────────────────────────────────────
+
+apint:direction a owl:DatatypeProperty ;
+    rdfs:domain apint:Intent ;
+    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." .
+
+apint:object a owl:ObjectProperty ;
+    rdfs:domain apint:Intent ;
+    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." .
+
+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)." .
+
+apint:expressedBy a owl:ObjectProperty ;
+    rdfs:domain apint:Intent ;
+    rdfs:range ap:Agent ;
+    rdfs:label "expressedBy" ;
+    rdfs:comment "The Agent SA address that signed the Intent." .
+
+apint:addressedTo a owl:ObjectProperty ;
+    rdfs:domain apint:Intent ;
+    rdfs:range ap:Agent ;
+    rdfs:label "addressedTo" ;
+    rdfs:comment "The intended recipients/audience of the Intent (broker, counterparty class, etc.)." .
+
+apint:hasConstraintSet a owl:ObjectProperty ;
+    rdfs:domain apint:Intent ;
+    rdfs:range apcst:ConstraintSet ;
+    rdfs:label "hasConstraintSet" ;
+    rdfs:comment "Anoma-CSP-shaped constraints. First-class typed structure, NOT freeform payload (D-38)." .
+
+apint:hasAssumptionSet a owl:ObjectProperty ;
+    rdfs:domain apint:Intent ;
+    rdfs:range apcst:AssumptionSet ;
+    rdfs:label "hasAssumptionSet" ;
+    rdfs:comment "Resolver-asserted assumptions (ERC-7683 pattern). Solvers MUST validate before bidding." .
+
+apint:expectedOutcome a owl:ObjectProperty ;
+    rdfs:domain apint:Intent ;
+    rdfs:range prov:Entity ;
+    rdfs:label "expectedOutcome" ;
+    rdfs:comment "What success looks like — referenced when constructing OutcomeCredential at Layer 13." .
+
+apint:visibility a owl:DatatypeProperty ;
+    rdfs:domain apint:Intent ;
+    rdfs:range xsd:string ;
+    rdfs:label "visibility" ;
+    rdfs:comment "Five-tier visibility: Public | PublicCoarse | PrivateCommitment | PrivateZK | OffchainOnly. Per privacy doc §4 Layer 2." .
+
+apint:status a owl:DatatypeProperty ;
+    rdfs:domain apint:Intent ;
+    rdfs:range xsd:string ;
+    rdfs:label "status" ;
+    rdfs:comment "Intent state-machine status (per spec 239 §5)." .
+
+apint:matchedWith a owl:ObjectProperty ;
+    rdfs:domain apint:IntentMatch ;
+    rdfs:range apint:Intent ;
+    rdfs:label "matchedWith" ;
+    rdfs:comment "An IntentMatch links exactly two compatible Intents (cardinality 2; enforced by SHACL in intent-marketplace)." .

package/tbox/payment.ttl

@@ -0,0 +1,124 @@
+# T-box — payment vocabulary (spine Layer 9b).
+# x402 + AP2 + ERC-4337 paymaster aligned; spec 243.
+# Spec 225 §11.5.
+# Owning runtime SHACL: packages/payments/src/shapes/payment.shacl.ttl.
+
+@prefix appay:  <https://agenticprimitives.dev/ns/payment#> .
+@prefix apvc:   <https://agenticprimitives.dev/ns/credential#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@prefix apagr:  <https://agenticprimitives.dev/ns/agreement#> .
+@prefix ap:     <https://agenticprimitives.dev/ns/core#> .
+@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#> .
+
+appay: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — payment ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Layer 9b of the spine. PaymentMandate + ContextBinding + MandateConstraints + Mode discrimination + PaymentReceipt." .
+
+# ─── Core classes ─────────────────────────────────────────────────────
+
+appay:PaymentMandate a owl:Class ;
+    rdfs:label "PaymentMandate" ;
+    rdfs:comment "Signed, scoped, context-bound payment authority. Distinct from PermissionGrant (which authorizes ACTIONS) and Agreement (which commits PARTIES). AP2 + x402 + ERC-4337 paymaster aligned." .
+
+appay:OpenPaymentMandate a owl:Class ;
+    rdfs:subClassOf appay:PaymentMandate ;
+    rdfs:label "OpenPaymentMandate" ;
+    rdfs:comment "Autonomous-execution-allowed mandate. Refuses final-charge (PMT-10.1); closed mandate required for terminal transactions." .
+
+appay:ClosedPaymentMandate a owl:Class ;
+    rdfs:subClassOf appay:PaymentMandate ;
+    rdfs:label "ClosedPaymentMandate" ;
+    rdfs:comment "One-shot mandate frozen to a specific target + amount. PMT-INV-14: maxRedemptions = 1 always." .
+
+appay:PaymentReceipt a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "PaymentReceipt" ;
+    rdfs:comment "Immutable VC issued by rail executor on successful redemption. Asserted to AttestationRegistry; PMT-INV-11: no revoke entrypoint." .
+
+appay:MandateConstraints a owl:Class ;
+    rdfs:label "MandateConstraints" ;
+    rdfs:comment "AP2-style aggregate scope: maxAggregateAmount, frequency, categories, geoFence, timeOfDay. Orthogonal to per-redemption amountPolicy." .
+
+appay:ContextBinding a owl:Class ;
+    rdfs:label "ContextBinding" ;
+    rdfs:comment "Hard substrate invariant (PMT-3): payment signatures bind to intentId / taskId / agreementCommitment / artifactHash / resource. PMT-INV-01: at least one MUST be populated." .
+
+appay:PaymentRail a owl:Class ;
+    rdfs:label "PaymentRail" ;
+    rdfs:comment "Rail discriminator: x402 | wallet | sponsored-userop | escrow (W2) | invoice (W2) | confidential-* (W2)." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+appay:payer a owl:ObjectProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range ap:Agent ;
+    rdfs:label "payer" .
+
+appay:payee a owl:ObjectProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range ap:Agent ;
+    rdfs:label "payee" .
+
+appay:granter a owl:ObjectProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range ap:Agent ;
+    rdfs:label "granter" ;
+    rdfs:comment "The SA that signed the mandate (== payer for direct; delegator for delegated)." .
+
+appay:rail a owl:DatatypeProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range xsd:string ;
+    rdfs:label "rail" ;
+    rdfs:comment "Rail name. PMT-INV-09: x402-rail requires contextBinding.resource populated." .
+
+appay:mode a owl:DatatypeProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range xsd:string ;
+    rdfs:label "mode" ;
+    rdfs:comment "'open' | 'closed'. AP2-aligned. PMT-10.1: open refuses final-charge." .
+
+appay:requiresClosedMandateForFinalCharge a owl:DatatypeProperty ;
+    rdfs:domain appay:OpenPaymentMandate ;
+    rdfs:range xsd:boolean ;
+    rdfs:label "requiresClosedMandateForFinalCharge" ;
+    rdfs:comment "Default true. Refuses final-charge unless a closed mandate is presented." .
+
+appay:contextBindingIntent a owl:ObjectProperty ;
+    rdfs:domain appay:ContextBinding ;
+    rdfs:range apint:Intent ;
+    rdfs:label "contextBindingIntent" .
+
+appay:contextBindingAgreement a owl:ObjectProperty ;
+    rdfs:domain appay:ContextBinding ;
+    rdfs:range apagr:AgreementCommitment ;
+    rdfs:label "contextBindingAgreement" .
+
+appay:chain a owl:DatatypeProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range xsd:integer ;
+    rdfs:label "chain" ;
+    rdfs:comment "Chain ID. PMT-INV-03: redemption only on this chain." .
+
+appay:maxAggregateAmount a owl:DatatypeProperty ;
+    rdfs:domain appay:MandateConstraints ;
+    rdfs:range xsd:decimal ;
+    rdfs:label "maxAggregateAmount" .
+
+appay:nonce a owl:DatatypeProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range xsd:integer ;
+    rdfs:label "nonce" .
+
+appay:maxRedemptions a owl:DatatypeProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range xsd:integer ;
+    rdfs:label "maxRedemptions" ;
+    rdfs:comment "Default 1 (one-shot). For closed mandates: PMT-INV-14 always 1." .
+
+appay:expiresAt a owl:DatatypeProperty ;
+    rdfs:domain appay:PaymentMandate ;
+    rdfs:range xsd:dateTime ;
+    rdfs:label "expiresAt" .