soloforge 1.1.42 → 1.1.44

package/dist/gate/gate_engine.js

@@ -0,0 +1,366 @@
+/**
+ * Gate Engine — MCP 工具层模块。
+ *
+ * 职责边界：
+ * - 负责：drainGateLoadWarnings 等 MCP 工具层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：MCP Server 工具注册（registerTools）
+ * 调用谁：yaml、node:fs、node:path、base、gate 执行器、index
+ *
+ * 数据流：MCP 请求 → 工具调度 → 执行 → MCP 响应
+ * 持久化：读写本地文件（详见代码内路径）
+ */
+// ── 门禁代码执行引擎 ──
+// 解析 gate YAML 声明，按 executor 字段路由到代码执行器，返回结构化结果。
+// 设计原则：通用、数据驱动、向后兼容（无 executor 字段 = AI-only）。
+import { parse as parseYaml } from "yaml";
+import { gateExecutors } from "./gate_executors.js";
+import { debug } from "../shared/logger.js";
+import { loadProjectProbeRules } from "../verify/audit/probe_rule.js";
+import { buildGateFromRegistry } from "./gate_registry_bridge.js";
+// ═══════════════════════════════════════════
+// 门禁加载警告收集（gate YAML 解析/目录读取失败时使用，避免静默跳过）
+// ═══════════════════════════════════════════
+const _gateLoadWarnings = [];
+/** 获取并清空自上次调用以来的门禁加载警告 */
+export function drainGateLoadWarnings() {
+    const warnings = [..._gateLoadWarnings];
+    _gateLoadWarnings.length = 0;
+    return warnings;
+}
+// ═══════════════════════════════════════════
+// GateParser — 解析 gate YAML
+// ═══════════════════════════════════════════
+/** 解析 gate YAML 内容为结构化 GateDefinition */
+export function parseGateYaml(content, sourceFile) {
+    const raw = parseYaml(content);
+    if (!raw || typeof raw !== "object") {
+        return {
+            stage: raw?.stage ?? "",
+            description: raw?.description ?? "",
+            checks: [],
+            decision_model: { promote: "", hold: "", rollback: "" },
+            gate_scope: "stage",
+            source_file: sourceFile,
+        };
+    }
+    // 解析 decision_model（兼容大小写和缺失场景）
+    const dm = raw.decision_model ?? raw.decisionModel ?? {};
+    const decision_model = {
+        promote: dm.promote ?? dm.PROMOTE ?? "",
+        hold: dm.hold ?? dm.HOLD ?? "",
+        rollback: dm.rollback ?? dm.ROLLBACK ?? "",
+    };
+    // 解析 checks 数组
+    const rawChecks = Array.isArray(raw.checks) ? raw.checks : [];
+    const checks = rawChecks.map((c, idx) => ({
+        id: String(c.id ?? `check-${raw.stage ?? "unknown"}-${idx + 1}`),
+        name: String(c.name || c.id || ""),
+        category: String(c.category ?? ""),
+        severity: (c.severity === "warning" ? "warning" : "error"),
+        check_type: (c.check_type === "deterministic" ? "deterministic" : c.check_type === "semantic" ? "semantic" : ""),
+        executor: c.executor ? String(c.executor) : undefined,
+        rule: String(c.rule ?? c.pattern ?? c.description ?? ""),
+        evidence_required: Array.isArray(c.evidence_required)
+            ? c.evidence_required.map(String)
+            : c.evidence_required
+                ? [String(c.evidence_required)]
+                : [],
+        required_artifact: c.required_artifact ? String(c.required_artifact) : undefined,
+        rule_source: c.rule_source ? String(c.rule_source) : undefined,
+        command: typeof c.command === "string" ? c.command : undefined,
+        args: Array.isArray(c.args) ? c.args.map(String) : undefined,
+    }));
+    return {
+        stage: String(raw.stage ?? ""),
+        description: String(raw.description ?? ""),
+        checks,
+        decision_model,
+        inherits: raw.inherits ? String(raw.inherits) : undefined,
+        gate_scope: raw.gate_scope === "slice" ? "slice" : "stage",
+        source_file: sourceFile,
+    };
+}
+// ═══════════════════════════════════════════
+// GateEngine — 门禁评估引擎
+// ═══════════════════════════════════════════
+/** 评估单个检查项 */
+export async function evaluateCheck(check, ctx) {
+    // semantic 或无 check_type → AI 评估，标记 pending 等待 AI 判定
+    if (!check.check_type || check.check_type === "semantic") {
+        return {
+            check_id: check.id,
+            executed_by: "ai",
+            passed: true,
+            pending: true, // FLAW-GATE-04 修复：AI-only 检查项标记 pending，避免虚假通过
+        };
+    }
+    // 2.5.2：deterministic check 缺 executor 字段（配置不完整）→ fail-closed。
+    // 与下方"executor 未注册"统一：deterministic 声明即承诺代码可判定，缺 executor 属配置缺失。
+    // 既然 2.1 已让 pending 不再阻断，此处若仍返回 pending 会静默放行（fail-open），故直接判失败。
+    // 注：扫描确认 templates/constraints/gates 下所有 deterministic check 均已配 executor，此分支无真实命中，仅为防御性 fail-closed。
+    if (!check.executor) {
+        debug("gate-engine", `⚠️ check_id ${check.id} 为 deterministic 但缺 executor 字段，fail-closed 判失败`);
+        return {
+            check_id: check.id,
+            executed_by: "code",
+            passed: false,
+            error: `deterministic 检查项缺 executor 字段（配置不完整），检查未执行`,
+        };
+    }
+    // deterministic + 有 executor → 代码执行
+    const executorFn = gateExecutors.get(check.executor);
+    if (!executorFn) {
+        // 2.5.2：executor 未注册属配置缺失，fail-closed（不再降级 AI 评估）。
+        // 与 2.1（pending 不 hold）配套：既然 pending 不再阻断，executor 缺失必须直接判失败，
+        // 否则配置错误会因 pending→promote 静默放行。日志告警便于定位漏配的 executor。
+        debug("gate-engine", `⚠️ 执行器 "${check.executor}" 未注册（check_id: ${check.id}），fail-closed 判失败`);
+        return {
+            check_id: check.id,
+            executed_by: "code",
+            passed: false,
+            error: `执行器 "${check.executor}" 未注册（配置缺失），检查未执行`,
+        };
+    }
+    try {
+        return await executorFn(check, ctx);
+    }
+    catch (err) {
+        // 偏差 3 修复：executor 内部抛出的所有异常一律视为检查未通过（fail-closed）。
+        // 原逻辑将 TypeError/SyntaxError 等标记为 failed，其他异常 fail-open，
+        // 但 executor 是检查执行器，其内部抛出的任何异常都应视为检查失败而非放行。
+        // 如果 executor 需要表达"降级放行"，应返回 { passed: true } 而非抛异常。
+        debug("gate-engine", `执行器 "${check.executor}" 抛出异常: ${err instanceof Error ? err.message : String(err)}`);
+        return {
+            check_id: check.id,
+            executed_by: "code",
+            passed: false,
+            error: `执行器 "${check.executor}" 检查失败: ${err instanceof Error ? err.message : String(err)}`,
+        };
+    }
+}
+/** warning 级失败容忍阈值：≤ 此数则容忍(promote，warning_details 仍记录供查看)，> 此数才 hold。
+ *  避免少量 warning 即 hold 卡住推进；warning 本就非阻断，error 级才 rollback。运行时若噪音大可调低。 */
+const WARNING_HOLD_THRESHOLD = 5;
+/** 应用决策模型（含 severity 信息） */
+export function applyDecisionModelWithSeverity(results) {
+    if (results.length === 0)
+        return "promote";
+    const failedErrors = results.filter((r) => !r.passed && r.severity === "error");
+    const failedWarnings = results.filter((r) => !r.passed && r.severity === "warning");
+    if (failedErrors.length > 0)
+        return "rollback";
+    // warning 级容忍少量（≤阈值 promote），超阈值才 hold；warning_details 始终记录供查看
+    if (failedWarnings.length > WARNING_HOLD_THRESHOLD)
+        return "hold";
+    // pending（AI 语义评估项）不阻断——验证只做本地确定性判断，pending 聚合进 recovery_summary 作 advisory。
+    return "promote";
+}
+// ═══════════════════════════════════════════
+// 恢复指引自动生成（通用、数据驱动）
+// ═══════════════════════════════════════════
+/** 从 executor 返回的 error 字符串中剥离硬编码的"修复方法"（引擎统一生成） */
+function stripHardcodedRecovery(error) {
+    return error
+        .replace(/修复方法[：:][\s\S]*$/g, "")
+        .replace(/请按[\s\S]*$/g, "")
+        .trim();
+}
+/** 为单个失败的检查项生成恢复指引（大白话） */
+export function buildRecoveryGuide(checkResult, check, gate, ctx) {
+    const parts = [];
+    // 检查名称
+    const displayName = check.name || check.id;
+    parts.push(`「${displayName}」检查没通过。`);
+    // executor 返回的技术原因（剥离硬编码修复方法）
+    const cleanError = stripHardcodedRecovery(checkResult.error ?? "");
+    if (cleanError) {
+        parts.push(`问题：${cleanError}`);
+    }
+    // 规则要求
+    if (check.rule) {
+        parts.push(`要求：${check.rule}`);
+    }
+    // 需要的证据
+    if (check.evidence_required.length > 0) {
+        parts.push(`你需要提供：${check.evidence_required.join("、")}`);
+    }
+    // rollback 描述
+    if (gate.decision_model.rollback) {
+        parts.push(`${gate.decision_model.rollback}（${gate.stage || ctx.stage}阶段）。`);
+    }
+    return parts.join("\n");
+}
+/** 为整个 gate 生成恢复摘要（一段大白话总览） */
+export function buildRecoverySummary(details, gate, ctx) {
+    if (details.length === 0)
+        return "";
+    const systemType = ctx.systemType;
+    const stage = ctx.stage;
+    const failedNames = details.map((d) => `「${d.name}」`).join("、");
+    const parts = [];
+    parts.push(`当前管线：${systemType}，当前阶段：${stage}。`);
+    parts.push(`${failedNames}检查没通过。`);
+    if (gate.decision_model.rollback) {
+        parts.push(gate.decision_model.rollback);
+    }
+    parts.push("请补齐缺失的证据后重新执行当前阶段门禁。");
+    return parts.join("");
+}
+/** 评估整个 gate */
+export async function evaluateGate(gate, ctx) {
+    const checkResults = [];
+    for (const check of gate.checks) {
+        const result = await evaluateCheck(check, ctx);
+        checkResults.push(result);
+    }
+    // 收集 error 级 + warning 级未通过的 check + 构建恢复信息
+    const blockingErrors = [];
+    const blockingDetails = [];
+    const warningDetails = [];
+    const resultsWithSeverity = [];
+    for (let i = 0; i < checkResults.length; i++) {
+        const severity = gate.checks[i]?.severity ?? "error";
+        resultsWithSeverity.push({ ...checkResults[i], severity });
+        if (!checkResults[i].passed) {
+            const check = gate.checks[i];
+            const detail = {
+                check_id: checkResults[i].check_id,
+                name: check?.name || checkResults[i].check_id,
+                rule: check?.rule ?? "",
+                evidence_required: check?.evidence_required ?? [],
+                error: checkResults[i].error ?? "",
+                recovery_guide: buildRecoveryGuide(checkResults[i], check, gate, ctx),
+            };
+            if (severity === "error") {
+                blockingErrors.push(checkResults[i].check_id);
+                blockingDetails.push(detail);
+            }
+            else {
+                // warning 级：也生成可见的恢复详情（不再静默 hold）
+                warningDetails.push(detail);
+            }
+        }
+    }
+    const decision = applyDecisionModelWithSeverity(resultsWithSeverity);
+    // 恢复摘要包含 error + warning 的失败
+    const allFailedDetails = [...blockingDetails, ...warningDetails];
+    let recoverySummary = buildRecoverySummary(allFailedDetails, gate, ctx);
+    // FLAW-GATE-04 修复：统计 pending 检查数量，在恢复摘要中标注需要 AI 评估的项目
+    const pendingChecks = checkResults.filter((r) => r.pending);
+    if (pendingChecks.length > 0) {
+        const pendingNames = pendingChecks.map((r) => {
+            const check = gate.checks.find((c) => c.id === r.check_id);
+            return `「${check?.name ?? r.check_id}」`;
+        }).join("、");
+        const pendingNote = `\n注意：${pendingNames}为 AI 语义评估项（pending），需要 AI 独立判定是否通过，当前代码引擎未做实质性校验。`;
+        recoverySummary = recoverySummary ? recoverySummary + pendingNote : pendingNote.trim();
+    }
+    // 技术栈跳过的规则提示：区分「真通过」与「按技术栈跳过」，避免用户误以为全量校验通过。
+    // skipped 的 check passed=true 不阻断 promote，但须让用户知晓哪些规则未执行实质校验。
+    const skippedChecks = checkResults.filter((r) => r.skipped);
+    if (skippedChecks.length > 0) {
+        const skippedNames = skippedChecks.map((r) => {
+            const check = gate.checks.find((c) => c.id === r.check_id);
+            return `「${check?.name ?? r.check_id}」`;
+        }).join("、");
+        const skippedNote = `\n提示：${skippedNames}为按技术栈跳过的规则（当前项目非该规则适用语言，未执行实质校验；各 check 的 evidence 注明跳过原因）。`;
+        recoverySummary = recoverySummary ? recoverySummary + skippedNote : skippedNote.trim();
+    }
+    // 附加门禁加载警告（YAML 解析失败、目录读取失败等）
+    const loadWarnings = drainGateLoadWarnings();
+    if (loadWarnings.length > 0) {
+        const warningNote = `\n⚠️ 门禁加载警告:\n${loadWarnings.map(w => `- ${w}`).join("\n")}`;
+        recoverySummary = recoverySummary ? recoverySummary + warningNote : warningNote.trim();
+    }
+    return {
+        gate_id: gate.source_file ?? gate.stage,
+        passed: decision === "promote",
+        decision,
+        check_results: checkResults,
+        blocking_errors: blockingErrors,
+        blocking_details: blockingDetails,
+        warning_details: warningDetails,
+        recovery_summary: recoverySummary,
+    };
+}
+// ═══════════════════════════════════════════
+// Gate 加载器 — 按阶段和系统类型加载 gate 文件
+// ═══════════════════════════════════════════
+/** 按阶段加载 gate 文件 — 仅走 bridge，YAML 已删除 */
+export function loadGatesForStage(stage, _systemType, projectRoot) {
+    if (!stage)
+        return [];
+    return loadGatesForDomain(stage, projectRoot);
+}
+/**
+ * 构造项目探针 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 function buildProbeGate(projectRoot, stage) {
+    const { rules, errors } = loadProjectProbeRules(projectRoot);
+    const DECISION = {
+        promote: "全部通过",
+        hold: "存在 hard_gate 命中或加载错误",
+        rollback: "不适用",
+    };
+    // 加载错误 → error 级 check（probe-load-error 执行器恒 fail，暴露配置问题）
+    const errorChecks = errors.map((msg, i) => ({
+        id: `project-probe-load-error-${i}`,
+        name: "项目探针规则加载错误",
+        category: "project_probe_check",
+        severity: "error",
+        check_type: "deterministic",
+        executor: "probe-load-error",
+        rule: msg,
+        evidence_required: [],
+    }));
+    // L0/L1 规则按 domain 过滤（domain 含 stage，或 domain 未声明=不限域）
+    const probeChecks = rules
+        .filter((r) => r.domain.length === 0 || r.domain.includes(stage))
+        .map((r) => ({
+        id: r.id,
+        name: r.description,
+        category: "project_probe_check",
+        severity: r.severity === "hard_gate" ? "error" : "warning",
+        check_type: "deterministic",
+        executor: "probe",
+        probe_rule: r,
+        rule: r.message,
+        evidence_required: [],
+    }));
+    return {
+        stage,
+        description: "项目探针规则（L0/L1 确定性校验）",
+        checks: [...errorChecks, ...probeChecks],
+        decision_model: DECISION,
+    };
+}
+/**
+ * 按域加载 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 function loadGatesForDomain(domain, projectRoot) {
+    if (!domain)
+        return [];
+    return buildGateFromRegistry(domain, projectRoot);
+}
+//# sourceMappingURL=gate_engine.js.map

package/dist/gate/gate_engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate_engine.js","sourceRoot":"","sources":["../../src/gate/gate_engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,iBAAiB;AACjB,iDAAiD;AACjD,8CAA8C;AAE9C,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAI1C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAE5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAElE,8CAA8C;AAC9C,0CAA0C;AAC1C,8CAA8C;AAE9C,MAAM,iBAAiB,GAAa,EAAE,CAAC;AAEvC,0BAA0B;AAC1B,MAAM,UAAU,qBAAqB;IACnC,MAAM,QAAQ,GAAG,CAAC,GAAG,iBAAiB,CAAC,CAAC;IACxC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7B,OAAO,QAAQ,CAAC;AAClB,CAAC;AAuID,8CAA8C;AAC9C,4BAA4B;AAC5B,8CAA8C;AAE9C,yCAAyC;AACzC,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,UAAmB;IAChE,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO;YACL,KAAK,EAAE,GAAG,EAAE,KAAK,IAAI,EAAE;YACvB,WAAW,EAAE,GAAG,EAAE,WAAW,IAAI,EAAE;YACnC,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;YACvD,UAAU,EAAE,OAAO;YACnB,WAAW,EAAE,UAAU;SACxB,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,MAAM,EAAE,GAAG,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC;IACzD,MAAM,cAAc,GAAkB;QACpC,OAAO,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE;QACvC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE;QAC9B,QAAQ,EAAE,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE;KAC3C,CAAC;IAEF,eAAe;IACf,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,MAAM,MAAM,GAAgB,SAAS,CAAC,GAAG,CAAC,CAAC,CAA0B,EAAE,GAAW,EAAE,EAAE,CAAC,CAAC;QACtF,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,SAAS,GAAG,CAAC,KAAK,IAAI,SAAS,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QAChE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAClC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;QAClC,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAwB;QACjF,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAsC;QACrJ,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QACrD,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC;QACxD,iBAAiB,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC;YACnD,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC;YACjC,CAAC,CAAC,CAAC,CAAC,iBAAiB;gBACnB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;gBAC/B,CAAC,CAAC,EAAE;QACR,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS;QAChF,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;QAC9D,OAAO,EAAE,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QAC9D,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;KAC7D,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;QAC1C,MAAM;QACN,cAAc;QACd,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QACzD,UAAU,EAAE,GAAG,CAAC,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;QAC1D,WAAW,EAAE,UAAU;KACxB,CAAC;AACJ,CAAC;AAED,8CAA8C;AAC9C,sBAAsB;AACtB,8CAA8C;AAE9C,cAAc;AACd,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,KAAgB,EAChB,GAAsB;IAEtB,qDAAqD;IACrD,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QACzD,OAAO;YACL,QAAQ,EAAE,KAAK,CAAC,EAAE;YAClB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,IAAI,EAAE,+CAA+C;SAC/D,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,iEAAiE;IACjE,iEAAiE;IACjE,sGAAsG;IACtG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,CAAC,aAAa,EAAE,eAAe,KAAK,CAAC,EAAE,iDAAiD,CAAC,CAAC;QAC/F,OAAO;YACL,QAAQ,EAAE,KAAK,CAAC,EAAE;YAClB,WAAW,EAAE,MAAM;YACnB,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,6CAA6C;SACrD,CAAC;IACJ,CAAC;IAED,oCAAoC;IACpC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,mDAAmD;QACnD,8DAA8D;QAC9D,sDAAsD;QACtD,KAAK,CAAC,aAAa,EAAE,WAAW,KAAK,CAAC,QAAQ,mBAAmB,KAAK,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAC9F,OAAO;YACL,QAAQ,EAAE,KAAK,CAAC,EAAE;YAClB,WAAW,EAAE,MAAM;YACnB,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,QAAQ,KAAK,CAAC,QAAQ,mBAAmB;SACjD,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,OAAO,MAAM,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,oDAAoD;QACpD,yDAAyD;QACzD,4CAA4C;QAC5C,qDAAqD;QACrD,KAAK,CAAC,aAAa,EAAE,QAAQ,KAAK,CAAC,QAAQ,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1G,OAAO;YACL,QAAQ,EAAE,KAAK,CAAC,EAAE;YAClB,WAAW,EAAE,MAAM;YACnB,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,QAAQ,KAAK,CAAC,QAAQ,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;SAC3F,CAAC;IACJ,CAAC;AACH,CAAC;AAED;2EAC2E;AAC3E,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAEjC,4BAA4B;AAC5B,MAAM,UAAU,8BAA8B,CAC5C,OAA+D;IAE/D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE3C,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAChF,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAEpF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/C,+DAA+D;IAC/D,IAAI,cAAc,CAAC,MAAM,GAAG,sBAAsB;QAAE,OAAO,MAAM,CAAC;IAElE,6EAA6E;IAC7E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8CAA8C;AAC9C,oBAAoB;AACpB,8CAA8C;AAE9C,oDAAoD;AACpD,SAAS,sBAAsB,CAAC,KAAa;IAC3C,OAAO,KAAK;SACT,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;SAChC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;SAC1B,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,kBAAkB,CAChC,WAAwB,EACxB,KAAgB,EAChB,IAAoB,EACpB,GAAsB;IAEtB,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,OAAO;IACP,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,SAAS,CAAC,CAAC;IAErC,8BAA8B;IAC9B,MAAM,UAAU,GAAG,sBAAsB,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACnE,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,MAAM,UAAU,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,OAAO;IACP,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;IACR,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,cAAc;IACd,IAAI,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,oBAAoB,CAClC,OAAyB,EACzB,IAAoB,EACpB,GAAsB;IAEtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACxB,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEhE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,UAAU,SAAS,KAAK,GAAG,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,QAAQ,CAAC,CAAC;IAEnC,IAAI,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAEnC,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,gBAAgB;AAChB,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,IAAoB,EACpB,GAAsB;IAEtB,MAAM,YAAY,GAAkB,EAAE,CAAC;IAEvC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/C,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IAED,4CAA4C;IAC5C,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,eAAe,GAAqB,EAAE,CAAC;IAC7C,MAAM,cAAc,GAAqB,EAAE,CAAC;IAC5C,MAAM,mBAAmB,GAA2D,EAAE,CAAC;IACvF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,OAAO,CAAC;QACrD,mBAAmB,CAAC,IAAI,CAAC,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAmB;gBAC7B,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ;gBAClC,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ;gBAC7C,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,EAAE;gBACvB,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,IAAI,EAAE;gBACjD,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;gBAClC,cAAc,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC;aACtE,CAAC;YAEF,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;gBACzB,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC9C,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,kCAAkC;gBAClC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,8BAA8B,CAAC,mBAAmB,CAAC,CAAC;IACrE,6BAA6B;IAC7B,MAAM,gBAAgB,GAAG,CAAC,GAAG,eAAe,EAAE,GAAG,cAAc,CAAC,CAAC;IACjE,IAAI,eAAe,GAAG,oBAAoB,CAAC,gBAAgB,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAExE,sDAAsD;IACtD,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC3D,OAAO,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC;QAC1C,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,MAAM,WAAW,GAAG,QAAQ,YAAY,mDAAmD,CAAC;QAC5F,eAAe,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IACzF,CAAC;IAED,6CAA6C;IAC7C,8DAA8D;IAC9D,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC3D,OAAO,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC;QAC1C,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,MAAM,WAAW,GAAG,QAAQ,YAAY,6DAA6D,CAAC;QACtG,eAAe,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IACzF,CAAC;IAED,8BAA8B;IAC9B,MAAM,YAAY,GAAG,qBAAqB,EAAE,CAAC;IAC7C,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAG,iBAAiB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClF,eAAe,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IACzF,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK;QACvC,MAAM,EAAE,QAAQ,KAAK,SAAS;QAC9B,QAAQ;QACR,aAAa,EAAE,YAAY;QAC3B,eAAe,EAAE,cAAc;QAC/B,gBAAgB,EAAE,eAAe;QACjC,eAAe,EAAE,cAAc;QAC/B,gBAAgB,EAAE,eAAe;KAClC,CAAC;AACJ,CAAC;AAED,8CAA8C;AAC9C,gCAAgC;AAChC,8CAA8C;AAE9C,yCAAyC;AACzC,MAAM,UAAU,iBAAiB,CAC/B,KAAyB,EACzB,WAAmC,EACnC,WAAoB;IAEpB,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,WAAmB,EAAE,KAAa;IAC/D,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAkB;QAC9B,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,KAAK;KAChB,CAAC;IAEF,0DAA0D;IAC1D,MAAM,WAAW,GAAgB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACvD,EAAE,EAAE,4BAA4B,CAAC,EAAE;QACnC,IAAI,EAAE,YAAY;QAClB,QAAQ,EAAE,qBAAqB;QAC/B,QAAQ,EAAE,OAAO;QACjB,UAAU,EAAE,eAAe;QAC3B,QAAQ,EAAE,kBAAkB;QAC5B,IAAI,EAAE,GAAG;QACT,iBAAiB,EAAE,EAAE;KACtB,CAAC,CAAC,CAAC;IAEJ,uDAAuD;IACvD,MAAM,WAAW,GAAgB,KAAK;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAChE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,WAAW;QACnB,QAAQ,EAAE,qBAAqB;QAC/B,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QAC1D,UAAU,EAAE,eAAwB;QACpC,QAAQ,EAAE,OAAO;QACjB,UAAU,EAAE,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO;QACf,iBAAiB,EAAE,EAAE;KACtB,CAAC,CAAC,CAAC;IAEN,OAAO;QACL,KAAK;QACL,WAAW,EAAE,qBAAqB;QAClC,MAAM,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,WAAW,CAAC;QACxC,cAAc,EAAE,QAAQ;KACzB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAc,EACd,WAAoB;IAEpB,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,OAAO,qBAAqB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;AACpD,CAAC"}

package/dist/gate/gate_executors.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Gate Executors — MCP 工具层模块。
+ *
+ * 职责边界：
+ * - 负责：GateExecutorFn 等 MCP 工具层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：MCP Server 工具注册（registerTools）
+ * 调用谁：gate_engine
+ *
+ * 数据流：MCP 请求 → 工具调度 → 执行 → MCP 响应
+ * 持久化：无持久化（纯计算/内存态）
+ */
+import type { GateCheck, CheckResult, EvaluationContext } from "./gate_engine.js";
+/** 执行器函数签名 */
+export type GateExecutorFn = (check: GateCheck, ctx: EvaluationContext) => Promise<CheckResult>;
+/** 门禁执行器注册表（全局单例） */
+export declare class GateExecutorRegistry {
+    private executors;
+    /** 注册执行器 */
+    register(name: string, fn: GateExecutorFn): void;
+    /** 获取执行器（未注册返回 undefined） */
+    get(name: string): GateExecutorFn | undefined;
+    /** 检查执行器是否已注册 */
+    has(name: string): boolean;
+    /** 列出所有已注册的执行器名称 */
+    listRegistered(): string[];
+}
+/** 全局单例 */
+export declare const gateExecutors: GateExecutorRegistry;
+//# sourceMappingURL=gate_executors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gate_executors.d.ts","sourceRoot":"","sources":["../../src/gate/gate_executors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAMH,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAMlF,cAAc;AACd,MAAM,MAAM,cAAc,GAAG,CAC3B,KAAK,EAAE,SAAS,EAChB,GAAG,EAAE,iBAAiB,KACnB,OAAO,CAAC,WAAW,CAAC,CAAC;AAM1B,qBAAqB;AACrB,qBAAa,oBAAoB;IAC/B,OAAO,CAAC,SAAS,CAAqC;IAEtD,YAAY;IACZ,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,IAAI;IAIhD,6BAA6B;IAC7B,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAI7C,iBAAiB;IACjB,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI1B,oBAAoB;IACpB,cAAc,IAAI,MAAM,EAAE;CAG3B;AAED,WAAW;AACX,eAAO,MAAM,aAAa,sBAA6B,CAAC"}

