@agenticprimitives/ontology 1.0.0-alpha.22 → 1.0.0-alpha.23

package/dist/vault-records.js

@@ -0,0 +1,330 @@
+// WHAT A VAULT RECORD KEY MEANS — spec 356 W1.
+//
+// A person's Home lists their organization's vault faithfully and uselessly:
+//
+//   coordination.endeavor:end_05b57d9e-… · updated 2026-09-04 03:38:02   show
+//   org.invite:agent:0x8c5cddca…          · updated 2026-09-04 00:16:11   show
+//
+// Every one of those keys IS something the T-box already has a class for — an Endeavor, an invitation, a
+// roster. Nothing said which was which, so the only reader that could interpret a vault was a person who
+// already knew the codebase, and every new question about vault data meant a new hand-written tool with
+// its own gate (spec 356 §0).
+//
+// This is the missing sentence, and it is DATA bound BY IRI (spec 355 §1) rather than a switch statement:
+// the class must exist in the T-box or `check:ontology-bindings` fails the build. The code may not invent
+// domain vocabulary.
+//
+// WHAT THIS IS NOT: it is not permission. Knowing that `directory.data` holds a roster says nothing about
+// who may read it — the delegation decides that, per subject, per record (spec 277, ADR-0041). A binding
+// narrows what a question CAN MEAN; it never widens what an asker may see.
+// Namespaces inlined rather than imported from ./index — index re-exports this file, so reading NS back
+// would hit it in TDZ (the same cycle `party-roles.ts` and `grounded-vocabulary.ts` document).
+import { CONTACT_PROFILE_PROPERTIES } from './contact-fields.js';
+const APORG = 'https://agenticprimitives.dev/ns/org#';
+const APCOORD = 'https://agenticprimitives.dev/ns/coordination#';
+const APFUL = 'https://agenticprimitives.dev/ns/fulfillment#';
+const APMSG = 'https://agenticprimitives.dev/ns/messaging#';
+const APAR = 'https://agenticprimitives.dev/ns/agent-resolution#';
+const APS = 'https://agenticprimitives.dev/ns/skill#';
+const APROF = 'https://agenticprimitives.dev/ns/profile#';
+const AP = 'https://agenticprimitives.dev/ns/core#';
+const APCTX = 'https://agenticprimitives.dev/ns/context#';
+const APIX = 'https://agenticprimitives.dev/ns/interaction#';
+const APHH = 'https://agenticprimitives.dev/ns/household#';
+const APCON = 'https://agenticprimitives.dev/ns/contact#';
+const APEXEC = 'https://agenticprimitives.dev/ns/execution#';
+const APACTOR = 'https://agenticprimitives.dev/ns/actor#';
+const APVR = 'https://agenticprimitives.dev/ns/verification-receipt#';
+const PROV = 'http://www.w3.org/ns/prov#';
+const PPLAN = 'http://purl.org/net/p-plan#';
+const EPPLAN = 'https://w3id.org/ep-plan#';
+/**
+ * The record kinds this substrate stores, each bound to what it IS.
+ *
+ * Deliberately not exhaustive over every key a vault may hold: an unbound key is UNCLASSIFIED, which is an
+ * honest state and the one that keeps this table from becoming a place to invent meanings. A question over
+ * an unbound kind is refused by name (spec 356 §2.3), never answered from a guess.
+ */
+export const VAULT_RECORD_BINDINGS = [
+    // ── Coordination (spec 332/334) ───────────────────────────────────────────────────────────────
+    // The events stream is matched BEFORE the endeavor itself: `coordination.endeavor:events:<id>` also
+    // starts with `coordination.endeavor:`, and the first match wins.
+    // An endeavor's event log: a projection OVER an Endeavor, not a class of its own. The T-box declares no
+    // EndeavorEvent, and inventing one so a binding compiles is the exact drift this gate exists to stop —
+    // it was here until the check started reading record bindings. You ask about endeavors; the log is how
+    // one of them got where it is.
+    { match: { prefix: 'coordination.endeavor:events:' }, class: `${APCOORD}Endeavor`, label: 'endeavor history', plural: 'endeavor history', ownedBy: 'either', role: 'index' },
+    { match: { prefix: 'coordination.endeavor:' }, class: `${APCOORD}Endeavor`, label: 'endeavor', plural: 'endeavors', ownedBy: 'either' },
+    { match: { exact: 'coordination.requests' }, class: `${APCOORD}EndeavorRequest`, label: 'request for work', plural: 'requests for work', ownedBy: 'either' },
+    // ── The parties' own evidence of a transfer (spec 360) ────────────────────────────────────────
+    // A payment's StepReceipt is AUTHORITY evidence and lives in the audit sink. This is the different
+    // artifact the two PARTIES hold: what Alice can point at to say she paid, and what tells Bob he was
+    // paid, to which treasury, in what amount. Keyed by the transaction, because that is the one identifier
+    // both sides can check against the chain rather than take on trust.
+    { match: { prefix: 'payment.receipt:' }, class: `${APIX}PaymentReceipt`, label: 'payment receipt', plural: 'payment receipts', ownedBy: 'either',
+        properties: {
+            payer: `${APIX}receiptPayer`,
+            payee: `${APIX}receiptPayee`,
+            asset: `${APIX}receiptAsset`,
+            amount: `${APIX}receiptAmount`,
+            txHash: `${APIX}receiptTx`,
+        },
+    },
+    // ── Organization membership (spec 324, ADR-0025) ──────────────────────────────────────────────
+    // The ROSTER an organization keeps of its own members. This is the record `organization.membership.list`
+    // reads today through its own hand-written invoker — W4 retires that in favour of this binding.
+    { match: { exact: 'directory.data' }, class: `${APORG}DirectoryListing`, label: 'member listing', plural: 'member listings', ownedBy: 'organization' },
+    { match: { prefix: 'org.invite:agent:' }, class: `${APORG}MembershipInvitation`, label: 'membership invitation', plural: 'membership invitations', ownedBy: 'organization' },
+    { match: { exact: 'org.applications' }, class: `${APORG}MembershipApplication`, label: 'membership application', plural: 'membership applications', ownedBy: 'organization' },
+    // THE MEMBERSHIP ITSELF — spec 325's shape, in the organization's own vault. Distinct from the
+    // invitation, which the T-box files under "Enrollment instruments (NOT membership)": an invitation is
+    // how somebody came to be admitted, and satisfying one creates nothing. The membership is the record
+    // that they ARE admitted, carrying the role assignment and the delegation that materialises it.
+    //
+    // Keyed `org.membership:member:<address>` — inside the `vault:org.membership:*` scope the DO grant
+    // already carries, and clear of `org.membership:local-names`, which is a name map and not a member.
+    {
+        match: { prefix: 'org.membership:member:' }, class: `${APORG}OrganizationMembership`,
+        label: 'member', plural: 'members', ownedBy: 'organization',
+        // Spec 325's shape, field for field — this is what "readable by the ontology" looks like in practice.
+        properties: {
+            memberAgent: `${APORG}memberAgent`,
+            organizationAgent: `${APORG}organizationAgent`,
+            roleAssignment: `${APORG}hasRoleAssignment`,
+            'roleAssignment.assignedRole': `${APORG}assignedRole`,
+            'roleAssignment.materializedByDelegation': `${APORG}materializedByDelegation`,
+        },
+    },
+    // THE PERSON'S OWN CONTACT RECORD (spec 371 §2.2) — the private one of the three records that answer to
+    // "profile". Its fields are the ONE list in `contact-fields.ts`; the map here is derived from it, so an
+    // Ask that can change a name can change a street address, and the record's write allow-list agrees.
+    {
+        match: { exact: 'impact-profile' }, class: `${APCON}ContactProfile`,
+        label: 'contact profile', plural: 'contact profiles', ownedBy: 'person',
+        properties: { ...CONTACT_PROFILE_PROPERTIES, 'contact.location.precision': `${APCON}locationPrecision` },
+    },
+    // A PERSON's own record of who they are connected to — private, a vault credential and never an
+    // on-chain edge (ADR-0025). This is what answers "what organizations am I associated with".
+    {
+        // WHO THEY LIVE WITH, as they record it (spec 363 W4). PRIVATE TIER by construction: it is not on
+        // chain, not derivable from chain state, and may never reach the discovery KB (ADR-0040). One record
+        // per person holding their own household — not a shared roster, because two people's records can
+        // disagree and the honest model says whose you are reading.
+        match: { exact: 'household.data' }, class: `${APHH}Household`,
+        label: 'household', plural: 'household', ownedBy: 'person',
+        properties: {
+            'members[].agent': `${APHH}householdMember`,
+            'members[].role': `${APHH}householdRole`,
+            'members[].kin': `${APHH}kinRelation`,
+        },
+    },
+    { match: { exact: 'relationships.data' }, class: `${APORG}OrganizationMembership`, label: 'organization you belong to', plural: 'organizations you belong to', ownedBy: 'person',
+        // The map is KEYED by the organization — the thing a reader most often gets wrong here.
+        properties: {
+            'orgs{}': `${APORG}organizationAgent`,
+            'orgs{}.orgName': `${APORG}localLabel`,
+            'orgs{}.delegations[]': `${APORG}materializedByDelegation`,
+        },
+    },
+    // ── Content (spec 347 / the field artifacts) ──────────────────────────────────────────────────
+    { match: { prefix: 'content.artifact.' }, class: `${APFUL}Artifact`, label: 'artifact', plural: 'artifacts', ownedBy: 'either',
+        properties: {
+            'kind': `${APFUL}artifactKind`,
+            'commitment': `${APFUL}bodyHash`,
+        },
+    },
+    // ── Conversation (spec 313/316) ───────────────────────────────────────────────────────────────
+    // A message BODY is the content of one message; a topic is the conversation it sits in.
+    { match: { prefix: 'message.body:' }, class: `${APFUL}Message`, label: 'message', plural: 'messages', ownedBy: 'either' },
+    { match: { prefix: 'conversation.topic:' }, class: `${APMSG}DiscussionTopic`, label: 'discussion', plural: 'discussions', ownedBy: 'either' },
+    // ── Resolution (spec 338) ─────────────────────────────────────────────────────────────────────
+    { match: { exact: 'resolution.grants' }, class: `${APAR}PrivateResolutionGrant`, label: 'way to reach someone', plural: 'ways to reach people', ownedBy: 'either',
+        // The held record names WHOSE agent it opens; the address itself comes from the resolver, per use.
+        properties: {
+            'grants[].owner': `${APAR}permitsDiscoveryOf`,
+        },
+    },
+    { match: { exact: 'resolution.requests' }, class: `${APAR}AgentConnectionInvitation`, label: 'request for a way to reach an agent', plural: 'requests for a way to reach an agent', ownedBy: 'either' },
+    // ── What an agent IS and CAN DO ───────────────────────────────────────────────────────────────
+    { match: { exact: 'capabilities.data' }, class: `${APS}CapabilityCatalog`, label: 'capability', plural: 'capabilities', ownedBy: 'either',
+        // The record is the catalogue; each ENTRY is a claim, so its fields map to SkillClaim's properties.
+        properties: {
+            '[].relation': `${APS}claimRelation`,
+            '[].label': `${APS}semanticType`,
+        },
+    },
+    { match: { exact: 'skills.data' }, class: `${APS}SkillClaim`, label: 'skill claim', plural: 'skill claims', ownedBy: 'either',
+        properties: {
+            '[].definitionId': `${APS}definitionId`,
+            '[].subject': `${APS}claimSubject`,
+            '[].issuer': `${APS}claimIssuer`,
+            '[].relation': `${APS}claimRelation`,
+        },
+    },
+    { match: { exact: 'impact-profile' }, class: `${APROF}AgentProfile`, label: 'profile', plural: 'profile', ownedBy: 'either',
+        // Observed records carry only `contact`, which the T-box has no property for — see the coverage ledger.
+        properties: {
+            'displayName': `${APROF}displayName`,
+            'description': `${APROF}description`,
+        },
+    },
+    // An index over the artifacts, not a thing beside them.
+    { match: { exact: 'content.catalog' }, class: `${APFUL}Artifact`, label: 'content index', plural: 'content index', ownedBy: 'either', role: 'index' },
+    // ── The card studio (spec 347) ────────────────────────────────────────────────────────────────
+    { match: { prefix: 'agent-cards:' }, class: `${AP}A2AAgentCard`, label: 'agent card', plural: 'agent cards', ownedBy: 'either' },
+    // ── The playbook an agent runs under (spec 354) ───────────────────────────────────────────────
+    {
+        match: { exact: 'archetype.assignment' }, class: `${APS}ArchetypeAssignment`,
+        label: 'playbook', plural: 'playbook', ownedBy: 'either',
+        properties: {
+            archetypeId: `${APS}assignedArchetype`,
+            definitionDigest: `${APS}definitionDigest`,
+        },
+    },
+    // ── Run provenance (spec 381) — the durable half of a run's record, in the ACTING agent's vault ──
+    // One activity per step: what ran, under which authority, what receipt it left (by digest). Never the
+    // arguments, results or words — those are the task object's rebuildable copy (ADR-0055).
+    // Spec 389 — the record IS the graph: a JSON-LD document whose top-level node is the run's
+    // ep-plan:ExecutionTraceBundle and whose `graph` holds the run, its steps, what they used and what they
+    // generated. The field names are the context's terms (`run-provenance.jsonld`), so every field below is
+    // the same IRI the context maps it to — bound twice on purpose, checked once by the build.
+    {
+        match: { prefix: 'run.provenance:' }, class: `${EPPLAN}ExecutionTraceBundle`,
+        label: 'run provenance', plural: 'run provenances', ownedBy: 'either',
+        properties: {
+            wasAttributedTo: `${PROV}wasAttributedTo`,
+            wasInformedBy: `${PROV}wasInformedBy`,
+            hasTraceElement: `${EPPLAN}hasTraceElement`,
+            'graph[].startedAtTime': `${PROV}startedAtTime`,
+            'graph[].endedAtTime': `${PROV}endedAtTime`,
+            'graph[].endedAt': `${APEXEC}endedAt`,
+            'graph[].wasAssociatedWith': `${PROV}wasAssociatedWith`,
+            'graph[].actedOnBehalfOf': `${PROV}actedOnBehalfOf`,
+            'graph[].used': `${PROV}used`,
+            'graph[].usedDelegation': `${APVR}usedDelegation`,
+            'graph[].generated': `${PROV}generated`,
+            'graph[].wasGeneratedBy': `${PROV}wasGeneratedBy`,
+            'graph[].wasInformedBy': `${PROV}wasInformedBy`,
+            'graph[].wasAttributedTo': `${PROV}wasAttributedTo`,
+            'graph[].correspondsToStep': `${PPLAN}correspondsToStep`,
+            'graph[].isStepOfPlan': `${PPLAN}isStepOfPlan`,
+            'graph[].isPrecededBy': `${PPLAN}isPrecededBy`,
+            'graph[].hasStep': `${APEXEC}hasStep`,
+            'graph[].runRef': `${APEXEC}runRef`,
+            'graph[].intentDigest': `${APEXEC}intentDigest`,
+            'graph[].completionState': `${APEXEC}completionState`,
+            'graph[].receiptDigest': `${APEXEC}receiptDigest`,
+            'graph[].usedPlanContentHash': `${APEXEC}usedPlanContentHash`,
+            'graph[].realizesCapability': `${APEXEC}realizesCapability`,
+            'graph[].authorityDecision': `${APEXEC}authorityDecision`,
+            'graph[].afterApproval': `${APEXEC}afterApproval`,
+            'graph[].chainDigest': `${APEXEC}chainDigest`,
+            'graph[].accountabilityRoot': `${APEXEC}accountabilityRoot`,
+            'graph[].actorContext': `${APEXEC}actorContext`,
+            'graph[].delegatedToAgent': `${APEXEC}delegatedToAgent`,
+            'graph[].errorClass': `${APEXEC}errorClass`,
+            'graph[].traceId': `${APEXEC}traceId`,
+            'graph[].spanId': `${APEXEC}spanId`,
+            'graph[].effectProduces': `${APEXEC}effectProduces`,
+            'graph[].effectSucceeded': `${APEXEC}effectSucceeded`,
+            'graph[].decisionPoint': `${APEXEC}decisionPoint`,
+            'graph[].decisionRule': `${APEXEC}decisionRule`,
+            'graph[].artifactBytes': `${APEXEC}artifactBytes`,
+            'graph[].artifactDigest': `${APEXEC}artifactDigest`,
+            'graph[].actingAgent': `${APACTOR}actingAgent`,
+            'graph[].originatingAgent': `${APACTOR}originatingAgent`,
+            'graph[].rootPrincipal': `${APACTOR}rootPrincipal`,
+            'graph[].qualifiedAssociation[].hadPlan': `${PROV}hadPlan`,
+            'graph[].qualifiedAssociation[].hadRole': `${PROV}hadRole`,
+            'graph[].qualifiedAssociation[].agent': `${PROV}agent`,
+        },
+    },
+    // ── Run artifacts (spec 391) — a step's raw result, too large for the run's record, in the ACTING agent's vault ──
+    // The body a resume or a person fetches under the agent's grant; the receipt's outputDigest commits to it.
+    {
+        match: { prefix: 'run.artifact:' }, class: `${APEXEC}RunArtifact`,
+        label: 'run artifact', plural: 'run artifacts', ownedBy: 'either',
+        properties: {
+            digest: `${APEXEC}artifactDigest`,
+            bytes: `${APEXEC}artifactBytes`,
+        },
+    },
+    // ── Conversation memory (spec 370 P7) — what the agent RESOLVED for the owner lately, in their vault ──
+    {
+        match: { exact: 'conversation.recent' }, class: `${APCTX}ConversationMemory`,
+        label: 'recent conversation', plural: 'recent conversations', ownedBy: 'person',
+        properties: {
+            'turns[].at': `${APCTX}recalledAt`,
+            'turns[].parties[].agent': `${APCTX}recalledParty`,
+            'turns[].parties[].raw': `${APCTX}recalledWords`,
+        },
+    },
+    // ── Learned memory (spec 358 W5) — what the owner TOLD the agent, in their own vault ────────────
+    {
+        match: { prefix: 'preference:' }, class: `${APCTX}LearnedPreference`,
+        label: 'thing you told me', plural: 'things you told me', ownedBy: 'person',
+        properties: {
+            subject: `${APCTX}preferenceSubject`,
+            trigger: `${APCTX}preferenceTrigger`,
+            learnedAt: `${APCTX}learnedAt`,
+        },
+    },
+    // ── Confirmation memory (spec 385; bound here by spec 394) — which "David" the owner chose, per scope ──
+    {
+        match: { exact: 'confirmation.preferences' }, class: `${APCTX}ConfirmationMemory`,
+        label: 'remembered choice', plural: 'remembered choices', ownedBy: 'person',
+        properties: {
+            'entries[].agent': `${APCTX}confirmedParty`,
+            'entries[].word': `${APCTX}confirmedWords`,
+            'entries[].capability': `${APCTX}confirmedFor`,
+        },
+    },
+    // ── Standing instructions (spec 394) — the owner's declared defaults, per room ──────────────────
+    {
+        match: { exact: 'standing.instructions' }, class: `${APCTX}StandingInstruction`,
+        label: 'standing instruction', plural: 'standing instructions', ownedBy: 'person',
+        properties: {
+            'entries[].capability': `${APCTX}instructionCapability`,
+            'entries[].arg': `${APCTX}instructionArgument`,
+            'entries[].value': `${APCTX}instructionValue`,
+            'entries[].context': `${APCTX}instructionContext`,
+            'entries[].at': `${APCTX}declaredAt`,
+        },
+    },
+    // ── PROJECTIONS, not things (role: 'index') ───────────────────────────────────────────────────
+    // Listed so that "not askable" is a DECISION on the record rather than an absence in this table. A
+    // question answered from an index is a question answered from a cache.
+    { match: { exact: 'conversation.index' }, class: `${APMSG}Conversation`, label: 'conversation index', plural: 'conversation index', ownedBy: 'either', role: 'index' },
+    { match: { exact: 'coordination.index' }, class: `${APCOORD}Endeavor`, label: 'endeavor index', plural: 'endeavor index', ownedBy: 'either', role: 'index' },
+    { match: { exact: 'inbox.data' }, class: `${APMSG}Conversation`, label: 'inbox', plural: 'inbox', ownedBy: 'either', role: 'index' },
+    { match: { exact: 'org.membership:local-names' }, class: `${APORG}OrganizationMembership`, label: 'local name map', plural: 'local name map', ownedBy: 'organization', role: 'index' },
+];
+/** What this record key IS, or `undefined` when nothing binds it. Longest match first, so a family and the
+ *  narrower family inside it (`…endeavor:` and `…endeavor:events:`) cannot be confused for one another. */
+export function bindingForRecordType(recordType) {
+    const key = recordType.trim();
+    const exact = VAULT_RECORD_BINDINGS.find((b) => b.match.exact === key);
+    if (exact)
+        return exact;
+    return [...VAULT_RECORD_BINDINGS]
+        .filter((b) => b.match.prefix && key.startsWith(b.match.prefix))
+        .sort((a, b) => (b.match.prefix.length - a.match.prefix.length))[0];
+}
+/** The kinds a question may be ASKED about — label → class. The askable set is this, never the model's. */
+export function askableRecordKinds() {
+    const seen = new Set();
+    const out = [];
+    for (const b of VAULT_RECORD_BINDINGS) {
+        // An index is not a thing to ask about — see `VaultRecordRole`.
+        if ((b.role ?? 'entity') !== 'entity' || seen.has(b.class))
+            continue;
+        seen.add(b.class);
+        out.push({ label: b.label, plural: b.plural, class: b.class });
+    }
+    return out;
+}
+/** Every record type bound to this class — what a query over a kind must actually read. */
+export function recordTypesForClass(classIri) {
+    return VAULT_RECORD_BINDINGS.filter((b) => b.class === classIri);
+}
+//# sourceMappingURL=vault-records.js.map

