@agenticprimitives/orchestration 0.0.0-alpha.1 → 0.0.0-alpha.2

package/dist/record.js

@@ -0,0 +1,72 @@
+import { runIntent } from './loop.js';
+export function recordOf(input) {
+    const stepRefOf = (o, i) => o.stepRef ?? o.step.id ?? `s${i}`;
+    return {
+        type: 'ap.run-record.v1',
+        runRef: input.runRef,
+        at: input.now ?? Date.now(),
+        intent: input.intent,
+        plan: input.result.plan,
+        steps: input.result.steps.map((o, i) => ({
+            stepRef: stepRefOf(o, i), toolId: o.step.toolId, args: o.step.args, ok: o.ok,
+            ...(o.result !== undefined ? { result: o.result } : {}), ...(o.error ? { error: o.error } : {}),
+            ...(o.skipped ? { skipped: true } : {}), ...(o.replayed ? { replayed: true } : {}),
+        })),
+        receipts: [...input.result.receipts],
+        events: [...input.events],
+        outcome: input.result.outcome,
+        ...(input.traceContext ? { traceContext: input.traceContext } : {}),
+        ...(input.planner ? { planner: input.planner } : {}),
+        ...(typeof input.receivedAt === 'number' && input.receivedAt > 0 ? { receivedAt: input.receivedAt } : {}),
+        ...(input.offloaded?.length ? { offloaded: input.offloaded } : {}),
+        ...(input.bill ? { bill: input.bill } : {}),
+        ...(input.presented?.length ? { presented: [...input.presented] } : {}),
+    };
+}
+/** An invoker that answers each step from the record and runs nothing. A step the record does not hold
+ *  is refused, never executed: a replay may not do new work under an old name. */
+export function replayingInvoker(record) {
+    const byRef = new Map(record.steps.map((s) => [s.stepRef, s]));
+    return async (toolId, _args, ctx) => {
+        const stepRef = ctx.step.id ?? `s${ctx.index}`;
+        const rec = byRef.get(stepRef);
+        if (!rec || rec.toolId !== toolId)
+            throw new Error(`replay: step ${stepRef} (${toolId}) was not recorded — nothing runs on a replay`);
+        if (!rec.ok)
+            throw new Error(rec.error ?? `replay: step ${stepRef} failed when recorded`);
+        return rec.result;
+    };
+}
+function verdictOf(r) {
+    return r?.authority?.decision.decision ?? null;
+}
+/**
+ * Replay a record: the SAME plan (the planner is not asked), the SAME observations (the tools are not
+ * run), and a FRESH pass through every gate the caller provides. Compare per step what was decided then
+ * with what is decided now. `opts` carries the live ports, tools and — when the caller can present them —
+ * the record's own mandates (a replay presenting nothing reports authority-required for every act, which
+ * is also a true statement about now).
+ */
+export async function replayRun(record, opts) {
+    const result = await runIntent(record.intent, {
+        ...opts,
+        planner: { plan: async () => ({ steps: record.plan.steps.map((s) => ({ ...s })), rationale: `replay of ${record.runRef}` }) },
+        invoke: replayingInvoker(record),
+        runRef: `${record.runRef}:replay`,
+        onMissingMandate: 'report',
+        presented: opts.presented ?? record.presented ?? null,
+    });
+    const recordedBy = new Map(record.receipts.filter((r) => !r.stepRef.endsWith(':compensate')).map((r) => [r.stepRef, r]));
+    const replayedBy = new Map(result.receipts.map((r) => [r.stepRef, r]));
+    const refs = [...new Set([...recordedBy.keys(), ...replayedBy.keys()])];
+    const verdicts = refs.map((stepRef) => {
+        const rec = recordedBy.get(stepRef);
+        const rep = replayedBy.get(stepRef);
+        const recorded = verdictOf(rec);
+        const replayed = verdictOf(rep);
+        const because = rep?.authority?.decision.decision === 'deny' ? rep.authority.decision.reasons.map((x) => `${x.code}: ${x.message}`).join('; ') : rep?.status === 'authority-required' ? 'no mandate presented on the replay' : undefined;
+        return { stepRef, toolId: rec?.toolId ?? rep?.toolId ?? '', recorded, replayed, changed: recorded !== replayed, ...(because ? { because } : {}) };
+    });
+    return { runRef: record.runRef, outcome: result.outcome, recordedOutcome: record.outcome, verdicts, result };
+}
+//# sourceMappingURL=record.js.map

