botmux 2.111.0 → 2.112.0

package/dist/workflows/loop.js

@@ -1,408 +0,0 @@
-/**
- * Orchestrator loop runner.
- *
- * Drives `decideNextActions → dispatch* → replay → repeat` until either
- * the run reaches a terminal status or the orchestrator returns no
- * actions (which on a non-terminal run means we're paused on an open
- * `waitCreated`).
- *
- * Per-tick dispatch model (v0.1.3+):
- *   1. Split ready actions into `dispatch*` (gate / work) and `complete*`
- *      (settle node / run).  The two phases have different concurrency
- *      semantics — dispatch can race, settles must not.
- *   2. Within the dispatch phase: cap concurrency by `defaults.maxConcurrency`
- *      (default 4) and enforce per-bot serialization (one in-flight subagent
- *      per bot within a tick).  Deferred dispatches just stay in the next
- *      tick's ready set; no separate scheduling state needed.
- *   3. Run dispatches via `Promise.allSettled` so a sibling throwing doesn't
- *      starve the rest.  After settle, replay fresh and patch any non-terminal
- *      activity with an `activityFailed` (errorClass=fatal, errorCode=
- *      WorkerCrashed; closest fit in the existing enum — see payloads.ts) —
- *      but NEVER write a second terminal if the dispatch already wrote one
- *      before throwing.  If a dispatch throws BEFORE writing `attemptCreated`,
- *      we have no attempt to attach the failure to; the tick returns
- *      `no-progress` rather than re-dispatching the same action forever.
- *   4. Settle actions (`completeNode*` / `completeRun*`) run sequentially so
- *      event log order stays readable and `completeRun*` is never racy.
- *
- * Re-entry: external events (e.g. `waitResolved` written by the lark
- * card handler) don't drive this loop — the caller is responsible for
- * invoking `runLoop` again when it knows new events have landed.  See
- * `src/workflows/fanout.ts` (Slice D-4) for the daemon-side trigger.
- */
-import { decideNextActions, } from './orchestrator.js';
-import { replay } from './events/replay.js';
-import { resume } from './resume.js';
-import { completeNodeFailed, completeNodeSucceeded, completeRunFailed, completeRunSucceeded, dispatchGate, dispatchWork, } from './runtime.js';
-import { logger } from '../utils/logger.js';
-const DEFAULT_MAX_CONCURRENCY = 4;
-const CANCEL_OBSERVER_INTERVAL_MS = 200;
-export async function runLoop(ctx, options = {}) {
-    const maxTicks = options.maxTicks ?? 1000;
-    let ticks = 0;
-    let snapshot = replay(await ctx.log.readAll());
-    while (ticks < maxTicks) {
-        if (isTerminalStatus(snapshot)) {
-            return { reason: 'terminal', ticks, lastSnapshot: snapshot };
-        }
-        // ─── Recovery phase ────────────────────────────────────────────────
-        // Side-effect family contract: `effectAttempted` written, terminal
-        // missing.  Run resume() with the registered reconcilers to close
-        // those out before any forward decision.  Without reconcilers we
-        // CANNOT silently proceed — the dangling effect represents real
-        // external state we'd be ignoring.
-        const danglingCancelSet = new Set(snapshot.danglingCancels);
-        const danglingRecoverableActivities = snapshot.danglingActivities.filter((activityId) => !snapshot.danglingWaits.includes(activityId) || danglingCancelSet.has(activityId));
-        if (snapshot.danglingEffectAttempted.length > 0 ||
-            danglingRecoverableActivities.length > 0) {
-            if (snapshot.danglingEffectAttempted.length > 0 &&
-                (!ctx.reconcilers || ctx.reconcilers.size === 0)) {
-                logger.warn?.(`runLoop(${ctx.log.runId}): danglingEffectAttempted=${snapshot.danglingEffectAttempted.length} but ctx.reconcilers missing/empty — stopping with no-progress.`);
-                return { reason: 'no-progress', ticks, lastSnapshot: snapshot };
-            }
-            const before = new Set(snapshot.danglingEffectAttempted);
-            const beforeRecoverable = new Set(danglingRecoverableActivities);
-            await resume({
-                log: ctx.log,
-                runId: ctx.log.runId,
-                daemonId: 'runloop',
-                reconcilers: ctx.reconcilers ?? new Map(),
-                loadEffectInput: ctx.loadEffectInput,
-                now: ctx.now,
-            });
-            snapshot = replay(await ctx.log.readAll());
-            // If the same set of dangling effects survived recovery, the
-            // reconcilers concluded manual/transient.  Don't dispatch new work
-            // — operator needs to look at the failed reconcile evidence.
-            const stillDangling = snapshot.danglingEffectAttempted.filter((a) => before.has(a));
-            if (before.size > 0 && stillDangling.length === before.size) {
-                logger.warn?.(`runLoop(${ctx.log.runId}): resume() made no progress on ${stillDangling.length} dangling effect(s) — stopping with no-progress.`);
-                return { reason: 'no-progress', ticks, lastSnapshot: snapshot };
-            }
-            if (before.size === 0 && beforeRecoverable.size > 0) {
-                const afterCancelSet = new Set(snapshot.danglingCancels);
-                const stillRecoverable = snapshot.danglingActivities.filter((activityId) => beforeRecoverable.has(activityId) &&
-                    (!snapshot.danglingWaits.includes(activityId) || afterCancelSet.has(activityId)));
-                if (stillRecoverable.length === beforeRecoverable.size) {
-                    logger.warn?.(`runLoop(${ctx.log.runId}): resume() made no progress on ${stillRecoverable.length} dangling non-effect activity/activities — stopping with no-progress.`);
-                    return { reason: 'no-progress', ticks, lastSnapshot: snapshot };
-                }
-            }
-            // Progress made; re-enter loop with fresh snapshot before
-            // computing actions.
-            continue;
-        }
-        const actions = decideNextActions(snapshot, ctx.def);
-        if (actions.length === 0) {
-            // Empty actions on a non-terminal run: must be waiting on a
-            // human gate or open wait.  Distinguish from "stuck" (no waits
-            // but also no actions) via danglingWaits — at least one open.
-            const stopped = snapshot.danglingWaits.length > 0 ? 'awaiting-wait' : 'no-progress';
-            return { reason: stopped, ticks, lastSnapshot: snapshot };
-        }
-        const maxConcurrency = ctx.def.defaults?.maxConcurrency ?? DEFAULT_MAX_CONCURRENCY;
-        const { dispatches, settles } = partitionActions(actions);
-        const { selected, deferred } = selectDispatchBatch(dispatches, maxConcurrency);
-        let anyUnpatchable = false;
-        if (selected.length > 0) {
-            // v0.1.4-a: per-dispatch AbortControllers so out-of-band callers
-            // (cancelWorkflowRunOnDaemon → ctx.registerAborters) can fire abort
-            // before the EventLog polling fallback notices `cancelRequested`.
-            const aborters = new Map();
-            for (const a of selected)
-                aborters.set(a.activityId, new AbortController());
-            ctx.registerAborters?.(aborters);
-            const stopObserver = startCancelObserver(ctx, aborters);
-            try {
-                const settled = await Promise.allSettled(selected.map((a) => runDispatch(ctx, a, snapshot, aborters.get(a.activityId).signal)));
-                // Replay once before patching infrastructure failures so we don't
-                // double-terminal an activity whose dispatch wrote `activityFailed`
-                // and then threw on a follow-up step.
-                const post = replay(await ctx.log.readAll());
-                for (let i = 0; i < settled.length; i++) {
-                    const result = settled[i];
-                    if (result.status === 'fulfilled')
-                        continue;
-                    const action = selected[i];
-                    const outcome = await maybePatchInfrastructureFailure(ctx, post, action, result.reason);
-                    if (outcome === 'unpatchable') {
-                        // Dispatch blew up before writing `attemptCreated`, so there's
-                        // no per-attempt failure we can pin the error to.  Re-running
-                        // the loop would re-emit the same dispatch and infinite-loop
-                        // until maxTicks.  Stop here so the operator can diagnose
-                        // (e.g. log-write failure, blob-write OOM).  Sibling dispatches
-                        // that DID write events still keep their events.
-                        anyUnpatchable = true;
-                    }
-                }
-            }
-            finally {
-                stopObserver();
-                ctx.registerAborters?.(undefined);
-            }
-        }
-        // Settle phase: sequential so event log stays in causal order and
-        // `completeRun*` is never racy with a sibling complete.
-        for (const action of settles) {
-            try {
-                await runSettle(ctx, action);
-            }
-            catch (err) {
-                logger.warn?.(`runLoop(${ctx.log.runId}): settle action ${action.kind} threw — stopping tick: ${err instanceof Error ? err.message : String(err)}`);
-                snapshot = replay(await ctx.log.readAll());
-                return { reason: 'no-progress', ticks, lastSnapshot: snapshot };
-            }
-        }
-        snapshot = replay(await ctx.log.readAll());
-        ticks++;
-        if (anyUnpatchable) {
-            // See the `anyUnpatchable = true` branch above.  We deliberately
-            // return after applying any sibling settle actions so the operator
-            // sees the snapshot in its progressed-as-far-as-possible state.
-            return { reason: 'no-progress', ticks, lastSnapshot: snapshot };
-        }
-        // Defensive: dispatches all got deferred AND no settles ran — we'd
-        // loop forever with nothing to do.  Per-bot serialization shouldn't
-        // hit this in practice because decideNextActions only emits ready
-        // actions, but treat as no-progress to be safe.
-        if (selected.length === 0 && settles.length === 0 && deferred > 0) {
-            logger.warn?.(`runLoop(${ctx.log.runId}): all ${deferred} dispatches deferred and no settle work — stopping with no-progress.`);
-            return { reason: 'no-progress', ticks, lastSnapshot: snapshot };
-        }
-    }
-    // Edge case: the tick that hit maxTicks may itself have written the
-    // run terminal.  Prefer the precise reason over the safety-cap reason.
-    if (isTerminalStatus(snapshot)) {
-        return { reason: 'terminal', ticks, lastSnapshot: snapshot };
-    }
-    return { reason: 'max-ticks', ticks, lastSnapshot: snapshot };
-}
-function isTerminalStatus(snapshot) {
-    return (snapshot.run.status === 'succeeded' ||
-        snapshot.run.status === 'failed' ||
-        snapshot.run.status === 'cancelled');
-}
-function partitionActions(actions) {
-    const dispatches = [];
-    const settles = [];
-    for (const a of actions) {
-        if (a.kind === 'dispatchGate' || a.kind === 'dispatchWork')
-            dispatches.push(a);
-        else
-            settles.push(a);
-    }
-    return { dispatches, settles };
-}
-/**
- * Apply per-bot serialization + global concurrency cap.  Same-bot siblings
- * are silently deferred — they survive into the next tick's ready set
- * because their nodeState stays idle (no `attemptCreated` written yet).
- */
-function selectDispatchBatch(dispatches, maxConcurrency) {
-    const inflightBots = new Set();
-    const selected = [];
-    let deferred = 0;
-    for (const a of dispatches) {
-        if (selected.length >= maxConcurrency) {
-            deferred++;
-            continue;
-        }
-        if (a.kind === 'dispatchWork' && a.node.type === 'subagent') {
-            if (inflightBots.has(a.node.bot)) {
-                deferred++;
-                continue;
-            }
-            inflightBots.add(a.node.bot);
-        }
-        selected.push(a);
-    }
-    return { selected, deferred };
-}
-async function runDispatch(ctx, action, snapshot, cancelSignal) {
-    if (action.kind === 'dispatchGate') {
-        // dispatchGate writes events synchronously — no long-running worker
-        // to cancel, so we ignore the signal.  If a cancel arrives mid-tick
-        // the orchestrator short-circuit on the next tick will stop further
-        // dispatch.
-        await dispatchGate(ctx, action);
-        return;
-    }
-    await dispatchWork(ctx, action, { snapshot, cancelSignal });
-}
-/**
- * Polling fallback that fires abort signals when `cancelRequested` for
- * the run lands in the EventLog after the tick already started.
- *
- * Daemon-driven cancel (cancelWorkflowRunOnDaemon) fires synchronously
- * via `ctx.registerAborters` and doesn't need this observer.  The
- * observer is just a safety net for callers that write `cancelRequested`
- * directly to the log without going through the daemon (cold attach,
- * tests, future async producers).
- */
-function startCancelObserver(ctx, aborters) {
-    let stopped = false;
-    let firing = false;
-    const tick = async () => {
-        if (stopped || firing)
-            return;
-        firing = true;
-        try {
-            const snapshot = replay(await ctx.log.readAll());
-            const origin = snapshot.cancelledRunIntent?.cancelOriginEventId;
-            if (!origin)
-                return;
-            const reason = { cancelOriginEventId: origin };
-            for (const ac of aborters.values()) {
-                if (!ac.signal.aborted)
-                    ac.abort(reason);
-            }
-        }
-        catch (err) {
-            logger.warn?.(`runLoop(${ctx.log.runId}): cancel observer poll failed: ${err instanceof Error ? err.message : String(err)}`);
-        }
-        finally {
-            firing = false;
-        }
-    };
-    const handle = setInterval(() => void tick(), CANCEL_OBSERVER_INTERVAL_MS);
-    // unref so the timer doesn't keep the process alive if the loop hangs.
-    handle.unref?.();
-    return () => {
-        stopped = true;
-        clearInterval(handle);
-    };
-}
-async function runSettle(ctx, action) {
-    switch (action.kind) {
-        case 'completeNodeSucceeded':
-            await completeNodeSucceeded(ctx, action);
-            return;
-        case 'completeNodeFailed':
-            await completeNodeFailed(ctx, action);
-            return;
-        case 'completeRunSucceeded':
-            await completeRunSucceeded(ctx, action);
-            return;
-        case 'completeRunFailed':
-            await completeRunFailed(ctx, action);
-            return;
-        // v0.2 loop lifecycle actions — each maps 1:1 to a loop event in
-        // events/payloads.ts.  Runtime side has no extra side-effects beyond
-        // appending the event; replay (codex Step 2) does the heavy lifting.
-        case 'startLoop':
-            await ctx.log.append({
-                runId: ctx.log.runId,
-                type: 'loopStarted',
-                actor: 'scheduler',
-                payload: {
-                    loopId: action.loopId,
-                    maxIterations: action.maxIterations,
-                },
-            });
-            return;
-        case 'startLoopIteration':
-            await ctx.log.append({
-                runId: ctx.log.runId,
-                type: 'loopIterationStarted',
-                actor: 'scheduler',
-                payload: {
-                    loopId: action.loopId,
-                    iteration: action.iteration,
-                    prevResolution: action.prevResolution,
-                },
-            });
-            return;
-        case 'finishLoopIteration':
-            await ctx.log.append({
-                runId: ctx.log.runId,
-                type: 'loopIterationFinished',
-                actor: 'scheduler',
-                payload: {
-                    loopId: action.loopId,
-                    iteration: action.iteration,
-                    resolution: action.resolution,
-                    decisionActivityId: action.decisionActivityId,
-                    waitResolvedEventId: action.waitResolvedEventId,
-                    by: action.by,
-                    ...(action.comment !== undefined ? { comment: action.comment } : {}),
-                    ...(action.timedOut !== undefined ? { timedOut: action.timedOut } : {}),
-                },
-            });
-            return;
-        case 'finishLoop':
-            await ctx.log.append({
-                runId: ctx.log.runId,
-                type: 'loopFinished',
-                actor: 'scheduler',
-                payload: {
-                    loopId: action.loopId,
-                    finalIteration: action.finalIteration,
-                    resolution: action.resolution,
-                    ...(action.outputRef ? { outputRef: action.outputRef } : {}),
-                    ...(action.errorCode ? { errorCode: action.errorCode } : {}),
-                    ...(action.errorClass ? { errorClass: action.errorClass } : {}),
-                },
-            });
-            return;
-    }
-    // Exhaustive — TS will flag if a new settle kind appears.
-    const _exhaustive = action;
-    void _exhaustive;
-}
-/**
- * Post-`allSettled` recovery: when a dispatch threw, check whether the
- * activity is still non-terminal in the latest replay.  If yes, write one
- * `activityFailed` (errorClass=fatal, errorCode=WorkerCrashed — closest
- * existing enum fit for a dispatch-time hard throw, see payloads.ts) so
- * downstream replay stops waiting.  If the dispatch already wrote a
- * terminal event before throwing (e.g. activitySucceeded then sidecar
- * OOM), skip — appending another terminal would corrupt replay's
- * per-attempt state.
- *
- * Returns one of:
- *   - 'patched'         → infra-failure event appended; loop can continue
- *   - 'alreadyTerminal' → dispatch self-terminated already; no patch needed
- *   - 'unpatchable'     → throw happened before any attemptCreated; loop
- *                         MUST stop or it will re-dispatch the same action
- *                         on the next tick.  Caller is responsible for
- *                         turning this into `no-progress`.
- */
-async function maybePatchInfrastructureFailure(ctx, snapshot, action, reason) {
-    const activityId = action.activityId;
-    const activity = snapshot.activities.get(activityId);
-    const status = activity?.status;
-    if (status === 'succeeded' ||
-        status === 'failed' ||
-        status === 'cancelled' ||
-        status === 'timedOut') {
-        logger.warn?.(`runLoop(${ctx.log.runId}): dispatch ${action.kind} for ${activityId} threw after already settling (${status}); skipping infrastructure fallback: ${reason instanceof Error ? reason.message : String(reason)}`);
-        return 'alreadyTerminal';
-    }
-    const latest = activity?.attempts[activity.attempts.length - 1];
-    const attemptId = latest?.attemptId;
-    if (!attemptId) {
-        // Dispatch threw before writing `attemptCreated` — likely a log/blob
-        // write failure inside dispatchWork.  We can't tie an `activityFailed`
-        // to a non-existent attempt, and re-running the loop would just
-        // re-emit the same dispatch and burn through `maxTicks`.  Mark
-        // unpatchable so the caller stops the run.
-        logger.warn?.(`runLoop(${ctx.log.runId}): dispatch ${action.kind} for ${activityId} threw before attemptCreated; stopping run to avoid infinite retry: ${reason instanceof Error ? reason.message : String(reason)}`);
-        return 'unpatchable';
-    }
-    await ctx.log.append({
-        runId: ctx.log.runId,
-        type: 'activityFailed',
-        actor: 'scheduler',
-        payload: {
-            activityId,
-            attemptId,
-            error: {
-                errorClass: 'fatal',
-                errorCode: 'WorkerCrashed',
-                errorMessage: reason instanceof Error ? reason.message : String(reason),
-            },
-        },
-    });
-    return 'patched';
-}
-//# sourceMappingURL=loop.js.map

