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

package/tbox/situation.ttl

@@ -0,0 +1,56 @@
+# T-box — situation vocabulary (spec 324 §4; ADR-0048).
+# DOLCE+DnS pattern: a Situation satisfies a Description and has RoleBindings.
+# Situation ≠ Credential — a VC attests a Situation; the Situation is the state of affairs.
+
+@prefix apsit: <https://agenticprimitives.dev/ns/situation#> .
+@prefix ap:    <https://agenticprimitives.dev/ns/core#> .
+@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:   <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
+@prefix dul:   <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#> .
+
+apsit: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — situation ontology" ;
+    owl:versionInfo "0.2.0" ;
+    rdfs:comment "Substrate-level Situation primitive (spec 324). Runtime SituationV2 shapes live in @agenticprimitives/situations." .
+
+apsit:Situation a owl:Class ;
+    rdfs:subClassOf dul:Situation ;
+    rdfs:label "Situation" ;
+    rdfs:comment "A state of affairs satisfying a Description with typed RoleBindings. Exists independently of any issued VC." .
+
+apsit:Description a owl:Class ;
+    rdfs:subClassOf dul:Description ;
+    rdfs:label "Description" ;
+    rdfs:comment "A normative pattern (often a SHACL shape IRI) that a Situation satisfies." .
+
+apsit:SituationRole a owl:Class ;
+    rdfs:subClassOf dul:Role ;
+    rdfs:label "SituationRole" ;
+    rdfs:comment "A typed participant slot in a DnS Situation (e.g. aporg:memberAgent). Ontology structure — not executable authority." .
+
+apsit:RoleBinding a owl:Class ;
+    rdfs:label "RoleBinding" ;
+    rdfs:comment "Binds one SituationRole to one or more fillers (Agent, resource, Situation, or artifact)." .
+
+apsit:TemporalExtent a owl:Class ;
+    rdfs:label "TemporalExtent" ;
+    rdfs:comment "Validity interval for a Situation or RoleAssignment." .
+
+apsit:satisfies a owl:ObjectProperty ;
+    rdfs:domain apsit:Situation ; rdfs:range apsit:Description ;
+    rdfs:label "satisfies" .
+
+apsit:hasRoleBinding a owl:ObjectProperty ;
+    rdfs:domain apsit:Situation ; rdfs:range apsit:RoleBinding ;
+    rdfs:label "hasRoleBinding" .
+
+apsit:bindingRole a owl:ObjectProperty ;
+    rdfs:domain apsit:RoleBinding ; rdfs:range apsit:SituationRole ;
+    rdfs:label "bindingRole" .
+
+apsit:bindingFiller a owl:ObjectProperty ;
+    rdfs:domain apsit:RoleBinding ;
+    rdfs:label "bindingFiller" ;
+    rdfs:comment "Filler may be an Agent, another Situation, a resource IRI, or an artifact ref." .

package/tbox/skills.ttl

