@telora/daemon 0.16.44 → 0.17.2

package/dist/prd-clearance-engine.js

@@ -0,0 +1,164 @@
+/**
+ * PRD obstacle clearance predicate engine -- Staged Assembly: PRD Layer.
+ *
+ * This module lifts the per-delivery verification engine one altitude up to the
+ * PRD Prerequisite Tree (PRT) obstacle. Where `verification-engine.ts` answers
+ * "is this delivery's injection cleared?", this answers "is this milestone's
+ * obstacle cleared?" -- and, in aggregate, "is the whole milestone complete?".
+ *
+ * The clearance predicate is BOTH the completion signal AND the divergence
+ * detector: a PRD (milestone) is done exactly when every obstacle's verifiable
+ * clearance predicate passes. (UDE #4 -> desired effect: milestone completion
+ * is computable.)
+ *
+ * Design constraints (delivery C):
+ *   - PURE. No DB access, no reality-tree writes, no module-level mutable state.
+ *     The caller fetches obstacles (from `prd_prt_nodes.clearance_predicate`) and
+ *     passes them in; this module only computes verdicts.
+ *   - Command execution is INJECTED via `ClearanceContext.runCommand` so tests
+ *     never shell out. A `defaultRunCommand` is provided for real callers and
+ *     mirrors `verification-engine.runDeterministicStrategy` (spawn `sh -c`, tail
+ *     output at 4000 chars, exit 0 = pass) -- but returns the raw triple rather
+ *     than a StrategyResult, keeping this module side-effect-light.
+ *   - NO daemon-loop wiring here. Wiring into the focus/verification loop is a
+ *     later delivery (D).
+ *
+ * Predicate kinds mirror the verification engine's strategy taxonomy:
+ *   deterministic  -- run shell checks; all exit 0 => cleared.
+ *   behavioral     -- runtime telemetry observation (deferred; no signal source).
+ *   ai_inspection  -- AI reads code/state and decides (deferred; no driver).
+ *   human          -- a human attests clearance (deferred; out of band).
+ *
+ * @module prd-clearance-engine
+ */
+import { spawn } from 'node:child_process';
+const DEFAULT_CLEARANCE_TIMEOUT_MS = 5 * 60 * 1000; // 5 minutes
+const OUTPUT_TAIL_MAX = 4000;
+// ---------------------------------------------------------------------------
+// Default command runner (mirrors runDeterministicStrategy)
+// ---------------------------------------------------------------------------
+/**
+ * Real shell runner: spawn `sh -c <cmd>` in `cwd`, capture stdout/stderr tailed
+ * to 4000 chars, resolve `{ exitCode, stdoutTail, stderrTail }`. A spawn error
+ * resolves with `exitCode: null` (treated as a non-pass by callers). Mirrors
+ * `verification-engine.runDeterministicStrategy` but returns the raw triple.
+ */
+export const defaultRunCommand = (cmd, cwd) => {
+    return new Promise((resolve) => {
+        const child = spawn('sh', ['-c', cmd], {
+            cwd,
+            stdio: ['ignore', 'pipe', 'pipe'],
+        });
+        let stdout = '';
+        let stderr = '';
+        const tail = (buf, max = OUTPUT_TAIL_MAX) => buf.length <= max ? buf : buf.slice(buf.length - max);
+        child.stdout?.on('data', (chunk) => {
+            stdout += chunk.toString('utf8');
+            stdout = tail(stdout);
+        });
+        child.stderr?.on('data', (chunk) => {
+            stderr += chunk.toString('utf8');
+            stderr = tail(stderr);
+        });
+        const timer = setTimeout(() => {
+            try {
+                child.kill('SIGKILL');
+            }
+            catch { /* ignore */ }
+        }, DEFAULT_CLEARANCE_TIMEOUT_MS);
+        child.on('error', (err) => {
+            clearTimeout(timer);
+            resolve({
+                exitCode: null,
+                stdoutTail: stdout,
+                stderrTail: tail(`${stderr}\n${err.message}`),
+            });
+        });
+        child.on('close', (code) => {
+            clearTimeout(timer);
+            resolve({ exitCode: code, stdoutTail: stdout, stderrTail: stderr });
+        });
+    });
+};
+// ---------------------------------------------------------------------------
+// Evaluation
+// ---------------------------------------------------------------------------
+const DEFERRAL_REASON = {
+    behavioral: 'behavioral clearance deferred -- no runtime telemetry source wired',
+    ai_inspection: 'ai_inspection clearance deferred -- no AI inspection driver wired',
+    human: 'human clearance deferred -- requires out-of-band human attestation',
+};
+/**
+ * Evaluate a single obstacle's clearance predicate. PURE.
+ *
+ * - deterministic: run each check via `ctx.runCommand ?? defaultRunCommand`.
+ *   exit 0 = passed. All pass => cleared. No checks (undefined/empty) =>
+ *   not cleared, not deferred (a deterministic predicate with nothing to check
+ *   cannot assert clearance).
+ * - behavioral | ai_inspection | human: deferred (cleared:false, deferred:true);
+ *   evidence names the deferral reason.
+ */
+export async function evaluateClearance(predicate, ctx) {
+    if (predicate.kind !== 'deterministic') {
+        return {
+            kind: predicate.kind,
+            cleared: false,
+            deferred: true,
+            evidence: DEFERRAL_REASON[predicate.kind],
+        };
+    }
+    const checks = predicate.checks ?? [];
+    if (checks.length === 0) {
+        return {
+            kind: 'deterministic',
+            cleared: false,
+            deferred: false,
+            evidence: 'no checks defined -- deterministic predicate cannot assert clearance',
+            checkResults: [],
+        };
+    }
+    const run = ctx.runCommand ?? defaultRunCommand;
+    const checkResults = [];
+    for (const check of checks) {
+        const { exitCode } = await run(check.cmd, ctx.worktreeDir);
+        checkResults.push({
+            cmd: check.cmd,
+            exitCode,
+            passed: exitCode === 0,
+        });
+    }
+    const passedCount = checkResults.filter(r => r.passed).length;
+    const cleared = passedCount === checkResults.length;
+    return {
+        kind: 'deterministic',
+        cleared,
+        deferred: false,
+        evidence: cleared
+            ? `deterministic clearance passed (${passedCount}/${checkResults.length} checks exit 0)`
+            : `deterministic clearance failed (${passedCount}/${checkResults.length} checks exit 0)`,
+        checkResults,
+    };
+}
+/**
+ * Aggregate clearance across all obstacles of a PRT -- the "milestone
+ * completion is computable" primitive. PURE; the caller fetches the obstacles
+ * (each carrying its `clearance_predicate`).
+ *
+ * - `allCleared` is true only when there is at least one obstacle AND every
+ *   obstacle's verdict is cleared. (An empty obstacle set cannot assert a
+ *   complete milestone.)
+ * - `deferredCount` counts obstacles whose predicate could not be evaluated
+ *   automatically -- these block `allCleared` and flag where human/AI signal
+ *   is still required.
+ */
+export async function evaluatePrtClearance(obstacles, ctx) {
+    const nodeVerdicts = [];
+    for (const obstacle of obstacles) {
+        const verdict = await evaluateClearance(obstacle.predicate, ctx);
+        nodeVerdicts.push({ nodeId: obstacle.nodeId, verdict });
+    }
+    const allCleared = obstacles.length > 0 && nodeVerdicts.every(nv => nv.verdict.cleared);
+    const deferredCount = nodeVerdicts.filter(nv => nv.verdict.deferred).length;
+    return { nodeVerdicts, allCleared, deferredCount };
+}
+//# sourceMappingURL=prd-clearance-engine.js.map

