@telora/daemon 0.21.26 → 0.21.81

package/dist/verify/verify-restatement.js

@@ -0,0 +1,167 @@
+/**
+ * Verify-time desired-effect reconciliation.
+ *
+ * When the verification engine produces a 'passed' verdict for an injection,
+ * it reconciles the DECLARED desired effect (the UDE's preserved frt_statement,
+ * authored at target time) against the ACHIEVED desired effect re-derived from
+ * the delivery's CITED worktree EVIDENCE (diff, test output, inspection finding)
+ * -- NOT from the targeted UDE's problem text. Each targeted UDE gets a
+ * classification:
+ *
+ *   - match                 -- the achieved outcome realizes the declared intent.
+ *   - legitimate_divergence -- a valid but different outcome (carries a reason).
+ *   - shortfall             -- the achieved outcome falls short of the intent.
+ *
+ * match / legitimate_divergence are carried INTO the verify call as the UDE's
+ * new base statement (+ classification + reason). The edge applies the supplied
+ * prose; it never runs the LLM.
+ *
+ * ASYMMETRY: a shortfall is NEVER carried into verify and NEVER softens the
+ * declared DE. The caller short-circuits the flip and escalates to a human --
+ * reality is moved toward intent, never the reverse. Shortfalls are returned
+ * here so the caller can hold the gate and file the escalation.
+ *
+ * Reuses the de-restatement CLI plumbing via verify-reconciliation (no new
+ * client or secret wiring).
+ *
+ * @module verify-restatement
+ */
+import { callApi as defaultCallApi } from '../queries/shared.js';
+import { reconcileAchievedEffect as defaultReconcile, judgeEvidenceIsEmpty, } from './verify-reconciliation.js';
+/**
+ * Reconcile the achieved outcome against the declared desired effect for each
+ * UDE the injection targets.
+ *
+ * For each targeted UDE:
+ *   - The DECLARED desired effect is the UDE's preserved `frtStatement` (intent
+ *     of record). When absent, there is no declared intent to fall short of, so
+ *     the achieved DE authored from evidence is treated as a match.
+ *   - The ACHIEVED desired effect is authored from the supplied `evidence`
+ *     (diff/tests/inspection), NOT from the UDE problem text.
+ *   - The judgment classifies match / legitimate_divergence / shortfall.
+ *
+ * match / legitimate_divergence -> `restatements` (carried into verify).
+ * shortfall                     -> `shortfalls` (caller holds gate + escalates).
+ *
+ * Best-effort per target: a reconciliation FAILURE (model error / parse error)
+ * is treated as a SHORTFALL -- we cannot prove the achieved outcome realizes the
+ * declared intent, so we do not flip it and we surface it to a human. (This is
+ * the asymmetric-safe default: never flip what you could not reconcile.)
+ *
+ * SCOPE BOUNDARY (intentional): this reconciles ONLY the UDEs the injection
+ * DIRECTLY targets (its `targets` edges). Downstream consequences that resolve
+ * by causal PROPAGATION at verify are NOT reconciled here -- they have no
+ * declared DE to measure against, and their forward prose is authored by the
+ * injection-conditioned draft-assist loop (cascade-restatement.ts), not from raw
+ * code evidence. Verify flips their node_type but leaves verify_classification
+ * null; display falls back to the draft-assist frt_statement. See the matching
+ * note in graph-verification.ts (verifyInjectionImpl, Step 6).
+ *
+ * Returns empty result when focusId is null or the injection is not in the
+ * focus's active tree(s).
+ */
+export async function authorTargetRestatements(injectionNodeId, focusId, evidence, deps = {}, evidenceIncomplete = false) {
+    const callApi = deps.callApi ?? defaultCallApi;
+    const reconcile = deps.reconcile ?? defaultReconcile;
+    const result = { restatements: [], shortfalls: [] };
+    if (!focusId)
+        return result;
+    const treesResp = await callApi('reality_tree_list', { focusId });
+    const trees = (treesResp.items ?? []).filter((t) => t.status === 'active');
+    for (const tree of trees) {
+        const [nodesResp, edgesResp] = await Promise.all([
+            callApi('reality_tree_node_list', { treeId: tree.id, status: 'active' }),
+            callApi('reality_tree_edge_list', { treeId: tree.id }),
+        ]);
+        const nodes = nodesResp.items ?? [];
+        const edges = edgesResp.items ?? [];
+        const nodeById = new Map(nodes.map((n) => [n.id, n]));
+        const injection = nodeById.get(injectionNodeId);
+        if (!injection || injection.nodeType !== 'injection')
+            continue; // not in this tree
+        // The injection lives in THIS tree -- record the tree id so the caller can
+        // surface inward drift proposals (which key off the reality_tree id).
+        result.realityTreeId = tree.id;
+        // A GATE MUST NOT REPORT ITS OWN BLINDNESS AS A VERDICT -- nor its
+        // HALF-blindness. Detect an unjudgeable bundle BEFORE classifying: if there
+        // is at least one declared-DE target to judge but the evidence is either
+        // EMPTY (nothing the achieved DE can be authored from) or INCOMPLETE (the
+        // resolved range does not cover the delivery's recorded commits, so a
+        // verdict would judge only part of the work), decline to classify. Return
+        // the instrument-fault signal instead of running the model (which, blind or
+        // half-blind, would manufacture a shortfall). With no targets there is
+        // nothing to judge -- fall through and let the caller flip as before.
+        const hasTarget = edges.some((e) => {
+            if (e.edgeType !== 'targets' || e.fromNodeId !== injectionNodeId)
+                return false;
+            const t = nodeById.get(e.toNodeId);
+            return !!t && t.nodeType === 'undesired_effect';
+        });
+        if (hasTarget && (judgeEvidenceIsEmpty(evidence) || evidenceIncomplete)) {
+            result.evidenceUnavailable = true;
+            return result; // no verdict rendered; caller holds the gate + escalates
+        }
+        for (const e of edges) {
+            if (e.edgeType !== 'targets' || e.fromNodeId !== injectionNodeId)
+                continue;
+            const target = nodeById.get(e.toNodeId);
+            if (!target || target.nodeType !== 'undesired_effect')
+                continue;
+            // The DECLARED desired effect is the preserved frt_statement (intent of
+            // record). When none was ever authored there is nothing to fall short of.
+            const declared = target.frtStatement && target.frtStatement.trim() !== ''
+                ? target.frtStatement.trim()
+                : null;
+            // The node's ORIGINAL claim for inward-drift framing: the declared DE if
+            // present, else the UDE statement (the assertion reality would contradict).
+            const originalClaim = declared ?? target.statement;
+            let judgment;
+            try {
+                judgment = await reconcile({
+                    declaredStatement: declared ?? '',
+                    evidence,
+                });
+            }
+            catch (err) {
+                // Asymmetric-safe: a reconciliation we could not complete is a shortfall.
+                // We never flip an injection whose achievement we could not verify.
+                result.shortfalls.push({
+                    nodeId: target.id,
+                    declaredStatement: declared ?? target.statement,
+                    achievedStatement: '(reconciliation failed)',
+                    reason: `Reconciliation failed: ${err.message}`,
+                });
+                continue;
+            }
+            const classification = declared
+                ? judgment.classification
+                // No declared intent to measure against -> the evidence-derived outcome
+                // stands on its own as a match (cannot fall short of nothing).
+                : 'match';
+            if (classification === 'shortfall') {
+                result.shortfalls.push({
+                    nodeId: target.id,
+                    declaredStatement: declared ?? target.statement,
+                    achievedStatement: judgment.achievedStatement,
+                    reason: judgment.divergenceReason
+                        ?? 'Achieved outcome falls short of the declared desired effect.',
+                    ...(judgment.diffCitation ? { diffCitation: judgment.diffCitation } : {}),
+                });
+                continue;
+            }
+            const entry = {
+                nodeId: target.id,
+                statement: judgment.achievedStatement,
+                classification,
+                originalClaim,
+            };
+            if (classification === 'legitimate_divergence' && judgment.divergenceReason) {
+                entry.divergenceReason = judgment.divergenceReason;
+            }
+            result.restatements.push(entry);
+        }
+        return result; // injection found and processed
+    }
+    return result;
+}
+//# sourceMappingURL=verify-restatement.js.map