@@ -0,0 +1,316 @@
+# T-box — capability substrate (spec 251 on-chain anchor + spec 325 semantic profile; ADR-0051).
+# Canonical noun: CapabilityDefinition. Standards "skill" objects are projections only.
+# IDE Agent Skill packages (SKILL.md) live in apguide: — see tbox/guidance.ttl (ADR-0050).
+
+@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 "On-chain public capability definition anchor (SkillDefinitionRegistry). Legacy label retained for spec 251 ABI; prose prefers capability definition anchor." .
+
+aps:SkillClaim a rdfs:Class ;
+    rdfs:label "SkillClaim" ;
+    rdfs:comment "OFF-CHAIN capability claim credential asserting a subject's relation to an aps:Skill (definitionId+version). Private vault — not an Agent Skill package." .
+
+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 .
+aps:claimIssuer a rdf:Property ; rdfs:domain aps:SkillClaim ; rdfs:range ap:CanonicalAgentId .
+aps:claimRelation a rdf:Property ; rdfs:domain aps:SkillClaim .
+aps:claimVisibilityMode a rdf:Property ; rdfs:domain aps:SkillClaim .
+
+# ─── Canonical semantic capability (spec 325 §4.5; ADR-0051) ─────────────────
+
+aps:CapabilityDefinition a owl:Class ;
+    rdfs:label "CapabilityDefinition" ;
+    rdfs:comment "Stable AP semantic capability — source of truth. OASF taxon, A2A AgentSkill, Agent Skill package, and MCP tool are projections via crosswalk — not equivalent IDs." .
+
+aps:AgentSkillDefinition a owl:Class ;
+    owl:deprecated true ;
+    rdfs:subClassOf aps:CapabilityDefinition ;
+    rdfs:label "AgentSkillDefinition (deprecated)" ;
+    rdfs:comment "Deprecated alias for aps:CapabilityDefinition (ADR-0051)." .
+
+aps:CapabilityGrounding a owl:Class ;
+    rdfs:label "CapabilityGrounding" ;
+    rdfs:comment "Protocol-specific invocation binding (MCP tool, A2A endpoint, HTTP, WoT Form)." .
+
+aps:SkillGrounding a owl:Class ;
+    owl:deprecated true ;
+    rdfs:subClassOf aps:CapabilityGrounding ;
+    rdfs:label "SkillGrounding (deprecated)" .
+
+aps:CapabilityProtocolProjection a owl:Class ;
+    rdfs:label "CapabilityProtocolProjection" ;
+    rdfs:comment "Adapter output: A2A AgentSkill descriptor, OASF skill taxon ref, MCP tool ref — never canonical." .
+
+aps:SkillProtocolProjection a owl:Class ;
+    owl:deprecated true ;
+    rdfs:subClassOf aps:CapabilityProtocolProjection ;
+    rdfs:label "SkillProtocolProjection (deprecated)" .
+
+aps:IntentCapabilityMatch a owl:Class ;
+    rdfs:label "IntentCapabilityMatch" ;
+    rdfs:comment "Resolver evidence linking an Intent to a CapabilityDefinition (WSMO Mediator pattern)." .
+
+aps:IntentSkillMatch a owl:Class ;
+    owl:deprecated true ;
+    rdfs:subClassOf aps:IntentCapabilityMatch ;
+    rdfs:label "IntentSkillMatch (deprecated)" .
+
+aps:offeredByAgent a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range ap:CanonicalAgentId ;
+    rdfs:label "offeredByAgent" .
+
+aps:onChainAnchor a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range aps:Skill ;
+    rdfs:label "onChainAnchor" ;
+    rdfs:comment "Optional link to public SkillDefinitionRegistry anchor." .
+
+aps:semanticType a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ;
+    rdfs:label "semanticType" .
+
+aps:hasInputShape a owl:ObjectProperty ; rdfs:domain aps:CapabilityDefinition ; rdfs:label "hasInputShape" .
+aps:hasOutputShape a owl:ObjectProperty ; rdfs:domain aps:CapabilityDefinition ; rdfs:label "hasOutputShape" .
+aps:hasPrecondition a owl:ObjectProperty ; rdfs:domain aps:CapabilityDefinition ; rdfs:label "hasPrecondition" .
+aps:hasEffect a owl:ObjectProperty ; rdfs:domain aps:CapabilityDefinition ; rdfs:label "hasEffect" .
+aps:hasCapabilityGrounding a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range aps:CapabilityGrounding ;
+    rdfs:label "hasCapabilityGrounding" .
+
+aps:hasSkillGrounding a owl:ObjectProperty ;
+    owl:deprecated true ;
+    rdfs:subPropertyOf aps:hasCapabilityGrounding ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range aps:CapabilityGrounding ;
+    rdfs:label "hasSkillGrounding (deprecated)" .
+
+aps:groundingProtocol a owl:DatatypeProperty ;
+    rdfs:domain aps:CapabilityGrounding ;
+    rdfs:label "groundingProtocol" .
+
+aps:requiredDelegationScope a owl:DatatypeProperty ;
+    rdfs:domain aps:CapabilityDefinition ;
+    rdfs:label "requiredDelegationScope" .
+
+aps:requiredEntitlement a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ;
+    rdfs:label "requiredEntitlement" .
+
+aps:projectsTo a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range aps:CapabilityProtocolProjection ;
+    rdfs:label "projectsTo" .
+
+aps:matchedIntent a owl:ObjectProperty ;
+    rdfs:domain aps:IntentCapabilityMatch ;
+    rdfs:label "matchedIntent" .
+
+aps:matchedCapability a owl:ObjectProperty ;
+    rdfs:domain aps:IntentCapabilityMatch ; rdfs:range aps:CapabilityDefinition ;
+    rdfs:label "matchedCapability" .
+
+aps:matchedSkill a owl:ObjectProperty ;
+    owl:deprecated true ;
+    rdfs:subPropertyOf aps:matchedCapability ;
+    rdfs:domain aps:IntentCapabilityMatch ; rdfs:range aps:CapabilityDefinition ;
+    rdfs:label "matchedSkill (deprecated)" .
+
+# ═══════════════════════════════════════════════════════════════════════════
+# Capability IDENTITY, the independent relations, and CATALOGS
+# (spec 330 W0 §5 — unparked by spec 331; capability-architecture.md §2 + §8)
+# ═══════════════════════════════════════════════════════════════════════════
+#
+# Prefixes used below beyond the header: apctx: (context facets), apguide: (playbooks),
+# apexec: (executions — declared in spec 330 W1, referenced here by IRI only), prov:, skos:.
+#
+# THE DISTINCTION THIS SECTION EXISTS TO HOLD (architecture §1):
+#   aps:Capability            — the stable, provider-independent IDENTITY of an outcome.
+#   aps:CapabilityDefinition  — a VERSIONED artifact that defines it (above).
+#   aps:CapabilityProtocolProjection — an ADVERTISEMENT of it (a card AgentSkill, an
+#                               atl:skills token, an offering). Above.
+# Until now identity was implicit in the definition. Spec 331 mints it explicitly, because a
+# domain catalog needs many agents to reference ONE id across MANY definition versions.
+
+@prefix apctx:   <https://agenticprimitives.dev/ns/context#> .
+@prefix apguide: <https://agenticprimitives.dev/ns/guidance#> .
+@prefix apexec:  <https://agenticprimitives.dev/ns/execution#> .
+@prefix prov:    <http://www.w3.org/ns/prov#> .
+@prefix skos:    <http://www.w3.org/2004/02/skos/core#> .
+@prefix sh:      <http://www.w3.org/ns/shacl#> .
+@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
+
+aps:Capability a owl:Class ;
+    rdfs:label "Capability" ;
+    rdfs:comment "The stable, provider-independent identity of an achievable OUTCOME. Not a service, not a plan, not a taxonomy term, not an execution, and not a subject domain. Its identity NEVER depends on one provider, one jurisdiction, one language, or one playbook — those are apctx: facets of a realization. A capability is not a prov:Activity: it is what COULD be achieved; an activity is an occurrence that attempted it (architecture §5)." .
+
+aps:CapabilityCatalog a owl:Class ;
+    rdfs:label "CapabilityCatalog" ;
+    rdfs:comment "A named, versioned, steward-owned set of capability definitions for one bounded context (e.g. the family-office advisory catalog, spec 331). A catalog is a DISTRIBUTION and GOVERNANCE unit, never a taxonomy: membership implies no hierarchy, and a capability may appear in several catalogs." .
+
+aps:catalogSteward a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityCatalog ; rdfs:range ap:CanonicalAgentId ;
+    rdfs:label "catalogSteward" ;
+    rdfs:comment "The account authorized to publish/version definitions in this catalog (SkillDefinitionRegistry stewardAccount)." .
+
+aps:inCatalog a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range aps:CapabilityCatalog ;
+    rdfs:label "inCatalog" .
+
+aps:capabilityId a owl:DatatypeProperty ;
+    rdfs:domain aps:Capability ; rdfs:range xsd:string ;
+    rdfs:label "capabilityId" ;
+    rdfs:comment "The canonical, human-readable, STABLE id string (a CURIE, e.g. 'adv:succession-plan-design'). keccak256 of this exact string is the on-chain SkillDefinitionRegistry skillId — the same keccak-of-CURIE convention atl:* predicates use. Once published it is never re-spelled: a rename is a new capability plus a skos:exactMatch, never an edit." .
+
+aps:outcomeStatement a owl:DatatypeProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range xsd:string ;
+    rdfs:label "outcomeStatement" ;
+    rdfs:comment "One sentence in the PASSIVE COMPLETED voice naming what is true when the capability has been realized ('a target asset allocation and its implementation are determined for a stated mandate'). Written this way deliberately: an outcome statement that can only be phrased as an activity ('advises on…') is a signal the term is a service or a subject domain, not a capability." .
+
+# ─── The independent relations. NEVER an overloaded `implementsCapability`. ──
+
+aps:definesCapability a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range aps:Capability ;
+    rdfs:label "definesCapability" ;
+    rdfs:comment "Which versioned artifact defines it. Many definition VERSIONS, one capability identity." .
+
+aps:classifiesCapability a owl:ObjectProperty ;
+    rdfs:range aps:Capability ;
+    rdfs:label "classifiesCapability" ;
+    rdfs:comment "External taxon → capability, via SKOS alignment. Classification is never possession and never authorization (architecture §2 axiom 4). External taxa are ALIGNED, never term-copied into this T-box (invariant 11)." .
+
+aps:assertsCapability a owl:ObjectProperty ;
+    rdfs:range aps:Capability ;
+    rdfs:label "assertsCapability" ;
+    rdfs:comment "Abstract parent of the three ASSERTION STRENGTHS. They are subproperties rather than a datatype rank because the asserter and the verification path differ STRUCTURALLY, not in degree. They must be surfaced to users separately and never summed as one signal." .
+
+aps:declaresCapability a owl:ObjectProperty ;
+    rdfs:subPropertyOf aps:assertsCapability ; rdfs:range aps:Capability ;
+    rdfs:label "declaresCapability" ;
+    rdfs:comment "SELF-declared, owner-signed, UNVERIFIED: an atl:skills token, a card AgentSkill, a crawled offering. Costs one transaction and nothing else — anyone may declare anything. Feeds discovery FIT scoring only, and must never be presented as endorsement." .
+
+aps:claimsCapability a owl:ObjectProperty ;
+    rdfs:subPropertyOf aps:assertsCapability ; rdfs:range aps:Capability ;
+    rdfs:label "claimsCapability" ;
+    rdfs:comment "CREDENTIALED: an aps:SkillClaim credential (self or endorsed), vault-resident, referencing an on-chain (definitionId, version). A SELF claim is bounded (SELF_MAX_PROFICIENCY) and forbidden the endorsement relations; an ENDORSED claim carries a distinct issuer. Feeds TRUST scoring — and only through its public commitment, never its body (ADR-0040)." .
+
+aps:demonstratedCapability a owl:ObjectProperty ;
+    rdfs:subPropertyOf aps:assertsCapability ; rdfs:range aps:Capability ;
+    rdfs:label "demonstratedCapability" ;
+    rdfs:comment "EARNED: evidenced by execution provenance — a conforming apexec:ServiceExecution that realized the capability. Derived, never asserted by the subject. Feeds an OUTCOME signal, and is the only assertion strength that cannot be produced by writing a string." .
+
+# ─── Structure: a DAG of composition/specialisation, never a single-parent tree ──
+
+aps:specializesCapability a owl:ObjectProperty ;
+    rdfs:domain aps:Capability ; rdfs:range aps:Capability ;
+    a owl:TransitiveProperty ;
+    rdfs:label "specializesCapability" ;
+    rdfs:comment "A genuinely NARROWER FORM OF THE SAME ability (private fund diligence ⊏ manager selection & diligence). Multi-parent is legal and expected; only cycles are forbidden. NOT rdfs:subClassOf — capabilities are individuals, not classes, and subclassing them would make every facet stack into a hierarchy. A jurisdiction, a language or an asset class is NEVER a specialization: those are apctx: facets." .
+
+aps:hasComponentCapability a owl:ObjectProperty ;
+    rdfs:domain aps:Capability ; rdfs:range aps:Capability ;
+    rdfs:label "hasComponentCapability" ;
+    rdfs:comment "A broader outcome DEPENDS ON constituent abilities that are part of achieving it. NO ORDERING is implied — ordering lives in an apexec:ExecutionPlan (apexec:precedes), never in capability semantics (architecture invariant 8)." .
+
+aps:requiresCapability a owl:ObjectProperty ;
+    rdfs:domain aps:Capability ; rdfs:range aps:Capability ;
+    rdfs:label "requiresCapability" ;
+    rdfs:comment "A DEPENDENCY: the object must be realizable for the subject to be realizable, but is not a part of it (covenant analysis requires secured-lending structuring — you cannot stress-test a facility that was never structured). Distinct from hasComponentCapability, which is part-of." .
+
+apguide:supportsCapability a owl:ObjectProperty ;
+    rdfs:range aps:Capability ;
+    rdfs:label "supportsCapability" ;
+    rdfs:comment "AgentSkillPackage (SKILL.md playbook) → capability, 0..N. Which plans MAY inform a realization. GUIDANCE ONLY — never authority, never identity (ADR-0050). A card projection is never wired to exactly one playbook (architecture §2 axiom 1)." .
+
+apexec:realizesCapability a owl:ObjectProperty ;
+    rdfs:range aps:Capability ;
+    rdfs:label "realizesCapability" ;
+    rdfs:comment "ServiceExecution → capability. What actually occurred. Declared here (the aps: module owns the capability end of the relation); the apexec: classes land with spec 330 W1." .
+
+# ─── Realization contracts ──────────────────────────────────────────────────
+
+aps:CapabilityRealizationContract a owl:Class ;
+    rdfs:subClassOf sh:NodeShape ;
+    rdfs:label "CapabilityRealizationContract" ;
+    rdfs:comment "A SHACL shape over PROV stating what a CONFORMING realization of one capability must contain: activity type, required prov:agent roles, prov:used input types, prov:generated output types, the prov:qualifiedAssociation carrying prov:hadPlan, and completion conditions. It governs SHAPE, not outcome — a recorded decline is a conforming realization. It is NOT a test suite and NOT an authorization: no gate may read it." .
+
+aps:hasRealizationContract a owl:ObjectProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range aps:CapabilityRealizationContract ;
+    rdfs:label "hasRealizationContract" .
+
+aps:contractStatus a owl:DatatypeProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range xsd:string ;
+    rdfs:label "contractStatus" ;
+    rdfs:comment "'enforced' | 'deferred'. DEFERRED IS FIRST-CLASS AND HONEST: a capability whose realizations this substrate cannot yet observe declares 'deferred' plus the evidence that would be needed, rather than carrying a contract nothing validates. An unenforceable contract is worse than an absent one — it makes a claim about verification the system cannot keep (ADR-0013)." .
+
+aps:deferredContractRationale a owl:DatatypeProperty ;
+    rdfs:domain aps:CapabilityDefinition ; rdfs:range xsd:string ;
+    rdfs:label "deferredContractRationale" ;
+    rdfs:comment "Required when contractStatus = 'deferred': one line naming the evidence that would make a contract enforceable." .
+
+# ─── Taxonomy mappings — AP capability → external taxon, SKOS-typed (spec 347 §5; ADR-0062) ──
+# capability-claims SkillTaxonomyMappingV1 { apSkillId, taxonomy, taxonomyVersion, targetClassId,
+# relation, assertedBy, assertedAt, evidence? }. `relation` IS a SKOS mapping relation:
+#   exact  → skos:exactMatch     close  → skos:closeMatch
+#   broad  → skos:broadMatch     narrow → skos:narrowMatch
+# (capability-claims `skosRelationFor`). AP ids stay canonical; the taxon is a projection target. A
+# taxonomy VERSION change makes the mapping review-required — it is never silently reused. `broad` /
+# `narrow` without evidence is an evidenceNeeded diagnostic: an inexact alignment must be auditable.
+# Evidence, never authority — classification is never possession (architecture §2 axiom 4).
+
+aps:SkillTaxonomyMapping a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "SkillTaxonomyMapping" ;
+    rdfs:comment "One asserted alignment of an aps:Capability (by its stable id) with a class in an external taxonomy (OASF, HCS-14, …) at a pinned taxonomy version. Reified so the asserter, time, evidence and version are recorded; the SKOS triple it stands for is aps:Capability <aps:taxonomyRelation-as-SKOS> <taxon>. TS: SkillTaxonomyMappingV1 (capability-claims)." .
+
+aps:mapsCapability a owl:ObjectProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range aps:Capability ;
+    rdfs:label "mapsCapability" .
+
+aps:taxonomy a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:string ;
+    rdfs:label "taxonomy" ;
+    rdfs:comment "'oasf' | 'hcs14' | any taxonomy family name." .
+
+aps:taxonomyVersion a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:string ;
+    rdfs:label "taxonomyVersion" ;
+    rdfs:comment "Pinned. A different requested version yields status review-required, never current." .
+
+aps:targetClassId a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:string ;
+    rdfs:label "targetClassId" .
+
+aps:taxonomyRelation a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:string ;
+    rdfs:label "taxonomyRelation" ;
+    rdfs:seeAlso skos:exactMatch, skos:closeMatch, skos:broadMatch, skos:narrowMatch ;
+    rdfs:comment "exact | close | broad | narrow — each names the SKOS mapping property the reified mapping stands for (skos:exactMatch / closeMatch / broadMatch / narrowMatch)." .
+
+aps:mappingAssertedBy a owl:ObjectProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range ap:CanonicalAgentId ;
+    rdfs:label "mappingAssertedBy" .
+
+aps:mappingAssertedAt a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:dateTime ;
+    rdfs:label "mappingAssertedAt" .
+
+# ── The playbook a Home agent runs under (spec 354) ───────────────────────────────────────────────
+# An archetype compiled to an AgentHarnessDefinitionV1, ASSIGNED to an agent as a vault record. This is
+# the record that makes "set this agent to the Treasury archetype" real: behavior, pinned by digest,
+# approval-gated. NEVER authority — assigning it moves no grant; it changes what the agent knows how to
+# do, and the mandate still decides what it may do (spec 354 §1).
+aps:ArchetypeAssignment a rdfs:Class ;
+    rdfs:label "ArchetypeAssignment" ;
+    rdfs:comment "Which compiled playbook (archetype + version + definition digest) an agent runs under, held in the agent's own vault and pinned by digest. Behavior, not authority: it says what the agent knows how to do; the mandate says what it may do. Approval-gated (editor ≠ approver ≠ writer)." .
+
+aps:assignedArchetype a rdf:Property ; rdfs:domain aps:ArchetypeAssignment ; rdfs:range aps:AgentArchetype ;
+    rdfs:label "assignedArchetype" ; rdfs:comment "The archetype's canonical skill id." .
+
+aps:definitionDigest a rdf:Property ; rdfs:domain aps:ArchetypeAssignment ;
+    rdfs:label "definitionDigest" ; rdfs:comment "The compiled definition's digest — what run admission verifies before it trusts the behavior." .

