@telora/daemon 0.15.31 → 0.15.33

package/dist/close-loop-dispatcher.d.ts

@@ -0,0 +1,218 @@
+/**
+ * Close-loop stage dispatcher.
+ *
+ * Handles focuses entering the `close_loop` workflow stage. Three asymmetric
+ * checks are delegated to the spawned bookkeeper team via the assembled
+ * directive; the dispatcher itself is responsible for the deterministic
+ * pre- and post-conditions:
+ *
+ *   - **Short-circuit on no anchors.** If the focus has no anchoring
+ *     injections, close_loop is a no-op: the dispatcher advances the focus
+ *     directly to `done`. No team is spawned. This matches the
+ *     `no_anchoring_injections_short_circuit` soft guard on
+ *     `verify -> close_loop` in the focus workflow.
+ *
+ *   - **Otherwise, spawn a fresh bookkeeper team** (Sonnet model, fresh
+ *     session) with the close_loop assembly recipe:
+ *         loop.persona(variant=close_loop)
+ *         focus.context
+ *         focus.anchoring_injections
+ *         git.diff_against_base
+ *         delivery.acceptance_criteria
+ *         review.outcomes
+ *     The team handles the per-injection sweep (verified | escalated, no
+ *     third option), the incomplete-planning check, and the tree-drift
+ *     check skeleton (D5 wires `focus.description` through into the
+ *     drift-check prompt section).
+ *
+ *   - **Monitor termination.** Once every anchored injection has reached a
+ *     terminal state (`verified` or has an open `injection_unverified`
+ *     escalation), the dispatcher advances the focus to `done`. While any
+ *     injection is still non-terminal, the focus stays at `close_loop`.
+ *
+ * The dispatcher is intentionally split into small pure helpers so each
+ * deterministic check (terminal classification, short-circuit detection,
+ * directive composition) is unit-testable without DB or process spawning.
+ */
+import type { DaemonConfig, StageDirective } from './types.js';
+import type { FocusDeliveryInfo } from './types.js';
+/**
+ * Model used by close_loop bookkeeper teams. Sonnet because the bookkeeper
+ * is a careful, deterministic role (sweep injections, file escalations);
+ * Opus would be overkill and slower.
+ */
+export declare const CLOSE_LOOP_MODEL = "claude-sonnet-4-6";
+/**
+ * Assembly recipe for the close_loop stage. Composed in dispatcher when
+ * the close_loop directive is synthesized. Persisted nowhere -- the
+ * stage's stored `agent_directive` (if any) is ignored in favor of this
+ * canonical recipe so the bookkeeper framing is deterministic regardless
+ * of how the workflow stage row was seeded.
+ */
+export declare const CLOSE_LOOP_ASSEMBLY_RECIPE: readonly string[];
+/**
+ * Terminal injection statuses for close_loop. An injection is considered
+ * terminal when it is either verified (the bookkeeper called
+ * reality_tree_injection_verify) or has an `injection_unverified`
+ * escalation filed against it. The first is detected by `injectionStatus`;
+ * the second is detected by walking the agent_escalations table -- see
+ * `isInjectionEscalated`.
+ */
+export declare const TERMINAL_INJECTION_STATUSES: readonly string[];
+/**
+ * Return the deliveries in the focus that anchor an injection.
+ *
+ * A delivery anchors an injection when `injection_id` (a column on
+ * org_nodes rows of type='delivery', see migration
+ * 20260510152110_add_injection_id_to_product_deliveries.sql) points at a
+ * reality_tree_nodes row.
+ */
+export declare function getAnchoringDeliveries(deliveries: FocusDeliveryInfo[]): FocusDeliveryInfo[];
+/**
+ * Pure short-circuit predicate -- "does this focus have any anchoring
+ * injections?". If false, close_loop is a no-op and the focus can advance
+ * directly to `done`.
+ */
+export declare function shouldShortCircuitToDone(deliveries: FocusDeliveryInfo[]): boolean;
+/**
+ * Per-injection summary used by termination checks. The dispatcher composes
+ * one of these per anchored injection from a snapshot of:
+ *
+ *   - the injection node's `injectionStatus` (from reality_tree_nodes)
+ *   - whether there is an open `injection_unverified` escalation with
+ *     metadata.injection_id == this injection id (from agent_escalations)
+ */
+export interface InjectionTerminalState {
+    injectionId: string;
+    /** From reality_tree_nodes.injection_status (or null for non-injection nodes). */
+    injectionStatus: string | null;
+    /** Whether an open injection_unverified escalation targets this injection. */
+    hasOpenUnverifiedEscalation: boolean;
+}
+/**
+ * Pure classifier. An injection is terminal for close_loop when:
+ *
+ *   - injectionStatus is `verified`, OR
+ *   - there is an open `injection_unverified` escalation for it
+ *     (this is the "escalated" outcome -- the bookkeeper filed the
+ *     escalation and the focus is now blocked on a human).
+ *
+ * The "open escalation" case keeps the focus at close_loop (status='pending'
+ * or 'in_review') -- this function classifies the escalation as terminal
+ * for the dispatcher's perspective so the daemon does not loop forever
+ * re-spawning the bookkeeper. A human must resolve or dismiss the
+ * escalation; once resolved, the bookkeeper can be re-triggered.
+ */
+export declare function isInjectionTerminal(state: InjectionTerminalState): boolean;
+/**
+ * Pure aggregate predicate -- "are ALL anchored injections terminal?".
+ * Returns true on an empty list (the short-circuit branch handles the
+ * empty case separately, but this is safe to call after the short-circuit
+ * filter).
+ */
+export declare function allInjectionsTerminal(states: InjectionTerminalState[]): boolean;
+/**
+ * Compose the synthetic close_loop StageDirective. Used by the dispatcher
+ * to seed the pending spawn directive map; pure for testability.
+ */
+export declare function buildCloseLoopDirective(): StageDirective;
+/**
+ * Query: are there any pending or in_review injection_unverified escalations
+ * for the given injection ids? Returns the set of injection ids that have
+ * an open escalation.
+ *
+ * Looks at agent_escalations with:
+ *   - escalation_kind = 'injection_unverified'
+ *   - status IN ('pending', 'in_review')
+ *   - metadata->>'injection_id' IN (...)
+ *
+ * The dispatcher uses this to classify "escalated" injections as terminal
+ * for advancement purposes.
+ */
+export interface OpenInjectionEscalationLookup {
+    (params: {
+        organizationId: string;
+        injectionIds: string[];
+    }): Promise<Set<string>>;
+}
+/**
+ * Top-level result of inspecting a focus for close_loop termination.
+ * Tells the caller exactly what to do: short-circuit, spawn, advance to
+ * done, or hold.
+ */
+export type CloseLoopDecision = {
+    kind: 'short_circuit_to_done';
+} | {
+    kind: 'spawn_bookkeeper';
+    directive: StageDirective;
+} | {
+    kind: 'advance_to_done';
+} | {
+    kind: 'hold';
+    reason: string;
+};
+/**
+ * Compute the close_loop decision for a focus given a snapshot of its
+ * deliveries and the terminal state of each anchored injection.
+ *
+ * Pure -- no DB access. Tests pass snapshots in.
+ *
+ * Semantics:
+ *
+ *   - No anchored injections                -> short_circuit_to_done
+ *   - Anchored injections, none yet sweeped -> spawn_bookkeeper
+ *   - All anchored injections terminal      -> advance_to_done
+ *   - Some terminal, some not               -> hold (waiting on bookkeeper)
+ *
+ * The "spawn_bookkeeper" branch is gated on "no sweep has happened yet"
+ * which the caller communicates via `bookkeeperHasRun`. Without this gate
+ * every poll cycle would respawn the bookkeeper while it's still working
+ * (or before a stuck injection's escalation is filed).
+ */
+export declare function decideCloseLoop(deliveries: FocusDeliveryInfo[], injectionStates: InjectionTerminalState[], bookkeeperHasRun: boolean): CloseLoopDecision;
+/**
+ * Sentinel returned by the dispatcher when no action was taken (focus is
+ * not in close_loop stage, or already processed this cycle). Caller can
+ * log it but should not act on it.
+ */
+export interface CloseLoopDispatchOutcome {
+    decision: CloseLoopDecision;
+    /** Anchored injection ids that were inspected (empty on short-circuit). */
+    anchoredInjectionIds: string[];
+}
+/**
+ * Re-exported constant set so tests can assert the kind names used by the
+ * dispatcher in the agent_escalations rows. Keeps the kind string under
+ * a single source of truth in daemon-core.
+ */
+export declare const CLOSE_LOOP_ESCALATION_KINDS: {
+    readonly INJECTION_UNVERIFIED: "injection_unverified";
+    readonly TREE_DRIFT: "tree_drift";
+    readonly INCOMPLETE_PLANNING: "incomplete_planning";
+};
+/**
+ * Configuration knobs accepted by the dispatcher entry point. Exposed so
+ * tests can inject a no-op spawner.
+ */
+export interface CloseLoopDispatcherDeps {
+    /**
+     * Set the pending spawn directive for the focus so the next spawn cycle
+     * delivers the close_loop directive. In production this is the export
+     * from directive-executor; in tests this is a stub.
+     */
+    setPendingSpawnDirective: (focusId: string, directive: {
+        message: string;
+        model: string | null;
+        sessionType: 'coding' | 'review';
+        contentHash: string;
+    }) => void;
+    /** Advance the focus stage on product_focuses.stage. */
+    updateFocusStage: (focusId: string, stage: string) => Promise<void>;
+    /** Lookup open injection_unverified escalations. */
+    lookupOpenInjectionEscalations: OpenInjectionEscalationLookup;
+    /** Build the directive content (assembly resolution + prompt). */
+    assembleDirectiveContent: (config: DaemonConfig, focusId: string, directive: StageDirective, worktreePath: string | null) => Promise<string>;
+    /** Compute the content hash for the synthesized directive. */
+    computeDirectiveHash: (directive: StageDirective) => string;
+}
+//# sourceMappingURL=close-loop-dispatcher.d.ts.map

