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

package/tbox/agreement.ttl

@@ -0,0 +1,77 @@
+# T-box — agreement vocabulary (spine Layer 8).
+# Hyperledger Indy commitments + Sidetree anchor pattern; W3C VC envelope.
+# Spec 225 §11.5; ADR-0024 Decision 2 (single-row commitment-only).
+# Owning runtime SHACL: packages/agreements/src/shapes/agreement.shacl.ttl.
+
+@prefix apagr:  <https://agenticprimitives.dev/ns/agreement#> .
+@prefix apvc:   <https://agenticprimitives.dev/ns/credential#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@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 vf:     <https://w3id.org/valueflows#> .
+@prefix prov:   <http://www.w3.org/ns/prov#> .
+
+apagr: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — agreement ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Layer 8 of the spine. Commitment-only on chain; body in vaults." .
+
+apagr:AgreementCommitment a owl:Class ;
+    rdfs:subClassOf vf:Commitment ;
+    rdfs:label "AgreementCommitment" ;
+    rdfs:comment "On-chain commitment-only row in AgreementRegistry.sol. Body in vaults; only commitment hash + issuer + schema + status + epoch on chain. AR-12: party SA addresses never in calldata." .
+
+apagr:AgreementCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "AgreementCredential" ;
+    rdfs:comment "DOLCE+DnS Situation — the off-chain VC describing a two-party agreement. Issued by an issuer Agent (e.g. Global Church). Held in each party's PV. Per PD-22 — lives in agreements package." .
+
+apagr:AgreementStatus a owl:Class ;
+    rdfs:label "AgreementStatus" ;
+    rdfs:comment "Status state-machine codelist: ACTIVE | COMPLETED | DISPUTED | REVOKED (per spec 241 §5.4.1)." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+apagr:hasIssuer a owl:ObjectProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range ap:Agent ;
+    rdfs:label "hasIssuer" ;
+    rdfs:comment "The issuer SA whose EIP-712 attestation backs the commitment." .
+
+apagr:hasParty a owl:ObjectProperty ;
+    rdfs:domain apagr:AgreementCredential ;
+    rdfs:range ap:Agent ;
+    rdfs:label "hasParty" ;
+    rdfs:comment "The two parties to the agreement. Cardinality 2 (enforced by SHACL in agreements package)." .
+
+apagr:agreementCommitmentHash a owl:DatatypeProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "agreementCommitmentHash" ;
+    rdfs:comment "The canonical commitment hash (per spec 241 §3 + IA §10)." .
+
+apagr:schemaHash a owl:DatatypeProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "schemaHash" ;
+    rdfs:comment "Reference to the on-chain ShapeRegistry SHACL shape (PD-12)." .
+
+apagr:status a owl:DatatypeProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range xsd:string ;
+    rdfs:label "status" ;
+    rdfs:comment "ACTIVE | COMPLETED | DISPUTED | REVOKED. Bilateral signing for ACTIVE→COMPLETED/REVOKED; either party for ACTIVE→DISPUTED." .
+
+apagr:createdEpochBucket a owl:DatatypeProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range xsd:integer ;
+    rdfs:label "createdEpochBucket" ;
+    rdfs:comment "Creation time in EPOCH_SECONDS buckets. Raw block.timestamp never stored." .
+
+apagr:fromIntentMatch a owl:ObjectProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range apint:IntentMatch ;
+    rdfs:label "fromIntentMatch" ;
+    rdfs:comment "Optional reference to the IntentMatch (Layer 7) that produced the Commitment input." .

package/tbox/attestation.ttl

