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

package/dist/relations.js

@@ -0,0 +1,104 @@
+// THE R-BOX, COMPILED — spec 363 W3.
+//
+// The T-box says what things ARE. The R-BOX says how relations COMPOSE: which one is the inverse of
+// which, and which two links make a third. Those are ENTAILMENTS — always true, no exceptions — which is
+// why they belong in OWL beside the terms, and why this file is a projection of them rather than a
+// second opinion.
+//
+// WHY IT NEEDED COMPILING AT ALL. A resolver runs inside a request and cannot query a triple store
+// (spec 355 §1), so the axioms are read here as a table — the same arrangement `party-roles` has, with
+// the same gate keeping it honest. `check:ontology-bindings` refuses a relation whose IRI the T-box does
+// not declare, refuses an inverse that is not declared as one, and refuses a `PARTY_ROLES.traverse`
+// naming a relation this table does not know how to walk.
+//
+// WHAT IT REPLACES: thirty-five T-box files held SEVEN axioms, and every traversal a capability needed
+// was hand-listed on its party role instead — so "follow the ownership link" was written once per
+// capability, and adding a household meant editing tables rather than declaring one chain.
+//
+// IT COMPOSES PREFERENCES AND BELONGING, NEVER PERMISSION. `charteredUnder` is belonging (ADR-0010) and
+// `primaryPayee` is a preference; a chain of the two says where money would LAND, never that anybody may
+// send it. No verifier reads this file.
+const AP = 'https://agenticprimitives.dev/ns/core#';
+const AP_HH = 'https://agenticprimitives.dev/ns/household#';
+const AP_ORG = 'https://agenticprimitives.dev/ns/org#';
+/**
+ * Every relation a resolver may traverse.
+ *
+ * ONLY WHAT IS ACTUALLY WALKED. This is not a mirror of the ontology's properties — most of them are
+ * facts nobody follows at request time. A relation earns a row here when some capability's resolution
+ * depends on following it, which is also what makes the gate's demand reasonable.
+ */
+export const RELATION_AXIOMS = [
+    {
+        iri: `${AP}charteredUnder`, inverseOf: `${AP}charters`,
+        says: 'the agent this one was created under and belongs to — never authority over it',
+    },
+    {
+        iri: `${AP}charters`, inverseOf: `${AP}charteredUnder`,
+        says: 'the agents created under this one — the direction "what does alice hold" traverses',
+    },
+    {
+        iri: `${AP}primaryPayee`,
+        says: 'the account its owner wants paid into — a preference, and the reason a payer stops asking',
+    },
+    {
+        iri: `${AP}primaryPayer`,
+        says: 'the account its owner usually pays from — the mirror, and deliberately not the same account',
+    },
+    {
+        iri: `${AP_HH}memberOfHousehold`, inverseOf: `${AP_HH}householdMember`,
+        says: 'the households this agent belongs to, as a member recorded them — private tier, never published',
+    },
+    {
+        iri: `${AP_HH}householdMember`, inverseOf: `${AP_HH}memberOfHousehold`,
+        says: 'the agents in this household — the direction "who do I live with" traverses',
+    },
+    {
+        // THE CHAIN THAT PAYS FOR THE R-BOX. "Send my daughter her allowance" is two links: the household
+        // says who she is, her own mark says where her money goes. One axiom answers it; written in code,
+        // every capability that needs it grows a table and they drift.
+        iri: `${AP_HH}householdPayee`, chain: [`${AP_HH}householdMember`, `${AP}primaryPayee`],
+        says: "a household member's own chosen account — where money sent to them would land",
+    },
+    {
+        iri: `${AP_ORG}memberAgent`,
+        says: 'the agent a membership is of — a Situation, never a delegation and never a directory row',
+    },
+];
+export function relationAxiom(iri) {
+    return RELATION_AXIOMS.find((r) => r.iri === iri);
+}
+/** The inverse of a relation, or undefined — undefined means "one direction only", not "unknown". */
+export function inverseOf(iri) {
+    return relationAxiom(iri)?.inverseOf;
+}
+/** The links a composed relation is, or null when it is primitive (which is most of them). */
+export function chainOf(iri) {
+    const c = relationAxiom(iri)?.chain;
+    return c && c.length ? c : null;
+}
+/**
+ * Walk a declared chain from a subject, using a caller-supplied reader for each link.
+ *
+ * THE CALLER READS, THIS COMPOSES — the same split the decision plane uses. Only the caller knows where
+ * a link lives (a chain role, a vault record, a contract edge); only the axiom knows which links a
+ * relation is and in what order, and keeping that here is what stops a second capability writing its own
+ * two-step by hand.
+ *
+ * FAIL-CLOSED: a relation with no declared chain returns nothing rather than falling back to "just follow
+ * something" — an undeclared traversal is exactly the guess this table exists to remove.
+ */
+export async function walkChain(iri, subject, follow) {
+    const chain = chainOf(iri);
+    if (!chain)
+        return [];
+    let frontier = [subject];
+    for (const link of chain) {
+        const next = await Promise.all(frontier.map((f) => follow(link, f)));
+        frontier = [...new Set(next.flat().filter(Boolean))];
+        if (!frontier.length)
+            return [];
+    }
+    return frontier;
+}
+//# sourceMappingURL=relations.js.map