package/dist/gate/gate_executors.js

@@ -0,0 +1,39 @@
+/**
+ * Gate Executors — MCP 工具层模块。
+ *
+ * 职责边界：
+ * - 负责：GateExecutorFn 等 MCP 工具层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：MCP Server 工具注册（registerTools）
+ * 调用谁：gate_engine
+ *
+ * 数据流：MCP 请求 → 工具调度 → 执行 → MCP 响应
+ * 持久化：无持久化（纯计算/内存态）
+ */
+// ═══════════════════════════════════════════
+// 注册表实现
+// ═══════════════════════════════════════════
+/** 门禁执行器注册表（全局单例） */
+export class GateExecutorRegistry {
+    executors = new Map();
+    /** 注册执行器 */
+    register(name, fn) {
+        this.executors.set(name, fn);
+    }
+    /** 获取执行器（未注册返回 undefined） */
+    get(name) {
+        return this.executors.get(name);
+    }
+    /** 检查执行器是否已注册 */
+    has(name) {
+        return this.executors.has(name);
+    }
+    /** 列出所有已注册的执行器名称 */
+    listRegistered() {
+        return [...this.executors.keys()];
+    }
+}
+/** 全局单例 */
+export const gateExecutors = new GateExecutorRegistry();
+//# sourceMappingURL=gate_executors.js.map