@@ -0,0 +1,135 @@
+# T-box — attestation vocabulary (spine Layers 12–15 credential types).
+# EAS-aligned per ADR-0023. Spec 225 §11.5.
+# Owning runtime SHACL: packages/attestations/src/shapes/credentials.shacl.ttl.
+# All credential types share AttestationRegistry.sol per ADR-0024 Decision 2
+# (architectural inverse of the smart-contract-per-credential anti-pattern).
+
+@prefix apatt:  <https://agenticprimitives.dev/ns/attestation#> .
+@prefix apvc:   <https://agenticprimitives.dev/ns/credential#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@prefix apagr:  <https://agenticprimitives.dev/ns/agreement#> .
+@prefix apful:  <https://agenticprimitives.dev/ns/fulfillment#> .
+@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#> .
+
+apatt: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — attestation ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Credential types for layers 12–15. All share one on-chain AttestationRegistry per ADR-0024 Decision 2." .
+
+# ─── On-chain row type ────────────────────────────────────────────────
+
+apatt:Attestation a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Attestation" ;
+    rdfs:comment "On-chain row in AttestationRegistry.sol. EAS-aligned: deterministic UID + refUID + EIP-712 + ERC-1271. Per-credential-class discrimination via credentialType. ADR-0023." .
+
+# ─── Credential types (Layer 12: Evidence) ────────────────────────────
+
+apatt:EvidenceCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "EvidenceCredential" ;
+    rdfs:comment "Holder-asserted evidence credential bound to an Artifact. Holder-only on-chain revoke (D-18 + AR-10). Layer 12." .
+
+# ─── Credential types (Layer 13: Outcome) ─────────────────────────────
+
+apatt:OutcomeCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "OutcomeCredential" ;
+    rdfs:comment "Outcome credential bound to an Intent. FLF-OUT-1: MUST cite at least one EvidenceCredential UID. Holder-only revoke. Layer 13." .
+
+# ─── Credential types (Layer 14: Validation) ──────────────────────────
+
+apatt:ValidationCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "ValidationCredential" ;
+    rdfs:comment "Validator's attestation of an Outcome. Validator-type discriminated (human | agent | oracle | TEE | zkML | re-execution per ERC-8004). Validator-only revoke. Layer 14." .
+
+apatt:Validator a owl:Class ;
+    rdfs:subClassOf ap:Agent ;
+    rdfs:label "Validator" ;
+    rdfs:comment "An Agent that produces ValidationCredentials. Independence requirement: validator SA ≠ executor SA." .
+
+apatt:ValidatorKind a owl:Class ;
+    rdfs:label "ValidatorKind" ;
+    rdfs:comment "Discriminator: human | agent | oracle | TEE | zkML | re-execution." .
+
+# ─── Credential types (Layer 15: TrustUpdate) ─────────────────────────
+
+apatt:TrustUpdate a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "TrustUpdate" ;
+    rdfs:comment "Reputation mutation. D-40 hard substrate invariant: MUST cite at least one ValidationCredential UID. Sybil resistance via credential-cost, never KYC. Validator-only revoke. Layer 15." .
+
+apatt:AssociationCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "AssociationCredential" ;
+    rdfs:comment "Holder asserts membership/association with an issuer. Holder-only revoke. Substrate-generic; vertical instances (JpAssociationCredential, etc.) compose on top." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+apatt:uid a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "uid" ;
+    rdfs:comment "Deterministic UID per EAS pattern." .
+
+apatt:credentialType a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "credentialType" ;
+    rdfs:comment "keccak256 hash discriminator (AssociationCredential / EvidenceCredential / OutcomeCredential / ValidationCredential / TrustUpdate / PaymentReceipt)." .
+
+apatt:credentialHash a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "credentialHash" ;
+    rdfs:comment "RFC 8785 JCS canonical hash of off-chain VC body." .
+
+apatt:refUID a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "refUID" ;
+    rdfs:comment "EAS-style single back-pointer. Used by JointAgreement to reference AgreementCommitment." .
+
+apatt:bilateralConsentRef a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "bilateralConsentRef" ;
+    rdfs:comment "References signatures-bundle hash OR pinned-delegation hash for joint attestations. 0 for unilateral." .
+
+apatt:basedOnIntent a owl:ObjectProperty ;
+    rdfs:domain apatt:OutcomeCredential ;
+    rdfs:range apint:Intent ;
+    rdfs:label "basedOnIntent" .
+
+apatt:basedOnArtifact a owl:ObjectProperty ;
+    rdfs:domain apatt:EvidenceCredential ;
+    rdfs:range apful:Artifact ;
+    rdfs:label "basedOnArtifact" .
+
+apatt:citesEvidence a owl:ObjectProperty ;
+    rdfs:domain apatt:OutcomeCredential ;
+    rdfs:range apatt:EvidenceCredential ;
+    rdfs:label "citesEvidence" ;
+    rdfs:comment "FLF-OUT-1: MANDATORY. At least one EvidenceCredential UID citation required." .
+
+apatt:citesValidation a owl:ObjectProperty ;
+    rdfs:domain apatt:TrustUpdate ;
+    rdfs:range apatt:ValidationCredential ;
+    rdfs:label "citesValidation" ;
+    rdfs:comment "D-40: MANDATORY. TrustUpdate cannot precede ValidationCredential." .
+
+apatt:validatorKind a owl:DatatypeProperty ;
+    rdfs:domain apatt:ValidationCredential ;
+    rdfs:range xsd:string ;
+    rdfs:label "validatorKind" .
+
+apatt:offchainCredentialStatusList a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:anyURI ;
+    rdfs:label "offchainCredentialStatusList" ;
+    rdfs:comment "W3C VC StatusList2021 pointer. Holder revocation on-chain ≠ issuer revocation off-chain — independently meaningful." .

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