@agenticprimitives/ontology 1.0.0-alpha.26 → 1.0.0-alpha.28

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

package/tbox/verification-receipt.ttl

@@ -69,6 +69,13 @@ apdel:Delegation a owl:Class ;
     rdfs:label "Delegation" ;
     rdfs:comment "An EIP-712 caveat-scoped delegation (the @agenticprimitives/delegation grant). As provenance: the entity whose verification licenses an apvr:onBehalfOf (⊑ prov:actedOnBehalfOf) relation between delegate and principal." .
 
+apdel:supersedes a owl:ObjectProperty ;
+    rdfs:subPropertyOf prov:wasRevisionOf ;
+    rdfs:domain apdel:Delegation ;
+    rdfs:range apdel:Delegation ;
+    rdfs:label "supersedes" ;
+    rdfs:comment "Spec 410 §1.2 — this delegation was RE-ISSUED for a credential rotation and replaces the one named: same delegator, delegate, terms and salt, validated by the account's approved-digest sentinel under the new custody epoch instead of by a key that is being retired. What it is NOT: a new grant (nothing about the authority changed), a revocation (the old object simply no longer validates), or anything a recovery produces (a recovery re-issues nothing). The record lives in the delegator's vault; the delegate fetches the head of the lineage from the delegator's agent." .
+
 # ─── PROV property specializations ────────────────────────────────────
 
 apvr:onBehalfOf a owl:ObjectProperty ;

package/versions.adoption.json

