@telora/daemon 0.16.42 → 0.17.1

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"}

package/dist/prd-divergence.d.ts

@@ -0,0 +1,76 @@
+/**
+ * PRD divergence detection + path selection -- Staged Assembly: PRD Layer
+ * (Delivery E, task E1). PURE: no DB, no shell, no module-level mutable state.
+ *
+ * PLL framing. The committed pathway is the locked phase. Divergence is loss of
+ * lock -- the chosen approach stopped tracking intent. Path-switch is re-capture
+ * onto the best surviving path computed from ACTUAL current tree state. When no
+ * survivor exists the controller escalates to the human, who owns intent.
+ *
+ * NO-REVERT INVARIANT (read before editing). Dead-path residue -- code already
+ * merged on a now-abandoned pathway -- is NEW REALITY, not garbage to undo.
+ * Nothing in this module (or the realign step that consumes it) reverts, deletes,
+ * or rolls back focuses, commits, or merged work. Detection reads the tree;
+ * selection re-points which pathway is committed. The goal is never lowered to
+ * fit a path; we only re-acquire a path that still reaches the goal, or escalate.
+ *
+ * @module prd-divergence
+ */
+import type { PrtNode, PrtEdge } from './queries/prd.js';
+/** The shapes divergence can take on a Prerequisite Tree. */
+export type DivergenceForm = 'clearance_fail' | 'negative_branch' | 'falsified_prerequisite';
+/** A single detected divergence, anchored to the offending node. */
+export interface DivergenceSignal {
+    form: DivergenceForm;
+    nodeId: string;
+    detail: string;
+}
+/** A held alternative pathway and its commitment status. */
+export interface PathwayState {
+    id: string;
+    status: 'option' | 'committed' | 'abandoned';
+}
+/**
+ * Detect all divergence signals on a PRT snapshot. PURE. A healthy path
+ * returns []. Implements all three forms:
+ *
+ * - clearance_fail: an overcome O marked cleared (shipped) whose 'overcomes'
+ *   edge O->B points at an obstacle B that did NOT clear this tick
+ *   (B in clearanceFailedObstacleIds). The remedy ran but the obstacle stands.
+ *
+ * - negative_branch: an OPEN obstacle B (status !== 'cleared') with NO inbound
+ *   'overcomes' edge (no planned remedy) that is a prerequisite (edge B->Q) of
+ *   some overcome Q which is not cleared. An unanticipated blocker on the path.
+ *
+ * - falsified_prerequisite: a 'prerequisite' edge P->Q where Q is cleared but
+ *   P is not. Downstream proceeded though its prerequisite is unsatisfied.
+ */
+export declare function detectDivergence(input: {
+    nodes: PrtNode[];
+    edges: PrtEdge[];
+    clearedNodeIds: Set<string>;
+    clearanceFailedObstacleIds: Set<string>;
+    committedPathwayId: string | null;
+}): DivergenceSignal[];
+/**
+ * Select the surviving committed pathway. PURE.
+ *
+ * Among pathways that are NOT abandoned:
+ * - If a committed pathway is set and still viable, keep it
+ *   (survivor = committed, switched = false). Lock held.
+ * - Otherwise pick the first viable non-abandoned pathway; switched = true when
+ *   that survivor differs from the previously committed pathway. Re-capture.
+ * - If none are viable, survivor = null, switched = false. The controller
+ *   escalates -- the human owns intent; the goal is never lowered.
+ *
+ * NO-REVERT: choosing a different survivor only changes which pathway is
+ * committed. It never undoes work done on the abandoned/old pathway.
+ */
+export declare function selectSurvivingPath(pathways: PathwayState[], opts: {
+    committedPathwayId: string | null;
+    isPathwayViable: (pathwayId: string) => boolean;
+}): {
+    survivor: string | null;
+    switched: boolean;
+};
+//# sourceMappingURL=prd-divergence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prd-divergence.d.ts","sourceRoot":"","sources":["../src/prd-divergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAMzD,6DAA6D;AAC7D,MAAM,MAAM,cAAc,GACtB,gBAAgB,GAChB,iBAAiB,GACjB,wBAAwB,CAAC;AAE7B,oEAAoE;AACpE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,4DAA4D;AAC5D,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;CAC9C;AAMD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5B,0BAA0B,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC,GAAG,gBAAgB,EAAE,CAsFrB;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,YAAY,EAAE,EACxB,IAAI,EAAE;IACJ,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,eAAe,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC;CACjD,GACA;IAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAyBhD"}

