@revisium/orchestrator 0.0.0 → 0.1.0-alpha.10

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

@@ -0,0 +1,138 @@
+/**
+ * pipeline-core/kit/builders.ts — fluent helpers for writing templates in tests.
+ *
+ * Mirrors the readability of the e2e kit: a test builds a `Template` declaratively instead of hand-
+ * writing the verbose discriminated-union literals. Builders apply NO semantics — they only assemble
+ * data; `validateTemplate` is the single source of truth. Intentionally permissive so INVALID
+ * fixtures can be expressed (e.g. omit a default, point an edge nowhere).
+ */
+// ─────────────────────────────────────────────────────────────────────────────
+// Condition shorthands — read like the spec (§3).
+// ─────────────────────────────────────────────────────────────────────────────
+export const verdictEq = (value) => ({ op: 'verdict.eq', value });
+export const verdictIn = (...value) => ({ op: 'verdict.in', value });
+export const counterLt = (scope, value) => ({ op: 'counter.lt', scope, value });
+export const counterGte = (scope, value) => ({ op: 'counter.gte', scope, value });
+export const allOf = (...of) => ({ op: 'all', of });
+export const anyOf = (...of) => ({ op: 'any', of });
+export const notCond = (cond) => ({ op: 'not', cond });
+// ─────────────────────────────────────────────────────────────────────────────
+// Branch shorthands.
+// ─────────────────────────────────────────────────────────────────────────────
+export const on = (when, goto) => ({ when, goto });
+export const otherwise = (goto) => ({ default: goto });
+export const node = {
+    agent(id, roleRef, next, opts = {}) {
+        return { id, kind: 'agent', roleRef, next, ...effect(opts) };
+    },
+    script(id, scriptRef, next, opts = {}) {
+        return { id, kind: 'script', scriptRef, next, ...effect(opts) };
+    },
+    humanGate(id, reason, outcomes, branches, opts = {}) {
+        return {
+            id,
+            kind: 'humanGate',
+            reason,
+            outcomes,
+            branches,
+            ...(opts.timeout ? { timeout: opts.timeout } : {}),
+            ...(opts.incrementCounters ? { incrementCounters: opts.incrementCounters } : {}),
+            ...(opts.displayName ? { displayName: opts.displayName } : {}),
+            ...(opts.gatedArtifact ? { gatedArtifact: opts.gatedArtifact } : {}),
+            ...(opts.verdictFrom ? { verdictFrom: opts.verdictFrom } : {}),
+        };
+    },
+    choice(id, branches, opts = {}) {
+        return {
+            id,
+            kind: 'choice',
+            branches,
+            ...(opts.incrementCounters ? { incrementCounters: opts.incrementCounters } : {}),
+            ...(opts.displayName ? { displayName: opts.displayName } : {}),
+        };
+    },
+    parallel(id, branches, join, opts = {}) {
+        return { id, kind: 'parallel', branches, join, ...(opts.displayName ? { displayName: opts.displayName } : {}) };
+    },
+    join(id, joinMode, next, opts = {}) {
+        return {
+            id,
+            kind: 'join',
+            joinMode,
+            next,
+            ...(opts.merge ? { merge: opts.merge } : {}),
+            ...(opts.displayName ? { displayName: opts.displayName } : {}),
+        };
+    },
+    wait(id, duration, next, opts = {}) {
+        return { id, kind: 'wait', duration, next, ...(opts.displayName ? { displayName: opts.displayName } : {}) };
+    },
+    terminal(id, status, opts = {}) {
+        return { id, kind: 'terminal', status, ...(opts.displayName ? { displayName: opts.displayName } : {}) };
+    },
+};
+function effect(opts) {
+    return {
+        ...(opts.catch ? { catch: opts.catch } : {}),
+        ...(opts.onFailure ? { onFailure: opts.onFailure } : {}),
+        ...(opts.escalateTo ? { escalateTo: opts.escalateTo } : {}),
+        ...(opts.resultSchema ? { resultSchema: opts.resultSchema } : {}),
+        ...(opts.incrementCounters ? { incrementCounters: opts.incrementCounters } : {}),
+        ...(opts.displayName ? { displayName: opts.displayName } : {}),
+        ...(opts.produces ? { produces: opts.produces } : {}),
+        ...(opts.consumes ? { consumes: opts.consumes } : {}),
+    };
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Join-mode shorthands.
+// ─────────────────────────────────────────────────────────────────────────────
+export const joinAll = () => ({ kind: 'all' });
+export const joinAny = () => ({ kind: 'any' });
+export const joinQuorum = (count) => ({ kind: 'quorum', count });
+// ─────────────────────────────────────────────────────────────────────────────
+// Template builder — `template().entry(...).domain(...).scope(...).add(...).build()`.
+// ─────────────────────────────────────────────────────────────────────────────
+export class TemplateBuilder {
+    t;
+    constructor(pipelineId) {
+        this.t = { specVersion: '1.0', pipelineId, entry: '', verdicts: { domain: [] }, nodes: {} };
+    }
+    specVersion(v) {
+        this.t.specVersion = v;
+        return this;
+    }
+    title(title) {
+        this.t.title = title;
+        return this;
+    }
+    entry(id) {
+        this.t.entry = id;
+        return this;
+    }
+    domain(...labels) {
+        this.t.verdicts = { domain: labels };
+        return this;
+    }
+    policy(policy) {
+        this.t.policy = policy;
+        return this;
+    }
+    scope(id, scope) {
+        this.t.scopes ??= {};
+        this.t.scopes[id] = scope;
+        return this;
+    }
+    add(...nodes) {
+        for (const n of nodes)
+            this.t.nodes[n.id] = n;
+        return this;
+    }
+    build() {
+        // Return a deep-ish clone so a fixture can be mutated by a diff test without leaking.
+        return structuredClone(this.t);
+    }
+}
+export function template(pipelineId) {
+    return new TemplateBuilder(pipelineId);
+}
+//# sourceMappingURL=builders.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"builders.js","sourceRoot":"","sources":["../../../src/pipeline-core/kit/builders.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAsBH,gFAAgF;AAChF,kDAAkD;AAClD,gFAAgF;AAEhF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAa,EAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;AACrF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAG,KAAe,EAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;AAC1F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,KAAa,EAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3G,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,KAAa,EAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7G,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,GAAG,EAAe,EAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;AAC5E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,GAAG,EAAe,EAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;AAC5E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAe,EAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAE7E,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AAiBvE,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,KAAK,CAAC,EAAU,EAAE,OAAe,EAAE,IAAY,EAAE,OAAmB,EAAE;QACpE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/D,CAAC;IACD,MAAM,CAAC,EAAU,EAAE,SAAiB,EAAE,IAAY,EAAE,OAAmB,EAAE;QACvE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAClE,CAAC;IACD,SAAS,CACP,EAAU,EACV,MAAc,EACd,QAAkB,EAClB,QAAkB,EAClB,OAMI,EAAE;QAEN,OAAO;YACL,EAAE;YACF,IAAI,EAAE,WAAW;YACjB,MAAM;YACN,QAAQ;YACR,QAAQ;YACR,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,EAAU,EAAE,QAAkB,EAAE,OAA+D,EAAE;QACtG,OAAO;YACL,EAAE;YACF,IAAI,EAAE,QAAQ;YACd,QAAQ;YACR,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,QAAQ,CAAC,EAAU,EAAE,QAA0B,EAAE,IAAY,EAAE,OAAiC,EAAE;QAChG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAClH,CAAC;IACD,IAAI,CAAC,EAAU,EAAE,QAAkB,EAAE,IAAY,EAAE,OAA4D,EAAE;QAC/G,OAAO;YACL,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,QAAQ;YACR,IAAI;YACJ,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,EAAU,EAAE,QAAgB,EAAE,IAAY,EAAE,OAAiC,EAAE;QAClF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC9G,CAAC;IACD,QAAQ,CAAC,EAAU,EAAE,MAAsB,EAAE,OAAiC,EAAE;QAC9E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC1G,CAAC;CACF,CAAC;AAEF,SAAS,MAAM,CAAC,IAAgB;IAC9B,OAAO;QACL,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAEhF,MAAM,CAAC,MAAM,OAAO,GAAG,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AACzD,MAAM,CAAC,MAAM,OAAO,GAAG,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AACzD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAEnF,gFAAgF;AAChF,sFAAsF;AACtF,gFAAgF;AAEhF,MAAM,OAAO,eAAe;IACT,CAAC,CAAW;IAC7B,YAAY,UAAkB;QAC5B,IAAI,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC9F,CAAC;IACD,WAAW,CAAC,CAAS;QACnB,IAAI,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,CAAC,KAAa;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,CAAC,EAAU;QACd,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,GAAG,MAAgB;QACxB,IAAI,CAAC,CAAC,CAAC,QAAQ,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,MAAsB;QAC3B,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,CAAC,EAAU,EAAE,KAAY;QAC5B,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,GAAG,CAAC,GAAG,KAAa;QAClB,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK;QACH,sFAAsF;QACtF,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;CACF;AAED,MAAM,UAAU,QAAQ,CAAC,UAAkB;IACzC,OAAO,IAAI,eAAe,CAAC,UAAU,CAAC,CAAC;AACzC,CAAC"}

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

@@ -0,0 +1,96 @@
+/**
+ * pipeline-core/kit/drive.ts — run `step()` to a terminal, feeding scripted results.
+ *
+ * The readability counterpart of the e2e `drive`: a test names the verdict each agent/gate produces
+ * and `drive` walks the interpreter to completion, recording the visited path of effect/gate/terminal
+ * nodes. This keeps interpreter tests declarative ("reviewer BLOCKER ×3 → blocked at the cap") instead
+ * of hand-threading `step()` calls and `RunState`.
+ *
+ * Scripted results are keyed by NODE ID and consumed one-per-visit (arrays clamp to the last entry,
+ * mirroring the e2e AgentSpec), so a node hit N times in a loop can yield a different verdict each pass.
+ */
+import { initialState, step } from '../interpret.js';
+const MAX_STEPS = 1000; // a VALID template always terminates; this guards a test-authoring mistake.
+/**
+ * Drive `template` from its initial state to a terminal, feeding each emitted Decision the scripted
+ * result for its node. Throws if a non-terminal Decision has no script entry, or if it runs away.
+ */
+export function drive(template, script = {}) {
+    const visits = new Map();
+    const joinVisits = new Map();
+    const trace = [];
+    const path = [];
+    let state = initialState(template);
+    let lastResult;
+    for (let i = 0; i < MAX_STEPS; i++) {
+        const out = step(template, state, lastResult);
+        state = out.state;
+        const decision = out.decision;
+        // For `complete` the cursor sits on the node that completed (terminal, or an aborting effect);
+        // every other Decision carries its own nodeId.
+        const nodeId = decision.type === 'complete' ? soleActive(state) : decision.nodeId;
+        trace.push({ nodeId, decision: decision.type });
+        path.push(nodeId);
+        if (decision.type === 'complete') {
+            return { status: decision.status, path, trace, counters: { ...state.scopedCounters } };
+        }
+        if (decision.type === 'fork') {
+            // The adapter runs the branches concurrently and records arrivals (§4); the core never sees the
+            // live race. We model that by jumping the cursor to the JOIN and feeding the arrivals scripted
+            // on the join node, so the next step aggregates a recorded result. A missing join script with
+            // mode `all` synthesizes one arrival per branch (verdict undefined) so the barrier is satisfied.
+            const arrivals = joinArrivalsFor(script, decision.joinId, decision.branches.map((b) => b.id), joinVisits);
+            state = { ...state, activeNodeIds: new Set([decision.joinId]) };
+            lastResult = { joinArrivals: arrivals };
+            continue;
+        }
+        // Resolve the scripted result for THIS node's effect and feed it as the next lastResult.
+        lastResult = resultFor(script, nodeId, decision, visits);
+    }
+    throw new Error(`drive: ${template.pipelineId} did not terminate within ${MAX_STEPS} steps (script gap or loop)`);
+}
+function soleActive(state) {
+    return [...state.activeNodeIds][0] ?? '<none>';
+}
+/**
+ * Recorded arrivals for a join: from the script entry on the join node, else one per branch. Like
+ * `resultFor`, an ARRAY entry is consumed one-per-visit (clamped) so a join hit repeatedly in a loop can
+ * yield a different recorded aggregation each pass; a single entry is reused every visit.
+ */
+function joinArrivalsFor(script, joinId, branchIds, joinVisits) {
+    const n = joinVisits.get(joinId) ?? 0;
+    joinVisits.set(joinId, n + 1);
+    const entry = script[joinId];
+    const picked = Array.isArray(entry) ? entry[Math.min(n, entry.length - 1)] : entry;
+    if (picked && typeof picked === 'object' && 'joinArrivals' in picked)
+        return picked.joinArrivals;
+    return branchIds.map((branchId, i) => ({ branchId, seq: i + 1 }));
+}
+function resultFor(script, nodeId, _decision, visits) {
+    const n = visits.get(nodeId) ?? 0;
+    visits.set(nodeId, n + 1);
+    const entry = script[nodeId];
+    if (entry === undefined) {
+        // A gate/effect with no script: assume structural success with no domain verdict (e.g. a script
+        // node that just proceeds). Tests that route on a verdict must script it. `_decision` is unused
+        // here but kept in the signature so a future kind-specific default can branch on it.
+        return {};
+    }
+    const picked = Array.isArray(entry) ? (entry[Math.min(n, entry.length - 1)] ?? {}) : entry;
+    return normalize(picked);
+}
+function normalize(r) {
+    if (typeof r === 'string')
+        return { verdict: r, outcome: 'succeeded' };
+    if ('joinArrivals' in r)
+        return { joinArrivals: r.joinArrivals };
+    const out = {};
+    if (r.verdict !== undefined)
+        out.verdict = r.verdict;
+    if (r.outcome !== undefined)
+        out.outcome = r.outcome;
+    if (r.errorCode !== undefined)
+        out.errorCode = r.errorCode;
+    return out;
+}
+//# sourceMappingURL=drive.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"drive.js","sourceRoot":"","sources":["../../../src/pipeline-core/kit/drive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AA0BrD,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,4EAA4E;AAEpG;;;GAGG;AACH,MAAM,UAAU,KAAK,CAAC,QAAkB,EAAE,SAAsB,EAAE;IAChE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAa,EAAE,CAAC;IAE1B,IAAI,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,UAAkC,CAAC;IAEvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9C,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;QAClB,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;QAC9B,+FAA+F;QAC/F,+CAA+C;QAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAClF,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAElB,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,GAAG,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;QACzF,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,gGAAgG;YAChG,+FAA+F;YAC/F,8FAA8F;YAC9F,iGAAiG;YACjG,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;YAC1G,KAAK,GAAG,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAChE,UAAU,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;YACxC,SAAS;QACX,CAAC;QAED,yFAAyF;QACzF,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,UAAU,QAAQ,CAAC,UAAU,6BAA6B,SAAS,6BAA6B,CAAC,CAAC;AACpH,CAAC;AAED,SAAS,UAAU,CAAC,KAA6C;IAC/D,OAAO,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;AACjD,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,MAAmB,EACnB,MAAc,EACd,SAAmB,EACnB,UAA+B;IAE/B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACnF,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,cAAc,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC,YAAY,CAAC;IACjG,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,SAAS,CAChB,MAAmB,EACnB,MAAc,EACd,SAAmB,EACnB,MAA2B;IAE3B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,gGAAgG;QAChG,gGAAgG;QAChG,qFAAqF;QACrF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC3F,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,CAAiB;IAClC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACvE,IAAI,cAAc,IAAI,CAAC;QAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC;IACjE,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;IACrD,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;IACrD,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;QAAE,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;IAC3D,OAAO,GAAG,CAAC;AACb,CAAC"}

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

@@ -0,0 +1,342 @@
+/**
+ * pipeline-core/kit/fixtures.ts — typed Template fixtures (the e2e-style "real pipelines" + targeted).
+ *
+ * `featureDevelopment` is the §13 canonical example, transcribed faithfully to a typed `Template`.
+ * `localChange` is its no-gate sibling (§13 footnote). The rest are small, single-purpose fixtures:
+ * nested-scope loops, a parallel/join, and one INVALID template per §12 rule (each named for the rule
+ * + diagnostic it is designed to trip), so validation tests read as a rule catalogue.
+ */
+import { allOf, counterGte, counterLt, joinAll, joinAny, joinQuorum, node, on, otherwise, template, verdictEq, } from './builders.js';
+// ─────────────────────────────────────────────────────────────────────────────
+// §13 — feature-development (the canonical example).
+// ─────────────────────────────────────────────────────────────────────────────
+export function featureDevelopment() {
+    return template('feature-development')
+        .title('Feature development with plan + merge gates and bounded rework')
+        .specVersion('1.0')
+        .entry('analyst')
+        .domain('approved', 'changes_requested', 'blocker', 'clean', 'dirty')
+        .policy({ conflicts: [['developer', 'reviewer']], enforcement: 'strict' })
+        .scope('codeReviewLoop', { cap: 3, parent: null })
+        .add(node.agent('analyst', 'role:analyst', 'planGate', { resultSchema: 'schema:plan', onFailure: 'abort' }), node.humanGate('planGate', 'plan-review', ['approved', 'changes_requested'], [
+        on(verdictEq('approved'), 'developer'),
+        on(verdictEq('changes_requested'), 'analyst'),
+        otherwise('blockedEnd'),
+    ]), node.agent('developer', 'role:developer', 'codeReview', { resultSchema: 'schema:change', onFailure: 'abort' }), node.agent('codeReview', 'role:reviewer', 'codeReviewRouter', {
+        resultSchema: 'schema:reviewVerdict',
+        onFailure: 'abort',
+    }), node.choice('codeReviewRouter', [
+        on(verdictEq('approved'), 'integrator'),
+        on(allOf(verdictEq('blocker'), counterLt('codeReviewLoop', 3)), 'reworkDeveloper'),
+        otherwise('blockedEnd'),
+    ]), node.agent('reworkDeveloper', 'role:developer', 'codeReview', {
+        resultSchema: 'schema:change',
+        incrementCounters: ['codeReviewLoop'],
+        onFailure: 'abort',
+    }), node.script('integrator', 'script:integrator', 'watcherPost', {
+        resultSchema: 'schema:integration',
+        onFailure: 'route',
+        catch: [{ onError: 'revo.ScriptFailed', goto: 'failedEnd' }],
+    }), node.agent('watcherPost', 'role:watcher', 'watcherRouter', {
+        resultSchema: 'schema:watchVerdict',
+        onFailure: 'abort',
+    }), node.choice('watcherRouter', [on(verdictEq('clean'), 'mergeGate'), otherwise('failedEnd')]), node.humanGate('mergeGate', 'merge-review', ['approved', 'changes_requested'], [
+        on(verdictEq('approved'), 'mergedEnd'),
+        otherwise('blockedEnd'),
+    ]), node.terminal('mergedEnd', 'succeeded'), node.terminal('failedEnd', 'failed'), node.terminal('blockedEnd', 'blocked'))
+        .build();
+}
+/**
+ * confirmMergeFlow — minimal fixture exercising the `script:confirmMerge` node (plan 0017 follow-up):
+ * entry → confirmMerge → mergedEnd, with catch routing a block to `blockedEnd` and a throw to `failedEnd`.
+ * Used to assert the adapter routes a merged result to a SUCCEEDED terminal (worktree released) and a
+ * not-merged block to a BLOCKED terminal (worktree kept).
+ */
+export function confirmMergeFlow() {
+    return template('confirm-merge-flow')
+        .title('confirmMerge → merged (succeeded) / not-merged (blocked) — plan 0017 test fixture')
+        .specVersion('1.0')
+        .entry('confirmMerge')
+        .domain('approved', 'clean', 'blocker', 'changes_requested')
+        .add(node.script('confirmMerge', 'script:confirmMerge', 'mergedEnd', {
+        resultSchema: 'schema:integration',
+        onFailure: 'route',
+        catch: [
+            { onError: 'revo.ScriptBlocked', goto: 'blockedEnd' },
+            { onError: 'revo.ScriptFailed', goto: 'failedEnd' },
+        ],
+    }), node.terminal('mergedEnd', 'succeeded'), node.terminal('blockedEnd', 'blocked'), node.terminal('failedEnd', 'failed'))
+        .build();
+}
+/**
+ * featureDevelopmentPrReview — the plan 0018 PR review-feedback loop, transcribed to a typed Template.
+ * Mirrors the seeded `feature-development` tail: after the integrator opens the PR, `pollPr` observes +
+ * classifies (review_changes > ci_changes > clean); review comments go through analyst `triage`
+ * (fix/wontfix/question) with a separate question gate; CI failures loop the developer; fixes are
+ * re-pushed BEFORE `respondThreads` replies + resolves (so the reply carries the fix sha). Used by the
+ * data-driven adapter unit tests; the live JSON template (default + e2e fixture) carries the same tail.
+ */
+export function featureDevelopmentPrReview() {
+    return template('feature-development-pr-review')
+        .title('Feature development with a PR review-feedback loop (plan 0018)')
+        .specVersion('1.0')
+        .entry('analyst')
+        .domain('approved', 'changes_requested', 'blocker', 'clean', 'review_changes', 'ci_changes', 'fix', 'wontfix', 'question')
+        .policy({ conflicts: [['developer', 'reviewer']], enforcement: 'strict' })
+        .scope('codeReviewLoop', { cap: 3, parent: null })
+        .scope('ciLoop', { cap: 3, parent: null })
+        .scope('reviewLoop', { cap: 3, parent: null })
+        .scope('questionLoop', { cap: 3, parent: null })
+        .add(node.agent('analyst', 'role:analyst', 'planGate', { resultSchema: 'schema:plan', onFailure: 'abort', produces: { name: 'plan' } }), node.humanGate('planGate', 'plan-review', ['approved', 'changes_requested'], [
+        on(verdictEq('approved'), 'developer'),
+        on(verdictEq('changes_requested'), 'analyst'),
+        otherwise('blockedEnd'),
+    ]), node.agent('developer', 'role:developer', 'codeReview', { resultSchema: 'schema:change', onFailure: 'abort' }), node.agent('codeReview', 'role:reviewer', 'codeReviewRouter', { resultSchema: 'schema:reviewVerdict', onFailure: 'abort' }), node.choice('codeReviewRouter', [
+        on(verdictEq('approved'), 'integrator'),
+        on(allOf(verdictEq('blocker'), counterLt('codeReviewLoop', 3)), 'reworkDeveloper'),
+        otherwise('blockedEnd'),
+    ]), node.agent('reworkDeveloper', 'role:developer', 'codeReview', { resultSchema: 'schema:change', incrementCounters: ['codeReviewLoop'], onFailure: 'abort' }), node.script('integrator', 'script:integrator', 'pollPr', {
+        resultSchema: 'schema:integration', onFailure: 'route',
+        catch: [{ onError: 'revo.ScriptFailed', goto: 'failedEnd' }],
+    }), 
+    // ── plan 0018 — observe the PR, classify, route by feedback type ──
+    node.script('pollPr', 'script:pollPr', 'prRouter', {
+        resultSchema: 'schema:prFeedback', onFailure: 'route', produces: { name: 'prFeedback' },
+        catch: [{ onError: 'revo.ScriptBlocked', goto: 'blockedEnd' }, { onError: 'revo.ScriptFailed', goto: 'failedEnd' }],
+    }), node.choice('prRouter', [
+        on(verdictEq('clean'), 'mergeGate'),
+        on(verdictEq('review_changes'), 'triage'),
+        on(allOf(verdictEq('ci_changes'), counterLt('ciLoop', 3)), 'ciRework'),
+        otherwise('blockedEnd'),
+    ]), node.agent('ciRework', 'role:developer', 'integrator', {
+        resultSchema: 'schema:change', incrementCounters: ['ciLoop'], onFailure: 'abort',
+        consumes: [{ node: 'pollPr', as: 'feedback' }],
+    }), node.agent('triage', 'role:triager', 'triageRouter', {
+        resultSchema: 'schema:triage', onFailure: 'abort', produces: { name: 'triage' },
+        consumes: [{ node: 'analyst', as: 'plan', staleOk: true }, { node: 'pollPr', as: 'feedback' }],
+    }), node.choice('triageRouter', [
+        on(allOf(verdictEq('question'), counterLt('questionLoop', 3)), 'questionGate'),
+        on(allOf(verdictEq('fix'), counterLt('reviewLoop', 3)), 'reviewRework'),
+        on(verdictEq('wontfix'), 'respondThreads'),
+        otherwise('blockedEnd'),
+    ]), node.humanGate('questionGate', 'review-question', ['approved', 'changes_requested'], [
+        on(verdictEq('approved'), 'triage'),
+        otherwise('blockedEnd'),
+    ], { incrementCounters: ['questionLoop'] }), node.agent('reviewRework', 'role:developer', 'reviewIntegrator', {
+        resultSchema: 'schema:change', incrementCounters: ['reviewLoop'], onFailure: 'abort',
+        consumes: [{ node: 'triage', as: 'triage' }],
+    }), node.script('reviewIntegrator', 'script:integrator', 'respondThreads', {
+        resultSchema: 'schema:integration', onFailure: 'route',
+        catch: [{ onError: 'revo.ScriptBlocked', goto: 'blockedEnd' }, { onError: 'revo.ScriptFailed', goto: 'failedEnd' }],
+    }), node.script('respondThreads', 'script:respondThreads', 'pollPr', {
+        resultSchema: 'schema:respond', onFailure: 'route', consumes: [{ node: 'triage', as: 'triage' }],
+        catch: [{ onError: 'revo.ScriptBlocked', goto: 'blockedEnd' }, { onError: 'revo.ScriptFailed', goto: 'failedEnd' }],
+    }), node.humanGate('mergeGate', 'merge-review', ['approved', 'changes_requested'], [
+        on(verdictEq('approved'), 'confirmMerge'),
+        otherwise('blockedEnd'),
+    ]), node.script('confirmMerge', 'script:confirmMerge', 'mergedEnd', {
+        resultSchema: 'schema:integration', onFailure: 'route',
+        catch: [{ onError: 'revo.ScriptBlocked', goto: 'blockedEnd' }, { onError: 'revo.ScriptFailed', goto: 'failedEnd' }],
+    }), node.terminal('mergedEnd', 'succeeded'), node.terminal('failedEnd', 'failed'), node.terminal('blockedEnd', 'blocked'))
+        .build();
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// §13 footnote — local-change (orchestrator + developer, NO humanGate).
+// ─────────────────────────────────────────────────────────────────────────────
+export function localChange() {
+    return template('local-change')
+        .title('Local change — orchestrator + developer, no gate')
+        .entry('orchestrator')
+        .domain('approved')
+        .add(node.agent('orchestrator', 'role:orchestrator', 'developer', { resultSchema: 'schema:plan' }), node.agent('developer', 'role:developer', 'doneEnd', { resultSchema: 'schema:change' }), node.terminal('doneEnd', 'succeeded'))
+        .build();
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Targeted — a nested-scope rework loop (inner loop resets on outer re-entry, §7).
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * outer (cap 2) ⊃ inner (cap 2). `outerWork` increments `outer` (and resets `inner`); `innerWork`
+ * increments `inner`. The inner cap routes back to the outer loop; the outer cap routes to blocked.
+ */
+export function nestedScopeLoop() {
+    return template('nested-scope-loop')
+        .entry('start')
+        .domain('redo_inner', 'redo_outer', 'done')
+        .scope('outer', { cap: 2, parent: null })
+        .scope('inner', { cap: 2, parent: 'outer' })
+        .add(node.agent('start', 'role:worker', 'innerWork'), node.agent('innerWork', 'role:worker', 'innerRouter', { incrementCounters: ['inner'] }), node.choice('innerRouter', [
+        on(verdictEq('done'), 'doneEnd'),
+        on(allOf(verdictEq('redo_inner'), counterLt('inner', 2)), 'innerWork'),
+        on(counterGte('inner', 2), 'outerRouter'),
+        otherwise('blockedEnd'),
+    ]), node.choice('outerRouter', [
+        on(counterLt('outer', 2), 'outerWork'),
+        otherwise('blockedEnd'),
+    ]), node.agent('outerWork', 'role:worker', 'innerWork', { incrementCounters: ['outer'] }), node.terminal('doneEnd', 'succeeded'), node.terminal('blockedEnd', 'blocked'))
+        .build();
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Targeted — a parallel/join (two review branches → join → terminal).
+// ─────────────────────────────────────────────────────────────────────────────
+/** Map a join-mode kind to its `JoinMode` (quorum fixed at 2 for this fan-out shape). */
+function joinModeFromKind(kind) {
+    if (kind === 'all')
+        return joinAll();
+    if (kind === 'any')
+        return joinAny();
+    return joinQuorum(2);
+}
+/** `joinModeKind` selects `all` (default), `any`, or `quorum{2}` on the same fan-out shape. */
+export function parallelReview(joinModeKind = 'all') {
+    const mode = joinModeFromKind(joinModeKind);
+    return template('parallel-review')
+        .entry('fanout')
+        .domain('clean', 'dirty', 'approved')
+        .add(node.parallel('fanout', [
+        { id: 'sec', entry: 'secReview' },
+        { id: 'perf', entry: 'perfReview' },
+    ], 'reviewJoin'), node.agent('secReview', 'role:reviewer', 'reviewJoin'), node.agent('perfReview', 'role:reviewer', 'reviewJoin'), 
+    // `merge` declared so the 2-writer fan-out is well-formed under all modes (§12.8).
+    node.join('reviewJoin', mode, 'joinRouter', { merge: { findings: 'appendByBranchOrder' } }), node.choice('joinRouter', [on(verdictEq('clean'), 'doneEnd'), otherwise('blockedEnd')]), node.terminal('doneEnd', 'succeeded'), node.terminal('blockedEnd', 'blocked'))
+        .build();
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Targeted — a gate with a timeout edge (§6) + a node with onFailure=route+catch (§6).
+// ─────────────────────────────────────────────────────────────────────────────
+export function gateWithTimeout() {
+    return template('gate-with-timeout')
+        .entry('gate')
+        .domain('approved')
+        .add(node.humanGate('gate', 'review', ['approved'], [on(verdictEq('approved'), 'doneEnd'), otherwise('blockedEnd')], {
+        timeout: { after: 'PT24H', goto: 'failedEnd' },
+    }), node.terminal('doneEnd', 'succeeded'), node.terminal('blockedEnd', 'blocked'), node.terminal('failedEnd', 'failed'))
+        .build();
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// INVALID fixtures — one per §12 rule. Each is the minimal shape that trips its rule.
+// ─────────────────────────────────────────────────────────────────────────────
+/** rule 1 — entry points at a node that does not exist (ENTRY_UNRESOLVED). */
+export const invalidEntryUnresolved = () => template('inv').entry('ghost').domain('approved').add(node.terminal('end', 'succeeded')).build();
+/** rule 2 — an edge points at a non-existent node (REF_UNRESOLVED). */
+export const invalidRefUnresolved = () => template('inv').entry('a').domain('approved').add(node.agent('a', 'role:x', 'nowhere')).build();
+/** rule 3 — a non-terminal with no exit (NONTERMINAL_NO_EXIT) — forced via a choice with no branches. */
+export const invalidNonterminalNoExit = () => template('inv').entry('a').domain('approved').add(node.choice('a', [])).build();
+/** rule 3 — a terminal with a bad status (TERMINAL_BAD_STATUS). */
+export const invalidTerminalBadStatus = () => {
+    const t = template('inv').entry('a').domain('approved').add(node.terminal('a', 'succeeded')).build();
+    t.nodes['a'].status = 'done'; // not in {succeeded,failed,blocked}
+    return t;
+};
+/** rule 4 — a choice with no default (ROUTING_NO_DEFAULT). */
+export const invalidNoDefault = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.choice('a', [on(verdictEq('approved'), 'end')]), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 4 — a guard placed AFTER the default (ROUTING_GUARD_AFTER_DEFAULT). */
+export const invalidGuardAfterDefault = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.choice('a', [otherwise('end'), on(verdictEq('approved'), 'end')]), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 5 — a node unreachable from entry (UNREACHABLE_NODE). */
+export const invalidUnreachable = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.agent('a', 'role:x', 'end'), node.terminal('end', 'succeeded'), node.agent('orphan', 'role:y', 'end'))
+    .build();
+/** rule 6 — an unbounded back-edge (LOOP_UNBOUNDED): a choice loops back with no counter.gte cap. */
+export const invalidUnboundedLoop = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.agent('a', 'role:x', 'router'), node.choice('router', [on(verdictEq('approved'), 'a'), otherwise('end')]), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 7 — a guard references an undeclared scope (SCOPE_UNDECLARED). */
+export const invalidScopeUndeclared = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.agent('a', 'role:x', 'router'), node.choice('router', [on(counterGte('ghostScope', 3), 'end'), otherwise('end')]), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 7 — a scope whose parent does not resolve (SCOPE_PARENT_UNRESOLVED). The scope is otherwise
+ *  well-formed (incremented on its own loop) so the parent-unresolved finding stands alone. */
+export const invalidScopeParent = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .scope('child', { cap: 2, parent: 'ghostParent' })
+    .add(node.agent('a', 'role:x', 'router', { incrementCounters: ['child'] }), node.choice('router', [on(counterLt('child', 2), 'a'), otherwise('end')]), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 8 — quorum K > N (QUORUM_K_GT_N). */
+export const invalidQuorumKgtN = () => template('inv')
+    .entry('fanout')
+    .domain('clean')
+    .add(node.parallel('fanout', [{ id: 'a', entry: 'aWork' }, { id: 'b', entry: 'bWork' }], 'j'), node.agent('aWork', 'role:x', 'j'), node.agent('bWork', 'role:y', 'j'), node.join('j', joinQuorum(3), 'end', { merge: { f: 'overwrite' } }), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 8 — a cross-branch goto (BRANCH_CROSS_GOTO): branch a's node jumps into branch b. */
+export const invalidCrossBranchGoto = () => template('inv')
+    .entry('fanout')
+    .domain('clean')
+    .add(node.parallel('fanout', [{ id: 'a', entry: 'aWork' }, { id: 'b', entry: 'bWork' }], 'j'), node.agent('aWork', 'role:x', 'bWork'), // crosses into branch b
+node.agent('bWork', 'role:y', 'j'), node.join('j', joinAll(), 'end', { merge: { f: 'overwrite' } }), // merge present → only BRANCH_CROSS_GOTO trips
+node.terminal('end', 'succeeded'))
+    .build();
+/** rule 8 — a multi-writer fan-out with no merge reducer (MERGE_MISSING). */
+export const invalidMissingMerge = () => template('inv')
+    .entry('fanout')
+    .domain('clean')
+    .add(node.parallel('fanout', [{ id: 'a', entry: 'aWork' }, { id: 'b', entry: 'bWork' }], 'j'), node.agent('aWork', 'role:x', 'j'), node.agent('bWork', 'role:y', 'j'), node.join('j', joinAll(), 'end'), // no merge declared, 2 effect writers
+node.terminal('end', 'succeeded'))
+    .build();
+/** rule 9 — a guard uses an undeclared verdict (VERDICT_UNDECLARED). */
+export const invalidVerdictUndeclared = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.agent('a', 'role:x', 'router'), node.choice('router', [on(verdictEq('mystery'), 'end'), otherwise('end')]), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 9 — a guard uses a CORE verdict, which must route structurally (VERDICT_CORE_IN_GUARD). */
+export const invalidCoreVerdictInGuard = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.agent('a', 'role:x', 'router'), node.choice('router', [on(verdictEq('succeeded'), 'end'), otherwise('end')]), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 9 — a domain label shadows a core verdict (VERDICT_DOMAIN_SHADOWS_CORE). */
+export const invalidDomainShadowsCore = () => template('inv')
+    .entry('a')
+    .domain('approved', 'failed')
+    .add(node.agent('a', 'role:x', 'end'), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 9 — a gate outcome not in domain (GATE_OUTCOME_NOT_SUBSET). */
+export const invalidGateOutcomeNotSubset = () => template('inv')
+    .entry('g')
+    .domain('approved')
+    .add(node.humanGate('g', 'r', ['approved', 'rejected'], [on(verdictEq('approved'), 'end'), otherwise('end')]), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 11 — a node id that breaks the id pattern (ID_BAD_PATTERN). */
+export const invalidBadId = () => {
+    const t = template('inv').entry('a').domain('approved').add(node.agent('a', 'role:x', 'end'), node.terminal('end', 'succeeded')).build();
+    // Re-key 'a' to an illegal id and re-point entry.
+    const a = t.nodes['a'];
+    delete t.nodes['a'];
+    a.id = '1bad';
+    t.nodes['1bad'] = a;
+    t.entry = '1bad';
+    return t;
+};
+/** rule 12 — a malformed capability ref (CAPABILITY_REF_SHAPE). */
+export const invalidCapabilityRef = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.agent('a', 'not-a-role-handle', 'end'), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 6 — onFailure=route with NO catch (FAILURE_ROUTE_NO_CATCH). */
+export const invalidRouteNoCatch = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.script('a', 'script:x', 'end', { onFailure: 'route' }), node.terminal('end', 'succeeded'))
+    .build();
+/** rule 6 — onFailure=escalate with NO escalateTo (FAILURE_ESCALATE_NO_TARGET). */
+export const invalidEscalateNoTarget = () => template('inv')
+    .entry('a')
+    .domain('approved')
+    .add(node.agent('a', 'role:x', 'end', { onFailure: 'escalate' }), node.terminal('end', 'succeeded'))
+    .build();
+//# sourceMappingURL=fixtures.js.map