@archmax-ai/harness 0.0.0

package/dist/workflow/middleware.d.ts

@@ -0,0 +1,85 @@
+import type { StructuredTool } from "@langchain/core/tools";
+import type { AgentMiddleware } from "langchain";
+import type { ScriptExecutor } from "../sandbox/executor.js";
+import type { PtcToolGateway } from "../sandbox/ptc-gateway.js";
+import { LifecycleRunner, type HookExecutor, type HookScriptResolver } from "../lifecycle/runner.js";
+import type { WorkflowMachine } from "../machine/machine.js";
+import type { Rubric } from "../rubrics/rubrics.js";
+import type { Workspace } from "../core/workspace.js";
+import { type WorkflowEventHandler } from "../core/events.js";
+import type { VariableStore } from "../machine/variables.js";
+import type { SubWorkflowDispatcher } from "./sub-workflow.js";
+import type { GovernanceRule } from "../kernel/kernel.js";
+import { type MountPrefixes } from "../core/mounts.js";
+import type { SkillRegistry } from "../core/skills.js";
+import { type PricingTable } from "../core/usage.js";
+import { type PromptShaping, type StateModels } from "./governance.js";
+export type { PromptShaping, StateModels } from "./governance.js";
+export { resolveToolName } from "./governance.js";
+export { pruneUndisclosedToolSections, upstreamSectionsFor, type PruneResult } from "./prompt-pruning.js";
+export interface WorkflowInstrumentation {
+    /**
+     * The suspension site: the one middleware that calls `interrupt()`. It must be
+     * the FIRST middleware in the agent's array that declares an `afterModel` hook:
+     * hook nodes run in array order before the model and in reverse after it, so
+     * that position puts every hook that emits before the one that suspends, and
+     * makes the final router honour this hook's `jumpTo` when a resume continues
+     * to the model.
+     */
+    parkMiddleware: AgentMiddleware;
+    /** The governance middleware proper; assembled after {@link parkMiddleware}. */
+    middleware: AgentMiddleware;
+    tools: StructuredTool[];
+    lifecycle: LifecycleRunner;
+    /** Release every per-session resource (idempotent; safe for sessions that never ran). */
+    dispose(sessionId: string): void;
+}
+export interface WorkflowMiddlewareOptions {
+    machine: WorkflowMachine;
+    /** Serves the agent's own `archmax_eval`/`archmax_run` over the agent workspace. */
+    executor: ScriptExecutor;
+    /** The workflow's grading rubrics, dispatched by a `{ rubric: … }` hook. */
+    rubrics?: Map<string, Rubric>;
+    ptcNames: string[];
+    /** Consumer rules, evaluated after the safety and `policy` rules, before per-state defaults. */
+    policyRules?: GovernanceRule[];
+    /** The workspace's resolved mount keys, so the kernel's read-only rule can classify authored paths. */
+    mountPrefixes?: MountPrefixes;
+    /** The workspace's skills: one table for what the kernel refuses, the prompt names, a listing returns. */
+    skills?: SkillRegistry;
+    /** Custom hook-kind executors registered alongside the built-in `script`/`rubric`. */
+    hookExecutors?: Record<string, HookExecutor>;
+    /** Script executor for lifecycle hooks, reading from the authoring backend. Defaults to {@link executor}. */
+    hookExecutor?: ScriptExecutor;
+    /** Resolves a hook's declared `script:` to its authoring-backend path. */
+    resolveHookScript?: HookScriptResolver;
+    /** Governs the `tools.*` calls hook scripts make and carries the live per-session context. */
+    ptcGateway?: PtcToolGateway;
+    /** Runs delegated machines. Omitted, a delegation call falls through to the tool's own body. */
+    subWorkflows?: SubWorkflowDispatcher;
+    /** Lifecycle event subscriber (default: console rendering). */
+    onEvent?: WorkflowEventHandler;
+    /** How the model-facing payload is shaped for this assembly. */
+    promptShaping?: PromptShaping;
+    /** Which model each state's calls run on; omitted, every call uses the graph's own. */
+    stateModels?: StateModels;
+    /** Workspace backend for writing the spec snapshot into the session zone. */
+    workspace?: Workspace;
+    /** The `workflows/<slug>/` name, used only to name the machine in a refusal. */
+    workflowName?: string;
+    /** The assembly-time default trigger, used when an invocation supplies none. */
+    trigger?: {
+        id: string;
+    };
+    /** Host-seeded run variables, applied at each turn boundary (already locked). */
+    seededVariables?: VariableStore;
+    /** Token prices used to attach `costUsd` to usage events. */
+    pricing?: PricingTable;
+}
+/**
+ * In-graph governance for the Deep Agent: the turn boundary, per-state tool
+ * disclosure and the kernel's verdict on every call, lifecycle hooks, the
+ * control tools, budgets, `on_error` routing, and every park's commit, closing
+ * turn and suspension.
+ */
+export declare function createWorkflowInstrumentation(opts: WorkflowMiddlewareOptions): WorkflowInstrumentation;