package/dist/vault-records.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vault-records.js","sourceRoot":"","sources":["../src/vault-records.ts"],"names":[],"mappings":"AAAA,+CAA+C;AAC/C,EAAE;AACF,6EAA6E;AAC7E,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,EAAE;AACF,yGAAyG;AACzG,yGAAyG;AACzG,wGAAwG;AACxG,8BAA8B;AAC9B,EAAE;AACF,0GAA0G;AAC1G,0GAA0G;AAC1G,qBAAqB;AACrB,EAAE;AACF,0GAA0G;AAC1G,yGAAyG;AACzG,2EAA2E;AAE3E,wGAAwG;AACxG,+FAA+F;AAC/F,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,MAAM,KAAK,GAAG,uCAAuC,CAAC;AACtD,MAAM,OAAO,GAAG,gDAAgD,CAAC;AACjE,MAAM,KAAK,GAAG,+CAA+C,CAAC;AAC9D,MAAM,KAAK,GAAG,6CAA6C,CAAC;AAC5D,MAAM,IAAI,GAAG,oDAAoD,CAAC;AAClE,MAAM,GAAG,GAAG,yCAAyC,CAAC;AACtD,MAAM,KAAK,GAAG,2CAA2C,CAAC;AAC1D,MAAM,EAAE,GAAG,wCAAwC,CAAC;AACpD,MAAM,KAAK,GAAG,2CAA2C,CAAC;AAC1D,MAAM,IAAI,GAAG,+CAA+C,CAAC;AAC7D,MAAM,IAAI,GAAG,6CAA6C,CAAC;AAC3D,MAAM,KAAK,GAAG,2CAA2C,CAAC;AAC1D,MAAM,MAAM,GAAG,6CAA6C,CAAC;AAC7D,MAAM,OAAO,GAAG,yCAAyC,CAAC;AAC1D,MAAM,IAAI,GAAG,wDAAwD,CAAC;AACtE,MAAM,IAAI,GAAG,4BAA4B,CAAC;AAC1C,MAAM,KAAK,GAAG,6BAA6B,CAAC;AAC5C,MAAM,MAAM,GAAG,2BAA2B,CAAC;AAwD3C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAkC;IAClE,iGAAiG;IACjG,oGAAoG;IACpG,kEAAkE;IAClE,wGAAwG;IACxG,uGAAuG;IACvG,uGAAuG;IACvG,+BAA+B;IAC/B,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,EAAE,KAAK,EAAE,GAAG,OAAO,UAAU,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;IAC5K,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,wBAAwB,EAAE,EAAE,KAAK,EAAE,GAAG,OAAO,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,uBAAuB,EAAE,EAAE,KAAK,EAAE,GAAG,OAAO,iBAAiB,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,mBAAmB,EAAE,OAAO,EAAE,QAAQ,EAAE;IAE5J,iGAAiG;IACjG,mGAAmG;IACnG,oGAAoG;IACpG,wGAAwG;IACxG,oEAAoE;IACpE,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,gBAAgB,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE,QAAQ;QAC9I,UAAU,EAAE;YACV,KAAK,EAAE,GAAG,IAAI,cAAc;YAC5B,KAAK,EAAE,GAAG,IAAI,cAAc;YAC5B,KAAK,EAAE,GAAG,IAAI,cAAc;YAC5B,MAAM,EAAE,GAAG,IAAI,eAAe;YAC9B,MAAM,EAAE,GAAG,IAAI,WAAW;SAC3B;KACF;IAED,iGAAiG;IACjG,yGAAyG;IACzG,gGAAgG;IAChG,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,kBAAkB,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,cAAc,EAAE;IACtJ,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,sBAAsB,EAAE,KAAK,EAAE,uBAAuB,EAAE,MAAM,EAAE,wBAAwB,EAAE,OAAO,EAAE,cAAc,EAAE;IAC5K,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,uBAAuB,EAAE,KAAK,EAAE,wBAAwB,EAAE,MAAM,EAAE,yBAAyB,EAAE,OAAO,EAAE,cAAc,EAAE;IAC7K,+FAA+F;IAC/F,sGAAsG;IACtG,qGAAqG;IACrG,gGAAgG;IAChG,EAAE;IACF,mGAAmG;IACnG,oGAAoG;IACpG;QACE,KAAK,EAAE,EAAE,MAAM,EAAE,wBAAwB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,wBAAwB;QACpF,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc;QAC3D,sGAAsG;QACtG,UAAU,EAAE;YACV,WAAW,EAAE,GAAG,KAAK,aAAa;YAClC,iBAAiB,EAAE,GAAG,KAAK,mBAAmB;YAC9C,cAAc,EAAE,GAAG,KAAK,mBAAmB;YAC3C,6BAA6B,EAAE,GAAG,KAAK,cAAc;YACrD,yCAAyC,EAAE,GAAG,KAAK,0BAA0B;SAC9E;KACF;IACD,wGAAwG;IACxG,wGAAwG;IACxG,oGAAoG;IACpG;QACE,KAAK,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,gBAAgB;QACnE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE,QAAQ;QACvE,UAAU,EAAE,EAAE,GAAG,0BAA0B,EAAE,4BAA4B,EAAE,GAAG,KAAK,mBAAmB,EAAE;KACzG;IACD,gGAAgG;IAChG,4FAA4F;IAC5F;QACE,kGAAkG;QAClG,qGAAqG;QACrG,iGAAiG;QACjG,4DAA4D;QAC5D,KAAK,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,WAAW;QAC7D,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ;QAC1D,UAAU,EAAE;YACV,iBAAiB,EAAE,GAAG,IAAI,iBAAiB;YAC3C,gBAAgB,EAAE,GAAG,IAAI,eAAe;YACxC,eAAe,EAAE,GAAG,IAAI,aAAa;SACtC;KACF;IACD,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,wBAAwB,EAAE,KAAK,EAAE,4BAA4B,EAAE,MAAM,EAAE,6BAA6B,EAAE,OAAO,EAAE,QAAQ;QAC9K,wFAAwF;QACxF,UAAU,EAAE;YACV,QAAQ,EAAE,GAAG,KAAK,mBAAmB;YACrC,gBAAgB,EAAE,GAAG,KAAK,YAAY;YACtC,sBAAsB,EAAE,GAAG,KAAK,0BAA0B;SAC3D;KACF;IAED,iGAAiG;IACjG,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ;QAC5H,UAAU,EAAE;YACV,MAAM,EAAE,GAAG,KAAK,cAAc;YAC9B,YAAY,EAAE,GAAG,KAAK,UAAU;SACjC;KACF;IAED,iGAAiG;IACjG,wFAAwF;IACxF,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE;IACzH,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,qBAAqB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,iBAAiB,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE;IAE7I,iGAAiG;IACjG,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,wBAAwB,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,sBAAsB,EAAE,OAAO,EAAE,QAAQ;QAC/J,mGAAmG;QACnG,UAAU,EAAE;YACV,gBAAgB,EAAE,GAAG,IAAI,oBAAoB;SAC9C;KACF;IACD,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,qBAAqB,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,2BAA2B,EAAE,KAAK,EAAE,qCAAqC,EAAE,MAAM,EAAE,sCAAsC,EAAE,OAAO,EAAE,QAAQ,EAAE;IAEvM,iGAAiG;IACjG,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE,KAAK,EAAE,GAAG,GAAG,mBAAmB,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ;QACvI,oGAAoG;QACpG,UAAU,EAAE;YACV,aAAa,EAAE,GAAG,GAAG,eAAe;YACpC,UAAU,EAAE,GAAG,GAAG,cAAc;SACjC;KACF;IACD,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,GAAG,GAAG,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ;QAC3H,UAAU,EAAE;YACV,iBAAiB,EAAE,GAAG,GAAG,cAAc;YACvC,YAAY,EAAE,GAAG,GAAG,cAAc;YAClC,WAAW,EAAE,GAAG,GAAG,aAAa;YAChC,aAAa,EAAE,GAAG,GAAG,eAAe;SACrC;KACF;IACD,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ;QACzH,wGAAwG;QACxG,UAAU,EAAE;YACV,aAAa,EAAE,GAAG,KAAK,aAAa;YACpC,aAAa,EAAE,GAAG,KAAK,aAAa;SACrC;KACF;IACD,wDAAwD;IACxD,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;IAErJ,iGAAiG;IACjG,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE;IAEhI,iGAAiG;IACjG;QACE,KAAK,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,EAAE,KAAK,EAAE,GAAG,GAAG,qBAAqB;QAC5E,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ;QACxD,UAAU,EAAE;YACV,WAAW,EAAE,GAAG,GAAG,mBAAmB;YACtC,gBAAgB,EAAE,GAAG,GAAG,kBAAkB;SAC3C;KACF;IAED,oGAAoG;IACpG,sGAAsG;IACtG,yFAAyF;IACzF,2FAA2F;IAC3F,wGAAwG;IACxG,wGAAwG;IACxG,2FAA2F;IAC3F;QACE,KAAK,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,EAAE,KAAK,EAAE,GAAG,MAAM,sBAAsB;QAC5E,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,QAAQ;QACrE,UAAU,EAAE;YACV,eAAe,EAAE,GAAG,IAAI,iBAAiB;YACzC,aAAa,EAAE,GAAG,IAAI,eAAe;YACrC,eAAe,EAAE,GAAG,MAAM,iBAAiB;YAC3C,uBAAuB,EAAE,GAAG,IAAI,eAAe;YAC/C,qBAAqB,EAAE,GAAG,IAAI,aAAa;YAC3C,iBAAiB,EAAE,GAAG,MAAM,SAAS;YACrC,2BAA2B,EAAE,GAAG,IAAI,mBAAmB;YACvD,yBAAyB,EAAE,GAAG,IAAI,iBAAiB;YACnD,cAAc,EAAE,GAAG,IAAI,MAAM;YAC7B,wBAAwB,EAAE,GAAG,IAAI,gBAAgB;YACjD,mBAAmB,EAAE,GAAG,IAAI,WAAW;YACvC,wBAAwB,EAAE,GAAG,IAAI,gBAAgB;YACjD,uBAAuB,EAAE,GAAG,IAAI,eAAe;YAC/C,yBAAyB,EAAE,GAAG,IAAI,iBAAiB;YACnD,2BAA2B,EAAE,GAAG,KAAK,mBAAmB;YACxD,sBAAsB,EAAE,GAAG,KAAK,cAAc;YAC9C,sBAAsB,EAAE,GAAG,KAAK,cAAc;YAC9C,iBAAiB,EAAE,GAAG,MAAM,SAAS;YACrC,gBAAgB,EAAE,GAAG,MAAM,QAAQ;YACnC,sBAAsB,EAAE,GAAG,MAAM,cAAc;YAC/C,yBAAyB,EAAE,GAAG,MAAM,iBAAiB;YACrD,uBAAuB,EAAE,GAAG,MAAM,eAAe;YACjD,6BAA6B,EAAE,GAAG,MAAM,qBAAqB;YAC7D,4BAA4B,EAAE,GAAG,MAAM,oBAAoB;YAC3D,2BAA2B,EAAE,GAAG,MAAM,mBAAmB;YACzD,uBAAuB,EAAE,GAAG,MAAM,eAAe;YACjD,qBAAqB,EAAE,GAAG,MAAM,aAAa;YAC7C,4BAA4B,EAAE,GAAG,MAAM,oBAAoB;YAC3D,sBAAsB,EAAE,GAAG,MAAM,cAAc;YAC/C,0BAA0B,EAAE,GAAG,MAAM,kBAAkB;YACvD,oBAAoB,EAAE,GAAG,MAAM,YAAY;YAC3C,iBAAiB,EAAE,GAAG,MAAM,SAAS;YACrC,gBAAgB,EAAE,GAAG,MAAM,QAAQ;YACnC,wBAAwB,EAAE,GAAG,MAAM,gBAAgB;YACnD,yBAAyB,EAAE,GAAG,MAAM,iBAAiB;YACrD,uBAAuB,EAAE,GAAG,MAAM,eAAe;YACjD,sBAAsB,EAAE,GAAG,MAAM,cAAc;YAC/C,uBAAuB,EAAE,GAAG,MAAM,eAAe;YACjD,wBAAwB,EAAE,GAAG,MAAM,gBAAgB;YACnD,qBAAqB,EAAE,GAAG,OAAO,aAAa;YAC9C,0BAA0B,EAAE,GAAG,OAAO,kBAAkB;YACxD,uBAAuB,EAAE,GAAG,OAAO,eAAe;YAClD,wCAAwC,EAAE,GAAG,IAAI,SAAS;YAC1D,wCAAwC,EAAE,GAAG,IAAI,SAAS;YAC1D,sCAAsC,EAAE,GAAG,IAAI,OAAO;SACvD;KACF;IACD,oHAAoH;IACpH,2GAA2G;IAC3G;QACE,KAAK,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,MAAM,aAAa;QACjE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ;QACjE,UAAU,EAAE;YACV,MAAM,EAAE,GAAG,MAAM,gBAAgB;YACjC,KAAK,EAAE,GAAG,MAAM,eAAe;SAChC;KACF;IACD,yGAAyG;IACzG;QACE,KAAK,EAAE,EAAE,KAAK,EAAE,qBAAqB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,oBAAoB;QAC5E,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,sBAAsB,EAAE,OAAO,EAAE,QAAQ;QAC/E,UAAU,EAAE;YACV,YAAY,EAAE,GAAG,KAAK,YAAY;YAClC,yBAAyB,EAAE,GAAG,KAAK,eAAe;YAClD,uBAAuB,EAAE,GAAG,KAAK,eAAe;SACjD;KACF;IACD,mGAAmG;IACnG;QACE,KAAK,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,mBAAmB;QACpE,KAAK,EAAE,mBAAmB,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,QAAQ;QAC3E,UAAU,EAAE;YACV,OAAO,EAAE,GAAG,KAAK,mBAAmB;YACpC,OAAO,EAAE,GAAG,KAAK,mBAAmB;YACpC,SAAS,EAAE,GAAG,KAAK,WAAW;SAC/B;KACF;IAED,0GAA0G;IAC1G;QACE,KAAK,EAAE,EAAE,KAAK,EAAE,0BAA0B,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,oBAAoB;QACjF,KAAK,EAAE,mBAAmB,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,QAAQ;QAC3E,UAAU,EAAE;YACV,iBAAiB,EAAE,GAAG,KAAK,gBAAgB;YAC3C,gBAAgB,EAAE,GAAG,KAAK,gBAAgB;YAC1C,sBAAsB,EAAE,GAAG,KAAK,cAAc;SAC/C;KACF;IACD,mGAAmG;IACnG;QACE,KAAK,EAAE,EAAE,KAAK,EAAE,uBAAuB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,qBAAqB;QAC/E,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,uBAAuB,EAAE,OAAO,EAAE,QAAQ;QACjF,UAAU,EAAE;YACV,sBAAsB,EAAE,GAAG,KAAK,uBAAuB;YACvD,eAAe,EAAE,GAAG,KAAK,qBAAqB;YAC9C,iBAAiB,EAAE,GAAG,KAAK,kBAAkB;YAC7C,mBAAmB,EAAE,GAAG,KAAK,oBAAoB;YACjD,cAAc,EAAE,GAAG,KAAK,YAAY;SACrC;KACF;IAED,iGAAiG;IACjG,mGAAmG;IACnG,uEAAuE;IACvE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,cAAc,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;IACtK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE,KAAK,EAAE,GAAG,OAAO,UAAU,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;IAC5J,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,cAAc,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;IACpI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,4BAA4B,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,wBAAwB,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE;CACvL,CAAC;AAEF;2GAC2G;AAC3G,MAAM,UAAU,oBAAoB,CAAC,UAAkB;IACrD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;IACvE,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,CAAC,GAAG,qBAAqB,CAAC;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;SAC/D,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,kBAAkB;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAA4D,EAAE,CAAC;IACxE,KAAK,MAAM,CAAC,IAAI,qBAAqB,EAAE,CAAC;QACtC,gEAAgE;QAChE,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,SAAS;QACrE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,OAAO,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;AACnE,CAAC"}

