soloforge 1.1.37 → 1.1.38

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

@@ -0,0 +1,317 @@
+/**
+ * 三级确定性门禁 — 状态机阶段执行前检查。
+ *
+ * 第一级：输入完备性（知识覆盖 + 必需输入 + 生命周期知识门禁）
+ * 第二级：方案风险扫描（8 种风险模式 + mini-brainstorm 触发 + 计划前置门禁）
+ * 第三级：决策确认（人类确认级别 + 设计产物门禁）
+ */
+import { findStageContract } from "../../workflow/workflow_contract_registry.js";
+import { scanRiskPatterns, getRiskPatternDefinition } from "./risk_pattern_scanner.js";
+import { hasWriteSideEffect } from "../../contracts/tool_invocation_contract_registry.js";
+import { TOOL_DIAGNOSTIC_CODES } from "../../audit/diagnostic_registry.js";
+// ═══════════════════════════════════════════
+// 阶段门禁配置
+// ═══════════════════════════════════════════
+/** 每阶段知识命中最低要求 */
+const MIN_KNOWLEDGE_HITS = {
+    "需求分析": 0,
+    "现有系统分析": 2,
+    "架构设计": 3,
+    "详细设计": 2,
+    "任务规划": 2,
+    "编码与单元测试": 1,
+    "代码审查": 1,
+    "联调验证": 1,
+};
+/** 命中 hard_fail 风险模式时触发 mini-brainstorm 的阶段 */
+const BRAINSTORM_STAGES = new Set([
+    "编码与单元测试",
+    "架构设计",
+]);
+/** 命中 hard_fail 风险模式时触发第一性原理的阶段 */
+const FIRST_PRINCIPLES_STAGES = new Set([
+    "架构设计",
+]);
+/**
+ * 评估三级确定性门禁。
+ *
+ * @param params - 门禁评估参数
+ * @returns 三级门禁结果
+ */
+export function evaluateCertaintyGate(params) {
+    const { stage, knowledgeIndex, workDescription, pipelineState } = params;
+    // 获取阶段契约（传入或从注册表查找）
+    const stageContract = params.stageContract ?? findStageContract(stage);
+    if (!stageContract) {
+        // 无阶段契约时仅返回基本信息，不阻断
+        return {
+            level1: { passed: true, knowledge_hits: 0, min_required: 0, missing_inputs: [] },
+            level2: { passed: true, risk_patterns_hit: [], brainstorm_required: false, brainstorm_template: null, first_principles_required: false },
+            level3: { passed: true, confirmation_level: "auto_resolvable", pending_confirmations: [] },
+            overall_passed: true,
+            checks: [],
+        };
+    }
+    const minRequired = MIN_KNOWLEDGE_HITS[stage] ?? 1;
+    // ── 第一级：输入完备性 ──
+    const level1 = evaluateLevel1(stage, knowledgeIndex, stageContract, pipelineState, minRequired);
+    // ── 第二级：方案风险扫描 ──
+    const level2 = evaluateLevel2(stage, workDescription);
+    // ── 第三级：决策确认 ──
+    const level3 = evaluateLevel3(stageContract);
+    const overallPassed = level1.passed && level2.passed && level3.passed;
+    // 构建扁平 checks 数组
+    const checks = [
+        {
+            check_id: `gate-${stage}-knowledge-coverage`,
+            name_zh: "知识覆盖率",
+            passed: level1.knowledge_hits >= level1.min_required,
+            evidence: `命中 ${level1.knowledge_hits}/${level1.min_required}`,
+            blocking_reason: level1.knowledge_hits < level1.min_required ? "知识命中不足" : undefined,
+            fix_suggestion: level1.knowledge_hits < level1.min_required ? "补充阶段相关知识" : undefined,
+        },
+        {
+            check_id: `gate-${stage}-required-inputs`,
+            name_zh: "必需输入检查",
+            passed: level1.missing_inputs.length === 0,
+            evidence: level1.missing_inputs.length === 0 ? "全部输入已就绪" : `缺失: ${level1.missing_inputs.join(", ")}`,
+            blocking_reason: level1.missing_inputs.length > 0 ? `缺少输入: ${level1.missing_inputs.join(", ")}` : undefined,
+            fix_suggestion: level1.missing_inputs.length > 0 ? "先完成前置阶段的产出" : undefined,
+        },
+        {
+            check_id: `gate-${stage}-risk-patterns`,
+            name_zh: "风险模式扫描",
+            passed: level2.passed,
+            evidence: level2.risk_patterns_hit.length === 0 ? "无风险模式命中" : `命中: ${level2.risk_patterns_hit.join(", ")}`,
+            blocking_reason: !level2.passed ? `风险模式命中: ${level2.risk_patterns_hit.join(", ")}` : undefined,
+            fix_suggestion: !level2.passed ? "查看 brainstorm_template 中的建议" : undefined,
+        },
+        {
+            check_id: `gate-${stage}-confirmation-level`,
+            name_zh: "确认级别",
+            passed: true, // Phase 1 不阻断
+            evidence: `确认级别: ${level3.confirmation_level}`,
+        },
+    ];
+    return {
+        level1,
+        level2,
+        level3,
+        overall_passed: overallPassed,
+        block_reason: overallPassed ? undefined : buildBlockReason(level1, level2, level3),
+        checks,
+    };
+}
+// ═══════════════════════════════════════════
+// 第一级：输入完备性
+// ═══════════════════════════════════════════
+function evaluateLevel1(stage, knowledgeIndex, stageContract, _pipelineState, minRequired) {
+    // 需求分析阶段无前置要求
+    if (stage === "需求分析") {
+        return { passed: true, knowledge_hits: 0, min_required: 0, missing_inputs: [] };
+    }
+    // 查询阶段相关知识的命中数量
+    let knowledgeHits = 0;
+    try {
+        const results = knowledgeIndex.query({ stages: [stage], limit: 100 });
+        knowledgeHits = results.length;
+    }
+    catch {
+        // 知识查询失败时降级：不因知识索引问题阻断执行
+        knowledgeHits = minRequired; // 假定满足最低要求
+    }
+    // 检查前置阶段的产出是否存在
+    const missingInputs = [];
+    if (stageContract.required_inputs.length > 0) {
+        for (const input of stageContract.required_inputs) {
+            // 简化检查：在 pipelineState.stages 的 outputs 中查找
+            const found = _pipelineState.stages.some((s) => s.status === "completed" && s.outputs.some((o) => o.includes(input)));
+            if (!found) {
+                missingInputs.push(input);
+            }
+        }
+    }
+    // 通过条件：知识命中 ≥ 最低要求 且 无缺失输入
+    const passed = knowledgeHits >= minRequired && missingInputs.length === 0;
+    return {
+        passed,
+        knowledge_hits: knowledgeHits,
+        min_required: minRequired,
+        missing_inputs: missingInputs,
+    };
+}
+// ═══════════════════════════════════════════
+// 第二级：方案风险扫描
+// ═══════════════════════════════════════════
+function evaluateLevel2(stage, workDescription) {
+    const matches = scanRiskPatterns(workDescription);
+    const hardFailHits = matches.filter((m) => m.severity === "hard_fail");
+    const hitIds = matches.map((m) => m.pattern_id);
+    const brainstormRequired = hardFailHits.length > 0 && BRAINSTORM_STAGES.has(stage);
+    const firstPrinciplesRequired = hardFailHits.length > 0 && FIRST_PRINCIPLES_STAGES.has(stage);
+    // brainstorm 模板（仅在有 hard_fail 且阶段匹配时生成）
+    let brainstormTemplate = null;
+    if (brainstormRequired && hardFailHits.length > 0) {
+        const hit = hardFailHits[0];
+        const patternDef = getRiskPatternDefinition(hit.pattern_id);
+        brainstormTemplate = {
+            option_a: `采用默认策略：${hit.default_strategy_zh}`,
+            option_b: "自行设计方案，需说明理由",
+            default_strategy: hit.default_strategy_zh,
+            risk_pattern_id: hit.pattern_id,
+            pros: patternDef?.brainstorm_template?.pros ?? ["复用已验证策略"],
+            cons: patternDef?.brainstorm_template?.cons ?? ["需要评估适用性"],
+            failure_conditions: patternDef?.brainstorm_template?.failure_conditions ?? ["未覆盖所有边界情况"],
+            verification_method: patternDef?.brainstorm_template?.verification_method ?? "编写针对性测试验证",
+        };
+    }
+    // 通过条件：无 hard_fail 命中，或不属于 brainstorm 触发阶段
+    // 注意：hard_fail 命中时不阻断执行，而是标记 brainstorm_required
+    // 实际阻断逻辑由调用方（pipeline_state_machine）决定
+    const passed = hardFailHits.length === 0;
+    return {
+        passed,
+        risk_patterns_hit: hitIds,
+        brainstorm_required: brainstormRequired,
+        brainstorm_template: brainstormTemplate,
+        first_principles_required: firstPrinciplesRequired,
+    };
+}
+// ═══════════════════════════════════════════
+// 第三级：决策确认
+// ═══════════════════════════════════════════
+function evaluateLevel3(stageContract) {
+    const humanGates = stageContract.human_gate;
+    if (!humanGates || humanGates.length === 0) {
+        return { passed: true, confirmation_level: "auto_resolvable", pending_confirmations: [] };
+    }
+    // 包含 "require_user_confirm" 关键词的门禁为 must_confirm
+    const mustConfirm = humanGates.filter((g) => g.includes("require_user_confirm") || g.includes("must_confirm"));
+    const shouldConfirm = humanGates.filter((g) => !g.includes("require_user_confirm") && !g.includes("must_confirm"));
+    const confirmationLevel = mustConfirm.length > 0 ? "must_confirm" : shouldConfirm.length > 0 ? "should_confirm" : "auto_resolvable";
+    // Phase 1：第三级门禁不阻断执行，仅记录待确认项
+    // Phase 2 将引入强制确认机制
+    const pendingConfirmations = [...mustConfirm, ...shouldConfirm];
+    return {
+        passed: true, // Phase 1 不阻断
+        confirmation_level: confirmationLevel,
+        pending_confirmations: pendingConfirmations,
+    };
+}
+// ═══════════════════════════════════════════
+// 辅助函数
+// ═══════════════════════════════════════════
+function buildBlockReason(level1, _level2, _level3) {
+    const reasons = [];
+    if (!level1.passed) {
+        if (level1.missing_inputs.length > 0) {
+            reasons.push(`缺少必需输入: ${level1.missing_inputs.join(", ")}`);
+        }
+        if (level1.knowledge_hits < level1.min_required) {
+            reasons.push(`知识命中不足: ${level1.knowledge_hits}/${level1.min_required}`);
+        }
+    }
+    return reasons.length > 0 ? reasons.join("; ") : "门禁未通过";
+}
+/**
+ * 计划前置门禁 — 写操作前必须有 plan_proposal_gate。
+ *
+ * 迁移自 gate_checks.ts:checkWriteToolPlanGate，集成到确定性门禁第二级。
+ * middleware.ts 从此模块导入，不再依赖 gate_checks.ts。
+ */
+export function evaluatePlanProposalGate(params) {
+    if (!hasWriteSideEffect(params.sideEffects))
+        return { allowed: true };
+    if (!params.ctx || !params.ctx.plan_proposal_gate) {
+        return {
+            allowed: false,
+            diagnostic_code: TOOL_DIAGNOSTIC_CODES.planGate,
+            violation_type: "guard_blocked",
+            reason: `工具 ${params.toolName} 执行前缺少 Plan Proposal Gate`,
+        };
+    }
+    return { allowed: true };
+}
+/**
+ * 设计产物编码门禁 — 依赖设计包的任务，在真实复验完成前不得写入业务实现。
+ *
+ * 迁移自 gate_checks.ts:checkDesignArtifactWriteGate，集成到确定性门禁第三级。
+ * 仅阻断文件/配置/外部交付写入；任务状态、设计文档复验和讨论本身仍可推进。
+ */
+export function evaluateDesignArtifactGate(params) {
+    const implementationWrite = params.sideEffects.some((effect) => ["file_write", "config_write", "external_write", "git_commit", "git_push", "pr_create"].includes(effect));
+    if (!implementationWrite || !params.ctx?.design_artifact_pack)
+        return { allowed: true };
+    if (params.ctx.design_artifact_pack.status === "implementation_ready")
+        return { allowed: true };
+    return {
+        allowed: false,
+        diagnostic_code: "SF-DESIGN-PACK-NOT-READY",
+        reason: `工具 ${params.toolName} 依赖的设计产物包状态为 ${params.ctx.design_artifact_pack.status}，未完成真实复验，不得写入实现或交付`,
+    };
+}
+/**
+ * 生命周期知识门禁 — 检查项目知识 hard rule 是否满足。
+ *
+ * 迁移自 lifecycle_knowledge_contract.ts:evaluateLifecycleKnowledgeDecision，
+ * 集成到确定性门禁第一级。sf_stage_execute/sf_gate_check/sf_stage_advance 必经此门。
+ */
+export async function evaluateLifecycleKnowledgeGate(params) {
+    // 仅对管线核心工具执行
+    if (!["sf_stage_execute", "sf_gate_check", "sf_stage_advance"].includes(params.toolName)) {
+        return {
+            allowed: true, hard_fail_count: 0, findings: [],
+            decision_summary_zh: "非管线核心工具，跳过生命周期知识门禁",
+            recovery_commands: [], contract_id: "", lifecycle_stage: "",
+            authoritative_paths: [],
+        };
+    }
+    const { evaluateLifecycleKnowledgeDecision } = await import("../../contracts/lifecycle_knowledge_contract.js");
+    const lifecycleStage = params.toolName === "sf_stage_execute" ? "implementation"
+        : params.toolName === "sf_gate_check" ? "testing" : "delivery";
+    const lifecycleDecision = evaluateLifecycleKnowledgeDecision({
+        projectPath: params.projectPath,
+        consumer: params.toolName,
+        intent: params.ctx?.intent ?? params.toolName,
+        route: params.toolName === "sf_stage_execute" ? "review"
+            : params.toolName === "sf_gate_check" ? "verification" : "delivery",
+        lifecycle_stage: lifecycleStage,
+        changed_files: params.changedFiles ?? params.ctx?.execution?.changed_files ?? [],
+        verified_files: params.changedFiles ?? params.ctx?.execution?.changed_files ?? [],
+        traceability_ids: [
+            ...(params.ctx?.traceability_binding?.requirement_ids ?? []),
+            ...(params.ctx?.traceability_binding?.prototype_ids ?? []),
+            ...(params.ctx?.traceability_binding?.architecture_ids ?? []),
+            ...(params.ctx?.traceability_binding?.detail_design_ids ?? []),
+            ...(params.ctx?.traceability_binding?.phase_ids ?? []),
+            ...(params.ctx?.traceability_binding?.slice_ids ?? []),
+            ...(params.ctx?.traceability_binding?.acceptance_ids ?? []),
+        ],
+        config: params.config,
+        task_id: params.taskId,
+        require_design_audit: false,
+        enforce_control_plane: params.toolName !== "sf_stage_execute",
+        generation_traces: [
+            ...(params.ctx?.classification ? [{ tool_name: "sf_stage_execute", task_id: params.taskId, status: "passed", evidence_kind: "result" }] : []),
+            ...(params.ctx?.expansion ? [{ tool_name: "sf_stage_execute", task_id: params.taskId, status: "passed", evidence_kind: "result" }] : []),
+            ...(params.toolName === "sf_gate_check" ? [{ tool_name: "sf_gate_check", task_id: params.taskId, status: "blocked", evidence_kind: "plan" }] : []),
+        ],
+        selection_limit: 8,
+    });
+    const hardFindings = lifecycleDecision.findings
+        .filter((f) => f.severity === "hard_fail")
+        .map((f) => `[${f.code}] ${f.message_zh}`);
+    return {
+        allowed: lifecycleDecision.hard_fail_count === 0,
+        hard_fail_count: lifecycleDecision.hard_fail_count,
+        findings: hardFindings,
+        decision_summary_zh: lifecycleDecision.decision_summary_zh,
+        recovery_commands: lifecycleDecision.recovery_commands,
+        contract_id: lifecycleDecision.contract_id,
+        lifecycle_stage: lifecycleDecision.lifecycle_stage ?? "",
+        authoritative_paths: Object.values(lifecycleDecision.authoritative_paths).flat(),
+    };
+}
+// 重导出安全阀映射，供外部消费门禁→能力级别映射
+export { GATE_CHECK_TO_CAPABILITY, applyCapabilitySafetyValve } from "./capability_safety_valve.js";
+//# sourceMappingURL=certainty_gate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"certainty_gate.js","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/certainty_gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,EAAE,iBAAiB,EAAsB,MAAM,8CAA8C,CAAC;AAOrG,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACvF,OAAO,EAAE,kBAAkB,EAAmB,MAAM,sDAAsD,CAAC;AAC3G,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAG3E,8CAA8C;AAC9C,SAAS;AACT,8CAA8C;AAE9C,kBAAkB;AAClB,MAAM,kBAAkB,GAA8B;IACpD,MAAM,EAAE,CAAC;IACT,QAAQ,EAAE,CAAC;IACX,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;IACT,SAAS,EAAE,CAAC;IACZ,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC;AAEF,+CAA+C;AAC/C,MAAM,iBAAiB,GAA2B,IAAI,GAAG,CAAC;IACxD,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AAEH,mCAAmC;AACnC,MAAM,uBAAuB,GAA2B,IAAI,GAAG,CAAC;IAC9D,MAAM;CACP,CAAC,CAAC;AAgBH;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA2B;IAC/D,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,GAAG,MAAM,CAAC;IAEzE,oBAAoB;IACpB,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,oBAAoB;QACpB,OAAO;YACL,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE;YAChF,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE;YACxI,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,EAAE,EAAE;YAC1F,cAAc,EAAE,IAAI;YACpB,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAEnD,kBAAkB;IAClB,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAEhG,mBAAmB;IACnB,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAEtD,iBAAiB;IACjB,MAAM,MAAM,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;IAE7C,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC;IAEtE,iBAAiB;IACjB,MAAM,MAAM,GAAoB;QAC9B;YACE,QAAQ,EAAE,QAAQ,KAAK,qBAAqB;YAC5C,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,YAAY;YACpD,QAAQ,EAAE,MAAM,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,YAAY,EAAE;YAC9D,eAAe,EAAE,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;YACnF,cAAc,EAAE,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;SACrF;QACD;YACE,QAAQ,EAAE,QAAQ,KAAK,kBAAkB;YACzC,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YAC1C,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACpG,eAAe,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;YAC3G,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;SAC5E;QACD;YACE,QAAQ,EAAE,QAAQ,KAAK,gBAAgB;YACvC,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,QAAQ,EAAE,MAAM,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC1G,eAAe,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;YAC9F,cAAc,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,SAAS;SAC3E;QACD;YACE,QAAQ,EAAE,QAAQ,KAAK,qBAAqB;YAC5C,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,IAAI,EAAE,cAAc;YAC5B,QAAQ,EAAE,SAAS,MAAM,CAAC,kBAAkB,EAAE;SAC/C;KACF,CAAC;IAEF,OAAO;QACL,MAAM;QACN,MAAM;QACN,MAAM;QACN,cAAc,EAAE,aAAa;QAC7B,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;QAClF,MAAM;KACP,CAAC;AACJ,CAAC;AAED,8CAA8C;AAC9C,YAAY;AACZ,8CAA8C;AAE9C,SAAS,cAAc,CACrB,KAAgB,EAChB,cAAqC,EACrC,aAA4B,EAC5B,cAA6B,EAC7B,WAAmB;IAEnB,cAAc;IACd,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;QACrB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IAClF,CAAC;IAED,gBAAgB;IAChB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACtE,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,yBAAyB;QACzB,aAAa,GAAG,WAAW,CAAC,CAAC,WAAW;IAC1C,CAAC;IAED,gBAAgB;IAChB,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,IAAI,aAAa,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,eAAe,EAAE,CAAC;YAClD,4CAA4C;YAC5C,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAC5E,CAAC;YACF,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,MAAM,MAAM,GAAG,aAAa,IAAI,WAAW,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;IAE1E,OAAO;QACL,MAAM;QACN,cAAc,EAAE,aAAa;QAC7B,YAAY,EAAE,WAAW;QACzB,cAAc,EAAE,aAAa;KAC9B,CAAC;AACJ,CAAC;AAED,8CAA8C;AAC9C,aAAa;AACb,8CAA8C;AAE9C,SAAS,cAAc,CACrB,KAAgB,EAChB,eAAuB;IAEvB,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAC;IAElD,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAEhD,MAAM,kBAAkB,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnF,MAAM,uBAAuB,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAE9F,wCAAwC;IACxC,IAAI,kBAAkB,GAAyD,IAAI,CAAC;IACpF,IAAI,kBAAkB,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,UAAU,GAAG,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5D,kBAAkB,GAAG;YACnB,QAAQ,EAAE,UAAU,GAAG,CAAC,mBAAmB,EAAE;YAC7C,QAAQ,EAAE,cAAc;YACxB,gBAAgB,EAAE,GAAG,CAAC,mBAAmB;YACzC,eAAe,EAAE,GAAG,CAAC,UAAU;YAC/B,IAAI,EAAE,UAAU,EAAE,mBAAmB,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC;YAC1D,IAAI,EAAE,UAAU,EAAE,mBAAmB,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC;YAC1D,kBAAkB,EAAE,UAAU,EAAE,mBAAmB,EAAE,kBAAkB,IAAI,CAAC,WAAW,CAAC;YACxF,mBAAmB,EAAE,UAAU,EAAE,mBAAmB,EAAE,mBAAmB,IAAI,WAAW;SACzF,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,iDAAiD;IACjD,uCAAuC;IACvC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC;IAEzC,OAAO;QACL,MAAM;QACN,iBAAiB,EAAE,MAAM;QACzB,mBAAmB,EAAE,kBAAkB;QACvC,mBAAmB,EAAE,kBAAkB;QACvC,yBAAyB,EAAE,uBAAuB;KACnD,CAAC;AACJ,CAAC;AAED,8CAA8C;AAC9C,WAAW;AACX,8CAA8C;AAE9C,SAAS,cAAc,CAAC,aAA4B;IAClD,MAAM,UAAU,GAAG,aAAa,CAAC,UAAU,CAAC;IAE5C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,EAAE,EAAE,CAAC;IAC5F,CAAC;IAED,iDAAiD;IACjD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IAC/G,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IAEnH,MAAM,iBAAiB,GACrB,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAE5G,6BAA6B;IAC7B,oBAAoB;IACpB,MAAM,oBAAoB,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,aAAa,CAAC,CAAC;IAEhE,OAAO;QACL,MAAM,EAAE,IAAI,EAAE,cAAc;QAC5B,kBAAkB,EAAE,iBAAiB;QACrC,qBAAqB,EAAE,oBAAoB;KAC5C,CAAC;AACJ,CAAC;AAED,8CAA8C;AAC9C,OAAO;AACP,8CAA8C;AAE9C,SAAS,gBAAgB,CACvB,MAAqC,EACrC,OAAsC,EACtC,OAAsC;IAEtC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACnB,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;YAChD,OAAO,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAC3D,CAAC;AAcD;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAIxC;IACC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACtE,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,kBAAkB,EAAE,CAAC;QAClD,OAAO;YACL,OAAO,EAAE,KAAK;YACd,eAAe,EAAE,qBAAqB,CAAC,QAAQ;YAC/C,cAAc,EAAE,eAAe;YAC/B,MAAM,EAAE,MAAM,MAAM,CAAC,QAAQ,2BAA2B;SACzD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,MAI1C;IACC,MAAM,mBAAmB,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7D,CAAC,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CACzG,CAAC;IACF,IAAI,CAAC,mBAAmB,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxF,IAAI,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,KAAK,sBAAsB;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAChG,OAAO;QACL,OAAO,EAAE,KAAK;QACd,eAAe,EAAE,0BAA0B;QAC3C,MAAM,EAAE,MAAM,MAAM,CAAC,QAAQ,gBAAgB,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,oBAAoB;KACxG,CAAC;AACJ,CAAC;AAcD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAAC,MAQpD;IACC,aAAa;IACb,IAAI,CAAC,CAAC,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzF,OAAO;YACL,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE;YAC/C,mBAAmB,EAAE,oBAAoB;YACzC,iBAAiB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE;YAC3D,mBAAmB,EAAE,EAAE;SACxB,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,kCAAkC,EAAE,GAAG,MAAM,MAAM,CAAC,iDAAiD,CAAC,CAAC;IAC/G,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,KAAK,kBAAkB,CAAC,CAAC,CAAC,gBAAgB;QAC9E,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IAEjE,MAAM,iBAAiB,GAAG,kCAAkC,CAAC;QAC3D,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAqE;QACtF,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,IAAI,MAAM,CAAC,QAAQ;QAC7C,KAAK,EAAE,MAAM,CAAC,QAAQ,KAAK,kBAAkB,CAAC,CAAC,CAAC,QAAQ;YACtD,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU;QACrE,eAAe,EAAE,cAAc;QAC/B,aAAa,EAAE,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,aAAa,IAAI,EAAE;QAChF,cAAc,EAAE,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,aAAa,IAAI,EAAE;QACjF,gBAAgB,EAAE;YAChB,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,EAAE,eAAe,IAAI,EAAE,CAAC;YAC5D,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,EAAE,aAAa,IAAI,EAAE,CAAC;YAC1D,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,EAAE,gBAAgB,IAAI,EAAE,CAAC;YAC7D,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,EAAE,iBAAiB,IAAI,EAAE,CAAC;YAC9D,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,EAAE,SAAS,IAAI,EAAE,CAAC;YACtD,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,EAAE,SAAS,IAAI,EAAE,CAAC;YACtD,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,EAAE,cAAc,IAAI,EAAE,CAAC;SAC5D;QACD,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,MAAM,CAAC,MAAM;QACtB,oBAAoB,EAAE,KAAK;QAC3B,qBAAqB,EAAE,MAAM,CAAC,QAAQ,KAAK,kBAAkB;QAC7D,iBAAiB,EAAE;YACjB,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,kBAA2B,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,QAAiB,EAAE,aAAa,EAAE,QAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxK,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,kBAA2B,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,QAAiB,EAAE,aAAa,EAAE,QAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnK,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,eAAwB,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,SAAkB,EAAE,aAAa,EAAE,MAAe,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9K;QACD,eAAe,EAAE,CAAC;KACnB,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,iBAAiB,CAAC,QAAQ;SAC5C,MAAM,CAAC,CAAC,CAA4B,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC;SACpE,GAAG,CAAC,CAAC,CAA4B,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;IAExE,OAAO;QACL,OAAO,EAAE,iBAAiB,CAAC,eAAe,KAAK,CAAC;QAChD,eAAe,EAAE,iBAAiB,CAAC,eAAe;QAClD,QAAQ,EAAE,YAAY;QACtB,mBAAmB,EAAE,iBAAiB,CAAC,mBAAmB;QAC1D,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;QACtD,WAAW,EAAE,iBAAiB,CAAC,WAAW;QAC1C,eAAe,EAAE,iBAAiB,CAAC,eAAe,IAAI,EAAE;QACxD,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAc;KAC7F,CAAC;AACJ,CAAC;AAED,0BAA0B;AAC1B,OAAO,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC"}

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