package/dist/prd-clearance-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prd-clearance-engine.js","sourceRoot":"","sources":["../src/prd-clearance-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,MAAM,4BAA4B,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY;AAChE,MAAM,eAAe,GAAG,IAAI,CAAC;AA0D7B,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAe,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;IACxD,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE;YACrC,GAAG;YACH,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;SAClC,CAAC,CAAC;QAEH,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,GAAG,GAAG,eAAe,EAAU,EAAE,CAC1D,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC;QAExD,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACvD,CAAC,EAAE,4BAA4B,CAAC,CAAC;QAEjC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC;gBACN,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,MAAM;gBAClB,UAAU,EAAE,IAAI,CAAC,GAAG,MAAM,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC;aACzD,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,eAAe,GAA4D;IAC/E,UAAU,EAAE,oEAAoE;IAChF,aAAa,EAAE,mEAAmE;IAClF,KAAK,EAAE,oEAAoE;CAC5E,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,SAA6B,EAC7B,GAAqB;IAErB,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC;IACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,sEAAsE;YAChF,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,IAAI,iBAAiB,CAAC;IAChD,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3D,YAAY,CAAC,IAAI,CAAC;YAChB,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,QAAQ;YACR,MAAM,EAAE,QAAQ,KAAK,CAAC;SACvB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAG,WAAW,KAAK,YAAY,CAAC,MAAM,CAAC;IAEpD,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,OAAO;QACP,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,OAAO;YACf,CAAC,CAAC,mCAAmC,WAAW,IAAI,YAAY,CAAC,MAAM,iBAAiB;YACxF,CAAC,CAAC,mCAAmC,WAAW,IAAI,YAAY,CAAC,MAAM,iBAAiB;QAC1F,YAAY;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,SAA8D,EAC9D,GAAqB;IAMrB,MAAM,YAAY,GAAoD,EAAE,CAAC;IACzE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACjE,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxF,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IAE5E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;AACrD,CAAC"}