package/mappings/agent-discovery-standards.ttl

@@ -18,6 +18,8 @@
 @prefix hcs14:    <https://hol.org/standards/hcs-14#> .
 @prefix hcs26:    <https://hol.org/standards/hcs-26#> .
 @prefix oasf:     <https://schema.oasf.outshift.com/#> .
+@prefix ard:      <https://agenticresourcediscovery.org/ns#> .
+@prefix acp:      <https://agentclientprotocol.com/registry/v1#> .
 @prefix ae:       <https://github.com/agentictrustlabs/agent-explorer/tree/main/apps/ontology/ontology#> .
 @prefix dul:      <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#> .
 @prefix prov:     <http://www.w3.org/ns/prov#> .
@@ -38,8 +40,10 @@ ap:Agent rdfs:seeAlso ae:core ;
 
 # ─── PROV-O agent taxonomy ────────────────────────────────────────────
 # Declare the PROV-O agent classes + hierarchy (so the KB shows prov:Agent → Person/Organization/
-# SoftwareAgent), and GROUND the AP agent kinds onto them: ap:Agent ⊑ prov:Agent; PersonAgent ⊑ prov:Person;
-# OrganizationAgent ⊑ prov:Organization; ServiceAgent ⊑ prov:SoftwareAgent (PROV-O's software/application agent).
+# SoftwareAgent). The root alignment itself now lives IN tbox/core.ttl (spec 346 §11; ADR-0061):
+# PersonAgent ⊑ prov:Person; OrganizationAgent ⊑ prov:Organization; ApplicationAgent ⊑ prov:SoftwareAgent
+# (the root the wire value 'service' names), with ServiceAgent ⊑ ApplicationAgent. The axioms below are
+# restated so a KB that loads only the mappings still shows the grounding; they add nothing core does not.
 prov:Agent a owl:Class ; rdfs:label "Agent" .
 prov:Person a owl:Class ; rdfs:subClassOf prov:Agent ; rdfs:label "Person" .
 prov:Organization a owl:Class ; rdfs:subClassOf prov:Agent ; rdfs:label "Organization" .