package/dist/verify/verify-restatement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-restatement.js","sourceRoot":"","sources":["../../src/verify/verify-restatement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EACL,uBAAuB,IAAI,gBAAgB,EAC3C,oBAAoB,GAMrB,MAAM,4BAA4B,CAAC;AAkGpC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,eAAuB,EACvB,OAAsB,EACtB,QAAwB,EACxB,OAAqC,EAAE,EACvC,kBAAkB,GAAG,KAAK;IAE1B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,gBAAgB,CAAC;IACrD,MAAM,MAAM,GAA2B,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IAE5B,MAAM,SAAS,GAAG,MAAM,OAAO,CAA0B,mBAAmB,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAE3E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC/C,OAAO,CAAmB,wBAAwB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC1F,OAAO,CAAmB,wBAAwB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAyB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9E,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAChD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,WAAW;YAAE,SAAS,CAAC,mBAAmB;QAEnF,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC;QAE/B,mEAAmE;QACnE,4EAA4E;QAC5E,yEAAyE;QACzE,0EAA0E;QAC1E,sEAAsE;QACtE,0EAA0E;QAC1E,4EAA4E;QAC5E,uEAAuE;QACvE,sEAAsE;QACtE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACjC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,eAAe;gBAAE,OAAO,KAAK,CAAC;YAC/E,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACnC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,kBAAkB,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,SAAS,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,kBAAkB,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,mBAAmB,GAAG,IAAI,CAAC;YAClC,OAAO,MAAM,CAAC,CAAC,yDAAyD;QAC1E,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,eAAe;gBAAE,SAAS;YAC3E,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,kBAAkB;gBAAE,SAAS;YAEhE,wEAAwE;YACxE,0EAA0E;YAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;gBACvE,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE;gBAC5B,CAAC,CAAC,IAAI,CAAC;YACT,yEAAyE;YACzE,4EAA4E;YAC5E,MAAM,aAAa,GAAG,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC;YAEnD,IAAI,QAA2B,CAAC;YAChC,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,SAAS,CAAC;oBACzB,iBAAiB,EAAE,QAAQ,IAAI,EAAE;oBACjC,QAAQ;iBACT,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,0EAA0E;gBAC1E,oEAAoE;gBACpE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;oBACrB,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,iBAAiB,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS;oBAC/C,iBAAiB,EAAE,yBAAyB;oBAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;iBAC3D,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,cAAc,GAAyB,QAAQ;gBACnD,CAAC,CAAC,QAAQ,CAAC,cAAc;gBACzB,wEAAwE;gBACxE,+DAA+D;gBAC/D,CAAC,CAAC,OAAO,CAAC;YAEZ,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;gBACnC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;oBACrB,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,iBAAiB,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS;oBAC/C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;oBAC7C,MAAM,EAAE,QAAQ,CAAC,gBAAgB;2BAC5B,8DAA8D;oBACnE,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC1E,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAsB;gBAC/B,MAAM,EAAE,MAAM,CAAC,EAAE;gBACjB,SAAS,EAAE,QAAQ,CAAC,iBAAiB;gBACrC,cAAc;gBACd,aAAa;aACd,CAAC;YACF,IAAI,cAAc,KAAK,uBAAuB,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;gBAC5E,KAAK,CAAC,gBAAgB,GAAG,QAAQ,CAAC,gBAAgB,CAAC;YACrD,CAAC;YACD,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,gCAAgC;IACjD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/workflow/pipeline-config.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Pipeline-config gate helpers.
+ *
+ * Centralizes the read semantics for `product_focuses.pipeline_config`
+ * fields consumed by the daemon (CI integration→main merge, CD push,
+ * merge-strategy selection). Two important read semantics live here:
+ *
+ *  - `isCiEnabled` defaults to true when the field is missing/undefined
+ *    so legacy focuses that pre-date the CI/CD UI keep their old
+ *    "merge whenever safe" behavior.
+ *  - `isCdEnabled` defaults to false (strict opt-in) because pushing
+ *    to a remote is observable to the outside world and must never
+ *    happen by accident.
+ */
+import type { PipelineConfig } from '../types/focus.js';
+import type { MergeStrategy } from '../git/index.js';
+/**
+ * Resolved CI/CD merge decision derived from a focus's pipelineConfig.
+ * `shouldMerge` directly determines whether mergeIntegrationToMain is called.
+ */
+export interface CiDecision {
+    /** When false, skip the integration→main merge entirely. */
+    shouldMerge: boolean;
+    /** When true, push main to the remote after a successful merge. */
+    pushToRemote: boolean;
+    /** Strategy to pass to the merge invocation. */
+    mergeStrategy: MergeStrategy;
+}
+/**
+ * Returns true when the focus's CI gate should let the integration→main
+ * merge proceed. Only an explicit `ci.enabled === false` skips. Null /
+ * missing config defaults to enabled (backward compatibility).
+ */
+export declare function isCiEnabled(pc: PipelineConfig | null | undefined): boolean;
+/**
+ * Returns true only when the focus has explicitly opted in to pushing
+ * main to the remote after a successful CI merge. Strict-true semantics:
+ * any other value (false / undefined / null pc) returns false.
+ */
+export declare function isCdEnabled(pc: PipelineConfig | null | undefined): boolean;
+/**
+ * Returns true when the focus's auto-review gate should let the daemon
+ * advance `verify -> review`. Mirrors `isCiEnabled`: only an explicit
+ * `review.enabled === false` opts out. Missing / undefined review key,
+ * undefined / null pc all default to enabled.
+ *
+ * This is the default-on semantics: a focus left untouched auto-reviews;
+ * a human (or agent) must store an explicit `review.enabled = false` to
+ * keep finished work sitting in `verify`. The single read-semantics site
+ * for the two daemon auto-review gates (`state-cascade.checkAutoReview`
+ * and `focus-stage-lifecycle.advanceVerifyToReviewIfEnabled`).
+ */
+export declare function isReviewEnabled(pc: PipelineConfig | null | undefined): boolean;
+/**
+ * Return the configured merge strategy, falling back to the system default
+ * when the field is missing. Defaulting is centralized here so the merge
+ * call site doesn't need its own fallback.
+ */
+export declare function getMergeStrategy(pc: PipelineConfig | null | undefined): MergeStrategy;
+/**
+ * Resolve the full CI/CD merge decision from a focus's pipelineConfig.
+ *
+ * `decision.shouldMerge` directly drives whether `mergeIntegrationToMain` is
+ * called — false means skip the merge entirely. When false, `pushToRemote`
+ * is always false (no push without a merge).
+ *
+ * This single function is the canonical test surface for the "called vs.
+ * skipped" invariant: tests assert `shouldMerge` to verify gate behavior
+ * without requiring the full call-site stack to be mocked.
+ */
+export declare function resolveCiDecision(pc: PipelineConfig | null | undefined): CiDecision;
+//# sourceMappingURL=pipeline-config.d.ts.map

