@relayflows/sdk 2.0.27 → 2.0.28

package/dist/authored-step-graph.d.ts

@@ -0,0 +1,83 @@
+import { type AuthoredStepEdges } from './authored-step-index.js';
+/**
+ * The named DAG an authored body draws, recorded as it runs.
+ *
+ * An authored flow is plain TypeScript, so the shape Cloud wants to draw — which
+ * `f.agent` waited for which — is not declared anywhere. It is, however, a fact
+ * the runtime already holds: the promise graph (`authored-promise-graph.ts`)
+ * records, for every promise the body creates, what triggered it, what resolved
+ * it, and which context created it. A step's causal predecessors are the step
+ * promises reachable backward from the context that invoked it.
+ *
+ * Three rules make that walk an answer rather than an approximation:
+ *
+ * 1. **Stop at steps.** A step promise is a frontier; what it waited for is its
+ *    own `after`, not ours.
+ * 2. **Expand an aggregate that waited for every member.** The runtime links a
+ *    combinator's aggregate only to the member whose settlement settled it.
+ *    That member is the whole answer when the aggregate settled on the first
+ *    member that could decide it — a rejected `all`, a fulfilled `any`, any
+ *    `race` — and a fraction of it when the aggregate had to wait for all of
+ *    them: a fulfilled `all`, a rejected `any`, every `allSettled`. Which case
+ *    applies is known only once the aggregate settles, so it is decided when a
+ *    walk reaches the aggregate (`registerAggregate`, `promiseOutcome`).
+ * 3. **Reduce transitively.** `a → b → c` reaches both `a` and `b` from `c`;
+ *    `a` is an ancestor of `b`, so it is dropped.
+ *
+ * Cost is bounded, not quadratic. Each invocation context's frontier is
+ * memoized, and a walk that reaches an already-answered context takes its
+ * answer instead of re-walking the history behind it — so a long sequential
+ * body walks a few nodes per step. A walk that still exceeds `walkLimit` stops
+ * and says so (`afterTruncated`) rather than guessing silently.
+ *
+ * This is observational metadata: it never gates execution, and it changes no
+ * step id, admission key or resume identity.
+ */
+export declare const MAX_WALK = 10000;
+type Combinator = 'all' | 'allSettled' | 'any' | 'race';
+type Outcome = 'pending' | 'fulfilled' | 'rejected';
+export declare class AuthoredStepGraph {
+    private readonly causesOf;
+    private readonly walkLimit;
+    private readonly stepPromises;
+    private readonly aggregates;
+    private readonly contexts;
+    private readonly nodes;
+    private readonly edges;
+    constructor(causesOf: (asyncId: number) => readonly number[], walkLimit?: number);
+    /** A combinator's aggregate and its members, for expansion once it settles. */
+    registerAggregate(aggregateId: number, promise: Promise<unknown>, combinator: Combinator, members: readonly number[]): void;
+    /**
+     * Record a step invoked from `contextId`. `promiseId` is the step's own
+     * promise, when the promise graph saw it, so later walks stop there.
+     */
+    registerStep(step: string, promiseId: number | undefined, contextId: number, label?: string): AuthoredStepEdges;
+    edgesOf(step: string): AuthoredStepEdges | undefined;
+    /** Drop the walk state; recorded edges stay readable for late record writes. */
+    release(): void;
+    private frontierOf;
+    /** The members an aggregate waited for beyond its own resolution edge. */
+    private waitedFor;
+    /**
+     * Drop every candidate that is an ancestor of another candidate. The
+     * reduction reads recorded `after` lists; when one it reads is incomplete,
+     * a redundant ancestor can survive, and the result says so.
+     */
+    private reduce;
+    private orderOf;
+}
+/**
+ * Whether a promise has settled, and how, read without attaching a handler.
+ *
+ * Attaching one would mark an author's rejected aggregate as handled and hide
+ * an unhandled rejection the process would otherwise report, so the state is
+ * read the one public way that has no such effect: Node's own inspection.
+ * `customInspect`, `getters` and `showProxy` keep author code and proxy traps
+ * from running; `depth: 0` and the length caps keep the rendered value small.
+ * Every option the match depends on is set here, because `inspect` fills the
+ * rest from `util.inspect.defaultOptions`, which any code in the process can
+ * change — `colors: true` there would wrap `<rejected>` in ANSI escapes.
+ */
+export declare function promiseOutcome(promise: Promise<unknown>): Outcome;
+export {};
+//# sourceMappingURL=authored-step-graph.d.ts.map

package/dist/authored-step-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-step-graph.d.ts","sourceRoot":"","sources":["../src/authored-step-graph.ts"],"names":[],"mappings":"AACA,OAAO,EAA2B,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE3F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,QAAQ,QAAS,CAAC;AAc/B,KAAK,UAAU,GAAG,KAAK,GAAG,YAAY,GAAG,KAAK,GAAG,MAAM,CAAC;AACxD,KAAK,OAAO,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;AAkBpD,qBAAa,iBAAiB;IAQ1B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAR5B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAA6B;IAC1D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAgC;IAC3D,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA+B;IACxD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA+B;IACrD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAwC;gBAG3C,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,EAChD,SAAS,SAAW;IAGvC,+EAA+E;IAC/E,iBAAiB,CACf,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,EACzB,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,IAAI;IAMP;;;OAGG;IACH,YAAY,CACV,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,SAAS,EAAE,MAAM,EACjB,KAAK,CAAC,EAAE,MAAM,GACb,iBAAiB;IAcpB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS;IAIpD,gFAAgF;IAChF,OAAO,IAAI,IAAI;IAOf,OAAO,CAAC,UAAU;IAwClB,0EAA0E;IAC1E,OAAO,CAAC,SAAS;IAWjB;;;;OAIG;IACH,OAAO,CAAC,MAAM;IAmCd,OAAO,CAAC,OAAO;CAGhB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAOjE"}

package/dist/authored-step-graph.js