package/dist/workflows/loop.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"loop.js","sourceRoot":"","sources":["../../src/workflows/loop.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EACL,iBAAiB,GAIlB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,MAAM,EAAiB,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,YAAY,GAGb,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE5C,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAClC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AA0BxC,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,GAA2B,EAC3B,UAA0B,EAAE;IAE5B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC;IAC1C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAa,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IAEzD,OAAO,KAAK,GAAG,QAAQ,EAAE,CAAC;QACxB,IAAI,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;QAC/D,CAAC;QAED,sEAAsE;QACtE,mEAAmE;QACnE,kEAAkE;QAClE,iEAAiE;QACjE,gEAAgE;QAChE,mCAAmC;QACnC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAC5D,MAAM,6BAA6B,GAAG,QAAQ,CAAC,kBAAkB,CAAC,MAAM,CACtE,CAAC,UAAU,EAAE,EAAE,CACb,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CACpF,CAAC;QACF,IACE,QAAQ,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC;YAC3C,6BAA6B,CAAC,MAAM,GAAG,CAAC,EACxC,CAAC;YACD,IACE,QAAQ,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC;gBAC3C,CAAC,CAAC,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC,EAChD,CAAC;gBACD,MAAM,CAAC,IAAI,EAAE,CACX,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,8BAA8B,QAAQ,CAAC,uBAAuB,CAAC,MAAM,iEAAiE,CAC/J,CAAC;gBACF,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;YAClE,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;YACzD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,6BAA6B,CAAC,CAAC;YACjE,MAAM,MAAM,CAAC;gBACX,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK;gBACpB,QAAQ,EAAE,SAAS;gBACnB,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,IAAI,GAAG,EAAE;gBACzC,eAAe,EAAE,GAAG,CAAC,eAAe;gBACpC,GAAG,EAAE,GAAG,CAAC,GAAG;aACb,CAAC,CAAC;YACH,QAAQ,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YAC3C,6DAA6D;YAC7D,mEAAmE;YACnE,6DAA6D;YAC7D,MAAM,aAAa,GAAG,QAAQ,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpF,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,aAAa,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC5D,MAAM,CAAC,IAAI,EAAE,CACX,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,mCAAmC,aAAa,CAAC,MAAM,kDAAkD,CAClI,CAAC;gBACF,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;YAClE,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,iBAAiB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACpD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;gBACzD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,MAAM,CACzD,CAAC,UAAU,EAAE,EAAE,CACb,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC;oBACjC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CACnF,CAAC;gBACF,IAAI,gBAAgB,CAAC,MAAM,KAAK,iBAAiB,CAAC,IAAI,EAAE,CAAC;oBACvD,MAAM,CAAC,IAAI,EAAE,CACX,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,mCAAmC,gBAAgB,CAAC,MAAM,uEAAuE,CAC1J,CAAC;oBACF,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;gBAClE,CAAC;YACH,CAAC;YACD,0DAA0D;YAC1D,qBAAqB;YACrB,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,4DAA4D;YAC5D,+DAA+D;YAC/D,8DAA8D;YAC9D,MAAM,OAAO,GACX,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC;YACtE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;QAC5D,CAAC;QAED,MAAM,cAAc,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,IAAI,uBAAuB,CAAC;QACnF,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,mBAAmB,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QAE/E,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,iEAAiE;YACjE,oEAAoE;YACpE,kEAAkE;YAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,QAAQ;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,eAAe,EAAE,CAAC,CAAC;YAC5E,GAAG,CAAC,gBAAgB,EAAE,CAAC,QAAQ,CAAC,CAAC;YACjC,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACxD,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CACtC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjB,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAE,CAAC,MAAM,CAAC,CAClE,CACF,CAAC;gBACF,kEAAkE;gBAClE,oEAAoE;gBACpE,sCAAsC;gBACtC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;oBAC3B,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;wBAAE,SAAS;oBAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;oBAC5B,MAAM,OAAO,GAAG,MAAM,+BAA+B,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;oBACxF,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;wBAC9B,+DAA+D;wBAC/D,8DAA8D;wBAC9D,6DAA6D;wBAC7D,0DAA0D;wBAC1D,gEAAgE;wBAChE,iDAAiD;wBACjD,cAAc,GAAG,IAAI,CAAC;oBACxB,CAAC;gBACH,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,YAAY,EAAE,CAAC;gBACf,GAAG,CAAC,gBAAgB,EAAE,CAAC,SAAS,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,wDAAwD;QACxD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC;gBACH,MAAM,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC/B,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,CAAC,IAAI,EAAE,CACX,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,oBAAoB,MAAM,CAAC,IAAI,2BACrD,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CACjD,EAAE,CACH,CAAC;gBACF,QAAQ,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC3C,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;YAClE,CAAC;QACH,CAAC;QAED,QAAQ,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3C,KAAK,EAAE,CAAC;QAER,IAAI,cAAc,EAAE,CAAC;YACnB,iEAAiE;YACjE,mEAAmE;YACnE,gEAAgE;YAChE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;QAClE,CAAC;QAED,mEAAmE;QACnE,oEAAoE;QACpE,kEAAkE;QAClE,gDAAgD;QAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,EAAE,CACX,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,UAAU,QAAQ,sEAAsE,CACjH,CAAC;YACF,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;QAClE,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,uEAAuE;IACvE,IAAI,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAkB;IAC1C,OAAO,CACL,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,WAAW;QACnC,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,QAAQ;QAChC,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,WAAW,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,OAA6B;IAIrD,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAC1B,UAA4B,EAC5B,cAAsB;IAEtB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC;YACtC,QAAQ,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC5D,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjC,QAAQ,EAAE,CAAC;gBACX,SAAS;YACX,CAAC;YACD,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,GAA2B,EAC3B,MAAsB,EACtB,QAAkB,EAClB,YAA0B;IAE1B,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACnC,oEAAoE;QACpE,oEAAoE;QACpE,oEAAoE;QACpE,YAAY;QACZ,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChC,OAAO;IACT,CAAC;IACD,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,mBAAmB,CAC1B,GAA2B,EAC3B,QAAsC;IAEtC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,IAAI,GAAG,KAAK,IAAmB,EAAE;QACrC,IAAI,OAAO,IAAI,MAAM;YAAE,OAAO;QAC9B,MAAM,GAAG,IAAI,CAAC;QACd,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;YAChE,IAAI,CAAC,MAAM;gBAAE,OAAO;YACpB,MAAM,MAAM,GAAsB,EAAE,mBAAmB,EAAE,MAAM,EAAE,CAAC;YAClE,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBACnC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO;oBAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,EAAE,CACX,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,mCACtB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CACjD,EAAE,CACH,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,MAAM,GAAG,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,2BAA2B,CAAC,CAAC;IAC3E,uEAAuE;IACvE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;IACjB,OAAO,GAAG,EAAE;QACV,OAAO,GAAG,IAAI,CAAC;QACf,aAAa,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,SAAS,CACtB,GAA2B,EAC3B,MAAoB;IAEpB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,uBAAuB;YAC1B,MAAM,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACzC,OAAO;QACT,KAAK,oBAAoB;YACvB,MAAM,kBAAkB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACtC,OAAO;QACT,KAAK,sBAAsB;YACzB,MAAM,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACxC,OAAO;QACT,KAAK,mBAAmB;YACtB,MAAM,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACrC,OAAO;QACT,iEAAiE;QACjE,qEAAqE;QACrE,qEAAqE;QACrE,KAAK,WAAW;YACd,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBACnB,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK;gBACpB,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,WAAW;gBAClB,OAAO,EAAE;oBACP,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,aAAa,EAAE,MAAM,CAAC,aAAa;iBACpC;aACF,CAAC,CAAC;YACH,OAAO;QACT,KAAK,oBAAoB;YACvB,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBACnB,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK;gBACpB,IAAI,EAAE,sBAAsB;gBAC5B,KAAK,EAAE,WAAW;gBAClB,OAAO,EAAE;oBACP,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,cAAc,EAAE,MAAM,CAAC,cAAc;iBACtC;aACF,CAAC,CAAC;YACH,OAAO;QACT,KAAK,qBAAqB;YACxB,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBACnB,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK;gBACpB,IAAI,EAAE,uBAAuB;gBAC7B,KAAK,EAAE,WAAW;gBAClB,OAAO,EAAE;oBACP,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;oBAC7C,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;oBAC/C,EAAE,EAAE,MAAM,CAAC,EAAE;oBACb,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpE,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACxE;aACF,CAAC,CAAC;YACH,OAAO;QACT,KAAK,YAAY;YACf,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBACnB,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK;gBACpB,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,WAAW;gBAClB,OAAO,EAAE;oBACP,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,cAAc,EAAE,MAAM,CAAC,cAAc;oBACrC,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5D,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5D,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAChE;aACF,CAAC,CAAC;YACH,OAAO;IACX,CAAC;IACD,0DAA0D;IAC1D,MAAM,WAAW,GAAU,MAAM,CAAC;IAClC,KAAK,WAAW,CAAC;AACnB,CAAC;AAOD;;;;;;;;;;;;;;;;;GAiBG;AACH,KAAK,UAAU,+BAA+B,CAC5C,GAA2B,EAC3B,QAAkB,EAClB,MAAsB,EACtB,MAAe;IAEf,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,QAAQ,EAAE,MAAM,CAAC;IAChC,IACE,MAAM,KAAK,WAAW;QACtB,MAAM,KAAK,QAAQ;QACnB,MAAM,KAAK,WAAW;QACtB,MAAM,KAAK,UAAU,EACrB,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,CACX,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,eAAe,MAAM,CAAC,IAAI,QAAQ,UAAU,kCAAkC,MAAM,wCAC1G,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAC1D,EAAE,CACH,CAAC;QACF,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,MAAM,EAAE,SAAS,CAAC;IACpC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,qEAAqE;QACrE,uEAAuE;QACvE,gEAAgE;QAChE,+DAA+D;QAC/D,2CAA2C;QAC3C,MAAM,CAAC,IAAI,EAAE,CACX,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,eAAe,MAAM,CAAC,IAAI,QAAQ,UAAU,uEAClE,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAC1D,EAAE,CACH,CAAC;QACF,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK;QACpB,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE;YACP,UAAU;YACV,SAAS;YACT,KAAK,EAAE;gBACL,UAAU,EAAE,OAAO;gBACnB,SAAS,EAAE,eAAe;gBAC1B,YAAY,EAAE,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;aACxE;SACF;KACF,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/workflows/orchestrator.d.ts

@@ -1,171 +0,0 @@
-/**
- * Workflow orchestrator (pure decision layer).
- *
- * Given a current `Snapshot` and the `WorkflowDefinition`, decide what
- * the runtime should do next.  Returns a list of `OrchestratorAction`
- * descriptors — the executor (Slice D) is responsible for translating
- * those into event-log writes and side-effect dispatches.  Keeping the
- * decision function pure makes the critical-path semantics easy to test
- * without spinning up workers / IM / file IO.
- *
- * v0 scope (UI doc §7 landing #1): focus on the humanGate.stage='before'
- * loop.  Retries / cancel coordination / reconcile already live in
- * `resume.ts`; the orchestrator only emits forward-progress decisions
- * and lets resume own recovery.
- *
- * ────────────────────────────────────────────────────────────────────
- * Activity ID convention
- *
- *   gate activity: `<runId>::gate::<nodeId>`
- *   work activity: `<runId>::work::<nodeId>`
- *
- * One node may own at most one gate (before-gate) and one work
- * activity in v0.  After-gates and re-runs are deferred.
- *
- * v0.2 loop body activities are scoped by a `loop::<loopId>.<N>` segment:
- *
- *   loop work activity: `<runId>::loop::<loopId>.<N>::work::<bodyNodeId>`
- *   loop gate activity: `<runId>::loop::<loopId>.<N>::gate::<bodyNodeId>`
- *
- * `<N>` is the 1-indexed iteration; `<loopId>` is the loop block's
- * nodeId.  All segments stay within `SEGMENT_RE` (allows
- * `[A-Za-z0-9._:-]`), so existing `isValidPathSegment` / attempt-
- * sidecar path guards continue to apply without modification.
- * ────────────────────────────────────────────────────────────────────
- */
-import { type HumanGate, type WorkflowDefinition, type WorkflowNode } from './definition.js';
-import type { ErrorClass, OutputRef } from './events/payloads.js';
-import type { Snapshot } from './events/replay.js';
-export declare function gateActivityId(runId: string, nodeId: string): string;
-export declare function workActivityId(runId: string, nodeId: string): string;
-export declare function loopWorkActivityId(runId: string, loopId: string, iteration: number, bodyNodeId: string): string;
-export declare function loopGateActivityId(runId: string, loopId: string, iteration: number, bodyNodeId: string): string;
-/**
- * Parsed activity id.  `kind: 'plain'` corresponds to the v0.1 forms
- * (`<runId>::work::<nodeId>` / `<runId>::gate::<nodeId>`).  `kind:
- * 'loop'` corresponds to v0.2 loop-iteration forms.  Returns `undefined`
- * if `s` doesn't match any known shape — callers can treat that as
- * "not a workflow activity id" without throwing.
- */
-export type ParsedActivityId = {
-    kind: 'plain';
-    runId: string;
-    activityKind: 'work' | 'gate';
-    nodeId: string;
-} | {
-    kind: 'loop';
-    runId: string;
-    loopId: string;
-    iteration: number;
-    activityKind: 'work' | 'gate';
-    nodeId: string;
-};
-export declare function parseActivityId(s: string): ParsedActivityId | undefined;
-/**
- * `dispatchGate` — caller writes `attemptCreated` (for the gate activity)
- * + `waitCreated{waitKind:'human-gate'}` + (optionally) `nodeWaiting`.
- */
-export type DispatchGateAction = {
-    kind: 'dispatchGate';
-    nodeId: string;
-    activityId: string;
-    humanGate: HumanGate;
-};
-/**
- * `dispatchWork` — caller writes `attemptCreated` for the work activity
- * and spawns the bot worker (subagent) or invokes the executor
- * (hostExecutor).
- */
-export type DispatchWorkAction = {
-    kind: 'dispatchWork';
-    nodeId: string;
-    activityId: string;
-    node: WorkflowNode;
-};
-/**
- * `completeNodeSucceeded` — work activity reached terminal success.
- * Caller writes `nodeSucceeded{nodeId, lastActivityId}`.
- */
-export type CompleteNodeSucceededAction = {
-    kind: 'completeNodeSucceeded';
-    nodeId: string;
-    lastActivityId: string;
-    outputRef: OutputRef;
-};
-/**
- * `completeNodeFailed` — work activity or gate activity reached terminal
- * failure (incl. gate rejection / deadline).  Caller writes
- * `nodeFailed{nodeId, lastActivityId, errorClass}` and locates
- * `rootCauseEventId` from the underlying terminal event.
- */
-export type CompleteNodeFailedAction = {
-    kind: 'completeNodeFailed';
-    nodeId: string;
-    lastActivityId: string;
-    errorClass: ErrorClass;
-};
-/**
- * `completeRunSucceeded` — every node is succeeded and there's a single
- * sink whose output represents the run's product.  Multi-sink workflows
- * are deferred (caller can refuse / extend).
- */
-export type CompleteRunSucceededAction = {
-    kind: 'completeRunSucceeded';
-    outputRef: OutputRef;
-    sinkNodeId: string;
-};
-/**
- * `completeRunFailed` — at least one node failed; the run cannot proceed.
- * Caller writes `runFailed{failedNodeId, rootCauseEventId}` after
- * locating the original failure event.
- */
-export type CompleteRunFailedAction = {
-    kind: 'completeRunFailed';
-    failedNodeId: string;
-};
-export type StartLoopAction = {
-    kind: 'startLoop';
-    loopId: string;
-    maxIterations: number;
-};
-export type StartLoopIterationAction = {
-    kind: 'startLoopIteration';
-    loopId: string;
-    iteration: number;
-    prevResolution: 'initial' | 'rejected';
-};
-export type FinishLoopIterationAction = {
-    kind: 'finishLoopIteration';
-    loopId: string;
-    iteration: number;
-    resolution: 'approved' | 'rejected';
-    decisionActivityId: string;
-    waitResolvedEventId: string;
-    by: string;
-    comment?: string;
-    timedOut?: boolean;
-};
-export type FinishLoopAction = {
-    kind: 'finishLoop';
-    loopId: string;
-    finalIteration: number;
-    resolution: 'approved' | 'max-iterations-exceeded' | 'body-failed' | 'cancelled' | 'timeout';
-    errorCode?: string;
-    errorClass?: ErrorClass;
-    outputRef?: OutputRef;
-};
-export type OrchestratorAction = DispatchGateAction | DispatchWorkAction | CompleteNodeSucceededAction | CompleteNodeFailedAction | CompleteRunSucceededAction | CompleteRunFailedAction | StartLoopAction | StartLoopIterationAction | FinishLoopIterationAction | FinishLoopAction;
-/**
- * Pure decision function.  Read-only — never throws on graph cycles
- * (the caller is responsible for using `parseWorkflowDefinition` to
- * validate the graph upstream).  Returns `[]` when:
- *   - run is already terminal (succeeded / failed / cancelled)
- *   - all nodes are pending on dependencies / open waits / in-flight
- *     activities and no advancement is possible
- *
- * Ordering: node-scoped actions follow topological order so callers
- * see deps-ready nodes first.  Run-scoped actions (completeRun*) come
- * only if no per-node actions remain — they're the terminal sweep.
- */
-export declare function decideNextActions(snapshot: Snapshot, def: WorkflowDefinition): OrchestratorAction[];
-//# sourceMappingURL=orchestrator.d.ts.map

package/dist/workflows/orchestrator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/workflows/orchestrator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAEL,KAAK,SAAS,EACd,KAAK,kBAAkB,EACvB,KAAK,YAAY,EAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAInD,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAEpE;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAEpE;AAUD,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,MAAM,CAOR;AAED,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,MAAM,CAOR;AAED;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GACxB;IACE,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,GAAG,MAAM,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,GAAG,MAAM,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAKN,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CA6BvE;AAID;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,SAAS,CAAC;CACtB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,YAAY,CAAC;CACpB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,IAAI,EAAE,uBAAuB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,SAAS,CAAC;CACtB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,GAAG;IACvC,IAAI,EAAE,sBAAsB,CAAC;IAC7B,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAaF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,SAAS,GAAG,UAAU,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;IACpC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EACN,UAAU,GACV,yBAAyB,GACzB,aAAa,GACb,WAAW,GACX,SAAS,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAC1B,kBAAkB,GAClB,kBAAkB,GAClB,2BAA2B,GAC3B,wBAAwB,GACxB,0BAA0B,GAC1B,uBAAuB,GACvB,eAAe,GACf,wBAAwB,GACxB,yBAAyB,GACzB,gBAAgB,CAAC;AAIrB;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,QAAQ,EAClB,GAAG,EAAE,kBAAkB,GACtB,kBAAkB,EAAE,CAsWtB"}