@revisium/orchestrator 0.1.0-alpha.1 → 0.1.0-alpha.3

package/dist/pipeline/route-contract.js

@@ -0,0 +1,82 @@
+const GATE_ID_BY_CANONICAL_LABEL = {
+    'task spec approval': 'plan',
+    'merge approval': 'merge',
+};
+function asRecord(value) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        return null;
+    return value;
+}
+function asStringMap(value) {
+    const record = asRecord(value);
+    if (!record)
+        return {};
+    const out = {};
+    for (const [key, item] of Object.entries(record)) {
+        if (typeof item === 'string' && item.trim() !== '')
+            out[key] = item;
+    }
+    return out;
+}
+function asStringArray(value) {
+    if (!Array.isArray(value))
+        return undefined;
+    return value.filter((item) => typeof item === 'string' && item.trim() !== '');
+}
+export function normalizeParams(value) {
+    const record = asRecord(value);
+    if (!record)
+        return {};
+    const { executionProfile: _executionProfile, execution_profile: _executionProfileSnake, runnerOverrides: _runnerOverrides, runner_overrides: _runnerOverridesSnake, availableRunners: _availableRunners, available_runners: _availableRunnersSnake, ...publicParams } = record;
+    return publicParams;
+}
+export function normalizeRouteGates(value) {
+    if (!Array.isArray(value))
+        return [];
+    const seen = new Set();
+    const out = [];
+    for (const item of value) {
+        if (typeof item !== 'string')
+            continue;
+        const gate = item.trim();
+        if (!gate)
+            continue;
+        const normalized = GATE_ID_BY_CANONICAL_LABEL[gate.toLowerCase()] ?? gate;
+        if (seen.has(normalized))
+            continue;
+        seen.add(normalized);
+        out.push(normalized);
+    }
+    return out;
+}
+export function normalizeExecutionProfile(value) {
+    const raw = asRecord(value) ?? {};
+    return {
+        id: typeof raw.id === 'string' && raw.id.trim() !== '' ? raw.id : 'default',
+        runnerOverrides: {
+            ...asStringMap(raw.runnerOverrides),
+            ...asStringMap(raw.runner_overrides),
+        },
+        availableRunners: asStringArray(raw.availableRunners) ?? asStringArray(raw.available_runners),
+    };
+}
+export function resolveRunnerForProfile(runnerId, executionProfile) {
+    const resolved = executionProfile.runnerOverrides[runnerId];
+    if (resolved)
+        return { runnerId: resolved, source: 'execution-profile' };
+    return { runnerId, source: 'playbook' };
+}
+export function dispatchRunnerId(runnerId) {
+    if (runnerId === 'stub-agent')
+        return 'script';
+    if (runnerId === 'claude-code' || runnerId === 'codex' || runnerId === 'script')
+        return runnerId;
+    return runnerId.startsWith('revo-') ? 'script' : runnerId;
+}
+export function runnerNeedsLivePreflight(runnerId) {
+    return runnerId === 'claude-code' || runnerId === 'codex' || runnerId === 'revo-integrator' || runnerId === 'revo-merger';
+}
+export function runnerUsesRealIntegrator(runnerId) {
+    return runnerId === 'revo-integrator' || runnerId === 'revo-merger';
+}
+//# sourceMappingURL=route-contract.js.map

package/dist/pipeline/route-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-contract.js","sourceRoot":"","sources":["../../src/pipeline/route-contract.ts"],"names":[],"mappings":"AA8BA,MAAM,0BAA0B,GAA2B;IACzD,oBAAoB,EAAE,MAAM;IAC5B,gBAAgB,EAAE,OAAO;CAC1B,CAAC;AAEF,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;IACtE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,EACJ,gBAAgB,EAAE,iBAAiB,EACnC,iBAAiB,EAAE,sBAAsB,EACzC,eAAe,EAAE,gBAAgB,EACjC,gBAAgB,EAAE,qBAAqB,EACvC,gBAAgB,EAAE,iBAAiB,EACnC,iBAAiB,EAAE,sBAAsB,EACzC,GAAG,YAAY,EAChB,GAAG,MAAM,CAAC;IACX,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,SAAS;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,UAAU,GAAG,0BAA0B,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,IAAI,CAAC;QAC1E,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS;QACnC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACrB,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAe;IACvD,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAClC,OAAO;QACL,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;QAC3E,eAAe,EAAE;YACf,GAAG,WAAW,CAAC,GAAG,CAAC,eAAe,CAAC;YACnC,GAAG,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC;SACrC;QACD,gBAAgB,EAAE,aAAa,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAAgB,EAChB,gBAAkC;IAElC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,IAAI,QAAQ,KAAK,YAAY;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,QAAQ,KAAK,aAAa,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACjG,OAAO,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,QAAgB;IACvD,OAAO,QAAQ,KAAK,aAAa,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,iBAAiB,IAAI,QAAQ,KAAK,aAAa,CAAC;AAC5H,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,QAAgB;IACvD,OAAO,QAAQ,KAAK,iBAAiB,IAAI,QAAQ,KAAK,aAAa,CAAC;AACtE,CAAC"}