package/dist/gate/gate_executors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate_executors.js","sourceRoot":"","sources":["../../src/gate/gate_executors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAkBH,8CAA8C;AAC9C,QAAQ;AACR,8CAA8C;AAE9C,qBAAqB;AACrB,MAAM,OAAO,oBAAoB;IACvB,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAC;IAEtD,YAAY;IACZ,QAAQ,CAAC,IAAY,EAAE,EAAkB;QACvC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/B,CAAC;IAED,6BAA6B;IAC7B,GAAG,CAAC,IAAY;QACd,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,iBAAiB;IACjB,GAAG,CAAC,IAAY;QACd,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,oBAAoB;IACpB,cAAc;QACZ,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;CACF;AAED,WAAW;AACX,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,oBAAoB,EAAE,CAAC"}

package/dist/gate/gate_registry_bridge.d.ts

@@ -0,0 +1,32 @@
+/**
+ * 派生注册表 → gate 桥接（阶段3）。
+ *
+ * 从派生注册表按 stage 聚合资产的 check，构造 GateDefinition。
+ * 替代 loadGatesForDomain 从 gate yaml 加载 check（check 现嵌资产 frontmatter）。
+ * 见 docs/资产系统架构蓝图.md ④，gate 降级为按 stage 聚合的调度器。
+ */
+import type { GateDefinition } from "./gate_engine.js";
+import type { ScanResult } from "../domain/asset_registry/derived_types.js";
+/**
+ * 获取派生注册表（按 templates 根缓存）。
+ *
+ * 内置 templates 基于本模块位置（dist/gate/）回溯到 SoloForge 包根定位，不用 projectRoot/CWD：
+ * 客户项目跑 sf_work 时 CWD=客户项目，若用 resolve("templates") 会找客户项目/templates → ENOENT
+ * （开发模式 CWD=SoloForge repo 碰巧能跑，故长期未暴露）。与 getBuiltinKnowledgeDir/loader/
+ * executors_regex_scan 保持一致，统一 import.meta 定位包根。projectRoot 参数保留签名兼容，不再用于路径。
+ */
+export declare function getRegistry(_projectRoot?: string): ScanResult | null;
+/** 测试用：清缓存 */
+export declare function _clearRegistryCache(): void;
+/**
+ * 从派生注册表按 domain 聚合 check，构造 GateDefinition。
+ *
+ * 聚合依据是 check 自身的 gate 字段（check.gate === `${domain}-gate`），而非宿主资产
+ * 的 stage —— 规则文件可被多 stage gate 引用（如 并发审查.md 的 CON-01 属 build-gate，
+ * 而该文件因内容也被 verify 阶段使用，stage=verify）。按 asset.stage 聚合会漏掉这类 check。
+ *
+ * 返回 [domain-gate, slice-gate?, shared-gate?]：domain gate 聚合该域 check；slice-gate 为切片级
+ * 通用门禁（gate_scope=slice）；shared-gate 为跨阶段通用门禁（stage=shared）。
+ */
+export declare function buildGateFromRegistry(domain: string, projectRoot?: string): GateDefinition[];
+//# sourceMappingURL=gate_registry_bridge.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gate_registry_bridge.d.ts","sourceRoot":"","sources":["../../src/gate/gate_registry_bridge.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,cAAc,EAA4B,MAAM,kBAAkB,CAAC;AAEjF,OAAO,KAAK,EAAc,UAAU,EAAE,MAAM,2CAA2C,CAAC;AAaxF;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAOpE;AAED,cAAc;AACd,wBAAgB,mBAAmB,IAAI,IAAI,CAE1C;AA2BD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,cAAc,EAAE,CA4D5F"}

