soloforge 1.1.40 → 1.1.43

package/dist/gate/gate_checks.d.ts

@@ -0,0 +1,86 @@
+/**
+ * Gate Checks — MCP 工具层模块。
+ *
+ * 职责边界：
+ * - 负责：checkWriteToolPlanGate 等 MCP 工具层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：MCP Server 工具注册（registerTools）
+ * 调用谁：index、task_context、tool_invocation_contract_registry、diagnostic_registry、architecture_decision_workshop、extension_platform_contracts
+ *
+ * 数据流：MCP 请求 → 工具调度 → 执行 → MCP 响应
+ * 持久化：无持久化（纯计算/内存态）
+ */
+import type { TaskContext } from "../types/index.js";
+import type { TaskContextManager } from "../core/task_context.js";
+import { type SideEffect } from "../gate/contracts/tool_invocation_contract_registry.js";
+import type { ArchitectureProjectContext } from "../verify/contracts/architecture_decision_workshop.js";
+export declare function checkWriteToolPlanGate(params: {
+    ctx: TaskContext | null;
+    toolName: string;
+    sideEffects: SideEffect[];
+}): {
+    allowed: boolean;
+    diagnostic_code?: string;
+    violation_type?: string;
+    reason?: string;
+    warning?: string;
+};
+/**
+ * 施工指令契约门 — 写操作前检查施工指令完整性。
+ * 通过引擎模块函数真实消费。
+ * 调用链 1: registerInstructionIssueCandidate（无契约时创建候选 draft）
+ * 调用链 2: enforceInstructionBeforeImplementation → checkInstructionCompleteness → validateInstructionContract
+ */
+export declare function checkInstructionContractGate(params: {
+    ctx: TaskContext | null;
+    toolName: string;
+    sideEffects: SideEffect[];
+    task_id?: string;
+    taskContextMgr?: TaskContextManager;
+}): Promise<{
+    allowed: boolean;
+    diagnostic_code?: string;
+    violation_type?: string;
+    reason?: string;
+    findings?: string[];
+    warning?: string;
+}>;
+/**
+ * 设计产物编码门 — 依赖设计包的任务，在真实复验完成前不得写入业务实现。
+ * 仅阻断文件/配置/外部交付写入；任务状态、设计文档复验和讨论本身仍可推进。
+ */
+export declare function checkDesignArtifactWriteGate(params: {
+    ctx: TaskContext | null;
+    toolName: string;
+    sideEffects: SideEffect[];
+}): {
+    allowed: boolean;
+    diagnostic_code?: string;
+    reason?: string;
+    warning?: string;
+};
+/**
+ * 架构决策研讨门 — 正式架构设计前六域决策必须闭合。
+ * 与是否存在施工指令契约无关，架构设计路由必经此门。
+ *
+ * P0-A3: 项目级状态感知 — 已有架构设计文档且决策已确认时跳过门禁。
+ * 通过 design_artifact_pack 检测项目级架构状态，避免对存量已确认项目重复触发门禁。
+ */
+export declare function checkArchitectureDecisionWorkshopGate(params: {
+    ctx: TaskContext;
+    workflowIntent?: string;
+    projectContext?: ArchitectureProjectContext;
+}): Promise<{
+    allowed: boolean;
+    findings?: string[];
+    next_domain?: string;
+    contract?: unknown;
+    recovery_guide_zh?: {
+        summary: string;
+        steps: string[];
+        example_call: unknown;
+        bypass_condition: string;
+    };
+}>;
+//# sourceMappingURL=gate_checks.d.ts.map

package/dist/gate/gate_checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate_checks.d.ts","sourceRoot":"","sources":["../../src/gate/gate_checks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAEL,KAAK,UAAU,EAChB,MAAM,wDAAwD,CAAC;AAChE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,uDAAuD,CAAC;AAMxG,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAC7C,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAW7G;AAED;;;;;GAKG;AACH,wBAAsB,4BAA4B,CAAC,MAAM,EAAE;IACzD,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,cAAc,CAAC,EAAE,kBAAkB,CAAC;CACrC,GAAG,OAAO,CAAC;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAwC3I;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE;IACnD,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAYpF;AAED;;;;;;GAMG;AACH,wBAAsB,qCAAqC,CAAC,MAAM,EAAE;IAClE,GAAG,EAAE,WAAW,CAAC;IACjB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,0BAA0B,CAAC;CAC7C,GAAG,OAAO,CAAC;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,iBAAiB,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,YAAY,EAAE,OAAO,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAC,CAoC1M"}

