agentfootprint 7.9.0 → 7.10.0

package/README.md

@@ -171,7 +171,7 @@ const pipeline = Sequence.create()
 await pipeline.run({ message: 'URGENT: refund dispute on order #4411' });
 ```
 
-The fourth primitive is `Loop` — `Loop.repeat(agent).until(guard).times(5)`, with a mandatory budget guard. And the named patterns from the research literature ship pre-composed from the same four: `selfConsistency` · `reflection` · `debate` · `mapReduce` · `tot` · `swarm`. Because every composition is a flowchart, the structure you wrote is the structure you see in the UI — and the trace spans the whole pipeline, not one agent at a time. [Designing systems of agents ↓](#-build--design-your-agent-or-system-of-agents)
+The fourth primitive is `Loop` — `Loop.repeat(agent).until(guard).times(5)`, with a mandatory budget guard. And the named patterns from the research literature ship pre-composed from the same four: `selfConsistency` · `reflection` · `debate` · `mapReduce` · `tot` · `swarm` · `llmSwarm` (a swarm whose hand-offs an LLM decides). Because every composition is a flowchart, the structure you wrote is the structure you see in the UI — and the trace spans the whole pipeline, not one agent at a time. [Designing systems of agents ↓](#-build--design-your-agent-or-system-of-agents)
 
 ---
 
@@ -753,7 +753,7 @@ The flowchart, recorders, and tests don't change between dev and prod.
 
 **Core**
 - 2 primitives — `LLMCall`, `Agent` (the ReAct loop)
-- 4 control flows — `Sequence`, `Parallel`, `Conditional`, `Loop`
+- 4 control flows — `Sequence`, `Parallel`, `Conditional`, `Loop` (plus `workflow()`, the same sequence with every hand-off type-checked by the compiler)
 - 1 Injection primitive — `defineSkill` / `defineSteering` / `defineInstruction` / `defineFact`
 - 1 reliability gate — `.reliability({ preCheck, postDecide, providers, circuitBreaker, fallback })`
 - 1 tool dispatch primitive — `ToolProvider` (sync OR async) — `staticTools` · `gatedTools` · `skillScopedTools` · or a custom `ToolProvider` that discovers over hubs / MCP / per-tenant catalogs

package/dist/core-flow/Workflow.js

@@ -0,0 +1,210 @@
+"use strict";
+/**
+ * workflow() — sequential steps whose hand-offs are checked by the compiler.
+ *
+ * WHY this exists: `Sequence` is the workhorse for "A, then B, then C",
+ * and every step it accepts has the same shape — takes `{ message }`,
+ * returns `string`. That is exactly right for chaining LLM calls, and
+ * exactly wrong the moment a step wants to hand the next one something
+ * structured: `Sequence` coerces any non-string step output to `''`
+ * (Sequence.ts, the step `outputMapper`), so a step that returns a parsed
+ * ticket silently hands the next step nothing at all. The mistake shows up
+ * as an empty prompt three steps later, at runtime, in production.
+ *
+ * `workflow()` closes that gap from both ends:
+ *
+ *   - **At compile time** — step N's OUTPUT type must be what step N+1
+ *     accepts. A `Runner<{ message: string }, Ticket>` followed by a
+ *     `Runner<{ orderId: string }, string>` does not compile. The chain is
+ *     proven before you run it, not debugged after.
+ *   - **At run time** — a step's value is handed to the next step
+ *     UNCHANGED. Objects stay objects. The one convenience is the house
+ *     convention: a step that returns a `string` feeds the next step's
+ *     `{ message }`, because that is what every LLM runner here wants.
+ *
+ * Pattern: Adapter over footprintjs's `addSubFlowChartNext`, with the
+ *          type-level handoff proof carried by overloads (1–8 steps).
+ * Role:    core-flow/ layer, alongside Sequence/Parallel/Conditional/Loop.
+ *          Pure control flow — no LLM dependency.
+ * Emits:   agentfootprint.composition.enter / exit, reported as kind
+ *          `'Sequence'` — a workflow IS a sequential composition, and
+ *          widening the public `CompositionKind` union would break
+ *          exhaustive switches in consumer code for no behavioural gain.
+ *
+ * THREE HONEST LIMITS, all inherited from the engine and all verified in
+ * `test/core-flow/scenario/Workflow.test.ts` — worth knowing before you
+ * put rich objects on the wire:
+ *
+ *   1. Only PLAIN DATA crosses a step boundary. A value with a prototype
+ *      (Date, Map, Set, a class instance) arrives as `{}`, and `undefined`
+ *      fields are dropped. Send strings, numbers, arrays and plain
+ *      objects; send a timestamp as an ISO string, not a `Date`.
+ *   2. A step must RETURN its output — the value handed forward is the
+ *      step chart's traversal result. A step whose last stage returns
+ *      nothing hands its whole scope forward instead.
+ *   3. The workflow's own input keys stay visible to LATER steps too
+ *      (footprintjs's `getArgs()` inherits the run's arguments). A key the
+ *      previous step actually produced always wins; a key it did NOT
+ *      produce can still be read from the original input rather than
+ *      coming back `undefined`.
+ *
+ * @example  a typed three-step chain
+ * ```ts
+ * interface Ticket { orderId: string; angry: boolean }
+ *
+ * const parse: Runner<{ message: string }, Ticket> = …;
+ * const lookup: Runner<Ticket, { refundUsd: number }> = …;
+ * const reply: Runner<{ refundUsd: number }, string> = …;
+ *
+ * const intake = workflow(parse, lookup, reply);
+ * const answer = await intake.run({ message: 'where is my refund?' });
+ * //    ^? string — the chain's last output type
+ *
+ * workflow(parse, reply); // ✗ compile error: Ticket is not { refundUsd }
+ * ```
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.workflow = exports.Workflow = void 0;
+const footprintjs_1 = require("footprintjs");
+const RunnerBase_js_1 = require("../core/RunnerBase.js");
+const AgentRecorder_js_1 = require("../recorders/core/AgentRecorder.js");
+const CompositionRecorder_js_1 = require("../recorders/core/CompositionRecorder.js");
+const ContextRecorder_js_1 = require("../recorders/core/ContextRecorder.js");
+const StreamRecorder_js_1 = require("../recorders/core/StreamRecorder.js");
+const typedEmit_js_1 = require("../recorders/core/typedEmit.js");
+/**
+ * Hand the previous step's value to the next step as its input args.
+ *
+ * `string` → `{ message }` (the house convention). Plain object → itself.
+ * Anything else is a broken hand-off and says so loudly: the alternative
+ * is an empty input three steps downstream with nothing pointing back
+ * here.
+ */
+function toStepArgs(value, stepNumber) {
+    if (typeof value === 'string')
+        return { message: value };
+    if (typeof value === 'object' && value !== null && !Array.isArray(value)) {
+        return { ...value };
+    }
+    const got = value === null ? 'null' : Array.isArray(value) ? 'an array' : typeof value;
+    throw new Error(`workflow: step ${stepNumber - 1} handed forward ${got}, but step ${stepNumber} needs an ` +
+        'object (or a string, which arrives as { message }). Make each step return its output.');
+}
+/**
+ * A sequential composition that passes values through untouched. Build one
+ * with {@link workflow} — that factory carries the type-level chain proof.
+ */
+class Workflow extends RunnerBase_js_1.RunnerBase {
+    name;
+    id;
+    steps;
+    opts;
+    currentRunContext = {
+        runStartMs: 0,
+        runId: 'pending',
+        compositionPath: [],
+    };
+    constructor(steps, opts = {}) {
+        super();
+        if (steps.length === 0) {
+            throw new Error('Workflow: must have at least one step');
+        }
+        this.opts = opts;
+        this.name = opts.name ?? 'Workflow';
+        this.id = opts.id ?? 'workflow';
+        this.steps = steps;
+        // Eager chart construction — see `RunnerBase.initChart` JSDoc.
+        this.initChart(() => this.buildChart());
+    }
+    async run(input, options) {
+        const executor = this.createExecutor();
+        this.lastExecutor = executor;
+        const result = await executor.run({ input: { ...input }, ...(options ?? {}) });
+        return this.finalizeResult(executor, result);
+    }
+    async resume(checkpoint, input, options) {
+        this.emitPauseResume(checkpoint, input);
+        const executor = this.createExecutor();
+        this.lastExecutor = executor;
+        const result = await executor.resume(checkpoint, input, options);
+        return this.finalizeResult(executor, result);
+    }
+    createExecutor() {
+        this.currentRunContext = {
+            runStartMs: Date.now(),
+            runId: (0, RunnerBase_js_1.makeRunId)(),
+            compositionPath: [`Workflow:${this.id}`],
+        };
+        const executor = new footprintjs_1.FlowChartExecutor(this.getSpec());
+        const dispatcher = this.getDispatcher();
+        const getRunCtx = () => this.currentRunContext;
+        executor.attachCombinedRecorder(new ContextRecorder_js_1.ContextRecorder({ dispatcher, getRunContext: getRunCtx }));
+        executor.attachCombinedRecorder((0, StreamRecorder_js_1.streamRecorder)({ dispatcher, getRunContext: getRunCtx }));
+        executor.attachCombinedRecorder((0, AgentRecorder_js_1.agentRecorder)({ dispatcher, getRunContext: getRunCtx }));
+        executor.attachCombinedRecorder((0, CompositionRecorder_js_1.compositionRecorder)({ dispatcher, getRunContext: getRunCtx }));
+        for (const r of this.attachedRecorders)
+            executor.attachCombinedRecorder(r);
+        return executor;
+    }
+    finalizeResult(executor, result) {
+        const paused = this.detectPause(executor, result);
+        if (paused)
+            return paused;
+        if (result instanceof Error)
+            throw result;
+        return result;
+    }
+    buildChart() {
+        const steps = this.steps;
+        const compositionId = this.id;
+        const compositionName = this.name;
+        const seed = (scope) => {
+            // The workflow's own input IS step 1's input — no unwrapping, no
+            // re-wrapping; that is the whole point of the typed chain.
+            scope.current = scope.$getArgs();
+            (0, typedEmit_js_1.typedEmit)(scope, 'agentfootprint.composition.enter', {
+                kind: 'Sequence',
+                id: compositionId,
+                name: compositionName,
+                childCount: steps.length,
+            });
+        };
+        // Root description prefix `Sequence:` is the taxonomy marker every
+        // consumer (Lens, FlowchartRecorder.mapTopologyToSteps) already reads.
+        let builder = (0, footprintjs_1.flowChart)('Seed', seed, 'seed', {
+            ...(this.opts.structureRecorders !== undefined && {
+                structureRecorders: [...this.opts.structureRecorders],
+            }),
+            description: `Sequence: ${steps.length}-step typed workflow`,
+        });
+        steps.forEach((step, index) => {
+            const stepNumber = index + 1;
+            builder = builder.addSubFlowChartNext(`step-${stepNumber}`, step.getSpec(), `Step ${stepNumber}`, {
+                inputMapper: (parent) => toStepArgs(parent.current, stepNumber),
+                // Untouched: whatever the step's chart returned is what the next
+                // step (or the caller) receives. No string coercion.
+                outputMapper: (sfOutput) => ({ current: sfOutput }),
+            });
+        });
+        builder = builder.addFunction('Finalize', (scope) => {
+            (0, typedEmit_js_1.typedEmit)(scope, 'agentfootprint.composition.exit', {
+                kind: 'Sequence',
+                id: compositionId,
+                name: compositionName,
+                status: 'ok',
+                durationMs: Date.now() - this.currentRunContext.runStartMs,
+            });
+            return scope.current;
+        }, 'finalize', 'Workflow finalize');
+        return builder.build();
+    }
+}
+exports.Workflow = Workflow;
+function workflow(...steps) {
+    if (steps.length === 0) {
+        throw new Error('workflow(): needs at least one step');
+    }
+    return new Workflow(steps);
+}
+exports.workflow = workflow;
+//# sourceMappingURL=Workflow.js.map

package/dist/core-flow/Workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Workflow.js","sourceRoot":"","sources":["../../src/core-flow/Workflow.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG;;;AAEH,6CAQqB;AAIrB,yDAA8D;AAC9D,yEAAmE;AACnE,qFAA+E;AAC/E,6EAAuE;AACvE,2EAAqE;AACrE,iEAA2D;AAoC3D;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,KAAc,EAAE,UAAkB;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,GAAI,KAAiC,EAAE,CAAC;IACnD,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC;IACvF,MAAM,IAAI,KAAK,CACb,kBAAkB,UAAU,GAAG,CAAC,mBAAmB,GAAG,cAAc,UAAU,YAAY;QACxF,uFAAuF,CAC1F,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAa,QAAsD,SAAQ,0BAAqB;IACrF,IAAI,CAAS;IACb,EAAE,CAAS;IACH,KAAK,CAAqB;IAC1B,IAAI,CAAkB;IAE/B,iBAAiB,GAAe;QACtC,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,SAAS;QAChB,eAAe,EAAE,EAAE;KACpB,CAAC;IAEF,YAAY,KAAyB,EAAE,OAAwB,EAAE;QAC/D,KAAK,EAAE,CAAC;QACR,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC;QACpC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC;QAChC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,+DAA+D;QAC/D,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,KAAU,EAAE,OAAoB;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACvC,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/E,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,MAAM,CACV,UAA+B,EAC/B,KAAe,EACf,OAAoB;QAEpB,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACvC,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACjE,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IAEO,cAAc;QACpB,IAAI,CAAC,iBAAiB,GAAG;YACvB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;YACtB,KAAK,EAAE,IAAA,yBAAS,GAAE;YAClB,eAAe,EAAE,CAAC,YAAY,IAAI,CAAC,EAAE,EAAE,CAAC;SACzC,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,+BAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,GAAe,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC;QAE3D,QAAQ,CAAC,sBAAsB,CAAC,IAAI,oCAAe,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC/F,QAAQ,CAAC,sBAAsB,CAAC,IAAA,kCAAc,EAAC,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC1F,QAAQ,CAAC,sBAAsB,CAAC,IAAA,gCAAa,EAAC,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACzF,QAAQ,CAAC,sBAAsB,CAAC,IAAA,4CAAmB,EAAC,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC/F,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,iBAAiB;YAAE,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,cAAc,CAAC,QAA2B,EAAE,MAAe;QACjE,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,IAAI,MAAM,YAAY,KAAK;YAAE,MAAM,MAAM,CAAC;QAC1C,OAAO,MAAc,CAAC;IACxB,CAAC;IAEO,UAAU;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC;QAElC,MAAM,IAAI,GAAG,CAAC,KAAgC,EAAE,EAAE;YAChD,iEAAiE;YACjE,2DAA2D;YAC3D,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,QAAQ,EAA2B,CAAC;YAC1D,IAAA,wBAAS,EAAC,KAAK,EAAE,kCAAkC,EAAE;gBACnD,IAAI,EAAE,UAAU;gBAChB,EAAE,EAAE,aAAa;gBACjB,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,KAAK,CAAC,MAAM;aACzB,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,mEAAmE;QACnE,uEAAuE;QACvE,IAAI,OAAO,GAAG,IAAA,uBAAS,EAAgB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;YAC3D,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,KAAK,SAAS,IAAI;gBAChD,kBAAkB,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC;aACtD,CAAC;YACF,WAAW,EAAE,aAAa,KAAK,CAAC,MAAM,sBAAsB;SAC7D,CAAC,CAAC;QAEH,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC5B,MAAM,UAAU,GAAG,KAAK,GAAG,CAAC,CAAC;YAC7B,OAAO,GAAG,OAAO,CAAC,mBAAmB,CACnC,QAAQ,UAAU,EAAE,EACpB,IAAI,CAAC,OAAO,EAAE,EACd,QAAQ,UAAU,EAAE,EACpB;gBACE,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC;gBAC/D,iEAAiE;gBACjE,qDAAqD;gBACrD,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;aACpD,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,OAAO,GAAG,OAAO,CAAC,WAAW,CAC3B,UAAU,EACV,CAAC,KAAgC,EAAE,EAAE;YACnC,IAAA,wBAAS,EAAC,KAAK,EAAE,iCAAiC,EAAE;gBAClD,IAAI,EAAE,UAAU;gBAChB,EAAE,EAAE,aAAa;gBACjB,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,IAAI;gBACZ,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU;aAC3D,CAAC,CAAC;YACH,OAAO,KAAK,CAAC,OAAO,CAAC;QACvB,CAAC,EACD,UAAU,EACV,mBAAmB,CACpB,CAAC;QAEF,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC;IACzB,CAAC;CACF;AAjID,4BAiIC;AA+ED,SAAgB,QAAQ,CAAC,GAAG,KAAyB;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,IAAI,QAAQ,CAAC,KAAK,CAA2B,CAAC;AACvD,CAAC;AALD,4BAKC"}

package/dist/esm/core-flow/Workflow.d.ts

@@ -0,0 +1,146 @@
+/**
+ * workflow() — sequential steps whose hand-offs are checked by the compiler.
+ *
+ * WHY this exists: `Sequence` is the workhorse for "A, then B, then C",
+ * and every step it accepts has the same shape — takes `{ message }`,
+ * returns `string`. That is exactly right for chaining LLM calls, and
+ * exactly wrong the moment a step wants to hand the next one something
+ * structured: `Sequence` coerces any non-string step output to `''`
+ * (Sequence.ts, the step `outputMapper`), so a step that returns a parsed
+ * ticket silently hands the next step nothing at all. The mistake shows up
+ * as an empty prompt three steps later, at runtime, in production.
+ *
+ * `workflow()` closes that gap from both ends:
+ *
+ *   - **At compile time** — step N's OUTPUT type must be what step N+1
+ *     accepts. A `Runner<{ message: string }, Ticket>` followed by a
+ *     `Runner<{ orderId: string }, string>` does not compile. The chain is
+ *     proven before you run it, not debugged after.
+ *   - **At run time** — a step's value is handed to the next step
+ *     UNCHANGED. Objects stay objects. The one convenience is the house
+ *     convention: a step that returns a `string` feeds the next step's
+ *     `{ message }`, because that is what every LLM runner here wants.
+ *
+ * Pattern: Adapter over footprintjs's `addSubFlowChartNext`, with the
+ *          type-level handoff proof carried by overloads (1–8 steps).
+ * Role:    core-flow/ layer, alongside Sequence/Parallel/Conditional/Loop.
+ *          Pure control flow — no LLM dependency.
+ * Emits:   agentfootprint.composition.enter / exit, reported as kind
+ *          `'Sequence'` — a workflow IS a sequential composition, and
+ *          widening the public `CompositionKind` union would break
+ *          exhaustive switches in consumer code for no behavioural gain.
+ *
+ * THREE HONEST LIMITS, all inherited from the engine and all verified in
+ * `test/core-flow/scenario/Workflow.test.ts` — worth knowing before you
+ * put rich objects on the wire:
+ *
+ *   1. Only PLAIN DATA crosses a step boundary. A value with a prototype
+ *      (Date, Map, Set, a class instance) arrives as `{}`, and `undefined`
+ *      fields are dropped. Send strings, numbers, arrays and plain
+ *      objects; send a timestamp as an ISO string, not a `Date`.
+ *   2. A step must RETURN its output — the value handed forward is the
+ *      step chart's traversal result. A step whose last stage returns
+ *      nothing hands its whole scope forward instead.
+ *   3. The workflow's own input keys stay visible to LATER steps too
+ *      (footprintjs's `getArgs()` inherits the run's arguments). A key the
+ *      previous step actually produced always wins; a key it did NOT
+ *      produce can still be read from the original input rather than
+ *      coming back `undefined`.
+ *
+ * @example  a typed three-step chain
+ * ```ts
+ * interface Ticket { orderId: string; angry: boolean }
+ *
+ * const parse: Runner<{ message: string }, Ticket> = …;
+ * const lookup: Runner<Ticket, { refundUsd: number }> = …;
+ * const reply: Runner<{ refundUsd: number }, string> = …;
+ *
+ * const intake = workflow(parse, lookup, reply);
+ * const answer = await intake.run({ message: 'where is my refund?' });
+ * //    ^? string — the chain's last output type
+ *
+ * workflow(parse, reply); // ✗ compile error: Ticket is not { refundUsd }
+ * ```
+ */
+import { type FlowchartCheckpoint, type RunOptions, type StructureRecorder } from 'footprintjs';
+import type { RunnerPauseOutcome } from '../core/pause.js';
+import type { Runner } from '../core/runner.js';
+import { RunnerBase } from '../core/RunnerBase.js';
+/**
+ * What the NEXT step must accept, given what the previous one returns.
+ *
+ * A `string` output feeds `{ message }` — the convention every runner in
+ * this library already speaks (LLMCall, Agent, Sequence, Swarm). Anything
+ * else is handed over as-is, so the next step's input type must be that
+ * same type.
+ */
+export type NextStepInput<TPreviousOutput> = TPreviousOutput extends string ? {
+    message: string;
+} : TPreviousOutput;
+/** Any runner, viewed only as "a thing with a chart" — the workflow never
+ *  needs a step's own input/output types at run time. */
+type AnyStep = Runner<never, unknown>;
+export interface WorkflowOptions {
+    /** Human-friendly name for events + topology. Default `'Workflow'`. */
+    readonly name?: string;
+    /** Stable id used for topology + events. Default `'workflow'`. */
+    readonly id?: string;
+    /**
+     * Optional build-time recorders passed through to footprintjs's
+     * `flowChart()` factory — they observe this workflow's own nodes (Seed +
+     * one mount per step + Finalize). Not propagated into the mounted step
+     * charts; attach them to each step runner for full coverage.
+     */
+    readonly structureRecorders?: readonly StructureRecorder[];
+}
+/**
+ * A sequential composition that passes values through untouched. Build one
+ * with {@link workflow} — that factory carries the type-level chain proof.
+ */
+export declare class Workflow<TIn extends object = object, TOut = unknown> extends RunnerBase<TIn, TOut> {
+    readonly name: string;
+    readonly id: string;
+    private readonly steps;
+    private readonly opts;
+    private currentRunContext;
+    constructor(steps: readonly AnyStep[], opts?: WorkflowOptions);
+    run(input: TIn, options?: RunOptions): Promise<TOut | RunnerPauseOutcome>;
+    resume(checkpoint: FlowchartCheckpoint, input?: unknown, options?: RunOptions): Promise<TOut | RunnerPauseOutcome>;
+    private createExecutor;
+    private finalizeResult;
+    private buildChart;
+}
+/**
+ * Chain 1–8 runners into one, with every hand-off checked by the compiler.
+ *
+ * Step N's output type must be what step N+1 accepts — a `string` output
+ * feeds the next step's `{ message }` (the house convention), anything
+ * else is handed over as-is. A chain that does not line up is a COMPILE
+ * error, not a silent empty value at run time.
+ *
+ * @example  LLM steps chain as they always have
+ * ```ts
+ * const draft = LLMCall.create({ provider, model }).system('Draft it.').build();
+ * const edit = LLMCall.create({ provider, model }).system('Tighten it.').build();
+ *
+ * const pipeline = workflow(draft, edit);
+ * const text = await pipeline.run({ message: 'a note about refunds' });
+ * ```
+ *
+ * @example  structured hand-offs survive
+ * ```ts
+ * const classify: Runner<{ message: string }, { topic: string }> = …;
+ * const answer: Runner<{ topic: string }, string> = …;
+ *
+ * await workflow(classify, answer).run({ message: 'my card was declined' });
+ * ```
+ */
+export declare function workflow<A extends object, B>(s1: Runner<A, B>): Workflow<A, B>;
+export declare function workflow<A extends object, B, C>(s1: Runner<A, B>, s2: Runner<NextStepInput<B>, C>): Workflow<A, C>;
+export declare function workflow<A extends object, B, C, D>(s1: Runner<A, B>, s2: Runner<NextStepInput<B>, C>, s3: Runner<NextStepInput<C>, D>): Workflow<A, D>;
+export declare function workflow<A extends object, B, C, D, E>(s1: Runner<A, B>, s2: Runner<NextStepInput<B>, C>, s3: Runner<NextStepInput<C>, D>, s4: Runner<NextStepInput<D>, E>): Workflow<A, E>;
+export declare function workflow<A extends object, B, C, D, E, F>(s1: Runner<A, B>, s2: Runner<NextStepInput<B>, C>, s3: Runner<NextStepInput<C>, D>, s4: Runner<NextStepInput<D>, E>, s5: Runner<NextStepInput<E>, F>): Workflow<A, F>;
+export declare function workflow<A extends object, B, C, D, E, F, G>(s1: Runner<A, B>, s2: Runner<NextStepInput<B>, C>, s3: Runner<NextStepInput<C>, D>, s4: Runner<NextStepInput<D>, E>, s5: Runner<NextStepInput<E>, F>, s6: Runner<NextStepInput<F>, G>): Workflow<A, G>;
+export declare function workflow<A extends object, B, C, D, E, F, G, H>(s1: Runner<A, B>, s2: Runner<NextStepInput<B>, C>, s3: Runner<NextStepInput<C>, D>, s4: Runner<NextStepInput<D>, E>, s5: Runner<NextStepInput<E>, F>, s6: Runner<NextStepInput<F>, G>, s7: Runner<NextStepInput<G>, H>): Workflow<A, H>;
+export declare function workflow<A extends object, B, C, D, E, F, G, H, I>(s1: Runner<A, B>, s2: Runner<NextStepInput<B>, C>, s3: Runner<NextStepInput<C>, D>, s4: Runner<NextStepInput<D>, E>, s5: Runner<NextStepInput<E>, F>, s6: Runner<NextStepInput<F>, G>, s7: Runner<NextStepInput<G>, H>, s8: Runner<NextStepInput<H>, I>): Workflow<A, I>;
+export {};

package/dist/esm/core-flow/Workflow.js

@@ -0,0 +1,205 @@
+/**
+ * workflow() — sequential steps whose hand-offs are checked by the compiler.
+ *
+ * WHY this exists: `Sequence` is the workhorse for "A, then B, then C",
+ * and every step it accepts has the same shape — takes `{ message }`,
+ * returns `string`. That is exactly right for chaining LLM calls, and
+ * exactly wrong the moment a step wants to hand the next one something
+ * structured: `Sequence` coerces any non-string step output to `''`
+ * (Sequence.ts, the step `outputMapper`), so a step that returns a parsed
+ * ticket silently hands the next step nothing at all. The mistake shows up
+ * as an empty prompt three steps later, at runtime, in production.
+ *
+ * `workflow()` closes that gap from both ends:
+ *
+ *   - **At compile time** — step N's OUTPUT type must be what step N+1
+ *     accepts. A `Runner<{ message: string }, Ticket>` followed by a
+ *     `Runner<{ orderId: string }, string>` does not compile. The chain is
+ *     proven before you run it, not debugged after.
+ *   - **At run time** — a step's value is handed to the next step
+ *     UNCHANGED. Objects stay objects. The one convenience is the house
+ *     convention: a step that returns a `string` feeds the next step's
+ *     `{ message }`, because that is what every LLM runner here wants.
+ *
+ * Pattern: Adapter over footprintjs's `addSubFlowChartNext`, with the
+ *          type-level handoff proof carried by overloads (1–8 steps).
+ * Role:    core-flow/ layer, alongside Sequence/Parallel/Conditional/Loop.
+ *          Pure control flow — no LLM dependency.
+ * Emits:   agentfootprint.composition.enter / exit, reported as kind
+ *          `'Sequence'` — a workflow IS a sequential composition, and
+ *          widening the public `CompositionKind` union would break
+ *          exhaustive switches in consumer code for no behavioural gain.
+ *
+ * THREE HONEST LIMITS, all inherited from the engine and all verified in
+ * `test/core-flow/scenario/Workflow.test.ts` — worth knowing before you
+ * put rich objects on the wire:
+ *
+ *   1. Only PLAIN DATA crosses a step boundary. A value with a prototype
+ *      (Date, Map, Set, a class instance) arrives as `{}`, and `undefined`
+ *      fields are dropped. Send strings, numbers, arrays and plain
+ *      objects; send a timestamp as an ISO string, not a `Date`.
+ *   2. A step must RETURN its output — the value handed forward is the
+ *      step chart's traversal result. A step whose last stage returns
+ *      nothing hands its whole scope forward instead.
+ *   3. The workflow's own input keys stay visible to LATER steps too
+ *      (footprintjs's `getArgs()` inherits the run's arguments). A key the
+ *      previous step actually produced always wins; a key it did NOT
+ *      produce can still be read from the original input rather than
+ *      coming back `undefined`.
+ *
+ * @example  a typed three-step chain
+ * ```ts
+ * interface Ticket { orderId: string; angry: boolean }
+ *
+ * const parse: Runner<{ message: string }, Ticket> = …;
+ * const lookup: Runner<Ticket, { refundUsd: number }> = …;
+ * const reply: Runner<{ refundUsd: number }, string> = …;
+ *
+ * const intake = workflow(parse, lookup, reply);
+ * const answer = await intake.run({ message: 'where is my refund?' });
+ * //    ^? string — the chain's last output type
+ *
+ * workflow(parse, reply); // ✗ compile error: Ticket is not { refundUsd }
+ * ```
+ */
+import { FlowChartExecutor, flowChart, } from 'footprintjs';
+import { RunnerBase, makeRunId } from '../core/RunnerBase.js';
+import { agentRecorder } from '../recorders/core/AgentRecorder.js';
+import { compositionRecorder } from '../recorders/core/CompositionRecorder.js';
+import { ContextRecorder } from '../recorders/core/ContextRecorder.js';
+import { streamRecorder } from '../recorders/core/StreamRecorder.js';
+import { typedEmit } from '../recorders/core/typedEmit.js';
+/**
+ * Hand the previous step's value to the next step as its input args.
+ *
+ * `string` → `{ message }` (the house convention). Plain object → itself.
+ * Anything else is a broken hand-off and says so loudly: the alternative
+ * is an empty input three steps downstream with nothing pointing back
+ * here.
+ */
+function toStepArgs(value, stepNumber) {
+    if (typeof value === 'string')
+        return { message: value };
+    if (typeof value === 'object' && value !== null && !Array.isArray(value)) {
+        return { ...value };
+    }
+    const got = value === null ? 'null' : Array.isArray(value) ? 'an array' : typeof value;
+    throw new Error(`workflow: step ${stepNumber - 1} handed forward ${got}, but step ${stepNumber} needs an ` +
+        'object (or a string, which arrives as { message }). Make each step return its output.');
+}
+/**
+ * A sequential composition that passes values through untouched. Build one
+ * with {@link workflow} — that factory carries the type-level chain proof.
+ */
+export class Workflow extends RunnerBase {
+    name;
+    id;
+    steps;
+    opts;
+    currentRunContext = {
+        runStartMs: 0,
+        runId: 'pending',
+        compositionPath: [],
+    };
+    constructor(steps, opts = {}) {
+        super();
+        if (steps.length === 0) {
+            throw new Error('Workflow: must have at least one step');
+        }
+        this.opts = opts;
+        this.name = opts.name ?? 'Workflow';
+        this.id = opts.id ?? 'workflow';
+        this.steps = steps;
+        // Eager chart construction — see `RunnerBase.initChart` JSDoc.
+        this.initChart(() => this.buildChart());
+    }
+    async run(input, options) {
+        const executor = this.createExecutor();
+        this.lastExecutor = executor;
+        const result = await executor.run({ input: { ...input }, ...(options ?? {}) });
+        return this.finalizeResult(executor, result);
+    }
+    async resume(checkpoint, input, options) {
+        this.emitPauseResume(checkpoint, input);
+        const executor = this.createExecutor();
+        this.lastExecutor = executor;
+        const result = await executor.resume(checkpoint, input, options);
+        return this.finalizeResult(executor, result);
+    }
+    createExecutor() {
+        this.currentRunContext = {
+            runStartMs: Date.now(),
+            runId: makeRunId(),
+            compositionPath: [`Workflow:${this.id}`],
+        };
+        const executor = new FlowChartExecutor(this.getSpec());
+        const dispatcher = this.getDispatcher();
+        const getRunCtx = () => this.currentRunContext;
+        executor.attachCombinedRecorder(new ContextRecorder({ dispatcher, getRunContext: getRunCtx }));
+        executor.attachCombinedRecorder(streamRecorder({ dispatcher, getRunContext: getRunCtx }));
+        executor.attachCombinedRecorder(agentRecorder({ dispatcher, getRunContext: getRunCtx }));
+        executor.attachCombinedRecorder(compositionRecorder({ dispatcher, getRunContext: getRunCtx }));
+        for (const r of this.attachedRecorders)
+            executor.attachCombinedRecorder(r);
+        return executor;
+    }
+    finalizeResult(executor, result) {
+        const paused = this.detectPause(executor, result);
+        if (paused)
+            return paused;
+        if (result instanceof Error)
+            throw result;
+        return result;
+    }
+    buildChart() {
+        const steps = this.steps;
+        const compositionId = this.id;
+        const compositionName = this.name;
+        const seed = (scope) => {
+            // The workflow's own input IS step 1's input — no unwrapping, no
+            // re-wrapping; that is the whole point of the typed chain.
+            scope.current = scope.$getArgs();
+            typedEmit(scope, 'agentfootprint.composition.enter', {
+                kind: 'Sequence',
+                id: compositionId,
+                name: compositionName,
+                childCount: steps.length,
+            });
+        };
+        // Root description prefix `Sequence:` is the taxonomy marker every
+        // consumer (Lens, FlowchartRecorder.mapTopologyToSteps) already reads.
+        let builder = flowChart('Seed', seed, 'seed', {
+            ...(this.opts.structureRecorders !== undefined && {
+                structureRecorders: [...this.opts.structureRecorders],
+            }),
+            description: `Sequence: ${steps.length}-step typed workflow`,
+        });
+        steps.forEach((step, index) => {
+            const stepNumber = index + 1;
+            builder = builder.addSubFlowChartNext(`step-${stepNumber}`, step.getSpec(), `Step ${stepNumber}`, {
+                inputMapper: (parent) => toStepArgs(parent.current, stepNumber),
+                // Untouched: whatever the step's chart returned is what the next
+                // step (or the caller) receives. No string coercion.
+                outputMapper: (sfOutput) => ({ current: sfOutput }),
+            });
+        });
+        builder = builder.addFunction('Finalize', (scope) => {
+            typedEmit(scope, 'agentfootprint.composition.exit', {
+                kind: 'Sequence',
+                id: compositionId,
+                name: compositionName,
+                status: 'ok',
+                durationMs: Date.now() - this.currentRunContext.runStartMs,
+            });
+            return scope.current;
+        }, 'finalize', 'Workflow finalize');
+        return builder.build();
+    }
+}
+export function workflow(...steps) {
+    if (steps.length === 0) {
+        throw new Error('workflow(): needs at least one step');
+    }
+    return new Workflow(steps);
+}
+//# sourceMappingURL=Workflow.js.map

package/dist/esm/core-flow/Workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Workflow.js","sourceRoot":"","sources":["../../../src/core-flow/Workflow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG;AAEH,OAAO,EACL,iBAAiB,EACjB,SAAS,GAMV,MAAM,aAAa,CAAC;AAIrB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAoC3D;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,KAAc,EAAE,UAAkB;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,GAAI,KAAiC,EAAE,CAAC;IACnD,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC;IACvF,MAAM,IAAI,KAAK,CACb,kBAAkB,UAAU,GAAG,CAAC,mBAAmB,GAAG,cAAc,UAAU,YAAY;QACxF,uFAAuF,CAC1F,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,QAAsD,SAAQ,UAAqB;IACrF,IAAI,CAAS;IACb,EAAE,CAAS;IACH,KAAK,CAAqB;IAC1B,IAAI,CAAkB;IAE/B,iBAAiB,GAAe;QACtC,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,SAAS;QAChB,eAAe,EAAE,EAAE;KACpB,CAAC;IAEF,YAAY,KAAyB,EAAE,OAAwB,EAAE;QAC/D,KAAK,EAAE,CAAC;QACR,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC;QACpC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC;QAChC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,+DAA+D;QAC/D,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,KAAU,EAAE,OAAoB;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACvC,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/E,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,MAAM,CACV,UAA+B,EAC/B,KAAe,EACf,OAAoB;QAEpB,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACvC,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACjE,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IAEO,cAAc;QACpB,IAAI,CAAC,iBAAiB,GAAG;YACvB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;YACtB,KAAK,EAAE,SAAS,EAAE;YAClB,eAAe,EAAE,CAAC,YAAY,IAAI,CAAC,EAAE,EAAE,CAAC;SACzC,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,GAAe,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC;QAE3D,QAAQ,CAAC,sBAAsB,CAAC,IAAI,eAAe,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC/F,QAAQ,CAAC,sBAAsB,CAAC,cAAc,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC1F,QAAQ,CAAC,sBAAsB,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACzF,QAAQ,CAAC,sBAAsB,CAAC,mBAAmB,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC/F,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,iBAAiB;YAAE,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,cAAc,CAAC,QAA2B,EAAE,MAAe;QACjE,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,IAAI,MAAM,YAAY,KAAK;YAAE,MAAM,MAAM,CAAC;QAC1C,OAAO,MAAc,CAAC;IACxB,CAAC;IAEO,UAAU;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC;QAElC,MAAM,IAAI,GAAG,CAAC,KAAgC,EAAE,EAAE;YAChD,iEAAiE;YACjE,2DAA2D;YAC3D,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,QAAQ,EAA2B,CAAC;YAC1D,SAAS,CAAC,KAAK,EAAE,kCAAkC,EAAE;gBACnD,IAAI,EAAE,UAAU;gBAChB,EAAE,EAAE,aAAa;gBACjB,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,KAAK,CAAC,MAAM;aACzB,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,mEAAmE;QACnE,uEAAuE;QACvE,IAAI,OAAO,GAAG,SAAS,CAAgB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;YAC3D,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,KAAK,SAAS,IAAI;gBAChD,kBAAkB,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC;aACtD,CAAC;YACF,WAAW,EAAE,aAAa,KAAK,CAAC,MAAM,sBAAsB;SAC7D,CAAC,CAAC;QAEH,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC5B,MAAM,UAAU,GAAG,KAAK,GAAG,CAAC,CAAC;YAC7B,OAAO,GAAG,OAAO,CAAC,mBAAmB,CACnC,QAAQ,UAAU,EAAE,EACpB,IAAI,CAAC,OAAO,EAAE,EACd,QAAQ,UAAU,EAAE,EACpB;gBACE,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC;gBAC/D,iEAAiE;gBACjE,qDAAqD;gBACrD,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;aACpD,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,OAAO,GAAG,OAAO,CAAC,WAAW,CAC3B,UAAU,EACV,CAAC,KAAgC,EAAE,EAAE;YACnC,SAAS,CAAC,KAAK,EAAE,iCAAiC,EAAE;gBAClD,IAAI,EAAE,UAAU;gBAChB,EAAE,EAAE,aAAa;gBACjB,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,IAAI;gBACZ,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU;aAC3D,CAAC,CAAC;YACH,OAAO,KAAK,CAAC,OAAO,CAAC;QACvB,CAAC,EACD,UAAU,EACV,mBAAmB,CACpB,CAAC;QAEF,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC;IACzB,CAAC;CACF;AA+ED,MAAM,UAAU,QAAQ,CAAC,GAAG,KAAyB;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,IAAI,QAAQ,CAAC,KAAK,CAA2B,CAAC;AACvD,CAAC"}

package/dist/esm/index.d.ts

@@ -42,6 +42,7 @@ export { Sequence, SequenceBuilder, type SequenceInput, type SequenceOptions, ty
 export { Parallel, ParallelBuilder, type BranchOutcome, type MergeFn, type MergeOutcomesFn, type MergeWithLLMOptions, type ParallelBranchOptions, type ParallelInput, type ParallelOptions, type ParallelOutput, } from './core-flow/Parallel.js';
 export { Conditional, ConditionalBuilder, type ConditionalInput, type ConditionalOptions, type ConditionalOutput, type Predicate, } from './core-flow/Conditional.js';
 export { Loop, LoopBuilder, type LoopInput, type LoopOptions, type LoopOutput, type UntilGuard, } from './core-flow/Loop.js';
+export { workflow, Workflow, type NextStepInput, type WorkflowOptions, } from './core-flow/Workflow.js';
 export { providerFromEnv, type ProviderKind, type CreateProviderOptions, type ProviderFromEnv, } from './adapters/llm/createProvider.js';
 export * from './patterns/index.js';
 export { defineRAG, type DefineRAGOptions, indexDocuments, type IndexDocumentsOptions, type RagDocument, } from './lib/rag/index.js';

package/dist/esm/index.js

@@ -102,6 +102,7 @@ export { Sequence, SequenceBuilder, } from './core-flow/Sequence.js';
 export { Parallel, ParallelBuilder, } from './core-flow/Parallel.js';
 export { Conditional, ConditionalBuilder, } from './core-flow/Conditional.js';
 export { Loop, LoopBuilder, } from './core-flow/Loop.js';
+export { workflow, Workflow, } from './core-flow/Workflow.js';
 // Adapters — LLM providers
 // `mock(...)` is the lowercase factory equivalent to `new MockProvider(...)`.
 // `anthropic(...)` is the real Claude provider via `@anthropic-ai/sdk`.

package/dist/esm/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,oEAAoE;AACpE,8DAA8D;AAC9D,uEAAuE;AACvE,kEAAkE;AAClE,sEAAsE;AACtE,sDAAsD;AACtD,OAAO,8CAA8C,CAAC;AACtD,OAAO,2CAA2C,CAAC;AACnD,OAAO,4CAA4C,CAAC;AAsCpD,6BAA6B;AAC7B,cAAc,qBAAqB,CAAC;AAEpC,yEAAyE;AACzE,uDAAuD;AACvD,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,cAAc;AAEd,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,gBAAgB;AAChB,SAAS;AAET,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,6DAA6D;AAC7D,YAAY,GAGb,MAAM,kBAAkB,CAAC;AAC1B,oEAAoE;AACpE,yEAAyE;AACzE,wEAAwE;AACxE,qEAAqE;AACrE,kDAAkD;AAClD,OAAO,EACL,gBAAgB,GAMjB,MAAM,2BAA2B,CAAC;AAKnC,yCAAyC;AACzC,EAAE;AACF,yEAAyE;AACzE,kEAAkE;AAClE,oEAAoE;AACpE,qEAAqE;AACrE,2EAA2E;AAC3E,8EAA8E;AAC9E,0DAA0D;AAC1D,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,gBAAgB,GAKjB,MAAM,wCAAwC,CAAC;AAIhD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAO7D,sEAAsE;AACtE,wEAAwE;AACxE,iEAAiE;AACjE,sEAAsE;AACtE,uEAAuE;AACvE,OAAO,EACL,SAAS,EACT,QAAQ,EACR,cAAc,EACd,QAAQ,EACR,cAAc,GAEf,MAAM,iBAAiB,CAAC;AAEzB,uEAAuE;AACvE,6EAA6E;AAC7E,mEAAmE;AACnE,0EAA0E;AAC1E,oFAAoF;AACpF,OAAO,EACL,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,yBAAyB,EACzB,wBAAwB,GAgBzB,MAAM,mBAAmB,CAAC;AAM3B,6EAA6E;AAC7E,OAAO,EACL,eAAe,GAIhB,MAAM,qCAAqC,CAAC;AAY7C,qEAAqE;AACrE,kEAAkE;AAClE,kEAAkE;AAClE,OAAO,EACL,0BAA0B;AAC1B,kEAAkE;AAClE,mEAAmE;AACnE,oDAAoD;AACpD,gBAAgB,EAChB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GAGpB,MAAM,6DAA6D,CAAC;AAErE,gEAAgE;AAChE,sEAAsE;AACtE,uDAAuD;AACvD,sEAAsE;AACtE,+DAA+D;AAC/D,gEAAgE;AAChE,wEAAwE;AACxE,mCAAmC;AAEnC,qBAAqB;AACrB,OAAO,EACL,OAAO,EACP,cAAc,GAIf,MAAM,mBAAmB,CAAC;AAO3B,2EAA2E;AAC3E,gFAAgF;AAChF,4EAA4E;AAC5E,2EAA2E;AAC3E,OAAO,EACL,yBAAyB,GAE1B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,KAAK,EACL,YAAY,GAKb,MAAM,iBAAiB,CAAC;AAkBzB,OAAO,EACL,iBAAiB,EACjB,iBAAiB,GAGlB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,kBAAkB,EAA2B,MAAM,yBAAyB,CAAC;AACtF,OAAO,EACL,eAAe,GAIhB,MAAM,2BAA2B,CAAC;AAOnC,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACzF,OAAO,EACL,mBAAmB,EACnB,yBAAyB,GAK1B,MAAM,wBAAwB,CAAC;AAEhC,iEAAiE;AACjE,yDAAyD;AACzD,kEAAkE;AAClE,6DAA6D;AAC7D,wEAAwE;AACxE,kEAAkE;AAClE,2DAA2D;AAC3D,sEAAsE;AAEtE,4BAA4B;AAC5B,OAAO,EACL,QAAQ,EACR,eAAe,GAIhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,QAAQ,EACR,eAAe,GAShB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,WAAW,EACX,kBAAkB,GAKnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,EACJ,WAAW,GAKZ,MAAM,qBAAqB,CAAC;AAE7B,2BAA2B;AAC3B,8EAA8E;AAC9E,wEAAwE;AACxE,mEAAmE;AACnE,qEAAqE;AACrE,EAAE;AACF,kEAAkE;AAClE,qEAAqE;AACrE,wEAAwE;AACxE,gEAAgE;AAChE,gEAAgE;AAChE,6CAA6C;AAC7C,EAAE;AACF,2FAA2F;AAC3F,wFAAwF;AAExF,OAAO,EACL,eAAe,GAIhB,MAAM,kCAAkC,CAAC;AAE1C,+DAA+D;AAE/D,oEAAoE;AACpE,gEAAgE;AAEhE,qEAAqE;AACrE,0DAA0D;AAC1D,cAAc,qBAAqB,CAAC;AAEpC,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,sEAAsE;AACtE,8CAA8C;AAE9C,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AACtE,OAAO,EACL,SAAS,EAET,cAAc,GAGf,MAAM,oBAAoB,CAAC;AAE5B,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,oEAAoE;AACpE,8DAA8D;AAC9D,wEAAwE;AACxE,gDAAgD;AAChD,wEAAwE;AACxE,gEAAgE;AAEhE,wEAAwE;AACxE,wEAAwE;AACxE,uDAAuD;AAEvD,mEAAmE;AACnE,oEAAoE;AACpE,sDAAsD"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,oEAAoE;AACpE,8DAA8D;AAC9D,uEAAuE;AACvE,kEAAkE;AAClE,sEAAsE;AACtE,sDAAsD;AACtD,OAAO,8CAA8C,CAAC;AACtD,OAAO,2CAA2C,CAAC;AACnD,OAAO,4CAA4C,CAAC;AAsCpD,6BAA6B;AAC7B,cAAc,qBAAqB,CAAC;AAEpC,yEAAyE;AACzE,uDAAuD;AACvD,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,cAAc;AAEd,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,gBAAgB;AAChB,SAAS;AAET,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,6DAA6D;AAC7D,YAAY,GAGb,MAAM,kBAAkB,CAAC;AAC1B,oEAAoE;AACpE,yEAAyE;AACzE,wEAAwE;AACxE,qEAAqE;AACrE,kDAAkD;AAClD,OAAO,EACL,gBAAgB,GAMjB,MAAM,2BAA2B,CAAC;AAKnC,yCAAyC;AACzC,EAAE;AACF,yEAAyE;AACzE,kEAAkE;AAClE,oEAAoE;AACpE,qEAAqE;AACrE,2EAA2E;AAC3E,8EAA8E;AAC9E,0DAA0D;AAC1D,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,gBAAgB,GAKjB,MAAM,wCAAwC,CAAC;AAIhD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAO7D,sEAAsE;AACtE,wEAAwE;AACxE,iEAAiE;AACjE,sEAAsE;AACtE,uEAAuE;AACvE,OAAO,EACL,SAAS,EACT,QAAQ,EACR,cAAc,EACd,QAAQ,EACR,cAAc,GAEf,MAAM,iBAAiB,CAAC;AAEzB,uEAAuE;AACvE,6EAA6E;AAC7E,mEAAmE;AACnE,0EAA0E;AAC1E,oFAAoF;AACpF,OAAO,EACL,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,yBAAyB,EACzB,wBAAwB,GAgBzB,MAAM,mBAAmB,CAAC;AAM3B,6EAA6E;AAC7E,OAAO,EACL,eAAe,GAIhB,MAAM,qCAAqC,CAAC;AAY7C,qEAAqE;AACrE,kEAAkE;AAClE,kEAAkE;AAClE,OAAO,EACL,0BAA0B;AAC1B,kEAAkE;AAClE,mEAAmE;AACnE,oDAAoD;AACpD,gBAAgB,EAChB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GAGpB,MAAM,6DAA6D,CAAC;AAErE,gEAAgE;AAChE,sEAAsE;AACtE,uDAAuD;AACvD,sEAAsE;AACtE,+DAA+D;AAC/D,gEAAgE;AAChE,wEAAwE;AACxE,mCAAmC;AAEnC,qBAAqB;AACrB,OAAO,EACL,OAAO,EACP,cAAc,GAIf,MAAM,mBAAmB,CAAC;AAO3B,2EAA2E;AAC3E,gFAAgF;AAChF,4EAA4E;AAC5E,2EAA2E;AAC3E,OAAO,EACL,yBAAyB,GAE1B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,KAAK,EACL,YAAY,GAKb,MAAM,iBAAiB,CAAC;AAkBzB,OAAO,EACL,iBAAiB,EACjB,iBAAiB,GAGlB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,kBAAkB,EAA2B,MAAM,yBAAyB,CAAC;AACtF,OAAO,EACL,eAAe,GAIhB,MAAM,2BAA2B,CAAC;AAOnC,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACzF,OAAO,EACL,mBAAmB,EACnB,yBAAyB,GAK1B,MAAM,wBAAwB,CAAC;AAEhC,iEAAiE;AACjE,yDAAyD;AACzD,kEAAkE;AAClE,6DAA6D;AAC7D,wEAAwE;AACxE,kEAAkE;AAClE,2DAA2D;AAC3D,sEAAsE;AAEtE,4BAA4B;AAC5B,OAAO,EACL,QAAQ,EACR,eAAe,GAIhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,QAAQ,EACR,eAAe,GAShB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,WAAW,EACX,kBAAkB,GAKnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,EACJ,WAAW,GAKZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,QAAQ,EACR,QAAQ,GAGT,MAAM,yBAAyB,CAAC;AAEjC,2BAA2B;AAC3B,8EAA8E;AAC9E,wEAAwE;AACxE,mEAAmE;AACnE,qEAAqE;AACrE,EAAE;AACF,kEAAkE;AAClE,qEAAqE;AACrE,wEAAwE;AACxE,gEAAgE;AAChE,gEAAgE;AAChE,6CAA6C;AAC7C,EAAE;AACF,2FAA2F;AAC3F,wFAAwF;AAExF,OAAO,EACL,eAAe,GAIhB,MAAM,kCAAkC,CAAC;AAE1C,+DAA+D;AAE/D,oEAAoE;AACpE,gEAAgE;AAEhE,qEAAqE;AACrE,0DAA0D;AAC1D,cAAc,qBAAqB,CAAC;AAEpC,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,sEAAsE;AACtE,8CAA8C;AAE9C,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AACtE,OAAO,EACL,SAAS,EAET,cAAc,GAGf,MAAM,oBAAoB,CAAC;AAE5B,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,oEAAoE;AACpE,8DAA8D;AAC9D,wEAAwE;AACxE,gDAAgD;AAChD,wEAAwE;AACxE,gEAAgE;AAEhE,wEAAwE;AACxE,wEAAwE;AACxE,uDAAuD;AAEvD,mEAAmE;AACnE,oEAAoE;AACpE,sDAAsD"}