package/dist/workflow/pipeline-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline-config.d.ts","sourceRoot":"","sources":["../../src/workflow/pipeline-config.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAIrD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,4DAA4D;IAC5D,WAAW,EAAE,OAAO,CAAC;IACrB,mEAAmE;IACnE,YAAY,EAAE,OAAO,CAAC;IACtB,gDAAgD;IAChD,aAAa,EAAE,aAAa,CAAC;CAC9B;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAE1E;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAE1E;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAE9E;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,GAAG,aAAa,CAErF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,GAAG,UAAU,CAOnF"}

package/dist/workflow/pipeline-config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline-config.js","sourceRoot":"","sources":["../../src/workflow/pipeline-config.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAKH,MAAM,sBAAsB,GAAkB,cAAc,CAAC;AAe7D;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,EAAqC;IAC/D,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,KAAK,KAAK,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,EAAqC;IAC/D,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,KAAK,IAAI,CAAC;AAClC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,EAAqC;IACnE,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,KAAK,KAAK,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAqC;IACpE,OAAO,EAAE,EAAE,EAAE,EAAE,aAAa,IAAI,sBAAsB,CAAC;AACzD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAqC;IACrE,MAAM,WAAW,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IACpC,OAAO;QACL,WAAW;QACX,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK;QACnD,aAAa,EAAE,gBAAgB,CAAC,EAAE,CAAC;KACpC,CAAC;AACJ,CAAC"}