package/dist/prd-controller.d.ts

@@ -0,0 +1,87 @@
+/**
+ * PRD-lifecycle controller (Delivery D).
+ *
+ * CARDINAL RULE: this controller adds NO new executor. Its only outputs are
+ * (a) materialize an overcome into a focus via the existing
+ * prd_overcome_materialize action, (b) arm a focus by setting
+ * assigned_agent_role_id via the existing focus_update action (the queue toggle
+ * the focus engine already polls), (c) mark obstacles cleared / the PRD done via
+ * the existing node/prd update actions. It never spawns agents and never creates
+ * a parallel execution path.
+ *
+ * It computes the Prerequisite-Tree (PRT) frontier for an active PRD and arms
+ * the frontier foci; on obstacle clearance it recomputes and arms the next
+ * frontier. The whole milestone then runs progressively over the existing
+ * Foci -> Delivery -> Issue executor.
+ */
+import type { DaemonConfig } from './types.js';
+import { type ClearancePredicate, type ClearanceContext, type ClearanceVerdict } from './prd-clearance-engine.js';
+import { type Prd, type PrtNode, type PrtEdge, type Pathway } from './queries/prd.js';
+import { type FileEscalationInput } from './escalations.js';
+/**
+ * Splits the armable overcome frontier into those still needing a focus
+ * (materialize) and those already materialized (arm).
+ *
+ * PRT frontier semantics (implemented exactly):
+ * - prerequisite edge P->Q means P must be cleared before Q.
+ * - overcome O is ARMABLE iff O.status !== 'cleared' AND every node P with a
+ *   prerequisite edge P->O is in clearedNodeIds. No incoming prerequisite edge
+ *   => initial frontier.
+ * - needsMaterialize = armable overcomes with focusId == null.
+ * - needsArm = armable overcomes with focusId set.
+ */
+export declare function computePrtFrontier(nodes: PrtNode[], edges: PrtEdge[], clearedNodeIds: Set<string>): {
+    needsMaterialize: PrtNode[];
+    needsArm: PrtNode[];
+};
+export interface PrdControllerDeps {
+    loadPrtGraph: (prdId: string) => Promise<{
+        nodes: PrtNode[];
+        edges: PrtEdge[];
+    }>;
+    evaluateClearance: (predicate: ClearancePredicate, ctx: ClearanceContext) => Promise<ClearanceVerdict>;
+    markNodeCleared: (nodeId: string) => Promise<void>;
+    materializeOvercome: (nodeId: string) => Promise<{
+        focusId: string;
+    }>;
+    armFocus: (focusId: string, agentRoleId: string) => Promise<void>;
+    markPrdDone: (prdId: string) => Promise<void>;
+    resolveArmRoleId: (prd: Prd) => Promise<string | null>;
+    loadPathways: (prdId: string) => Promise<Pathway[]>;
+    commitPathway: (prdId: string, pathwayId: string) => Promise<void>;
+    fileEscalation: (input: FileEscalationInput) => Promise<void>;
+    /** Org scope used when filing a no-surviving-path escalation. */
+    organizationId: string;
+    worktreeDir: string;
+}
+export interface PrdControllerTickResult {
+    obstaclesEvaluated: number;
+    obstaclesCleared: number;
+    materialized: number;
+    armed: number;
+    skippedNoRole: number;
+    prdDone: boolean;
+    /** True when this tick detected one or more divergence signals. */
+    diverged: boolean;
+    /** True when realign re-pointed the committed pathway (re-capture). */
+    pathSwitched: boolean;
+    /** True when divergence had no surviving path and a human was escalated. */
+    escalated: boolean;
+}
+export declare function runPrdControllerTick(prd: Prd, deps: PrdControllerDeps): Promise<PrdControllerTickResult>;
+export interface PrdControllerTickAllResult {
+    obstaclesEvaluated: number;
+    obstaclesCleared: number;
+    materialized: number;
+    armed: number;
+    skippedNoRole: number;
+    prdsDone: number;
+    /** PRDs that detected divergence this pass. */
+    prdsDiverged: number;
+    /** PRDs whose committed pathway was re-pointed (re-capture). */
+    prdsPathSwitched: number;
+    /** PRDs escalated to a human for lack of a surviving path. */
+    prdsEscalated: number;
+}
+export declare function runPrdControllerTickAll(config: DaemonConfig, deps?: Partial<PrdControllerDeps>): Promise<PrdControllerTickAllResult>;
+//# sourceMappingURL=prd-controller.d.ts.map