package/dist/prd-divergence.js

@@ -0,0 +1,148 @@
+/**
+ * PRD divergence detection + path selection -- Staged Assembly: PRD Layer
+ * (Delivery E, task E1). PURE: no DB, no shell, no module-level mutable state.
+ *
+ * PLL framing. The committed pathway is the locked phase. Divergence is loss of
+ * lock -- the chosen approach stopped tracking intent. Path-switch is re-capture
+ * onto the best surviving path computed from ACTUAL current tree state. When no
+ * survivor exists the controller escalates to the human, who owns intent.
+ *
+ * NO-REVERT INVARIANT (read before editing). Dead-path residue -- code already
+ * merged on a now-abandoned pathway -- is NEW REALITY, not garbage to undo.
+ * Nothing in this module (or the realign step that consumes it) reverts, deletes,
+ * or rolls back focuses, commits, or merged work. Detection reads the tree;
+ * selection re-points which pathway is committed. The goal is never lowered to
+ * fit a path; we only re-acquire a path that still reaches the goal, or escalate.
+ *
+ * @module prd-divergence
+ */
+// ---------------------------------------------------------------------------
+// Divergence detection
+// ---------------------------------------------------------------------------
+/**
+ * Detect all divergence signals on a PRT snapshot. PURE. A healthy path
+ * returns []. Implements all three forms:
+ *
+ * - clearance_fail: an overcome O marked cleared (shipped) whose 'overcomes'
+ *   edge O->B points at an obstacle B that did NOT clear this tick
+ *   (B in clearanceFailedObstacleIds). The remedy ran but the obstacle stands.
+ *
+ * - negative_branch: an OPEN obstacle B (status !== 'cleared') with NO inbound
+ *   'overcomes' edge (no planned remedy) that is a prerequisite (edge B->Q) of
+ *   some overcome Q which is not cleared. An unanticipated blocker on the path.
+ *
+ * - falsified_prerequisite: a 'prerequisite' edge P->Q where Q is cleared but
+ *   P is not. Downstream proceeded though its prerequisite is unsatisfied.
+ */
+export function detectDivergence(input) {
+    const { nodes, edges, clearedNodeIds, clearanceFailedObstacleIds } = input;
+    const signals = [];
+    const nodeById = new Map(nodes.map((n) => [n.id, n]));
+    const overcomesEdges = edges.filter((e) => e.edgeType === 'overcomes');
+    const prereqEdges = edges.filter((e) => e.edgeType === 'prerequisite');
+    // --- clearance_fail ---
+    // An overcome that is cleared but the obstacle it overcomes did not clear.
+    for (const edge of overcomesEdges) {
+        const overcome = nodeById.get(edge.fromNodeId);
+        const obstacle = nodeById.get(edge.toNodeId);
+        if (!overcome || !obstacle) {
+            continue;
+        }
+        if (overcome.nodeType !== 'overcome' || overcome.status !== 'cleared') {
+            continue;
+        }
+        if (clearanceFailedObstacleIds.has(obstacle.id)) {
+            signals.push({
+                form: 'clearance_fail',
+                nodeId: obstacle.id,
+                detail: `overcome ${overcome.id} is cleared (shipped) but obstacle ${obstacle.id} ` +
+                    `failed its clearance predicate this tick`,
+            });
+        }
+    }
+    // --- negative_branch ---
+    // An open obstacle with no planned remedy that gates an uncleared overcome.
+    const obstaclesWithRemedy = new Set(overcomesEdges.map((e) => e.toNodeId));
+    for (const node of nodes) {
+        if (node.nodeType !== 'obstacle') {
+            continue;
+        }
+        if (node.status === 'cleared') {
+            continue;
+        }
+        if (obstaclesWithRemedy.has(node.id)) {
+            continue; // a remedy is planned -> anticipated, not a negative branch
+        }
+        // Is this obstacle a prerequisite of an uncleared overcome?
+        const gatesUnclearedOvercome = prereqEdges.some((edge) => {
+            if (edge.fromNodeId !== node.id) {
+                return false;
+            }
+            const target = nodeById.get(edge.toNodeId);
+            return (!!target &&
+                target.nodeType === 'overcome' &&
+                !clearedNodeIds.has(target.id));
+        });
+        if (gatesUnclearedOvercome) {
+            signals.push({
+                form: 'negative_branch',
+                nodeId: node.id,
+                detail: `obstacle ${node.id} is open with no planned overcome and gates an ` +
+                    `uncleared overcome -- unanticipated blocker`,
+            });
+        }
+    }
+    // --- falsified_prerequisite ---
+    // A prerequisite edge whose downstream cleared while its upstream did not.
+    for (const edge of prereqEdges) {
+        if (clearedNodeIds.has(edge.toNodeId) &&
+            !clearedNodeIds.has(edge.fromNodeId)) {
+            signals.push({
+                form: 'falsified_prerequisite',
+                nodeId: edge.fromNodeId,
+                detail: `node ${edge.toNodeId} is cleared but its prerequisite ${edge.fromNodeId} ` +
+                    `is not -- downstream proceeded on an unsatisfied prerequisite`,
+            });
+        }
+    }
+    return signals;
+}
+// ---------------------------------------------------------------------------
+// Surviving-path selection (re-capture)
+// ---------------------------------------------------------------------------
+/**
+ * Select the surviving committed pathway. PURE.
+ *
+ * Among pathways that are NOT abandoned:
+ * - If a committed pathway is set and still viable, keep it
+ *   (survivor = committed, switched = false). Lock held.
+ * - Otherwise pick the first viable non-abandoned pathway; switched = true when
+ *   that survivor differs from the previously committed pathway. Re-capture.
+ * - If none are viable, survivor = null, switched = false. The controller
+ *   escalates -- the human owns intent; the goal is never lowered.
+ *
+ * NO-REVERT: choosing a different survivor only changes which pathway is
+ * committed. It never undoes work done on the abandoned/old pathway.
+ */
+export function selectSurvivingPath(pathways, opts) {
+    const candidates = pathways.filter((p) => p.status !== 'abandoned');
+    // Keep the committed path if it is still in play and viable.
+    if (opts.committedPathwayId !== null) {
+        const committedStillCandidate = candidates.some((p) => p.id === opts.committedPathwayId);
+        if (committedStillCandidate && opts.isPathwayViable(opts.committedPathwayId)) {
+            return { survivor: opts.committedPathwayId, switched: false };
+        }
+    }
+    // Otherwise re-acquire the first viable surviving option.
+    for (const pathway of candidates) {
+        if (opts.isPathwayViable(pathway.id)) {
+            return {
+                survivor: pathway.id,
+                switched: pathway.id !== opts.committedPathwayId,
+            };
+        }
+    }
+    // No survivor: hand control to the human.
+    return { survivor: null, switched: false };
+}
+//# sourceMappingURL=prd-divergence.js.map