@@ -48,7 +52,8 @@ prov:SoftwareAgent a owl:Class ; rdfs:subClassOf prov:Agent ; rdfs:label "Softwa
 ap:Agent rdfs:subClassOf prov:Agent .
 ap:PersonAgent rdfs:subClassOf prov:Person .
 ap:OrganizationAgent rdfs:subClassOf prov:Organization .
-ap:ServiceAgent rdfs:subClassOf prov:SoftwareAgent .
+ap:ApplicationAgent rdfs:subClassOf prov:SoftwareAgent .
+ap:ServiceAgent rdfs:subClassOf ap:ApplicationAgent .
 
 apreg:RegistryEntry rdfs:seeAlso ae:discovery, ae:erc8004, ae:hol ;
   skos:closeMatch erc8004:IdentityRegistry ;
@@ -104,3 +109,19 @@ apdisc:EvidencePath rdfs:subClassOf prov:Entity, dul:InformationObject .
 apreg:RegistryEntryBindingProof rdfs:subClassOf prov:Entity, dul:InformationObject .
 apreg:RegistryMembershipPolicy rdfs:subClassOf dul:Description .
 apdisc:TrustPolicy rdfs:subClassOf dul:Description .
+
+# ─── Agentic Resource Discovery (ARD v0.91) + ACP registry — spec 347 §8.5, docs/architecture/ard-acp-crosswalk.md ──
+# ARD is an artifact-agnostic discovery ENVELOPE; its terms are close matches to ours, never replacements. The
+# `urn:air:` identifier is a discovery handle (ap:Agent's canonical id stays the Smart Agent address); ARD `score`
+# is relevance only and MUST NOT be read as trust — the same separation apdisc:TrustDetermination already enforces.
+apreg:RegistryEntry skos:closeMatch ard:Entry .
+ap:Agent rdfs:seeAlso ard:identifier .
+approf:displayName skos:closeMatch ard:displayName .
+approf:description skos:closeMatch ard:description .
+aps:CapabilityDefinition rdfs:seeAlso ard:capabilities .
+apdisc:MatchCandidate rdfs:seeAlso ard:score ;
+  rdfs:comment "ARD `score` (0–100) is semantic relevance only; apdisc:hasTrustDetermination is the SEPARATE trust signal — never blended into an ARD score." .
+apdisc:TrustDetermination rdfs:seeAlso ard:trustManifest .
+apreg:RegistryEntry rdfs:seeAlso acp:Agent ;
+  rdfs:comment "An ACP registry entry is an aggregate projection over admitted entries whose canonical profile declares approf:distribution with acp:true (spec 347 §8.5)." .
+approf:distribution rdfs:seeAlso acp:distribution .