package/dist/prd-controller.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prd-controller.d.ts","sourceRoot":"","sources":["../src/prd-controller.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,EAEL,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EASL,KAAK,GAAG,EACR,KAAK,OAAO,EACZ,KAAK,OAAO,EACZ,KAAK,OAAO,EACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAkB,KAAK,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAO5E;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,EAAE,EAChB,KAAK,EAAE,OAAO,EAAE,EAChB,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAC1B;IAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;IAAC,QAAQ,EAAE,OAAO,EAAE,CAAA;CAAE,CA0BtD;AAED,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAAC,KAAK,EAAE,OAAO,EAAE,CAAA;KAAE,CAAC,CAAC;IACjF,iBAAiB,EAAE,CACjB,SAAS,EAAE,kBAAkB,EAC7B,GAAG,EAAE,gBAAgB,KAClB,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC/B,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD,mBAAmB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACtE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAClE,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,gBAAgB,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACvD,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACpD,aAAa,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACnE,cAAc,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,iEAAiE;IACjE,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uBAAuB;IACtC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;IACjB,mEAAmE;IACnE,QAAQ,EAAE,OAAO,CAAC;IAClB,uEAAuE;IACvE,YAAY,EAAE,OAAO,CAAC;IACtB,4EAA4E;IAC5E,SAAS,EAAE,OAAO,CAAC;CACpB;AAgED,wBAAsB,oBAAoB,CACxC,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,uBAAuB,CAAC,CAmJlC;AA0BD,MAAM,WAAW,0BAA0B;IACzC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,+CAA+C;IAC/C,YAAY,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,gBAAgB,EAAE,MAAM,CAAC;IACzB,8DAA8D;IAC9D,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,YAAY,EACpB,IAAI,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,GAChC,OAAO,CAAC,0BAA0B,CAAC,CAwDrC"}

package/dist/prd-controller.js

