soloforge 1.1.40 → 1.1.43

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

@@ -1,92 +0,0 @@
-/**
- * 三级确定性门禁 — 状态机阶段执行前检查。
- *
- * 第一级：输入完备性（知识覆盖 + 必需输入 + 生命周期知识门禁）
- * 第二级：方案风险扫描（8 种风险模式 + mini-brainstorm 触发 + 计划前置门禁）
- * 第三级：决策确认（人类确认级别 + 设计产物门禁）
- */
-import type { TaskStage } from "../../workflow/workflow_navigation_contract.js";
-import type { KnowledgeIndexManager } from "../../../knowledge/index_manager.js";
-import type { ProjectConfig, TaskContext } from "../../../types/index.js";
-import { type StageContract } from "../../workflow/workflow_contract_registry.js";
-import type { CertaintyGateResult, PipelineState } from "../../../types/state_machine.js";
-import { type SideEffect } from "../../contracts/tool_invocation_contract_registry.js";
-/** 门禁评估参数 */
-export interface CertaintyGateParams {
-    stage: TaskStage;
-    knowledgeIndex: KnowledgeIndexManager;
-    stageContract?: StageContract;
-    workDescription: string;
-    pipelineState: PipelineState;
-    config: ProjectConfig;
-}
-/**
- * 评估三级确定性门禁。
- *
- * @param params - 门禁评估参数
- * @returns 三级门禁结果
- */
-export declare function evaluateCertaintyGate(params: CertaintyGateParams): CertaintyGateResult;
-/** 计划前置门禁结果 */
-export interface PlanProposalGateResult {
-    allowed: boolean;
-    diagnostic_code?: string;
-    violation_type?: string;
-    reason?: string;
-}
-/**
- * 计划前置门禁 — 写操作前必须有 plan_proposal_gate。
- *
- * 迁移自 gate_checks.ts:checkWriteToolPlanGate，集成到确定性门禁第二级。
- * middleware.ts 从此模块导入，不再依赖 gate_checks.ts。
- */
-export declare function evaluatePlanProposalGate(params: {
-    ctx: TaskContext | null;
-    toolName: string;
-    sideEffects: SideEffect[];
-}): PlanProposalGateResult;
-/** 设计产物门禁结果 */
-export interface DesignArtifactGateResult {
-    allowed: boolean;
-    diagnostic_code?: string;
-    reason?: string;
-}
-/**
- * 设计产物编码门禁 — 依赖设计包的任务，在真实复验完成前不得写入业务实现。
- *
- * 迁移自 gate_checks.ts:checkDesignArtifactWriteGate，集成到确定性门禁第三级。
- * 仅阻断文件/配置/外部交付写入；任务状态、设计文档复验和讨论本身仍可推进。
- */
-export declare function evaluateDesignArtifactGate(params: {
-    ctx: TaskContext | null;
-    toolName: string;
-    sideEffects: SideEffect[];
-}): DesignArtifactGateResult;
-/** 生命周期知识门禁结果 */
-export interface LifecycleKnowledgeGateResult {
-    allowed: boolean;
-    hard_fail_count: number;
-    findings: string[];
-    decision_summary_zh: string;
-    recovery_commands: string[];
-    contract_id: string;
-    lifecycle_stage: string;
-    authoritative_paths: string[];
-}
-/**
- * 生命周期知识门禁 — 检查项目知识 hard rule 是否满足。
- *
- * 迁移自 lifecycle_knowledge_contract.ts:evaluateLifecycleKnowledgeDecision，
- * 集成到确定性门禁第一级。sf_stage_execute/sf_gate_check/sf_stage_advance 必经此门。
- */
-export declare function evaluateLifecycleKnowledgeGate(params: {
-    toolName: string;
-    projectPath: string;
-    config: ProjectConfig;
-    ctx: TaskContext | null;
-    taskId?: string;
-    changedFiles?: string[];
-    sideEffects: SideEffect[];
-}): Promise<LifecycleKnowledgeGateResult>;
-export { GATE_CHECK_TO_CAPABILITY, applyCapabilitySafetyValve } from "./capability_safety_valve.js";
-//# sourceMappingURL=certainty_gate.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"certainty_gate.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/certainty_gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gDAAgD,CAAC;AAChF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,8CAA8C,CAAC;AACrG,OAAO,KAAK,EACV,mBAAmB,EAGnB,aAAa,EACd,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,sDAAsD,CAAC;AAoF3G,aAAa;AACb,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,SAAS,CAAC;IACjB,cAAc,EAAE,qBAAqB,CAAC;IACtC,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,aAAa,CAAC;IAC7B,MAAM,EAAE,aAAa,CAAC;CACvB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,mBAAmB,GAAG,mBAAmB,CAuEtF;AAyLD,eAAe;AACf,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAC/C,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,sBAAsB,CAWzB;AAED,eAAe;AACf,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,OAAO,CAAC;IACjB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IACjD,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,wBAAwB,CAW3B;AAED,iBAAiB;AACjB,MAAM,WAAW,4BAA4B;IAC3C,OAAO,EAAE,OAAO,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,mBAAmB,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED;;;;;GAKG;AACH,wBAAsB,8BAA8B,CAAC,MAAM,EAAE;IAC3D,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;IACtB,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,OAAO,CAAC,4BAA4B,CAAC,CA2DxC;AAGD,OAAO,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC"}

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

