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

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" .

package/tbox/resolution.ttl

@@ -0,0 +1,108 @@
+# T-box — resolution + ResolutionReceipt vocabulary (spine Layer 4; skeleton W1).
+# ERC-7683 Resolver pattern; W2 grows the full surface.
+# RR-INV-01..05 enforced by intent-marketplace + intent-resolver runtime SHACL.
+
+@prefix apres:  <https://agenticprimitives.dev/ns/resolution#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@prefix apcst:  <https://agenticprimitives.dev/ns/constraint#> .
+@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#> .
+
+apres: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — resolution ontology" ;
+    owl:versionInfo "0.1.0-skeleton" ;
+    rdfs:comment "Layer 4 of the spine. W1 ships skeleton (types + PassThroughResolver); full vocabulary lands W2 when resolver implementations ship." .
+
+# ─── Resolver classes ─────────────────────────────────────────────────
+
+apres:Resolver a owl:Class ;
+    rdfs:subClassOf ap:Agent ;
+    rdfs:label "Resolver" ;
+    rdfs:comment "An Agent that performs Intent resolution — translates opaque expressed Intent → ResolvedOrder. ERC-7683 Resolver-contract parallel." .
+
+apres:ResolvedOrder a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "ResolvedOrder" ;
+    rdfs:comment "Normalized executable form of an Intent. Layer 4 output. Bridges from CSP-shaped Intent to Solver-fillable Order (Layer 5+6)." .
+
+apres:ResolutionReceipt a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "ResolutionReceipt" ;
+    rdfs:comment "Provenance + invariant record for a resolution: model + version + prompt hash + tool calls + confidence + policyChecks + requiresUserConfirmation. Authority-gating per RR-INV-01..05. NOT itself an authority object — provenance only." .
+
+apres:PolicyCheckResult a owl:Class ;
+    rdfs:label "PolicyCheckResult" ;
+    rdfs:comment "A single policy check + pass/fail + rationale; recorded in a ResolutionReceipt." .
+
+apres:ToolCallTrace a owl:Class ;
+    rdfs:label "ToolCallTrace" ;
+    rdfs:comment "An MCP tool call invocation captured for resolution provenance (toolName + inputHash + outputHash + durationMs)." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+apres:resolvedFrom a owl:ObjectProperty ;
+    rdfs:domain apres:ResolvedOrder ;
+    rdfs:range apint:Intent ;
+    rdfs:label "resolvedFrom" .
+
+apres:canonicalConstraints a owl:ObjectProperty ;
+    rdfs:domain apres:ResolvedOrder ;
+    rdfs:range apcst:ConstraintSet ;
+    rdfs:label "canonicalConstraints" .
+
+apres:expandedAssumptions a owl:ObjectProperty ;
+    rdfs:domain apres:ResolvedOrder ;
+    rdfs:range apcst:AssumptionSet ;
+    rdfs:label "expandedAssumptions" .
+
+apres:resolverAgent a owl:ObjectProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range apres:Resolver ;
+    rdfs:label "resolverAgent" .
+
+apres:resolverVersion a owl:DatatypeProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range xsd:string ;
+    rdfs:label "resolverVersion" .
+
+apres:modelName a owl:DatatypeProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range xsd:string ;
+    rdfs:label "modelName" ;
+    rdfs:comment "LLM model name when present (e.g. 'claude-opus-4-7', 'gpt-4.1'). Null for PassThrough." .
+
+apres:confidence a owl:DatatypeProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range xsd:decimal ;
+    rdfs:label "confidence" ;
+    rdfs:comment "0..1. Substrate threshold determines requiresUserConfirmation." .
+
+apres:requiresUserConfirmation a owl:DatatypeProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range xsd:boolean ;
+    rdfs:label "requiresUserConfirmation" ;
+    rdfs:comment "Authority gate (RR-INV-01). TRUE blocks downstream layers until user signs the canonical Intent + ConstraintSet bytes." .
+
+apres:userConfirmedAt a owl:DatatypeProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range xsd:dateTime ;
+    rdfs:label "userConfirmedAt" .
+
+apres:policyVersion a owl:DatatypeProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range xsd:string ;
+    rdfs:label "policyVersion" ;
+    rdfs:comment "Hash of the resolver policy at resolution time. Audit replay." .
+
+apres:hasPolicyCheck a owl:ObjectProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range apres:PolicyCheckResult ;
+    rdfs:label "hasPolicyCheck" .
+
+apres:hasToolCall a owl:ObjectProperty ;
+    rdfs:domain apres:ResolutionReceipt ;
+    rdfs:range apres:ToolCallTrace ;
+    rdfs:label "hasToolCall" .

package/tbox/skills.ttl

@@ -0,0 +1,30 @@
+# T-box — generic skills substrate (spec 251). Class + property definitions for the
+# definition-vs-claim model. The DEFINITION is a public on-chain anchor
+# (SkillDefinitionRegistry); the CLAIM is an off-chain vault credential pointing to a
+# definition. NEUTRAL substrate — no domain/faith vocabulary.
+
+@prefix aps:  <https://agenticprimitives.dev/ns/skill#> .
+@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#> .
+
+aps:Skill a rdfs:Class ;
+    rdfs:label "Skill" ;
+    rdfs:comment "A versioned, PUBLIC, generic capability definition. Anchored on chain by SkillDefinitionRegistry (id, version, steward, kind, conceptHash, ontologyMerkleRoot, metadataURI, validity)." .
+
+aps:SkillClaim a rdfs:Class ;
+    rdfs:label "SkillClaim" ;
+    rdfs:comment "An OFF-CHAIN verifiable credential asserting a subject Smart Agent's relation to an aps:Skill (pinned definitionId+version). Lives in the subject's private vault; never an on-chain row." .
+
+aps:definitionId a rdf:Property ; rdfs:domain aps:SkillClaim ; rdfs:range aps:Skill ;
+    rdfs:comment "The on-chain (skillId, version) this claim credential references." .
+aps:hasSkillKind a rdf:Property ; rdfs:domain aps:Skill ;
+    rdfs:comment "An aps:skillKind value (C-box codelist; on-chain-bound)." .
+aps:claimSubject a rdf:Property ; rdfs:domain aps:SkillClaim ; rdfs:range ap:CanonicalAgentId ;
+    rdfs:comment "The subject Smart Agent (Address) the claim is about." .
+aps:claimIssuer a rdf:Property ; rdfs:domain aps:SkillClaim ; rdfs:range ap:CanonicalAgentId .
+aps:claimRelation a rdf:Property ; rdfs:domain aps:SkillClaim ;
+    rdfs:comment "An aps:skillRelation value (C-box codelist)." .
+aps:claimVisibilityMode a rdf:Property ; rdfs:domain aps:SkillClaim ;
+    rdfs:comment "An aps:claimVisibility value (C-box codelist)." .