package/dist/workflow/stage-classifier.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Stage classifier — pure functions that classify workflow stages
+ * from metadata, replacing hardcoded status sets.
+ *
+ * Each function checks stage metadata first (is_terminal, is_agent_actionable,
+ * meta_bucket) and falls back to name-based classification for stages
+ * without metadata populated.
+ */
+import type { WorkflowStage, Workflow } from '../types/index.js';
+/** Stage where agent team has work to do (e.g., queued, coding, verify_failed). */
+export declare function isAgentActionable(stage: WorkflowStage): boolean;
+/** Truly terminal — no more work ever (e.g., done, cancelled). */
+export declare function isTerminal(stage: WorkflowStage): boolean;
+/**
+ * Complete enough to cascade upward. A delivery in a cascadable stage
+ * counts as "done" for focus-level progression checks.
+ */
+export declare function isCascadable(stage: WorkflowStage): boolean;
+/**
+ * Blocks subsequent ranked deliveries from being picked up.
+ * Backlog stages, agent-work stages, and paused block.
+ * Review/verify_failed/terminal stages don't block.
+ */
+export declare function isBlocking(stage: WorkflowStage): boolean;
+/** Excluded from cascade checks entirely (cancelled but not done). */
+export declare function isExcludedFromCascade(stage: WorkflowStage): boolean;
+export declare function isStatusAgentActionable(status: string, workflow?: Workflow): boolean;
+export declare function isStatusTerminal(status: string, workflow?: Workflow): boolean;
+export declare function isStatusCascadable(status: string, workflow?: Workflow): boolean;
+export declare function isStatusBlocking(status: string, workflow?: Workflow): boolean;
+export declare function isStatusExcludedFromCascade(status: string, workflow?: Workflow): boolean;
+//# sourceMappingURL=stage-classifier.d.ts.map

package/dist/workflow/stage-classifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stage-classifier.d.ts","sourceRoot":"","sources":["../../src/workflow/stage-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAIjE,mFAAmF;AACnF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAG/D;AAED,kEAAkE;AAClE,wBAAgB,UAAU,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAGxD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAS1D;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAUxD;AAED,sEAAsE;AACtE,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAEnE;AAUD,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,OAAO,CAMpF;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,OAAO,CAM7E;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,OAAO,CAM/E;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,OAAO,CAM7E;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,OAAO,CAMxF"}