package/dist/close-loop-dispatcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"close-loop-dispatcher.d.ts","sourceRoot":"","sources":["../src/close-loop-dispatcher.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAOpD;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,sBAAsB,CAAC;AAEpD;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,EAAE,SAAS,MAAM,EAOvD,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,SAAS,MAAM,EAAiB,CAAC;AAM3E;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,CAI3F;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAEjF;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAsB;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,kFAAkF;IAClF,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,8EAA8E;IAC9E,2BAA2B,EAAE,OAAO,CAAC;CACtC;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAQ1E;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,sBAAsB,EAAE,GAAG,OAAO,CAE/E;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,IAAI,cAAc,CAgCxD;AAMD;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,6BAA6B;IAC5C,CAAC,MAAM,EAAE;QACP,cAAc,EAAE,MAAM,CAAC;QACvB,YAAY,EAAE,MAAM,EAAE,CAAC;KACxB,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,GAC3B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAErC;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,iBAAiB,EAAE,EAC/B,eAAe,EAAE,sBAAsB,EAAE,EACzC,gBAAgB,EAAE,OAAO,GACxB,iBAAiB,CAmBnB;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,2EAA2E;IAC3E,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC;AAED;;;;GAIG;AACH,eAAO,MAAM,2BAA2B;;;;CAI9B,CAAC;AAEX;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC;;;;OAIG;IACH,wBAAwB,EAAE,CACxB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE;QACT,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;QACrB,WAAW,EAAE,QAAQ,GAAG,QAAQ,CAAC;QACjC,WAAW,EAAE,MAAM,CAAC;KACrB,KACE,IAAI,CAAC;IACV,wDAAwD;IACxD,gBAAgB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACpE,oDAAoD;IACpD,8BAA8B,EAAE,6BAA6B,CAAC;IAC9D,kEAAkE;IAClE,wBAAwB,EAAE,CACxB,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,MAAM,GAAG,IAAI,KACxB,OAAO,CAAC,MAAM,CAAC,CAAC;IACrB,8DAA8D;IAC9D,oBAAoB,EAAE,CAAC,SAAS,EAAE,cAAc,KAAK,MAAM,CAAC;CAC7D"}

