soloforge 1.1.36 → 1.1.38

package/dist/engine/pipeline/state_machine/hook_classifier.js

@@ -0,0 +1,123 @@
+/**
+ * Hook 分类器 — pre-prompt Hook 三路分流核心模块。
+ *
+ * Phase 2 新增。确定性三路分流（替代旧 NLP 级联路由）：
+ * - 路径 A: [sf] 命令 → 直接转发 sf_command
+ * - 路径 B: 开发关键词 → 注入翻译指令
+ * - 路径 C: 普通对话 → 不注入
+ *
+ * 纯函数（除 readPipelineStateSync 使用同步文件 I/O），零 MCP 依赖。
+ * 被 validate.ts (cmdPrePrompt)、check_write.ts (L1.5) 和测试文件导入。
+ */
+import fss from "node:fs";
+import path from "node:path";
+import YAML from "yaml";
+import { isSfCommand } from "./sf_command_parser.js";
+// ═══════════════════════════════════════════
+// 开发关键词正则（设计文档 15.2 节）
+// ═══════════════════════════════════════════
+const DEV_KEYWORDS = /开发|编码|设计|实现|修复|重构|测试|需求|架构|接口|数据库|开始|推进|回退|继续|代码|部署|上线|发布/;
+// ═══════════════════════════════════════════
+// 公共函数
+// ═══════════════════════════════════════════
+/**
+ * 同步读取管线状态。
+ *
+ * Hook 是 CLI 子进程，使用同步 I/O 避免异步初始化问题。
+ * 管线 YAML 通常 < 1KB，阻塞时间可忽略。
+ *
+ * @param projectPath - 项目根目录
+ * @returns PipelineState 或 null（无活跃管线或读取失败时）
+ */
+export function readPipelineStateSync(projectPath) {
+    const stateDir = path.join(projectPath, ".soloforge", "state");
+    try {
+        // 读取管线指针
+        const pointerPath = path.join(stateDir, "current-pipeline.json");
+        if (!fss.existsSync(pointerPath))
+            return null;
+        const pointer = JSON.parse(fss.readFileSync(pointerPath, "utf-8"));
+        if (!pointer?.pipeline_id)
+            return null;
+        // 读取管线 YAML
+        const pipelinePath = path.join(stateDir, `${pointer.pipeline_id}.yaml`);
+        if (!fss.existsSync(pipelinePath))
+            return null;
+        const content = fss.readFileSync(pipelinePath, "utf-8");
+        const parsed = YAML.parse(content);
+        // 基本结构校验：损坏/不完整的 YAML 可能解析为缺少关键字段的对象
+        if (!parsed || typeof parsed !== "object" || !parsed.current_stage || !Array.isArray(parsed.stages)) {
+            return null;
+        }
+        return parsed;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * 从管线状态构建精简 Hook 上下文。
+ *
+ * @param state - PipelineState 或 null
+ * @returns 精简的阶段上下文
+ */
+export function buildStageContext(state) {
+    if (!state)
+        return { hasPipeline: false };
+    const currentEntry = state.stages.find((s) => s.stage === state.current_stage);
+    return {
+        hasPipeline: true,
+        pipeline_type: state.system_type,
+        current_stage: state.current_stage,
+        stage_status: currentEntry?.status,
+    };
+}
+/**
+ * 三路分流 — 基于阶段上下文的确定性分流。
+ *
+ * 路径 A: [sf] 命令 → 注入 sf_command 调用指令
+ * 路径 B: 开发关键词 → 注入翻译指令 + 管线状态
+ * 路径 C: 普通对话 → 不注入（静默退出）
+ *
+ * @param input - 用户输入文本
+ * @param context - 阶段上下文（来自 buildStageContext）
+ * @returns 三路分流结果
+ */
+export function classifyInput(input, context) {
+    const trimmed = input.trim();
+    // 路径 A: [sf] 命令 → 直接转发
+    if (isSfCommand(trimmed)) {
+        return {
+            path: "sf_command",
+            instruction: "检测到 [sf] 命令。请调用 sf_command 工具，"
+                + "将用户的完整输入作为 text 参数传入，不要修改内容。",
+            context,
+        };
+    }
+    // 路径 B: 开发相关自然语言 → 注入翻译指令
+    if (DEV_KEYWORDS.test(input)) {
+        const pipelineInfo = context.hasPipeline
+            ? `\n当前管线状态：${context.current_stage}（${context.stage_status}）`
+            : "\n当前无活跃管线，建议先调用 [sf] 初始化。";
+        return {
+            path: "dev_nl",
+            instruction: "用户输入涉及开发工作。请将自然语言翻译为等效的 [sf] 命令，"
+                + "然后调用 sf_command 工具，将翻译后的 [sf] 命令作为 text 参数传入。\n"
+                + "翻译规则：\n"
+                + "- 提取动作（开始/推进/回退/检查/状态）→ 映射为 [sf] 动词\n"
+                + "- 提取阶段名（如果可确定）→ 映射为阶段参数\n"
+                + "- 提取具体工作内容 → 作为工作描述保留\n"
+                + "- 如果无法确定阶段，省略阶段名（sf_command 会使用当前阶段）"
+                + pipelineInfo
+                + "\n执行完成后，在回复末尾附上：下次可直接使用：<等效 [sf] 命令>",
+            context,
+        };
+    }
+    // 路径 C: 普通对话 → 不注入
+    return {
+        path: "general_chat",
+        instruction: null,
+        context,
+    };
+}
+//# sourceMappingURL=hook_classifier.js.map

package/dist/engine/pipeline/state_machine/hook_classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook_classifier.js","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/hook_classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,GAAG,MAAM,SAAS,CAAC;AAC1B,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAwBrD,8CAA8C;AAC9C,uBAAuB;AACvB,8CAA8C;AAE9C,MAAM,YAAY,GAChB,2DAA2D,CAAC;AAE9D,8CAA8C;AAC9C,OAAO;AACP,8CAA8C;AAE9C;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,WAAmB;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,CAAC;QACH,SAAS;QACT,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QACjE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAA4B,CAAC;QAC9F,IAAI,CAAC,OAAO,EAAE,WAAW;YAAE,OAAO,IAAI,CAAC;QAEvC,YAAY;QACZ,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,OAAO,CAAC,WAAW,OAAO,CAAC,CAAC;QACxE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAyB,CAAC;QAC3D,qCAAqC;QACrC,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACpG,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAA2B;IAC3D,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAE1C,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,aAAa,CAAC,CAAC;IAC/E,OAAO;QACL,WAAW,EAAE,IAAI;QACjB,aAAa,EAAE,KAAK,CAAC,WAAW;QAChC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,YAAY,EAAE,YAAY,EAAE,MAAM;KACnC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAa,EACb,OAAqB;IAErB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAE7B,uBAAuB;IACvB,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,WAAW,EACT,gCAAgC;kBAC9B,8BAA8B;YAClC,OAAO;SACR,CAAC;IACJ,CAAC;IAED,0BAA0B;IAC1B,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW;YACtC,CAAC,CAAC,YAAY,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,YAAY,GAAG;YAC9D,CAAC,CAAC,2BAA2B,CAAC;QAEhC,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,kCAAkC;kBAChC,iDAAiD;kBACjD,SAAS;kBACT,uCAAuC;kBACvC,2BAA2B;kBAC3B,yBAAyB;kBACzB,sCAAsC;kBACtC,YAAY;kBACZ,sCAAsC;YAC1C,OAAO;SACR,CAAC;IACJ,CAAC;IAED,mBAAmB;IACnB,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,WAAW,EAAE,IAAI;QACjB,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/engine/pipeline/state_machine/human_uncertainty_detector.d.ts

@@ -0,0 +1,33 @@
+/**
+ * 人类不确定性检测 — 基于管线状态信号识别用户犹豫。
+ *
+ * Phase 1 实现简单启发式：
+ * - 回退次数过多
+ * - 阶段停留时间过长
+ * - 反复执行同一阶段
+ *
+ * 纯函数，零 I/O。
+ */
+import type { PipelineState } from "../../../types/state_machine.js";
+import type { TaskStage } from "../../workflow/workflow_navigation_contract.js";
+/** 不确定性信号 */
+export interface UncertaintySignal {
+    /** 信号类型 */
+    signal_type: "high_rollback_rate" | "long_stage_dwell" | "repeated_execution";
+    /** 严重程度 */
+    severity: "info" | "warning";
+    /** 信号描述 */
+    description_zh: string;
+    /** 建议操作 */
+    suggestion: string;
+    /** 关联阶段 */
+    stage?: TaskStage;
+}
+/**
+ * 检测人类不确定性信号。
+ *
+ * @param pipelineState - 管线状态
+ * @returns 不确定性信号列表
+ */
+export declare function detectHumanUncertainty(pipelineState: PipelineState): UncertaintySignal[];
+//# sourceMappingURL=human_uncertainty_detector.d.ts.map

package/dist/engine/pipeline/state_machine/human_uncertainty_detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"human_uncertainty_detector.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/human_uncertainty_detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gDAAgD,CAAC;AAMhF,aAAa;AACb,MAAM,WAAW,iBAAiB;IAChC,WAAW;IACX,WAAW,EAAE,oBAAoB,GAAG,kBAAkB,GAAG,oBAAoB,CAAC;IAC9E,WAAW;IACX,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW;IACX,KAAK,CAAC,EAAE,SAAS,CAAC;CACnB;AAMD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,aAAa,GAAG,iBAAiB,EAAE,CAyDxF"}

package/dist/engine/pipeline/state_machine/human_uncertainty_detector.js

@@ -0,0 +1,72 @@
+/**
+ * 人类不确定性检测 — 基于管线状态信号识别用户犹豫。
+ *
+ * Phase 1 实现简单启发式：
+ * - 回退次数过多
+ * - 阶段停留时间过长
+ * - 反复执行同一阶段
+ *
+ * 纯函数，零 I/O。
+ */
+// ═══════════════════════════════════════════
+// 公共接口
+// ═══════════════════════════════════════════
+/**
+ * 检测人类不确定性信号。
+ *
+ * @param pipelineState - 管线状态
+ * @returns 不确定性信号列表
+ */
+export function detectHumanUncertainty(pipelineState) {
+    const signals = [];
+    // 信号 1: 回退次数过多（≥ 3 次）
+    const rollbackCount = pipelineState.rollback_history.length;
+    if (rollbackCount >= 3) {
+        signals.push({
+            signal_type: "high_rollback_rate",
+            severity: "warning",
+            description_zh: `已回退 ${rollbackCount} 次，决策反复`,
+            suggestion: "建议暂停执行，与用户确认整体方向",
+            stage: pipelineState.current_stage,
+        });
+    }
+    // 信号 2: 阶段停留时间过长（started_at 距今超过 30 分钟）
+    const currentEntry = pipelineState.stages.find((s) => s.stage === pipelineState.current_stage);
+    if (currentEntry?.started_at) {
+        const startedAt = new Date(currentEntry.started_at).getTime();
+        const elapsedMinutes = (Date.now() - startedAt) / (1000 * 60);
+        if (elapsedMinutes > 30) {
+            signals.push({
+                signal_type: "long_stage_dwell",
+                severity: "info",
+                description_zh: `当前阶段 ${pipelineState.current_stage} 已停留 ${Math.round(elapsedMinutes)} 分钟`,
+                suggestion: "检查是否遇到阻碍，考虑是否需要回退或调整方案",
+                stage: pipelineState.current_stage,
+            });
+        }
+    }
+    // 信号 3: 审计日志中同一阶段反复执行（≥ 3 次 execute）
+    if (pipelineState.audit_log) {
+        const executeCounts = new Map();
+        for (const entry of pipelineState.audit_log) {
+            // 通过审计日志推断重复执行
+            if (entry.operation === "advance" && entry.from_stage) {
+                const count = (executeCounts.get(entry.from_stage) ?? 0) + 1;
+                executeCounts.set(entry.from_stage, count);
+            }
+        }
+        for (const [stage, count] of executeCounts) {
+            if (count >= 3) {
+                signals.push({
+                    signal_type: "repeated_execution",
+                    severity: "warning",
+                    description_zh: `阶段 ${stage} 已推进 ${count} 次（含回退后重做）`,
+                    suggestion: "建议与用户确认该阶段的验收标准",
+                    stage,
+                });
+            }
+        }
+    }
+    return signals;
+}
+//# sourceMappingURL=human_uncertainty_detector.js.map

package/dist/engine/pipeline/state_machine/human_uncertainty_detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"human_uncertainty_detector.js","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/human_uncertainty_detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAuBH,8CAA8C;AAC9C,OAAO;AACP,8CAA8C;AAE9C;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,aAA4B;IACjE,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,sBAAsB;IACtB,MAAM,aAAa,GAAG,aAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC;IAC5D,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC;YACX,WAAW,EAAE,oBAAoB;YACjC,QAAQ,EAAE,SAAS;YACnB,cAAc,EAAE,OAAO,aAAa,SAAS;YAC7C,UAAU,EAAE,kBAAkB;YAC9B,KAAK,EAAE,aAAa,CAAC,aAAa;SACnC,CAAC,CAAC;IACL,CAAC;IAED,wCAAwC;IACxC,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,aAAa,CAAC,aAAa,CAC/C,CAAC;IACF,IAAI,YAAY,EAAE,UAAU,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9D,MAAM,cAAc,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QAC9D,IAAI,cAAc,GAAG,EAAE,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC;gBACX,WAAW,EAAE,kBAAkB;gBAC/B,QAAQ,EAAE,MAAM;gBAChB,cAAc,EAAE,QAAQ,aAAa,CAAC,aAAa,QAAQ,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK;gBAC1F,UAAU,EAAE,wBAAwB;gBACpC,KAAK,EAAE,aAAa,CAAC,aAAa;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,aAAa,CAAC,SAAS,EAAE,CAAC;QAC5B,MAAM,aAAa,GAAG,IAAI,GAAG,EAAqB,CAAC;QACnD,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,SAAS,EAAE,CAAC;YAC5C,eAAe;YACf,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACtD,MAAM,KAAK,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,UAAuB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC1E,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,UAAuB,EAAE,KAAK,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,aAAa,EAAE,CAAC;YAC3C,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBACf,OAAO,CAAC,IAAI,CAAC;oBACX,WAAW,EAAE,oBAAoB;oBACjC,QAAQ,EAAE,SAAS;oBACnB,cAAc,EAAE,MAAM,KAAK,QAAQ,KAAK,YAAY;oBACpD,UAAU,EAAE,iBAAiB;oBAC7B,KAAK;iBACN,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/engine/pipeline/state_machine/knowledge_stage_query.d.ts

@@ -0,0 +1,21 @@
+/**
+ * 知识阶段查询 — byStage 查询接口。
+ *
+ * 直接按 TaskStage 查询知识资产，不再依赖 STAGE_ROUTE_MAP 中间映射。
+ */
+import type { TaskStage } from "../../workflow/workflow_navigation_contract.js";
+import type { KnowledgeIndexManager } from "../../../knowledge/index_manager.js";
+/**
+ * 按阶段查询知识资产。
+ *
+ * 优先按 stage 字段查询，知识索引不支持时按路由标签兼容查询。
+ *
+ * @param stage - 任务阶段
+ * @param knowledgeIndex - 知识索引管理器
+ * @param filters - 可选过滤条件
+ * @returns 知识条目数组
+ */
+export declare function queryKnowledgeForStage(stage: TaskStage, knowledgeIndex: KnowledgeIndexManager, filters?: {
+    limit?: number;
+}): unknown[];
+//# sourceMappingURL=knowledge_stage_query.d.ts.map

package/dist/engine/pipeline/state_machine/knowledge_stage_query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge_stage_query.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/knowledge_stage_query.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gDAAgD,CAAC;AAChF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAMjF;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,EAChB,cAAc,EAAE,qBAAqB,EACrC,OAAO,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3B,OAAO,EAAE,CAcX"}

package/dist/engine/pipeline/state_machine/knowledge_stage_query.js

@@ -0,0 +1,33 @@
+/**
+ * 知识阶段查询 — byStage 查询接口。
+ *
+ * 直接按 TaskStage 查询知识资产，不再依赖 STAGE_ROUTE_MAP 中间映射。
+ */
+// ═══════════════════════════════════════════
+// 公共接口
+// ═══════════════════════════════════════════
+/**
+ * 按阶段查询知识资产。
+ *
+ * 优先按 stage 字段查询，知识索引不支持时按路由标签兼容查询。
+ *
+ * @param stage - 任务阶段
+ * @param knowledgeIndex - 知识索引管理器
+ * @param filters - 可选过滤条件
+ * @returns 知识条目数组
+ */
+export function queryKnowledgeForStage(stage, knowledgeIndex, filters) {
+    const limit = filters?.limit ?? 50;
+    // 按阶段查询知识索引
+    try {
+        const results = knowledgeIndex.query({ stages: [stage], limit });
+        if (results.length > 0) {
+            return results;
+        }
+    }
+    catch {
+        // 阶段查询失败，返回空数组
+    }
+    return [];
+}
+//# sourceMappingURL=knowledge_stage_query.js.map

package/dist/engine/pipeline/state_machine/knowledge_stage_query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge_stage_query.js","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/knowledge_stage_query.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,8CAA8C;AAC9C,OAAO;AACP,8CAA8C;AAE9C;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAgB,EAChB,cAAqC,EACrC,OAA4B;IAE5B,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IAEnC,YAAY;IACZ,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,eAAe;IACjB,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/engine/pipeline/state_machine/pipeline_state_machine.d.ts

@@ -0,0 +1,154 @@
+/**
+ * 管线状态机 — 状态转换、阶段序列、持久化、并发锁。
+ *
+ * 初始化 → 阶段执行 → 推进 → 回退 → 门禁检查。
+ *
+ * 持久化格式：YAML 文件（.soloforge/state/pipeline-{id}.yaml）。
+ * 并发控制：乐观锁（lock.version）CAS 校验。
+ */
+import type { TaskStage } from "../../workflow/workflow_navigation_contract.js";
+import type { KnowledgeIndexManager } from "../../../knowledge/index_manager.js";
+import type { ProjectConfig } from "../../../types/index.js";
+import type { PipelineState, PipelineInitResult, StageExecuteResult, StageAdvanceResult, StageRollbackResult, CertaintyGateResult, NextResult, PipelineStatusResult } from "../../../types/state_machine.js";
+import type { SystemType } from "../../../types/base.js";
+export interface ExecuteStageParams {
+    stage?: TaskStage;
+    action?: string;
+    description?: string;
+    task_id?: string;
+    /** 恢复操作：目标阶段 */
+    target_stage?: TaskStage;
+    /** 恢复操作：确认文本 */
+    confirmation_text?: string;
+    knowledgeIndex: KnowledgeIndexManager;
+    config: ProjectConfig;
+}
+export interface AdvanceStageParams {
+    confirmation?: string;
+    task_id?: string;
+    knowledgeIndex: KnowledgeIndexManager;
+    config: ProjectConfig;
+}
+export interface RollbackStageParams {
+    target_stage?: TaskStage;
+    reason: string;
+    task_id?: string;
+}
+export interface CheckGateParams {
+    stage?: TaskStage;
+    task_id?: string;
+    knowledgeIndex: KnowledgeIndexManager;
+    config: ProjectConfig;
+}
+/**
+ * 管线状态机 — 管理单个管线的完整生命周期。
+ *
+ * 使用方式：
+ * ```typescript
+ * const sm = new PipelineStateMachine(stateDir);
+ * const init = await sm.init({ system_type: "新系统", description: "..." });
+ * const exec = await sm.executeStage({ description: "...", knowledgeIndex, config });
+ * const adv = await sm.advanceStage({ knowledgeIndex, config });
+ * ```
+ */
+export declare class PipelineStateMachine {
+    private readonly stateDir;
+    constructor(stateDir: string);
+    /**
+     * 初始化新管线。
+     *
+     * @returns 初始化结果，包含管线 ID 和初始阶段
+     * @throws 管线已存在时返回现有管线信息
+     */
+    init(params: {
+        system_type: SystemType;
+        description: string;
+    }): Promise<PipelineInitResult>;
+    /** 加载指定管线状态 */
+    load(pipelineId: string): Promise<PipelineState | null>;
+    /** 获取当前活跃管线 */
+    getCurrentPipeline(): Promise<PipelineState | null>;
+    /**
+     * 执行阶段工作或恢复操作。
+     *
+     * 标准流程：
+     * 1. 加载管线状态
+     * 2. 运行自诊断
+     * 3. 运行隐私门禁
+     * 4. 运行确定性门禁
+     * 5. 注入知识
+     * 6. 返回执行结果
+     *
+     * 恢复操作：diagnose / repair / jump / reset / archive
+     */
+    executeStage(params: ExecuteStageParams): Promise<StageExecuteResult>;
+    /**
+     * 推进到下一阶段。
+     *
+     * 1. 运行自诊断
+     * 2. 运行当前阶段门禁
+     * 3. 标记当前阶段为 completed
+     * 4. 标记下一阶段为 in_progress
+     * 5. 审计日志 + 持久化
+     */
+    advanceStage(params: AdvanceStageParams): Promise<StageAdvanceResult>;
+    /**
+     * 回退到指定阶段。
+     *
+     * 1. 校验目标阶段在 rollback_targets 中
+     * 2. 审计日志 + 保存快照
+     * 3. 标记中间阶段为 skipped
+     * 4. 收集 stale 产出
+     * 5. 持久化
+     */
+    rollbackStage(params: RollbackStageParams): Promise<StageRollbackResult>;
+    /**
+     * 显式门禁检查（不修改状态）。
+     */
+    checkGate(params: CheckGateParams): Promise<CertaintyGateResult>;
+    /**
+     * 获取下一步导航信息。
+     *
+     * 综合管线状态、项目阶段、可用动作、阻断项和确认项，
+     * 返回完整的导航快照供 AI 和用户参考。
+     */
+    getNext(): Promise<NextResult>;
+    /**
+     * 获取管线全貌快照。
+     *
+     * 返回所有阶段的状态、进度百分比和回退历史。
+     */
+    getPipelineStatus(): Promise<PipelineStatusResult>;
+    /** 诊断：运行自诊断并返回报告 */
+    private handleDiagnose;
+    /** 修复：基于诊断结果自动修复 */
+    private handleRepair;
+    /** 跳转：强确认后跳转到指定阶段 */
+    private handleJump;
+    /** 重置：强确认后清空管线状态 */
+    private handleReset;
+    /** 归档：标记管线为归档状态 */
+    private handleArchive;
+    /** 运行门禁检查（公共逻辑抽取） */
+    private runGateCheck;
+    /** 要求当前有活跃管线，否则抛出错误 */
+    private requireCurrentPipeline;
+    /** 管线 YAML 文件路径 */
+    private pipelinePath;
+    /** 指针文件路径 */
+    private currentPointerPath;
+    /**
+     * 原子保存管线状态 — CAS 乐观锁。
+     *
+     * 写入前先读取磁盘当前版本，比较是否一致。
+     * 版本不匹配时抛出 OptimisticLockError。
+     */
+    private save;
+    /** 读取磁盘上管线的当前版本号 */
+    private readCurrentVersion;
+    /** 写管线指针 */
+    private writePointer;
+    /** 读管线指针 */
+    private readPointer;
+}
+//# sourceMappingURL=pipeline_state_machine.d.ts.map

package/dist/engine/pipeline/state_machine/pipeline_state_machine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline_state_machine.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/pipeline_state_machine.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAOH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gDAAgD,CAAC;AAChF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,EACV,aAAa,EAEb,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,mBAAmB,EAEnB,UAAU,EAIV,oBAAoB,EAGrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAkBzD,MAAM,WAAW,kBAAkB;IACjC,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gBAAgB;IAChB,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,gBAAgB;IAChB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,cAAc,EAAE,qBAAqB,CAAC;IACtC,MAAM,EAAE,aAAa,CAAC;CACvB;AAED,MAAM,WAAW,kBAAkB;IACjC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,qBAAqB,CAAC;IACtC,MAAM,EAAE,aAAa,CAAC;CACvB;AAED,MAAM,WAAW,mBAAmB;IAClC,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,qBAAqB,CAAC;IACtC,MAAM,EAAE,aAAa,CAAC;CACvB;AAED;;;;;;;;;;GAUG;AACH,qBAAa,oBAAoB;IACnB,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAR,QAAQ,EAAE,MAAM;IAI7C;;;;;OAKG;IACG,IAAI,CAAC,MAAM,EAAE;QAAE,WAAW,EAAE,UAAU,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAmFjG,eAAe;IACT,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAY7D,eAAe;IACT,kBAAkB,IAAI,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAQzD;;;;;;;;;;;;OAYG;IACG,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAgJ3E;;;;;;;;OAQG;IACG,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IA+F3E;;;;;;;;OAQG;IACG,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IA+G9E;;OAEG;IACG,SAAS,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAQtE;;;;;OAKG;IACG,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC;IA6EpC;;;;OAIG;IACG,iBAAiB,IAAI,OAAO,CAAC,oBAAoB,CAAC;IA6CxD,oBAAoB;YACN,cAAc;IAmB5B,oBAAoB;YACN,YAAY;IAsD1B,qBAAqB;YACP,UAAU;IAoGxB,oBAAoB;YACN,WAAW;IA6DzB,mBAAmB;YACL,aAAa;IAqC3B,qBAAqB;YACP,YAAY;IA2B1B,uBAAuB;YACT,sBAAsB;IAQpC,mBAAmB;IACnB,OAAO,CAAC,YAAY;IAIpB,aAAa;IACb,OAAO,CAAC,kBAAkB;IAI1B;;;;;OAKG;YACW,IAAI;IAqClB,oBAAoB;YACN,kBAAkB;IAWhC,YAAY;YACE,YAAY;IAK1B,YAAY;YACE,WAAW;CAS1B"}