package/dist/record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../src/record.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,SAAS,EAAsB,MAAM,WAAW,CAAC;AA0E1D,MAAM,UAAU,QAAQ,CAAC,KAA0S;IACjU,MAAM,SAAS,GAAG,CAAC,CAAkB,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;IACvF,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,EAAE,EAAE,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE;QAC3B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI;QACvB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE;YAC5E,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnF,CAAC,CAAC;QACH,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;QACpC,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QACzB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO;QAC7B,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzG,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC;AACJ,CAAC;AAED;kFACkF;AAClF,MAAM,UAAU,gBAAgB,CAAC,MAAmB;IAClD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,OAAO,KAAK,EAAE,MAAc,EAAE,KAA8B,EAAE,GAAkB,EAAE,EAAE;QAClF,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,OAAO,KAAK,MAAM,+CAA+C,CAAC,CAAC;QACtI,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,gBAAgB,OAAO,uBAAuB,CAAC,CAAC;QAC1F,OAAO,GAAG,CAAC,MAAM,CAAC;IACpB,CAAC,CAAC;AACJ,CAAC;AAuBD,SAAS,SAAS,CAAC,CAA0B;IAC3C,OAAO,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC;AACjD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,MAAmB,EAAE,IAAkH;IACrK,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE;QAC5C,GAAG,IAAI;QACP,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,aAAa,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE;QAC7H,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC;QAChC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,SAAS;QACjC,gBAAgB,EAAE,QAAQ;QAC1B,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,IAAI,IAAI;KACtD,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAoB,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACrD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAAC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,GAAG,EAAE,SAAS,EAAE,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,oBAAoB,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzO,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,KAAK,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACpJ,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC/G,CAAC"}

package/dist/spans.d.ts