package/dist/prd-divergence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prd-divergence.js","sourceRoot":"","sources":["../src/prd-divergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AA2BH,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAMhC;IACC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,0BAA0B,EAAE,GAAG,KAAK,CAAC;IAC3E,MAAM,OAAO,GAAuB,EAAE,CAAC;IAEvC,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;IACvE,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,CAAC;IAEvE,yBAAyB;IACzB,2EAA2E;IAC3E,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACtE,SAAS;QACX,CAAC;QACD,IAAI,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAChD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,QAAQ,CAAC,EAAE;gBACnB,MAAM,EACJ,YAAY,QAAQ,CAAC,EAAE,sCAAsC,QAAQ,CAAC,EAAE,GAAG;oBAC3E,0CAA0C;aAC7C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,4EAA4E;IAC5E,MAAM,mBAAmB,GAAG,IAAI,GAAG,CACjC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CACtC,CAAC;IACF,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,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACrC,SAAS,CAAC,4DAA4D;QACxE,CAAC;QACD,4DAA4D;QAC5D,MAAM,sBAAsB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACvD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;gBAChC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,CACL,CAAC,CAAC,MAAM;gBACR,MAAM,CAAC,QAAQ,KAAK,UAAU;gBAC9B,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAC/B,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,IAAI,sBAAsB,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,iBAAiB;gBACvB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,MAAM,EACJ,YAAY,IAAI,CAAC,EAAE,iDAAiD;oBACpE,6CAA6C;aAChD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,2EAA2E;IAC3E,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IACE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;YACjC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EACpC,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE,IAAI,CAAC,UAAU;gBACvB,MAAM,EACJ,QAAQ,IAAI,CAAC,QAAQ,oCAAoC,IAAI,CAAC,UAAU,GAAG;oBAC3E,+DAA+D;aAClE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAwB,EACxB,IAGC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IAEpE,6DAA6D;IAC7D,IAAI,IAAI,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QACrC,MAAM,uBAAuB,GAAG,UAAU,CAAC,IAAI,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,kBAAkB,CACxC,CAAC;QACF,IAAI,uBAAuB,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC7E,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,kBAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACrC,OAAO;gBACL,QAAQ,EAAE,OAAO,CAAC,EAAE;gBACpB,QAAQ,EAAE,OAAO,CAAC,EAAE,KAAK,IAAI,CAAC,kBAAkB;aACjD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC"}