package/dist/gate/gate_checks.js

@@ -0,0 +1,153 @@
+/**
+ * Gate Checks — MCP 工具层模块。
+ *
+ * 职责边界：
+ * - 负责：checkWriteToolPlanGate 等 MCP 工具层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：MCP Server 工具注册（registerTools）
+ * 调用谁：index、task_context、tool_invocation_contract_registry、diagnostic_registry、architecture_decision_workshop、extension_platform_contracts
+ *
+ * 数据流：MCP 请求 → 工具调度 → 执行 → MCP 响应
+ * 持久化：无持久化（纯计算/内存态）
+ */
+import { hasWriteSideEffect, } from "../gate/contracts/tool_invocation_contract_registry.js";
+import { lazyInstructionContract, lazyArchitectureWorkshop, } from "../server/tools/lazy_loaders.js";
+export function checkWriteToolPlanGate(params) {
+    if (!hasWriteSideEffect(params.sideEffects))
+        return { allowed: true };
+    if (!params.ctx || !params.ctx.plan_proposal_gate) {
+        // 2.2.2：旧入口降为 advisory（与 certainty_gate.evaluatePlanProposalGate 对齐）。
+        // Plan Gate 属 status 预拦截，file_write 可逆；不可逆由 command_execution_contract 独立管。
+        return {
+            allowed: true,
+            warning: `工具 ${params.toolName} 执行前缺少 Plan Proposal Gate 评估`,
+        };
+    }
+    return { allowed: true };
+}
+/**
+ * 施工指令契约门 — 写操作前检查施工指令完整性。
+ * 通过引擎模块函数真实消费。
+ * 调用链 1: registerInstructionIssueCandidate（无契约时创建候选 draft）
+ * 调用链 2: enforceInstructionBeforeImplementation → checkInstructionCompleteness → validateInstructionContract
+ */
+export async function checkInstructionContractGate(params) {
+    if (!hasWriteSideEffect(params.sideEffects))
+        return { allowed: true };
+    if (!params.ctx)
+        return { allowed: true };
+    let instruction = params.ctx.instruction_contract;
+    const instrModule = await lazyInstructionContract();
+    // 无契约时消费 registerInstructionIssueCandidate — 创建 draft 候选并保存
+    if (!instruction && params.task_id) {
+        instruction = instrModule.registerInstructionIssueCandidate({
+            task_id: params.task_id,
+            description: params.toolName,
+            source: "auto_detected",
+            suggested_fields: {},
+        });
+        params.ctx.instruction_contract = instruction;
+        if (params.taskContextMgr) {
+            await params.taskContextMgr.save(params.ctx);
+        }
+    }
+    if (!instruction)
+        return { allowed: true };
+    // 消费 enforceInstructionBeforeImplementation（链式消费 checkInstructionCompleteness + validateInstructionContract）
+    const result = await instrModule.enforceInstructionBeforeImplementation(instruction, params.toolName);
+    // 2.2.2 Y3：施工指令契约降为 advisory（与 middleware Gate 7 对齐）。指令完整性属 status 预拦截，
+    // 触发的写操作可逆；不可逆边界由 command_execution_contract 独立管。未通过时携带 findings 作建议。
+    if (instruction?.status === "draft") {
+        return { allowed: true, findings: result.allowed ? [] : [result.reason_zh] };
+    }
+    if (!result.allowed) {
+        return {
+            allowed: true,
+            findings: [result.reason_zh],
+            warning: `施工指令未通过完整校验: ${result.reason_zh}`,
+        };
+    }
+    return { allowed: true };
+}
+/**
+ * 设计产物编码门 — 依赖设计包的任务，在真实复验完成前不得写入业务实现。
+ * 仅阻断文件/配置/外部交付写入；任务状态、设计文档复验和讨论本身仍可推进。
+ */
+export function checkDesignArtifactWriteGate(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 };
+    // 2.2.2：旧入口降为 advisory（与 certainty_gate.evaluateDesignArtifactGate 对齐）。
+    // git_commit/git_push/pr_create 实际无工具触发（P0-4），file_write/config_write 可逆。
+    return {
+        allowed: true,
+        warning: `工具 ${params.toolName} 依赖的设计产物包状态为 ${params.ctx.design_artifact_pack.status}，未完成真实复验`,
+    };
+}
+/**
+ * 架构决策研讨门 — 正式架构设计前六域决策必须闭合。
+ * 与是否存在施工指令契约无关，架构设计路由必经此门。
+ *
+ * P0-A3: 项目级状态感知 — 已有架构设计文档且决策已确认时跳过门禁。
+ * 通过 design_artifact_pack 检测项目级架构状态，避免对存量已确认项目重复触发门禁。
+ */
+export async function checkArchitectureDecisionWorkshopGate(params) {
+    const workshopModule = await lazyArchitectureWorkshop();
+    // P0-A3: 探测项目级架构状态
+    const projectLevelStatus = detectProjectLevelArchitectureStatus(params.ctx);
+    if (!workshopModule.requiresArchitectureDecisionWorkshop(params.workflowIntent, params.ctx.intent, projectLevelStatus)) {
+        return { allowed: true };
+    }
+    const existing = params.ctx.architecture_decision_workshop;
+    const contract = existing ?? workshopModule.createArchitectureDecisionWorkshop(params.ctx.task_id, params.projectContext ?? "new_system");
+    if (params.projectContext === "existing_system" && contract.project_context !== "existing_system") {
+        contract.project_context = "existing_system";
+    }
+    const evaluatedContract = workshopModule.applyArchitectureWorkshopGate(contract) ?? contract;
+    const gate = workshopModule.evaluateArchitectureDecisionWorkshop(evaluatedContract);
+    params.ctx.architecture_decision_workshop = evaluatedContract;
+    // 恢复指引迁契约层单源 buildDecisionWorkshopRecoveryGuide —— 修正旧内联指引 3 处错误：
+    // 域名缩写（frontend→frontend_architecture）/ 域数（6→7，含 refactor_migration 等扩展域）/
+    // 流程改述为 confirm_decisions 逐域服务端翻转（非手工重建整个契约）。
+    // 架构门结果（ArchitectureWorkshopGateResult）含 missing_domains + next_domain，结构兼容 builder 入参。
+    const decisionMod = await import("../verify/contracts/decision_workshop.js");
+    const recoveryGuide = gate.allowed
+        ? undefined
+        : decisionMod.buildDecisionWorkshopRecoveryGuide(gate, undefined);
+    return {
+        allowed: gate.allowed,
+        findings: gate.blocking_findings,
+        next_domain: gate.next_domain,
+        contract: evaluatedContract,
+        recovery_guide_zh: recoveryGuide,
+    };
+}
+/**
+ * P0-A3: 从 TaskContext 推断项目级架构状态。
+ *
+ * 判断条件：
+ * - hasArchitectureDoc: design_artifact_pack 状态为 implementation_ready/confirmed/superseded
+ *                       或架构设计产物已通过审计
+ * - hasConfirmedDecisions: 架构决策研讨记录全部 confirmed 或 not_applicable_with_reason
+ */
+function detectProjectLevelArchitectureStatus(ctx) {
+    // 通过 design_artifact_pack 推断架构文档存在
+    let hasArchitectureDoc = false;
+    const designPack = ctx.design_artifact_pack;
+    if (designPack && designPack.status === "implementation_ready") {
+        hasArchitectureDoc = true;
+    }
+    // 通过 architecture_decision_workshop 推断决策已确认
+    let hasConfirmedDecisions = false;
+    const workshop = ctx.architecture_decision_workshop;
+    if (workshop && workshop.status === "confirmed") {
+        hasConfirmedDecisions = true;
+    }
+    return hasArchitectureDoc || hasConfirmedDecisions
+        ? { hasArchitectureDoc, hasConfirmedDecisions }
+        : undefined;
+}
+//# sourceMappingURL=gate_checks.js.map