package/tbox/skos-imports.ttl

@@ -0,0 +1,54 @@
+# T-box — the W3C SKOS terms this substrate USES, declared (spec 414 A0).
+#
+# ── Why ─────────────────────────────────────────────────────────────────────────────────────────
+# Same reason as prov-imports.ttl: SKOS is a W3C Recommendation and its terms mean what the
+# Recommendation says — nothing here redefines one. They are declared so the bindings gate and the
+# standard-anchoring gate (`check:ontology-standard-anchoring`, spec 414 §2 rule 2) can tell an imported
+# standard term from a typo, and so a code list's `a skos:Concept` names something declared.
+#
+# The list is exactly what the T-box and C-box already use (counted 2026-09-25). Nothing is declared that
+# nothing uses. The harness-capability scheme (spec 414 §3.2) is a skos:ConceptScheme; its concepts are
+# skos:Concepts; its versions are skos:notation.
+#
+# Domains and ranges are omitted: the SKOS Reference's own axioms govern.
+
+@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+
+<https://agenticprimitives.dev/ns/skos-imports> a owl:Ontology ;
+    rdfs:label "Agentic Primitives — SKOS terms in use" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Declarations of the W3C SKOS terms the substrate's T-box and C-box use, so bindings and shapes can target them. Spec 414 A0; pinned in docs/standards-lock.json#provenance.skos." .
+
+# ═══ Classes ═══
+
+skos:Concept a owl:Class ; rdfs:label "Concept (SKOS)" ;
+    rdfs:comment "A unit of thought in a code list. In this substrate: codelist values, and (spec 414 §3.2) each harness capability." .
+skos:ConceptScheme a owl:Class ; rdfs:label "ConceptScheme (SKOS)" ;
+    rdfs:comment "A code list. Its concepts are skos:inScheme it; a harness capability's scheme is one." .
+
+# ═══ Scheme membership and hierarchy ═══
+
+skos:inScheme a owl:ObjectProperty ; rdfs:label "inScheme (SKOS)" .
+skos:hasTopConcept a owl:ObjectProperty ; rdfs:label "hasTopConcept (SKOS)" .
+skos:broader a owl:ObjectProperty ; rdfs:label "broader (SKOS)" .
+skos:related a owl:ObjectProperty ; rdfs:label "related (SKOS)" .
+
+# ═══ Mapping (to other schemes) ═══
+
+skos:exactMatch a owl:ObjectProperty ; rdfs:label "exactMatch (SKOS)" .
+skos:closeMatch a owl:ObjectProperty ; rdfs:label "closeMatch (SKOS)" .
+skos:broadMatch a owl:ObjectProperty ; rdfs:label "broadMatch (SKOS)" .
+skos:narrowMatch a owl:ObjectProperty ; rdfs:label "narrowMatch (SKOS)" .
+skos:relatedMatch a owl:ObjectProperty ; rdfs:label "relatedMatch (SKOS)" .
+
+# ═══ Labels, notation, documentation ═══
+
+skos:prefLabel a owl:AnnotationProperty ; rdfs:label "prefLabel (SKOS)" .
+skos:altLabel a owl:AnnotationProperty ; rdfs:label "altLabel (SKOS)" .
+skos:notation a owl:DatatypeProperty ; rdfs:label "notation (SKOS)" .
+skos:definition a owl:AnnotationProperty ; rdfs:label "definition (SKOS)" .
+skos:scopeNote a owl:AnnotationProperty ; rdfs:label "scopeNote (SKOS)" .
+skos:note a owl:AnnotationProperty ; rdfs:label "note (SKOS)" .
+skos:historyNote a owl:AnnotationProperty ; rdfs:label "historyNote (SKOS)" .

