soloforge 1.4.16 → 1.5.0

package/dist/engine/gate_checks/checkMainlineConsumption.js

@@ -0,0 +1,312 @@
+/**
+ * Phase 3 — 主链路真实消费检查。
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { safeReadCached } from "./helpers.js";
+import { sourceImportsModule, sourceContainsIdentifier } from "../source_code_matcher.js";
+/** 已知的消费者入口→文件映射 */
+const CONSUMER_ENTRY_FILES = {
+    "CLI validate": ["src/bin/soloforge.ts"],
+    "CLI sync-templates": ["src/bin/soloforge.ts"],
+    "CLI sync-adapters": ["src/bin/soloforge.ts"],
+    "CLI migrate": ["src/bin/soloforge.ts"],
+    "CLI validate-knowledge": ["src/engine/knowledge_scenario_registry.ts"],
+    "联调验证(验证)": ["src/engine/verifier.ts"],
+    "联调验证(交付)": ["src/adapters/claude_code/tools.ts", "src/engine/delivery_readiness.ts"],
+    "架构设计": ["src/adapters/claude_code/tools.ts", "src/engine/intent_expander.ts"],
+    "问题管理流程": [],
+    "sf_expand": ["src/adapters/claude_code/tools.ts", "src/engine/intent_expander.ts"],
+};
+/** 模块名→文件路径映射 (用于模块间调用链如 "knowledge_evolution.validateCandidateTrust") */
+const MODULE_FILE_MAP = {
+    "knowledge_lifecycle": "src/engine/knowledge_lifecycle.ts",
+    "knowledge_evolution": "src/engine/knowledge_evolution.ts",
+    "chinese_semantic_priority": "src/engine/chinese_semantic_priority.ts",
+    "language_policy": "src/engine/language_policy.ts",
+    "documentation_governance": "src/engine/documentation_governance.ts",
+    "template_sync": "src/engine/template_sync.ts",
+    "user_promise": "src/engine/user_promise.ts",
+    "adapter_prompt_contract": "src/engine/adapter_prompt_contract.ts",
+    "release_compatibility": "src/engine/release_compatibility.ts",
+    "extension_contract": "src/engine/extension_contract.ts",
+    "platform_context": "src/engine/platform_context.ts",
+    "metric_governance": "src/engine/metric_governance.ts",
+    "technology_decision": "src/engine/technology_decision.ts",
+    "brainstorm_contract": "src/engine/brainstorm_contract.ts",
+    "detail_discipline": "src/engine/detail_discipline.ts",
+    "first_principles": "src/engine/first_principles.ts",
+    "architecture_design_contract": "src/engine/architecture_design_contract.ts",
+    "existing_system_analysis": "src/engine/existing_system_analysis.ts",
+    "coding_readiness_gate": "src/engine/coding_readiness_gate.ts",
+    "local_docker_acceptance": "src/engine/local_docker_acceptance.ts",
+    "workflow_template_pack": "src/engine/workflow_template_pack.ts",
+    "evolution_regression_gate": "src/engine/evolution_regression_gate.ts",
+    "delivery_readiness": "src/engine/delivery_readiness.ts",
+    "knowledge_scenario_registry": "src/engine/knowledge_scenario_registry.ts",
+    "intent_expander": "src/engine/intent_expander.ts",
+};
+/** 从调用链文本中解析出所有消费者文件 */
+function resolveConsumerFiles(chainText) {
+    const files = new Set();
+    const segments = chainText.split("→").map(s => s.trim()).filter(Boolean);
+    for (const seg of segments) {
+        // 检查是否匹配已知入口 (如 "CLI validate →" 或 "sf_verify →")
+        for (const [entry, paths] of Object.entries(CONSUMER_ENTRY_FILES)) {
+            if (seg.includes(entry) || seg.startsWith(entry)) {
+                for (const p of paths)
+                    files.add(p);
+            }
+        }
+        // 检查是否匹配 cmdXxx 命令 (如 "cmdValidate")
+        const cmdMatch = seg.match(/cmd([A-Z]\w+)/);
+        if (cmdMatch) {
+            // cmd* 函数通常在 src/bin/soloforge.ts
+            files.add("src/bin/soloforge.ts");
+        }
+        // 检查是否匹配 generateVerifyCommands
+        if (seg.includes("generateVerifyCommands")) {
+            files.add("src/engine/verifier.ts");
+        }
+        // 检查是否匹配 evaluateDeliveryReadiness
+        if (seg.includes("evaluateDeliveryReadiness")) {
+            files.add("src/engine/delivery_readiness.ts");
+            files.add("src/adapters/claude_code/tools.ts");
+        }
+        // 检查是否匹配 cmdSyncTemplates/cmdSyncAdapters/cmdMigrate
+        if (seg.includes("cmdSyncTemplates") || seg.includes("cmdSyncAdapters") || seg.includes("cmdMigrate") || seg.includes("cmdValidate")) {
+            files.add("src/bin/soloforge.ts");
+        }
+        // 检查模块.function 模式 (如 "knowledge_evolution.validateCandidateTrust")
+        for (const [modName, modPath] of Object.entries(MODULE_FILE_MAP)) {
+            if (seg.includes(`${modName}.`) || seg.includes(modName)) {
+                files.add(modPath);
+            }
+        }
+        // 检查 buildTemplateManifestFromSource
+        if (seg.includes("buildTemplateManifestFromSource")) {
+            files.add("src/bin/soloforge.ts");
+        }
+    }
+    return [...files];
+}
+/** 从字符串数组格式的字段中提取文件路径列表 */
+function extractStringArray(rawValue) {
+    // 处理 ["a", "b"] 格式
+    const items = rawValue.match(/["']([^"']+)["']/g) || [];
+    return items.map(s => s.replace(/["']/g, ""));
+}
+/** 从注册表文件内容中提取所有验收条目的结构化数据 */
+function parseAcceptanceEntries(content) {
+    const entries = [];
+    const lines = content.split("\n");
+    let currentEntry = null;
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        // 检测新条目开始 (issue_id 出现)
+        const issueMatch = line.match(/issue_id:\s*["']([^"']+)["']/);
+        if (issueMatch) {
+            if (currentEntry)
+                entries.push(currentEntry);
+            currentEntry = {
+                issue_id: issueMatch[1],
+                owner_files: [],
+                required_entrypoints: [],
+                mainline_consumption_check: "",
+                entryStartLine: i,
+            };
+            continue;
+        }
+        if (!currentEntry)
+            continue;
+        // 提取 owner_files
+        if (line.includes("owner_files:") && !line.includes("//")) {
+            // 可能是单行或多行
+            let raw = line;
+            if (!raw.includes("]")) {
+                let j = i + 1;
+                while (j < lines.length && !raw.includes("]")) {
+                    raw += lines[j];
+                    j++;
+                }
+            }
+            currentEntry.owner_files = extractStringArray(raw.replace(/^.*owner_files:\s*/, ""));
+        }
+        // 提取 required_entrypoints
+        if (line.includes("required_entrypoints:") && !line.includes("//")) {
+            let raw = line;
+            if (!raw.includes("]")) {
+                let j = i + 1;
+                while (j < lines.length && !raw.includes("]")) {
+                    raw += lines[j];
+                    j++;
+                }
+            }
+            currentEntry.required_entrypoints = extractStringArray(raw.replace(/^.*required_entrypoints:\s*/, ""));
+        }
+        // 提取 mainline_consumption_check
+        if (line.includes("mainline_consumption_check:") && !line.includes("//")) {
+            let raw = line;
+            if (!raw.includes("]")) {
+                let j = i + 1;
+                while (j < lines.length && !raw.includes("]")) {
+                    raw += lines[j];
+                    j++;
+                }
+            }
+            currentEntry.mainline_consumption_check = raw.replace(/^.*mainline_consumption_check:\s*/, "");
+        }
+    }
+    if (currentEntry)
+        entries.push(currentEntry);
+    return entries;
+}
+export async function check(ctx, hardFail, info) {
+    const rootDir = ctx.rootDir;
+    const registryFiles = [
+        { filePath: "tests/engine/extension_acceptance_registry.ts", label: "Extension 验收" },
+        { filePath: "src/engine/knowledge_acceptance_registry.ts", label: "知识验收" },
+    ];
+    for (const reg of registryFiles) {
+        const content = safeReadCached(path.join(rootDir, reg.filePath), ctx.readCache);
+        if (!content) {
+            info?.(`  [跳过] ${reg.filePath} 不存在`);
+            continue;
+        }
+        const entries = parseAcceptanceEntries(content);
+        for (const entry of entries) {
+            // ── 检查 1: owner_files 必须在磁盘上存在 ──
+            for (const ownerFile of entry.owner_files) {
+                const fullPath = path.join(rootDir, ownerFile);
+                if (!fs.existsSync(fullPath)) {
+                    hardFail("MAINLINE_OWNER_FILE_MISSING", `${reg.label}: ${entry.issue_id} 的 owner_file "${ownerFile}" 不存在`, [reg.filePath, ownerFile], entry.issue_id, "旧 gate 不校验 owner_files 是否真实存在", "创建缺失文件或修正 owner_files");
+                }
+            }
+            // ── 检查 2: required_entrypoints 必须在 owner_files 中真实 export ──
+            for (const ep of entry.required_entrypoints) {
+                let found = false;
+                for (const ownerFile of entry.owner_files) {
+                    const srcContent = safeReadCached(path.join(rootDir, ownerFile), ctx.readCache);
+                    if (!srcContent)
+                        continue;
+                    // 检查 export function 或 export const 或 export async function
+                    const exportPattern = new RegExp(`export\\s+(async\\s+)?function\\s+${ep}\\b|export\\s+const\\s+${ep}\\b`);
+                    if (exportPattern.test(srcContent)) {
+                        found = true;
+                        break;
+                    }
+                }
+                if (!found) {
+                    hardFail("MAINLINE_ENTRYPOINT_NOT_EXPORTED", `${reg.label}: ${entry.issue_id} 的 required_entrypoint "${ep}" 未在 owner_files 中找到 export`, [reg.filePath, ...entry.owner_files], entry.issue_id, "旧 gate 不校验 required_entrypoints 是否真实导出", "添加缺失的 export 或修正 required_entrypoints");
+                }
+            }
+            // ── 检查 3: 调用链格式 — pending_integration 或至少 2 级 (→ 分隔) ──
+            const chainText = entry.mainline_consumption_check.match(/\[([^\]]+)\]/)?.[1] || "";
+            const isPendingIntegration = chainText.includes("pending_integration");
+            const chainSegments = chainText.split("→").map(s => s.trim()).filter(Boolean);
+            if (isPendingIntegration) {
+                // 诚实标记: 入口已 export 但无生产消费者 — hard_fail 提醒集成未完成
+                hardFail("MAINLINE_PENDING_INTEGRATION", `${reg.label}: ${entry.issue_id} 标记为 pending_integration: ${chainText.replace("pending_integration: ", "")}`, [reg.filePath], entry.issue_id, "入口函数已实现但无真实生产消费路径", "补充消费者源码调用");
+                continue;
+            }
+            if (chainSegments.length < 2) {
+                hardFail("MAINLINE_CHAIN_TOO_SHORT", `${reg.label}: ${entry.issue_id} 的 mainline_consumption_check 调用链不足 2 级: "${chainText}"`, [reg.filePath], entry.issue_id, "调用链必须包含入口→调用→效果至少 2 级", "补充调用链");
+                continue;
+            }
+            // ── 检查 4: 调用链中声称的消费者必须真实 import/call required_entrypoints ──
+            const consumerFiles = resolveConsumerFiles(chainText);
+            if (consumerFiles.length === 0) {
+                // 调用链中的入口无法映射到任何消费者文件
+                hardFail("MAINLINE_CONSUMER_NOT_FOUND", `${reg.label}: ${entry.issue_id} 的调用链入口无法映射到已知消费者文件: "${chainSegments[0]}"`, [reg.filePath], entry.issue_id, "调用链声称的入口没有对应的消费者文件", "补充消费源码或修正调用链描述");
+                continue;
+            }
+            // 对每个 required_entrypoint，验证至少有一条真实消费路径
+            // 路径 A: 消费者文件直接 import + call 该 entrypoint
+            // 路径 B: entrypoint 在 owner_file 内部被同一模块的另一个已消费函数调用 (传递消费)
+            //         条件: 消费者 import 了 owner_file 的某个函数 + entrypoint 在 owner_file 内被调用
+            for (const ep of entry.required_entrypoints) {
+                let consumedByRealCode = false;
+                // 路径 A: 直接消费
+                for (const consumerFile of consumerFiles) {
+                    const consumerContent = safeReadCached(path.join(rootDir, consumerFile), ctx.readCache);
+                    if (!consumerContent)
+                        continue;
+                    const staticImportPattern = new RegExp(`import\\s+\\{[^}]*\\b${ep}\\b[^}]*\\}\\s+from`);
+                    const dynamicImportPattern = new RegExp(`\\{[^}]*\\b${ep}\\b[^}]*\\}\\s*=\\s*await\\s+import\\(`);
+                    const hasLazyModuleImport = entry.owner_files.some((ownerFile) => {
+                        const moduleName = path.basename(ownerFile, ".ts");
+                        return sourceImportsModule(consumerContent, `../../engine/${moduleName}.js`)
+                            || sourceImportsModule(consumerContent, `../engine/${moduleName}.js`)
+                            || sourceImportsModule(consumerContent, `./${moduleName}.js`);
+                    });
+                    const hasImport = staticImportPattern.test(consumerContent)
+                        || dynamicImportPattern.test(consumerContent)
+                        || hasLazyModuleImport;
+                    if (!hasImport)
+                        continue;
+                    const importLinePattern = new RegExp(`import\\s+\\{[^}]*\\b${ep}\\b|\\{[^}]*\\b${ep}\\b[^}]*\\}\\s*=\\s*await\\s+import`);
+                    const callLines = consumerContent.split("\n").filter(l => !importLinePattern.test(l) && l.includes(ep));
+                    if (callLines.length > 0) {
+                        consumedByRealCode = true;
+                        break;
+                    }
+                }
+                // 路径 B: 传递消费 — entrypoint 在 owner_file 内部被另一个函数调用
+                // 且消费者 import 了 owner_file 中的某个函数
+                if (!consumedByRealCode) {
+                    for (const ownerFile of entry.owner_files) {
+                        const ownerContent = safeReadCached(path.join(rootDir, ownerFile), ctx.readCache);
+                        if (!ownerContent)
+                            continue;
+                        // 检查 entrypoint 在 owner_file 内部被非 export 行调用
+                        const ownerLines = ownerContent.split("\n");
+                        const exportLinePattern = new RegExp(`export\\s+(async\\s+)?function\\s+${ep}\\b|export\\s+const\\s+${ep}\\b`);
+                        const internalCalls = ownerLines.filter(l => !exportLinePattern.test(l) && l.includes(ep));
+                        if (internalCalls.length === 0)
+                            continue; // entrypoint 在 owner_file 内部未被调用
+                        // entrypoint 在 owner_file 内部被调用 — 检查消费者是否 import 了 owner_file 的任何函数
+                        for (const consumerFile of consumerFiles) {
+                            const consumerContent = safeReadCached(path.join(rootDir, consumerFile), ctx.readCache);
+                            if (!consumerContent)
+                                continue;
+                            // 检查消费者是否从 owner_file import 了任何东西
+                            const ownerBasename = ownerFile.replace(/^src\/engine\//, "").replace(/\.ts$/, ".js");
+                            const ownerImportPattern = new RegExp(`from\\s+["']\\./${ownerBasename.replace(".js", "")}\\.js["']|from\\s+["']\\.\\./engine/${ownerBasename.replace(".js", "")}\\.js["']`);
+                            // 对于 CLI: from "../engine/xxx.js"
+                            const cliImportPattern = new RegExp(`\\bimport\\s*\\([^)]*${ownerBasename.replace(/\.js$/, "")}`);
+                            if (ownerImportPattern.test(consumerContent) || cliImportPattern.test(consumerContent)) {
+                                consumedByRealCode = true;
+                                break;
+                            }
+                        }
+                        if (consumedByRealCode)
+                            break;
+                    }
+                }
+                if (!consumedByRealCode) {
+                    hardFail("MAINLINE_ENTRYPOINT_NOT_CONSUMED", `${reg.label}: ${entry.issue_id} 的 required_entrypoint "${ep}" 无真实消费路径 (直接或传递)`, [reg.filePath, ...consumerFiles, ...entry.owner_files], entry.issue_id, "旧 gate 不校验消费者是否真实调用入口函数", "补充消费者源码调用或修正 required_entrypoints");
+                }
+            }
+            // ── 检查 5: owner_files 源码中必须包含调用链提到的函数名 ──
+            let funcInSource = false;
+            for (const ownerFile of entry.owner_files) {
+                const srcContent = safeReadCached(path.join(rootDir, ownerFile), ctx.readCache);
+                if (!srcContent)
+                    continue;
+                for (const seg of chainSegments) {
+                    const funcName = seg.match(/([a-z][a-zA-Z_]{4,})/)?.[1];
+                    if (funcName && sourceContainsIdentifier(srcContent, funcName)) {
+                        funcInSource = true;
+                        break;
+                    }
+                }
+                if (funcInSource)
+                    break;
+            }
+            if (!funcInSource) {
+                hardFail("MAINLINE_CHAIN_FUNC_NOT_IN_OWNER", `${reg.label}: ${entry.issue_id} 的调用链函数名未在 owner_files 源码中找到`, [reg.filePath, ...entry.owner_files], entry.issue_id, "旧 gate 对调用链与 owner_files 交叉引用失败时仅发 _info", "修正调用链或 owner_files");
+            }
+        }
+    }
+}
+//# sourceMappingURL=checkMainlineConsumption.js.map

package/dist/engine/gate_checks/checkMainlineConsumption.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkMainlineConsumption.js","sourceRoot":"","sources":["../../../src/engine/gate_checks/checkMainlineConsumption.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,cAAc,EAAY,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAE1F,oBAAoB;AACpB,MAAM,oBAAoB,GAA6B;IACrD,cAAc,EAAE,CAAC,sBAAsB,CAAC;IACxC,oBAAoB,EAAE,CAAC,sBAAsB,CAAC;IAC9C,mBAAmB,EAAE,CAAC,sBAAsB,CAAC;IAC7C,aAAa,EAAE,CAAC,sBAAsB,CAAC;IACvC,wBAAwB,EAAE,CAAC,2CAA2C,CAAC;IACvE,UAAU,EAAE,CAAC,wBAAwB,CAAC;IACtC,UAAU,EAAE,CAAC,mCAAmC,EAAE,kCAAkC,CAAC;IACrF,MAAM,EAAE,CAAC,mCAAmC,EAAE,+BAA+B,CAAC;IAC9E,QAAQ,EAAE,EAAE;IACZ,WAAW,EAAE,CAAC,mCAAmC,EAAE,+BAA+B,CAAC;CACpF,CAAC;AAEF,0EAA0E;AAC1E,MAAM,eAAe,GAA2B;IAC9C,qBAAqB,EAAE,mCAAmC;IAC1D,qBAAqB,EAAE,mCAAmC;IAC1D,2BAA2B,EAAE,yCAAyC;IACtE,iBAAiB,EAAE,+BAA+B;IAClD,0BAA0B,EAAE,wCAAwC;IACpE,eAAe,EAAE,6BAA6B;IAC9C,cAAc,EAAE,4BAA4B;IAC5C,yBAAyB,EAAE,uCAAuC;IAClE,uBAAuB,EAAE,qCAAqC;IAC9D,oBAAoB,EAAE,kCAAkC;IACxD,kBAAkB,EAAE,gCAAgC;IACpD,mBAAmB,EAAE,iCAAiC;IACtD,qBAAqB,EAAE,mCAAmC;IAC1D,qBAAqB,EAAE,mCAAmC;IAC1D,mBAAmB,EAAE,iCAAiC;IACtD,kBAAkB,EAAE,gCAAgC;IACpD,8BAA8B,EAAE,4CAA4C;IAC5E,0BAA0B,EAAE,wCAAwC;IACpE,uBAAuB,EAAE,qCAAqC;IAC9D,yBAAyB,EAAE,uCAAuC;IAClE,wBAAwB,EAAE,sCAAsC;IAChE,2BAA2B,EAAE,yCAAyC;IACtE,oBAAoB,EAAE,kCAAkC;IACxD,6BAA6B,EAAE,2CAA2C;IAC1E,iBAAiB,EAAE,+BAA+B;CACnD,CAAC;AAEF,wBAAwB;AACxB,SAAS,oBAAoB,CAAC,SAAiB;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAEzE,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,kDAAkD;QAClD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAClE,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,KAAK,MAAM,CAAC,IAAI,KAAK;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,qCAAqC;QACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC5C,IAAI,QAAQ,EAAE,CAAC;YACb,kCAAkC;YAClC,KAAK,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpC,CAAC;QACD,gCAAgC;QAChC,IAAI,GAAG,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EAAE,CAAC;YAC3C,KAAK,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QACtC,CAAC;QACD,mCAAmC;QACnC,IAAI,GAAG,CAAC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;YAC9C,KAAK,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;QACjD,CAAC;QACD,qDAAqD;QACrD,IAAI,GAAG,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YACrI,KAAK,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpC,CAAC;QACD,oEAAoE;QACpE,KAAK,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;YACjE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,OAAO,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzD,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QACD,qCAAqC;QACrC,IAAI,GAAG,CAAC,QAAQ,CAAC,iCAAiC,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,2BAA2B;AAC3B,SAAS,kBAAkB,CAAC,QAAgB;IAC1C,mBAAmB;IACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC;IACxD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,8BAA8B;AAC9B,SAAS,sBAAsB,CAAC,OAAe;IAO7C,MAAM,OAAO,GAMR,EAAE,CAAC;IAER,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,YAAY,GAA6B,IAAI,CAAC;IAElD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAEtB,wBAAwB;QACxB,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC9D,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,YAAY;gBAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC7C,YAAY,GAAG;gBACb,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;gBACvB,WAAW,EAAE,EAAE;gBACf,oBAAoB,EAAE,EAAE;gBACxB,0BAA0B,EAAE,EAAE;gBAC9B,cAAc,EAAE,CAAC;aAClB,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,iBAAiB;QACjB,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,WAAW;YACX,IAAI,GAAG,GAAG,IAAI,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAAC,CAAC,EAAE,CAAC;gBAAC,CAAC;YAC1E,CAAC;YACD,YAAY,CAAC,WAAW,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;QAED,0BAA0B;QAC1B,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,IAAI,GAAG,GAAG,IAAI,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAAC,CAAC,EAAE,CAAC;gBAAC,CAAC;YAC1E,CAAC;YACD,YAAY,CAAC,oBAAoB,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,6BAA6B,EAAE,EAAE,CAAC,CAAC,CAAC;QACzG,CAAC;QAED,gCAAgC;QAChC,IAAI,IAAI,CAAC,QAAQ,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,IAAI,GAAG,GAAG,IAAI,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAAC,CAAC,EAAE,CAAC;gBAAC,CAAC;YAC1E,CAAC;YACD,YAAY,CAAC,0BAA0B,GAAG,GAAG,CAAC,OAAO,CAAC,mCAAmC,EAAE,EAAE,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IACD,IAAI,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAE7C,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,KAAK,CACzB,GAAgB,EAChB,QAA0B,EAC1B,IAAmB;IAEnB,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,MAAM,aAAa,GAAG;QACpB,EAAE,QAAQ,EAAE,+CAA+C,EAAE,KAAK,EAAE,cAAc,EAAE;QACpF,EAAE,QAAQ,EAAE,6CAA6C,EAAE,KAAK,EAAE,MAAM,EAAE;KAC3E,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAChF,IAAI,CAAC,OAAO,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC,UAAU,GAAG,CAAC,QAAQ,MAAM,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAEjE,MAAM,OAAO,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAEhD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,mCAAmC;YACnC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC/C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC7B,QAAQ,CAAC,6BAA6B,EACpC,GAAG,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,kBAAkB,SAAS,OAAO,EACjE,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,QAAQ,EACzC,+BAA+B,EAAE,uBAAuB,CAAC,CAAC;gBAC9D,CAAC;YACH,CAAC;YAED,8DAA8D;YAC9D,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;gBAC5C,IAAI,KAAK,GAAG,KAAK,CAAC;gBAClB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;oBAC1C,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAChF,IAAI,CAAC,UAAU;wBAAE,SAAS;oBAC1B,4DAA4D;oBAC5D,MAAM,aAAa,GAAG,IAAI,MAAM,CAAC,qCAAqC,EAAE,0BAA0B,EAAE,KAAK,CAAC,CAAC;oBAC3G,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;wBACnC,KAAK,GAAG,IAAI,CAAC;wBACb,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,QAAQ,CAAC,kCAAkC,EACzC,GAAG,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,2BAA2B,EAAE,6BAA6B,EACzF,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,QAAQ,EACpD,wCAAwC,EAAE,uCAAuC,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;YAED,yDAAyD;YACzD,MAAM,SAAS,GAAG,KAAK,CAAC,0BAA0B,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACpF,MAAM,oBAAoB,GAAG,SAAS,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC;YACvE,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9E,IAAI,oBAAoB,EAAE,CAAC;gBACzB,+CAA+C;gBAC/C,QAAQ,CAAC,8BAA8B,EACrC,GAAG,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,6BAA6B,SAAS,CAAC,OAAO,CAAC,uBAAuB,EAAE,EAAE,CAAC,EAAE,EAC5G,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,EAC9B,mBAAmB,EAAE,WAAW,CAAC,CAAC;gBACpC,SAAS;YACX,CAAC;YACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,0BAA0B,EACjC,GAAG,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,6CAA6C,SAAS,GAAG,EACxF,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,EAC9B,uBAAuB,EAAE,OAAO,CAAC,CAAC;gBACpC,SAAS;YACX,CAAC;YAED,8DAA8D;YAC9D,MAAM,aAAa,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;YACtD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,sBAAsB;gBACtB,QAAQ,CAAC,6BAA6B,EACpC,GAAG,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,yBAAyB,aAAa,CAAC,CAAC,CAAC,GAAG,EAC3E,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,EAC9B,oBAAoB,EAAE,gBAAgB,CAAC,CAAC;gBAC1C,SAAS;YACX,CAAC;YAED,wCAAwC;YACxC,2CAA2C;YAC3C,0DAA0D;YAC1D,2EAA2E;YAC3E,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;gBAC5C,IAAI,kBAAkB,GAAG,KAAK,CAAC;gBAE/B,aAAa;gBACb,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;oBACzC,MAAM,eAAe,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBACxF,IAAI,CAAC,eAAe;wBAAE,SAAS;oBAE/B,MAAM,mBAAmB,GAAG,IAAI,MAAM,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,CAAC;oBACxF,MAAM,oBAAoB,GAAG,IAAI,MAAM,CAAC,cAAc,EAAE,wCAAwC,CAAC,CAAC;oBAClG,MAAM,mBAAmB,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;wBAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;wBACnD,OAAO,mBAAmB,CAAC,eAAe,EAAE,gBAAgB,UAAU,KAAK,CAAC;+BACvE,mBAAmB,CAAC,eAAe,EAAE,aAAa,UAAU,KAAK,CAAC;+BAClE,mBAAmB,CAAC,eAAe,EAAE,KAAK,UAAU,KAAK,CAAC,CAAC;oBAClE,CAAC,CAAC,CAAC;oBACH,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,eAAe,CAAC;2BACtD,oBAAoB,CAAC,IAAI,CAAC,eAAe,CAAC;2BAC1C,mBAAmB,CAAC;oBACzB,IAAI,CAAC,SAAS;wBAAE,SAAS;oBAEzB,MAAM,iBAAiB,GAAG,IAAI,MAAM,CAAC,wBAAwB,EAAE,kBAAkB,EAAE,qCAAqC,CAAC,CAAC;oBAC1H,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;oBACxG,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACzB,kBAAkB,GAAG,IAAI,CAAC;wBAC1B,MAAM;oBACR,CAAC;gBACH,CAAC;gBAED,kDAAkD;gBAClD,kCAAkC;gBAClC,IAAI,CAAC,kBAAkB,EAAE,CAAC;oBACxB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;wBAC1C,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;wBAClF,IAAI,CAAC,YAAY;4BAAE,SAAS;wBAC5B,6CAA6C;wBAC7C,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBAC5C,MAAM,iBAAiB,GAAG,IAAI,MAAM,CAAC,qCAAqC,EAAE,0BAA0B,EAAE,KAAK,CAAC,CAAC;wBAC/G,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;wBAC3F,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;4BAAE,SAAS,CAAC,iCAAiC;wBAE3E,oEAAoE;wBACpE,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;4BACzC,MAAM,eAAe,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;4BACxF,IAAI,CAAC,eAAe;gCAAE,SAAS;4BAC/B,mCAAmC;4BACnC,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;4BACtF,MAAM,kBAAkB,GAAG,IAAI,MAAM,CAAC,mBAAmB,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,uCAAuC,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC;4BAC7K,kCAAkC;4BAClC,MAAM,gBAAgB,GAAG,IAAI,MAAM,CAAC,wBAAwB,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;4BAClG,IAAI,kBAAkB,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;gCACvF,kBAAkB,GAAG,IAAI,CAAC;gCAC1B,MAAM;4BACR,CAAC;wBACH,CAAC;wBACD,IAAI,kBAAkB;4BAAE,MAAM;oBAChC,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,kBAAkB,EAAE,CAAC;oBACxB,QAAQ,CAAC,kCAAkC,EACzC,GAAG,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,2BAA2B,EAAE,mBAAmB,EAC/E,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,aAAa,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,QAAQ,EACtE,yBAAyB,EAAE,mCAAmC,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;YAED,2CAA2C;YAC3C,IAAI,YAAY,GAAG,KAAK,CAAC;YACzB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBAC1C,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;gBAChF,IAAI,CAAC,UAAU;oBAAE,SAAS;gBAC1B,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;oBAChC,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBACxD,IAAI,QAAQ,IAAI,wBAAwB,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC/D,YAAY,GAAG,IAAI,CAAC;wBACpB,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,YAAY;oBAAE,MAAM;YAC1B,CAAC;YACD,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,QAAQ,CAAC,kCAAkC,EACzC,GAAG,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,8BAA8B,EAC7D,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,QAAQ,EACpD,0CAA0C,EAAE,oBAAoB,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/engine/gate_checks/checkMechanismChain.d.ts

@@ -0,0 +1,6 @@
+/**
+ * 机制链路检查 — WRITE_SIDE_EFFECTS 一致性、三重注册、废弃检测、命名规范、引用完整性。
+ */
+import type { GateContext, HardFailCallback } from "./types.js";
+export declare function check(ctx: GateContext, hardFail: HardFailCallback): Promise<void>;
+//# sourceMappingURL=checkMechanismChain.d.ts.map

package/dist/engine/gate_checks/checkMechanismChain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkMechanismChain.d.ts","sourceRoot":"","sources":["../../../src/engine/gate_checks/checkMechanismChain.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAIhE,wBAAsB,KAAK,CACzB,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAAC,IAAI,CAAC,CAef"}

package/dist/engine/gate_checks/checkMechanismChain.js

@@ -0,0 +1,196 @@
+/**
+ * 机制链路检查 — WRITE_SIDE_EFFECTS 一致性、三重注册、废弃检测、命名规范、引用完整性。
+ */
+import path from "node:path";
+import { safeReadCached } from "./helpers.js";
+import { sourceContainsIdentifier } from "../source_code_matcher.js";
+export async function check(ctx, hardFail) {
+    // ── C1. WRITE_SIDE_EFFECTS 一致性 ──
+    await checkWriteSideEffectsConsistency(ctx, hardFail);
+    // ── C2. 三重注册一致性 ──
+    await checkTripleRegistryConsistency(ctx, hardFail);
+    // ── C3. 废弃机制不在活跃数组中 ──
+    await checkDeprecatedNotInActiveArrays(ctx, hardFail);
+    // ── C4. 机制 ID 命名规范 ──
+    await checkMechanismIdNaming(ctx, hardFail);
+    // ── C5. 跨 registry 引用完整性 ──
+    await checkCrossRegistryIntegrity(ctx, hardFail);
+}
+const MC_ID_PATTERN = /^mc-[a-z][a-z0-9-]*$/;
+/** C1: WRITE_SIDE_EFFECTS 一致性 */
+async function checkWriteSideEffectsConsistency(ctx, hardFail) {
+    const controlPlanePath = path.join(ctx.rootDir, "src", "engine", "control_plane_contract.ts");
+    const toolContractPath = path.join(ctx.rootDir, "src", "engine", "tool_invocation_contract_registry.ts");
+    const cpText = safeReadCached(controlPlanePath, ctx.readCache);
+    const tcText = safeReadCached(toolContractPath, ctx.readCache);
+    if (!cpText || !tcText)
+        return;
+    // 提取两个文件中的 WRITE_SIDE_EFFECTS 数组内容
+    const cpEffects = extractWriteSideEffects(cpText);
+    const tcEffects = extractWriteSideEffects(tcText);
+    if (cpEffects.length === 0 || tcEffects.length === 0)
+        return;
+    // 检查 tool_invocation_contract_registry 是否包含 control_plane 中所有值
+    const tcSet = new Set(tcEffects);
+    const missing = cpEffects.filter((e) => !tcSet.has(e));
+    if (missing.length > 0) {
+        hardFail("WRITE_SIDE_EFFECTS_INCONSISTENT", `control_plane_contract.ts 的 WRITE_SIDE_EFFECTS 包含 tool_invocation_contract_registry.ts 中不存在的值: ${missing.join(", ")}`, ["src/engine/control_plane_contract.ts", "src/engine/tool_invocation_contract_registry.ts"], "机制链路一致性", "两个文件的 WRITE_SIDE_EFFECTS 不同步", "同步两处 WRITE_SIDE_EFFECTS 定义");
+    }
+}
+/** 从源码中提取 WRITE_SIDE_EFFECTS 数组元素 */
+function extractWriteSideEffects(source) {
+    const effects = [];
+    const match = source.match(/WRITE_SIDE_EFFECTS\s*:\s*SideEffect\[\]\s*=\s*\[([\s\S]*?)\]/);
+    if (!match)
+        return effects;
+    const items = match[1].match(/"([^"]+)"/g) || [];
+    for (const item of items) {
+        effects.push(item.replace(/"/g, ""));
+    }
+    return effects;
+}
+/** C2: 三重注册一致性 */
+async function checkTripleRegistryConsistency(ctx, hardFail) {
+    try {
+        const mcrPath = path.join(ctx.rootDir, "dist", "engine", "mechanism_contract_registry.js");
+        const dlrPath = path.join(ctx.rootDir, "dist", "engine", "dual_layer_mechanism_registry.js");
+        const crPath = path.join(ctx.rootDir, "dist", "engine", "contract_registry.js");
+        const [mcr, dlr, cr] = await Promise.all([
+            import(mcrPath).catch(() => null),
+            import(dlrPath).catch(() => null),
+            import(crPath).catch(() => null),
+        ]);
+        if (!mcr || !dlr || !cr)
+            return;
+        // 构建 mechanism_contract_registry 的 status 映射
+        const mcrStatuses = new Map();
+        const mcrContracts = mcr.P0_MECHANISM_CONTRACTS || [];
+        for (const c of mcrContracts) {
+            mcrStatuses.set(c.id, c.status);
+        }
+        // 构建 dual_layer_mechanism_registry 的 status 映射
+        const dlrStatuses = new Map();
+        const dlrMaps = dlr.listMechanismLayerMaps ? dlr.listMechanismLayerMaps() : [];
+        for (const m of dlrMaps) {
+            dlrStatuses.set(m.mechanism_id, m.status);
+        }
+        // 构建 contract_registry 的 status 映射
+        const crStatuses = new Map();
+        const crContracts = cr.getAllContracts ? cr.getAllContracts() : [];
+        for (const c of crContracts) {
+            if (c.contract_id?.startsWith("mc-")) {
+                crStatuses.set(c.contract_id, c.state);
+            }
+        }
+        // 三重交叉验证
+        const allIds = new Set([...mcrStatuses.keys(), ...dlrStatuses.keys(), ...crStatuses.keys()]);
+        for (const id of allIds) {
+            const mcrStatus = mcrStatuses.get(id);
+            const dlrStatus = dlrStatuses.get(id);
+            const crState = crStatuses.get(id);
+            // 已废弃的机制不应在其他 registry 中为 enforced
+            if (mcrStatus === "deprecated" && dlrStatus === "dual_layer_enforced") {
+                hardFail("TRIPLE_REGISTRY_STATUS_CONFLICT", `机制 ${id} 在 mechanism_contract_registry 中为 deprecated 但在 dual_layer_mechanism_registry 中为 dual_layer_enforced`, ["src/engine/mechanism_contract_registry.ts", "src/engine/dual_layer_mechanism_registry.ts"], id, "三重注册状态不一致", "统一废弃机制的状态");
+            }
+            if (mcrStatus === "deprecated" && crState === "enforced") {
+                hardFail("TRIPLE_REGISTRY_STATUS_CONFLICT", `机制 ${id} 在 mechanism_contract_registry 中为 deprecated 但在 contract_registry 中为 enforced`, ["src/engine/mechanism_contract_registry.ts", "src/engine/contract_registry.ts"], id, "三重注册状态不一致", "统一废弃机制的状态");
+            }
+        }
+    }
+    catch {
+        // dist 未构建或模块加载失败，跳过
+    }
+}
+/** C3: 废弃机制不在活跃数组中 */
+async function checkDeprecatedNotInActiveArrays(ctx, hardFail) {
+    try {
+        const mcrPath = path.join(ctx.rootDir, "dist", "engine", "mechanism_contract_registry.js");
+        const mcr = await import(mcrPath).catch(() => null);
+        if (!mcr)
+            return;
+        const contracts = mcr.P0_MECHANISM_CONTRACTS || [];
+        const deprecatedIds = new Set(contracts.filter((c) => c.status === "deprecated").map((c) => c.id));
+        if (deprecatedIds.size === 0)
+            return;
+        // 检查 scenario registry 和 extension scenario registry
+        const scenarioPaths = [
+            "src/engine/release_gate_scenario_registry.ts",
+            "src/engine/release_issue_scenario_registry.ts",
+            "src/engine/extension_scenario_registry.ts",
+            "src/engine/foundation_scenario_registry.ts",
+            "src/engine/knowledge_scenario_registry.ts",
+        ];
+        for (const sp of scenarioPaths) {
+            const content = safeReadCached(path.join(ctx.rootDir, sp), ctx.readCache);
+            if (!content)
+                continue;
+            for (const depId of deprecatedIds) {
+                if (sourceContainsIdentifier(content, depId)) {
+                    hardFail("DEPRECATED_MECHANISM_IN_ACTIVE_ARRAY", `废弃机制 ${depId} 仍被 ${sp} 引用`, [sp, "src/engine/mechanism_contract_registry.ts"], depId, "废弃机制仍出现在活跃注册表中", "从活跃注册表中移除废弃机制引用");
+                }
+            }
+        }
+    }
+    catch {
+        // 跳过
+    }
+}
+/** C4: 机制 ID 命名规范 */
+async function checkMechanismIdNaming(ctx, hardFail) {
+    try {
+        const mcrPath = path.join(ctx.rootDir, "dist", "engine", "mechanism_contract_registry.js");
+        const mcr = await import(mcrPath).catch(() => null);
+        if (!mcr)
+            return;
+        const contracts = mcr.P0_MECHANISM_CONTRACTS || [];
+        for (const c of contracts) {
+            if (c.id.startsWith("mc-") && !MC_ID_PATTERN.test(c.id)) {
+                hardFail("MECHANISM_ID_NAMING_VIOLATION", `机制 ID "${c.id}" 不符合命名规范 /^mc-[a-z][a-z0-9-]*$/`, ["src/engine/mechanism_contract_registry.ts"], c.id, "机制 ID 命名不规范", "修正机制 ID 为小写字母数字连字符格式");
+            }
+        }
+    }
+    catch {
+        // 跳过
+    }
+}
+/** C5: 跨 registry 引用完整性 */
+async function checkCrossRegistryIntegrity(ctx, hardFail) {
+    try {
+        // 检查 contract_registry 中 consumed_by 引用完整性
+        const crPath = path.join(ctx.rootDir, "dist", "engine", "contract_registry.js");
+        const cr = await import(crPath).catch(() => null);
+        if (!cr)
+            return;
+        const allContracts = cr.getAllContracts ? cr.getAllContracts() : [];
+        const contractIds = new Set(allContracts.map((c) => c.contract_id));
+        for (const contract of allContracts) {
+            const consumedBy = contract.consumed_by || [];
+            for (const ref of consumedBy) {
+                // 只检查 contract_id 格式的引用
+                if (ref.startsWith("contract:") && !contractIds.has(ref.replace("contract:", ""))) {
+                    hardFail("CROSS_REGISTRY_REFERENTIAL_INTEGRITY", `contract ${contract.contract_id} 的 consumed_by 引用了不存在的 contract_id: ${ref}`, ["src/engine/contract_registry.ts"], contract.contract_id, "跨 registry 引用断裂", "修正 consumed_by 引用");
+                }
+            }
+        }
+        // 检查 dual_layer_mechanism_registry 中 code_enforcers 路径存在
+        const dlrPath = path.join(ctx.rootDir, "dist", "engine", "dual_layer_mechanism_registry.js");
+        const dlr = await import(dlrPath).catch(() => null);
+        if (!dlr)
+            return;
+        const maps = dlr.listMechanismLayerMaps ? dlr.listMechanismLayerMaps() : [];
+        for (const m of maps) {
+            const enforcers = m.enforcement_layer?.enforcers || [];
+            for (const encPath of enforcers) {
+                const fullPath = path.join(ctx.rootDir, encPath);
+                const exists = safeReadCached(fullPath, ctx.readCache);
+                if (exists === null) {
+                    hardFail("ENFORCER_PATH_NOT_FOUND", `机制 ${m.mechanism_id} 的 enforcer 路径不存在: ${encPath}`, ["src/engine/dual_layer_mechanism_registry.ts", encPath], m.mechanism_id, "code_enforcer 路径断裂", "修正或创建 enforcer 文件");
+                }
+            }
+        }
+    }
+    catch {
+        // 跳过
+    }
+}
+//# sourceMappingURL=checkMechanismChain.js.map

package/dist/engine/gate_checks/checkMechanismChain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkMechanismChain.js","sourceRoot":"","sources":["../../../src/engine/gate_checks/checkMechanismChain.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAErE,MAAM,CAAC,KAAK,UAAU,KAAK,CACzB,GAAgB,EAChB,QAA0B;IAE1B,mCAAmC;IACnC,MAAM,gCAAgC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAEtD,oBAAoB;IACpB,MAAM,8BAA8B,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAEpD,wBAAwB;IACxB,MAAM,gCAAgC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAEtD,uBAAuB;IACvB,MAAM,sBAAsB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAE5C,6BAA6B;IAC7B,MAAM,2BAA2B,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,aAAa,GAAG,sBAAsB,CAAC;AAE7C,iCAAiC;AACjC,KAAK,UAAU,gCAAgC,CAC7C,GAAgB,EAChB,QAA0B;IAE1B,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,2BAA2B,CAAC,CAAC;IAC9F,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,sCAAsC,CAAC,CAAC;IAEzG,MAAM,MAAM,GAAG,cAAc,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,cAAc,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAE/D,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,OAAO;IAE/B,mCAAmC;IACnC,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAElD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAE7D,+DAA+D;IAC/D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,QAAQ,CACN,iCAAiC,EACjC,kGAAkG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACtH,CAAC,sCAAsC,EAAE,iDAAiD,CAAC,EAC3F,SAAS,EACT,8BAA8B,EAC9B,4BAA4B,CAC7B,CAAC;IACJ,CAAC;AACH,CAAC;AAED,qCAAqC;AACrC,SAAS,uBAAuB,CAAC,MAAc;IAC7C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAC3F,IAAI,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC;IAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,kBAAkB;AAClB,KAAK,UAAU,8BAA8B,CAC3C,GAAgB,EAChB,QAA0B;IAE1B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,gCAAgC,CAAC,CAAC;QAC3F,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,kCAAkC,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,sBAAsB,CAAC,CAAC;QAEhF,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACvC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;YACjC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;SACjC,CAAC,CAAC;QAEH,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE;YAAE,OAAO;QAEhC,6CAA6C;QAC7C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC9C,MAAM,YAAY,GAAU,GAAG,CAAC,sBAAsB,IAAI,EAAE,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QAED,+CAA+C;QAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC9C,MAAM,OAAO,GAAU,GAAG,CAAC,sBAAsB,CAAC,CAAC,CAAC,GAAG,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5C,CAAC;QAED,mCAAmC;QACnC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7C,MAAM,WAAW,GAAU,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC,WAAW,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,SAAS;QACT,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC7F,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAEnC,mCAAmC;YACnC,IAAI,SAAS,KAAK,YAAY,IAAI,SAAS,KAAK,qBAAqB,EAAE,CAAC;gBACtE,QAAQ,CACN,iCAAiC,EACjC,MAAM,EAAE,sGAAsG,EAC9G,CAAC,2CAA2C,EAAE,6CAA6C,CAAC,EAC5F,EAAE,EACF,WAAW,EACX,WAAW,CACZ,CAAC;YACJ,CAAC;YACD,IAAI,SAAS,KAAK,YAAY,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;gBACzD,QAAQ,CACN,iCAAiC,EACjC,MAAM,EAAE,+EAA+E,EACvF,CAAC,2CAA2C,EAAE,iCAAiC,CAAC,EAChF,EAAE,EACF,WAAW,EACX,WAAW,CACZ,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,qBAAqB;IACvB,CAAC;AACH,CAAC;AAED,sBAAsB;AACtB,KAAK,UAAU,gCAAgC,CAC7C,GAAgB,EAChB,QAA0B;IAE1B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,gCAAgC,CAAC,CAAC;QAC3F,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,GAAG;YAAE,OAAO;QAEjB,MAAM,SAAS,GAAU,GAAG,CAAC,sBAAsB,IAAI,EAAE,CAAC;QAC1D,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,SAAS,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAC9E,CAAC;QAEF,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO;QAErC,qDAAqD;QACrD,MAAM,aAAa,GAAG;YACpB,8CAA8C;YAC9C,+CAA+C;YAC/C,2CAA2C;YAC3C,4CAA4C;YAC5C,2CAA2C;SAC5C,CAAC;QAEF,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YAC1E,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;gBAClC,IAAI,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;oBAC7C,QAAQ,CACN,sCAAsC,EACtC,QAAQ,KAAK,OAAO,EAAE,KAAK,EAC3B,CAAC,EAAE,EAAE,2CAA2C,CAAC,EACjD,KAAK,EACL,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,KAAK;IACP,CAAC;AACH,CAAC;AAED,qBAAqB;AACrB,KAAK,UAAU,sBAAsB,CACnC,GAAgB,EAChB,QAA0B;IAE1B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,gCAAgC,CAAC,CAAC;QAC3F,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,GAAG;YAAE,OAAO;QAEjB,MAAM,SAAS,GAAU,GAAG,CAAC,sBAAsB,IAAI,EAAE,CAAC;QAC1D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxD,QAAQ,CACN,+BAA+B,EAC/B,UAAU,CAAC,CAAC,EAAE,kCAAkC,EAChD,CAAC,2CAA2C,CAAC,EAC7C,CAAC,CAAC,EAAE,EACJ,aAAa,EACb,sBAAsB,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,KAAK;IACP,CAAC;AACH,CAAC;AAED,2BAA2B;AAC3B,KAAK,UAAU,2BAA2B,CACxC,GAAgB,EAChB,QAA0B;IAE1B,IAAI,CAAC;QACH,2CAA2C;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,sBAAsB,CAAC,CAAC;QAChF,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,EAAE;YAAE,OAAO;QAEhB,MAAM,YAAY,GAAU,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAEzE,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;YACpC,MAAM,UAAU,GAAa,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;YACxD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,wBAAwB;gBACxB,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;oBAClF,QAAQ,CACN,sCAAsC,EACtC,YAAY,QAAQ,CAAC,WAAW,uCAAuC,GAAG,EAAE,EAC5E,CAAC,iCAAiC,CAAC,EACnC,QAAQ,CAAC,WAAW,EACpB,iBAAiB,EACjB,mBAAmB,CACpB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,yDAAyD;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,kCAAkC,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,GAAG;YAAE,OAAO;QAEjB,MAAM,IAAI,GAAU,GAAG,CAAC,sBAAsB,CAAC,CAAC,CAAC,GAAG,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,SAAS,GAAa,CAAC,CAAC,iBAAiB,EAAE,SAAS,IAAI,EAAE,CAAC;YACjE,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACjD,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;gBACvD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,QAAQ,CACN,yBAAyB,EACzB,MAAM,CAAC,CAAC,YAAY,sBAAsB,OAAO,EAAE,EACnD,CAAC,6CAA6C,EAAE,OAAO,CAAC,EACxD,CAAC,CAAC,YAAY,EACd,oBAAoB,EACpB,mBAAmB,CACpB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,KAAK;IACP,CAAC;AACH,CAAC"}

package/dist/engine/gate_checks/checkMechanismIdentity.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Phase 9: 机制身份一致性
+ */
+import type { GateContext, HardFailCallback, InfoCallback } from "./types.js";
+export declare function check(ctx: GateContext, hardFail: HardFailCallback, info?: InfoCallback): Promise<void>;
+//# sourceMappingURL=checkMechanismIdentity.d.ts.map

package/dist/engine/gate_checks/checkMechanismIdentity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkMechanismIdentity.d.ts","sourceRoot":"","sources":["../../../src/engine/gate_checks/checkMechanismIdentity.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG9E,wBAAsB,KAAK,CACzB,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,gBAAgB,EAC1B,IAAI,CAAC,EAAE,YAAY,GAClB,OAAO,CAAC,IAAI,CAAC,CA8If"}