package/dist/gate/gate_checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate_checks.js","sourceRoot":"","sources":["../../src/gate/gate_checks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,OAAO,EACL,kBAAkB,GAEnB,MAAM,wDAAwD,CAAC;AAEhE,OAAO,EACL,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,iCAAiC,CAAC;AAEzC,MAAM,UAAU,sBAAsB,CAAC,MAItC;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,sEAAsE;QACtE,4EAA4E;QAC5E,OAAO;YACL,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,MAAM,MAAM,CAAC,QAAQ,8BAA8B;SAC7D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAAC,MAMlD;IACC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACtE,IAAI,CAAC,MAAM,CAAC,GAAG;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAE1C,IAAI,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC;IAClD,MAAM,WAAW,GAAG,MAAM,uBAAuB,EAAE,CAAC;IAEpD,4DAA4D;IAC5D,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnC,WAAW,GAAG,WAAW,CAAC,iCAAiC,CAAC;YAC1D,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,WAAW,EAAE,MAAM,CAAC,QAAQ;YAC5B,MAAM,EAAE,eAAe;YACvB,gBAAgB,EAAE,EAAE;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,oBAAoB,GAAG,WAAW,CAAC;QAC9C,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAC1B,MAAM,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAE3C,6GAA6G;IAC7G,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,sCAAsC,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAEtG,wEAAwE;IACxE,sEAAsE;IACtE,IAAI,WAAW,EAAE,MAAM,KAAK,OAAO,EAAE,CAAC;QACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;IAC/E,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;YAC5B,OAAO,EAAE,gBAAgB,MAAM,CAAC,SAAS,EAAE;SAC5C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAI5C;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,wEAAwE;IACxE,0EAA0E;IAC1E,OAAO;QACL,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,MAAM,MAAM,CAAC,QAAQ,gBAAgB,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,UAAU;KAC/F,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,qCAAqC,CAAC,MAI3D;IACC,MAAM,cAAc,GAAG,MAAM,wBAAwB,EAAE,CAAC;IAExD,mBAAmB;IACnB,MAAM,kBAAkB,GAAG,oCAAoC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAE5E,IAAI,CAAC,cAAc,CAAC,oCAAoC,CACtD,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,GAAG,CAAC,MAAM,EACjB,kBAAkB,CACnB,EAAE,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,8BAA8B,CAAC;IAC3D,MAAM,QAAQ,GAAG,QAAQ,IAAI,cAAc,CAAC,kCAAkC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,cAAc,IAAI,YAAY,CAAC,CAAC;IAC1I,IAAI,MAAM,CAAC,cAAc,KAAK,iBAAiB,IAAI,QAAQ,CAAC,eAAe,KAAK,iBAAiB,EAAE,CAAC;QAClG,QAAQ,CAAC,eAAe,GAAG,iBAAiB,CAAC;IAC/C,CAAC;IACD,MAAM,iBAAiB,GAAG,cAAc,CAAC,6BAA6B,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;IAC7F,MAAM,IAAI,GAAG,cAAc,CAAC,oCAAoC,CAAC,iBAAiB,CAAC,CAAC;IACpF,MAAM,CAAC,GAAG,CAAC,8BAA8B,GAAG,iBAAiB,CAAC;IAC9D,kEAAkE;IAClE,2EAA2E;IAC3E,8CAA8C;IAC9C,wFAAwF;IACxF,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,0CAA0C,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO;QAChC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,WAAW,CAAC,kCAAkC,CAAC,IAAwB,EAAE,SAAS,CAAC,CAAC;IACxF,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,QAAQ,EAAE,IAAI,CAAC,iBAAiB;QAChC,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,iBAAiB;QAC3B,iBAAiB,EAAE,aAAa;KACjC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oCAAoC,CAAC,GAAgB;IAI5D,mCAAmC;IACnC,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAC/B,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,CAAC;IAC5C,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,sBAAsB,EAAE,CAAC;QAC/D,kBAAkB,GAAG,IAAI,CAAC;IAC5B,CAAC;IAED,4CAA4C;IAC5C,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAClC,MAAM,QAAQ,GAAG,GAAG,CAAC,8BAA8B,CAAC;IACpD,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAChD,qBAAqB,GAAG,IAAI,CAAC;IAC/B,CAAC;IAED,OAAO,kBAAkB,IAAI,qBAAqB;QAChD,CAAC,CAAC,EAAE,kBAAkB,EAAE,qBAAqB,EAAE;QAC/C,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}

