@agenticprimitives/orchestration 0.0.0-alpha.4 → 0.0.0-alpha.6

package/dist/trace-facts.d.ts

@@ -0,0 +1,84 @@
+import type { RunRecordV1 } from './record.js';
+/** How the request reached the harness. Ids only. */
+export interface RunDoorV1 {
+    kind: 'a2a-message' | 'harness-ask' | 'routed' | 'trigger' | 'resume' | 'home-mcp' | 'channel-mention' | 'background';
+    /** A2A 1.0 `Message.messageId` / `contextId` / task id, when the door was an A2A message. */
+    messageId?: string;
+    contextId?: string;
+    taskId?: string;
+    /** Spec 397 — through a HOST (the Home MCP): which registered client of the person, and under which template
+     *  (`ask-as-me`, `act-as-me`). Ids only; the wire itself is never here. */
+    client?: string;
+    template?: string;
+}
+/** One language-model call the run made. Times in ms. */
+/** What a provider REPORTED a model call used (never an estimate): input and output tokens, and where the provider
+ *  says so, the input served from its prompt cache and the output spent on reasoning. */
+export interface ModelUsageV1 {
+    tokensIn: number;
+    tokensOut: number;
+    cachedIn?: number;
+    reasoningOut?: number;
+}
+/** Sum usages (an absent one contributes nothing). */
+export declare function addUsage(a: ModelUsageV1 | undefined, b: ModelUsageV1 | undefined): ModelUsageV1 | undefined;
+export interface ModelCallV1 {
+    /** `judge`: the call that chose a skill (spec 415 selection); `structured`: a step's own structured call. */
+    role: 'plan' | 'compose' | 'structured' | 'judge';
+    /** Spec 417 §5 — the step whose call this was (a skill's answer); absent for the plan, the compose and the judge. */
+    stepRef?: string;
+    /** The call failed (no answer came back); its time and tokens still count. */
+    failed?: boolean;
+    model?: string;
+    provider?: string;
+    /** A digest of the prompt (never the prompt) — two runs share a prompt exactly when these match. */
+    promptDigest?: string;
+    tokensIn?: number;
+    tokensOut?: number;
+    /** Spec 388 — why this provider carried the call (a reason code). */
+    routeReason?: string;
+    startMs?: number;
+    endMs?: number;
+}
+/** The configuration a run ran under — each part something a comparison may change on its own. */
+export interface VariantV1 {
+    /** The playbook, by its definition commitment; absent = the bare harness. */
+    playbook?: string;
+    /** supplied | compiled | model | rule-based. */
+    plannerKind?: string;
+    /** Spec 388 route policy (`budget`, a pinned provider …). */
+    routePolicy?: string;
+    /** The runtime's build (deployment version id / commit). */
+    build?: string;
+    /** Harness-capability toggles by notation (`retrieval/kb` → `off`). Absent ⇒ defaults. */
+    toggles?: Record<string, string>;
+}
+/** The seeded records a run began from, by digest (a comparison's fixture). Absent for a live run. */
+export interface StartingStateRefV1 {
+    digest: string;
+}
+export type EngagementEffectV1 = 'changed-plan' | 'changed-step' | 'changed-answer' | 'no-change' | 'refused';
+/** One engagement of a harness capability — on the run (no `stepRef`) or on one step. */
+export interface HarnessEngagementV1 {
+    capability: string;
+    effect: EngagementEffectV1;
+    version?: string;
+    stepRef?: string;
+    /** Spec 415 §3a — for a `skill-selection/*` engagement: candidates offered, chosen, and the rejected neighbour (IRIs). */
+    offered?: string[];
+    chose?: string[];
+    rejected?: string[];
+    /** Spec 415 A4 — the request typed in the domain ontology (class IRIs; `https://agenticprimitives.dev/ns/execution#OutsideDomain`). */
+    intent?: {
+        requests?: string;
+        about?: string[];
+    };
+}
+/** A variant's identity: SHA-256 over its canonical JSON (keys sorted — RFC 8785 for these string-valued parts). */
+export declare function variantDigestOf(v: VariantV1): Promise<`sha256:${string}`>;
+/** The planner kind as a harness-capability notation. */
+export declare function plannerCapabilityOf(kind: string | undefined): string | undefined;
+/** Every engagement the record shows, derived, merged with the explicit stamps (first mention wins per capability
+ *  and step). Deterministic: the same record yields the same list. */
+export declare function engagementsOf(record: RunRecordV1): HarnessEngagementV1[];
+//# sourceMappingURL=trace-facts.d.ts.map