@@ -0,0 +1,319 @@
+/**
+ * PRD-lifecycle controller (Delivery D).
+ *
+ * CARDINAL RULE: this controller adds NO new executor. Its only outputs are
+ * (a) materialize an overcome into a focus via the existing
+ * prd_overcome_materialize action, (b) arm a focus by setting
+ * assigned_agent_role_id via the existing focus_update action (the queue toggle
+ * the focus engine already polls), (c) mark obstacles cleared / the PRD done via
+ * the existing node/prd update actions. It never spawns agents and never creates
+ * a parallel execution path.
+ *
+ * It computes the Prerequisite-Tree (PRT) frontier for an active PRD and arms
+ * the frontier foci; on obstacle clearance it recomputes and arms the next
+ * frontier. The whole milestone then runs progressively over the existing
+ * Foci -> Delivery -> Issue executor.
+ */
+import { configForProduct } from './config.js';
+import { evaluateClearance, } from './prd-clearance-engine.js';
+import { loadActivePrds, loadPrtGraph, materializeOvercome, armFocus, markNodeCleared, markPrdDone, loadPathways, commitPathway, } from './queries/prd.js';
+import { fileEscalation } from './escalations.js';
+import { detectDivergence, selectSurvivingPath, } from './prd-divergence.js';
+/**
+ * Splits the armable overcome frontier into those still needing a focus
+ * (materialize) and those already materialized (arm).
+ *
+ * PRT frontier semantics (implemented exactly):
+ * - prerequisite edge P->Q means P must be cleared before Q.
+ * - overcome O is ARMABLE iff O.status !== 'cleared' AND every node P with a
+ *   prerequisite edge P->O is in clearedNodeIds. No incoming prerequisite edge
+ *   => initial frontier.
+ * - needsMaterialize = armable overcomes with focusId == null.
+ * - needsArm = armable overcomes with focusId set.
+ */
+export function computePrtFrontier(nodes, edges, clearedNodeIds) {
+    const needsMaterialize = [];
+    const needsArm = [];
+    for (const node of nodes) {
+        if (node.nodeType !== 'overcome') {
+            continue;
+        }
+        if (node.status === 'cleared') {
+            continue;
+        }
+        const prereqs = edges.filter((edge) => edge.edgeType === 'prerequisite' && edge.toNodeId === node.id);
+        const allPrereqsCleared = prereqs.every((edge) => clearedNodeIds.has(edge.fromNodeId));
+        if (!allPrereqsCleared) {
+            continue;
+        }
+        if (node.focusId === null) {
+            needsMaterialize.push(node);
+        }
+        else {
+            needsArm.push(node);
+        }
+    }
+    return { needsMaterialize, needsArm };
+}
+/**
+ * Pure viability check for a pathway, computed from ACTUAL current tree state.
+ *
+ * A pathway is viable when every obstacle reachable on it is either already
+ * cleared OR still has at least one planned overcome that has NOT failed
+ * clearance this tick. If any gating obstacle is both uncleared and has no
+ * un-failed remedy, the pathway cannot reach the goal -> not viable.
+ *
+ * Pathway membership is approximated by pathwayId match on the node when the
+ * PrtNode carries one; absent per-node pathway tagging in the current schema,
+ * the whole tree is treated as the pathway's reachable set (single-pathway
+ * default). This stays a conservative, pure read of the tree -- it never
+ * mutates and never reverts.
+ */
+function isPathwayViable(_pathwayId, nodes, edges, clearedNodeIds, clearanceFailedObstacleIds) {
+    void _pathwayId;
+    const overcomesEdges = edges.filter((e) => e.edgeType === 'overcomes');
+    // Obstacle -> set of overcome ids that target it.
+    const remediesByObstacle = new Map();
+    for (const edge of overcomesEdges) {
+        const list = remediesByObstacle.get(edge.toNodeId) ?? [];
+        list.push(edge.fromNodeId);
+        remediesByObstacle.set(edge.toNodeId, list);
+    }
+    const nodeById = new Map(nodes.map((n) => [n.id, n]));
+    for (const node of nodes) {
+        if (node.nodeType !== 'obstacle') {
+            continue;
+        }
+        if (clearedNodeIds.has(node.id)) {
+            continue; // already cleared -> not blocking
+        }
+        const remedies = remediesByObstacle.get(node.id) ?? [];
+        if (remedies.length === 0) {
+            // Open obstacle with no planned overcome -> dead end on this pathway.
+            return false;
+        }
+        // Viable only if at least one remedy has not failed clearance this tick.
+        const hasUnfailedRemedy = remedies.some((overcomeId) => {
+            const overcome = nodeById.get(overcomeId);
+            if (!overcome) {
+                return false;
+            }
+            // The remedy "failed" when its overcome cleared yet the obstacle is in
+            // the failed set (clearance_fail) -- treat that obstacle as un-remediable
+            // by this overcome.
+            return !clearanceFailedObstacleIds.has(node.id);
+        });
+        if (!hasUnfailedRemedy) {
+            return false;
+        }
+    }
+    return true;
+}
+export async function runPrdControllerTick(prd, deps) {
+    const { nodes, edges } = await deps.loadPrtGraph(prd.id);
+    const obstacles = nodes.filter((node) => node.nodeType === 'obstacle');
+    const clearedNodeIds = new Set();
+    // Pre-seed nodes already marked cleared in the DB.
+    for (const node of nodes) {
+        if (node.status === 'cleared') {
+            clearedNodeIds.add(node.id);
+        }
+    }
+    let obstaclesEvaluated = 0;
+    let obstaclesCleared = 0;
+    // Obstacles whose predicate ran and definitively did NOT clear (not deferred).
+    // Feeds divergence detection (clearance_fail) and pathway viability.
+    const clearanceFailedObstacleIds = new Set();
+    // Evaluate clearance predicates; newly-cleared obstacles get persisted.
+    for (const obstacle of obstacles) {
+        if (!obstacle.clearancePredicate) {
+            continue;
+        }
+        obstaclesEvaluated += 1;
+        const verdict = await deps.evaluateClearance(obstacle.clearancePredicate, {
+            worktreeDir: deps.worktreeDir,
+        });
+        if (verdict.cleared) {
+            clearedNodeIds.add(obstacle.id);
+            if (obstacle.status !== 'cleared') {
+                await deps.markNodeCleared(obstacle.id);
+                obstaclesCleared += 1;
+            }
+        }
+        else if (!verdict.deferred) {
+            clearanceFailedObstacleIds.add(obstacle.id);
+        }
+    }
+    const { needsMaterialize, needsArm } = computePrtFrontier(nodes, edges, clearedNodeIds);
+    const roleId = await deps.resolveArmRoleId(prd);
+    let materialized = 0;
+    let armed = 0;
+    let skippedNoRole = 0;
+    for (const node of needsMaterialize) {
+        const { focusId } = await deps.materializeOvercome(node.id);
+        materialized += 1;
+        if (roleId) {
+            await deps.armFocus(focusId, roleId);
+            armed += 1;
+        }
+        else {
+            skippedNoRole += 1;
+        }
+    }
+    for (const node of needsArm) {
+        if (node.focusId === null) {
+            continue;
+        }
+        if (roleId) {
+            await deps.armFocus(node.focusId, roleId);
+            armed += 1;
+        }
+        else {
+            skippedNoRole += 1;
+        }
+    }
+    // PRD complete when every obstacle is cleared.
+    const allObstaclesCleared = obstacles.length > 0 && obstacles.every((obstacle) => clearedNodeIds.has(obstacle.id));
+    let prdDone = false;
+    if (allObstaclesCleared) {
+        await deps.markPrdDone(prd.id);
+        prdDone = true;
+    }
+    // --- Realign (divergence detection + path-switch / escalate) -------------
+    //
+    // PLL re-capture. Runs only for a PRD that has a committed (locked) pathway.
+    // On divergence we re-acquire the best surviving path from the ACTUAL current
+    // tree state, or hand control to the human if none survives.
+    //
+    // NO-REVERT INVARIANT: this step performs NO revert. Dead-path residue (work
+    // already merged on an abandoned pathway) is new reality. We ONLY re-point
+    // committed_path_id via commitPathway and let the existing controller re-arm
+    // the frontier from the new path. Nothing here deletes focuses, commits, or
+    // merged work, and the goal is never lowered to fit a surviving path.
+    let diverged = false;
+    let pathSwitched = false;
+    let escalated = false;
+    if (prd.committedPathId) {
+        const signals = detectDivergence({
+            nodes,
+            edges,
+            clearedNodeIds,
+            clearanceFailedObstacleIds,
+            committedPathwayId: prd.committedPathId,
+        });
+        if (signals.length > 0) {
+            diverged = true;
+            const pathways = await deps.loadPathways(prd.id);
+            const pathwayStates = pathways.map((p) => ({
+                id: p.id,
+                status: p.status,
+            }));
+            const { survivor, switched } = selectSurvivingPath(pathwayStates, {
+                committedPathwayId: prd.committedPathId,
+                isPathwayViable: (pid) => isPathwayViable(pid, nodes, edges, clearedNodeIds, clearanceFailedObstacleIds),
+            });
+            if (survivor && switched) {
+                // Re-point the committed pathway (re-capture). No revert.
+                await deps.commitPathway(prd.id, survivor);
+                pathSwitched = true;
+            }
+            else if (!survivor) {
+                // No surviving path: the human owns intent -- escalate, never lower the goal.
+                escalated = true;
+                await deps.fileEscalation({
+                    organizationId: deps.organizationId,
+                    productId: prd.productId,
+                    reason: 'prd_divergence_no_surviving_path',
+                    kind: 'prd_divergence_no_surviving_path',
+                    details: { prdId: prd.id, signals },
+                });
+            }
+        }
+    }
+    return {
+        obstaclesEvaluated,
+        obstaclesCleared,
+        materialized,
+        armed,
+        skippedNoRole,
+        prdDone,
+        diverged,
+        pathSwitched,
+        escalated,
+    };
+}
+function defaultDeps(config) {
+    return {
+        loadPrtGraph: (prdId) => loadPrtGraph(prdId),
+        evaluateClearance: (predicate, ctx) => evaluateClearance(predicate, ctx),
+        markNodeCleared: (nodeId) => markNodeCleared(nodeId),
+        materializeOvercome: (nodeId) => materializeOvercome(nodeId),
+        armFocus: (focusId, agentRoleId) => armFocus(focusId, agentRoleId),
+        markPrdDone: (prdId) => markPrdDone(prdId),
+        resolveArmRoleId: async (_prd) => {
+            void _prd;
+            // TELORA_PRD_ARM_ROLE_ID must be set to the agent_roles UUID to use when
+            // arming frontier foci (sets product_focuses.assigned_agent_role_id).
+            // When unset, every frontier overcome is counted as skippedNoRole and no
+            // focus is ever armed -- the controller runs but produces no output.
+            return process.env.TELORA_PRD_ARM_ROLE_ID ?? null;
+        },
+        loadPathways: (prdId) => loadPathways(prdId),
+        commitPathway: (prdId, pathwayId) => commitPathway(prdId, pathwayId),
+        fileEscalation: (input) => fileEscalation(input),
+        organizationId: config.organizationId,
+        worktreeDir: config.worktreeDir,
+    };
+}
+export async function runPrdControllerTickAll(config, deps) {
+    const totals = {
+        obstaclesEvaluated: 0,
+        obstaclesCleared: 0,
+        materialized: 0,
+        armed: 0,
+        skippedNoRole: 0,
+        prdsDone: 0,
+        prdsDiverged: 0,
+        prdsPathSwitched: 0,
+        prdsEscalated: 0,
+    };
+    for (const product of config.products) {
+        const productConfig = configForProduct(config, product);
+        const merged = { ...defaultDeps(productConfig), ...deps };
+        let prds;
+        try {
+            prds = await loadActivePrds(product.id);
+        }
+        catch (err) {
+            console.warn(`[prd-controller] failed to load active PRDs for product ${product.id}:`, err.message);
+            continue;
+        }
+        for (const prd of prds) {
+            try {
+                const result = await runPrdControllerTick(prd, merged);
+                totals.obstaclesEvaluated += result.obstaclesEvaluated;
+                totals.obstaclesCleared += result.obstaclesCleared;
+                totals.materialized += result.materialized;
+                totals.armed += result.armed;
+                totals.skippedNoRole += result.skippedNoRole;
+                if (result.prdDone) {
+                    totals.prdsDone += 1;
+                }
+                if (result.diverged) {
+                    totals.prdsDiverged += 1;
+                }
+                if (result.pathSwitched) {
+                    totals.prdsPathSwitched += 1;
+                }
+                if (result.escalated) {
+                    totals.prdsEscalated += 1;
+                }
+            }
+            catch (err) {
+                console.warn(`[prd-controller] tick failed for PRD ${prd.id}:`, err.message);
+            }
+        }
+    }
+    return totals;
+}
+//# sourceMappingURL=prd-controller.js.map