package/dist/gate/gate_engine.d.ts

@@ -0,0 +1,185 @@
+/**
+ * Gate Engine — MCP 工具层模块。
+ *
+ * 职责边界：
+ * - 负责：drainGateLoadWarnings 等 MCP 工具层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：MCP Server 工具注册（registerTools）
+ * 调用谁：yaml、node:fs、node:path、base、gate 执行器、index
+ *
+ * 数据流：MCP 请求 → 工具调度 → 执行 → MCP 响应
+ * 持久化：读写本地文件（详见代码内路径）
+ */
+import type { SystemType } from "../shared/types.js";
+import type { TaskContext } from "../types/index.js";
+import type { ResolvedConfig } from "../context/config/resolver.js";
+import type { ProbeRule } from "../verify/audit/probe_rule.js";
+/** 获取并清空自上次调用以来的门禁加载警告 */
+export declare function drainGateLoadWarnings(): string[];
+/** 门禁 YAML 解析后的结构化定义 */
+export interface GateDefinition {
+    /** 所属阶段 */
+    stage: string;
+    /** 门禁描述 */
+    description: string;
+    /** 检查项列表 */
+    checks: GateCheck[];
+    /** 决策模型 */
+    decision_model: DecisionModel;
+    /** 继承的父 gate 文件路径（老系统场景） */
+    inherits?: string;
+    /** 门禁作用域：stage=阶段级（默认，单产物产出/阶段推进时跑）；slice=切片级（仅 verify_slice 触发，含 docker/e2e，防单产物产出时误跑导致必失败） */
+    gate_scope?: "stage" | "slice";
+    /** 源文件路径（用于日志） */
+    source_file?: string;
+}
+/** 单个检查项 */
+export interface GateCheck {
+    /** 检查 ID（自动生成如果 YAML 中缺失） */
+    id: string;
+    /** 检查名称 */
+    name: string;
+    /** 分类（deployment_check / evidence_check / ...） */
+    category: string;
+    /** 严重程度 */
+    severity: "error" | "warning";
+    /** 检查类型：deterministic = 可代码执行，semantic = AI 语义评估 */
+    check_type: "deterministic" | "semantic" | "";
+    /** 代码执行器名称（可选，缺失则 AI-only） */
+    executor?: string;
+    /** 规则描述 */
+    rule: string;
+    /** 需要的证据 */
+    evidence_required: string[];
+    /** 是否需要产物 */
+    required_artifact?: string;
+    /** L0/L1 项目探针规则（仅 executor="probe" 的 check 携带，直达强类型，不塞 JSON） */
+    probe_rule?: ProbeRule;
+    /** 规则文件名（从 rules/ 搜索）。executor 读取该文件解析 pattern 执行检查 */
+    rule_source?: string;
+    /** 外部命令（仅 executor="external_command" 携带）：要执行的命令，如 "npx"/"mvn"/"grep" */
+    command?: string;
+    /** 外部命令参数（仅 executor="external_command" 携带） */
+    args?: string[];
+}
+/** 决策模型 */
+export interface DecisionModel {
+    promote: string;
+    hold: string;
+    rollback: string;
+}
+/** 单个检查项失败时的完整恢复信息 */
+export interface BlockingDetail {
+    /** 检查 ID */
+    check_id: string;
+    /** 人类可读检查名称（来自 gate YAML 的 name 字段） */
+    name: string;
+    /** 规则描述（来自 gate YAML 的 rule 字段） */
+    rule: string;
+    /** 需要什么证据（来自 gate YAML 的 evidence_required 字段） */
+    evidence_required: string[];
+    /** executor 返回的技术原因 */
+    error: string;
+    /** 引擎自动生成的恢复指引（大白话） */
+    recovery_guide: string;
+}
+/** 门禁评估结果 */
+export interface GateResult {
+    /** 门禁 ID（来源文件名） */
+    gate_id: string;
+    /** 是否整体通过 */
+    passed: boolean;
+    /** 决策结果 */
+    decision: "promote" | "hold" | "rollback";
+    /** 各检查项结果 */
+    check_results: CheckResult[];
+    /** 阻断性错误列表（error 级未通过的 check id） */
+    blocking_errors: string[];
+    /** 阻断性错误的详细信息（含恢复指引） */
+    blocking_details: BlockingDetail[];
+    /** warning 级未通过的详细信息（含恢复指引，AI 可见） */
+    warning_details: BlockingDetail[];
+    /** 整体恢复摘要（一段大白话总览） */
+    recovery_summary: string;
+}
+/** 单个检查项结果 */
+export interface CheckResult {
+    /** 检查 ID */
+    check_id: string;
+    /** 执行方式：code = 代码执行，ai = AI 评估 */
+    executed_by: "code" | "ai";
+    /** 是否通过 */
+    passed: boolean;
+    /** 是否待 AI 评估（AI-only 检查项标记，避免虚假通过） */
+    pending?: boolean;
+    /** 按技术栈跳过（非匹配语言的规则）：passed=true 不阻断 promote，仅记录跳过原因 */
+    skipped?: boolean;
+    /** 证据（代码执行产出） */
+    evidence?: string;
+    /** 错误信息（未通过时） */
+    error?: string;
+}
+/** 评估上下文 */
+export interface EvaluationContext {
+    /** 项目根目录 */
+    projectRoot: string;
+    /** 当前阶段 */
+    stage: string;
+    /** 当前切片 ID（如有） */
+    sliceId?: string;
+    /** 系统类型 */
+    systemType: SystemType;
+    /**
+     * 技术栈（来自 intent.yaml + 项目探测，sf_work verify 注入）。
+     * undefined/null/lang=unknown = 技术栈未识别 → executor 全跑所有规则（fail-safe，不漏检）。
+     * 识别后按规则的 languages 标签过滤，非匹配语言 → skipped（passed 不阻断 promote）。
+     */
+    tech_stack?: ResolvedConfig["tech_stack"] | null;
+    /** 任务上下文 */
+    taskContext: TaskContext | null;
+}
+/** 解析 gate YAML 内容为结构化 GateDefinition */
+export declare function parseGateYaml(content: string, sourceFile?: string): GateDefinition;
+/** 评估单个检查项 */
+export declare function evaluateCheck(check: GateCheck, ctx: EvaluationContext): Promise<CheckResult>;
+/** 应用决策模型（含 severity 信息） */
+export declare function applyDecisionModelWithSeverity(results: Array<CheckResult & {
+    severity: "error" | "warning";
+}>): "promote" | "hold" | "rollback";
+/** 为单个失败的检查项生成恢复指引（大白话） */
+export declare function buildRecoveryGuide(checkResult: CheckResult, check: GateCheck, gate: GateDefinition, ctx: EvaluationContext): string;
+/** 为整个 gate 生成恢复摘要（一段大白话总览） */
+export declare function buildRecoverySummary(details: BlockingDetail[], gate: GateDefinition, ctx: EvaluationContext): string;
+/** 评估整个 gate */
+export declare function evaluateGate(gate: GateDefinition, ctx: EvaluationContext): Promise<GateResult>;
+/** 按阶段加载 gate 文件 — 仅走 bridge，YAML 已删除 */
+export declare function loadGatesForStage(stage: string | undefined, _systemType: SystemType | undefined, projectRoot?: string): GateDefinition[];
+/**
+ * 构造项目探针 gate（恒定返回 GateDefinition，接入 ODA gate_check_probe）。
+ *
+ * 把 .soloforge/knowledge/ 下的 L0/L1 探针规则转成 deterministic check，挂 executor="probe"。
+ * 加载错误（无 verification_layer / probe 与 layer 不配对 / probe_path 越界或缺失等）转成 error 级 check
+ * （executor="probe-load-error" 恒 fail），让 gate 直接暴露配置问题，绝不静默丢弃。
+ * 规则按 domain 过滤：domain 含 stage（或 domain 未声明=不限域）才纳入。
+ * 无规则且无错误时返回 checks=[] 的空 gate（trivially 通过，不拖累现有流程）。
+ *
+ * @param projectRoot 项目根目录
+ * @param stage 当前能力域（design/build/verify/operate，来自 ODA ProbeContext.currentStage）
+ */
+export declare function buildProbeGate(projectRoot: string, stage: string): GateDefinition;
+/**
+ * 按域加载 gate 文件（4 域架构）。
+ *
+ * 从 templates/constraints/gates/ 目录加载 {domain}-gate.yaml 和 slice-gate.yaml。
+ * 支持域级 gate YAML 的 inherits 继承。
+ *
+ * @param domain 域名（design/build/verify/operate）
+ * @param projectRoot 项目根目录
+ * @returns 匹配域的 GateDefinition 数组
+ */
+/**
+ * 按域加载 gate 文件 — 仅走 bridge（派生注册表聚合 check），YAML 已删除。
+ */
+export declare function loadGatesForDomain(domain: string, projectRoot?: string): GateDefinition[];
+//# sourceMappingURL=gate_engine.d.ts.map