package/dist/trace-facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace-facts.d.ts","sourceRoot":"","sources":["../src/trace-facts.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG/C,qDAAqD;AACrD,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,GAAG,aAAa,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,GAAG,iBAAiB,GAIlG,YAAY,CAAC;IACjB,6FAA6F;IAC7F,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;+EAC2E;IAC3E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,yDAAyD;AACzD;yFACyF;AACzF,MAAM,WAAW,YAAY;IAAG,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE;AAC/G,sDAAsD;AACtD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,YAAY,GAAG,SAAS,EAAE,CAAC,EAAE,YAAY,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAK3G;AAED,MAAM,WAAW,WAAW;IAC1B,6GAA6G;IAC7G,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,YAAY,GAAG,OAAO,CAAC;IAClD,qHAAqH;IACrH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oGAAoG;IACpG,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,kGAAkG;AAClG,MAAM,WAAW,SAAS;IACxB,6EAA6E;IAC7E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gDAAgD;IAChD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,0FAA0F;IAC1F,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClC;AAED,sGAAsG;AACtG,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,kBAAkB,GAAG,cAAc,GAAG,cAAc,GAAG,gBAAgB,GAAG,WAAW,GAAG,SAAS,CAAC;AAE9G,yFAAyF;AACzF,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0HAA0H;IAC1H,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,uIAAuI;IACvI,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAClD;AAED,oHAAoH;AACpH,wBAAsB,eAAe,CAAC,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC,UAAU,MAAM,EAAE,CAAC,CAG/E;AAED,yDAAyD;AACzD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAKhF;AAED;sEACsE;AACtE,wBAAgB,aAAa,CAAC,MAAM,EAAE,WAAW,GAAG,mBAAmB,EAAE,CAyCxE"}

package/dist/trace-facts.js