package/tbox/transition.ttl

@@ -0,0 +1,63 @@
+# T-box — CAPABILITY TRANSITIONS (spec 420 §2). A capability as a typed transition between SITUATIONS (situation.ttl, DnS):
+# what must hold before it (a situation present or absent, a standing at a room), what it ESTABLISHES (a situation with its
+# role bindings, and whether that is a submission or an authoritative outcome), whose authority it spends, and what EVIDENCE
+# proves it landed. This is what lets the harness plan by goal regression — from the situation a person wants back to the
+# acts that establish it — and verify an effect against the record rather than by reflection.
+# Behaviour, never authority (ADR-0041): no verifier reads a transition; the mandate is still judged for every step.
+
+@prefix aptr:  <https://agenticprimitives.dev/ns/transition#> .
+@prefix apsit: <https://agenticprimitives.dev/ns/situation#> .
+@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#> .
+
+aptr: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — capability transitions" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Capabilities as transitions between situations, with authority as a precondition and evidence as the proof (spec 420 §2). Bound by IRI from packages/ontology/src/transitions.ts." .
+
+aptr:CapabilityTransition a owl:Class ;
+    rdfs:label "CapabilityTransition" ;
+    rdfs:comment "One capability's effect on the world: its preconditions, the situation it establishes, the authority it spends, the evidence of it. What it is NOT: permission (a mandate is), a plan (a sequence of these is), or a tool description." .
+
+aptr:Precondition a owl:Class ;
+    rdfs:label "Precondition" ;
+    rdfs:comment "What must hold before the transition: a situation present or absent among named parties (aptr:SituationPrecondition), or the asker's standing at a room (aptr:StandingPrecondition)." .
+
+aptr:SituationPrecondition a owl:Class ; rdfs:subClassOf aptr:Precondition ;
+    rdfs:label "SituationPrecondition" ;
+    rdfs:comment "A situation (apsit:Situation subclass) that must be present — or, with aptr:absent true, must NOT be — between the parties the transition's arguments name. Read from the record by the capability aptr:readBy names; unknown ⇒ the read is planned first." .
+
+aptr:StandingPrecondition a owl:Class ; rdfs:subClassOf aptr:Precondition ;
+    rdfs:label "StandingPrecondition" ;
+    rdfs:comment "The asker's derived standing (self · steward · member) at the agent an argument names. A standing the asker lacks makes the step unauthorizable — named before any signature is asked for, and never acted around." .
+
+aptr:establishes a owl:ObjectProperty ;
+    rdfs:domain aptr:CapabilityTransition ; rdfs:range apsit:Situation ;
+    rdfs:label "establishes" ;
+    rdfs:comment "The situation this capability brings about (with role bindings from its arguments). A SUBMISSION establishes the proposal (an invitation), never the outcome the other party still has to bring about (a membership)." .
+
+aptr:requires a owl:ObjectProperty ;
+    rdfs:domain aptr:CapabilityTransition ; rdfs:range aptr:Precondition ;
+    rdfs:label "requires" .
+
+aptr:absent a owl:DatatypeProperty ;
+    rdfs:domain aptr:SituationPrecondition ; rdfs:range xsd:boolean ;
+    rdfs:label "absent" ;
+    rdfs:comment "True: the situation must NOT already hold (do not invite a member; do not charter what exists)." .
+
+aptr:readBy a owl:DatatypeProperty ;
+    rdfs:domain aptr:SituationPrecondition ; rdfs:range xsd:string ;
+    rdfs:label "readBy" ;
+    rdfs:comment "The capability id that reads whether the situation holds (organization.membership.list for a membership)." .
+
+aptr:outcomeClass a owl:DatatypeProperty ;
+    rdfs:domain aptr:CapabilityTransition ; rdfs:range xsd:string ;
+    rdfs:label "outcomeClass" ;
+    rdfs:comment "submission | authoritative (spec 367 §6): whether the established situation IS the outcome or a proposal toward it." .
+
+aptr:evidence a owl:DatatypeProperty ;
+    rdfs:domain aptr:CapabilityTransition ; rdfs:range xsd:string ;
+    rdfs:label "evidence" ;
+    rdfs:comment "What proves the effect landed, by kind: chain-edge (an ACTIVE relationship edge) · countersigned-credential (both parties' vaults) · receipt (the counterparty's) · transfer (an on-chain token event) · own-record (the asker's own vault). Read back by spec 420 W4 before 'done'." .