package/dist/workflow/stage-classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stage-classifier.js","sourceRoot":"","sources":["../../src/workflow/stage-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAGtD,oEAAoE;AAEpE,mFAAmF;AACnF,MAAM,UAAU,iBAAiB,CAAC,KAAoB;IACpD,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,mBAAmB,CAAC;IAC9E,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC;AAC9F,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,UAAU,CAAC,KAAoB;IAC7C,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,WAAW,CAAC;IAC9D,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,KAAoB;IAC/C,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACpC,wCAAwC;QACxC,IAAI,KAAK,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QACnC,0EAA0E;QAC1E,0BAA0B;QAC1B,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,KAAoB;IAC7C,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACjD,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QAC/C,iEAAiE;QACjE,IAAI,iBAAiB,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAChF,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,qBAAqB,CAAC,KAAoB;IACxD,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;AACpD,CAAC;AAED,oEAAoE;AACpE,8DAA8D;AAE9D,6DAA6D;AAC7D,SAAS,SAAS,CAAC,MAAc,EAAE,QAAkB;IACnD,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAc,EAAE,QAAmB;IACzE,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAI,KAAK;YAAE,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,KAAK,eAAe,CAAC,MAAM,IAAI,MAAM,KAAK,eAAe,CAAC,MAAM,IAAI,MAAM,KAAK,eAAe,CAAC,aAAa,CAAC;AAC5H,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,QAAmB;IAClE,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAI,KAAK;YAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,MAAM,KAAK,eAAe,CAAC,IAAI,IAAI,MAAM,KAAK,eAAe,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,QAAmB;IACpE,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAI,KAAK;YAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IACD,OAAQ,CAAC,eAAe,CAAC,MAAM,EAAE,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,CAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAClH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,QAAmB;IAClE,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAI,KAAK;YAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,CAAE,CAAC,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,eAAe,CAAC,MAAM,EAAE,eAAe,CAAC,aAAa,CAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAClJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAAc,EAAE,QAAmB;IAC7E,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAI,KAAK;YAAE,OAAO,qBAAqB,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,MAAM,KAAK,eAAe,CAAC,SAAS,CAAC;AAC9C,CAAC"}

package/dist/workflow/workflow-engine.d.ts

@@ -0,0 +1,95 @@
+/**
+ * Workflow engine — pure functions for navigating workflow stages.
+ *
+ * The engine is stateless: it takes a Workflow and stage references
+ * and returns stage lookups / transitions. The daemon orchestrates
+ * by calling these functions and updating delivery state accordingly.
+ */
+import type { Workflow, WorkflowStage, WorkflowTransition } from '../types/index.js';
+/**
+ * Get a stage by its ID.
+ * Returns null if no matching stage exists.
+ */
+export declare function getStageById(workflow: Workflow, stageId: string): WorkflowStage | null;
+/**
+ * Get a stage by its name.
+ * Returns null if no matching stage exists.
+ */
+export declare function getStageByName(workflow: Workflow, name: string): WorkflowStage | null;
+/**
+ * Get the next stage after the given stage (by sort_order).
+ * Returns null if the given stage is the last stage.
+ */
+export declare function getNextStage(workflow: Workflow, currentStageId: string): WorkflowStage | null;
+/**
+ * Check if a stage is the terminal (last) stage of the workflow.
+ */
+export declare function isTerminalStage(workflow: Workflow, stageId: string): boolean;
+/**
+ * Get the first stage of the workflow (lowest sort_order).
+ */
+export declare function getFirstStage(workflow: Workflow): WorkflowStage | null;
+/**
+ * Get all allowed transitions from a given stage.
+ * Returns transitions where from_stage_id matches the current stage.
+ * Returns empty array if workflow has no transitions populated.
+ */
+export declare function getAllowedTransitions(workflow: Workflow, currentStageId: string): WorkflowTransition[];
+/**
+ * Get a specific transition between two stages.
+ * Returns null if no matching transition exists or transitions not populated.
+ */
+export declare function getTransition(workflow: Workflow, fromStageId: string, toStageId: string): WorkflowTransition | null;
+/**
+ * Get automatic transitions from a given stage.
+ * Automatic transitions are triggered without human intervention.
+ */
+export declare function getAutomaticTransitions(workflow: Workflow, currentStageId: string): WorkflowTransition[];
+/**
+ * Transition outcome from the workflow engine.
+ * The daemon uses this to update delivery state.
+ */
+export interface TransitionResult {
+    /** The stage to transition to (null means stay on current stage). */
+    nextStage: WorkflowStage | null;
+    /** The workflow transition object, if resolved (null when staying on current stage or no transitions). */
+    workflowTransition: WorkflowTransition | null;
+    /** Whether to merge the agent's branch to integration. */
+    shouldMerge: boolean;
+    /** Whether to trigger a re-poll for the next delivery in the focus. */
+    shouldTriggerRepoll: boolean;
+    /** Session status to record. */
+    sessionStatus: 'completed' | 'failed';
+    /** Human-readable exit reason. */
+    exitReason: string;
+}
+/**
+ * Context for determining workflow transitions after an agent exits.
+ */
+export interface TransitionContext {
+    /** The delivery's effective workflow. */
+    workflow: Workflow;
+    /** The stage the agent was working in. */
+    currentStageId: string;
+    /** Process exit code (0 = clean exit, non-0 = failure). */
+    exitCode: number;
+    /** Number of issues not in 'Done' status. */
+    openIssueCount: number;
+    /** Number of completed + failed sessions for this delivery. */
+    attemptCount: number;
+    /** Maximum retry attempts before escalation. */
+    maxRetries: number;
+    /** Human-readable failure reason (for non-zero exits). */
+    failureReason?: string;
+}
+/**
+ * Determine the transition after an agent exits.
+ *
+ * Encapsulates the same decision logic that was previously hardcoded
+ * in spawner.ts, but expressed in terms of workflow stages.
+ *
+ * When workflow.transitions is populated, also resolves the matching
+ * WorkflowTransition object for guard evaluation.
+ */
+export declare function determineTransition(ctx: TransitionContext): TransitionResult;
+//# sourceMappingURL=workflow-engine.d.ts.map