@@ -0,0 +1,200 @@
+import type { RunRecordV1 } from './record.js';
+import type { StepReceipt } from './authority.js';
+/** One span, vendor-neutral. Ids are W3C trace-context sized (16-byte trace, 8-byte span), derived from the
+ *  run and step references so a re-export of the same record is the same trace. */
+export interface SpanV1 {
+    traceId: string;
+    spanId: string;
+    parentSpanId?: string;
+    name: string;
+    kind: 'INTERNAL' | 'CLIENT' | 'SERVER';
+    /** Milliseconds since the epoch. */
+    startMs: number;
+    endMs: number;
+    status: 'OK' | 'ERROR' | 'UNSET';
+    attributes: Record<string, string | number | boolean>;
+    /** Spec 381 W2 — a causal link to a span of ANOTHER run in the same trace: the child run a step was handed
+     *  to. Ids only; the link carries no more than the span does. */
+    links?: Array<{
+        traceId: string;
+        spanId: string;
+        attributes?: Record<string, string>;
+    }>;
+    /** Spec 390 W4 — the run's events on the span they belong to (a verdict, an approval, a receipt), as OTel span
+     *  events: the event's name, when, and names-and-classes attributes through the same allowlist. */
+    events?: Array<{
+        name: string;
+        timeMs: number;
+        attributes?: Record<string, string | number | boolean>;
+    }>;
+}
+/** The attribute names a span MAY carry — the firewall's allowlist. Anything else is refused at export. */
+export declare const SPAN_ATTRIBUTE_ALLOWLIST: ReadonlySet<string>;
+/** Spec 390 — the PROV ids a span names, derived exactly as `provenance.harnessIds` derives them (the two
+ *  packages cannot import each other; `run-export.test.ts` asserts they agree). */
+export declare const PROV_ID_BASE = "urn:ap:prov:";
+export declare const provIds: {
+    run: (runRef: string) => string;
+    step: (runRef: string, stepRef: string) => string;
+    bundle: (runRef: string) => string;
+    plan: (runRef: string) => string;
+    planStep: (runRef: string, stepRef: string) => string;
+};
+/** The digest of a receipt as recorded — the one thing a span carries that names an act. */
+export declare function receiptDigest(r: StepReceipt): Promise<string>;
+/** W3C-sized ids derived from references: 16-byte trace, 8-byte span. Correlation, never trust (spec 390). */
+export declare const traceIdOf: (runRef: string) => Promise<string>;
+export declare const spanIdOf: (runRef: string, stepRef: string | null) => Promise<string>;
+/** Spec 390 W2 — THE TRACE A RUN BELONGS TO, and what its root span is parented to. The wire wins: a
+ *  `traceparent` the request arrived with names the caller's trace and span. Absent that, a routed or
+ *  handed-off run derives the sender's trace from the run it answers (381 W2); a fresh run derives its own.
+ *  One rule, used by the spans and by the provenance view, so the graph and the trace name the same trace. */
+export declare function traceIdFor(record: RunRecordV1): Promise<{
+    traceId: string;
+    parentSpanId?: string;
+    origin?: {
+        runRef: string;
+        stepRef?: string;
+    };
+}>;
+/** The run as spans. Pure; the same record always yields the same trace. */
+export declare function spansOf(record: RunRecordV1): Promise<SpanV1[]>;
+/**
+ * Spec 390 W3 — THE AUTHORITY STAGES, THE MODEL CALLS AND THE OUTCOME AS SPANS, projected from the record's
+ * stamped events (`RunEvent.at`) and its planner summary. Nothing is instrumented inline: the same record
+ * yields the same tree, and the firewall stays the whole surface.
+ *
+ *   invoke_agent
+ *    ├── receive_request      the request's arrival → RunStarted: admission and preparation (session, standing, playbook), un-itemised
+ *    ├── identify_principal   instant, at run start — the standing this hop ran under (383 W2), the anchors as digests
+ *    ├── plan [model]         RunStarted → the first PlanCreated; `chat` on the model that planned, with the route's reason
+ *    ├── execute_tool <tool>  the step (381), and UNDER it:
+ *    │    ├── verify_mandate      StepProposed → MandateChecked (and again after an approval)
+ *    │    ├── await_approval      ApprovalRequested → ApprovalDischarged, when both landed in this record
+ *    │    └── perform_action      instant at the step's end when it left a chain transaction or effects
+ *    └── issue_outcome        RunCompleted → the record's time; `chat` on the model that composed
+ *
+ * A stage whose two stamps are not both on the record is not emitted — a record written before events
+ * were stamped simply has no stage spans, never guessed ones. `resolve_delegation` (the chain walk) is not
+ * a separate span: the verifier walks the chain inside `verify_mandate`, whose attributes carry the chain
+ * (depth, digest) — one span, said honestly. `retrieval` waits for a tool to DECLARE itself one.
+ */
+export declare function stageSpansOf(record: RunRecordV1, ctx: {
+    traceId: string;
+    rootId: string;
+    stepIds: Map<string, string>;
+}): Promise<SpanV1[]>;
+/**
+ * THE FIREWALL, re-read. Every attribute must be allowlisted, and no value may carry an address, the
+ * intent's words, or any step's argument values. Throws naming the span and attribute, so a leak is a
+ * build failure and a test failure, never a quiet export.
+ */
+export declare function assertFirewalled(spans: readonly SpanV1[], record: RunRecordV1): void;
+/** Spec 390 W4 — the same firewall over a run's metric attributes: allowlisted names, no address, no words. */
+export declare function assertMetricsFirewalled(points: ReadonlyArray<{
+    attributes: Record<string, string | number | boolean>;
+}>, record: RunRecordV1): void;
+/** The OTLP/HTTP JSON body for these spans (`ExportTraceServiceRequest`), for a collector's `/v1/traces`.
+ *  Pure: the caller posts it. `resource` names the exporting service (its attributes go through the same
+ *  allowlist as a span's would not — they name the SERVICE, never the run, so `service.name` is the one). */
+export declare function otlpTracesOf(spans: readonly SpanV1[], resource: {
+    serviceName: string;
+    version?: string;
+}): unknown;
+/** What the vault keeps of a run (spec 381 §2): the PROV-O A-box in record form — one activity per step,
+ *  what it used (the authority), what it generated (the receipt, by digest), how it ended. Never the
+ *  arguments, results or words; those are the DO's rebuildable copy and the person's own memory. */
+export interface RunProvenanceV1 {
+    type: 'ap.run-provenance.v1';
+    runRef: string;
+    /** ISO time the run ended. */
+    endedAt: string;
+    /** The agent the run ran at — whose authority was spent, whose vault this is. */
+    agent: string;
+    /** Who asked — an address the record's intent carried, or absent for an unattended run. */
+    asker?: string;
+    intentDigest?: string;
+    outcome: RunRecordV1['outcome'];
+    /** The playbook the run followed, when one did (the commitment is the definition digest). */
+    playbook?: {
+        skillId: string;
+        version: string;
+        commitment: string;
+    };
+    /** Spec 389 — the request this run answered (a routed or handed-off run, 367 §8): the sender's agent, run
+     *  and step, so the run's provenance bundle can say which bundle it `wasInformedBy`. */
+    inResponseTo?: {
+        agent: string;
+        runRef: string;
+        stepRef?: string;
+    };
+    /** Spec 390 — the trace the run's spans belong to and the run's root span, so the graph names the trace. */
+    traceId: string;
+    spanId: string;
+    steps: Array<{
+        stepRef: string;
+        /** Spec 390 — the span this step's activity is. */
+        spanId: string;
+        toolId: string;
+        capability?: {
+            id: string;
+            action: string;
+        };
+        risk?: string;
+        status: string;
+        startedAt?: string;
+        endedAt?: string;
+        authority?: {
+            presentedRef: string | null;
+            decision: string;
+            afterApproval: boolean;
+            /** Spec 383 — the verified chain: every grant by reference, the accountability root, the acting agent. */
+            chain?: {
+                accountabilityRoot: string;
+                actingAgent: string;
+                depth: number;
+                chainDigest: string;
+                links: Array<{
+                    ref: string;
+                    delegator: string;
+                    delegate: string;
+                    parentRef: string | null;
+                }>;
+            };
+        };
+        /** Spec 383 — who acted for whom in this hop. */
+        actor?: {
+            rootPrincipal?: string;
+            originatingAgent?: string;
+            actingAgent: string;
+        };
+        receiptDigest?: string;
+        inputDigest?: string;
+        outputDigest?: string;
+        /** A chain transaction the step left, when its result named one — the one public fact a step can cite. */
+        txHash?: string;
+        delegatedTo?: string;
+        /** Spec 389 — the child run a hand-off step's work ran as (its bundle is what the step `wasInformedBy`). */
+        delegatedToRun?: string;
+        /** Spec 391 — the step's raw result was offloaded to the acting agent's vault. */
+        artifact?: {
+            recordType: string;
+            digest: string;
+            bytes: number;
+        };
+        effects?: Array<{
+            produces: string;
+            ok: boolean;
+        }>;
+        decisions?: Array<{
+            point: string;
+            ruleId: string;
+        }>;
+        errorClass?: string;
+    }>;
+}
+export declare function provenanceOf(record: RunRecordV1, agent: string): Promise<RunProvenanceV1>;
+/** The vault record key a run's provenance lives under, in the acting agent's vault. */
+export declare const RUN_PROVENANCE_RECORD_PREFIX: "run.provenance:";
+export declare const runProvenanceRecordKey: (runRef: string) => string;
+//# sourceMappingURL=spans.d.ts.map