@@ -0,0 +1,217 @@
+import { inspect } from 'node:util';
+import { MAX_AFTER, displayLabel } from './authored-step-index.js';
+/**
+ * The named DAG an authored body draws, recorded as it runs.
+ *
+ * An authored flow is plain TypeScript, so the shape Cloud wants to draw — which
+ * `f.agent` waited for which — is not declared anywhere. It is, however, a fact
+ * the runtime already holds: the promise graph (`authored-promise-graph.ts`)
+ * records, for every promise the body creates, what triggered it, what resolved
+ * it, and which context created it. A step's causal predecessors are the step
+ * promises reachable backward from the context that invoked it.
+ *
+ * Three rules make that walk an answer rather than an approximation:
+ *
+ * 1. **Stop at steps.** A step promise is a frontier; what it waited for is its
+ *    own `after`, not ours.
+ * 2. **Expand an aggregate that waited for every member.** The runtime links a
+ *    combinator's aggregate only to the member whose settlement settled it.
+ *    That member is the whole answer when the aggregate settled on the first
+ *    member that could decide it — a rejected `all`, a fulfilled `any`, any
+ *    `race` — and a fraction of it when the aggregate had to wait for all of
+ *    them: a fulfilled `all`, a rejected `any`, every `allSettled`. Which case
+ *    applies is known only once the aggregate settles, so it is decided when a
+ *    walk reaches the aggregate (`registerAggregate`, `promiseOutcome`).
+ * 3. **Reduce transitively.** `a → b → c` reaches both `a` and `b` from `c`;
+ *    `a` is an ancestor of `b`, so it is dropped.
+ *
+ * Cost is bounded, not quadratic. Each invocation context's frontier is
+ * memoized, and a walk that reaches an already-answered context takes its
+ * answer instead of re-walking the history behind it — so a long sequential
+ * body walks a few nodes per step. A walk that still exceeds `walkLimit` stops
+ * and says so (`afterTruncated`) rather than guessing silently.
+ *
+ * This is observational metadata: it never gates execution, and it changes no
+ * step id, admission key or resume identity.
+ */
+export const MAX_WALK = 10_000;
+/** The settlement on which a combinator had waited for every member. */
+const EXPANDS_ON = {
+    all: 'fulfilled',
+    allSettled: 'always',
+    any: 'rejected',
+    race: undefined,
+};
+export class AuthoredStepGraph {
+    causesOf;
+    walkLimit;
+    stepPromises = new Map();
+    aggregates = new Map();
+    contexts = new Map();
+    nodes = new Map();
+    edges = new Map();
+    constructor(causesOf, walkLimit = MAX_WALK) {
+        this.causesOf = causesOf;
+        this.walkLimit = walkLimit;
+    }
+    /** A combinator's aggregate and its members, for expansion once it settles. */
+    registerAggregate(aggregateId, promise, combinator, members) {
+        const expandsOn = EXPANDS_ON[combinator];
+        if (expandsOn === undefined || members.length === 0)
+            return;
+        this.aggregates.set(aggregateId, { promise, expandsOn, members });
+    }
+    /**
+     * Record a step invoked from `contextId`. `promiseId` is the step's own
+     * promise, when the promise graph saw it, so later walks stop there.
+     */
+    registerStep(step, promiseId, contextId, label) {
+        const frontier = this.frontierOf(contextId);
+        this.nodes.set(step, { order: this.nodes.size, after: frontier.steps, truncated: frontier.truncated });
+        if (promiseId !== undefined)
+            this.stepPromises.set(promiseId, step);
+        const truncated = frontier.truncated || frontier.steps.length > MAX_AFTER;
+        const edges = Object.freeze({
+            ...displayLabel(label),
+            ...(frontier.steps.length === 0 ? {} : { after: Object.freeze(frontier.steps.slice(0, MAX_AFTER)) }),
+            ...(truncated ? { afterTruncated: true } : {}),
+        });
+        this.edges.set(step, edges);
+        return edges;
+    }
+    edgesOf(step) {
+        return this.edges.get(step);
+    }
+    /** Drop the walk state; recorded edges stay readable for late record writes. */
+    release() {
+        this.stepPromises.clear();
+        this.aggregates.clear();
+        this.contexts.clear();
+        this.nodes.clear();
+    }
+    frontierOf(start) {
+        const memo = this.contexts.get(start);
+        if (memo !== undefined)
+            return memo;
+        const candidates = new Set();
+        let truncated = false;
+        const visited = new Set([start]);
+        const queue = [start];
+        // Breadth-first, so that a walk cut short by the limit has already found
+        // the nearest predecessors and lost only distant history.
+        for (let head = 0; head < queue.length; head++) {
+            const current = queue[head];
+            const step = this.stepPromises.get(current);
+            if (step !== undefined) {
+                candidates.add(step);
+                continue;
+            }
+            const answered = current === start ? undefined : this.contexts.get(current);
+            if (answered !== undefined) {
+                for (const found of answered.steps)
+                    candidates.add(found);
+                truncated ||= answered.truncated;
+                continue;
+            }
+            for (const id of [...this.waitedFor(current), ...this.causesOf(current)]) {
+                if (visited.has(id))
+                    continue;
+                // At the limit, stop growing the walk but still drain what is queued:
+                // those nodes are already known and cost one lookup each.
+                if (visited.size >= this.walkLimit) {
+                    truncated = true;
+                    break;
+                }
+                visited.add(id);
+                queue.push(id);
+            }
+        }
+        const reduced = this.reduce(candidates);
+        const frontier = Object.freeze({ steps: reduced.steps, truncated: truncated || reduced.truncated });
+        this.contexts.set(start, frontier);
+        return frontier;
+    }
+    /** The members an aggregate waited for beyond its own resolution edge. */
+    waitedFor(asyncId) {
+        const aggregate = this.aggregates.get(asyncId);
+        if (aggregate === undefined)
+            return [];
+        if (aggregate.expandsOn === 'always')
+            return aggregate.members;
+        if (aggregate.outcome === undefined) {
+            const outcome = promiseOutcome(aggregate.promise);
+            if (outcome !== 'pending')
+                aggregate.outcome = outcome;
+        }
+        return aggregate.outcome === aggregate.expandsOn ? aggregate.members : [];
+    }
+    /**
+     * Drop every candidate that is an ancestor of another candidate. The
+     * reduction reads recorded `after` lists; when one it reads is incomplete,
+     * a redundant ancestor can survive, and the result says so.
+     */
+    reduce(candidates) {
+        const ordered = [...candidates].sort((a, b) => this.orderOf(a) - this.orderOf(b));
+        if (ordered.length <= 1)
+            return { steps: ordered, truncated: false };
+        // An ancestor is always registered before its descendant, so nothing
+        // older than the oldest candidate can be one: the walk stops there.
+        const oldest = this.orderOf(ordered[0]);
+        const reached = new Set();
+        // Predecessor lists are read through cursors, never copied onto the stack, and every entry
+        // inspected counts toward the limit — duplicates included — so a wide fan-in bounds both
+        // allocation and work, not just the number of distinct steps reached.
+        const stack = [];
+        const pushList = (values) => {
+            if (values !== undefined && values.length > 0)
+                stack.push({ values, next: 0 });
+        };
+        for (const step of ordered)
+            pushList(this.nodes.get(step)?.after);
+        let inspected = 0;
+        let truncated = ordered.some((step) => this.nodes.get(step)?.truncated === true);
+        while (stack.length > 0) {
+            const frame = stack[stack.length - 1];
+            const step = frame.values[frame.next++];
+            if (frame.next === frame.values.length)
+                stack.pop();
+            if (++inspected > this.walkLimit) {
+                truncated = true;
+                break;
+            }
+            if (reached.has(step))
+                continue;
+            reached.add(step);
+            const node = this.nodes.get(step);
+            if (node === undefined || node.order <= oldest)
+                continue;
+            truncated ||= node.truncated;
+            pushList(node.after);
+        }
+        return { steps: ordered.filter((step) => !reached.has(step)), truncated };
+    }
+    orderOf(step) {
+        return this.nodes.get(step)?.order ?? -1;
+    }
+}
+/**
+ * Whether a promise has settled, and how, read without attaching a handler.
+ *
+ * Attaching one would mark an author's rejected aggregate as handled and hide
+ * an unhandled rejection the process would otherwise report, so the state is
+ * read the one public way that has no such effect: Node's own inspection.
+ * `customInspect`, `getters` and `showProxy` keep author code and proxy traps
+ * from running; `depth: 0` and the length caps keep the rendered value small.
+ * Every option the match depends on is set here, because `inspect` fills the
+ * rest from `util.inspect.defaultOptions`, which any code in the process can
+ * change — `colors: true` there would wrap `<rejected>` in ANSI escapes.
+ */
+export function promiseOutcome(promise) {
+    const shown = inspect(promise, {
+        depth: 0, customInspect: false, getters: false, showProxy: true, colors: false,
+        compact: 3, sorted: false, maxArrayLength: 0, maxStringLength: 0, breakLength: Infinity,
+    });
+    const state = /^[^{]*\{\s*<(pending|rejected)>/u.exec(shown)?.[1];
+    return state === 'pending' ? 'pending' : state === 'rejected' ? 'rejected' : 'fulfilled';
+}
+//# sourceMappingURL=authored-step-graph.js.map

package/dist/authored-step-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-step-graph.js","sourceRoot":"","sources":["../src/authored-step-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,YAAY,EAA0B,MAAM,0BAA0B,CAAC;AAE3F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC;AAiB/B,wEAAwE;AACxE,MAAM,UAAU,GAAiE;IAC/E,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,QAAQ;IACpB,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,SAAS;CAChB,CAAC;AAUF,MAAM,OAAO,iBAAiB;IAQT;IACA;IARF,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC1C,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IACvC,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IACpC,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IAE9D,YACmB,QAAgD,EAChD,YAAY,QAAQ;QADpB,aAAQ,GAAR,QAAQ,CAAwC;QAChD,cAAS,GAAT,SAAS,CAAW;IACpC,CAAC;IAEJ,+EAA+E;IAC/E,iBAAiB,CACf,WAAmB,EACnB,OAAyB,EACzB,UAAsB,EACtB,OAA0B;QAE1B,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACzC,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC5D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;IAED;;;OAGG;IACH,YAAY,CACV,IAAY,EACZ,SAA6B,EAC7B,SAAiB,EACjB,KAAc;QAEd,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;QACvG,IAAI,SAAS,KAAK,SAAS;YAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACpE,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;QAC1E,MAAM,KAAK,GAAsB,MAAM,CAAC,MAAM,CAAC;YAC7C,GAAG,YAAY,CAAC,KAAK,CAAC;YACtB,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACpG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxD,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,gFAAgF;IAChF,OAAO;QACL,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;IAEO,UAAU,CAAC,KAAa;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,yEAAyE;QACzE,0DAA0D;QAC1D,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,KAAK;oBAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC1D,SAAS,KAAK,QAAQ,CAAC,SAAS,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBACzE,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAC9B,sEAAsE;gBACtE,0DAA0D;gBAC1D,IAAI,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBACnC,SAAS,GAAG,IAAI,CAAC;oBACjB,MAAM;gBACR,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QACpG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,0EAA0E;IAClE,SAAS,CAAC,OAAe;QAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACvC,IAAI,SAAS,CAAC,SAAS,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC,OAAO,CAAC;QAC/D,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAClD,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS,CAAC,OAAO,GAAG,OAAO,CAAC;QACzD,CAAC;QACD,OAAO,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,CAAC;IAED;;;;OAIG;IACK,MAAM,CAAC,UAA+B;QAC5C,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QACrE,qEAAqE;QACrE,oEAAoE;QACpE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,2FAA2F;QAC3F,yFAAyF;QACzF,sEAAsE;QACtE,MAAM,KAAK,GAAgE,EAAE,CAAC;QAC9E,MAAM,QAAQ,GAAG,CAAC,MAAqC,EAAQ,EAAE;YAC/D,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,OAAO;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAClE,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,KAAK,IAAI,CAAC,CAAC;QACjF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YACvC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAE,CAAC;YACzC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM;gBAAE,KAAK,CAAC,GAAG,EAAE,CAAC;YACpD,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,SAAS,GAAG,IAAI,CAAC;gBACjB,MAAM;YACR,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,IAAI,MAAM;gBAAE,SAAS;YACzD,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;IAC5E,CAAC;IAEO,OAAO,CAAC,IAAY;QAC1B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC;IAC3C,CAAC;CACF;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,OAAyB;IACtD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE;QAC7B,KAAK,EAAE,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK;QAC9E,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,QAAQ;KACxF,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;AAC3F,CAAC"}

package/dist/authored-step-index.d.ts

@@ -48,7 +48,37 @@ export interface AuthoredStepRecord {
      * `<step>` — saying which is the difference between an index and a guess.
      */
     readonly kernelStep?: string;
+    /**
+     * Human name for the step: the author-chosen `f.agent` or `f.hook` name,
+     * whole or not at all (`displayLabel`).
+     */
+    readonly label?: string;
+    /**
+     * The steps this one causally waited for, transitively reduced
+     * (`authored-step-graph.ts`). Absent means none were found, not unknown.
+     */
+    readonly after?: readonly string[];
+    /** Present when `after` is incomplete: the walk hit its limit or the list its cap. */
+    readonly afterTruncated?: true;
 }
+/** The graph fields one authored step carries on every record about it. */
+export type AuthoredStepEdges = Pick<AuthoredStepRecord, 'label' | 'after' | 'afterTruncated'>;
+/** Most predecessors one record lists; the rest are marked `afterTruncated`. */
+export declare const MAX_AFTER = 32;
+/** Longest label a record carries. A longer one is omitted, never cut. */
+export declare const MAX_LABEL = 256;
+/**
+ * A label, whole, or nothing.
+ *
+ * A label is displayed and persisted by Cloud after its redactor runs, and the
+ * redactor matches whole secret values: a label cut mid-secret would arrive as
+ * an unredactable prefix. So a label is never truncated — one over the bound
+ * is dropped — and only author-chosen names are labels at all. Commands are
+ * not: they carry literal tokens and URLs, so `f.run` has no label.
+ */
+export declare function displayLabel(label: string | undefined): {
+    readonly label?: string;
+};
 /**
  * Append one record, or do nothing when there is no root to append to.
  *

package/dist/authored-step-index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"authored-step-index.d.ts","sourceRoot":"","sources":["../src/authored-step-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,oBAAoB,mBAAmB,CAAC;AAErD,oEAAoE;AACpE,QAAA,MAAM,WAAW,gCAAgC,CAAC;AAQlD;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,OAAO,WAAW,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAAC;IACzC,mCAAmC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,MAAM,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC,GACxC,OAAO,CAAC,IAAI,CAAC,CAWf;AAED;;;;;;GAMG;AACH,wBAAsB,UAAU,CAC9B,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,MAAM,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC,GACxC,OAAO,CAAC,MAAM,CAAC,CAOjB;AAED;;;;;;GAMG;AACH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAqB/B"}
+{"version":3,"file":"authored-step-index.d.ts","sourceRoot":"","sources":["../src/authored-step-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,oBAAoB,mBAAmB,CAAC;AAErD,oEAAoE;AACpE,QAAA,MAAM,WAAW,gCAAgC,CAAC;AAQlD;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,OAAO,WAAW,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAAC;IACzC,mCAAmC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,sFAAsF;IACtF,QAAQ,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC;CAChC;AAED,2EAA2E;AAC3E,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB,EAAE,OAAO,GAAG,OAAO,GAAG,gBAAgB,CAAC,CAAC;AAE/F,gFAAgF;AAChF,eAAO,MAAM,SAAS,KAAK,CAAC;AAE5B,0EAA0E;AAC1E,eAAO,MAAM,SAAS,MAAM,CAAC;AAE7B;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAEnF;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,MAAM,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC,GACxC,OAAO,CAAC,IAAI,CAAC,CAef;AAED;;;;;;GAMG;AACH,wBAAsB,UAAU,CAC9B,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,MAAM,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC,GACxC,OAAO,CAAC,MAAM,CAAC,CAOjB;AAED;;;;;;GAMG;AACH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAqB/B"}

package/dist/authored-step-index.js

@@ -30,6 +30,22 @@ const RECORD_KIND = 'relayflows.authored-step.v1';
  * exists so a hostile or buggy id cannot make one record unbounded.
  */
 const FIELD_CHARS = 256;
+/** Most predecessors one record lists; the rest are marked `afterTruncated`. */
+export const MAX_AFTER = 32;
+/** Longest label a record carries. A longer one is omitted, never cut. */
+export const MAX_LABEL = 256;
+/**
+ * A label, whole, or nothing.
+ *
+ * A label is displayed and persisted by Cloud after its redactor runs, and the
+ * redactor matches whole secret values: a label cut mid-secret would arrive as
+ * an unredactable prefix. So a label is never truncated — one over the bound
+ * is dropped — and only author-chosen names are labels at all. Commands are
+ * not: they carry literal tokens and URLs, so `f.run` has no label.
+ */
+export function displayLabel(label) {
+    return label === undefined || label.trim() === '' || label.length > MAX_LABEL ? {} : { label };
+}
 /**
  * Append one record, or do nothing when there is no root to append to.
  *
@@ -53,6 +69,10 @@ export async function recordAuthoredChild(journal, rootRunId, record) {
         ...(record.completionReason === undefined ? {} : { completionReason: bound(record.completionReason) }),
         ...(record.kernelStep === undefined || record.kernelStep === record.step
             ? {} : { kernelStep: bound(record.kernelStep) }),
+        ...displayLabel(record.label),
+        ...(record.after === undefined ? {} : { after: record.after.slice(0, MAX_AFTER).map(bound) }),
+        ...(record.afterTruncated === true || (record.after?.length ?? 0) > MAX_AFTER
+            ? { afterTruncated: true } : {}),
     });
 }
 /**
@@ -112,7 +132,12 @@ function isAuthoredStepRecord(value) {
         && typeof record.runId === 'string' && record.runId.length > 0
         && (record.state === 'admitted' || record.state === 'completed')
         && (record.completionReason === undefined || typeof record.completionReason === 'string')
-        && (record.kernelStep === undefined || typeof record.kernelStep === 'string');
+        && (record.kernelStep === undefined || typeof record.kernelStep === 'string')
+        && (record.label === undefined || (typeof record.label === 'string' && record.label.length <= MAX_LABEL))
+        && (record.after === undefined || (Array.isArray(record.after)
+            && record.after.length <= MAX_AFTER
+            && record.after.every((step) => typeof step === 'string' && step.length > 0)))
+        && (record.afterTruncated === undefined || record.afterTruncated === true);
 }
 function bound(value) {
     return value.length <= FIELD_CHARS ? value : `${value.slice(0, FIELD_CHARS)}…`;

package/dist/authored-step-index.js.map

@@ -1 +1 @@
-{"version":3,"file":"authored-step-index.js","sourceRoot":"","sources":["../src/authored-step-index.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,gBAAgB,CAAC;AAErD,oEAAoE;AACpE,MAAM,WAAW,GAAG,6BAA6B,CAAC;AAElD;;;GAGG;AACH,MAAM,WAAW,GAAG,GAAG,CAAC;AA0BxB;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAsB,EACtB,SAA6B,EAC7B,MAAyC;IAEzC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO;IACpC,MAAM,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,oBAAoB,EAAE;QAC1D,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;QACxB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC;QAC1B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACtG,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,IAAI;YACtE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;KACnD,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,OAAsB,EACtB,SAA6B,EAC7B,MAAyC;IAEzC,IAAI,CAAC;QACH,MAAM,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACtD,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,uCAAuC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACzG,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAsB,EACtB,SAAiB;IAEjB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;IACpD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrF,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,iEAAiE;YACjE,sDAAsD;YACtD,MAAM,GAAG,GAAI,OAAiC,CAAC,OAAO,IAAI,OAAO,CAAC;YAClE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC;gBAAE,SAAS;YACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrC,wEAAwE;YACxE,uEAAuE;YACvE,kBAAkB;YAClB,IAAI,QAAQ,EAAE,KAAK,KAAK,WAAW,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU;gBAAE,SAAS;YAC1E,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,IAAI,MAAM;YAAE,MAAM;QACpE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,MAAM,GAAG,KAAoC,CAAC;IACpD,OAAO,MAAM,CAAC,KAAK,KAAK,WAAW;WAC9B,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;WACzD,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;WAC3D,CAAC,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,CAAC;WAC7D,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,gBAAgB,KAAK,QAAQ,CAAC;WACtF,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,KAAK,CAAC,KAAa;IAC1B,OAAO,KAAK,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC;AACjF,CAAC"}
+{"version":3,"file":"authored-step-index.js","sourceRoot":"","sources":["../src/authored-step-index.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,gBAAgB,CAAC;AAErD,oEAAoE;AACpE,MAAM,WAAW,GAAG,6BAA6B,CAAC;AAElD;;;GAGG;AACH,MAAM,WAAW,GAAG,GAAG,CAAC;AAyCxB,gFAAgF;AAChF,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,CAAC;AAE5B,0EAA0E;AAC1E,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,KAAyB;IACpD,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;AACjG,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAsB,EACtB,SAA6B,EAC7B,MAAyC;IAEzC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO;IACpC,MAAM,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,oBAAoB,EAAE;QAC1D,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;QACxB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC;QAC1B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACtG,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,IAAI;YACtE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAClD,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC;QAC7B,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7F,GAAG,CAAC,MAAM,CAAC,cAAc,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,SAAS;YAC3E,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,OAAsB,EACtB,SAA6B,EAC7B,MAAyC;IAEzC,IAAI,CAAC;QACH,MAAM,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACtD,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,uCAAuC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACzG,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAsB,EACtB,SAAiB;IAEjB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;IACpD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrF,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,iEAAiE;YACjE,sDAAsD;YACtD,MAAM,GAAG,GAAI,OAAiC,CAAC,OAAO,IAAI,OAAO,CAAC;YAClE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC;gBAAE,SAAS;YACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrC,wEAAwE;YACxE,uEAAuE;YACvE,kBAAkB;YAClB,IAAI,QAAQ,EAAE,KAAK,KAAK,WAAW,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU;gBAAE,SAAS;YAC1E,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,IAAI,MAAM;YAAE,MAAM;QACpE,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,MAAM,GAAG,KAAoC,CAAC;IACpD,OAAO,MAAM,CAAC,KAAK,KAAK,WAAW;WAC9B,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;WACzD,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;WAC3D,CAAC,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,CAAC;WAC7D,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,gBAAgB,KAAK,QAAQ,CAAC;WACtF,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,CAAC;WAC1E,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC;WACtG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;eACzD,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS;eAChC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;WAC7E,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,KAAK,CAAC,KAAa;IAC1B,OAAO,KAAK,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC;AACjF,CAAC"}

package/dist/authored-step-output.d.ts

@@ -2,6 +2,7 @@ import { type FlowCompletionReason } from '@relayflows/surface';
 import type { JournalClient } from './journal-client.js';
 import type { CompletionReason as ProtocolCompletionReason, RunCompletionReason as ProtocolRunCompletionReason, RunOutcome } from './protocol.js';
 import type { AuthoredFlowJournalStep } from './authored-flow-executor.js';
+import { type AuthoredStepEdges } from './authored-step-index.js';
 /**
  * What an authored operation needs in order to leave readable evidence:
  * the root run its child index belongs to, and the data dir whose journals
@@ -12,6 +13,8 @@ import type { AuthoredFlowJournalStep } from './authored-flow-executor.js';
 export interface AuthoredStepContext {
     readonly rootRunId?: string;
     readonly dataDir?: string;
+    /** The step's label and causal predecessors, carried on every record about it. */
+    readonly stepEdges?: (step: string) => AuthoredStepEdges | undefined;
 }
 /**
  * Shared by every `f.*` verb that lowers to one kernel step run in isolation:

package/dist/authored-step-output.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"authored-step-output.d.ts","sourceRoot":"","sources":["../src/authored-step-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuE,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAErI,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,gBAAgB,IAAI,wBAAwB,EAAE,mBAAmB,IAAI,2BAA2B,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAClJ,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAK3E;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,uBAAuB,EAAE,EACvC,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,OAAO,CAAC,CAkClB;AAED,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,uBAAuB,EAAE,EACvC,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,MAAM,CAAC,CAkBjB;AAqBD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,wBAAwB,CAG3F;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,2BAA2B,CAGjG;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,oBAAoB,CAG3F"}
+{"version":3,"file":"authored-step-output.d.ts","sourceRoot":"","sources":["../src/authored-step-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuE,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAErI,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,gBAAgB,IAAI,wBAAwB,EAAE,mBAAmB,IAAI,2BAA2B,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAClJ,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAG3E,OAAO,EAAmC,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEnG;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,iBAAiB,GAAG,SAAS,CAAC;CACtE;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,uBAAuB,EAAE,EACvC,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,OAAO,CAAC,CAoClB;AAED,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,uBAAuB,EAAE,EACvC,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,MAAM,CAAC,CAkBjB;AAqBD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,wBAAwB,CAG3F;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,2BAA2B,CAGjG;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,oBAAoB,CAG3F"}

package/dist/authored-step-output.js

@@ -34,7 +34,8 @@ export async function readCompletedStepOutput(journal, runId, stepId, journalSte
         throw protocolViolation(runId, `journal has no step.completed for "${stepId}"`);
     }
     const reason = completed.payload.completionReason;
-    journalSteps.push(Object.freeze({ id: stepId, runId, completionReason: reason }));
+    const edges = context.stepEdges?.(stepId);
+    journalSteps.push(Object.freeze({ id: stepId, runId, completionReason: reason, ...edges }));
     if (reason !== 'success') {
         let message = `journal step "${stepId}" completed with ${reason}`;
         let details;
@@ -55,11 +56,12 @@ export async function readCompletedStepOutput(journal, runId, stepId, journalSte
         message += await alsoRecord(journal, context.rootRunId, {
             step: stepId, runId, state: 'completed', completionReason: reason,
             ...(details?.stepId === undefined ? {} : { kernelStep: details.stepId }),
+            ...edges,
         });
         throw new AuthoredFlowExecutionError('step_failed', message, reason, runId, { ...details, ...where });
     }
     await recordAuthoredChild(journal, context.rootRunId, {
-        step: stepId, runId, state: 'completed', completionReason: reason,
+        step: stepId, runId, state: 'completed', completionReason: reason, ...edges,
     });
     return completed.payload.output;
 }

package/dist/authored-step-output.js.map

@@ -1 +1 @@
-{"version":3,"file":"authored-step-output.js","sourceRoot":"","sources":["../src/authored-step-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,uBAAuB,EAA6B,MAAM,qBAAqB,CAAC;AACrI,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAKtE,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACjH,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAc3E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAAsB,EACtB,KAAa,EACb,MAAc,EACd,YAAuC,EACvC,UAA+B,EAAE;IAEjC,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,iBAAiB,CAAC,KAAK,EAAE,sCAAsC,MAAM,GAAG,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAClD,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAClF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,OAAO,GAAG,iBAAiB,MAAM,oBAAoB,MAAM,EAAE,CAAC;QAClE,IAAI,OAAsC,CAAC;QAC3C,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACrD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,oEAAoE;YACpE,2DAA2D;YAC3D,OAAO,IAAI,uCAAuC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAClE,0EAA0E;QAC1E,sEAAsE;QACtE,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAChF,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,IAAI,MAAM,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE;YACtD,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM;YACjE,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,IAAI,0BAA0B,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE;QACpD,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM;KAClE,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC;AAClC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAAsB,EACtB,OAAmB,EACnB,MAAc,EACd,YAAuC,EACvC,UAA+B,EAAE;IAEjC,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC;SACjG,KAAK,CAAC,KAAK,CAAC,EAAE;QACb,IAAI,KAAK,YAAY,0BAA0B;eAC1C,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,IAAI,KAAK,CAAC,gBAAgB,KAAK,eAAe,CAAC,EAAE,CAAC;YAC1F,sEAAsE;YACtE,sEAAsE;YACtE,MAAM,IAAI,0BAA0B,CAAC,gBAAgB,EACnD,eAAe,MAAM,iCAAiC;kBAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,EACvD,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;IACL,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnE,MAAM,iBAAiB,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,MAAM,6BAA6B,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC;AAC/B,CAAC;AAWD,SAAS,eAAe,CAAC,KAAc,EAAE,MAAc;IACrD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,KAAK,gBAAgB,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,MAAM,EAAE,CAAC;QAChG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO,QAAQ,CAAC,OAAO,CAAC;WACnB,yBAAyB,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;WACtD,QAAQ,IAAI,OAAO,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC1B,kBAAwC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC1B,sBAA4C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAc;IAC1D,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC1B,uBAA6C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa,EAAE,MAAc;IACtD,OAAO,IAAI,0BAA0B,CACnC,4BAA4B,EAC5B,MAAM,EACN,SAAS,EACT,KAAK,CACN,CAAC;AACJ,CAAC"}
+{"version":3,"file":"authored-step-output.js","sourceRoot":"","sources":["../src/authored-step-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,uBAAuB,EAA6B,MAAM,qBAAqB,CAAC;AACrI,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAKtE,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACjH,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAA0B,MAAM,0BAA0B,CAAC;AAgBnG;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAAsB,EACtB,KAAa,EACb,MAAc,EACd,YAAuC,EACvC,UAA+B,EAAE;IAEjC,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,iBAAiB,CAAC,KAAK,EAAE,sCAAsC,MAAM,GAAG,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC;IAC1C,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC5F,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,OAAO,GAAG,iBAAiB,MAAM,oBAAoB,MAAM,EAAE,CAAC;QAClE,IAAI,OAAsC,CAAC;QAC3C,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACrD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,oEAAoE;YACpE,2DAA2D;YAC3D,OAAO,IAAI,uCAAuC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAClE,0EAA0E;QAC1E,sEAAsE;QACtE,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAChF,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,IAAI,MAAM,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE;YACtD,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM;YACjE,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACxE,GAAG,KAAK;SACT,CAAC,CAAC;QACH,MAAM,IAAI,0BAA0B,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE;QACpD,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,EAAE,GAAG,KAAK;KAC5E,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC;AAClC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAAsB,EACtB,OAAmB,EACnB,MAAc,EACd,YAAuC,EACvC,UAA+B,EAAE;IAEjC,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC;SACjG,KAAK,CAAC,KAAK,CAAC,EAAE;QACb,IAAI,KAAK,YAAY,0BAA0B;eAC1C,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,IAAI,KAAK,CAAC,gBAAgB,KAAK,eAAe,CAAC,EAAE,CAAC;YAC1F,sEAAsE;YACtE,sEAAsE;YACtE,MAAM,IAAI,0BAA0B,CAAC,gBAAgB,EACnD,eAAe,MAAM,iCAAiC;kBAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,EACvD,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;IACL,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnE,MAAM,iBAAiB,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,MAAM,6BAA6B,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC;AAC/B,CAAC;AAWD,SAAS,eAAe,CAAC,KAAc,EAAE,MAAc;IACrD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,KAAK,gBAAgB,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,MAAM,EAAE,CAAC;QAChG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO,QAAQ,CAAC,OAAO,CAAC;WACnB,yBAAyB,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;WACtD,QAAQ,IAAI,OAAO,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC1B,kBAAwC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC1B,sBAA4C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAc;IAC1D,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC1B,uBAA6C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa,EAAE,MAAc;IACtD,OAAO,IAAI,0BAA0B,CACnC,4BAA4B,EAC5B,MAAM,EACN,SAAS,EACT,KAAK,CACN,CAAC;AACJ,CAAC"}

package/dist/authored-worker-step.d.ts

@@ -7,7 +7,9 @@ import type { AuthoredFlowJournalStep } from './authored-flow-executor.js';
 /** Agent and LLM calls share the exact declarative preflight and lease wait. */
 export declare function authoredWorkerRunner(definition: {
     name: string;
-}, journal: JournalClient, flowPath: string, journalSteps: AuthoredFlowJournalStep[], waitOptions: RunLifecycleOptions, localAgentStream?: string, budget?: AuthoredBudget, headerBudget?: unknown, rootRunId?: string): {
+}, journal: JournalClient, flowPath: string, journalSteps: AuthoredFlowJournalStep[], waitOptions: RunLifecycleOptions, localAgentStream?: string, budget?: AuthoredBudget, headerBudget?: unknown, rootRunId?: string, workerCapacity?: number, stepEdges?: AuthoredStepContext['stepEdges']): {
+    /** Refuse every agent/LLM call still waiting for a worker slot (body teardown). */
+    stop(reason: unknown): void;
     agent(id: string, options: AgentOptions, verification?: NamedGate): Promise<AgentResult>;
     llm(id: string, prompt: string, options?: LlmOptions, verification?: NamedGate): Promise<unknown>;
 };