package/dist/workflow/workflow-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-engine.d.ts","sourceRoot":"","sources":["../../src/workflow/workflow-engine.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAErF;;;GAGG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAEtF;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAErF;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAM7F;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAK5E;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,QAAQ,GAAG,aAAa,GAAG,IAAI,CAGtE;AAMD;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,QAAQ,EAClB,cAAc,EAAE,MAAM,GACrB,kBAAkB,EAAE,CAGtB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,QAAQ,EAClB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAChB,kBAAkB,GAAG,IAAI,CAK3B;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,QAAQ,EAClB,cAAc,EAAE,MAAM,GACrB,kBAAkB,EAAE,CAKtB;AAMD;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qEAAqE;IACrE,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IAChC,0GAA0G;IAC1G,kBAAkB,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC9C,0DAA0D;IAC1D,WAAW,EAAE,OAAO,CAAC;IACrB,uEAAuE;IACvE,mBAAmB,EAAE,OAAO,CAAC;IAC7B,gCAAgC;IAChC,aAAa,EAAE,WAAW,GAAG,QAAQ,CAAC;IACtC,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,yCAAyC;IACzC,QAAQ,EAAE,QAAQ,CAAC;IACnB,0CAA0C;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,QAAQ,EAAE,MAAM,CAAC;IACjB,6CAA6C;IAC7C,cAAc,EAAE,MAAM,CAAC;IACvB,+DAA+D;IAC/D,YAAY,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,0DAA0D;IAC1D,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,iBAAiB,GAAG,gBAAgB,CAwF5E"}