package/dist/gate/gate_registry_bridge.js

@@ -0,0 +1,136 @@
+import { scanDerivedRegistry } from "../domain/asset_registry/derived_registry.js";
+import { resolve, dirname } from "node:path";
+import { existsSync } from "node:fs";
+import { fileURLToPath } from "node:url";
+const DEFAULT_DECISION = {
+    promote: "所有 error 项通过",
+    hold: "warning 项未处理",
+    rollback: "error 项失败",
+};
+let _cache = null;
+/**
+ * 获取派生注册表（按 templates 根缓存）。
+ *
+ * 内置 templates 基于本模块位置（dist/gate/）回溯到 SoloForge 包根定位，不用 projectRoot/CWD：
+ * 客户项目跑 sf_work 时 CWD=客户项目，若用 resolve("templates") 会找客户项目/templates → ENOENT
+ * （开发模式 CWD=SoloForge repo 碰巧能跑，故长期未暴露）。与 getBuiltinKnowledgeDir/loader/
+ * executors_regex_scan 保持一致，统一 import.meta 定位包根。projectRoot 参数保留签名兼容，不再用于路径。
+ */
+export function getRegistry(_projectRoot) {
+    const root = resolve(dirname(fileURLToPath(import.meta.url)), "..", "..", "templates");
+    if (_cache && _cache.root === root)
+        return _cache.reg;
+    if (!existsSync(root))
+        return null;
+    const reg = scanDerivedRegistry(root);
+    _cache = { root, reg };
+    return reg;
+}
+/** 测试用：清缓存 */
+export function _clearRegistryCache() {
+    _cache = null;
+}
+function inferCategory(executor) {
+    if (!executor)
+        return "output_check";
+    if (executor === "regex_pattern_scan")
+        return "code_check";
+    if (executor === "document_structure")
+        return "output_check";
+    if (executor === "cross_validation")
+        return "cross_validation";
+    if (executor === "file_evidence")
+        return "evidence_check";
+    if (["external_command", "tsc_compile", "vitest_run", "upstream_gate_check", "lazy_pattern_check"].includes(executor))
+        return "quality_check";
+    return "output_check";
+}
+function toGateCheck(ck, assetPath) {
+    const executor = ck.executor;
+    return {
+        id: ck.id,
+        name: ck.id,
+        category: inferCategory(executor),
+        severity: ck.severity ?? "error",
+        check_type: ck.check_type ?? "deterministic",
+        executor: executor || undefined,
+        rule: ck.rule ?? "",
+        evidence_required: ck.evidence_required ?? [],
+        rule_source: assetPath, // executor 用 join(templatesDir, rule_source) 定位，需相对 templates 的完整路径（含目录，如 shared/enforced.md）
+    };
+}
+/**
+ * 从派生注册表按 domain 聚合 check，构造 GateDefinition。
+ *
+ * 聚合依据是 check 自身的 gate 字段（check.gate === `${domain}-gate`），而非宿主资产
+ * 的 stage —— 规则文件可被多 stage gate 引用（如 并发审查.md 的 CON-01 属 build-gate，
+ * 而该文件因内容也被 verify 阶段使用，stage=verify）。按 asset.stage 聚合会漏掉这类 check。
+ *
+ * 返回 [domain-gate, slice-gate?, shared-gate?]：domain gate 聚合该域 check；slice-gate 为切片级
+ * 通用门禁（gate_scope=slice）；shared-gate 为跨阶段通用门禁（stage=shared）。
+ */
+export function buildGateFromRegistry(domain, projectRoot) {
+    if (!domain)
+        return [];
+    const result = getRegistry(projectRoot);
+    if (!result)
+        return [];
+    // ④只跑确定性 executor；semantic/none 不进 gate（归 ③注入 + advisory）
+    // file_scope_check / test_count_check / report_structure 原本被挡在集合外静默跳过（假强制），
+    // 现纳入让其真正执行：SLC-G01(git diff 范围比对)/SLC-G02(vitest 计数)/VRF-G06(审查报告结构完整性)。
+    const DETERMINISTIC = new Set(["regex_pattern_scan", "document_structure", "cross_validation", "external_command", "file_evidence", "tsc_compile", "vitest_run", "upstream_gate_check", "lazy_pattern_check", "probe", "file_scope_check", "test_count_check", "report_structure"]);
+    // 按 check.gate 分组（check 归属由 check 自身声明，比宿主资产 stage 准确）
+    const byGate = new Map();
+    for (const asset of result.registry.byId.values()) {
+        if (asset.status !== "active")
+            continue;
+        const cs = Array.isArray(asset.check) ? asset.check : asset.check ? [asset.check] : [];
+        for (const ck of cs) {
+            if (!DETERMINISTIC.has(ck.executor || ""))
+                continue;
+            const gateId = ck.gate || `${asset.stage}-gate`;
+            if (!byGate.has(gateId))
+                byGate.set(gateId, []);
+            byGate.get(gateId).push(toGateCheck(ck, asset.path));
+        }
+    }
+    const gates = [];
+    const domainGateId = `${domain}-gate`;
+    const domainChecks = byGate.get(domainGateId);
+    if (domainChecks && domainChecks.length > 0) {
+        gates.push({
+            stage: domain,
+            description: `${domain} 阶段门禁（派生注册表聚合 ${domainChecks.length} check）`,
+            checks: domainChecks,
+            decision_model: DEFAULT_DECISION,
+            source_file: "derived-registry",
+        });
+    }
+    // slice-gate 切片级通用门禁（切片实现后的验证：偷懒扫描/测试数/Docker/Playwright）
+    // 仅在有代码/部署的域（build/verify/operate）附加；design 是设计阶段无切片实现，跑这些会永远 failed
+    const sliceChecks = domain === "design" ? [] : (byGate.get("slice-gate") ?? []);
+    if (sliceChecks.length > 0) {
+        gates.push({
+            stage: "slice",
+            gate_scope: "slice",
+            description: `切片级门禁（派生注册表聚合 ${sliceChecks.length} check）`,
+            checks: sliceChecks,
+            decision_model: DEFAULT_DECISION,
+            source_file: "derived-registry",
+        });
+    }
+    // shared-gate 跨阶段通用门禁（所有阶段强制的横切规则，gate_scope=shared）
+    const sharedChecks = byGate.get("shared-gate");
+    if (sharedChecks && sharedChecks.length > 0) {
+        gates.push({
+            stage: "shared",
+            gate_scope: "stage",
+            description: `跨阶段通用门禁（派生注册表聚合 ${sharedChecks.length} check）`,
+            checks: sharedChecks,
+            decision_model: DEFAULT_DECISION,
+            source_file: "derived-registry",
+        });
+    }
+    return gates;
+}
+//# sourceMappingURL=gate_registry_bridge.js.map