package/dist/authored-worker-step.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"authored-worker-step.d.ts","sourceRoot":"","sources":["../src/authored-worker-step.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAG5F,OAAO,EAAmB,KAAK,mBAAmB,EAAkB,MAAM,cAAc,CAAC;AAGzF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,EAA4E,KAAK,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAC/I,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAQ3E,gFAAgF;AAChF,wBAAgB,oBAAoB,CAClC,UAAU,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EACtE,YAAY,EAAE,uBAAuB,EAAE,EAAE,WAAW,EAAE,mBAAmB,EACzE,gBAAgB,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,EAAE,OAAO,EAC1E,SAAS,CAAC,EAAE,MAAM;cAiGA,MAAM,WAAW,YAAY,iBAAiB,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC;YAgEhF,MAAM,UAAU,MAAM,YAAY,UAAU,iBAAiB,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;EAmB1G;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,uBAAuB,EAAE,EAAE,MAAM,EAAE,cAAc,EACrG,OAAO,GAAE,mBAAwB,IAGnB,IAAI,MAAM,EAAE,SAAS,MAAM,EAAE,kBAAgB,EAAE,UAAU,MAAM,EAAE,eAAe,SAAS,KAAG,OAAO,CAAC,MAAM,CAAC,CAkB1H"}
+{"version":3,"file":"authored-worker-step.d.ts","sourceRoot":"","sources":["../src/authored-worker-step.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAG5F,OAAO,EAAmB,KAAK,mBAAmB,EAAkB,MAAM,cAAc,CAAC;AAGzF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,EAA4E,KAAK,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAC/I,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAS3E,gFAAgF;AAChF,wBAAgB,oBAAoB,CAClC,UAAU,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EACtE,YAAY,EAAE,uBAAuB,EAAE,EAAE,WAAW,EAAE,mBAAmB,EACzE,gBAAgB,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,EAAE,OAAO,EAC1E,SAAS,CAAC,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,mBAAmB,CAAC,WAAW,CAAC;IA0GvF,mFAAmF;iBACtE,OAAO,GAAG,IAAI;cAIX,MAAM,WAAW,YAAY,iBAAiB,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC;YAiEhF,MAAM,UAAU,MAAM,YAAY,UAAU,iBAAiB,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;EAmB1G;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,uBAAuB,EAAE,EAAE,MAAM,EAAE,cAAc,EACrG,OAAO,GAAE,mBAAwB,IAGnB,IAAI,MAAM,EAAE,SAAS,MAAM,EAAE,kBAAgB,EAAE,UAAU,MAAM,EAAE,eAAe,SAAS,KAAG,OAAO,CAAC,MAAM,CAAC,CAoB1H"}

package/dist/authored-worker-step.js

@@ -1,3 +1,4 @@
+import { resolve } from 'node:path';
 import { parseBudget } from './budget.js';
 import { compileSpec, toKernelSpec } from './compile.js';
 import { checkAuthoredFlow } from './cli/check.js';
@@ -8,12 +9,18 @@ import { isSurfaceCompletionReason, readCompletedStepOutput, readSuccessfulOutpu
 import { snapshotJsonValue } from './json-value.js';
 import { authoredChildAdmissionKey } from './authored-admission.js';
 import { alsoRecord, recordAuthoredChild } from './authored-step-index.js';
+import { WorkerSlots } from './worker-slots.js';
 const WORKSPACE_PERMISSION_ANNOTATION = /:\s*(readonly|readwrite)\s*$/i;
 /** Agent and LLM calls share the exact declarative preflight and lease wait. */
-export function authoredWorkerRunner(definition, journal, flowPath, journalSteps, waitOptions, localAgentStream, budget, headerBudget, rootRunId) {
+export function authoredWorkerRunner(definition, journal, flowPath, journalSteps, waitOptions, localAgentStream, budget, headerBudget, rootRunId, workerCapacity, stepEdges) {
+    // Sized to the attached local workers, so concurrent calls wait here for a
+    // slot instead of being admitted and parked for want of a free worker.
+    const slots = workerCapacity === undefined ? undefined
+        : { agent: new WorkerSlots(workerCapacity), llm: new WorkerSlots(workerCapacity) };
     const context = {
         ...(rootRunId === undefined ? {} : { rootRunId }),
         ...(waitOptions.dataDir === undefined ? {} : { dataDir: waitOptions.dataDir }),
+        ...(stepEdges === undefined ? {} : { stepEdges }),
     };
     async function run(step) {
         const id = step.id;
@@ -36,7 +43,9 @@ export function authoredWorkerRunner(definition, journal, flowPath, journalSteps
             // Written BEFORE the wait, not after it. An agent runs for as long as its
             // lease allows; if this process dies mid-step, this record is the only
             // thing that still names the child run holding the evidence.
-            await recordAuthoredChild(journal, rootRunId, { step: id, runId: outcome.run_id, state: 'admitted' });
+            await recordAuthoredChild(journal, rootRunId, {
+                step: id, runId: outcome.run_id, state: 'admitted', ...stepEdges?.(id),
+            });
             // Reuse the declarative CLI's own wait/classification (cli/run.ts) rather
             // than a hand-rolled poll: `step.completed` and the run's own terminal
             // state are appended as two SEPARATE actions (kernel/relayflowd-core/src/machine.rs
@@ -71,12 +80,13 @@ export function authoredWorkerRunner(definition, journal, flowPath, journalSteps
                 // a manufactured completion.
                 if (isSurfaceCompletionReason(details?.completionReason)) {
                     journalSteps.push(Object.freeze({
-                        id, runId: outcome.run_id, completionReason: details.completionReason,
+                        id, runId: outcome.run_id, completionReason: details.completionReason, ...stepEdges?.(id),
                     }));
                     message += await alsoRecord(journal, rootRunId, {
                         step: id, runId: outcome.run_id, state: 'completed',
                         completionReason: details.completionReason,
                         ...(details.stepId === undefined ? {} : { kernelStep: details.stepId }),
+                        ...stepEdges?.(id),
                     });
                 }
                 throw new AuthoredFlowExecutionError('step_failed', message, isSurfaceCompletionReason(reason) ? reason : undefined, outcome.run_id, details);
@@ -84,11 +94,17 @@ export function authoredWorkerRunner(definition, journal, flowPath, journalSteps
             return readCompletedStepOutput(journal, outcome.run_id, id, journalSteps, context);
         };
         const admissionKey = authoredChildAdmissionKey(rootRunId, id);
-        return budget === undefined
+        const admit = async () => budget === undefined
             ? consume(await journal.runStart(spec, undefined, admissionKey))
             : budget.execute(journal, spec, consume, admissionKey);
+        return slots === undefined ? admit() : slots[step.type === 'llm' ? 'llm' : 'agent'].run(admit);
     }
     return {
+        /** Refuse every agent/LLM call still waiting for a worker slot (body teardown). */
+        stop(reason) {
+            slots?.agent.close(reason);
+            slots?.llm.close(reason);
+        },
         async agent(id, options, verification) {
             if (options.workspace !== undefined && localAgentStream !== undefined) {
                 throw new AuthoredFlowExecutionError('unsupported_workspace_permission', 'The local agent worker accepts stream-only steps. Remove workspace or attach a worker that holds its revision pins.');
@@ -121,7 +137,8 @@ export function authoredWorkerRunner(definition, journal, flowPath, journalSteps
                 ...(options.workspace === undefined ? {} : { surfaces: { workspace: [{ surface: options.workspace }] } }),
                 ...(options.cli === undefined ? {} : { cli: options.cli }),
                 ...(options.model === undefined ? {} : { model: options.model }),
-                ...(options.cwd === undefined ? {} : { cwd: options.cwd }),
+                // The kernel takes only an absolute cwd; a relative one means the runner's own directory.
+                ...(options.cwd === undefined ? {} : { cwd: resolve(options.cwd) }),
                 ...(options.transport === undefined ? {} : { transport: options.transport }),
                 ...(verification === undefined ? {} : { verification }),
             });
@@ -179,7 +196,9 @@ export function authoredDeterministicRunner(name, journal, journalSteps, budget,
         }));
         const admissionKey = authoredChildAdmissionKey(rootRunId, id);
         const consume = async (outcome) => {
-            await recordAuthoredChild(journal, rootRunId, { step: id, runId: outcome.run_id, state: 'admitted' });
+            await recordAuthoredChild(journal, rootRunId, {
+                step: id, runId: outcome.run_id, state: 'admitted', ...context.stepEdges?.(id),
+            });
             return readSuccessfulOutput(journal, outcome, id, journalSteps, context);
         };
         if (terminal)