package/dist/workflow/workflow-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-engine.js","sourceRoot":"","sources":["../../src/workflow/workflow-engine.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAAkB,EAAE,OAAe;IAC9D,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,QAAkB,EAAE,IAAY;IAC7D,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC;AAC5D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAAkB,EAAE,cAAsB;IACrE,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAE1B,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/E,OAAO,SAAS,IAAI,IAAI,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,QAAkB,EAAE,OAAe;IACjE,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAEzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;AACrE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,QAAkB;IAC9C,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,0CAA0C;AACvE,CAAC;AAED,+CAA+C;AAC/C,uDAAuD;AACvD,+CAA+C;AAE/C;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAkB,EAClB,cAAsB;IAEtB,IAAI,CAAC,QAAQ,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,cAAc,CAAC,CAAC;AAC9E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAkB,EAClB,WAAmB,EACnB,SAAiB;IAEjB,IAAI,CAAC,QAAQ,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,QAAQ,CAAC,WAAW,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,CACpE,IAAI,IAAI,CAAC;AACZ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAkB,EAClB,cAAsB;IAEtB,IAAI,CAAC,QAAQ,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,QAAQ,CAAC,WAAW,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,cAAc,IAAI,CAAC,CAAC,YAAY,CAC1D,CAAC;AACJ,CAAC;AA6CD;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAsB;IACxD,MAAM,EACJ,QAAQ,EACR,cAAc,EACd,QAAQ,EACR,cAAc,EACd,YAAY,EACZ,UAAU,EACV,aAAa,GACd,GAAG,GAAG,CAAC;IACR,MAAM,YAAY,GAAG,YAAY,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAEzD,qEAAqE;IACrE,MAAM,iBAAiB,GAAG,CAAC,OAA6B,EAA6B,EAAE;QACrF,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAC1B,OAAO,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC;IAEF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,uEAAuE;QACvE,OAAO;YACL,SAAS;YACT,kBAAkB,EAAE,iBAAiB,CAAC,SAAS,CAAC;YAChD,WAAW,EAAE,KAAK;YAClB,mBAAmB,EAAE,KAAK;YAC1B,aAAa,EAAE,QAAQ;YACvB,UAAU,EAAE,8BAA8B,cAAc,EAAE;SAC3D,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,IAAI,cAAc,KAAK,CAAC,EAAE,CAAC;YACzB,uCAAuC;YACvC,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBAChD,WAAW,EAAE,IAAI;gBACjB,mBAAmB,EAAE,IAAI;gBACzB,aAAa,EAAE,WAAW;gBAC1B,UAAU,EAAE,2CAA2C;aACxD,CAAC;QACJ,CAAC;QAED,IAAI,YAAY,GAAG,UAAU,EAAE,CAAC;YAC9B,4EAA4E;YAC5E,OAAO;gBACL,SAAS,EAAE,IAAI,EAAE,wBAAwB;gBACzC,kBAAkB,EAAE,IAAI,EAAE,gBAAgB;gBAC1C,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,aAAa,EAAE,QAAQ;gBACvB,UAAU,EAAE,iCAAiC,cAAc,8CAA8C,YAAY,GAAG,CAAC,OAAO,UAAU,IAAI;aAC/I,CAAC;QACJ,CAAC;QAED,4EAA4E;QAC5E,OAAO;YACL,SAAS;YACT,kBAAkB,EAAE,iBAAiB,CAAC,SAAS,CAAC;YAChD,WAAW,EAAE,IAAI;YACjB,mBAAmB,EAAE,IAAI;YACzB,aAAa,EAAE,WAAW;YAC1B,UAAU,EAAE,kBAAkB,cAAc,qCAAqC,UAAU,IAAI;SAChG,CAAC;IACJ,CAAC;IAED,wCAAwC;IACxC,IAAI,YAAY,GAAG,UAAU,EAAE,CAAC;QAC9B,OAAO;YACL,SAAS,EAAE,IAAI,EAAE,mCAAmC;YACpD,kBAAkB,EAAE,IAAI,EAAE,gBAAgB;YAC1C,WAAW,EAAE,KAAK;YAClB,mBAAmB,EAAE,KAAK;YAC1B,aAAa,EAAE,QAAQ;YACvB,UAAU,EAAE,GAAG,aAAa,IAAI,cAAc,QAAQ,EAAE,yBAAyB,YAAY,GAAG,CAAC,OAAO,UAAU,IAAI;SACvH,CAAC;IACJ,CAAC;IAED,gEAAgE;IAChE,OAAO;QACL,SAAS;QACT,kBAAkB,EAAE,iBAAiB,CAAC,SAAS,CAAC;QAChD,WAAW,EAAE,KAAK;QAClB,mBAAmB,EAAE,KAAK;QAC1B,aAAa,EAAE,QAAQ;QACvB,UAAU,EAAE,GAAG,aAAa,IAAI,cAAc,QAAQ,EAAE,0BAA0B,UAAU,mBAAmB,SAAS,EAAE,IAAI,IAAI,UAAU,oBAAoB;KACjK,CAAC;AACJ,CAAC"}

package/dist/worktree/focus.d.ts

@@ -1,52 +1,16 @@
 /**
- * Focus worktree lifecycle: canonical removal and orphan cleanup.
+ * Focus worktree orphan-classification pure cores.
  *
- * safeRemoveFocusWorktree is the single code path for all focus
- * worktree removals -- it merges before removing and conditionally
- * clears in-memory state.
+ * identifyOrphanWorktrees decides which `agent-*` worktree dirs are orphans
+ * (no matching active focus) -- the irreversible delete decision, so it is
+ * extracted and tested directly. parseWorktreeBranches parses
+ * `git worktree list --porcelain` into a path -> branch map.
  *
- * cleanupOrphanFocusWorktrees scans the worktree directory on startup
- * and removes worktrees that no longer match any active focus.
+ * The stateful lifecycle (safeRemoveFocusWorktree / cleanupOrphanFocusWorktrees)
+ * lives in the top-level worktree.ts, which is the live path
+ * (git.ts -> focus-lifecycle.ts). This module holds only the pure,
+ * directly-tested cores those functions build on.
  */