package/mappings/collaboration-crosswalk-organization.ttl

@@ -1,5 +1,6 @@
 # Collaboration crosswalk — organization + enrollment (spec 325 §4.2).
 
+@prefix ap:     <https://agenticprimitives.dev/ns/core#> .
 @prefix aporg:  <https://agenticprimitives.dev/ns/org#> .
 @prefix apsit:  <https://agenticprimitives.dev/ns/situation#> .
 @prefix apdel:  <https://agenticprimitives.dev/ns/delegation#> .
@@ -8,6 +9,8 @@
 @prefix as:     <https://www.w3.org/ns/activitystreams#> .
 @prefix dul:    <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#> .
 @prefix gufo:   <https://w3id.org/vocab/gufo#> .
+@prefix foaf:   <http://xmlns.com/foaf/0.1/> .
+@prefix at:     <https://agentictrustlabs.dev/ns/agentic-trust#> .
 @prefix skos:   <http://www.w3.org/2004/02/skos/core#> .
 @prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
 
@@ -42,3 +45,22 @@ aporg:MembershipInvitation skos:closeMatch as:Invite .
 aporg:MembershipApplication skos:closeMatch as:Join .
 aporg:EnrollmentDecision skos:closeMatch as:Accept, as:Reject .
 aporg:MembershipTermination skos:closeMatch as:Leave, as:Remove .