package/dist/gate/gate_registry_bridge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate_registry_bridge.js","sourceRoot":"","sources":["../../src/gate/gate_registry_bridge.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AAEnF,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,MAAM,gBAAgB,GAAkB;IACtC,OAAO,EAAE,cAAc;IACvB,IAAI,EAAE,cAAc;IACpB,QAAQ,EAAE,WAAW;CACtB,CAAC;AAEF,IAAI,MAAM,GAA6C,IAAI,CAAC;AAE5D;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,YAAqB;IAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACvF,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC;IACtD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,cAAc;AACd,MAAM,UAAU,mBAAmB;IACjC,MAAM,GAAG,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,QAAiB;IACtC,IAAI,CAAC,QAAQ;QAAE,OAAO,cAAc,CAAC;IACrC,IAAI,QAAQ,KAAK,oBAAoB;QAAE,OAAO,YAAY,CAAC;IAC3D,IAAI,QAAQ,KAAK,oBAAoB;QAAE,OAAO,cAAc,CAAC;IAC7D,IAAI,QAAQ,KAAK,kBAAkB;QAAE,OAAO,kBAAkB,CAAC;IAC/D,IAAI,QAAQ,KAAK,eAAe;QAAE,OAAO,gBAAgB,CAAC;IAC1D,IAAI,CAAC,kBAAkB,EAAE,aAAa,EAAE,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,eAAe,CAAC;IAC9I,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,WAAW,CAAC,EAAc,EAAE,SAAiB;IACpD,MAAM,QAAQ,GAAG,EAAE,CAAC,QAA8B,CAAC;IACnD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,IAAI,EAAE,EAAE,CAAC,EAAE;QACX,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC;QACjC,QAAQ,EAAG,EAAE,CAAC,QAAgC,IAAI,OAAO;QACzD,UAAU,EAAG,EAAE,CAAC,UAA2C,IAAI,eAAe;QAC9E,QAAQ,EAAE,QAAQ,IAAI,SAAS;QAC/B,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE;QACnB,iBAAiB,EAAE,EAAE,CAAC,iBAAiB,IAAI,EAAE;QAC7C,WAAW,EAAE,SAAS,EAAE,8FAA8F;KACvH,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAc,EAAE,WAAoB;IACxE,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,0DAA0D;IAC1D,4EAA4E;IAC5E,0EAA0E;IAC1E,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,eAAe,EAAE,aAAa,EAAE,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAEpR,uDAAuD;IACvD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;YAAE,SAAS;QACxC,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACpB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;gBAAE,SAAS;YACpD,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,OAAO,CAAC;YAChD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,YAAY,GAAG,GAAG,MAAM,OAAO,CAAC;IACtC,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC9C,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,MAAM;YACb,WAAW,EAAE,GAAG,MAAM,iBAAiB,YAAY,CAAC,MAAM,SAAS;YACnE,MAAM,EAAE,YAAY;YACpB,cAAc,EAAE,gBAAgB;YAChC,WAAW,EAAE,kBAAkB;SAChC,CAAC,CAAC;IACL,CAAC;IACD,0DAA0D;IAC1D,qEAAqE;IACrE,MAAM,WAAW,GAAG,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC;IAChF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,OAAO;YACd,UAAU,EAAE,OAAO;YACnB,WAAW,EAAE,iBAAiB,WAAW,CAAC,MAAM,SAAS;YACzD,MAAM,EAAE,WAAW;YACnB,cAAc,EAAE,gBAAgB;YAChC,WAAW,EAAE,kBAAkB;SAChC,CAAC,CAAC;IACL,CAAC;IACD,qDAAqD;IACrD,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC/C,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,QAAQ;YACf,UAAU,EAAE,OAAO;YACnB,WAAW,EAAE,mBAAmB,YAAY,CAAC,MAAM,SAAS;YAC5D,MAAM,EAAE,YAAY;YACpB,cAAc,EAAE,gBAAgB;YAChC,WAAW,EAAE,kBAAkB;SAChC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}