package/dist/gate/gate_engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate_engine.d.ts","sourceRoot":"","sources":["../../src/gate/gate_engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAGpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAU/D,0BAA0B;AAC1B,wBAAgB,qBAAqB,IAAI,MAAM,EAAE,CAIhD;AAMD,wBAAwB;AACxB,MAAM,WAAW,cAAc;IAC7B,WAAW;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY;IACZ,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,WAAW;IACX,cAAc,EAAE,aAAa,CAAC;IAC9B,4BAA4B;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gGAAgG;IAChG,UAAU,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC;IAC/B,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,YAAY;AACZ,MAAM,WAAW,SAAS;IACxB,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW;IACX,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,oDAAoD;IACpD,UAAU,EAAE,eAAe,GAAG,UAAU,GAAG,EAAE,CAAC;IAC9C,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,YAAY;IACZ,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,aAAa;IACb,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,gEAAgE;IAChE,UAAU,CAAC,EAAE,SAAS,CAAC;IACvB,uDAAuD;IACvD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+CAA+C;IAC/C,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,WAAW;AACX,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,sBAAsB;AACtB,MAAM,WAAW,cAAc;IAC7B,YAAY;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,uBAAuB;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,aAAa;AACb,MAAM,WAAW,UAAU;IACzB,mBAAmB;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,WAAW;IACX,QAAQ,EAAE,SAAS,GAAG,MAAM,GAAG,UAAU,CAAC;IAC1C,aAAa;IACb,aAAa,EAAE,WAAW,EAAE,CAAC;IAC7B,oCAAoC;IACpC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,wBAAwB;IACxB,gBAAgB,EAAE,cAAc,EAAE,CAAC;IACnC,qCAAqC;IACrC,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,sBAAsB;IACtB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,cAAc;AACd,MAAM,WAAW,WAAW;IAC1B,YAAY;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,kCAAkC;IAClC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,WAAW;IACX,MAAM,EAAE,OAAO,CAAC;IAChB,sCAAsC;IACtC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,uDAAuD;IACvD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,iBAAiB;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iBAAiB;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,YAAY;AACZ,MAAM,WAAW,iBAAiB;IAChC,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW;IACX,KAAK,EAAE,MAAM,CAAC;IACd,kBAAkB;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW;IACX,UAAU,EAAE,UAAU,CAAC;IACvB;;;;OAIG;IACH,UAAU,CAAC,EAAE,cAAc,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC;IACjD,YAAY;IACZ,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;CACjC;AAMD,yCAAyC;AACzC,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,cAAc,CAoDlF;AAMD,cAAc;AACd,wBAAsB,aAAa,CACjC,KAAK,EAAE,SAAS,EAChB,GAAG,EAAE,iBAAiB,GACrB,OAAO,CAAC,WAAW,CAAC,CAuDtB;AAED,4BAA4B;AAC5B,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,KAAK,CAAC,WAAW,GAAG;IAAE,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAA;CAAE,CAAC,GAC9D,SAAS,GAAG,MAAM,GAAG,UAAU,CAajC;AAcD,2BAA2B;AAC3B,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,WAAW,EACxB,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,iBAAiB,GACrB,MAAM,CA6BR;AAED,+BAA+B;AAC/B,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,cAAc,EAAE,EACzB,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,iBAAiB,GACrB,MAAM,CAkBR;AAED,gBAAgB;AAChB,wBAAsB,YAAY,CAChC,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,iBAAiB,GACrB,OAAO,CAAC,UAAU,CAAC,CAkFrB;AAMD,yCAAyC;AACzC,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,WAAW,EAAE,UAAU,GAAG,SAAS,EACnC,WAAW,CAAC,EAAE,MAAM,GACnB,cAAc,EAAE,CAGlB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,CAyCjF;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,WAAW,CAAC,EAAE,MAAM,GACnB,cAAc,EAAE,CAGlB"}