+
+# ─── Team affiliation + workspace (spec 344 §4.5) ────────────────────────
+# closeMatch only (ADR-0049). `at:` is the agentic-trust upper ontology's covenant-governed sharing
+# cluster; a seeAlso precedent, never an imported superclass.
+ap:TeamAgent skos:closeMatch org:OrganizationalUnit ;
+    rdfs:comment """A unit only under a sole 'chartered' affiliation; jointly-chartered or independent
+      teams are org:FormalOrganization like any other.""" .
+ap:AllianceAgent skos:closeMatch org:FormalOrganization ; rdfs:seeAlso org:linkedTo .
+aporg:charteredBy skos:closeMatch org:unitOf , org:subOrganizationOf .
+aporg:engagedWith skos:closeMatch org:linkedTo .
+aporg:TeamAffiliation rdfs:seeAlso dul:Situation , gufo:Relator .
+aporg:WorkingGroup skos:closeMatch foaf:Group .
+aporg:WorkspaceRepresentation rdfs:seeAlso at:DataProjection ;
+    rdfs:comment """The at: cluster is the covenant-governed sharing precedent: DataCovenant (terms) →
+      DataProjection (the released view) → DataSubscription (the receivers). eng:ProjectionManifest
+      is the decision-record refinement.""" .
+aporg:AffiliationProposal    skos:closeMatch as:Offer .
+aporg:AffiliationDecision    skos:closeMatch as:Accept , as:Reject .
+aporg:AffiliationTermination skos:closeMatch as:Leave , as:Remove .