package/dist/spans.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spans.d.ts","sourceRoot":"","sources":["../src/spans.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAGlD;mFACmF;AACnF,MAAM,WAAW,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACvC,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,IAAI,GAAG,OAAO,GAAG,OAAO,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;IACtD;qEACiE;IACjE,KAAK,CAAC,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC,CAAC;IACxF;uGACmG;IACnG,MAAM,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAA;KAAE,CAAC,CAAC;CAC1G;AAED,2GAA2G;AAC3G,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,MAAM,CA6BvD,CAAC;AAEH;mFACmF;AACnF,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAC3C,eAAO,MAAM,OAAO;kBACJ,MAAM;mBACL,MAAM,WAAW,MAAM;qBACrB,MAAM;mBACR,MAAM;uBACF,MAAM,WAAW,MAAM;CAC3C,CAAC;AASF,4FAA4F;AAC5F,wBAAsB,aAAa,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAEnE;AAUD,8GAA8G;AAC9G,eAAO,MAAM,SAAS,WAAkB,MAAM,oBAAmD,CAAC;AAClG,eAAO,MAAM,QAAQ,WAAkB,MAAM,WAAW,MAAM,GAAG,IAAI,oBAAsE,CAAC;AAE5I;;;8GAG8G;AAC9G,wBAAsB,UAAU,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAC,CAMxJ;AAaD,4EAA4E;AAC5E,wBAAsB,OAAO,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAkFpE;AA0BD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAgIjJ;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI,CA8BpF;AAED,+GAA+G;AAC/G,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,aAAa,CAAC;IAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAA;CAAE,CAAC,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI,CAUnJ;AAED;;6GAE6G;AAC7G,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAsBnH;AAID;;oGAEoG;AACpG,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,KAAK,EAAE,MAAM,CAAC;IACd,2FAA2F;IAC3F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IAChC,6FAA6F;IAC7F,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE;4FACwF;IACxF,YAAY,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,4GAA4G;IAC5G,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,KAAK,CAAC;QACX,OAAO,EAAE,MAAM,CAAC;QAChB,mDAAmD;QACnD,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,CAAC,EAAE;YAAE,EAAE,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;QAC5C,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,SAAS,CAAC,EAAE;YAAE,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;YAAC,QAAQ,EAAE,MAAM,CAAC;YAAC,aAAa,EAAE,OAAO,CAAC;YAClF,0GAA0G;YAC1G,KAAK,CAAC,EAAE;gBAAE,kBAAkB,EAAE,MAAM,CAAC;gBAAC,WAAW,EAAE,MAAM,CAAC;gBAAC,KAAK,EAAE,MAAM,CAAC;gBAAC,WAAW,EAAE,MAAM,CAAC;gBAAC,KAAK,EAAE,KAAK,CAAC;oBAAE,GAAG,EAAE,MAAM,CAAC;oBAAC,SAAS,EAAE,MAAM,CAAC;oBAAC,QAAQ,EAAE,MAAM,CAAC;oBAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;iBAAE,CAAC,CAAA;aAAE,CAAA;SAAE,CAAC;QAClM,iDAAiD;QACjD,KAAK,CAAC,EAAE;YAAE,aAAa,CAAC,EAAE,MAAM,CAAC;YAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC;QACnF,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,0GAA0G;QAC1G,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,4GAA4G;QAC5G,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,kFAAkF;QAClF,QAAQ,CAAC,EAAE;YAAE,UAAU,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;QACjE,OAAO,CAAC,EAAE,KAAK,CAAC;YAAE,QAAQ,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;QACnD,SAAS,CAAC,EAAE,KAAK,CAAC;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QACrD,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,CAAC,CAAC;CACJ;AAED,wBAAsB,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAqD/F;AAED,wFAAwF;AACxF,eAAO,MAAM,4BAA4B,EAAG,iBAA0B,CAAC;AACvE,eAAO,MAAM,sBAAsB,WAAY,MAAM,KAAG,MAAoD,CAAC"}