-import type { DaemonConfig } from '../types.js';
-/**
- * Parameters for the canonical worktree removal function.
- */
-export interface SafeRemoveFocusWorktreeParams {
-    config: DaemonConfig;
-    worktreePath: string;
-    branchName: string;
-    /** Human-readable name for logging and merge commit messages. */
-    deliveryName: string;
-    /** Delivery/focus ID for merge traceability. Falls back to deliveryName. */
-    deliveryId?: string;
-    /** If provided, clears in-memory worktree state on successful removal. */
-    focusId?: string;
-}
-/**
- * Result of a canonical worktree removal attempt.
- */
-export interface SafeRemoveResult {
-    /** Whether the worktree was actually removed from disk. */
-    removed: boolean;
-    /** Whether a merge to integration was attempted and succeeded. */
-    merged: boolean;
-    /** Error message if merge failed. */
-    mergeError?: string;
-}
-/**
- * Canonical focus worktree removal: merge-before-remove + conditional cleanup.
- *
- * Every code path that removes a focus worktree should route through this
- * function. It encapsulates the full lifecycle:
- *   1. Check for unmerged commits on the branch
- *   2. Attempt merge to integration if needed
- *   3. Call removeWorktree with safety guards (handles uncommitted changes)
- *   4. Conditionally clear in-memory state based on whether removal succeeded
- *
- * Returns structured result so callers can count cleaned/preserved and log.
- */
-export declare function safeRemoveFocusWorktree(params: SafeRemoveFocusWorktreeParams): Promise<SafeRemoveResult>;
 /** Minimal active-focus shape needed to derive its expected worktree dir name. */
 export interface ActiveFocusForOrphanScan {
     focus_id: string;
@@ -57,12 +21,12 @@ export interface ActiveFocusForOrphanScan {
  * Identify orphan focus worktree dirs: `agent-*` directories that do NOT
  * correspond to any active focus.
  *
- * Extracted from cleanupOrphanFocusWorktrees because misclassifying a LIVE
- * focus's worktree as an orphan deletes in-flight work -- this is the
- * irreversible decision and must be tested directly. The matching mirrors the
- * spawn-time dir naming (`agent-<role>-<name>-<shortId>`) with a fallback that
- * treats any entry ending in the focus's 8-char short id as belonging to that
- * focus, so a sanitization mismatch can never orphan a live worktree.
+ * Misclassifying a LIVE focus's worktree as an orphan deletes in-flight work --
+ * this is the irreversible decision and must be tested directly. The matching
+ * mirrors the spawn-time dir naming (`agent-<role>-<name>-<shortId>`) with a
+ * fallback that treats any entry ending in the focus's 8-char short id as
+ * belonging to that focus, so a sanitization mismatch can never orphan a live
+ * worktree.
  *
  * Only `agent-*` dirs are ever considered orphans; anything else is left alone.
  */
@@ -74,23 +38,4 @@ export declare function identifyOrphanWorktrees(entries: string[], activeFocuses
  * a blank separator). Detached worktrees (no branch line) are simply absent.
  */
 export declare function parseWorktreeBranches(porcelainOutput: string): Map<string, string>;
-/**
- * Clean up orphan focus worktrees on daemon startup.
- *
- * Scans the worktree directory and cross-references against active
- * focuses (those with assigned agent roles and queued deliveries).
- * Worktrees that don't match any active focus are orphans from a
- * previous daemon run and are cleaned up.
- *
- * Conservative approach:
- * - Safety-commits any uncommitted changes before removal
- * - Checks for unmerged commits before deleting
- * - Logs all actions for auditability
- *
- * @returns Count of orphans cleaned up and preserved
- */
-export declare function cleanupOrphanFocusWorktrees(config: DaemonConfig): Promise<{
-    cleaned: number;
-    preserved: number;
-}>;
 //# sourceMappingURL=focus.d.ts.map

package/dist/worktree/focus.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"focus.d.ts","sourceRoot":"","sources":["../../src/worktree/focus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAchD;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,MAAM,EAAE,YAAY,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,YAAY,EAAE,MAAM,CAAC;IACrB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,2DAA2D;IAC3D,OAAO,EAAE,OAAO,CAAC;IACjB,kEAAkE;IAClE,MAAM,EAAE,OAAO,CAAC;IAChB,qCAAqC;IACrC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAID;;;;;;;;;;;GAWG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,6BAA6B,GACpC,OAAO,CAAC,gBAAgB,CAAC,CA8D3B;AAID,kFAAkF;AAClF,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EAAE,EACjB,aAAa,EAAE,wBAAwB,EAAE,GACxC,MAAM,EAAE,CAuBV;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,eAAe,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAclF;AAID;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,YAAY,GACnB,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,CAoFjD"}
+{"version":3,"file":"focus.d.ts","sourceRoot":"","sources":["../../src/worktree/focus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,kFAAkF;AAClF,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EAAE,EACjB,aAAa,EAAE,wBAAwB,EAAE,GACxC,MAAM,EAAE,CAuBV;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,eAAe,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAclF"}