@@ -0,0 +1,82 @@
+import { canonicalJson, isArtifactRef, resultFactsOf } from './artifacts.js';
+/** Sum usages (an absent one contributes nothing). */
+export function addUsage(a, b) {
+    if (!a)
+        return b;
+    if (!b)
+        return a;
+    const opt = (x, y) => (x === undefined && y === undefined ? undefined : (x ?? 0) + (y ?? 0));
+    const cachedIn = opt(a.cachedIn, b.cachedIn), reasoningOut = opt(a.reasoningOut, b.reasoningOut);
+    return { tokensIn: a.tokensIn + b.tokensIn, tokensOut: a.tokensOut + b.tokensOut, ...(cachedIn !== undefined ? { cachedIn } : {}), ...(reasoningOut !== undefined ? { reasoningOut } : {}) };
+}
+/** A variant's identity: SHA-256 over its canonical JSON (keys sorted — RFC 8785 for these string-valued parts). */
+export async function variantDigestOf(v) {
+    const bytes = new Uint8Array(await crypto.subtle.digest('SHA-256', new TextEncoder().encode(canonicalJson(v))));
+    return `sha256:${Array.from(bytes, (b) => b.toString(16).padStart(2, '0')).join('')}`;
+}
+/** The planner kind as a harness-capability notation. */
+export function plannerCapabilityOf(kind) {
+    if (!kind)
+        return undefined;
+    if (kind === 'supplied')
+        return 'planner/supplied';
+    if (kind === 'compiled')
+        return 'planner/compiled-shape';
+    return 'planner/model';
+}
+/** Every engagement the record shows, derived, merged with the explicit stamps (first mention wins per capability
+ *  and step). Deterministic: the same record yields the same list. */
+export function engagementsOf(record) {
+    const out = [];
+    const seen = new Set();
+    const add = (e) => {
+        const k = `${e.capability}|${e.stepRef ?? ''}`;
+        if (seen.has(k))
+            return;
+        seen.add(k);
+        out.push(e);
+    };
+    for (const e of record.engaged ?? [])
+        add(e);
+    // The planner proposed the plan (a supplied plan is still "the plan came from here").
+    const planner = plannerCapabilityOf(record.variant?.plannerKind);
+    if (planner)
+        add({ capability: planner, effect: record.plan.steps.length ? 'changed-plan' : 'no-change' });
+    // Plan admission: a refusal that forced a replan changed the plan; one that ended the run refused.
+    const refusals = record.events.filter((e) => e.type === 'PlanRefused');
+    if (refusals.length)
+        add({ capability: 'plan-admission', effect: refusals.some((r) => r.replanning) ? 'changed-plan' : 'refused' });
+    // A playbook governed the run.
+    if (record.receipts.some((r) => r.skillRef))
+        add({ capability: 'playbook', effect: 'changed-plan' });
+    // Fan-out (spec 380): the loop expands one step into `<base>#<k>` steps — its own id convention — so an expanded
+    // step on the record IS the evidence the plan was widened.
+    if (record.steps.some((s) => /#\d+$/.test(s.stepRef)))
+        add({ capability: 'fan-out', effect: 'changed-plan' });
+    const receipts = new Map(record.receipts.map((r) => [r.stepRef, r]));
+    const replayed = new Set(record.events.filter((e) => e.type === 'StepReplayed').map((e) => e.stepRef));
+    const approvalRefused = new Set(record.events.filter((e) => e.type === 'ApprovalRefused').map((e) => e.stepRef));
+    for (const s of record.steps) {
+        const r = receipts.get(s.stepRef);
+        const facts = resultFactsOf(s.result);
+        // Spec 413 — the declared retrieval step grounds what is SAID: passages that came back changed the answer.
+        if (s.stepRef === 'retrieve')
+            add({ capability: 'retrieval/kb', stepRef: s.stepRef, effect: s.ok && typeof facts?.count === 'number' && facts.count > 0 ? 'changed-answer' : 'no-change' });
+        if (replayed.has(s.stepRef) || s.replayed)
+            add({ capability: 'durable-resume', stepRef: s.stepRef, effect: 'changed-step' });
+        if (r?.authority?.afterApproval)
+            add({ capability: 'approval', stepRef: s.stepRef, effect: 'changed-step' });
+        if (approvalRefused.has(s.stepRef))
+            add({ capability: 'approval', stepRef: s.stepRef, effect: 'refused' });
+        if (r?.decisions?.length)
+            add({ capability: 'decision-rules', stepRef: s.stepRef, effect: 'changed-step' });
+        if (r?.binding?.correlation?.delegatedTo)
+            add({ capability: 'handoff', stepRef: s.stepRef, effect: 'changed-step' });
+        else if (typeof facts?.via?.runRef === 'string')
+            add({ capability: 'routing', stepRef: s.stepRef, effect: 'changed-step' });
+        if (isArtifactRef(s.result))
+            add({ capability: 'context-offload', stepRef: s.stepRef, effect: 'changed-step' });
+    }
+    return out;
+}
+//# sourceMappingURL=trace-facts.js.map

package/dist/trace-facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace-facts.js","sourceRoot":"","sources":["../src/trace-facts.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAuB7E,sDAAsD;AACtD,MAAM,UAAU,QAAQ,CAAC,CAA2B,EAAE,CAA2B;IAC/E,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAAC,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/G,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;IACjG,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/L,CAAC;AAwDD,oHAAoH;AACpH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,CAAY;IAChD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChH,OAAO,UAAU,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,mBAAmB,CAAC,IAAwB;IAC1D,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,kBAAkB,CAAC;IACnD,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,wBAAwB,CAAC;IACzD,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;sEACsE;AACtE,MAAM,UAAU,aAAa,CAAC,MAAmB;IAC/C,MAAM,GAAG,GAA0B,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,CAAsB,EAAQ,EAAE;QAC3C,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACxB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE;QAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAE7C,sFAAsF;IACtF,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACjE,IAAI,OAAO;QAAE,GAAG,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3G,mGAAmG;IACnG,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAwE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IAC7I,IAAI,QAAQ,CAAC,MAAM;QAAE,GAAG,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IACpI,+BAA+B;IAC/B,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAAE,GAAG,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IAErG,iHAAiH;IACjH,2DAA2D;IAC3D,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAAE,GAAG,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IAE9G,MAAM,QAAQ,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;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAyB,CAAC,OAAO,CAAC,CAAC,CAAC;IAChI,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAyB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1I,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,CAAgE,CAAC;QACrG,2GAA2G;QAC3G,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;YAAE,GAAG,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,IAAI,OAAO,KAAK,EAAE,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5L,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,GAAG,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;QAC7H,IAAI,CAAC,EAAE,SAAS,EAAE,aAAa;YAAE,GAAG,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;QAC7G,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3G,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM;YAAE,GAAG,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;QAC5G,IAAI,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW;YAAE,GAAG,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;aAChH,IAAI,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,KAAK,QAAQ;YAAE,GAAG,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;QAC5H,IAAI,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,GAAG,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IAClH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/types.d.ts

@@ -9,9 +9,52 @@ export interface Intent {
     constraints?: Record<string, unknown>;
     /** Optional context the planner may use (principal handle, locale…). Opaque to the loop. */
     context?: Record<string, unknown>;
+    /** Spec 410 §5 — the versions this intent is acted under: the ontology manifest digest and the compiled
+     *  definition's digest. Set by the runtime before the intent is offered for a mandate; the intent digest
+     *  (RFC 8785 over the whole object) then binds them, and the verifier recomputes under the versions it
+     *  runs with. Opaque to the loop; the shape is `delegation.VersionBindingV1`. */
+    versions?: {
+        ontologyManifestDigest: string;
+        semanticsDigest: string;
+    };
 }
 /** A capability the agent MAY compose. The planner picks from these; the loop refuses any other tool id. */
 export type OutcomeClass = 'lookup' | 'submission' | 'authoritative';
+/**
+ * Spec 410 §2 — the adapter's declaration, on the tool contract. `verificationWindow` is the time between the
+ * harness's check and the provider's commit, as an ISO 8601 duration (`PT30S`) or the word `unbounded` — a
+ * legal and visible answer. `retry` says what a second identical call does; `cancellation` what a cancel can
+ * do — `none` means the word is absent from every projection of this tool.
+ */
+export interface AdapterDeclarationV1 {
+    verificationWindow: string;
+    retry: 'idempotent-by-key' | 'never' | 'compensating';
+    cancellation: 'none' | 'before-commit' | 'compensating';
+}
+/**
+ * Spec 426 — AN EXECUTOR INVOKE DECLARATION: "call executor E's skill S as me, and hand me back its receipt."
+ * A capability carrying this is dispatched by ONE generic invoker (no runtime tool per domain): it resolves
+ * `executor` to a URL + client through OPERATOR CONFIG (never a hardcoded host — `executor` is a NAME, not a
+ * URL), obtains a session for the RUN'S PRINCIPAL, sends one A2A `message/send` carrying `metadata.skill =
+ * intent`, and records the receipt in `run.provenance`. An `invoke` block IMPLIES self-acting (v1): the write
+ * is to the principal's own domain, so the session is the authority and no mandate is minted — the generic
+ * invoker takes the session from the principal structurally, never from an arg (§6; `check:invoke-is-self-acting`).
+ */
+export interface ExecutorInvokeV1 {
+    /** v1's only transport. */
+    transport: 'a2a.message-send';
+    /** A NAME the operator maps to { url, client } — never a URL (ADR-0021: no host in a tool or a package). */
+    executor: string;
+    /** The executor's skill id → `metadata.skill`: which of its skills it runs. */
+    intent: string;
+    /** How the capability's args map onto the message. */
+    args: {
+        /** The arg holding the free-text part ("what happened, in my words") → the message text. */
+        goal: string;
+        /** Args passed through as message metadata. */
+        metadata?: string[];
+    };
+}
 export interface ToolSpec {
     /** Stable tool id (matches the invoker's dispatch key, e.g. an MCP tool name). */
     id: string;
@@ -36,6 +79,10 @@ export interface ToolSpec {
         action: string;
         resourceArg?: string;
         authorityArg?: string;
+        /** Spec 408 §2.2 — this tool REDEEMS the mandate on chain (a payment, a chartered treasury's transfer):
+         *  every enforcer fires at redemption, so a caveat with no off-chain judge may be recorded as enforced
+         *  there. Absent ⇒ the step is judged strictly off chain. Declared on the tool, never by a plan. */
+        redeemsOnChain?: boolean;
     };
     /**
      * Spec 366 — the argument naming the agent this act is ABOUT and is ANSWERED BY. When it resolves to an
@@ -92,6 +139,17 @@ export interface ToolSpec {
      * can tell an act authorized by a session from one authorized by a signature.
      */
     selfAuthorized?: true;
+    /**
+     * Spec 426 — this tool is an EXECUTOR INVOKE: it has no built-in invoker; the one generic invoker reads this
+     * block, calls the resolved executor as the run's principal, and returns its receipt. Compiled from the
+     * contract's `invoke` declaration (the only place a tool gains a behaviour by declaration, not runtime code).
+     * Its presence IMPLIES `selfAuthorized` (v1 is self-acting); a value-moving or cross-principal invoke is out of
+     * scope and keeps its own mandate-gated tool. The generic invoker, not this field, is the gate.
+     */
+    invoke?: ExecutorInvokeV1;
+    /** Spec 420 — this tool's invoker honours `ctx.dryRun` (checks its preconditions, writes nothing), so a comparison may
+     *  INVOKE it instead of holding it before invocation — its refusal ("nothing I remember contains …") is then testable. */
+    dryRun?: 'invoke';
     /**
      * Spec 363 W5 — the DECISION POINTS this capability consults, by id.
      *
@@ -110,6 +168,14 @@ export interface ToolSpec {
         toolId: string;
         args: Record<string, unknown>;
     };
+    /** Spec 410 §2 — what this tool's ADAPTER declares about the effect it makes. Required of every tool that
+     *  submits or commits (`establishes` ≠ lookup); a generated surface may say "cancel" only when
+     *  `cancellation` is not `none`. Declared, never inferred from a response. */
+    adapter?: AdapterDeclarationV1;
+    /** Spec 410 §7 — WHAT THIS TOOL'S WRITE CARRIES, per argument, as ontology classes (`{ body: ['apvault:ContactEmail'] }`).
+     *  The information-flow caveat on a mandate names what a write may carry; the verifier compares the classes of
+     *  the arguments a step presents against it. Declared by the adapter's author, never inferred from a value. */
+    carries?: Readonly<Record<string, readonly string[]>>;
     /** An irreversible action: imposes `fresh-authorization` whatever the tier. */
     irreversible?: boolean;
     /** Spec 358 W4 — this tool's result ENUMERATES the objects of a domain relation (an ontology IRI,
@@ -167,6 +233,9 @@ export interface PlanStep {
     };
 }
 /** The ordered tool composition the planner produced for an intent. */
+/** Spec 421 W1 — the reserved continuation step ("show me what these reads return, then I will plan the rest"). A plan
+ *  node, never a tool the loop invokes or a verifier judges. */
+export declare const CONTINUE_STEP_ID = "plan.continue";
 export interface Plan {
     steps: PlanStep[];
     /** Optional one-line reasoning (audit/telemetry only — never trusted as authority). */
@@ -227,10 +296,14 @@ export interface RunResult {
         };
         risk: import('./authority.js').ResolvedStep['risk'];
         args: Record<string, unknown>;
+        /** Spec 410 §7 — what the tool declares its inputs carry, so the requirement can name what the write may carry. */
+        carries?: ToolSpec['carries'];
+        /** Spec 421 W2 — whose words each argument came from (the planner's raw values, before resolution). */
+        derivation?: Record<string, import('./derivation.js').ArgDerivationV1>;
     };
 }
 /** Stable error codes the loop / planners raise (fail-closed; never a silent empty success). */
-export type OrchestrationErrorCode = 'no_plan' | 'unknown_tool' | 'empty_plan' | 'max_steps' | 'planner_failed' | 'no_authority_port' | 'no_approval_port' | 'no_mandate_presented' | 'keyring_needs_selector' | 'fan_out_unbound' | 'fan_out_not_array' | 'fan_out_refused' | 'fan_out_over_limit';
+export type OrchestrationErrorCode = 'no_plan' | 'reconcile_indeterminate' | 'unknown_tool' | 'empty_plan' | 'max_steps' | 'planner_failed' | 'no_authority_port' | 'no_approval_port' | 'no_mandate_presented' | 'keyring_needs_selector' | 'fan_out_unbound' | 'fan_out_not_array' | 'fan_out_refused' | 'resume_integrity' | 'fan_out_over_limit';
 export declare class OrchestrationError extends Error {
     readonly code: OrchestrationErrorCode;
     constructor(code: OrchestrationErrorCode, message: string);

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAQA,eAAO,MAAM,YAAY,EAAG,kCAA2C,CAAC;AACxE,eAAO,MAAM,cAAc,EAAG,SAAkB,CAAC;AACjD,eAAO,MAAM,QAAQ,EAAG,gCAAyC,CAAC;AAElE,sGAAsG;AACtG,MAAM,WAAW,MAAM;IACrB,4EAA4E;IAC5E,IAAI,EAAE,MAAM,CAAC;IACb,wGAAwG;IACxG,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,4FAA4F;IAC5F,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED,4GAA4G;AAC5G,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,GAAG,eAAe,CAAC;AAErE,MAAM,WAAW,QAAQ;IACvB,kFAAkF;IAClF,EAAE,EAAE,MAAM,CAAC;IACX,uGAAuG;IACvG,WAAW,EAAE,MAAM,CAAC;IACpB,uGAAuG;IACvG,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACzF;;;;;OAKG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;yEAEqE;IACrE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;oGACgG;IAChG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;;OAQG;IACH,WAAW,CAAC,EAAE,YAAY,CAAC;IAC3B,2GAA2G;IAC3G,IAAI,CAAC,EAAE,OAAO,gCAAgC,EAAE,QAAQ,CAAC;IACzD;;;;;;;;;;;;;;;;;;;OAmBG;IACH,cAAc,CAAC,EAAE,IAAI,CAAC;IACtB;;;;;;;;;;OAUG;IACH,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B;6FACyF;IACzF,YAAY,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;IACjE,+EAA+E;IAC/E,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB;;;wFAGoF;IACpF,UAAU,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAClC;gGAC4F;IAC5F,WAAW,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAChG;AAED,+GAA+G;AAC/G,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,2GAA2G;IAC3G,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,4GAA4G;IAC5G,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ;;0EAEsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mGAAmG;IACnG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;wGAIoG;IACpG,OAAO,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1B;;;kGAG8F;IAC9F,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;4DAIwD;IACxD,IAAI,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CAC5D;AAED,uEAAuE;AACvE,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,CAAC;IACf,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,yGAAyG;IACzG,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;yFACqF;IACrF,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,0FAA0F;IAC1F,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;;;yEAKyE;AACzE,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,oBAAoB,CAAC;AAEhG,sEAAsE;AACtE,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,UAAU,CAAC;IACpB,mEAAmE;IACnE,IAAI,EAAE,IAAI,CAAC;IACX,yEAAyE;IACzE,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,sFAAsF;IACtF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mFAAmF;IACnF,MAAM,EAAE,MAAM,CAAC;IACf,8FAA8F;IAC9F,QAAQ,EAAE,OAAO,gBAAgB,EAAE,WAAW,EAAE,CAAC;IACjD,uEAAuE;IACvE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;mGAC+F;IAC/F,MAAM,CAAC,EAAE,OAAO,YAAY,EAAE,cAAc,CAAC;IAC7C;;iDAE6C;IAC7C,QAAQ,CAAC,EAAE;QACT,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE;YAAE,EAAE,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;YAAC,SAAS,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;QAClF,IAAI,EAAE,OAAO,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KAC/B,CAAC;CACH;AAED,gGAAgG;AAChG,MAAM,MAAM,sBAAsB,GAC9B,SAAS,GACT,cAAc,GACd,YAAY,GACZ,WAAW,GACX,gBAAgB,GAChB,mBAAmB,GACnB,kBAAkB,GAClB,sBAAsB,GACtB,wBAAwB,GACxB,iBAAiB,GACjB,mBAAmB,GACnB,iBAAiB,GACjB,oBAAoB,CAAC;AAEzB,qBAAa,kBAAmB,SAAQ,KAAK;aAEzB,IAAI,EAAE,sBAAsB;gBAA5B,IAAI,EAAE,sBAAsB,EAC5C,OAAO,EAAE,MAAM;CAKlB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAQA,eAAO,MAAM,YAAY,EAAG,kCAA2C,CAAC;AACxE,eAAO,MAAM,cAAc,EAAG,SAAkB,CAAC;AACjD,eAAO,MAAM,QAAQ,EAAG,gCAAyC,CAAC;AAElE,sGAAsG;AACtG,MAAM,WAAW,MAAM;IACrB,4EAA4E;IAC5E,IAAI,EAAE,MAAM,CAAC;IACb,wGAAwG;IACxG,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,4FAA4F;IAC5F,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC;;;qFAGiF;IACjF,QAAQ,CAAC,EAAE;QAAE,sBAAsB,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,CAAA;KAAE,CAAC;CACxE;AAED,4GAA4G;AAC5G,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,GAAG,eAAe,CAAC;AAErE;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,KAAK,EAAE,mBAAmB,GAAG,OAAO,GAAG,cAAc,CAAC;IACtD,YAAY,EAAE,MAAM,GAAG,eAAe,GAAG,cAAc,CAAC;CACzD;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,2BAA2B;IAC3B,SAAS,EAAE,kBAAkB,CAAC;IAC9B,4GAA4G;IAC5G,QAAQ,EAAE,MAAM,CAAC;IACjB,+EAA+E;IAC/E,MAAM,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,IAAI,EAAE;QACJ,4FAA4F;QAC5F,IAAI,EAAE,MAAM,CAAC;QACb,+CAA+C;QAC/C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;KACrB,CAAC;CACH;AAED,MAAM,WAAW,QAAQ;IACvB,kFAAkF;IAClF,EAAE,EAAE,MAAM,CAAC;IACX,uGAAuG;IACvG,WAAW,EAAE,MAAM,CAAC;IACpB,uGAAuG;IACvG,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE;QACX,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QACxE;;4GAEoG;QACpG,cAAc,CAAC,EAAE,OAAO,CAAC;KAC1B,CAAC;IACF;;;;;OAKG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;yEAEqE;IACrE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;oGACgG;IAChG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;;OAQG;IACH,WAAW,CAAC,EAAE,YAAY,CAAC;IAC3B,2GAA2G;IAC3G,IAAI,CAAC,EAAE,OAAO,gCAAgC,EAAE,QAAQ,CAAC;IACzD;;;;;;;;;;;;;;;;;;;OAmBG;IACH,cAAc,CAAC,EAAE,IAAI,CAAC;IACtB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B;8HAC0H;IAC1H,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB;;;;;;;;;;OAUG;IACH,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B;6FACyF;IACzF,YAAY,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;IACjE;;kFAE8E;IAC9E,OAAO,CAAC,EAAE,oBAAoB,CAAC;IAC/B;;mHAE+G;IAC/G,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACtD,+EAA+E;IAC/E,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB;;;wFAGoF;IACpF,UAAU,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAClC;gGAC4F;IAC5F,WAAW,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAChG;AAED,+GAA+G;AAC/G,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,2GAA2G;IAC3G,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,4GAA4G;IAC5G,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ;;0EAEsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mGAAmG;IACnG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;wGAIoG;IACpG,OAAO,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1B;;;kGAG8F;IAC9F,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;4DAIwD;IACxD,IAAI,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CAC5D;AAED,uEAAuE;AACvE;gEACgE;AAChE,eAAO,MAAM,gBAAgB,kBAAkB,CAAC;AAEhD,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,CAAC;IACf,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,yGAAyG;IACzG,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;yFACqF;IACrF,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,0FAA0F;IAC1F,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;;;yEAKyE;AACzE,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,oBAAoB,CAAC;AAEhG,sEAAsE;AACtE,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,UAAU,CAAC;IACpB,mEAAmE;IACnE,IAAI,EAAE,IAAI,CAAC;IACX,yEAAyE;IACzE,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,sFAAsF;IACtF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mFAAmF;IACnF,MAAM,EAAE,MAAM,CAAC;IACf,8FAA8F;IAC9F,QAAQ,EAAE,OAAO,gBAAgB,EAAE,WAAW,EAAE,CAAC;IACjD,uEAAuE;IACvE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;mGAC+F;IAC/F,MAAM,CAAC,EAAE,OAAO,YAAY,EAAE,cAAc,CAAC;IAC7C;;iDAE6C;IAC7C,QAAQ,CAAC,EAAE;QACT,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE;YAAE,EAAE,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;YAAC,SAAS,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;QAClF,IAAI,EAAE,OAAO,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9B,mHAAmH;QACnH,OAAO,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC9B,uGAAuG;QACvG,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,iBAAiB,EAAE,eAAe,CAAC,CAAC;KACxE,CAAC;CACH;AAED,gGAAgG;AAChG,MAAM,MAAM,sBAAsB,GAC9B,SAAS,GACT,yBAAyB,GACzB,cAAc,GACd,YAAY,GACZ,WAAW,GACX,gBAAgB,GAChB,mBAAmB,GACnB,kBAAkB,GAClB,sBAAsB,GACtB,wBAAwB,GACxB,iBAAiB,GACjB,mBAAmB,GACnB,iBAAiB,GACjB,kBAAkB,GAClB,oBAAoB,CAAC;AAEzB,qBAAa,kBAAmB,SAAQ,KAAK;aAEzB,IAAI,EAAE,sBAAsB;gBAA5B,IAAI,EAAE,sBAAsB,EAC5C,OAAO,EAAE,MAAM;CAKlB"}

package/dist/types.js

@@ -8,6 +8,10 @@
 export const PACKAGE_NAME = '@agenticprimitives/orchestration';
 export const PACKAGE_STATUS = 'w1-core';
 export const SPEC_REF = 'packages/orchestration/spec.md';
+/** The ordered tool composition the planner produced for an intent. */
+/** Spec 421 W1 — the reserved continuation step ("show me what these reads return, then I will plan the rest"). A plan
+ *  node, never a tool the loop invokes or a verifier judges. */
+export const CONTINUE_STEP_ID = 'plan.continue';
 export class OrchestrationError extends Error {
     code;
     constructor(code, message) {

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,sGAAsG;AACtG,EAAE;AACF,+FAA+F;AAC/F,2GAA2G;AAC3G,6GAA6G;AAC7G,6GAA6G;AAC7G,+GAA+G;AAE/G,MAAM,CAAC,MAAM,YAAY,GAAG,kCAA2C,CAAC;AACxE,MAAM,CAAC,MAAM,cAAc,GAAG,SAAkB,CAAC;AACjD,MAAM,CAAC,MAAM,QAAQ,GAAG,gCAAyC,CAAC;AAoOlE,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEzB;IADlB,YACkB,IAA4B,EAC5C,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHC,SAAI,GAAJ,IAAI,CAAwB;QAI5C,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,sGAAsG;AACtG,EAAE;AACF,+FAA+F;AAC/F,2GAA2G;AAC3G,6GAA6G;AAC7G,6GAA6G;AAC7G,+GAA+G;AAE/G,MAAM,CAAC,MAAM,YAAY,GAAG,kCAA2C,CAAC;AACxE,MAAM,CAAC,MAAM,cAAc,GAAG,SAAkB,CAAC;AACjD,MAAM,CAAC,MAAM,QAAQ,GAAG,gCAAyC,CAAC;AAyNlE,uEAAuE;AACvE;gEACgE;AAChE,MAAM,CAAC,MAAM,gBAAgB,GAAG,eAAe,CAAC;AAqFhD,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEzB;IADlB,YACkB,IAA4B,EAC5C,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHC,SAAI,GAAJ,IAAI,CAAwB;QAI5C,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF"}

package/package.json

@@ -1,17 +1,21 @@
 {
   "name": "@agenticprimitives/orchestration",
-  "version": "0.0.0-alpha.4",
+  "version": "0.0.0-alpha.6",
   "description": "The Ring-0 agentic orchestration core (ADR-0044): the intent→plan→execute→observe loop, the Planner + ToolInvoker ports, and a deterministic rule-based planner. A first-party app expresses a goal; the loop plans which tools compose to satisfy it and runs them through an injected invoker. Pure leaf — no transport, no LLM SDK, no chain; the concrete LLM binding lives behind the Planner port in orchestration-anthropic.",
+  "homepage": "https://agenticprimitives.dev",
+  "bugs": {
+    "url": "https://github.com/agentictrustlabs/agenticprimitives/issues"
+  },
+  "author": {
+    "name": "Agentic Trust Labs",
+    "url": "https://agenticprimitives.dev"
+  },
   "license": "MIT",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/agentictrustlabs/agenticprimitives.git",
     "directory": "packages/orchestration"
   },
-  "homepage": "https://github.com/agentictrustlabs/agenticprimitives/tree/master/packages/orchestration",
-  "bugs": {
-    "url": "https://github.com/agentictrustlabs/agenticprimitives/issues"
-  },
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -39,10 +43,15 @@
     "orchestration",
     "planner",
     "intent",
-    "agentic-loop"
+    "agentic-loop",
+    "agentic-primitives",
+    "agenticprimitives",
+    "ai-agents",
+    "agent-authority",
+    "agentic-trust"
   ],
   "dependencies": {
-    "@agenticprimitives/tool-policy": "1.0.0-alpha.25"
+    "@agenticprimitives/tool-policy": "1.0.0-alpha.27"
   },
   "scripts": {
     "build": "tsc -p tsconfig.build.json",