package/dist/workflow/middleware.js

@@ -0,0 +1,283 @@
+import { RemoveMessage } from "@langchain/core/messages";
+import { v4 as uuidv4 } from "@langchain/core/utils/uuid";
+import { createMiddleware } from "langchain";
+import { LifecycleRunner } from "../lifecycle/runner.js";
+import { createWorkflowEventEmitter } from "../core/events.js";
+import { createControlTools, SET_VARIABLES_TOOL } from "./control-tools.js";
+import { currentWorkflowState, isReplyOnly, pendingParkOf, readRunUsage, readVariables, readWorkflowState, WORKFLOW_STATUSES, workflowStateSchema, } from "./state.js";
+import { sessionScopeFrom } from "../sessions/scope.js";
+import { contentToString, isAiMessage, isRuntimeNote, lastMessageIsHuman, runtimeNote } from "../core/messages.js";
+import { NO_MOUNTS } from "../core/mounts.js";
+import { addSummaries, extractUsage, summarizeUsage } from "../core/usage.js";
+import { routeFailure } from "./on-error.js";
+import { servePark, suspendIfParked } from "./parks.js";
+import { openTurn } from "./turn-boundary.js";
+import { beforeVetoReason, budgetExhaustedReason, buildRunnableConfig, createGovernance, } from "./governance.js";
+export { resolveToolName } from "./governance.js";
+export { pruneUndisclosedToolSections, upstreamSectionsFor } from "./prompt-pruning.js";
+/**
+ * The id a message will be committed under, assigning one when it arrived
+ * without: LangGraph's reducer does the same at commit, so the id on the event
+ * and in the transcript are one value.
+ */
+function committedMessageId(msg) {
+    const id = msg.id;
+    if (typeof id === "string" && id)
+        return id;
+    const assigned = uuidv4();
+    msg.id = assigned;
+    // The reducer keeps `lc_kwargs.id` in step with `id`.
+    const kwargs = msg.lc_kwargs;
+    if (kwargs && typeof kwargs === "object")
+        kwargs.id = assigned;
+    return assigned;
+}
+/** Whether an AI message still carries tool calls the tools node has to answer. */
+function callsTools(message) {
+    const calls = message?.tool_calls;
+    return Array.isArray(calls) && calls.length > 0;
+}
+/** The middleware's declared hook result type — the update, however typed. */
+const asHookResult = (update) => update;
+/**
+ * In-graph governance for the Deep Agent: the turn boundary, per-state tool
+ * disclosure and the kernel's verdict on every call, lifecycle hooks, the
+ * control tools, budgets, `on_error` routing, and every park's commit, closing
+ * turn and suspension.
+ */
+export function createWorkflowInstrumentation(opts) {
+    const { machine, executor, rubrics = new Map(), ptcNames, ptcGateway, subWorkflows, onEvent, pricing, stateModels } = opts;
+    const emit = createWorkflowEventEmitter(onEvent);
+    const lifecycleHooks = machine.lifecycleHooks();
+    const lifecycle = new LifecycleRunner(machine, opts.hookExecutor ?? executor, rubrics, ptcNames, opts.hookExecutors, onEvent, ...(opts.resolveHookScript ? [{ resolveScript: opts.resolveHookScript }] : []));
+    if (Object.keys(lifecycleHooks).length > 0) {
+        emit({
+            type: "hooks-summary",
+            summary: Object.entries(lifecycleHooks)
+                .map(([s, l]) => `${s}(${[l.before && "before", l.after && "after"].filter(Boolean).join("+")})`)
+                .join(", "),
+        });
+    }
+    const sessionIdOf = (runtime) => sessionScopeFrom(runtime).sessionId;
+    const configOf = (runtime) => buildRunnableConfig((runtime ?? {}));
+    const governance = createGovernance({
+        machine,
+        emit,
+        lifecycle,
+        policyRules: opts.policyRules ?? [],
+        mountPrefixes: opts.mountPrefixes ?? NO_MOUNTS,
+        skills: opts.skills ?? new Map(),
+        shaping: opts.promptShaping ?? {},
+        ...(opts.stateModels ? { stateModels: opts.stateModels } : {}),
+        ...(ptcGateway ? { ptcGateway } : {}),
+        ...(subWorkflows ? { subWorkflows } : {}),
+        sessionIdOf,
+    });
+    const parkCtx = {
+        machine,
+        emit,
+        ...(subWorkflows ? { dispatcher: subWorkflows } : {}),
+        sessionIdOf,
+        configOf,
+    };
+    const failureCtx = { machine, emit, sessionIdOf };
+    const turnCtx = {
+        machine,
+        emit,
+        onEvent,
+        ...(opts.workspace ? { workspace: opts.workspace } : {}),
+        ...(opts.workflowName ? { workflowName: opts.workflowName } : {}),
+        ...(opts.trigger ? { defaultTrigger: opts.trigger } : {}),
+        ...(opts.seededVariables ? { seededVariables: opts.seededVariables } : {}),
+    };
+    /**
+     * The suspension site. Its `beforeModel` runs first of all before-model hooks
+     * and its `afterModel` last of all after-model hooks, so by the time it looks
+     * at a park every record is committed and every event emitted, and the only
+     * thing it does before `interrupt()` is read state — which is what makes its
+     * re-execution on resume repeat nothing.
+     */
+    const parkMiddleware = createMiddleware({
+        name: "WorkflowParkMiddleware",
+        stateSchema: workflowStateSchema,
+        beforeModel: {
+            canJumpTo: ["end"],
+            hook: async (state, runtime) => asHookResult(await suspendIfParked(parkCtx, state, runtime, "before-model")),
+        },
+        afterModel: {
+            canJumpTo: ["model"],
+            hook: async (state, runtime) => asHookResult(await suspendIfParked(parkCtx, state, runtime, "after-model")),
+        },
+    });
+    const middleware = createMiddleware({
+        name: "WorkflowMiddleware",
+        stateSchema: workflowStateSchema,
+        // The turn boundary: once per invoke, never on a resume.
+        beforeAgent: {
+            canJumpTo: ["end"],
+            hook: async (state, runtime) => asHookResult(await openTurn(turnCtx, state, runtime)),
+        },
+        beforeModel: {
+            canJumpTo: ["end"],
+            hook: (state, runtime) => {
+                const fields = readWorkflowState(state);
+                const workflowState = currentWorkflowState(state, machine.entry);
+                // A park in progress: the closing turn it owes, or a delegated child's decision to present.
+                const served = servePark(parkCtx, state, runtime, "before-model");
+                if (served)
+                    return asHookResult(served);
+                // A reply-only turn is owed exactly one model call; anything after the
+                // person's message means it has been spent.
+                if (isReplyOnly(state)) {
+                    return asHookResult(lastMessageIsHuman(state.messages ?? []) ? undefined : { jumpTo: "end" });
+                }
+                // The exact per-state turn budget: this call would be one too many.
+                const maxTurns = machine.spec.states[workflowState]?.budget?.maxTurns;
+                const spent = fields.stateTurns?.state === workflowState ? fields.stateTurns.count : 0;
+                if (maxTurns != null && spent + 1 > maxTurns) {
+                    const routed = routeFailure(failureCtx, state, runtime, workflowState, `state '${workflowState}' exhausted its turn budget (maxTurns: ${maxTurns})`, "before-model");
+                    // The error handler's first call is the one about to be made.
+                    if (routed.workflowState)
+                        routed.stateTurns = { state: routed.workflowState, count: 1 };
+                    return asHookResult(routed);
+                }
+                return asHookResult({ stateTurns: { state: workflowState, count: spent + 1 } });
+            },
+        },
+        wrapModelCall: governance.wrapModelCall,
+        wrapToolCall: governance.wrapToolCall,
+        afterModel: {
+            canJumpTo: ["model"],
+            hook: async (state, runtime) => {
+                const fields = readWorkflowState(state);
+                const workflowState = currentWorkflowState(state, machine.entry);
+                const messages = state.messages ?? [];
+                const last = messages[messages.length - 1];
+                const update = {};
+                // 1. Report the message the model just produced and what it cost. Usage is
+                //    committed as the new total: the channel is last-value and this hook is its one writer.
+                if (last && isAiMessage(last) && !isRuntimeNote(last)) {
+                    const text = contentToString(last.content).trim();
+                    if (text)
+                        emit({ type: "agent-text", state: workflowState, text, messageId: committedMessageId(last) });
+                    const extracted = extractUsage(last);
+                    if (extracted) {
+                        // What the response said, else what we asked the endpoint to run,
+                        // else nothing. The reported id leads deliberately — a proxy may
+                        // serve an alias, a fallback or a load-balanced deployment, and what
+                        // it served is the honest thing to price — but a response naming no
+                        // model must not cost the call its price when assembly knows which
+                        // model it built. The id used is reported, so a host can attribute
+                        // the call to a model rather than to nothing.
+                        const modelId = extracted.model ?? stateModels?.idFor(workflowState);
+                        const summary = summarizeUsage(extracted.usage, pricing, modelId);
+                        emit({
+                            type: "model-usage",
+                            state: workflowState,
+                            ...summary,
+                            ...(modelId ? { model: modelId } : {}),
+                        });
+                        update.usage = addSummaries(readRunUsage(state), summary);
+                    }
+                }
+                // 2. A model call that ran out of its time budget: the marker leaves the transcript, the failure routes.
+                const exhausted = budgetExhaustedReason(last);
+                if (exhausted !== undefined && typeof last?.id === "string") {
+                    const routed = routeFailure(failureCtx, state, runtime, workflowState, exhausted, "after-model");
+                    return asHookResult({
+                        ...update,
+                        ...routed,
+                        messages: [new RemoveMessage({ id: last.id }), ...(routed.messages ?? [])],
+                    });
+                }
+                // 3. A `before` hook refused this state: the model never ran, so nothing
+                //    below applies. Routed like any terminal rejection — the refusal text
+                //    stays in the transcript as the reply the person is owed, unlike the
+                //    budget marker above, which stood in for an answer that never came.
+                const refusedEntry = beforeVetoReason(last);
+                if (refusedEntry !== undefined) {
+                    return asHookResult({
+                        ...update,
+                        ...routeFailure(failureCtx, state, runtime, workflowState, refusedEntry, "after-model"),
+                    });
+                }
+                // 4. A park's closing or answering turn was just spent.
+                const served = servePark(parkCtx, state, runtime, "after-model");
+                if (served)
+                    return asHookResult({ ...update, ...served });
+                if (pendingParkOf(state) || (fields.pendingDelegations ?? []).length > 0) {
+                    return asHookResult(update);
+                }
+                // 5. The run ends here only when the model finished — no tool calls pending — in a state that is not parked.
+                if (!last || !isAiMessage(last) || callsTools(last) || isReplyOnly(state)) {
+                    return asHookResult(update);
+                }
+                // A rejection a tool committed (a terminal kernel block, an exhausted park
+                // budget, a failed sub-run) routes once the model has finished in the failing state.
+                if (fields.rejected) {
+                    return asHookResult({
+                        ...update,
+                        ...routeFailure(failureCtx, state, runtime, workflowState, fields.rejected, "after-model"),
+                    });
+                }
+                // A terminal state has no `archmax_advance` out of it, so its `after` hook
+                // runs at completion: `correct` hands the state back with a note, a
+                // terminal failure routes through `on_error`.
+                if (machine.isTerminal(workflowState) && lifecycleHooks[workflowState]?.after?.length) {
+                    const ctx = governance.lifecycleCtx(sessionIdOf(runtime), state, messages);
+                    const reject = await lifecycle.runPhase(workflowState, "after", ctx, undefined, true);
+                    if (reject) {
+                        if (reject.terminal) {
+                            return asHookResult({
+                                ...update,
+                                iterations: ctx.iterations,
+                                ...routeFailure(failureCtx, state, runtime, workflowState, reject.reason, "after-model"),
+                            });
+                        }
+                        return asHookResult({
+                            ...update,
+                            messages: runtimeNote("after", `[after] The '${workflowState}' completion check did not pass: ${reject.reason}. ` +
+                                `Revise your work and produce a corrected final response.`),
+                            iterations: ctx.iterations,
+                            jumpTo: "model",
+                        });
+                    }
+                    update.iterations = ctx.iterations;
+                }
+                // The exit half of the trigger's signature, checked where a run completes — never at a park.
+                const unsetReturns = (machine.returnsForTrigger(fields.trigger?.id ?? "") ?? []).filter((name) => readVariables(state)[name] === undefined);
+                if (unsetReturns.length > 0) {
+                    const reason = `Completed in state '${workflowState}' without setting ` +
+                        `${unsetReturns.map((n) => `'${n}'`).join(", ")}, which trigger ` +
+                        `'${fields.trigger?.id}' declares in its 'returns'. Set ` +
+                        `${unsetReturns.length === 1 ? "it" : "them"} with '${SET_VARIABLES_TOOL}' before ` +
+                        `finishing.`;
+                    return asHookResult({ ...update, rejected: reason, status: WORKFLOW_STATUSES.rejected });
+                }
+                emit({ type: "state-leave", state: workflowState, next: workflowState });
+                return asHookResult({ ...update, status: WORKFLOW_STATUSES.completed });
+            },
+        },
+        // Flush this turn's staged `beforeDone` entries as one state update.
+        afterAgent: (state, runtime) => {
+            const staged = governance.endTurn(sessionIdOf(runtime));
+            if (!staged)
+                return undefined;
+            return { beforeDone: { ...(readWorkflowState(state).beforeDone ?? {}), ...staged } };
+        },
+    });
+    return {
+        parkMiddleware,
+        middleware,
+        tools: createControlTools(),
+        lifecycle,
+        dispose: (sessionId) => {
+            // Requested per session, so it sweeps the session and every sub-run session nested beneath it.
+            for (const scope of new Set([...governance.release(sessionId), sessionId])) {
+                ptcGateway?.release(scope);
+                lifecycle.dispose(scope);
+            }
+        },
+    };
+}
+//# sourceMappingURL=middleware.js.map