@@ -0,0 +1,50 @@
+/**
+ * 命令状态校验器 — 基于管线阶段校验命令合法性。
+ * 基于管线阶段而非路由决策进行命令合法性校验。
+ */
+import type { TaskStage } from "../../workflow/workflow_navigation_contract.js";
+/** 校验输入 */
+export interface CommandStateVerifyInput {
+    /** 当前管线阶段 */
+    current_stage: TaskStage;
+    /** 目标阶段（推进/跳转时） */
+    target_stage?: TaskStage;
+    /** 工具名称 */
+    tool_name: string;
+    /** 是否有活跃管线 */
+    has_active_pipeline: boolean;
+    /** 操作类型 */
+    action: "execute" | "advance" | "rollback" | "gate_check" | "status" | "init" | "command" | "next";
+}
+/** 校验发现 */
+export interface CommandStateVerifyFinding {
+    rule_id: string;
+    severity: "hard_fail" | "warning";
+    message_zh: string;
+    recovery?: string;
+}
+/** 校验结果 */
+export interface CommandStateVerifyResult {
+    valid: boolean;
+    findings: CommandStateVerifyFinding[];
+    allowed_actions: string[];
+    blocked_reason_zh: string | null;
+}
+/**
+ * 校验命令状态合法性 — 11 条规则驱动。
+ *
+ * 11 条规则：
+ * 1. init 只能在无活跃管线时调用
+ * 2. execute/advance/rollback 需要 active pipeline
+ * 3. advance 目标必须是合法下一阶段
+ * 4. execute 只在 EXECUTION_ALLOWED_STAGES 阶段允许
+ * 5. rollback 目标必须是合法回退目标
+ * 6. gate_check 任何阶段都可调用
+ * 7. status/command/next 任何状态都可调用
+ * 8. 不能从联调验证推进（最终阶段）
+ * 9. 需求分析阶段不允许 rollback（起始阶段）
+ * 10. 编码与单元测试阶段必须有切片计划才能 execute
+ * 11. 非编码阶段不能执行源码修改操作
+ */
+export declare function verifyCommandState(input: CommandStateVerifyInput): CommandStateVerifyResult;
+//# sourceMappingURL=command_state_verifier.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"command_state_verifier.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/command_state_verifier.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gDAAgD,CAAC;AAGhF,WAAW;AACX,MAAM,WAAW,uBAAuB;IACtC,aAAa;IACb,aAAa,EAAE,SAAS,CAAC;IACzB,mBAAmB;IACnB,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc;IACd,mBAAmB,EAAE,OAAO,CAAC;IAC7B,WAAW;IACX,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;CACpG;AAED,WAAW;AACX,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,WAAW;AACX,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC;AAgCD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,GAAG,wBAAwB,CAwH3F"}

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