package/dist/close-loop-dispatcher.js

@@ -0,0 +1,207 @@
+/**
+ * Close-loop stage dispatcher.
+ *
+ * Handles focuses entering the `close_loop` workflow stage. Three asymmetric
+ * checks are delegated to the spawned bookkeeper team via the assembled
+ * directive; the dispatcher itself is responsible for the deterministic
+ * pre- and post-conditions:
+ *
+ *   - **Short-circuit on no anchors.** If the focus has no anchoring
+ *     injections, close_loop is a no-op: the dispatcher advances the focus
+ *     directly to `done`. No team is spawned. This matches the
+ *     `no_anchoring_injections_short_circuit` soft guard on
+ *     `verify -> close_loop` in the focus workflow.
+ *
+ *   - **Otherwise, spawn a fresh bookkeeper team** (Sonnet model, fresh
+ *     session) with the close_loop assembly recipe:
+ *         loop.persona(variant=close_loop)
+ *         focus.context
+ *         focus.anchoring_injections
+ *         git.diff_against_base
+ *         delivery.acceptance_criteria
+ *         review.outcomes
+ *     The team handles the per-injection sweep (verified | escalated, no
+ *     third option), the incomplete-planning check, and the tree-drift
+ *     check skeleton (D5 wires `focus.description` through into the
+ *     drift-check prompt section).
+ *
+ *   - **Monitor termination.** Once every anchored injection has reached a
+ *     terminal state (`verified` or has an open `injection_unverified`
+ *     escalation), the dispatcher advances the focus to `done`. While any
+ *     injection is still non-terminal, the focus stays at `close_loop`.
+ *
+ * The dispatcher is intentionally split into small pure helpers so each
+ * deterministic check (terminal classification, short-circuit detection,
+ * directive composition) is unit-testable without DB or process spawning.
+ */
+import { ESCALATION_KINDS } from '@telora/daemon-core';
+// ---------------------------------------------------------------------------
+// Constants
+// ---------------------------------------------------------------------------
+/**
+ * Model used by close_loop bookkeeper teams. Sonnet because the bookkeeper
+ * is a careful, deterministic role (sweep injections, file escalations);
+ * Opus would be overkill and slower.
+ */
+export const CLOSE_LOOP_MODEL = 'claude-sonnet-4-6';
+/**
+ * Assembly recipe for the close_loop stage. Composed in dispatcher when
+ * the close_loop directive is synthesized. Persisted nowhere -- the
+ * stage's stored `agent_directive` (if any) is ignored in favor of this
+ * canonical recipe so the bookkeeper framing is deterministic regardless
+ * of how the workflow stage row was seeded.
+ */
+export const CLOSE_LOOP_ASSEMBLY_RECIPE = [
+    'loop.persona(variant=close_loop)',
+    'focus.context',
+    'focus.anchoring_injections',
+    'git.diff_against_base',
+    'delivery.acceptance_criteria',
+    'review.outcomes',
+];
+/**
+ * Terminal injection statuses for close_loop. An injection is considered
+ * terminal when it is either verified (the bookkeeper called
+ * reality_tree_injection_verify) or has an `injection_unverified`
+ * escalation filed against it. The first is detected by `injectionStatus`;
+ * the second is detected by walking the agent_escalations table -- see
+ * `isInjectionEscalated`.
+ */
+export const TERMINAL_INJECTION_STATUSES = ['verified'];
+// ---------------------------------------------------------------------------
+// Helpers (pure)
+// ---------------------------------------------------------------------------
+/**
+ * Return the deliveries in the focus that anchor an injection.
+ *
+ * A delivery anchors an injection when `injection_id` (a column on
+ * org_nodes rows of type='delivery', see migration
+ * 20260510152110_add_injection_id_to_product_deliveries.sql) points at a
+ * reality_tree_nodes row.
+ */
+export function getAnchoringDeliveries(deliveries) {
+    return deliveries.filter((d) => typeof d.injectionId === 'string' && d.injectionId.length > 0);
+}
+/**
+ * Pure short-circuit predicate -- "does this focus have any anchoring
+ * injections?". If false, close_loop is a no-op and the focus can advance
+ * directly to `done`.
+ */
+export function shouldShortCircuitToDone(deliveries) {
+    return getAnchoringDeliveries(deliveries).length === 0;
+}
+/**
+ * Pure classifier. An injection is terminal for close_loop when:
+ *
+ *   - injectionStatus is `verified`, OR
+ *   - there is an open `injection_unverified` escalation for it
+ *     (this is the "escalated" outcome -- the bookkeeper filed the
+ *     escalation and the focus is now blocked on a human).
+ *
+ * The "open escalation" case keeps the focus at close_loop (status='pending'
+ * or 'in_review') -- this function classifies the escalation as terminal
+ * for the dispatcher's perspective so the daemon does not loop forever
+ * re-spawning the bookkeeper. A human must resolve or dismiss the
+ * escalation; once resolved, the bookkeeper can be re-triggered.
+ */
+export function isInjectionTerminal(state) {
+    if (state.injectionStatus && TERMINAL_INJECTION_STATUSES.includes(state.injectionStatus)) {
+        return true;
+    }
+    if (state.hasOpenUnverifiedEscalation) {
+        return true;
+    }
+    return false;
+}
+/**
+ * Pure aggregate predicate -- "are ALL anchored injections terminal?".
+ * Returns true on an empty list (the short-circuit branch handles the
+ * empty case separately, but this is safe to call after the short-circuit
+ * filter).
+ */
+export function allInjectionsTerminal(states) {
+    return states.every(isInjectionTerminal);
+}
+/**
+ * Compose the synthetic close_loop StageDirective. Used by the dispatcher
+ * to seed the pending spawn directive map; pure for testability.
+ */
+export function buildCloseLoopDirective() {
+    return {
+        execution: 'spawn',
+        compact: null,
+        assembly: [...CLOSE_LOOP_ASSEMBLY_RECIPE],
+        tools: null,
+        prompt: [
+            'You are the close-loop bookkeeper for this focus. Run the three',
+            'asymmetric checks in order:',
+            '',
+            '1. **Per-injection sweep.** For each anchored injection, decide:',
+            '   verified or escalated. No third option. Use',
+            '   telora_reality_tree_injection_verify(injectionId, evidence) for',
+            '   verified; file an `injection_unverified` escalation otherwise.',
+            '',
+            '2. **incomplete_planning check.** Walk the focus deliveries and the',
+            '   git diff. Any delivery that shipped without an anchoring injection,',
+            '   or any "injection-shaped" residual work the focus did not declare,',
+            '   gets one `incomplete_planning` escalation per gap.',
+            '',
+            '3. **tree_drift check.** Compare residual UDEs in the focus tree to',
+            '   the focus.description (the implicit apex). Drift gets a `tree_drift`',
+            '   escalation; in-scope but unresolved UDEs do too. See the',
+            '   "Tree-Focus Apex Drift Check" section of the role framework for',
+            '   the procedure.',
+            '',
+            'You do not advance the focus stage. The daemon advances close_loop',
+            'to done automatically once every anchored injection is terminal',
+            '(verified or has an open injection_unverified escalation).',
+        ].join('\n'),
+        model: CLOSE_LOOP_MODEL,
+    };
+}
+/**
+ * Compute the close_loop decision for a focus given a snapshot of its
+ * deliveries and the terminal state of each anchored injection.
+ *
+ * Pure -- no DB access. Tests pass snapshots in.
+ *
+ * Semantics:
+ *
+ *   - No anchored injections                -> short_circuit_to_done
+ *   - Anchored injections, none yet sweeped -> spawn_bookkeeper
+ *   - All anchored injections terminal      -> advance_to_done
+ *   - Some terminal, some not               -> hold (waiting on bookkeeper)
+ *
+ * The "spawn_bookkeeper" branch is gated on "no sweep has happened yet"
+ * which the caller communicates via `bookkeeperHasRun`. Without this gate
+ * every poll cycle would respawn the bookkeeper while it's still working
+ * (or before a stuck injection's escalation is filed).
+ */
+export function decideCloseLoop(deliveries, injectionStates, bookkeeperHasRun) {
+    if (shouldShortCircuitToDone(deliveries)) {
+        return { kind: 'short_circuit_to_done' };
+    }
+    if (allInjectionsTerminal(injectionStates)) {
+        return { kind: 'advance_to_done' };
+    }
+    if (!bookkeeperHasRun) {
+        return { kind: 'spawn_bookkeeper', directive: buildCloseLoopDirective() };
+    }
+    const total = injectionStates.length;
+    const terminal = injectionStates.filter(isInjectionTerminal).length;
+    return {
+        kind: 'hold',
+        reason: `${terminal}/${total} anchored injections terminal (verified or escalated); waiting on bookkeeper`,
+    };
+}
+/**
+ * Re-exported constant set so tests can assert the kind names used by the
+ * dispatcher in the agent_escalations rows. Keeps the kind string under
+ * a single source of truth in daemon-core.
+ */
+export const CLOSE_LOOP_ESCALATION_KINDS = {
+    INJECTION_UNVERIFIED: ESCALATION_KINDS.INJECTION_UNVERIFIED,
+    TREE_DRIFT: ESCALATION_KINDS.TREE_DRIFT,
+    INCOMPLETE_PLANNING: ESCALATION_KINDS.INCOMPLETE_PLANNING,
+};
+//# sourceMappingURL=close-loop-dispatcher.js.map