package/dist/pipeline-core/index.js

@@ -0,0 +1,16 @@
+/**
+ * pipeline-core — the pure, framework-free pipeline state machine (plan 0015, slice 1).
+ *
+ * ZERO imports from NestJS / DBOS / Revisium / runners / any I/O; deterministic (no clocks/randomness).
+ * The DBOS effect-adapter (slice 2) consumes this surface:
+ *   - `validateTemplate` / `classifyTemplateDiff` — install-time validation (§12).
+ *   - `step` — the pure reducer `(template, state, lastResult) -> { state, decision }` (§10).
+ *   - `initialState` — build the entry cursor.
+ *
+ * The `kit/` sub-path is a TEST helper (builders/fixtures/drive/assertions) and is intentionally NOT
+ * re-exported here — production code depends only on these primitives.
+ */
+export * from './types.js';
+export { validateTemplate, classifyTemplateDiff } from './validate.js';
+export { step, initialState, evalCondition, selectJoinWinner, applyCounterMutations, InterpretError } from './interpret.js';
+//# sourceMappingURL=index.js.map

package/dist/pipeline-core/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/pipeline-core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAEvE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/pipeline-core/interpret.js

@@ -0,0 +1,351 @@
+/**
+ * pipeline-core/interpret.ts — the pure deterministic reducer (§10).
+ *
+ *   step(template, state, lastResult) -> { state, decision }
+ *
+ * One call advances the run by exactly one OBSERVABLE step. Given the current cursor and the RECORDED
+ * result of the previously-emitted Decision, it computes the NEXT cursor (updated/reset scoped
+ * counters + activeNodeIds + status) AND the next effect `decision`. Total + deterministic: no clocks,
+ * no randomness, no live reads — every external fact arrives as recorded data on `lastResult` (§10).
+ *
+ * The adapter loop (§10): `{state, decision} = step(t, state, lastResult)` → execute `decision` as a
+ * durable step → record its result → feed that back as the next `lastResult` → repeat until
+ * `decision.type === 'complete'`.
+ *
+ * Model. The active node is the one whose Decision was last emitted (or the entry on the first call).
+ * `step` first RESOLVES that node against `lastResult` (route a gate/choice by its branches; route an
+ * agent/script by its core outcome via §6 precedence; aggregate a join's recorded arrivals), walking
+ * through pure routing nodes (`choice`/`join`) until it reaches a node that emits an effect
+ * (`agent`/`script`/`humanGate`/`wait`/`parallel`/`terminal`). Loop-entry counter mutations (§7) are
+ * applied as each node is entered, BEFORE its guards are evaluated, so a cap-guard sees the
+ * post-increment value. Core verdicts route STRUCTURALLY (catch/onFailure/terminal/timeout) and NEVER
+ * via branch guards (§3/§6).
+ */
+/** Thrown when the interpreter hits a state a VALID template can never produce (a caller/data bug). */
+export class InterpretError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'InterpretError';
+    }
+}
+const STATUS_BY_TERMINAL = {
+    succeeded: 'succeeded',
+    failed: 'failed',
+    blocked: 'blocked',
+};
+/** Kinds that SUSPEND: they emit a Decision and stay active until their result is fed back. */
+function suspends(node) {
+    return (node.kind === 'agent' ||
+        node.kind === 'script' ||
+        node.kind === 'humanGate' ||
+        node.kind === 'wait' ||
+        node.kind === 'parallel' ||
+        node.kind === 'terminal');
+}
+/**
+ * Build the initial cursor: the entry node active, every declared scope at 0, no recorded result.
+ * The first `step(t, initialState(t), undefined)` emits the entry node's first Decision.
+ */
+export function initialState(template) {
+    const scopedCounters = {};
+    for (const scopeId of Object.keys(template.scopes ?? {}))
+        scopedCounters[scopeId] = 0;
+    return { activeNodeIds: new Set([template.entry]), scopedCounters, status: 'running' };
+}
+/**
+ * Advance one observable step. Resolves the active node against `lastResult`, walks any pure routing
+ * nodes, and returns the next suspending node's Decision plus the next cursor.
+ *
+ * On the FIRST call (entry just activated, no Decision emitted yet) the active node has not run, so
+ * `lastResult` describes nothing for it: we emit its Decision directly. On every later call the active
+ * node is a suspended one whose recorded result is in `lastResult`: we route PAST it.
+ */
+export function step(template, state, lastResult) {
+    const active = resolveNode(template, soleActiveNodeId(state));
+    // First emission of a freshly-entered suspending node: no result to consume yet — emit its Decision.
+    if (lastResult === undefined && suspends(active)) {
+        return emit(template, active, state);
+    }
+    // Otherwise consume the active node's recorded result and route onward.
+    return routeFrom(template, active, state, lastResult);
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Routing — consume the active node's result, compute the successor id, then enter it.
+// ─────────────────────────────────────────────────────────────────────────────
+function routeFrom(template, node, state, lastResult) {
+    switch (node.kind) {
+        case 'terminal':
+            // A terminal has no successor; re-resolving it just re-asserts completion (idempotent). The
+            // cursor SITS on the terminal (activeNodeIds = {terminal}); the adapter detects done via
+            // status/decision, not an empty active set.
+            return {
+                state: { ...state, activeNodeIds: new Set([node.id]), status: STATUS_BY_TERMINAL[node.status] },
+                decision: { type: 'complete', status: node.status },
+            };
+        case 'agent':
+        case 'script':
+            return routeEffect(template, node, state, lastResult);
+        case 'humanGate': {
+            // A gate's recorded timeout firing routes via timeout.goto (§6), NOT a branch guard.
+            if (lastResult?.outcome === 'timed_out') {
+                if (!node.timeout) {
+                    throw new InterpretError(`gate ${node.id} timed_out but has no timeout edge (invalid)`);
+                }
+                return enter(template, node.timeout.goto, state, undefined);
+            }
+            const goto = evalBranches(template, node.id, node.branches, state, lastResult);
+            return enter(template, goto, state, carryVerdict(lastResult));
+        }
+        case 'choice': {
+            const goto = evalBranches(template, node.id, node.branches, state, lastResult);
+            return enter(template, goto, state, carryVerdict(lastResult));
+        }
+        case 'wait':
+            return enter(template, node.next, state, undefined);
+        case 'join': {
+            const arrivals = lastResult?.joinArrivals ?? [];
+            const winner = selectJoinWinner(node.joinMode, arrivals, node.id);
+            const forward = winner?.verdict === undefined ? undefined : { verdict: winner.verdict };
+            return enter(template, node.next, state, forward);
+        }
+        case 'parallel':
+            // A parallel's "result" is the join's arrivals; routing past a parallel is meaningless —
+            // the join consumes the arrivals. Reaching here means the loop mis-fed a result.
+            throw new InterpretError(`routeFrom called on parallel ${node.id} (feed the join, not the fork)`);
+    }
+}
+/** §6 failure-precedence routing for an `agent`/`script` node from its RECORDED outcome. */
+function routeEffect(template, node, state, lastResult) {
+    const outcome = lastResult?.outcome;
+    if (outcome === undefined || outcome === 'succeeded') {
+        return enter(template, node.next, state, carryVerdict(lastResult));
+    }
+    // Failure (`failed`/`errored`). Precedence: matching catch → onFailure (abort/route/escalate).
+    const code = lastResult?.errorCode;
+    const matched = code ? node.catch?.find((c) => c.onError === code) : undefined;
+    if (matched)
+        return enter(template, matched.goto, state, undefined);
+    const policy = node.onFailure ?? 'abort';
+    if (policy === 'abort') {
+        // The run fails AT the aborting node; the cursor stays on it (no terminal node to route to).
+        return {
+            state: { ...state, activeNodeIds: new Set([node.id]), status: 'failed' },
+            decision: { type: 'complete', status: 'failed' },
+        };
+    }
+    if (policy === 'escalate') {
+        if (!node.escalateTo) {
+            throw new InterpretError(`node ${node.id} onFailure=escalate but escalateTo missing (invalid)`);
+        }
+        return enter(template, node.escalateTo, state, undefined);
+    }
+    // 'route' with no matching catch — a VALID template forbids this (§6 / §12 FAILURE_ROUTE_NO_CATCH).
+    throw new InterpretError(`node ${node.id} onFailure=route but no catch matched ${code ?? '<no code>'} (invalid)`);
+}
+/**
+ * ENTER a node: apply its loop-entry counter mutations (§7), make it the sole active node, then
+ * either emit its Decision (suspending kinds) or recursively route through it (pure `choice`/`join`).
+ * `incoming` is the verdict/arrivals context the entered node's guards may read.
+ */
+function enter(template, nodeId, state, incoming) {
+    const node = resolveNode(template, nodeId);
+    const scopedCounters = applyCounterMutations(template, state.scopedCounters, incrementCountersOf(node));
+    const entered = { ...state, scopedCounters, activeNodeIds: new Set([nodeId]) };
+    if (suspends(node))
+        return emit(template, node, entered);
+    // Pure routing node — resolve it immediately against the incoming context.
+    return routeFrom(template, node, entered, incoming);
+}
+/** Emit the Decision of a freshly-entered SUSPENDING node and set the matching run status. */
+function emit(template, node, state) {
+    switch (node.kind) {
+        case 'agent':
+            return {
+                state: activate(state, node.id, 'running'),
+                decision: { type: 'invokeRole', nodeId: node.id, roleRef: node.roleRef, input: {} },
+            };
+        case 'script':
+            return {
+                state: activate(state, node.id, 'running'),
+                decision: { type: 'invokeScript', nodeId: node.id, scriptRef: node.scriptRef, input: {} },
+            };
+        case 'humanGate':
+            return {
+                state: activate(state, node.id, 'awaiting_gate'),
+                decision: {
+                    type: 'awaitGate',
+                    nodeId: node.id,
+                    reason: node.reason,
+                    outcomes: node.outcomes,
+                    ...(node.timeout ? { timeout: node.timeout } : {}),
+                },
+            };
+        case 'wait':
+            return {
+                state: activate(state, node.id, 'running'),
+                decision: { type: 'startTimer', nodeId: node.id, duration: node.duration },
+            };
+        case 'parallel':
+            return {
+                state: { ...state, activeNodeIds: new Set(node.branches.map((b) => b.entry)), status: 'running' },
+                decision: {
+                    type: 'fork',
+                    nodeId: node.id,
+                    branches: node.branches,
+                    joinId: node.join,
+                    mode: joinModeOf(template, node.join),
+                },
+            };
+        case 'terminal':
+            return {
+                state: { ...state, activeNodeIds: new Set([node.id]), status: STATUS_BY_TERMINAL[node.status] },
+                decision: { type: 'complete', status: node.status },
+            };
+        default:
+            // choice/join never suspend — emit() is only called on suspending kinds.
+            throw new InterpretError(`emit() called on non-suspending node ${node.id} (${node.kind})`);
+    }
+}
+function activate(state, nodeId, status) {
+    return { ...state, activeNodeIds: new Set([nodeId]), status };
+}
+/** Forward only a domain verdict (core outcomes are consumed structurally, never carried forward). */
+function carryVerdict(lastResult) {
+    return lastResult?.verdict === undefined ? undefined : { verdict: lastResult.verdict };
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Guard evaluation (§3) — total, first-true-wins, mandatory default.
+// ─────────────────────────────────────────────────────────────────────────────
+function evalBranches(template, nodeId, branches, state, lastResult) {
+    let fallback;
+    for (const b of branches) {
+        if (b.default !== undefined) {
+            fallback = b.default;
+            continue;
+        }
+        if (b.when && b.goto !== undefined && evalCondition(b.when, state, lastResult))
+            return b.goto;
+    }
+    if (fallback === undefined) {
+        throw new InterpretError(`node ${nodeId} has no default branch (invalid template)`);
+    }
+    return fallback;
+}
+/**
+ * Evaluate a v1 Condition (§3). Reads ONLY the recorded DOMAIN verdict (`lastResult.verdict`) and the
+ * scoped counters in `state` — never a core verdict (those route structurally, §3/§6).
+ */
+export function evalCondition(cond, state, lastResult) {
+    switch (cond.op) {
+        case 'verdict.eq':
+            return lastResult?.verdict === cond.value;
+        case 'verdict.in':
+            return lastResult?.verdict !== undefined && cond.value.includes(lastResult.verdict);
+        case 'counter.lt':
+            return counterValue(state, cond.scope) < cond.value;
+        case 'counter.gte':
+            return counterValue(state, cond.scope) >= cond.value;
+        case 'all':
+            return cond.of.every((c) => evalCondition(c, state, lastResult));
+        case 'any':
+            return cond.of.some((c) => evalCondition(c, state, lastResult));
+        case 'not':
+            return !evalCondition(cond.cond, state, lastResult);
+    }
+}
+function counterValue(state, scope) {
+    return state.scopedCounters[scope] ?? 0;
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// §7 Counter mutation — increment + descendant reset, deterministic & pure.
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Apply a node's `incrementCounters` to a counter map: +1 each named scope and RESET every
+ * descendant scope of each (entering a scope resets its descendants, §7). Returns a fresh map.
+ */
+export function applyCounterMutations(template, current, increments) {
+    if (increments.length === 0)
+        return { ...current };
+    const next = { ...current };
+    const scopes = template.scopes ?? {};
+    for (const scopeId of increments) {
+        next[scopeId] = (next[scopeId] ?? 0) + 1;
+        for (const descendant of Object.keys(scopes)) {
+            if (descendant !== scopeId && isDescendantScope(scopes, descendant, scopeId)) {
+                next[descendant] = 0;
+            }
+        }
+    }
+    return next;
+}
+/** True when `candidate`'s ancestor chain (via `parent`) passes through `ancestor`. */
+function isDescendantScope(scopes, candidate, ancestor) {
+    let cursor = scopes[candidate]?.parent ?? null;
+    const seen = new Set();
+    while (cursor !== null) {
+        if (cursor === ancestor)
+            return true;
+        if (seen.has(cursor))
+            break; // defensive against a malformed cycle (validation rejects these)
+        seen.add(cursor);
+        cursor = scopes[cursor]?.parent ?? null;
+    }
+    return false;
+}
+function incrementCountersOf(node) {
+    return 'incrementCounters' in node ? (node.incrementCounters ?? []) : [];
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// §4 Join — consume recorded arrivals; pick a deterministic winner.
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Select the join winner from durably-recorded arrivals (§4), in the canonical recorded order
+ * (`seq` asc, branchId tie-break):
+ *  - `all`    → the barrier; the winner is the last arrival (its verdict is forwarded);
+ *  - `any`    → the first arrival;
+ *  - `quorum` → the K-th arrival.
+ * The core never sees the live race; the adapter supplies the recorded order + cancelled set.
+ */
+export function selectJoinWinner(mode, arrivals, joinId) {
+    const ordered = [...arrivals].sort((a, b) => a.seq - b.seq || cmp(a.branchId, b.branchId));
+    if (mode.kind === 'any')
+        return ordered[0];
+    if (mode.kind === 'quorum') {
+        if (ordered.length < mode.count) {
+            throw new InterpretError(`join ${joinId} quorum needs ${mode.count}, has ${ordered.length} recorded arrivals`);
+        }
+        return ordered[mode.count - 1];
+    }
+    return ordered.at(-1); // 'all'
+}
+function cmp(a, b) {
+    if (a < b)
+        return -1;
+    if (a > b)
+        return 1;
+    return 0;
+}
+function joinModeOf(template, joinId) {
+    const join = resolveNode(template, joinId);
+    if (join.kind !== 'join') {
+        throw new InterpretError(`fork target ${joinId} is not a join (${join.kind})`);
+    }
+    return join.joinMode;
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Helpers.
+// ─────────────────────────────────────────────────────────────────────────────
+function resolveNode(template, id) {
+    const node = template.nodes[id];
+    if (!node)
+        throw new InterpretError(`unknown node id "${id}" (invalid template)`);
+    return node;
+}
+function soleActiveNodeId(state) {
+    const ids = [...state.activeNodeIds];
+    if (ids.length !== 1) {
+        throw new InterpretError(`step() expects exactly one active node, got ${ids.length} [${ids.join(', ')}]`);
+    }
+    return ids[0];
+}
+//# sourceMappingURL=interpret.js.map

package/dist/pipeline-core/interpret.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpret.js","sourceRoot":"","sources":["../../src/pipeline-core/interpret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAeH,uGAAuG;AACvG,MAAM,OAAO,cAAe,SAAQ,KAAK;IACvC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAED,MAAM,kBAAkB,GAAsC;IAC5D,SAAS,EAAE,WAAW;IACtB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,+FAA+F;AAC/F,SAAS,QAAQ,CAAC,IAAU;IAC1B,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,OAAO;QACrB,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,IAAI,KAAK,MAAM;QACpB,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,IAAI,CAAC,IAAI,KAAK,UAAU,CACzB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAAkB;IAC7C,MAAM,cAAc,GAA2B,EAAE,CAAC;IAClD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC;QAAE,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACtF,OAAO,EAAE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AACzF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,IAAI,CAClB,QAAkB,EAClB,KAAe,EACf,UAAkC;IAElC,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;IAE9D,qGAAqG;IACrG,IAAI,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,wEAAwE;IACxE,OAAO,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;AACxD,CAAC;AAED,gFAAgF;AAChF,uFAAuF;AACvF,gFAAgF;AAEhF,SAAS,SAAS,CAChB,QAAkB,EAClB,IAAU,EACV,KAAe,EACf,UAAkC;IAElC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,4FAA4F;YAC5F,yFAAyF;YACzF,4CAA4C;YAC5C,OAAO;gBACL,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBAC/F,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;aACpD,CAAC;QAEJ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QAExD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,qFAAqF;YACrF,IAAI,UAAU,EAAE,OAAO,KAAK,WAAW,EAAE,CAAC;gBACxC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClB,MAAM,IAAI,cAAc,CAAC,QAAQ,IAAI,CAAC,EAAE,8CAA8C,CAAC,CAAC;gBAC1F,CAAC;gBACD,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YAC9D,CAAC;YACD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;YAC/E,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC;QAChE,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;YAC/E,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC;QAChE,CAAC;QAED,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAEtD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,QAAQ,GAAG,UAAU,EAAE,YAAY,IAAI,EAAE,CAAC;YAChD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YAClE,MAAM,OAAO,GAAG,MAAM,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;YACxF,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;QAED,KAAK,UAAU;YACb,yFAAyF;YACzF,iFAAiF;YACjF,MAAM,IAAI,cAAc,CAAC,gCAAgC,IAAI,CAAC,EAAE,gCAAgC,CAAC,CAAC;IACtG,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,SAAS,WAAW,CAClB,QAAkB,EAClB,IAAiD,EACjD,KAAe,EACf,UAAkC;IAElC,MAAM,OAAO,GAAG,UAAU,EAAE,OAAO,CAAC;IAEpC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,+FAA+F;IAC/F,MAAM,IAAI,GAAG,UAAU,EAAE,SAAS,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,IAAI,OAAO;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAEpE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC;IACzC,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,6FAA6F;QAC7F,OAAO;YACL,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE;YACxE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,MAAM,IAAI,cAAc,CAAC,QAAQ,IAAI,CAAC,EAAE,sDAAsD,CAAC,CAAC;QAClG,CAAC;QACD,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC5D,CAAC;IACD,oGAAoG;IACpG,MAAM,IAAI,cAAc,CACtB,QAAQ,IAAI,CAAC,EAAE,yCAAyC,IAAI,IAAI,WAAW,YAAY,CACxF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,KAAK,CACZ,QAAkB,EAClB,MAAc,EACd,KAAe,EACf,QAAgC;IAEhC,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,qBAAqB,CAAC,QAAQ,EAAE,KAAK,CAAC,cAAc,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;IACxG,MAAM,OAAO,GAAa,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IAEzF,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,2EAA2E;IAC3E,OAAO,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACtD,CAAC;AAED,8FAA8F;AAC9F,SAAS,IAAI,CACX,QAAkB,EAClB,IAAU,EACV,KAAe;IAEf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO;gBACL,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC;gBAC1C,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE;aACpF,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO;gBACL,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC;gBAC1C,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE;aAC1F,CAAC;QACJ,KAAK,WAAW;YACd,OAAO;gBACL,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC;gBAChD,QAAQ,EAAE;oBACR,IAAI,EAAE,WAAW;oBACjB,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACnD;aACF,CAAC;QACJ,KAAK,MAAM;YACT,OAAO;gBACL,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC;gBAC1C,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;aAC3E,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE;gBACjG,QAAQ,EAAE;oBACR,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,MAAM,EAAE,IAAI,CAAC,IAAI;oBACjB,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC;iBACtC;aACF,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBAC/F,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;aACpD,CAAC;QACJ;YACE,yEAAyE;YACzE,MAAM,IAAI,cAAc,CAAC,wCAAwC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAC/F,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe,EAAE,MAAc,EAAE,MAAiB;IAClE,OAAO,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;AAChE,CAAC;AAED,sGAAsG;AACtG,SAAS,YAAY,CAAC,UAAkC;IACtD,OAAO,UAAU,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC;AACzF,CAAC;AAED,gFAAgF;AAChF,qEAAqE;AACrE,gFAAgF;AAEhF,SAAS,YAAY,CACnB,QAAkB,EAClB,MAAc,EACd,QAAiE,EACjE,KAAe,EACf,UAAkC;IAElC,IAAI,QAA4B,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC5B,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IAChG,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,cAAc,CAAC,QAAQ,MAAM,2CAA2C,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAe,EACf,KAAe,EACf,UAAkC;IAElC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,OAAO,UAAU,EAAE,OAAO,KAAK,IAAI,CAAC,KAAK,CAAC;QAC5C,KAAK,YAAY;YACf,OAAO,UAAU,EAAE,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACtF,KAAK,YAAY;YACf,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACtD,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC;QACvD,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QACnE,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QAClE,KAAK,KAAK;YACR,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAe,EAAE,KAAa;IAClD,OAAO,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,gFAAgF;AAChF,4EAA4E;AAC5E,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAkB,EAClB,OAAyC,EACzC,UAA6B;IAE7B,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC;IACnD,MAAM,IAAI,GAA2B,EAAE,GAAG,OAAO,EAAE,CAAC;IACpD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC;IACrC,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,IAAI,UAAU,KAAK,OAAO,IAAI,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC7E,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uFAAuF;AACvF,SAAS,iBAAiB,CACxB,MAAiD,EACjD,SAAiB,EACjB,QAAgB;IAEhB,IAAI,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,MAAM,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,iEAAiE;QAC9F,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAU;IACrC,OAAO,mBAAmB,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,gFAAgF;AAChF,oEAAoE;AACpE,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAc,EACd,QAAgC,EAChC,MAAc;IAEd,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YAChC,MAAM,IAAI,cAAc,CACtB,QAAQ,MAAM,iBAAiB,IAAI,CAAC,KAAK,SAAS,OAAO,CAAC,MAAM,oBAAoB,CACrF,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;AACjC,CAAC;AAED,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACpB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,UAAU,CAAC,QAAkB,EAAE,MAAc;IACpD,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,cAAc,CAAC,eAAe,MAAM,mBAAmB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC,QAAQ,CAAC;AACvB,CAAC;AAED,gFAAgF;AAChF,WAAW;AACX,gFAAgF;AAEhF,SAAS,WAAW,CAAC,QAAkB,EAAE,EAAU;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,cAAc,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CAAC;IAClF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAe;IACvC,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACrC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,cAAc,CACtB,+CAA+C,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;AAChB,CAAC"}

package/dist/pipeline-core/kit/assertions.js

@@ -0,0 +1,61 @@
+/**
+ * pipeline-core/kit/assertions.ts — readable assertions over validation + drive results.
+ *
+ * Mirrors the e2e kit's assertion style (`assertCompleted`, `assertEventsPresent`): each helper states
+ * an intent in one call with a clear failure message, so the test body reads as a spec sentence.
+ */
+import assert from 'node:assert/strict';
+import { validateTemplate } from '../validate.js';
+/** Assert the template has NO diagnostics (valid). On failure, prints the offending codes. */
+export function assertValid(template) {
+    const diags = validateTemplate(template);
+    const errors = diags.filter((d) => d.severity === 'error');
+    const offending = errors.map((d) => `${d.code}@${d.nodeId ?? d.scope ?? '-'}`).join(', ');
+    assert.equal(errors.length, 0, `expected a valid template, got: ${offending}`);
+    return diags;
+}
+/**
+ * Assert validation produces EXACTLY the expected ERROR codes (set equality, order-free). Advisory
+ * WARNING codes (e.g. an unused domain label) are orthogonal to a rule violation and are ignored here
+ * — assert those explicitly via {@link assertHasDiagnostic}. Use {@link assertHasDiagnostic} when a
+ * fixture legitimately trips several error rules and you assert one.
+ */
+export function assertDiagnostics(template, codes) {
+    const diags = validateTemplate(template);
+    const got = new Set(diags.filter((d) => d.severity === 'error').map((d) => d.code));
+    const want = new Set(codes);
+    const missing = [...want].filter((c) => !got.has(c));
+    const extra = [...got].filter((c) => !want.has(c));
+    assert.ok(missing.length === 0 && extra.length === 0, `diagnostic codes mismatch\n  missing: [${missing.join(', ')}]\n  extra:   [${extra.join(', ')}]\n  all:     [${[...got].join(', ')}]`);
+    return diags;
+}
+/** Assert at least one diagnostic with `code` was produced (the fixture may trip other rules too). */
+export function assertHasDiagnostic(template, code) {
+    const diags = validateTemplate(template);
+    const found = diags.find((d) => d.code === code);
+    assert.ok(found, `expected diagnostic "${code}", got: [${diags.map((d) => d.code).join(', ')}]`);
+    return found;
+}
+/** Assert NO diagnostic with `code` was produced. */
+export function assertNoDiagnostic(template, code) {
+    const diags = validateTemplate(template);
+    assert.ok(!diags.some((d) => d.code === code), `unexpected diagnostic "${code}"`);
+}
+/** Assert a drive reached a terminal with `status`. */
+export function assertReachesTerminal(result, status) {
+    assert.equal(result.status, status, `expected terminal "${status}", got "${result.status}" via ${result.path.join(' → ')}`);
+}
+/** Assert the recorded path of emitted Decisions equals `expected` (node ids, in order). */
+export function assertPath(result, expected) {
+    assert.deepEqual(result.path, expected, `path mismatch\n  expected: ${expected.join(' → ')}\n  actual:   ${result.path.join(' → ')}`);
+}
+/** Assert a node appears in the path exactly `times` (e.g. a rework node hit at the loop cap). */
+export function assertVisitCount(result, nodeId, times) {
+    const count = result.path.filter((id) => id === nodeId).length;
+    assert.equal(count, times, `expected ${nodeId} visited ${times}×, got ${count} (path: ${result.path.join(' → ')})`);
+}
+/** Assert a scope's final counter value. */
+export function assertCounter(result, scope, value) {
+    assert.equal(result.counters[scope] ?? 0, value, `expected counter ${scope}=${value}, got ${result.counters[scope] ?? 0}`);
+}
+//# sourceMappingURL=assertions.js.map

package/dist/pipeline-core/kit/assertions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.js","sourceRoot":"","sources":["../../../src/pipeline-core/kit/assertions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAIlD,8FAA8F;AAC9F,MAAM,UAAU,WAAW,CAAC,QAAkB;IAC5C,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,mCAAmC,SAAS,EAAE,CAAC,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAkB,EAAE,KAAuB;IAC3E,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,EAAE,CACP,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAC1C,0CAA0C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACvI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,mBAAmB,CAAC,QAAkB,EAAE,IAAoB;IAC1E,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACjD,MAAM,CAAC,EAAE,CACP,KAAK,EACL,wBAAwB,IAAI,YAAY,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC/E,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,kBAAkB,CAAC,QAAkB,EAAE,IAAoB;IACzE,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,0BAA0B,IAAI,GAAG,CAAC,CAAC;AACpF,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,qBAAqB,CAAC,MAAmB,EAAE,MAA6B;IACtF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,sBAAsB,MAAM,WAAW,MAAM,CAAC,MAAM,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC9H,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,UAAU,CAAC,MAAmB,EAAE,QAAkB;IAChE,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,IAAI,EACX,QAAQ,EACR,8BAA8B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAC7F,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,gBAAgB,CAAC,MAAmB,EAAE,MAAc,EAAE,KAAa;IACjF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,MAAM,YAAY,KAAK,UAAU,KAAK,WAAW,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACtH,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,aAAa,CAAC,MAAmB,EAAE,KAAa,EAAE,KAAa;IAC7E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,oBAAoB,KAAK,IAAI,KAAK,SAAS,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC7H,CAAC"}