@@ -0,0 +1,160 @@
+/**
+ * 命令状态校验器 — 基于管线阶段校验命令合法性。
+ * 基于管线阶段而非路由决策进行命令合法性校验。
+ */
+import { debug } from "../../core/logger.js";
+/** 合法阶段推进路径 */
+const VALID_ADVANCE_PATHS = {
+    "需求分析": ["架构设计", "现有系统分析"],
+    "现有系统分析": ["架构设计"],
+    "架构设计": ["详细设计"],
+    "详细设计": ["任务规划"],
+    "任务规划": ["编码与单元测试"],
+    "编码与单元测试": ["代码审查"],
+    "代码审查": ["联调验证"],
+    "联调验证": [],
+};
+/** 允许执行（源码修改）的阶段 */
+const EXECUTION_ALLOWED_STAGES = ["编码与单元测试"];
+/** 允许回退的阶段 */
+function getRollbackTargets(stage) {
+    const rollbackMap = {
+        "需求分析": [],
+        "现有系统分析": ["需求分析"],
+        "架构设计": ["需求分析"],
+        "详细设计": ["架构设计"],
+        "任务规划": [],
+        "编码与单元测试": ["详细设计"],
+        "代码审查": ["编码与单元测试"],
+        "联调验证": ["编码与单元测试", "架构设计"],
+    };
+    return rollbackMap[stage] ?? [];
+}
+/**
+ * 校验命令状态合法性 — 11 条规则驱动。
+ *
+ * 11 条规则：
+ * 1. init 只能在无活跃管线时调用
+ * 2. execute/advance/rollback 需要 active pipeline
+ * 3. advance 目标必须是合法下一阶段
+ * 4. execute 只在 EXECUTION_ALLOWED_STAGES 阶段允许
+ * 5. rollback 目标必须是合法回退目标
+ * 6. gate_check 任何阶段都可调用
+ * 7. status/command/next 任何状态都可调用
+ * 8. 不能从联调验证推进（最终阶段）
+ * 9. 需求分析阶段不允许 rollback（起始阶段）
+ * 10. 编码与单元测试阶段必须有切片计划才能 execute
+ * 11. 非编码阶段不能执行源码修改操作
+ */
+export function verifyCommandState(input) {
+    const findings = [];
+    const allowedActions = [];
+    // 规则 7: status/command/next 始终允许
+    if (input.action === "status" || input.action === "command" || input.action === "next") {
+        return { valid: true, findings: [], allowed_actions: [input.action], blocked_reason_zh: null };
+    }
+    // 规则 6: gate_check 任何阶段都可调用
+    if (input.action === "gate_check") {
+        return { valid: true, findings: [], allowed_actions: ["gate_check"], blocked_reason_zh: null };
+    }
+    // 规则 1: init 只能在无活跃管线时调用
+    if (input.action === "init") {
+        if (input.has_active_pipeline) {
+            findings.push({
+                rule_id: "CMD-01",
+                severity: "hard_fail",
+                message_zh: "已有活跃管线，不能重复初始化。请先完成或归档当前管线。",
+                recovery: "[sf] 状态 查看当前管线，或 [sf] 归档 归档陈旧管线",
+            });
+        }
+        return { valid: findings.length === 0, findings, allowed_actions: ["init"], blocked_reason_zh: findings.length > 0 ? findings[0].message_zh : null };
+    }
+    // 规则 2: execute/advance/rollback 需要 active pipeline
+    if (!input.has_active_pipeline) {
+        findings.push({
+            rule_id: "CMD-02",
+            severity: "hard_fail",
+            message_zh: "无活跃管线，请先初始化。",
+            recovery: "[sf] 开始 <任务描述>",
+        });
+        return { valid: false, findings, allowed_actions: ["init"], blocked_reason_zh: findings[0].message_zh };
+    }
+    // 规则 3: advance 目标必须是合法下一阶段
+    if (input.action === "advance" && input.target_stage) {
+        const validTargets = VALID_ADVANCE_PATHS[input.current_stage] ?? [];
+        if (!validTargets.includes(input.target_stage)) {
+            findings.push({
+                rule_id: "CMD-03",
+                severity: "hard_fail",
+                message_zh: `阶段 ${input.current_stage} 不能推进到 ${input.target_stage}。合法目标: ${validTargets.join("、") || "无（最终阶段）"}`,
+                recovery: `[sf] 状态 查看当前阶段，[sf] 推进 推进到下一阶段`,
+            });
+        }
+    }
+    // 规则 4: execute 只在允许的阶段可用
+    if (input.action === "execute" && !EXECUTION_ALLOWED_STAGES.includes(input.current_stage)) {
+        findings.push({
+            rule_id: "CMD-04",
+            severity: "hard_fail",
+            message_zh: `阶段 ${input.current_stage} 不允许执行操作。允许执行阶段: ${EXECUTION_ALLOWED_STAGES.join("、")}`,
+            recovery: `[sf] 推进 推进到执行阶段`,
+        });
+    }
+    // 规则 5: rollback 目标必须是合法回退目标
+    if (input.action === "rollback" && input.target_stage) {
+        const rollbackTargets = getRollbackTargets(input.current_stage);
+        if (!rollbackTargets.includes(input.target_stage)) {
+            findings.push({
+                rule_id: "CMD-05",
+                severity: "hard_fail",
+                message_zh: `阶段 ${input.current_stage} 不能回退到 ${input.target_stage}。合法回退目标: ${rollbackTargets.join("、") || "无（起始阶段）"}`,
+                recovery: `[sf] 状态 查看合法回退路径`,
+            });
+        }
+    }
+    // 规则 8: 最终阶段不能推进
+    if (input.action === "advance" && input.current_stage === "联调验证") {
+        findings.push({
+            rule_id: "CMD-08",
+            severity: "warning",
+            message_zh: "联调验证是最终阶段，无法继续推进。",
+            recovery: "[sf] 状态 查看管线完成情况",
+        });
+    }
+    // 规则 9: 起始阶段不能回退
+    if (input.action === "rollback" && input.current_stage === "需求分析") {
+        findings.push({
+            rule_id: "CMD-09",
+            severity: "warning",
+            message_zh: "需求分析是起始阶段，无回退目标。",
+        });
+    }
+    // 规则 11: 非编码阶段不能执行源码修改
+    if (input.action === "execute" && input.tool_name && input.tool_name.includes("write") && !EXECUTION_ALLOWED_STAGES.includes(input.current_stage)) {
+        findings.push({
+            rule_id: "CMD-11",
+            severity: "hard_fail",
+            message_zh: `当前阶段 ${input.current_stage} 不允许源码修改。`,
+            recovery: `推进到编码阶段后再执行修改`,
+        });
+    }
+    // 计算允许的操作
+    allowedActions.push("status", "command", "next");
+    if (input.current_stage !== "联调验证")
+        allowedActions.push("advance");
+    if (getRollbackTargets(input.current_stage).length > 0)
+        allowedActions.push("rollback");
+    allowedActions.push("gate_check");
+    if (EXECUTION_ALLOWED_STAGES.includes(input.current_stage))
+        allowedActions.push("execute");
+    const hardFailFindings = findings.filter(f => f.severity === "hard_fail");
+    const result = {
+        valid: hardFailFindings.length === 0,
+        findings,
+        allowed_actions: allowedActions,
+        blocked_reason_zh: hardFailFindings.length > 0 ? hardFailFindings[0].message_zh : null,
+    };
+    debug("命令状态校验", "阶段=%s 动作=%s 有效=%s 发现=%d", input.current_stage, input.action, result.valid, findings.length);
+    return result;
+}
+//# sourceMappingURL=command_state_verifier.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"command_state_verifier.js","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/command_state_verifier.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAgC7C,eAAe;AACf,MAAM,mBAAmB,GAAmC;IAC1D,MAAM,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,SAAS,CAAC;IACnB,SAAS,EAAE,CAAC,MAAM,CAAC;IACnB,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,EAAE;CACX,CAAC;AAEF,oBAAoB;AACpB,MAAM,wBAAwB,GAAgB,CAAC,SAAS,CAAC,CAAC;AAE1D,cAAc;AACd,SAAS,kBAAkB,CAAC,KAAgB;IAC1C,MAAM,WAAW,GAAmC;QAClD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,CAAC,MAAM,CAAC;QAClB,MAAM,EAAE,CAAC,MAAM,CAAC;QAChB,MAAM,EAAE,CAAC,MAAM,CAAC;QAChB,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,CAAC,SAAS,CAAC;QACnB,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF,OAAO,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;AAClC,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAA8B;IAC/D,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,MAAM,cAAc,GAAa,EAAE,CAAC;IAEpC,iCAAiC;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACvF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;IACjG,CAAC;IAED,4BAA4B;IAC5B,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAClC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,YAAY,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;IACjG,CAAC;IAED,yBAAyB;IACzB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,QAAQ;gBACjB,QAAQ,EAAE,WAAW;gBACrB,UAAU,EAAE,6BAA6B;gBACzC,QAAQ,EAAE,iCAAiC;aAC5C,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvJ,CAAC;IAED,oDAAoD;IACpD,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/B,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,QAAQ;YACjB,QAAQ,EAAE,WAAW;YACrB,UAAU,EAAE,cAAc;YAC1B,QAAQ,EAAE,gBAAgB;SAC3B,CAAC,CAAC;QACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;IAC1G,CAAC;IAED,4BAA4B;IAC5B,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACrD,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QACpE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,QAAQ;gBACjB,QAAQ,EAAE,WAAW;gBACrB,UAAU,EAAE,MAAM,KAAK,CAAC,aAAa,UAAU,KAAK,CAAC,YAAY,UAAU,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE;gBAChH,QAAQ,EAAE,gCAAgC;aAC3C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QAC1F,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,QAAQ;YACjB,QAAQ,EAAE,WAAW;YACrB,UAAU,EAAE,MAAM,KAAK,CAAC,aAAa,oBAAoB,wBAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAC7F,QAAQ,EAAE,iBAAiB;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,6BAA6B;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACtD,MAAM,eAAe,GAAG,kBAAkB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAChE,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,QAAQ;gBACjB,QAAQ,EAAE,WAAW;gBACrB,UAAU,EAAE,MAAM,KAAK,CAAC,aAAa,UAAU,KAAK,CAAC,YAAY,YAAY,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE;gBACrH,QAAQ,EAAE,kBAAkB;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM,EAAE,CAAC;QACjE,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,QAAQ;YACjB,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,mBAAmB;YAC/B,QAAQ,EAAE,kBAAkB;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,iBAAiB;IACjB,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM,EAAE,CAAC;QAClE,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,QAAQ;YACjB,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,uBAAuB;IACvB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QAClJ,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,QAAQ;YACjB,QAAQ,EAAE,WAAW;YACrB,UAAU,EAAE,QAAQ,KAAK,CAAC,aAAa,WAAW;YAClD,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,UAAU;IACV,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM;QAAE,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnE,IAAI,kBAAkB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACxF,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAClC,IAAI,wBAAwB,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC;QAAE,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAE3F,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;IAC1E,MAAM,MAAM,GAA6B;QACvC,KAAK,EAAE,gBAAgB,CAAC,MAAM,KAAK,CAAC;QACpC,QAAQ;QACR,eAAe,EAAE,cAAc;QAC/B,iBAAiB,EAAE,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI;KACvF,CAAC;IAEF,KAAK,CAAC,QAAQ,EAAE,yBAAyB,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7G,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