package/dist/prompt-sections/context-sections.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Context section builders: focus context, product context docs, deployment
+ * profile, loop context, and execution config. Extracted from
+ * team-prompt-base.ts.
+ */
+import type { FocusExecutionConfig } from '../types.js';
+import type { ProductContextDoc } from '../queries/focuses.js';
+import type { DeploymentProfileSnapshotContext, FocusTeamPromptContext } from './shared.js';
+/**
+ * Build the focus context section (focus ID, name, product ID).
+ */
+export declare function buildFocusContextSection(context: FocusTeamPromptContext): string[];
+/**
+ * Build the product context documents section.
+ * Deduplicates documents by title. Returns empty array if no docs.
+ */
+export declare function buildProductContextSection(docs?: ProductContextDoc[]): string[];
+/**
+ * Build the deployment profile section (inception prompt + guidelines).
+ * Returns empty array if no snapshot provided.
+ */
+export declare function buildDeploymentProfileSection(snapshot?: DeploymentProfileSnapshotContext | null): string[];
+/**
+ * Build the loop context section (persona + documents + Q&A).
+ * Returns pre-formatted markdown from the loop.context resolver, or empty array if none.
+ */
+export declare function buildLoopContextSection(loopContext?: string): string[];
+/**
+ * Build the execution config section (max workers, poll interval).
+ */
+export declare function buildExecutionConfigSection(config: FocusExecutionConfig): string[];
+//# sourceMappingURL=context-sections.d.ts.map

package/dist/prompt-sections/context-sections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-sections.d.ts","sourceRoot":"","sources":["../../src/prompt-sections/context-sections.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,KAAK,EACV,gCAAgC,EAChC,sBAAsB,EACvB,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,sBAAsB,GAAG,MAAM,EAAE,CAQlF;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,CAAC,EAAE,iBAAiB,EAAE,GAAG,MAAM,EAAE,CAqB/E;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,QAAQ,CAAC,EAAE,gCAAgC,GAAG,IAAI,GACjD,MAAM,EAAE,CAmBV;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,EAAE,CAOlF"}