package/dist/relations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relations.js","sourceRoot":"","sources":["../src/relations.ts"],"names":[],"mappings":"AAAA,qCAAqC;AACrC,EAAE;AACF,oGAAoG;AACpG,yGAAyG;AACzG,mGAAmG;AACnG,kBAAkB;AAClB,EAAE;AACF,mGAAmG;AACnG,uGAAuG;AACvG,yGAAyG;AACzG,oGAAoG;AACpG,0DAA0D;AAC1D,EAAE;AACF,uGAAuG;AACvG,kGAAkG;AAClG,2FAA2F;AAC3F,EAAE;AACF,wGAAwG;AACxG,yGAAyG;AACzG,wCAAwC;AAExC,MAAM,EAAE,GAAG,wCAAwC,CAAC;AACpD,MAAM,KAAK,GAAG,6CAA6C,CAAC;AAC5D,MAAM,MAAM,GAAG,uCAAuC,CAAC;AAsBvD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAA+B;IACzD;QACE,GAAG,EAAE,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU;QACtD,IAAI,EAAE,+EAA+E;KACtF;IACD;QACE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,gBAAgB;QACtD,IAAI,EAAE,oFAAoF;KAC3F;IACD;QACE,GAAG,EAAE,GAAG,EAAE,cAAc;QACxB,IAAI,EAAE,2FAA2F;KAClG;IACD;QACE,GAAG,EAAE,GAAG,EAAE,cAAc;QACxB,IAAI,EAAE,6FAA6F;KACpG;IACD;QACE,GAAG,EAAE,GAAG,KAAK,mBAAmB,EAAE,SAAS,EAAE,GAAG,KAAK,iBAAiB;QACtE,IAAI,EAAE,iGAAiG;KACxG;IACD;QACE,GAAG,EAAE,GAAG,KAAK,iBAAiB,EAAE,SAAS,EAAE,GAAG,KAAK,mBAAmB;QACtE,IAAI,EAAE,6EAA6E;KACpF;IACD;QACE,kGAAkG;QAClG,kGAAkG;QAClG,+DAA+D;QAC/D,GAAG,EAAE,GAAG,KAAK,gBAAgB,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,iBAAiB,EAAE,GAAG,EAAE,cAAc,CAAC;QACtF,IAAI,EAAE,+EAA+E;KACtF;IACD;QACE,GAAG,EAAE,GAAG,MAAM,aAAa;QAC3B,IAAI,EAAE,0FAA0F;KACjG;CACF,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,GAAgB;IAC5C,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AACpD,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,SAAS,CAAC,GAAgB;IACxC,OAAO,aAAa,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC;AACvC,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,OAAO,CAAC,GAAgB;IACtC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC;IACpC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,GAAgB,EAChB,OAAe,EACf,MAAuE;IAEvE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,IAAI,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;IAClC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/run-provenance-context.d.ts

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

package/dist/run-provenance-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-provenance-context.d.ts","sourceRoot":"","sources":["../src/run-provenance-context.ts"],"names":[],"mappings":"AAQA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiNzB,CAAC"}

package/dist/run-provenance-context.js

@@ -0,0 +1,219 @@
+// THE RUN-PROVENANCE CONTEXT, AS A CONSTANT — spec 389. The published artifact is `run-provenance.jsonld`
+// at the package root (a stock JSON-LD processor loads it); this is the same object for a Worker, which
+// has no filesystem. `test/unit/run-provenance-graph.test.ts` asserts the two are byte-for-byte the same
+// document, so there is one context, not a file and a copy that drift.
+//
+// Every term here maps to a T-box IRI (`tbox/execution.ttl`, `plan.ttl`, `actor-context.ttl`,
+// `verification-receipt.ttl`, `guidance.ttl`), and the same test checks each against the T-box: a term
+// the ontology does not declare cannot be a field of the record.
+export const RUN_PROVENANCE_CONTEXT = {
+    "@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"
+    }
+};
+//# sourceMappingURL=run-provenance-context.js.map