package/dist/workflow/middleware.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"middleware.js","sourceRoot":"","sources":["../../src/workflow/middleware.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,EAAE,IAAI,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAI7C,OAAO,EAAE,eAAe,EAA8C,MAAM,wBAAwB,CAAC;AAIrG,OAAO,EAAE,0BAA0B,EAA6B,MAAM,mBAAmB,CAAC;AAC1F,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE5E,OAAO,EACL,oBAAoB,EACpB,WAAW,EACX,aAAa,EACb,YAAY,EACZ,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,GAEpB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,aAAa,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEnH,OAAO,EAAE,SAAS,EAAsB,MAAM,mBAAmB,CAAC;AAGlE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAqB,MAAM,kBAAkB,CAAC;AACjG,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,eAAe,EAAoB,MAAM,YAAY,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,mBAAmB,EACnB,gBAAgB,GAGjB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,4BAA4B,EAAE,mBAAmB,EAAoB,MAAM,qBAAqB,CAAC;AA6D1G;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,GAA4B;IACtD,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;IAClB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC;IAC1B,GAAG,CAAC,EAAE,GAAG,QAAQ,CAAC;IAClB,sDAAsD;IACtD,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC;IAC7B,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAG,MAAkC,CAAC,EAAE,GAAG,QAAQ,CAAC;IAC5F,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,mFAAmF;AACnF,SAAS,UAAU,CAAC,OAAgB;IAClC,MAAM,KAAK,GAAI,OAAkD,EAAE,UAAU,CAAC;IAC9E,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAClD,CAAC;AAED,8EAA8E;AAC9E,MAAM,YAAY,GAAG,CAAC,MAAkC,EAAE,EAAE,CAAC,MAAe,CAAC;AAE7E;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAA+B;IAC3E,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAC3H,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,eAAe,CACnC,OAAO,EACP,IAAI,CAAC,YAAY,IAAI,QAAQ,EAC7B,OAAO,EACP,QAAQ,EACR,IAAI,CAAC,aAAa,EAClB,OAAO,EACP,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAC/E,CAAC;IAEF,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,IAAI,CAAC;YACH,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;iBACpC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,EAAE,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;iBAChG,IAAI,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,CAAC,OAAgB,EAAU,EAAE,CAC/C,gBAAgB,CAAC,OAAiE,CAAC,CAAC,SAAS,CAAC;IAChG,MAAM,QAAQ,GAAG,CAAC,OAAgB,EAAkB,EAAE,CACpD,mBAAmB,CAAC,CAAC,OAAO,IAAI,EAAE,CAA+C,CAAC,CAAC;IAErF,MAAM,UAAU,GAAG,gBAAgB,CAAC;QAClC,OAAO;QACP,IAAI;QACJ,SAAS;QACT,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE;QACnC,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,SAAS;QAC9C,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI,GAAG,EAAE;QAChC,OAAO,EAAE,IAAI,CAAC,aAAa,IAAI,EAAE;QACjC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,WAAW;KACZ,CAAC,CAAC;IACH,MAAM,OAAO,GAAgB;QAC3B,OAAO;QACP,IAAI;QACJ,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,WAAW;QACX,QAAQ;KACT,CAAC;IACF,MAAM,UAAU,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG;QACd,OAAO;QACP,IAAI;QACJ,OAAO;QACP,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3E,CAAC;IAEF;;;;;;OAMG;IACH,MAAM,cAAc,GAAG,gBAAgB,CAAC;QACtC,IAAI,EAAE,wBAAwB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE;YACX,SAAS,EAAE,CAAC,KAAK,CAAC;YAClB,IAAI,EAAE,KAAK,EAAE,KAA2B,EAAE,OAAyB,EAAE,EAAE,CACrE,YAAY,CAAC,MAAM,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;SAC/E;QACD,UAAU,EAAE;YACV,SAAS,EAAE,CAAC,OAAO,CAAC;YACpB,IAAI,EAAE,KAAK,EAAE,KAA2B,EAAE,OAAyB,EAAE,EAAE,CACrE,YAAY,CAAC,MAAM,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;SAC9E;KACF,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,gBAAgB,CAAC;QAClC,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EAAE,mBAAmB;QAEhC,yDAAyD;QACzD,WAAW,EAAE;YACX,SAAS,EAAE,CAAC,KAAK,CAAC;YAClB,IAAI,EAAE,KAAK,EAAE,KAA2B,EAAE,OAAyB,EAAE,EAAE,CACrE,YAAY,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,OAAqD,CAAC,CAAC;SACtG;QAED,WAAW,EAAE;YACX,SAAS,EAAE,CAAC,KAAK,CAAC;YAClB,IAAI,EAAE,CAAC,KAA2B,EAAE,OAAyB,EAAE,EAAE;gBAC/D,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBACxC,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAEjE,4FAA4F;gBAC5F,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;gBAClE,IAAI,MAAM;oBAAE,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;gBAExC,uEAAuE;gBACvE,4CAA4C;gBAC5C,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvB,OAAO,YAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;gBAChG,CAAC;gBAED,oEAAoE;gBACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC;gBACtE,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvF,IAAI,QAAQ,IAAI,IAAI,IAAI,KAAK,GAAG,CAAC,GAAG,QAAQ,EAAE,CAAC;oBAC7C,MAAM,MAAM,GAAG,YAAY,CACzB,UAAU,EACV,KAAK,EACL,OAAO,EACP,aAAa,EACb,UAAU,aAAa,0CAA0C,QAAQ,GAAG,EAC5E,cAAc,CACf,CAAC;oBACF,8DAA8D;oBAC9D,IAAI,MAAM,CAAC,aAAa;wBAAE,MAAM,CAAC,UAAU,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;oBACxF,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;gBAC9B,CAAC;gBACD,OAAO,YAAY,CAAC,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;YAClF,CAAC;SACF;QAED,aAAa,EAAE,UAAU,CAAC,aAAa;QACvC,YAAY,EAAE,UAAU,CAAC,YAAY;QAErC,UAAU,EAAE;YACV,SAAS,EAAE,CAAC,OAAO,CAAC;YACpB,IAAI,EAAE,KAAK,EAAE,KAA2B,EAAE,OAAyB,EAAE,EAAE;gBACrE,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBACxC,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBACjE,MAAM,QAAQ,GAAc,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAwC,CAAC;gBAClF,MAAM,MAAM,GAAmB,EAAE,CAAC;gBAElC,2EAA2E;gBAC3E,4FAA4F;gBAC5F,IAAI,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;oBAClD,IAAI,IAAI;wBAAE,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACxG,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;oBACrC,IAAI,SAAS,EAAE,CAAC;wBACd,kEAAkE;wBAClE,iEAAiE;wBACjE,qEAAqE;wBACrE,oEAAoE;wBACpE,mEAAmE;wBACnE,mEAAmE;wBACnE,8CAA8C;wBAC9C,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,IAAI,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;wBACrE,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;wBAClE,IAAI,CAAC;4BACH,IAAI,EAAE,aAAa;4BACnB,KAAK,EAAE,aAAa;4BACpB,GAAG,OAAO;4BACV,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBACvC,CAAC,CAAC;wBACH,MAAM,CAAC,KAAK,GAAG,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;oBAC5D,CAAC;gBACH,CAAC;gBAED,yGAAyG;gBACzG,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,IAAI,EAAE,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;oBACjG,OAAO,YAAY,CAAC;wBAClB,GAAG,MAAM;wBACT,GAAG,MAAM;wBACT,QAAQ,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;qBAC3E,CAAC,CAAC;gBACL,CAAC;gBAED,yEAAyE;gBACzE,0EAA0E;gBAC1E,yEAAyE;gBACzE,wEAAwE;gBACxE,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBAC5C,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;oBAC/B,OAAO,YAAY,CAAC;wBAClB,GAAG,MAAM;wBACT,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,CAAC;qBACxF,CAAC,CAAC;gBACL,CAAC;gBAED,wDAAwD;gBACxD,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;gBACjE,IAAI,MAAM;oBAAE,OAAO,YAAY,CAAC,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;gBAC1D,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACzE,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;gBAC9B,CAAC;gBAED,6GAA6G;gBAC7G,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC1E,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;gBAC9B,CAAC;gBAED,2EAA2E;gBAC3E,qFAAqF;gBACrF,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACpB,OAAO,YAAY,CAAC;wBAClB,GAAG,MAAM;wBACT,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC;qBAC3F,CAAC,CAAC;gBACL,CAAC;gBAED,2EAA2E;gBAC3E,oEAAoE;gBACpE,8CAA8C;gBAC9C,IAAI,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,cAAc,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;oBACtF,MAAM,GAAG,GAAG,UAAU,CAAC,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;oBAC3E,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;oBACtF,IAAI,MAAM,EAAE,CAAC;wBACX,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;4BACpB,OAAO,YAAY,CAAC;gCAClB,GAAG,MAAM;gCACT,UAAU,EAAE,GAAG,CAAC,UAAU;gCAC1B,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;6BACzF,CAAC,CAAC;wBACL,CAAC;wBACD,OAAO,YAAY,CAAC;4BAClB,GAAG,MAAM;4BACT,QAAQ,EAAE,WAAW,CACnB,OAAO,EACP,gBAAgB,aAAa,oCAAoC,MAAM,CAAC,MAAM,IAAI;gCAChF,0DAA0D,CAC7D;4BACD,UAAU,EAAE,GAAG,CAAC,UAAU;4BAC1B,MAAM,EAAE,OAAO;yBAChB,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;gBACrC,CAAC;gBAED,6FAA6F;gBAC7F,MAAM,YAAY,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACrF,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,CACnD,CAAC;gBACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,MAAM,MAAM,GACV,uBAAuB,aAAa,oBAAoB;wBACxD,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB;wBACjE,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,mCAAmC;wBACzD,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,UAAU,kBAAkB,WAAW;wBACnF,YAAY,CAAC;oBACf,OAAO,YAAY,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC3F,CAAC;gBAED,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;gBACzE,OAAO,YAAY,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,SAAS,EAAE,CAAC,CAAC;YAC1E,CAAC;SACF;QAED,qEAAqE;QACrE,UAAU,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;YAC7B,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC9B,OAAO,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC;QACvF,CAAC;KACF,CAAC,CAAC;IAEH,OAAO;QACL,cAAc;QACd,UAAU;QACV,KAAK,EAAE,kBAAkB,EAAE;QAC3B,SAAS;QACT,OAAO,EAAE,CAAC,SAAS,EAAE,EAAE;YACrB,+FAA+F;YAC/F,KAAK,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;gBAC3E,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC3B,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/workflow/on-error.d.ts

@@ -0,0 +1,25 @@
+/**
+ * `on_error`: where a failed state sends the run. Every failure a state cannot
+ * recover from in place arrives here as a `reason`; the run routes to the
+ * declared `on_error` target with an `[error]` runtime note, or ends rejected.
+ * Fail-closed either way: nothing continues in the state that failed.
+ */
+import type { WorkflowEventEmitter } from "../core/events.js";
+import type { WorkflowMachine } from "../machine/machine.js";
+import { type WorkflowUpdate } from "./state.js";
+/** Which hook is routing: decides how the loop continues after the update. */
+export type HookSite = "before-model" | "after-model";
+export interface FailureRoutingContext {
+    machine: WorkflowMachine;
+    emit: WorkflowEventEmitter;
+    /** The session the failing hook is executing for, for the park it may open. */
+    sessionIdOf(runtime: unknown): string;
+}
+/**
+ * The update that settles a failed state. With an `on_error` target: the note,
+ * the new position, an `on_error` trail step, every park record cleared, and —
+ * from `afterModel`, where the loop would otherwise exit — a jump back to the
+ * model. Without one: `rejected`; `beforeModel` ends the turn outright. A human
+ * `on_error` target is presented at once, with the closing message owed.
+ */
+export declare function routeFailure(ctx: FailureRoutingContext, state: unknown, runtime: unknown, from: string, reason: string, site: HookSite): WorkflowUpdate;

package/dist/workflow/on-error.js

@@ -0,0 +1,58 @@
+import { runtimeNote } from "../core/messages.js";
+import { decisionRecordFor } from "./parks.js";
+import { readWorkflowState, WORKFLOW_STATUSES, } from "./state.js";
+/**
+ * The update that settles a failed state. With an `on_error` target: the note,
+ * the new position, an `on_error` trail step, every park record cleared, and —
+ * from `afterModel`, where the loop would otherwise exit — a jump back to the
+ * model. Without one: `rejected`; `beforeModel` ends the turn outright. A human
+ * `on_error` target is presented at once, with the closing message owed.
+ */
+export function routeFailure(ctx, state, runtime, from, reason, site) {
+    const errorTarget = ctx.machine.onError(from);
+    if (!errorTarget) {
+        return {
+            rejected: reason,
+            status: WORKFLOW_STATUSES.rejected,
+            ...(site === "before-model" ? { jumpTo: "end" } : {}),
+        };
+    }
+    ctx.emit({ type: "state-error-routed", state: from, to: errorTarget, reason });
+    ctx.emit({ type: "state-leave", state: from, next: errorTarget });
+    ctx.emit({ type: "state-enter", state: errorTarget });
+    const routed = {
+        messages: runtimeNote("error", `[error] The '${from}' state failed: ${reason}. Routing to the '${errorTarget}' error handler.`),
+        workflowState: errorTarget,
+        rejected: null,
+        status: WORKFLOW_STATUSES.running,
+        pendingInput: null,
+        pendingDecision: null,
+        pendingDelegations: null,
+        parkPhase: null,
+        replyOnly: null,
+        stateTurns: null,
+        auditTrail: [
+            { to: errorTarget, kind: "on_error", reason, ts: Date.now() },
+        ],
+        ...(site === "after-model" ? { jumpTo: "model" } : {}),
+    };
+    if (!ctx.machine.isHumanState(errorTarget))
+        return routed;
+    const seq = (readWorkflowState(state).decisionCount ?? 0) + 1;
+    ctx.emit({
+        type: "parked",
+        node: errorTarget,
+        state: errorTarget,
+        sessionId: ctx.sessionIdOf(runtime),
+        awaiting: "decision",
+    });
+    return {
+        ...routed,
+        pendingDecision: decisionRecordFor(ctx.machine, errorTarget, seq),
+        decisionCount: seq,
+        status: WORKFLOW_STATUSES.awaitingDecision,
+        parkPhase: "suspend",
+        replyOnly: true,
+    };
+}
+//# sourceMappingURL=on-error.js.map

package/dist/workflow/on-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"on-error.js","sourceRoot":"","sources":["../../src/workflow/on-error.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EACL,iBAAiB,EACjB,iBAAiB,GAGlB,MAAM,YAAY,CAAC;AAYpB;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,GAA0B,EAC1B,KAAc,EACd,OAAgB,EAChB,IAAY,EACZ,MAAc,EACd,IAAc;IAEd,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO;YACL,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,iBAAiB,CAAC,QAAQ;YAClC,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAC;IACJ,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;IAClE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACtD,MAAM,MAAM,GAAmB;QAC7B,QAAQ,EAAE,WAAW,CACnB,OAAO,EACP,gBAAgB,IAAI,mBAAmB,MAAM,qBAAqB,WAAW,kBAAkB,CAChG;QACD,aAAa,EAAE,WAAW;QAC1B,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,iBAAiB,CAAC,OAAO;QACjC,YAAY,EAAE,IAAI;QAClB,eAAe,EAAE,IAAI;QACrB,kBAAkB,EAAE,IAAI;QACxB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,IAAI;QACf,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE;YACV,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAsB;SAClF;QACD,GAAG,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvD,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC;QAAE,OAAO,MAAM,CAAC;IAC1D,MAAM,GAAG,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9D,GAAG,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,WAAW;QAClB,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC;QACnC,QAAQ,EAAE,UAAU;KACrB,CAAC,CAAC;IACH,OAAO;QACL,GAAG,MAAM;QACT,eAAe,EAAE,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC;QACjE,aAAa,EAAE,GAAG;QAClB,MAAM,EAAE,iBAAiB,CAAC,gBAAgB;QAC1C,SAAS,EAAE,SAAS;QACpB,SAAS,EAAE,IAAI;KAChB,CAAC;AACJ,CAAC"}

package/dist/workflow/parks.d.ts

@@ -0,0 +1,46 @@
+import type { RunnableConfig } from "@langchain/core/runnables";
+import type { WorkflowEventEmitter } from "../core/events.js";
+import type { WorkflowMachine } from "../machine/machine.js";
+import type { HookSite } from "./on-error.js";
+import { type PendingDecision, type PendingInput, type WorkflowUpdate } from "./state.js";
+import { type SubWorkflowDispatcher } from "./sub-workflow.js";
+/**
+ * The pending-decision record for a human state: its declared transitions and
+ * evidence (the author's list leads and is never displaced), plus whatever the
+ * transition attached, duplicates removed keeping first position.
+ */
+export declare function decisionRecordFor(machine: WorkflowMachine, state: string, seq: number, attached?: readonly string[]): PendingDecision;
+/** The pending-input record for a state the agent parked with `archmax_wait`. */
+export declare function inputRecordFor(machine: WorkflowMachine, state: string, reason: string, resumeAt?: string): PendingInput;
+/**
+ * What a reply-only turn is told. Four shapes of park reach this — handing the
+ * run to a person, being routed to one by a decision, waiting for something
+ * from outside, and answering someone while a person decides — each with its
+ * own first sentence. The last paragraph is the same in all: it is what stands
+ * between a parked run and a model that would rather keep working.
+ */
+export declare function replyOnlyDirective(machine: WorkflowMachine, state: unknown): string;
+export interface ParkContext {
+    machine: WorkflowMachine;
+    emit: WorkflowEventEmitter;
+    /** Resumes a parked child; absent in an assembly that cannot run sub-workflows. */
+    dispatcher?: SubWorkflowDispatcher;
+    /** The session a hook is executing for, read from its runtime. */
+    sessionIdOf(runtime: unknown): string;
+    /** The runnable config a hook's runtime stands for, for a child's resume. */
+    configOf(runtime: unknown): RunnableConfig;
+}
+/**
+ * Move a park along, deterministically on state. Before the model: a record in
+ * phase `closing` gets its closing turn; a delegated child that parked becomes
+ * the pending decision and gets its closing turn. After the model: a reply-only
+ * turn that just spoke is spent, and an answer to a person's message is reported.
+ */
+export declare function servePark(ctx: ParkContext, state: unknown, runtime: unknown, site: HookSite): WorkflowUpdate | undefined;
+/**
+ * The suspension site: with a record in phase `suspend` and nothing owed, park
+ * the session on it. `interrupt()` throws on first arrival — the session parks
+ * durably — and on resume returns what a surface resumed with, which
+ * {@link applyResume} turns into the run's continuation.
+ */
+export declare function suspendIfParked(ctx: ParkContext, state: unknown, runtime: unknown, site: HookSite): Promise<WorkflowUpdate | undefined>;