@revisium/orchestrator 0.1.0-alpha.5 → 0.1.0-alpha.7

package/dist/pipeline-core/validate-loops.js

@@ -0,0 +1,226 @@
+import { isGuardedBranch } from './types.js';
+import { backwardReach, cycleNodes, findBackEdges, forwardReach, guardConditionsOf } from './validate-graph.js';
+// ─────────────────────────────────────────────────────────────────────────────
+// Rule 6b — loop-cap presence.
+//
+// Spec note (two ambiguities resolved against the canonical §13 example, which §13 declares
+// internally-consistent and the task names as THE fixture):
+//  1. §12.6 says "a terminating cap-guard (counter.gte)", but §13 expresses the SAME bound as
+//     `counter.lt K` on the CONTINUE edge with the default routing OUT (once the counter reaches K the
+//     guard fails and control falls through to blockedEnd). Both make the loop finite, so we accept
+//     EITHER: a cycle is counter-bounded iff some `choice` on it has a guard referencing a `counter.*`
+//     over a scope INCREMENTED on the cycle.
+//  2. §13's analyst↔planGate `changes_requested` loop carries NO counter — it is bounded only by human
+//     judgment. §6 makes a human-driven loop legitimately unbounded ("durable wait is free … for
+//     human-driven runs"). So a cycle that passes through a `humanGate` is also accepted.
+// An AUTOMATED loop (agents/scripts/choices only) with no counter is rejected (LOOP_UNBOUNDED).
+// ─────────────────────────────────────────────────────────────────────────────
+export function ruleLoopCap(template, d) {
+    if (!template.entry || !template.nodes[template.entry])
+        return;
+    for (const { from, to } of findBackEdges(template)) {
+        const cycle = cycleNodes(template, to, from);
+        const incrementedOnCycle = scopesIncrementedOnCycle(template, cycle);
+        const counterBounded = [...cycle].some((id) => choiceGatesCycleByCounter(template, id, incrementedOnCycle));
+        const humanDriven = [...cycle].some((id) => template.nodes[id]?.kind === 'humanGate');
+        if (!counterBounded && !humanDriven) {
+            d.error('LOOP_UNBOUNDED', `back-edge ${from} → ${to} is not bounded by a counter cap-guard or a human gate`, {
+                nodeId: from,
+            });
+        }
+    }
+}
+/** Scope ids incremented by any node on the cycle (the loop's bound must count one of these). */
+function scopesIncrementedOnCycle(template, cycle) {
+    const out = new Set();
+    for (const id of cycle) {
+        const node = template.nodes[id];
+        if (node && 'incrementCounters' in node)
+            for (const s of node.incrementCounters ?? [])
+                out.add(s);
+    }
+    return out;
+}
+/** A choice with a guard that references a `counter.*` over a scope incremented on the cycle. */
+function choiceGatesCycleByCounter(template, id, incrementedOnCycle) {
+    const node = template.nodes[id];
+    if (node?.kind !== 'choice')
+        return false;
+    return node.branches.filter(isGuardedBranch).some((b) => conditionGatesOnScopes(b.when, incrementedOnCycle));
+}
+/** True when `cond` compares a `counter.*` against one of `scopes`. */
+function conditionGatesOnScopes(cond, scopes) {
+    switch (cond.op) {
+        case 'counter.lt':
+        case 'counter.gte':
+            return scopes.has(cond.scope);
+        case 'all':
+        case 'any':
+            return cond.of.some((c) => conditionGatesOnScopes(c, scopes));
+        case 'not':
+            return conditionGatesOnScopes(cond.cond, scopes);
+        default:
+            return false;
+    }
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Rule 7 — counter-scope well-formedness.
+// ─────────────────────────────────────────────────────────────────────────────
+export function ruleCounterScopes(template, d) {
+    const scopes = template.scopes ?? {};
+    const scopeIds = new Set(Object.keys(scopes));
+    checkScopeParentsAndCycles(scopes, scopeIds, d); //          7a parents resolve + no cycle
+    checkScopesDeclared(template, scopeIds, d); //               7b every referenced scope is declared
+    for (const scopeId of scopeIds)
+        checkScopeStrictAncestry(template, scopeId, d); // 7c reset = strict ancestor
+    for (const scopeId of Object.keys(scopes))
+        checkScopeDoesNotSpanParallel(template, scopeId, d); // 7d no parallel/join
+}
+/** 7a — every scope's parent resolves to a declared scope and the parent chain has no cycle. */
+function checkScopeParentsAndCycles(scopes, scopeIds, d) {
+    for (const [scopeId, scope] of Object.entries(scopes)) {
+        if (scope.parent !== null && !scopeIds.has(scope.parent)) {
+            d.error('SCOPE_PARENT_UNRESOLVED', `scope "${scopeId}" parent "${scope.parent}" is not declared`, {
+                scope: scopeId,
+            });
+        }
+    }
+    for (const scopeId of scopeIds) {
+        if (scopeChainHasCycle(scopes, scopeId)) {
+            d.error('SCOPE_CYCLE', `scope "${scopeId}" has a parent cycle`, { scope: scopeId });
+        }
+    }
+}
+/** 7b — every scope referenced by a node (increment or guard) is declared. */
+function checkScopesDeclared(template, scopeIds, d) {
+    for (const node of Object.values(template.nodes)) {
+        for (const scopeRef of referencedScopes(node)) {
+            if (!scopeIds.has(scopeRef)) {
+                d.error('SCOPE_UNDECLARED', `node ${node.id} references undeclared scope "${scopeRef}"`, {
+                    nodeId: node.id,
+                    scope: scopeRef,
+                });
+            }
+        }
+    }
+}
+/**
+ * 7c — a reset scope is a STRICT ancestor of every node that reads/increments it (§7/§12.7). The scope's
+ * region is its loop sub-graph: the node(s) that increment it + the guard node(s) that read it. A
+ * well-formed reader sits inside that loop — i.e. it shares a cycle with an increment site, or is
+ * forward-reachable from one (the cap-guard reads after a rework hop). A reader disconnected from
+ * every increment site is a cross-scope/out-of-scope reference; a scope read but never incremented
+ * can never advance (its cap is dead). Both are SCOPE_NOT_STRICT_ANCESTOR.
+ */
+function checkScopeStrictAncestry(template, scopeId, d) {
+    const incrementSites = nodesIncrementing(template, scopeId);
+    const readers = nodesReadingScope(template, scopeId);
+    if (incrementSites.length === 0 && readers.length > 0) {
+        for (const r of readers) {
+            d.error('SCOPE_NOT_STRICT_ANCESTOR', `scope "${scopeId}" is read by ${r} but never incremented`, {
+                nodeId: r,
+                scope: scopeId,
+            });
+        }
+        return;
+    }
+    for (const reader of readers) {
+        const insideLoop = incrementSites.some((site) => sharesCycle(template, site, reader) || forwardReach(template, site).has(reader));
+        if (!insideLoop) {
+            d.error('SCOPE_NOT_STRICT_ANCESTOR', `scope "${scopeId}" reader ${reader} is outside its loop region`, {
+                nodeId: reader,
+                scope: scopeId,
+            });
+        }
+    }
+}
+/**
+ * 7d — a counter scope may not span a parallel/join boundary (v1). The region is the increment/read endpoints
+ * PLUS every node on a structural path between them: a counter incremented before a fan-out and read after the
+ * join (or whose endpoints sit in different branches) crosses the boundary and is unsafe in v1.
+ */
+function checkScopeDoesNotSpanParallel(template, scopeId, d) {
+    const region = scopeRegionBetween(template, nodesIncrementing(template, scopeId), nodesReadingScope(template, scopeId));
+    for (const id of region) {
+        const node = template.nodes[id];
+        if (node && (node.kind === 'parallel' || node.kind === 'join')) {
+            d.error('SCOPE_SPANS_PARALLEL', `scope "${scopeId}" spans a ${node.kind} boundary (${id})`, {
+                nodeId: id,
+                scope: scopeId,
+            });
+        }
+    }
+}
+/** Endpoints plus every node on some structural path from an increment site to a reader (forwardReach ∩ backwardReach). */
+function scopeRegionBetween(template, incrementSites, readers) {
+    const region = new Set([...incrementSites, ...readers]);
+    for (const inc of incrementSites) {
+        const fwd = forwardReach(template, inc);
+        for (const reader of readers) {
+            if (!fwd.has(reader))
+                continue;
+            const back = backwardReach(template, reader);
+            for (const id of fwd)
+                if (back.has(id))
+                    region.add(id);
+        }
+    }
+    return region;
+}
+function scopeChainHasCycle(scopes, start) {
+    let cursor = scopes[start]?.parent ?? null;
+    const seen = new Set([start]);
+    while (cursor !== null) {
+        if (seen.has(cursor))
+            return true;
+        seen.add(cursor);
+        cursor = scopes[cursor]?.parent ?? null;
+    }
+    return false;
+}
+function referencedScopes(node) {
+    const out = [];
+    if ('incrementCounters' in node && node.incrementCounters)
+        out.push(...node.incrementCounters);
+    for (const cond of guardConditionsOf(node))
+        collectCounterScopes(cond, out);
+    return out;
+}
+function collectCounterScopes(cond, out) {
+    switch (cond.op) {
+        case 'counter.lt':
+        case 'counter.gte':
+            out.push(cond.scope);
+            break;
+        case 'all':
+        case 'any':
+            cond.of.forEach((c) => collectCounterScopes(c, out));
+            break;
+        case 'not':
+            collectCounterScopes(cond.cond, out);
+            break;
+    }
+}
+function nodesIncrementing(template, scopeId) {
+    return Object.values(template.nodes)
+        .filter((n) => 'incrementCounters' in n && (n.incrementCounters ?? []).includes(scopeId))
+        .map((n) => n.id);
+}
+function nodesReadingScope(template, scopeId) {
+    const out = [];
+    for (const node of Object.values(template.nodes)) {
+        for (const cond of guardConditionsOf(node)) {
+            const scopes = [];
+            collectCounterScopes(cond, scopes);
+            if (scopes.includes(scopeId)) {
+                out.push(node.id);
+                break;
+            }
+        }
+    }
+    return out;
+}
+function sharesCycle(template, a, b) {
+    return forwardReach(template, a).has(b) && forwardReach(template, b).has(a);
+}
+//# sourceMappingURL=validate-loops.js.map

package/dist/pipeline-core/validate-loops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-loops.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-loops.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG7C,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAEhH,gFAAgF;AAChF,+BAA+B;AAC/B,EAAE;AACF,4FAA4F;AAC5F,4DAA4D;AAC5D,8FAA8F;AAC9F,uGAAuG;AACvG,oGAAoG;AACpG,uGAAuG;AACvG,6CAA6C;AAC7C,uGAAuG;AACvG,iGAAiG;AACjG,0FAA0F;AAC1F,gGAAgG;AAChG,gFAAgF;AAEhF,MAAM,UAAU,WAAW,CAAC,QAAkB,EAAE,CAAW;IACzD,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO;IAC/D,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACrE,MAAM,cAAc,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,yBAAyB,CAAC,QAAQ,EAAE,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAC5G,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC;QACtF,IAAI,CAAC,cAAc,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,aAAa,IAAI,MAAM,EAAE,wDAAwD,EAAE;gBAC3G,MAAM,EAAE,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,iGAAiG;AACjG,SAAS,wBAAwB,CAAC,QAAkB,EAAE,KAAkB;IACtE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,IAAI,mBAAmB,IAAI,IAAI;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,iBAAiB,IAAI,EAAE;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iGAAiG;AACjG,SAAS,yBAAyB,CAAC,QAAkB,EAAE,EAAU,EAAE,kBAA+B;IAChG,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAC/G,CAAC;AAED,uEAAuE;AACvE,SAAS,sBAAsB,CAAC,IAAe,EAAE,MAAmB;IAClE,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAChE,KAAK,KAAK;YACR,OAAO,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,0CAA0C;AAC1C,gFAAgF;AAEhF,MAAM,UAAU,iBAAiB,CAAC,QAAkB,EAAE,CAAW;IAC/D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9C,0BAA0B,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,yCAAyC;IAC1F,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,sDAAsD;IAClG,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,wBAAwB,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,6BAA6B;IAC7G,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,6BAA6B,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACxH,CAAC;AAED,gGAAgG;AAChG,SAAS,0BAA0B,CACjC,MAA6B,EAC7B,QAAqB,EACrB,CAAW;IAEX,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACzD,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,UAAU,OAAO,aAAa,KAAK,CAAC,MAAM,mBAAmB,EAAE;gBAChG,KAAK,EAAE,OAAO;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACxC,CAAC,CAAC,KAAK,CAAC,aAAa,EAAE,UAAU,OAAO,sBAAsB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,mBAAmB,CAAC,QAAkB,EAAE,QAAqB,EAAE,CAAW;IACjF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,QAAQ,IAAI,CAAC,EAAE,iCAAiC,QAAQ,GAAG,EAAE;oBACvF,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,KAAK,EAAE,QAAQ;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,wBAAwB,CAAC,QAAkB,EAAE,OAAe,EAAE,CAAW;IAChF,MAAM,cAAc,GAAG,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,CAAC,CAAC,KAAK,CAAC,2BAA2B,EAAE,UAAU,OAAO,gBAAgB,CAAC,wBAAwB,EAAE;gBAC/F,MAAM,EAAE,CAAC;gBACT,KAAK,EAAE,OAAO;aACf,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CACpC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAC1F,CAAC;QACF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,CAAC,CAAC,KAAK,CAAC,2BAA2B,EAAE,UAAU,OAAO,YAAY,MAAM,6BAA6B,EAAE;gBACrG,MAAM,EAAE,MAAM;gBACd,KAAK,EAAE,OAAO;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,6BAA6B,CAAC,QAAkB,EAAE,OAAe,EAAE,CAAW;IACrF,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACxH,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;YAC/D,CAAC,CAAC,KAAK,CAAC,sBAAsB,EAAE,UAAU,OAAO,aAAa,IAAI,CAAC,IAAI,cAAc,EAAE,GAAG,EAAE;gBAC1F,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,OAAO;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,2HAA2H;AAC3H,SAAS,kBAAkB,CAAC,QAAkB,EAAE,cAAwB,EAAE,OAAiB;IACzF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,cAAc,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;IAChE,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC/B,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC7C,KAAK,MAAM,EAAE,IAAI,GAAG;gBAAE,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAiD,EAAE,KAAa;IAC1F,IAAI,MAAM,GAAkB,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAClC,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,gBAAgB,CAAC,IAAU;IAClC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,mBAAmB,IAAI,IAAI,IAAI,IAAI,CAAC,iBAAiB;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC/F,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAe,EAAE,GAAa;IAC1D,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa;YAChB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACrD,MAAM;QACR,KAAK,KAAK;YACR,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACrC,MAAM;IACV,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAkB,EAAE,OAAe;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;SACjC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SACxF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAkB,EAAE,OAAe;IAC5D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAClB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,QAAkB,EAAE,CAAS,EAAE,CAAS;IAC3D,OAAO,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC"}

package/dist/pipeline-core/validate-parallel.js

@@ -0,0 +1,132 @@
+import { MERGE_REDUCERS } from './types.js';
+import { branchSubgraph, forwardReach, structuralEdges } from './validate-graph.js';
+export function ruleParallelJoin(template, d) {
+    const nodes = template.nodes;
+    const parallels = Object.values(nodes).filter((n) => n.kind === 'parallel');
+    const joinUsedBy = new Map();
+    for (const par of parallels)
+        checkParallelAgainstJoin(template, par, joinUsedBy, d);
+    for (const [joinId, owners] of joinUsedBy) {
+        if (owners.length > 1) {
+            d.error('JOIN_MULTIPLE_PARALLELS', `join "${joinId}" is the target of ${owners.length} parallels`, {
+                nodeId: joinId,
+            });
+        }
+    }
+}
+/** Validate one parallel against its declared join (resolution, kind, quorum, membership, merge). */
+function checkParallelAgainstJoin(template, par, joinUsedBy, d) {
+    const join = template.nodes[par.join];
+    if (!join) {
+        d.error('PARALLEL_JOIN_UNRESOLVED', `parallel ${par.id} join "${par.join}" does not resolve`, { nodeId: par.id });
+        return;
+    }
+    if (join.kind !== 'join') {
+        d.error('PARALLEL_JOIN_KIND', `parallel ${par.id} join "${par.join}" is a ${join.kind}, not a join`, {
+            nodeId: par.id,
+        });
+        return;
+    }
+    (joinUsedBy.get(par.join) ?? joinUsedBy.set(par.join, []).get(par.join)).push(par.id);
+    checkQuorumBound(par, join, d);
+    // Branch membership + cross-branch goto + all-reachability.
+    checkBranchMembership(template, par, join.id, d);
+    // Multi-writer fields need a merge reducer.
+    checkMergeReducers(template, par, join, d);
+    checkRejectedMergeReducers(join, d);
+}
+/** Quorum K must satisfy 1 ≤ K ≤ N (branch count). */
+function checkQuorumBound(par, join, d) {
+    if (join.joinMode.kind !== 'quorum')
+        return;
+    const K = join.joinMode.count;
+    if (!Number.isInteger(K) || K < 1 || K > par.branches.length) {
+        d.error('QUORUM_K_GT_N', `join ${join.id} quorum K=${K} but parallel has ${par.branches.length} branches`, {
+            nodeId: join.id,
+        });
+    }
+}
+/** Reject any merge reducer outside the allowed set (defensive; the type forbids it but data may carry it). */
+function checkRejectedMergeReducers(join, d) {
+    for (const [field, reducer] of Object.entries(join.merge ?? {})) {
+        if (!MERGE_REDUCERS.includes(reducer)) {
+            d.error('MERGE_LASTWRITE_REJECTED', `join ${join.id} merge.${field} = "${reducer}" is not allowed`, {
+                nodeId: join.id,
+                path: `merge.${field}`,
+            });
+        }
+    }
+}
+function checkBranchMembership(template, par, joinId, d) {
+    const memberOf = buildBranchMembership(template, par, joinId, d);
+    checkCrossBranchGotos(template, memberOf, joinId, d);
+}
+/**
+ * Assign each branch sub-graph node to its owning branch (flagging shared membership) and, for an
+ * `all` join, flag any branch that cannot reach the join. Returns the node→branch ownership map.
+ */
+function buildBranchMembership(template, par, joinId, d) {
+    const memberOf = new Map();
+    for (const branch of par.branches) {
+        for (const m of branchSubgraph(template, branch.entry, joinId)) {
+            if (memberOf.has(m) && memberOf.get(m) !== branch.id) {
+                d.error('BRANCH_MEMBERSHIP', `node ${m} is a member of branches "${memberOf.get(m)}" and "${branch.id}"`, {
+                    nodeId: m,
+                });
+            }
+            memberOf.set(m, branch.id);
+        }
+        checkAllJoinReachable(template, branch, joinId, d);
+    }
+    return memberOf;
+}
+/** all-reachability: an `all`-join branch must be able to reach the join (no deadlock). */
+function checkAllJoinReachable(template, branch, joinId, d) {
+    const join = template.nodes[joinId];
+    if (join?.kind !== 'join' || join.joinMode.kind !== 'all')
+        return;
+    if (!forwardReach(template, branch.entry).has(joinId)) {
+        d.error('JOIN_UNREACHABLE_BRANCH', `branch "${branch.id}" (all) cannot reach join ${joinId}`, {
+            nodeId: branch.entry,
+        });
+    }
+}
+/** Cross-branch goto: a branch member may only goto within its own branch sub-graph or to the join. */
+function checkCrossBranchGotos(template, memberOf, joinId, d) {
+    for (const [member, branchId] of memberOf) {
+        const node = template.nodes[member];
+        if (!node)
+            continue;
+        for (const [path, target] of structuralEdges(node)) {
+            if (target === joinId)
+                continue;
+            const targetBranch = memberOf.get(target);
+            if (targetBranch !== undefined && targetBranch !== branchId) {
+                d.error('BRANCH_CROSS_GOTO', `node ${member} (branch ${branchId}) goto ${target} crosses into branch ${targetBranch}`, {
+                    nodeId: member,
+                    path,
+                });
+            }
+        }
+    }
+}
+function checkMergeReducers(template, par, join, d) {
+    // v1 cannot statically know a node's written fields without a resultSchema model, so we use a
+    // conservative proxy: a parallel fanning out ≥2 effect (agent/script) branches writes results from
+    // >1 branch; absent a `merge` reducer those fields are unguarded (§4/§12.8). A real per-field model
+    // lands with native Revisium typing; until then the entry-kind heuristic surfaces the hazard.
+    if (par.branches.length < 2)
+        return;
+    if (Object.keys(join.merge ?? {}).length > 0)
+        return;
+    const writers = par.branches.filter((b) => {
+        const entry = template.nodes[b.entry];
+        return entry?.kind === 'agent' || entry?.kind === 'script';
+    });
+    if (writers.length >= 2) {
+        d.error('MERGE_MISSING', `join ${join.id} has ${writers.length} writer branches but no merge reducer`, {
+            nodeId: join.id,
+        });
+    }
+}
+//# sourceMappingURL=validate-parallel.js.map

package/dist/pipeline-core/validate-parallel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-parallel.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-parallel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEpF,MAAM,UAAU,gBAAgB,CAAC,QAAkB,EAAE,CAAW;IAC9D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAA4C,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACtH,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE/C,KAAK,MAAM,GAAG,IAAI,SAAS;QAAE,wBAAwB,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;IAEpF,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,SAAS,MAAM,sBAAsB,MAAM,CAAC,MAAM,YAAY,EAAE;gBACjG,MAAM,EAAE,MAAM;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,qGAAqG;AACrG,SAAS,wBAAwB,CAC/B,QAAkB,EAClB,GAAwC,EACxC,UAAiC,EACjC,CAAW;IAEX,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,CAAC,CAAC,KAAK,CAAC,0BAA0B,EAAE,YAAY,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAClH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,oBAAoB,EAAE,YAAY,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,cAAc,EAAE;YACnG,MAAM,EAAE,GAAG,CAAC,EAAE;SACf,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEvF,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/B,4DAA4D;IAC5D,qBAAqB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACjD,4CAA4C;IAC5C,kBAAkB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3C,0BAA0B,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,sDAAsD;AACtD,SAAS,gBAAgB,CACvB,GAAwC,EACxC,IAAqC,EACrC,CAAW;IAEX,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO;IAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC7D,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,QAAQ,IAAI,CAAC,EAAE,aAAa,CAAC,qBAAqB,GAAG,CAAC,QAAQ,CAAC,MAAM,WAAW,EAAE;YACzG,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,+GAA+G;AAC/G,SAAS,0BAA0B,CAAC,IAAqC,EAAE,CAAW;IACpF,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,CAAC,CAAC,KAAK,CAAC,0BAA0B,EAAE,QAAQ,IAAI,CAAC,EAAE,UAAU,KAAK,OAAO,OAAO,kBAAkB,EAAE;gBAClG,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,IAAI,EAAE,SAAS,KAAK,EAAE;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAAkB,EAClB,GAAwC,EACxC,MAAc,EACd,CAAW;IAEX,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACjE,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAC5B,QAAkB,EAClB,GAAwC,EACxC,MAAc,EACd,CAAW;IAEX,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;YAC/D,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;gBACrD,CAAC,CAAC,KAAK,CAAC,mBAAmB,EAAE,QAAQ,CAAC,6BAA6B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,EAAE,GAAG,EAAE;oBACxG,MAAM,EAAE,CAAC;iBACV,CAAC,CAAC;YACL,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;QACD,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,2FAA2F;AAC3F,SAAS,qBAAqB,CAC5B,QAAkB,EAClB,MAAqC,EACrC,MAAc,EACd,CAAW;IAEX,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO;IAClE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,WAAW,MAAM,CAAC,EAAE,6BAA6B,MAAM,EAAE,EAAE;YAC5F,MAAM,EAAE,MAAM,CAAC,KAAK;SACrB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,SAAS,qBAAqB,CAC5B,QAAkB,EAClB,QAA6B,EAC7B,MAAc,EACd,CAAW;IAEX,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,IAAI,MAAM,KAAK,MAAM;gBAAE,SAAS;YAChC,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;gBAC5D,CAAC,CAAC,KAAK,CAAC,mBAAmB,EAAE,QAAQ,MAAM,YAAY,QAAQ,UAAU,MAAM,wBAAwB,YAAY,EAAE,EAAE;oBACrH,MAAM,EAAE,MAAM;oBACd,IAAI;iBACL,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAkB,EAClB,GAAwC,EACxC,IAAqC,EACrC,CAAW;IAEX,8FAA8F;IAC9F,mGAAmG;IACnG,oGAAoG;IACpG,8FAA8F;IAC9F,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IACpC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IACrD,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,KAAK,EAAE,IAAI,KAAK,OAAO,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC;IAC7D,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACxB,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,QAAQ,IAAI,CAAC,EAAE,QAAQ,OAAO,CAAC,MAAM,uCAAuC,EAAE;YACrG,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/pipeline-core/validate-sink.js

@@ -0,0 +1,27 @@
+/**
+ * validate-sink — the shared error/warning collector every §12 rule writes into.
+ *
+ * Lifted out of validate.ts so each rule module can take a `DiagSink` by type without a circular import
+ * back into the orchestrator. `validateTemplate` constructs one and passes it to every rule; rules only
+ * call `error`/`warn` on the instance they are handed.
+ */
+export class DiagSink {
+    items = [];
+    error(code, message, where = {}) {
+        this.items.push({ code, severity: 'error', message, ...strip(where) });
+    }
+    warn(code, message, where = {}) {
+        this.items.push({ code, severity: 'warning', message, ...strip(where) });
+    }
+}
+function strip(where) {
+    const out = {};
+    if (where.nodeId !== undefined)
+        out.nodeId = where.nodeId;
+    if (where.scope !== undefined)
+        out.scope = where.scope;
+    if (where.path !== undefined)
+        out.path = where.path;
+    return out;
+}
+//# sourceMappingURL=validate-sink.js.map

package/dist/pipeline-core/validate-sink.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-sink.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-sink.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,MAAM,OAAO,QAAQ;IACV,KAAK,GAAiB,EAAE,CAAC;IAClC,KAAK,CAAC,IAAoB,EAAE,OAAe,EAAE,QAA6B,EAAE;QAC1E,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,IAAoB,EAAE,OAAe,EAAE,QAA6B,EAAE;QACzE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;CACF;AAED,SAAS,KAAK,CAAC,KAA0B;IACvC,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1D,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACvD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACpD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/pipeline-core/validate-topology.js

@@ -0,0 +1,140 @@
+import { CONDITION_OPS, TERMINAL_STATUSES, isDefaultBranch } from './types.js';
+import { outgoingEdges } from './validate-edges.js';
+import { guardConditionsOf, reachableFrom } from './validate-graph.js';
+// ─────────────────────────────────────────────────────────────────────────────
+// Rule 1 — single entry.
+// ─────────────────────────────────────────────────────────────────────────────
+export function ruleSingleEntry(template, ids, d) {
+    if (!template.entry) {
+        d.error('ENTRY_MISSING', 'template has no `entry`');
+        return;
+    }
+    if (!ids.has(template.entry)) {
+        d.error('ENTRY_UNRESOLVED', `entry "${template.entry}" does not resolve to a node`, {
+            nodeId: template.entry,
+        });
+    }
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Rule 2 — references resolve (every edge target exists).
+// ─────────────────────────────────────────────────────────────────────────────
+export function ruleReferencesResolve(template, ids, d) {
+    const check = (target, node, path) => {
+        if (target === undefined)
+            return;
+        if (!ids.has(target)) {
+            d.error('REF_UNRESOLVED', `${node.id}.${path} → unknown node "${target}"`, { nodeId: node.id, path });
+        }
+    };
+    for (const node of Object.values(template.nodes)) {
+        for (const [path, target] of outgoingEdges(node))
+            check(target, node, path);
+    }
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Rule 3 — terminals & non-terminals.
+// ─────────────────────────────────────────────────────────────────────────────
+export function ruleTerminals(template, d) {
+    for (const node of Object.values(template.nodes)) {
+        if (node.kind === 'terminal') {
+            if (!TERMINAL_STATUSES.includes(node.status)) {
+                d.error('TERMINAL_BAD_STATUS', `terminal ${node.id} has bad status "${node.status}"`, {
+                    nodeId: node.id,
+                });
+            }
+            // The discriminated union forbids exit fields on a terminal at the type level; nothing else to check.
+        }
+        else if (outgoingEdges(node).length === 0) {
+            d.error('NONTERMINAL_NO_EXIT', `non-terminal ${node.id} (${node.kind}) has no exit edge`, {
+                nodeId: node.id,
+            });
+        }
+    }
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Condition grammar sanity — a malformed guard can't be evaluated (feeds rules 2/4/9).
+// ─────────────────────────────────────────────────────────────────────────────
+export function ruleConditionGrammar(template, d) {
+    for (const node of Object.values(template.nodes)) {
+        for (const cond of guardConditionsOf(node))
+            checkCondition(cond, node.id, d);
+    }
+}
+function checkCondition(cond, nodeId, d) {
+    const op = cond.op;
+    if (typeof op !== 'string' || !CONDITION_OPS.includes(op)) {
+        d.error('CONDITION_BAD_OP', `node ${nodeId} guard has unknown op "${String(op)}"`, { nodeId });
+        return;
+    }
+    switch (cond.op) {
+        case 'verdict.eq':
+            if (typeof cond.value !== 'string')
+                d.error('CONDITION_BAD_SHAPE', `verdict.eq value must be a string`, { nodeId });
+            break;
+        case 'verdict.in':
+            if (!Array.isArray(cond.value) || cond.value.some((v) => typeof v !== 'string')) {
+                d.error('CONDITION_BAD_SHAPE', `verdict.in value must be a string[]`, { nodeId });
+            }
+            break;
+        case 'counter.lt':
+        case 'counter.gte':
+            if (typeof cond.scope !== 'string' || !Number.isInteger(cond.value)) {
+                d.error('CONDITION_BAD_SHAPE', `${cond.op} needs a scope + integer value`, { nodeId });
+            }
+            break;
+        case 'all':
+        case 'any':
+            if (Array.isArray(cond.of))
+                cond.of.forEach((c) => checkCondition(c, nodeId, d));
+            else
+                d.error('CONDITION_BAD_SHAPE', `${cond.op} needs an "of" array`, { nodeId });
+            break;
+        case 'not':
+            if (cond.cond)
+                checkCondition(cond.cond, nodeId, d);
+            else
+                d.error('CONDITION_BAD_SHAPE', `not needs a "cond"`, { nodeId });
+            break;
+    }
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Rule 4 — total routing (default present; no guard after default; one default).
+// ─────────────────────────────────────────────────────────────────────────────
+export function ruleTotalRouting(template, d) {
+    for (const node of Object.values(template.nodes)) {
+        if (node.kind !== 'choice' && node.kind !== 'humanGate')
+            continue;
+        const branches = node.branches;
+        const defaultIdxs = branches.map((b, i) => (isDefaultBranch(b) ? i : -1)).filter((i) => i >= 0);
+        if (defaultIdxs.length === 0) {
+            d.error('ROUTING_NO_DEFAULT', `${node.kind} ${node.id} has no trailing default branch`, {
+                nodeId: node.id,
+            });
+            continue;
+        }
+        if (defaultIdxs.length > 1) {
+            d.error('ROUTING_MULTIPLE_DEFAULT', `${node.kind} ${node.id} has ${defaultIdxs.length} defaults`, {
+                nodeId: node.id,
+            });
+        }
+        const firstDefault = defaultIdxs[0];
+        if (firstDefault !== branches.length - 1) {
+            d.error('ROUTING_GUARD_AFTER_DEFAULT', `${node.kind} ${node.id} has a guard after its default`, {
+                nodeId: node.id,
+            });
+        }
+    }
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Rule 5 — reachability (every node reachable from entry; no dead nodes).
+// ─────────────────────────────────────────────────────────────────────────────
+export function ruleReachability(template, ids, d) {
+    if (!template.entry || !ids.has(template.entry))
+        return; // rule 1 already flagged it
+    const reachable = reachableFrom(template, template.entry);
+    for (const id of ids) {
+        if (!reachable.has(id))
+            d.error('UNREACHABLE_NODE', `node "${id}" is unreachable from entry`, { nodeId: id });
+    }
+}
+//# sourceMappingURL=validate-topology.js.map

package/dist/pipeline-core/validate-topology.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-topology.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-topology.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG/E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEvE,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAAC,QAAkB,EAAE,GAAgB,EAAE,CAAW;IAC/E,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,yBAAyB,CAAC,CAAC;QACpD,OAAO;IACT,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,UAAU,QAAQ,CAAC,KAAK,8BAA8B,EAAE;YAClF,MAAM,EAAE,QAAQ,CAAC,KAAK;SACvB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,0DAA0D;AAC1D,gFAAgF;AAEhF,MAAM,UAAU,qBAAqB,CAAC,QAAkB,EAAE,GAAgB,EAAE,CAAW;IACrF,MAAM,KAAK,GAAG,CAAC,MAA0B,EAAE,IAAU,EAAE,IAAY,EAAQ,EAAE;QAC3E,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,oBAAoB,MAAM,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACxG,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAEhF,MAAM,UAAU,aAAa,CAAC,QAAkB,EAAE,CAAW;IAC3D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7C,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,YAAY,IAAI,CAAC,EAAE,oBAAoB,IAAI,CAAC,MAAM,GAAG,EAAE;oBACpF,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;YACD,sGAAsG;QACxG,CAAC;aAAM,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5C,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,gBAAgB,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,oBAAoB,EAAE;gBACxF,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,uFAAuF;AACvF,gFAAgF;AAEhF,MAAM,UAAU,oBAAoB,CAAC,QAAkB,EAAE,CAAW;IAClE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC;YAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAe,EAAE,MAAc,EAAE,CAAW;IAClE,MAAM,EAAE,GAAI,IAAyB,CAAC,EAAE,CAAC;IACzC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAoC,CAAC,EAAE,CAAC;QAC5F,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,QAAQ,MAAM,0BAA0B,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/F,OAAO;IACT,CAAC;IACD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;gBAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,mCAAmC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACpH,MAAM;QACR,KAAK,YAAY;YACf,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAChF,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,qCAAqC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACpF,CAAC;YACD,MAAM;QACR,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa;YAChB,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpE,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,IAAI,CAAC,EAAE,gCAAgC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;;gBAC5E,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,IAAI,CAAC,EAAE,sBAAsB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAClF,MAAM;QACR,KAAK,KAAK;YACR,IAAI,IAAI,CAAC,IAAI;gBAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;;gBAC/C,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,oBAAoB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACtE,MAAM;IACV,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,iFAAiF;AACjF,gFAAgF;AAEhF,MAAM,UAAU,gBAAgB,CAAC,QAAkB,EAAE,CAAW;IAC9D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,CAAC,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,iCAAiC,EAAE;gBACtF,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,CAAC,CAAC,KAAK,CAAC,0BAA0B,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,QAAQ,WAAW,CAAC,MAAM,WAAW,EAAE;gBAChG,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,YAAY,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,CAAC,CAAC,KAAK,CAAC,6BAA6B,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,gCAAgC,EAAE;gBAC9F,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,0EAA0E;AAC1E,gFAAgF;AAEhF,MAAM,UAAU,gBAAgB,CAAC,QAAkB,EAAE,GAAgB,EAAE,CAAW;IAChF,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,4BAA4B;IACrF,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1D,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,SAAS,EAAE,6BAA6B,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAChH,CAAC;AACH,CAAC"}

package/dist/pipeline-core/validate-verdict.js

@@ -0,0 +1,72 @@
+import { CORE_VERDICTS } from './types.js';
+import { guardConditionsOf } from './validate-graph.js';
+export function ruleVerdictClosure(template, d) {
+    const domain = template.verdicts?.domain ?? [];
+    const domainSet = new Set(domain);
+    const core = new Set(CORE_VERDICTS);
+    // 9a no domain label shadows a core label.
+    for (const label of domain) {
+        if (core.has(label)) {
+            d.error('VERDICT_DOMAIN_SHADOWS_CORE', `domain verdict "${label}" shadows a core verdict`);
+        }
+    }
+    const used = new Set();
+    for (const node of Object.values(template.nodes)) {
+        checkGuardVerdictLabels(node, core, domainSet, used, d); //  9b verdict.* guard labels ∈ domain
+        checkGateOutcomesSubset(node, domainSet, used, d); //        9c humanGate.outcomes ⊆ domain
+    }
+    // 9d declared-but-unused (warning).
+    for (const label of domain) {
+        if (!used.has(label))
+            d.warn('VERDICT_DECLARED_UNUSED', `domain verdict "${label}" is declared but never used`);
+    }
+}
+/** 9b — every verdict.* guard label on a node is a declared domain label (a core label is a hard error). */
+function checkGuardVerdictLabels(node, core, domainSet, used, d) {
+    for (const cond of guardConditionsOf(node)) {
+        collectVerdictLabels(cond, (label) => {
+            used.add(label);
+            if (core.has(label)) {
+                d.error('VERDICT_CORE_IN_GUARD', `node ${node.id} guard uses core verdict "${label}" (route it structurally)`, {
+                    nodeId: node.id,
+                });
+            }
+            else if (!domainSet.has(label)) {
+                d.error('VERDICT_UNDECLARED', `node ${node.id} guard uses undeclared verdict "${label}"`, {
+                    nodeId: node.id,
+                });
+            }
+        });
+    }
+}
+/** 9c — a humanGate's declared outcomes must all be declared domain labels. */
+function checkGateOutcomesSubset(node, domainSet, used, d) {
+    if (node.kind !== 'humanGate')
+        return;
+    for (const o of node.outcomes) {
+        used.add(o);
+        if (!domainSet.has(o)) {
+            d.error('GATE_OUTCOME_NOT_SUBSET', `gate ${node.id} outcome "${o}" is not in verdicts.domain`, {
+                nodeId: node.id,
+            });
+        }
+    }
+}
+function collectVerdictLabels(cond, visit) {
+    switch (cond.op) {
+        case 'verdict.eq':
+            visit(cond.value);
+            break;
+        case 'verdict.in':
+            cond.value.forEach(visit);
+            break;
+        case 'all':
+        case 'any':
+            cond.of.forEach((c) => collectVerdictLabels(c, visit));
+            break;
+        case 'not':
+            collectVerdictLabels(cond.cond, visit);
+            break;
+    }
+}
+//# sourceMappingURL=validate-verdict.js.map

package/dist/pipeline-core/validate-verdict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-verdict.js","sourceRoot":"","sources":["../../src/pipeline-core/validate-verdict.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,UAAU,kBAAkB,CAAC,QAAkB,EAAE,CAAW;IAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,aAAa,CAAC,CAAC;IAE5C,2CAA2C;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,CAAC,CAAC,KAAK,CAAC,6BAA6B,EAAE,mBAAmB,KAAK,0BAA0B,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,sCAAsC;QAC/F,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,wCAAwC;IAC7F,CAAC;IAED,oCAAoC;IACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,CAAC,CAAC,IAAI,CAAC,yBAAyB,EAAE,mBAAmB,KAAK,8BAA8B,CAAC,CAAC;IAClH,CAAC;AACH,CAAC;AAED,4GAA4G;AAC5G,SAAS,uBAAuB,CAC9B,IAAU,EACV,IAAiB,EACjB,SAAsB,EACtB,IAAiB,EACjB,CAAW;IAEX,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,oBAAoB,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACnC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,CAAC,CAAC,KAAK,CAAC,uBAAuB,EAAE,QAAQ,IAAI,CAAC,EAAE,6BAA6B,KAAK,2BAA2B,EAAE;oBAC7G,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,CAAC,CAAC,KAAK,CAAC,oBAAoB,EAAE,QAAQ,IAAI,CAAC,EAAE,mCAAmC,KAAK,GAAG,EAAE;oBACxF,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,uBAAuB,CAAC,IAAU,EAAE,SAAsB,EAAE,IAAiB,EAAE,CAAW;IACjG,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO;IACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,QAAQ,IAAI,CAAC,EAAE,aAAa,CAAC,6BAA6B,EAAE;gBAC7F,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAe,EAAE,KAA8B;IAC3E,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,MAAM;QACR,KAAK,YAAY;YACf,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YACvD,MAAM;QACR,KAAK,KAAK;YACR,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,MAAM;IACV,CAAC;AACH,CAAC"}