package/dist/close-loop-dispatcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"close-loop-dispatcher.js","sourceRoot":"","sources":["../src/close-loop-dispatcher.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAEvD,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAEpD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAsB;IAC3D,kCAAkC;IAClC,eAAe;IACf,4BAA4B;IAC5B,uBAAuB;IACvB,8BAA8B;IAC9B,iBAAiB;CAClB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAsB,CAAC,UAAU,CAAC,CAAC;AAE3E,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAA+B;IACpE,OAAO,UAAU,CAAC,MAAM,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CACrE,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,UAA+B;IACtE,OAAO,sBAAsB,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AACzD,CAAC;AAkBD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAA6B;IAC/D,IAAI,KAAK,CAAC,eAAe,IAAI,2BAA2B,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;QACzF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,2BAA2B,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAgC;IACpE,OAAO,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;AAC3C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB;IACrC,OAAO;QACL,SAAS,EAAE,OAAO;QAClB,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,CAAC,GAAG,0BAA0B,CAAC;QACzC,KAAK,EAAE,IAAI;QACX,MAAM,EAAE;YACN,iEAAiE;YACjE,6BAA6B;YAC7B,EAAE;YACF,kEAAkE;YAClE,gDAAgD;YAChD,oEAAoE;YACpE,mEAAmE;YACnE,EAAE;YACF,qEAAqE;YACrE,wEAAwE;YACxE,uEAAuE;YACvE,uDAAuD;YACvD,EAAE;YACF,qEAAqE;YACrE,yEAAyE;YACzE,6DAA6D;YAC7D,oEAAoE;YACpE,mBAAmB;YACnB,EAAE;YACF,oEAAoE;YACpE,iEAAiE;YACjE,4DAA4D;SAC7D,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,KAAK,EAAE,gBAAgB;KACxB,CAAC;AACJ,CAAC;AAqCD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,eAAe,CAC7B,UAA+B,EAC/B,eAAyC,EACzC,gBAAyB;IAEzB,IAAI,wBAAwB,CAAC,UAAU,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC;IAC3C,CAAC;IAED,IAAI,qBAAqB,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;IACrC,CAAC;IAED,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,uBAAuB,EAAE,EAAE,CAAC;IAC5E,CAAC;IAED,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC;IACrC,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,MAAM,CAAC;IACpE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,GAAG,QAAQ,IAAI,KAAK,8EAA8E;KAC3G,CAAC;AACJ,CAAC;AAaD;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,oBAAoB,EAAE,gBAAgB,CAAC,oBAAoB;IAC3D,UAAU,EAAE,gBAAgB,CAAC,UAAU;IACvC,mBAAmB,EAAE,gBAAgB,CAAC,mBAAmB;CACjD,CAAC"}