package/dist/prd-controller.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prd-controller.js","sourceRoot":"","sources":["../src/prd-controller.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EACL,iBAAiB,GAIlB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,cAAc,EACd,YAAY,EACZ,mBAAmB,EACnB,QAAQ,EACR,eAAe,EACf,WAAW,EACX,YAAY,EACZ,aAAa,GAKd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAA4B,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EACL,gBAAgB,EAChB,mBAAmB,GAEpB,MAAM,qBAAqB,CAAC;AAE7B;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAgB,EAChB,KAAgB,EAChB,cAA2B;IAE3B,MAAM,gBAAgB,GAAc,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAC1B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CACxE,CAAC;QACF,MAAM,iBAAiB,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACvF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC1B,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAC;AACxC,CAAC;AAoCD;;;;;;;;;;;;;GAaG;AACH,SAAS,eAAe,CACtB,UAAkB,EAClB,KAAgB,EAChB,KAAgB,EAChB,cAA2B,EAC3B,0BAAuC;IAEvC,KAAK,UAAU,CAAC;IAChB,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;IACvE,kDAAkD;IAClD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAkB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,SAAS,CAAC,kCAAkC;QAC9C,CAAC;QACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,sEAAsE;YACtE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,yEAAyE;QACzE,MAAM,iBAAiB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE;YACrD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC1C,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,KAAK,CAAC;YACf,CAAC;YACD,uEAAuE;YACvE,0EAA0E;YAC1E,oBAAoB;YACpB,OAAO,CAAC,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,GAAQ,EACR,IAAuB;IAEvB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEzD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,mDAAmD;IACnD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,+EAA+E;IAC/E,qEAAqE;IACrE,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAAU,CAAC;IAErD,wEAAwE;IACxE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,kBAAkB,IAAI,CAAC,CAAC;QACxB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,kBAAkB,EAAE;YACxE,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAClC,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;gBACxC,gBAAgB,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC7B,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,GAAG,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IAExF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,YAAY,IAAI,CAAC,CAAC;QAClB,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YACrC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,CAAC;YACN,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC1C,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,CAAC;YACN,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,mBAAmB,GACvB,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACzF,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,mBAAmB,EAAE,CAAC;QACxB,MAAM,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IAED,4EAA4E;IAC5E,EAAE;IACF,6EAA6E;IAC7E,8EAA8E;IAC9E,6DAA6D;IAC7D,EAAE;IACF,6EAA6E;IAC7E,2EAA2E;IAC3E,6EAA6E;IAC7E,4EAA4E;IAC5E,sEAAsE;IACtE,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,KAAK;YACL,KAAK;YACL,cAAc;YACd,0BAA0B;YAC1B,kBAAkB,EAAE,GAAG,CAAC,eAAe;SACxC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,QAAQ,GAAG,IAAI,CAAC;YAChB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjD,MAAM,aAAa,GAAmB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACzD,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,MAAM,EAAE,CAAC,CAAC,MAAM;aACjB,CAAC,CAAC,CAAC;YACJ,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,mBAAmB,CAAC,aAAa,EAAE;gBAChE,kBAAkB,EAAE,GAAG,CAAC,eAAe;gBACvC,eAAe,EAAE,CAAC,GAAG,EAAE,EAAE,CACvB,eAAe,CACb,GAAG,EACH,KAAK,EACL,KAAK,EACL,cAAc,EACd,0BAA0B,CAC3B;aACJ,CAAC,CAAC;YACH,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBACzB,0DAA0D;gBAC1D,MAAM,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;gBAC3C,YAAY,GAAG,IAAI,CAAC;YACtB,CAAC;iBAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACrB,8EAA8E;gBAC9E,SAAS,GAAG,IAAI,CAAC;gBACjB,MAAM,IAAI,CAAC,cAAc,CAAC;oBACxB,cAAc,EAAE,IAAI,CAAC,cAAc;oBACnC,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,MAAM,EAAE,kCAAkC;oBAC1C,IAAI,EAAE,kCAAkC;oBACxC,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE;iBACpC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,kBAAkB;QAClB,gBAAgB;QAChB,YAAY;QACZ,KAAK;QACL,aAAa;QACb,OAAO;QACP,QAAQ;QACR,YAAY;QACZ,SAAS;KACV,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,MAAoB;IACvC,OAAO;QACL,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAC5C,iBAAiB,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC;QACxE,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QACpD,mBAAmB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC5D,QAAQ,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;QAClE,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;QAC1C,gBAAgB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAC/B,KAAK,IAAI,CAAC;YACV,yEAAyE;YACzE,sEAAsE;YACtE,yEAAyE;YACzE,qEAAqE;YACrE,OAAO,OAAO,CAAC,GAAG,CAAC,sBAAsB,IAAI,IAAI,CAAC;QACpD,CAAC;QACD,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAC5C,aAAa,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC;QACpE,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;QAChD,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;AACJ,CAAC;AAiBD,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAoB,EACpB,IAAiC;IAEjC,MAAM,MAAM,GAA+B;QACzC,kBAAkB,EAAE,CAAC;QACrB,gBAAgB,EAAE,CAAC;QACnB,YAAY,EAAE,CAAC;QACf,KAAK,EAAE,CAAC;QACR,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,CAAC;QACX,YAAY,EAAE,CAAC;QACf,gBAAgB,EAAE,CAAC;QACnB,aAAa,EAAE,CAAC;KACjB,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxD,MAAM,MAAM,GAAsB,EAAE,GAAG,WAAW,CAAC,aAAa,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QAC7E,IAAI,IAAW,CAAC;QAChB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CACV,2DAA2D,OAAO,CAAC,EAAE,GAAG,EACvE,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;gBACvD,MAAM,CAAC,kBAAkB,IAAI,MAAM,CAAC,kBAAkB,CAAC;gBACvD,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,CAAC;gBACnD,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;gBAC3C,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;gBAC7B,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC;gBAC7C,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACnB,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC;gBACvB,CAAC;gBACD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACpB,MAAM,CAAC,YAAY,IAAI,CAAC,CAAC;gBAC3B,CAAC;gBACD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;oBACxB,MAAM,CAAC,gBAAgB,IAAI,CAAC,CAAC;gBAC/B,CAAC;gBACD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;oBACrB,MAAM,CAAC,aAAa,IAAI,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CACV,wCAAwC,GAAG,CAAC,EAAE,GAAG,EAChD,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}