package/dist/run-provenance-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-provenance-context.js","sourceRoot":"","sources":["../src/run-provenance-context.ts"],"names":[],"mappings":"AAAA,0GAA0G;AAC1G,wGAAwG;AACxG,yGAAyG;AACzG,uEAAuE;AACvE,EAAE;AACF,8FAA8F;AAC9F,uGAAuG;AACvG,iEAAiE;AACjE,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,UAAU,EAAE;QACV,UAAU,EAAE,GAAG;QACf,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,4BAA4B;QACpC,QAAQ,EAAE,6BAA6B;QACvC,SAAS,EAAE,2BAA2B;QACtC,KAAK,EAAE,mCAAmC;QAC1C,IAAI,EAAE,wCAAwC;QAC9C,QAAQ,EAAE,6CAA6C;QACvD,SAAS,EAAE,yCAAyC;QACpD,SAAS,EAAE,4CAA4C;QACvD,OAAO,EAAE,8CAA8C;QACvD,MAAM,EAAE,wDAAwD;QAChE,SAAS,EAAE,gDAAgD;QAC3D,MAAM,EAAE,+CAA+C;QACvD,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,cAAc;SACxB;QACD,aAAa,EAAE;YACb,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,cAAc;SACxB;QACD,SAAS,EAAE;YACT,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,cAAc;SACxB;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;SACf;QACD,MAAM,EAAE;YACN,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,WAAW,EAAE;YACX,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,KAAK;SACf;QACD,sBAAsB,EAAE;YACtB,KAAK,EAAE,2BAA2B;YAClC,YAAY,EAAE,MAAM;SACrB;QACD,OAAO,EAAE;YACP,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,KAAK;SACf;QACD,oBAAoB,EAAE;YACpB,KAAK,EAAE,4BAA4B;YACnC,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,QAAQ,EAAE,eAAe;QACzB,cAAc,EAAE,qBAAqB;QACrC,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,QAAQ;SAClB;QACD,eAAe,EAAE,sBAAsB;QACvC,qBAAqB,EAAE,4BAA4B;QACnD,oBAAoB,EAAE;YACpB,KAAK,EAAE,2BAA2B;YAClC,OAAO,EAAE,KAAK;SACf;QACD,mBAAmB,EAAE,0BAA0B;QAC/C,eAAe,EAAE;YACf,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,aAAa;SACvB;QACD,aAAa,EAAE,oBAAoB;QACnC,oBAAoB,EAAE;YACpB,KAAK,EAAE,2BAA2B;YAClC,OAAO,EAAE,KAAK;SACf;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,KAAK;SACf;QACD,YAAY,EAAE,mBAAmB;QACjC,SAAS,EAAE,gBAAgB;QAC3B,QAAQ,EAAE,eAAe;QACzB,gBAAgB,EAAE,uBAAuB;QACzC,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,aAAa;SACvB;QACD,eAAe,EAAE,sBAAsB;QACvC,cAAc,EAAE,qBAAqB;QACrC,eAAe,EAAE;YACf,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,aAAa;SACvB;QACD,gBAAgB,EAAE,uBAAuB;QACzC,aAAa,EAAE;YACb,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,uBAAuB;YAC9B,OAAO,EAAE,KAAK;SACf;QACD,OAAO,EAAE,UAAU;QACnB,eAAe,EAAE,oBAAoB;QACrC,QAAQ,EAAE,aAAa;QACvB,cAAc,EAAE,mBAAmB;QACnC,cAAc,EAAE,qBAAqB;QACrC,UAAU,EAAE,eAAe;QAC3B,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,aAAa;QACrB,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE,aAAa;QACvB,aAAa,EAAE,kBAAkB;QACjC,sBAAsB,EAAE,8BAA8B;QACtD,gBAAgB,EAAE,wBAAwB;QAC1C,kBAAkB,EAAE,yBAAyB;QAC7C,gBAAgB,EAAE,uBAAuB;QACzC,eAAe,EAAE,sBAAsB;QACvC,mBAAmB,EAAE,2BAA2B;QAChD,YAAY,EAAE,kBAAkB;QAChC,aAAa,EAAE,oBAAoB;QACnC,kBAAkB,EAAE,yBAAyB;QAC7C,QAAQ,EAAE,eAAe;QACzB,gBAAgB,EAAE,uBAAuB;QACzC,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE,sBAAsB;QACtC,uBAAuB,EAAE,4BAA4B;QACrD,kBAAkB,EAAE,uBAAuB;QAC3C,kBAAkB,EAAE,uBAAuB;QAC3C,kBAAkB,EAAE,0BAA0B;QAC9C,UAAU,EAAE,kBAAkB;QAC9B,WAAW,EAAE,kBAAkB;QAC/B,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,gBAAgB;QAC3B,SAAS,EAAE,gBAAgB;QAC3B,WAAW,EAAE,kBAAkB;KAChC;CACO,CAAC"}

package/dist/vault-records.d.ts