@@ -0,0 +1,58 @@
+/**
+ * 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 type { PipelineState } from "../../../types/state_machine.js";
+/** 从管线状态提取的精简 Hook 上下文 */
+export interface StageContext {
+    hasPipeline: boolean;
+    pipeline_type?: string;
+    current_stage?: string;
+    stage_status?: string;
+}
+/** 三路分流结果 */
+export interface HookClassifyResult {
+    /** 路径标识 */
+    path: "sf_command" | "dev_nl" | "general_chat";
+    /** 注入指令（general_chat 时为 null） */
+    instruction: string | null;
+    /** 管线上下文 */
+    context: StageContext;
+}
+/**
+ * 同步读取管线状态。
+ *
+ * Hook 是 CLI 子进程，使用同步 I/O 避免异步初始化问题。
+ * 管线 YAML 通常 < 1KB，阻塞时间可忽略。
+ *
+ * @param projectPath - 项目根目录
+ * @returns PipelineState 或 null（无活跃管线或读取失败时）
+ */
+export declare function readPipelineStateSync(projectPath: string): PipelineState | null;
+/**
+ * 从管线状态构建精简 Hook 上下文。
+ *
+ * @param state - PipelineState 或 null
+ * @returns 精简的阶段上下文
+ */
+export declare function buildStageContext(state: PipelineState | null): StageContext;
+/**
+ * 三路分流 — 基于阶段上下文的确定性分流。
+ *
+ * 路径 A: [sf] 命令 → 注入 sf_command 调用指令
+ * 路径 B: 开发关键词 → 注入翻译指令 + 管线状态
+ * 路径 C: 普通对话 → 不注入（静默退出）
+ *
+ * @param input - 用户输入文本
+ * @param context - 阶段上下文（来自 buildStageContext）
+ * @returns 三路分流结果
+ */
+export declare function classifyInput(input: string, context: StageContext): HookClassifyResult;
+//# sourceMappingURL=hook_classifier.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hook_classifier.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/hook_classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAOrE,0BAA0B;AAC1B,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,aAAa;AACb,MAAM,WAAW,kBAAkB;IACjC,WAAW;IACX,IAAI,EAAE,YAAY,GAAG,QAAQ,GAAG,cAAc,CAAC;IAC/C,iCAAiC;IACjC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,YAAY;IACZ,OAAO,EAAE,YAAY,CAAC;CACvB;AAaD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAsB/E;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI,GAAG,YAAY,CAU3E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,YAAY,GACpB,kBAAkB,CA0CpB"}