package/dist/directive-executor.d.ts

@@ -8,6 +8,7 @@
  */
 import type { DaemonConfig, StageDirective } from './types.js';
 import './assembly-resolvers.js';
+import { type CloseLoopDecision } from './close-loop-dispatcher.js';
 import { createEscalation } from './queries/issues.js';
 /** Seed the last-processed stage for a focus (used on daemon startup). */
 export declare function seedLastProcessedStage(focusId: string, stageId: string): void;
@@ -83,9 +84,33 @@ export declare function getPendingSpawnFocusIds(): string[];
  */
 export declare function assembleDirectiveContent(config: DaemonConfig, focusId: string, directive: StageDirective, worktreePath: string | null): Promise<string>;
 /**
- * Derive the focus's execution phase from its delivery aggregate and
- * update product_focuses.current_workflow_stage_id if the derived phase
- * differs from what's recorded.
+ * Decide which workflow stage name a focus should be in.
+ *
+ * Pure helper, exported for testing. The selection rule is:
+ *   1. If `focus.stage` is one of the new lifecycle stage names
+ *      (`queued`/`verify`/`review`/`close_loop`/`done`), use it directly.
+ *      The denormalized stage is the authoritative signal under the new
+ *      workflow.
+ *   2. Otherwise, fall back to the legacy phase derived from the delivery
+ *      aggregate (kickoff/coding/verifying/reviewing/winding_down/blocked).
+ *
+ * Note: `review_requested_at` is still read by the legacy derivation for
+ * back-compat -- but on the new lifecycle path the `review` stage transition
+ * is driven by writes to `product_focuses.stage`, not by writes to
+ * `review_requested_at`. This is the Issue 1 contract.
+ */
+export declare function resolveFocusStageName(input: {
+    focusStage: string | null | undefined;
+    deliveries: Array<{
+        executionStatus: string | null;
+    }>;
+    reviewRequestedAt: string | null;
+}): string;
+/**
+ * Synchronize `product_focuses.current_workflow_stage_id` with the focus's
+ * authoritative stage. The authoritative stage is taken from `focus.stage`
+ * when it names one of the new lifecycle stages (Issue 1); otherwise the
+ * legacy delivery-aggregate phase derivation applies.
  *
  * Returns the stage ID the focus should be in (post-sync). Falls back to
  * the recorded stage id on error so callers don't have to handle a third
@@ -95,6 +120,12 @@ export declare function syncFocusPhase(focus: {
     focus_id: string;
     current_workflow_stage_id: string | null;
     review_requested_at: string | null;
+    /**
+     * Denormalized lifecycle stage from product_focuses.stage. Optional for
+     * back-compat with old API responses; absence is treated as "fall back to
+     * the legacy phase derivation".
+     */
+    stage?: string | null;
 }): Promise<string | null>;
 /**
  * Result of a bounded-retry attempt to run a directive. The retry is on
@@ -145,6 +176,42 @@ export declare function escalateDirectiveFailure(params: {
 }, deps?: {
     createEscalation: typeof createEscalation;
 }): Promise<void>;
+/** Test helper: clear the bookkeeper-spawned set. */
+export declare function __resetCloseLoopStateForTesting(): void;
+/**
+ * Inspect open escalations and return the set of injection ids that have
+ * an active `injection_unverified` escalation (status pending or
+ * in_review). Used by the close_loop dispatcher to classify "escalated"
+ * injections as terminal.
+ *
+ * The `metadata.injection_id` field is set by the bookkeeper persona when
+ * filing the escalation -- see the close_loop directive prompt.
+ */
+export declare function getOpenInjectionUnverifiedEscalationIds(): Promise<Set<string>>;
+/**
+ * Dispatch the close_loop stage for one focus.
+ *
+ * Reads the focus's anchored deliveries + injection statuses + open
+ * escalations, then runs the pure `decideCloseLoop` to determine whether
+ * to short-circuit, spawn a bookkeeper, advance to done, or hold.
+ *
+ * Returns the decision so the caller (or a test) can log/assert.
+ *
+ * Idempotent across poll cycles -- the `closeLoopBookkeeperSpawned` set
+ * ensures the bookkeeper is spawned at most once per focus visit to
+ * close_loop. Tests reset this via `__resetCloseLoopStateForTesting`.
+ */
+export declare function dispatchCloseLoopStage(config: DaemonConfig, focus: {
+    focus_id: string;
+    focus_name: string;
+}): Promise<CloseLoopDecision>;
+/**
+ * Pure helper exported for tests: build the close_loop directive and verify
+ * it carries the expected assembly + model. The buildCloseLoopDirective
+ * function in close-loop-dispatcher.ts already does this; this is a
+ * dispatcher-side smoke export so the tests can grep through it.
+ */
+export declare function getCloseLoopDirectiveForTesting(): StageDirective;
 /**
  * Check all active focuses for stage changes with directives.
  *

package/dist/directive-executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"directive-executor.d.ts","sourceRoot":"","sources":["../src/directive-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAI/D,OAAO,yBAAyB,CAAC;AAejC,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAYvD,0EAA0E;AAC1E,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAE7E;AAED,2DAA2D;AAC3D,wBAAgB,sBAAsB,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAEpE;AAID;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,WAAW,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACjC;;;;;OAKG;IACH,WAAW,EAAE,MAAM,CAAC;CACrB;AAID;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,cAAc,GAAG,MAAM,CAMtE;AAED;sCACsC;AACtC,eAAO,MAAM,qBAAqB,QAAQ,CAAC;AAE3C;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAC7C,IAAI,EAAE;QAAE,SAAS,EAAE,IAAI,CAAC;QAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,SAAS,CAAC;IAChF,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACb,GAAG,MAAM,GAAG,SAAS,CAMrB;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,MAAM,GAAG,qBAAqB,GAAG,SAAS,CAM/F;AAED;;;;GAIG;AACH,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,qBAAqB,GAC/B,IAAI,CAEN;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAEjE;AAED,wBAAgB,uBAAuB,IAAI,MAAM,EAAE,CAElD;AAID;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,MAAM,GAAG,IAAI,GAC1B,OAAO,CAAC,MAAM,CAAC,CA8CjB;AA8OD;;;;;;;;GAQG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAkCzB;AAID;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,EAAE,EAAE,OAAO,CAAC;IACZ,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC;IACjB,oEAAoE;IACpE,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,sEAAsE;IACtE,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,+DAA+D;IAC/D,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;CAC3D;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CACzC,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EACvB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CAuB7B;AAED;;;;;;GAMG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE;IACN,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB,EACD,IAAI,GAAE;IAAE,gBAAgB,EAAE,OAAO,gBAAgB,CAAA;CAAyB,GACzE,OAAO,CAAC,IAAI,CAAC,CAsCf;AAID;;;;;;;;GAQG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CA0GzE"}
+{"version":3,"file":"directive-executor.d.ts","sourceRoot":"","sources":["../src/directive-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAI/D,OAAO,yBAAyB,CAAC;AAUjC,OAAO,EAKL,KAAK,iBAAiB,EAEvB,MAAM,4BAA4B,CAAC;AAUpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAYvD,0EAA0E;AAC1E,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAE7E;AAED,2DAA2D;AAC3D,wBAAgB,sBAAsB,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAEpE;AAID;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,WAAW,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACjC;;;;;OAKG;IACH,WAAW,EAAE,MAAM,CAAC;CACrB;AAID;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,cAAc,GAAG,MAAM,CAMtE;AAED;sCACsC;AACtC,eAAO,MAAM,qBAAqB,QAAQ,CAAC;AAE3C;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAC7C,IAAI,EAAE;QAAE,SAAS,EAAE,IAAI,CAAC;QAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,SAAS,CAAC;IAChF,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACb,GAAG,MAAM,GAAG,SAAS,CAMrB;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,MAAM,GAAG,qBAAqB,GAAG,SAAS,CAM/F;AAED;;;;GAIG;AACH,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,qBAAqB,GAC/B,IAAI,CAEN;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAEjE;AAED,wBAAgB,uBAAuB,IAAI,MAAM,EAAE,CAElD;AAID;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,MAAM,GAAG,IAAI,GAC1B,OAAO,CAAC,MAAM,CAAC,CA8CjB;AAkQD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC3C,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IACtC,UAAU,EAAE,KAAK,CAAC;QAAE,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IACtD,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC,GAAG,MAAM,CAQT;AAED;;;;;;;;;GASG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAmCzB;AAID;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,EAAE,EAAE,OAAO,CAAC;IACZ,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC;IACjB,oEAAoE;IACpE,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,sEAAsE;IACtE,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,+DAA+D;IAC/D,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;CAC3D;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CACzC,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EACvB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CAuB7B;AAED;;;;;;GAMG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE;IACN,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB,EACD,IAAI,GAAE;IAAE,gBAAgB,EAAE,OAAO,gBAAgB,CAAA;CAAyB,GACzE,OAAO,CAAC,IAAI,CAAC,CAsCf;AAkBD,qDAAqD;AACrD,wBAAgB,+BAA+B,IAAI,IAAI,CAEtD;AAED;;;;;;;;GAQG;AACH,wBAAsB,uCAAuC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAWpF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,sBAAsB,CAC1C,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAC9C,OAAO,CAAC,iBAAiB,CAAC,CAwI5B;AAED;;;;;GAKG;AACH,wBAAgB,+BAA+B,IAAI,cAAc,CAEhE;AAID;;;;;;;;GAQG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CA4HzE"}