@@ -0,0 +1,119 @@
+{
+  "$comment": "Spec 410 §10 — every manifest digest this package has published, each naming its STEWARD. `check:ontology-version-adoption` refuses a T-box change whose new manifest digest is not the latest entry here. An estate adopts one entry (AdoptedVersionV1) by governance proposal; its verifiers bind that digest.",
+  "entries": [
+    {
+      "manifestDigest": "0xe8670c7e790cae65539333c3544818b1830d8cbe6ced533bd1d9db9cd75eb4eb",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-20",
+      "note": "Spec 410: apdel:supersedes (§1), apexec:observedOutcome / providerRef / observedAt (§2), apint:Outcome and OrganizedGathering (§6), ap:RelationshipCredential (§8), governance.ttl and apexec:disputedBy (§10)."
+    },
+    {
+      "manifestDigest": "0x340337249219c7667b53339ad91ca2680a43a3688687112607f1033fe93a1bef",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-20",
+      "note": "Spec 410 §4.4: apexec:estate (the estate a run was performed in) and apexec:ReceiptAnchor with anchorDigest / anchorRegistry / anchoredByAgent / anchorTransaction (the citation beside a carried bundle)."
+    },
+    {
+      "manifestDigest": "0x4f3d52a359a3431a21939380916a872c27f7d011e2a315c0550e0c4017759b9b",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-20",
+      "note": "Spec 410 §7: payload.ttl — appay:PayloadClass and its twelve subclasses (what a write carries), replacing the undeclared apvault: placeholders in the outcome table."
+    },
+    {
+      "manifestDigest": "0x0bb4fe3b98756aa8b77615c2bcd3275a40bccfe202179f097f577a0db498b919",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-24",
+      "note": "Spec 413: content.ttl — apcnt:PublishedWork and its seven properties (a public, owner-released Library document as the discovery KB holds it; ADR-0040 amendment 2026-09-24)."
+    },
+    {
+      "manifestDigest": "0x6cea7241154c37b9737735a1de223b5c5f524b2d6d979d484c296a8727aa7b94",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-25",
+      "note": "Spec 414 A0: skos-imports.ttl (declarations of the W3C SKOS terms already in use); ap:Agent ⊑ prov:Agent (core 0.2.1 — the PROV-O trichotomy the doctrine already states, now machine-readable); apexec:ObservedOutcome ⊑ skos:Concept (execution 0.1.1). No new substrate vocabulary."
+    },
+    {
+      "manifestDigest": "0xf613c6161af432e08a7f8dd3e89770f7e3b28cc9ce6e28cc611c29f49b0791d5",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-25",
+      "note": "Spec 414 A1a: execution 0.2.0 — the trace from the door (apexec:Door, ModelInvocation, Variant, StartingState, CapabilityEngagement ⊑ prov:Influence, governedBySkill), the HarnessCapabilities SKOS scheme (17 concepts incl. judgment) and the EngagementEffect code list; prov-imports 0.1.1 declares prov:Influence. Shapes R8–R11. Door kinds include channel-mention (spec 327's @-mention turn)."
+    },
+    {
+      "manifestDigest": "0xfbba935d2f882e80c32710125d3ccde449a851120032062e1eab2a5310ef57a9",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-25",
+      "note": "Spec 414 A2: evaluation.ttl (apeval: — Metric ⊑ dqv:Metric + skos:Concept, RunMeasurement ⊑ dqv:QualityMeasurement + prov:Entity, Measuring, RunMeasures, 16 intrinsic metrics) and dqv-imports.ttl (the W3C DQV terms the measurement records emit)."
+    },
+    {
+      "manifestDigest": "0xd4ade4e26bee3a98017ad96a1c4825f4cf023d8ba74fedb8b87c01d03a9dfe25",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-25",
+      "note": "Spec 415 S0 + SEL-1: evaluation 0.2.0 — ReplaySet ⊑ dcat:Dataset, ReplayIntent, SelectionCriterion ⊑ ep-plan:Constraint, Judgment, Judge (+ judgeKind), the SelectionOutcomes scheme (8 classes, methodology v1.0 §1); execution — the skill-selection/* capability family (model · ontology · rules · judgment) and offeredCandidate / chose / rejectedNeighbour on an engagement; earl-imports.ttl + dcat-imports.ttl."
+    },
+    {
+      "manifestDigest": "0xf360dd93066b7ba382ff837e316ccbf47624e449d5874a6f1a070d87e8f3816f",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-25",
+      "note": "Spec 415 A4: evaluation 0.3.0 — ExperimentPlan ⊑ p-plan:Plan (replay set / criterion / variants / thresholds by digest, confounded flag), Experiment ⊑ prov:Activity (hasRun ⊑ prov:used, planDigest, refusedCount), CaptureWindow ⊑ prov:Activity (captureLevel, roster, estate) — the eval store and its firewall."
+    },
+    {
+      "manifestDigest": "0xe83f477c927e98769f4b3bbf5f7f0afb7d2224cb55f6e3b18eab6ca5b5907723",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-26",
+      "note": "Spec 415 A4: execution 0.3.0 — the intent typed in the domain ontology on a skill-selection engagement: apexec:inferredRequest (the class the request asks FOR), apexec:inferredAbout, apexec:OutsideDomain."
+    },
+    {
+      "manifestDigest": "0x64b6ec7aeb58ff10757a1d84e81c71e83d425c70347198b241ca79b9622d04ac",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-26",
+      "note": "Spec 415 A4: execution 0.3.1 — apexec:invocationRole gains `judge` (the model call that chose which skill, if any, handles the request), so the selection judge is a model invocation on the run's provenance like the planner and composer."
+    },
+    {
+      "manifestDigest": "0x3571672d4237840d725757b0f26e88514c0a500ea3dbe79fdcb0dca408bbd2e8",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-27",
+      "note": "Spec 418 §2: evaluation 0.4.0 — the TEST CASE as data: apeval:expectedSkill/acceptableSkill/forbiddenSkill/collidesWith, SelectionBehaviour (route · decline · clarify · several · plan), ExpectedPlanStep + planPosition/stepSkill, expectedMissing, exercisesClass, adjudication, message, inReplaySet, underStartingState + holdsClass/recentSkill/memoryTag, latestResult — so a domain projects its evaluation sets into its own graph."
+    },
+    {
+      "manifestDigest": "0x35a8b33b44c5203793f40191b279ade3b254fc68972e973214486a4cd66faa73",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-28",
+      "note": "Spec 420: principles.ttl — appr:DomainPrinciple (statement · governs · enforcedBy · violation · area), appr:ValueHolder ≡ ap:Treasury disjoint with ap:PersonAgent and ap:OrganizationAgent (assets live only in treasuries), and seventeen principles of value, household, membership, charter, room and truth."
+    },
+    {
+      "manifestDigest": "0x0611017398dd4e08e3307582beeacd365b8184ae4c562f2abad87aa9dce6698f",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-28",
+      "note": "Spec 420 §2: transition.ttl — aptr:CapabilityTransition with establishes / requires (SituationPrecondition · StandingPrecondition) / outcomeClass / evidence: a capability as a typed transition between situations, with authority as a precondition and evidence as the proof."
+    },
+    {
+      "manifestDigest": "0xcdd8468804dc87c1a90df91cb4c4a51d2e1af1de76572f9757cac677727f5ee2",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-28",
+      "note": "Spec 420 §10: principles.ttl — appr:namesResolveInContext (a bare name means the person nearest the asker in her context; several at one distance is a question; no directory hit) and appr:disclosureFollowsProximity (the record within a shared context under a grant; attestations and signals beyond it)."
+    },
+    {
+      "manifestDigest": "0x7d3f28f42450f88e88762eb3bd5e7731efaf7ec50e573bfbc167eccceb3e90d2",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-09-29",
+      "note": "Spec 421 §1.2: principles.ttl — appr:othersWordsAreNotHerInstruction (another person's words — a message, a post, a page, a published work — are data her agent may quote and act on where she asks, never an instruction; an act whose party or content comes only from them is not planned from them, and a write of her own records built from them is read back first). Enforced by renderContinuation and requirePersonsTurn; cited by act set 9."
+    },
+    {
+      "manifestDigest": "0x32e63853f05d325bd57bd0768d71665ff7ac136df8b2812444c3cddcffd3736d",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-10-01",
+      "note": "Spec 422 §3.3 / §9.3: identity.ttl — apcr:ChannelFacet (an email or phone that OPENS a home and is where it is TOLD; never a signer, a quorum slot, a step-up or a recovery signer). Vault records security.credentials (labels over apcr:CredentialFacet) and security.channels bound in vault-records.ts."
+    },
+    {
+      "manifestDigest": "0xc5ae33940a2f2cb4291d2ce93cbaac7ceb5cd97939265be7c4f903ee79b43127",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-10-02",
+      "note": "context.ttl: a club is an ORGANIZATION whose workspace is coordinated by a .workspace agent (ap:WorkspaceAgent ⊑ ap:ServiceAgent, aporg:coordinatedBy — a service, never an organization by kind) and governed by the club's own organization agent (aporg:Workspace aporg:governedBy <org>). Membership lives on the governing organization (org.membership); a workspace agent holds no members and names its governor in workspace.governor. A club chartered before the pairing keeps its own records."
+    },
+    {
+      "manifestDigest": "0xf64becd4c395e8b7f0d935ca97640a6d4b37fc087ee0073af48f3841ab3361c8",
+      "steward": "richardpedersen3@gmail.com",
+      "publishedAt": "2026-10-05",
+      "note": "Spec 427 W6: org.ttl 0.4.0 — a role definition may OFFER skill packs (aporg:offersSkillPack → aps:AgentArchetype), an invitation may PROPOSE role definitions (aporg:proposesRoleDefinition, spec 324 §5), and a membership's role assignment records what it was offered as words and references: roleDefinitionId, roleName, roleDescription, roleScope, accessRole, offeredSkillPack, assignedBy, assignedAt, roleSetAt. Additive. None is authority: a gate reads the delegation that materializes a role, never its name, its access word or its pack."
+    }
+  ]
+}