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

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