package/mappings/collaboration-crosswalk-skills.ttl

@@ -43,3 +43,8 @@ aps:IntentCapabilityMatch skos:closeMatch wsmo:Mediator ;
 aps:IntentSkillMatch rdfs:subClassOf aps:IntentCapabilityMatch ; owl:deprecated true .
 
 apint:InvokeSkillIntent rdfs:seeAlso aps:CapabilityDefinition .
+
+# ─── Taxonomy mapping (spec 347 §5) — the reified aps:SkillTaxonomyMapping stands for ONE SKOS
+# mapping triple; `relation` names which. AP ids stay canonical; OASF / HCS-14 taxa are targets.
+aps:SkillTaxonomyMapping rdfs:seeAlso skos:exactMatch, skos:closeMatch, skos:broadMatch, skos:narrowMatch ;
+    rdfs:comment "SkillTaxonomyMappingV1.relation: exact→skos:exactMatch, close→skos:closeMatch, broad→skos:broadMatch, narrow→skos:narrowMatch. Version-pinned; a taxonomy version change is review-required." .

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agenticprimitives/ontology",
-  "version": "1.0.0-alpha.22",
+  "version": "1.0.0-alpha.23",
   "description": "Monorepo-wide formal vocabulary (RDFS/OWL T-box + SHACL/SKOS C-box + A-box fixtures) for agentic primitives. Off-chain source of truth the on-chain ontology (ADR-0009) instantiates. Ships TTL/JSON-LD artifacts + typed IRI constants.",
   "license": "MIT",
   "repository": {
@@ -29,6 +29,7 @@
     "LICENSE",
     "dist",
     "context.jsonld",
+    "run-provenance.jsonld",
     "tbox",
     "cbox",
     "abox",
@@ -41,7 +42,8 @@
   "devDependencies": {
     "vitest": "^4.1.8",
     "@zazuko/env-node": "^2.1.1",
-    "shacl-engine": "^1.1.2"
+    "shacl-engine": "^1.1.2",
+    "@agenticprimitives/provenance": "0.0.0-alpha.2"
   },
   "keywords": [
     "ontology",

package/run-provenance.jsonld

@@ -0,0 +1,106 @@
+{
+  "@context": {
+    "@version": 1.1,
+    "@base": "urn:ap:prov:",
+    "prov": "http://www.w3.org/ns/prov#",
+    "p-plan": "http://purl.org/net/p-plan#",
+    "ep-plan": "https://w3id.org/ep-plan#",
+    "xsd": "http://www.w3.org/2001/XMLSchema#",
+    "ap": "https://agenticprimitives.dev/ns/core#",
+    "apexec": "https://agenticprimitives.dev/ns/execution#",
+    "apactor": "https://agenticprimitives.dev/ns/actor#",
+    "apguide": "https://agenticprimitives.dev/ns/guidance#",
+    "apdel": "https://agenticprimitives.dev/ns/delegation#",
+    "apvr": "https://agenticprimitives.dev/ns/verification-receipt#",
+    "apcoord": "https://agenticprimitives.dev/ns/coordination#",
+    "apix": "https://agenticprimitives.dev/ns/interaction#",
+
+    "id": "@id",
+    "type": "@type",
+    "graph": "@graph",
+
+    "startedAtTime": { "@id": "prov:startedAtTime", "@type": "xsd:dateTime" },
+    "endedAtTime": { "@id": "prov:endedAtTime", "@type": "xsd:dateTime" },
+    "endedAt": { "@id": "apexec:endedAt", "@type": "xsd:dateTime" },
+    "wasAssociatedWith": { "@id": "prov:wasAssociatedWith", "@type": "@id" },
+    "actedOnBehalfOf": { "@id": "prov:actedOnBehalfOf", "@type": "@id" },
+    "wasAttributedTo": { "@id": "prov:wasAttributedTo", "@type": "@id" },
+    "used": { "@id": "prov:used", "@type": "@id", "@container": "@set" },
+    "usedDelegation": { "@id": "apvr:usedDelegation", "@type": "@id" },
+    "generated": { "@id": "prov:generated", "@type": "@id", "@container": "@set" },
+    "wasGeneratedBy": { "@id": "prov:wasGeneratedBy", "@type": "@id" },
+    "wasInformedBy": { "@id": "prov:wasInformedBy", "@type": "@id", "@container": "@set" },
+    "wasDerivedFrom": { "@id": "prov:wasDerivedFrom", "@type": "@id", "@container": "@set" },
+    "wasRevisionOf": { "@id": "prov:wasRevisionOf", "@type": "@id" },
+    "qualifiedAssociation": { "@id": "prov:qualifiedAssociation", "@container": "@set" },
+    "agent": { "@id": "prov:agent", "@type": "@id" },
+    "hadPlan": { "@id": "prov:hadPlan", "@type": "@id" },
+    "hadRole": { "@id": "prov:hadRole", "@type": "@id" },
+    "hasTraceElement": { "@id": "ep-plan:hasTraceElement", "@type": "@id", "@container": "@set" },
+    "isStepOfPlan": { "@id": "p-plan:isStepOfPlan", "@type": "@id" },
+    "isPrecededBy": { "@id": "p-plan:isPrecededBy", "@type": "@id" },
+    "correspondsToStep": { "@id": "p-plan:correspondsToStep", "@type": "@id" },
+    "isDecomposedAsPlan": { "@id": "ep-plan:isDecomposedAsPlan", "@type": "@id" },
+
+    "hasStep": { "@id": "apexec:hasStep", "@type": "@id", "@container": "@set" },
+    "runRef": "apexec:runRef",
+    "intentDigest": "apexec:intentDigest",
+    "completionState": { "@id": "apexec:completionState", "@type": "@vocab" },
+    "receiptDigest": "apexec:receiptDigest",
+    "usedPlanContentHash": "apexec:usedPlanContentHash",
+    "realizesCapability": { "@id": "apexec:realizesCapability", "@type": "@id" },
+    "authorityDecision": "apexec:authorityDecision",
+    "afterApproval": { "@id": "apexec:afterApproval", "@type": "xsd:boolean" },
+    "chainDigest": "apexec:chainDigest",
+    "accountabilityRoot": { "@id": "apexec:accountabilityRoot", "@type": "@id" },
+    "actorContext": { "@id": "apexec:actorContext", "@type": "@id" },
+    "delegatedToAgent": { "@id": "apexec:delegatedToAgent", "@type": "@id" },
+    "errorClass": "apexec:errorClass",
+    "traceId": "apexec:traceId",
+    "spanId": "apexec:spanId",
+    "effectProduces": "apexec:effectProduces",
+    "effectSucceeded": { "@id": "apexec:effectSucceeded", "@type": "xsd:boolean" },
+    "decisionPoint": "apexec:decisionPoint",
+    "decisionRule": "apexec:decisionRule",
+    "artifactBytes": { "@id": "apexec:artifactBytes", "@type": "xsd:integer" },
+    "artifactDigest": "apexec:artifactDigest",
+    "actingAgent": { "@id": "apactor:actingAgent", "@type": "@id" },
+    "originatingAgent": { "@id": "apactor:originatingAgent", "@type": "@id" },
+    "rootPrincipal": { "@id": "apactor:rootPrincipal", "@type": "@id" },
+
+    "Agent": "ap:Agent",
+    "SoftwareAgent": "prov:SoftwareAgent",
+    "Person": "prov:Person",
+    "Organization": "prov:Organization",
+    "AgentRuntime": "apexec:AgentRuntime",
+    "Activity": "prov:Activity",
+    "Entity": "prov:Entity",
+    "Plan": "p-plan:Plan",
+    "Step": "p-plan:Step",
+    "Bundle": "prov:Bundle",
+    "Association": "prov:Association",
+    "ExecutionTraceBundle": "ep-plan:ExecutionTraceBundle",
+    "FailedActivity": "ep-plan:FailedActivity",
+    "ServiceExecution": "apexec:ServiceExecution",
+    "SkillExecution": "apexec:SkillExecution",
+    "ExecutionPlan": "apexec:ExecutionPlan",
+    "AgentSkillPackage": "apguide:AgentSkillPackage",
+    "Delegation": "apdel:Delegation",
+    "StepReceipt": "apexec:StepReceipt",
+    "ChainTransaction": "apexec:ChainTransaction",
+    "Effect": "apexec:Effect",
+    "DecisionRecord": "apexec:DecisionRecord",
+    "RunArtifact": "apexec:RunArtifact",
+    "ActorContext": "apactor:ActorContext",
+    "CommunicationDelivery": "apix:CommunicationDelivery",
+    "IntentInvocation": "apix:IntentInvocation",
+    "OrchestratedTask": "apix:OrchestratedTask",
+    "CoordinationPlan": "apcoord:CoordinationPlan",
+    "PlanStep": "apcoord:PlanStep",
+    "Completed": "apexec:Completed",
+    "Failed": "apexec:Failed",
+    "Refused": "apexec:Refused",
+    "Skipped": "apexec:Skipped",
+    "Suspended": "apexec:Suspended"
+  }
+}

package/tbox/actor-context.ttl

@@ -9,6 +9,7 @@
 @prefix ap:      <https://agenticprimitives.dev/ns/core#> .
 @prefix apsit:   <https://agenticprimitives.dev/ns/situation#> .
 @prefix apdel:   <https://agenticprimitives.dev/ns/delegation#> .
+@prefix aporg:   <https://agenticprimitives.dev/ns/org#> .
 @prefix prov:    <http://www.w3.org/ns/prov#> .
 @prefix owl:     <http://www.w3.org/2002/07/owl#> .
 @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@@ -132,3 +133,13 @@ apactor:executedByWorkload a owl:ObjectProperty ;
     rdfs:domain apactor:SubjectRef ; rdfs:range apactor:SubjectRef ;
     rdfs:label "executedByWorkload" ;
     rdfs:comment "SubjectBinding relationship: the operation was executed by the object workload on behalf of the subject agent." .
+
+# ─── The Activities edge into the workspace plane (spec 344 §4.3) ──────────
+
+apactor:withinWorkspace a owl:ObjectProperty ;
+    rdfs:domain apactor:ActorContext ; rdfs:range aporg:Workspace ;
+    rdfs:label "withinWorkspace" ;
+    rdfs:comment """The workspace this hop was performed within, when one applies. Joins the portable
+      authority chain (actingAgent / rootPrincipal / AuthorityChainEnvelope) to the coordination
+      plane — the review's WorkspaceContext realized ON spec 326, not beside it. Makes the
+      workspace an audit context: filtering acts by workspace becomes a query.""" .