@@ -1,391 +0,0 @@
-/**
- * 三级确定性门禁 — 状态机阶段执行前检查。
- *
- * 第一级：输入完备性（知识覆盖 + 必需输入 + 生命周期知识门禁）
- * 第二级：方案风险扫描（8 种风险模式 + mini-brainstorm 触发 + 计划前置门禁）
- * 第三级：决策确认（人类确认级别 + 设计产物门禁）
- */
-import { findStageContract } from "../../workflow/workflow_contract_registry.js";
-import { scanRiskPatterns, getRiskPatternDefinition } from "./risk_pattern_scanner.js";
-import { detectHumanUncertainty } from "./human_uncertainty_detector.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([
-    "需求分析",
-    "架构设计",
-    "详细设计",
-    "编码与单元测试",
-]);
-/** FP 规则到适用阶段的映射 */
-const FP_RULE_STAGE_MAP = {
-    "FP-01": ["需求分析", "架构设计", "详细设计", "编码与单元测试"],
-    "FP-02": ["架构设计", "详细设计"],
-    "FP-03": ["编码与单元测试", "代码审查"],
-    "FP-04": ["编码与单元测试", "代码审查"],
-};
-/** FP 规则关键词模式 */
-const FP_PATTERNS = [
-    {
-        rule: "FP-01",
-        pattern: /(?:做一个|实现一下|开发个|写个)(?!.*(?:目标|需求|用户))/,
-        description_zh: "工作描述含实现关键词但未声明用户目标（fundamental_need）",
-    },
-    {
-        rule: "FP-02",
-        pattern: /(?:因此|所以|于是)(?:采用|选择|决定)(?!.*(?:因为|由于|基于|依据))/,
-        description_zh: "推理链跳跃：直接得出结论但缺少中间推理步骤（推理链完整性不足）",
-    },
-    {
-        rule: "FP-03",
-        pattern: /(?:再次|重新|又一次|重复)(?:修复|处理|解决|修补)/,
-        description_zh: "检测到重复修复模式，可能为表面修复",
-    },
-    {
-        rule: "FP-04",
-        pattern: /(?:重命名|改名|改为|替换为)(?!.*(?:根因|原因|根本))/,
-        description_zh: "检测到关键词替换，可能未解决根本问题",
-    },
-];
-/** 扫描 FP 规则模式命中 */
-function scanFPPatterns(stage, workDescription) {
-    const triggered = [];
-    for (const { rule, pattern } of FP_PATTERNS) {
-        const applicableStages = FP_RULE_STAGE_MAP[rule];
-        if (applicableStages?.includes(stage) && pattern.test(workDescription)) {
-            triggered.push(rule);
-        }
-    }
-    return triggered;
-}
-/**
- * 评估三级确定性门禁。
- *
- * @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, fp_rules_triggered: [] },
-            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, pipelineState);
-    // ── 第三级：决策确认 ──
-    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 {
-        // 知识查询失败时降级为 0 命中（不伪造通过），由门禁自然判定
-        knowledgeHits = 0;
-    }
-    // 检查前置阶段的产出是否存在
-    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, pipelineState) {
-    const matches = scanRiskPatterns(workDescription);
-    const hardFailHits = matches.filter((m) => m.severity === "hard_fail");
-    const hitIds = matches.map((m) => m.pattern_id);
-    // FP 规则扫描（第一性原理推理规则命中检测）
-    const fpRulesTriggered = scanFPPatterns(stage, workDescription);
-    const fpErrorRules = fpRulesTriggered.filter((r) => r === "FP-01" || r === "FP-02");
-    const fpWarningRules = fpRulesTriggered.filter((r) => r === "FP-03" || r === "FP-04");
-    // FP error 规则触发第一性原理，FP warning 规则触发头脑风暴
-    const fpFirstPrinciples = fpErrorRules.length > 0;
-    const fpBrainstorm = fpWarningRules.length > 0;
-    // 人类不确定性信号检测（基于管线状态：回退率、停留时长、重复执行）
-    const uncertaintySignals = detectHumanUncertainty(pipelineState);
-    const hasWarningUncertainty = uncertaintySignals.some((s) => s.severity === "warning");
-    // 不确定性 warning 信号增强 brainstorm 触发（不独立阻断，而是附加触发）
-    const uncertaintyBrainstorm = hasWarningUncertainty && BRAINSTORM_STAGES.has(stage);
-    const brainstormRequired = (hardFailHits.length > 0 && BRAINSTORM_STAGES.has(stage)) || fpBrainstorm || uncertaintyBrainstorm;
-    const firstPrinciplesRequired = (hardFailHits.length > 0 && FIRST_PRINCIPLES_STAGES.has(stage)) || fpFirstPrinciples;
-    // 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 ?? "编写针对性测试验证",
-            knowledge_asset_ref: "templates/procedures/不确定时头脑风暴流程.md",
-        };
-    }
-    else if (fpBrainstorm) {
-        // FP 规则触发的头脑风暴模板
-        brainstormTemplate = {
-            option_a: "按第一性原理推理规则重新审视",
-            option_b: "自行分析根因，需说明推理链",
-            default_strategy: "遵循 FP 规则检查清单",
-            risk_pattern_id: fpWarningRules[0],
-            pros: ["从根因出发避免表面修复"],
-            cons: ["需要更多分析时间"],
-            failure_conditions: ["推理链断裂或未覆盖所有影响面"],
-            verification_method: "对照 FP-03/FP-04 检查清单逐条验证",
-            knowledge_asset_ref: "templates/rules/shared/第一性原理推理规则.md",
-        };
-    }
-    // 通过条件：无 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,
-        fp_rules_triggered: fpRulesTriggered,
-    };
-}
-// ═══════════════════════════════════════════
-// 第三级：决策确认
-// ═══════════════════════════════════════════
-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

@@ -1 +0,0 @@
-{"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,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAmB,MAAM,sDAAsD,CAAC;AAC3G,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAI3E,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,MAAM;IACN,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AAEH,mCAAmC;AACnC,MAAM,uBAAuB,GAA2B,IAAI,GAAG,CAAC;IAC9D,MAAM;IACN,MAAM;IACN,MAAM;IACN,SAAS;CACV,CAAC,CAAC;AAEH,oBAAoB;AACpB,MAAM,iBAAiB,GAAgC;IACrD,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC;IAC5C,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;IAC5B,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,iBAAiB;AACjB,MAAM,WAAW,GAAyE;IACxF;QACE,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,uCAAuC;QAChD,cAAc,EAAE,sCAAsC;KACvD;IACD;QACE,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,+CAA+C;QACxD,cAAc,EAAE,iCAAiC;KAClD;IACD;QACE,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,iCAAiC;QAC1C,cAAc,EAAE,mBAAmB;KACpC;IACD;QACE,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,qCAAqC;QAC9C,cAAc,EAAE,oBAAoB;KACrC;CACF,CAAC;AAEF,mBAAmB;AACnB,SAAS,cAAc,CAAC,KAAgB,EAAE,eAAuB;IAC/D,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,WAAW,EAAE,CAAC;QAC5C,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,gBAAgB,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACvE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAgBD;;;;;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,kBAAkB,EAAE,EAAE,EAAE;YAChK,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,EAAE,aAAa,CAAC,CAAC;IAErE,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,iCAAiC;QACjC,aAAa,GAAG,CAAC,CAAC;IACpB,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,EACvB,aAA4B;IAE5B,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,yBAAyB;IACzB,MAAM,gBAAgB,GAAG,cAAc,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,OAAO,CAAC,CAAC;IACpF,MAAM,cAAc,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,OAAO,CAAC,CAAC;IAEtF,yCAAyC;IACzC,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;IAE/C,mCAAmC;IACnC,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAC;IACjE,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACvF,gDAAgD;IAChD,MAAM,qBAAqB,GAAG,qBAAqB,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAEpF,MAAM,kBAAkB,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,YAAY,IAAI,qBAAqB,CAAC;IAC9H,MAAM,uBAAuB,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,iBAAiB,CAAC;IAErH,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;YACxF,mBAAmB,EAAE,oCAAoC;SAC1D,CAAC;IACJ,CAAC;SAAM,IAAI,YAAY,EAAE,CAAC;QACxB,iBAAiB;QACjB,kBAAkB,GAAG;YACnB,QAAQ,EAAE,gBAAgB;YAC1B,QAAQ,EAAE,eAAe;YACzB,gBAAgB,EAAE,cAAc;YAChC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAkB;YACnD,IAAI,EAAE,CAAC,aAAa,CAAC;YACrB,IAAI,EAAE,CAAC,UAAU,CAAC;YAClB,kBAAkB,EAAE,CAAC,gBAAgB,CAAC;YACtC,mBAAmB,EAAE,yBAAyB;YAC9C,mBAAmB,EAAE,qCAAqC;SAC3D,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;QAClD,kBAAkB,EAAE,gBAAgB;KACrC,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

@@ -1,50 +0,0 @@
-/**
- * 命令状态校验器 — 基于管线阶段校验命令合法性。
- * 基于管线阶段而非路由决策进行命令合法性校验。
- */
-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

@@ -1 +0,0 @@
-{"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"}