@@ -0,0 +1,74 @@
+/** Whose vault a record of this kind normally lives in. Narrows which subjects are worth READING for a
+ *  question; never who may read them. */
+export type VaultRecordOwner = 'person' | 'organization' | 'either';
+/**
+ * WHAT A RECORD IS FOR — and the reason "unbound" needed to stop being one word for two things.
+ *
+ *   `entity` — a THING the ontology describes. A question may reach it, because asking "what endeavors
+ *              do I have" and reading `coordination.endeavor:*` are the same act.
+ *   `index`  — a PROJECTION over entities: an index, a cursor, a name map, an event log. Deliberately
+ *              not askable. Binding one would let a question be answered from a cache rather than from
+ *              the records, and the cache is exactly the thing that goes stale (ADR-0055).
+ *
+ * A record type that appears in neither list is UNCLASSIFIED, which is a gap rather than a decision —
+ * `scripts/vault-ontology-coverage.mts` prints those, and they are the work queue.
+ */
+export type VaultRecordRole = 'entity' | 'index';
+export interface VaultRecordBinding {
+    /** The record-type key. `exact` for a singleton, `prefix` for a keyed family (`coordination.endeavor:`). */
+    match: {
+        exact?: string;
+        prefix?: string;
+    };
+    /** What a record of this kind IS — an `owl:Class` the T-box declares. Bound by IRI, checked at build. */
+    class: string;
+    /** The words a person would use for it. Rendered INTO a planner's grounding, never written there. */
+    label: string;
+    /** Plural, for the sentence an answer is made of ("3 endeavors"). */
+    plural: string;
+    ownedBy: VaultRecordOwner;
+    /** Default `entity`. An `index` is never offered as something a question can be answered from. */
+    role?: VaultRecordRole;
+    /**
+     * FIELD → T-BOX PROPERTY, for records this repo authors.
+     *
+     * The point of the whole exercise: a record should be readable BY the ontology rather than interpreted
+     * INTO it. When the field names ARE the property names, "who are the members" is a lookup; when they
+     * are not, something has to know that `orgAgent` here means the member and there means the org — and
+     * that something is a person reading code, or a model guessing.
+     *
+     * PATHS. `a.b` is a nested field; `[]` is the element of an array; `{}` is the KEY of a map — that last
+     * one matters, because `relationships.data` keys its entries BY the organization's address, and a
+     * reader that does not know the key is the org has to be told, somewhere, by someone.
+     *
+     * MAP ONLY WHAT GENUINELY CORRESPONDS. A field mapped to a property that means something slightly
+     * different is worse than an unmapped field: unmapped is honest, and a plausible wrong mapping is
+     * believed. Where a record's fields correspond to nothing the T-box declares, it carries no map and
+     * `scripts/vault-ontology-coverage.mts` counts it — that gap is the work queue, and closing it means
+     * either declaring the property or reshaping the record on its next write.
+     *
+     * `check:ontology-bindings` verifies every IRI exists in the T-box, so a mapping cannot invent a
+     * property any more than a binding can invent a class.
+     */
+    properties?: Record<string, string>;
+}
+/**
+ * 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 declare const VAULT_RECORD_BINDINGS: readonly VaultRecordBinding[];
+/** 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 declare function bindingForRecordType(recordType: string): VaultRecordBinding | undefined;
+/** The kinds a question may be ASKED about — label → class. The askable set is this, never the model's. */
+export declare function askableRecordKinds(): Array<{
+    label: string;
+    plural: string;
+    class: string;
+}>;
+/** Every record type bound to this class — what a query over a kind must actually read. */
+export declare function recordTypesForClass(classIri: string): VaultRecordBinding[];
+//# sourceMappingURL=vault-records.d.ts.map

package/dist/vault-records.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vault-records.d.ts","sourceRoot":"","sources":["../src/vault-records.ts"],"names":[],"mappings":"AA0CA;yCACyC;AACzC,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,cAAc,GAAG,QAAQ,CAAC;AAEpE;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEjD,MAAM,WAAW,kBAAkB;IACjC,4GAA4G;IAC5G,KAAK,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,yGAAyG;IACzG,KAAK,EAAE,MAAM,CAAC;IACd,qGAAqG;IACrG,KAAK,EAAE,MAAM,CAAC;IACd,qEAAqE;IACrE,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,gBAAgB,CAAC;IAC1B,kGAAkG;IAClG,IAAI,CAAC,EAAE,eAAe,CAAC;IACvB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,kBAAkB,EAwQ9D,CAAC;AAEF;2GAC2G;AAC3G,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS,CAOvF;AAED,2GAA2G;AAC3G,wBAAgB,kBAAkB,IAAI,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAU5F;AAED,2FAA2F;AAC3F,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAE1E"}