soloforge 1.4.16 → 1.5.0

package/dist/engine/gate_checks/checkAdapterLayerConsistency.js

@@ -0,0 +1,117 @@
+/**
+ * 适配器层一致性检查 — 跨适配器重复函数、薄包装检测、架构违规。
+ */
+import path from "node:path";
+import { safeReadCached, findFilesRecursive } from "./helpers.js";
+export async function check(ctx, hardFail, info) {
+    // ── F1. 适配器间重复函数检测 ──
+    await checkCrossAdapterDuplicates(ctx, hardFail);
+    // ── F2. 薄包装函数检测 (advisory) ──
+    await checkThinWrappers(ctx, info);
+    // ── F3. engine → adapters 架构违规 ──
+    await checkEngineToAdaptersViolation(ctx, hardFail);
+}
+// 白名单：允许跨适配器共享的函数名
+const CROSS_ADAPTER_ALLOWLIST = new Set([
+    "registerHooks",
+    "generateCommands",
+    "hookCommand",
+]);
+/** F1: 适配器间重复函数检测 */
+async function checkCrossAdapterDuplicates(ctx, hardFail) {
+    const adaptersDir = path.join(ctx.rootDir, "src", "adapters");
+    if (!adaptersDir)
+        return;
+    // 收集每个适配器的导出函数及其签名
+    const adapterFunctions = new Map();
+    const adapterDirs = ["claude_code", "codex", "trae", "shared"];
+    for (const adapter of adapterDirs) {
+        const dir = path.join(adaptersDir, adapter);
+        const files = findFilesRecursive(dir, ".ts");
+        const functions = new Map();
+        for (const file of files) {
+            const content = safeReadCached(file, ctx.readCache);
+            if (!content)
+                continue;
+            // 提取 export function 名称
+            const funcPattern = /export\s+(?:async\s+)?function\s+(\w+)\s*\(([^)]*)\)/g;
+            let match;
+            while ((match = funcPattern.exec(content)) !== null) {
+                const name = match[1];
+                const signature = match[2].replace(/\s+/g, " ").trim();
+                functions.set(name, { file: path.relative(ctx.rootDir, file), signature });
+            }
+        }
+        if (functions.size > 0) {
+            adapterFunctions.set(adapter, functions);
+        }
+    }
+    // 检查跨适配器重复（排除 shared 目录）
+    const nonSharedAdapters = [...adapterFunctions.entries()].filter(([name]) => name !== "shared");
+    for (let i = 0; i < nonSharedAdapters.length; i++) {
+        for (let j = i + 1; j < nonSharedAdapters.length; j++) {
+            const [adapterA, funcsA] = nonSharedAdapters[i];
+            const [adapterB, funcsB] = nonSharedAdapters[j];
+            for (const [funcName, infoA] of funcsA) {
+                if (CROSS_ADAPTER_ALLOWLIST.has(funcName))
+                    continue;
+                const infoB = funcsB.get(funcName);
+                if (!infoB)
+                    continue;
+                // 同名 + 同签名 → 报错
+                if (infoA.signature === infoB.signature) {
+                    hardFail("CROSS_ADAPTER_DUPLICATE_FUNCTION", `${adapterA}/${infoA.file} 和 ${adapterB}/${infoB.file} 都导出了函数 ${funcName}(${infoA.signature})，应提取到 shared`, [infoA.file, infoB.file], "适配器层一致性", "跨适配器存在相同的导出函数", "将共享函数提取到 src/adapters/shared/");
+                }
+            }
+        }
+    }
+}
+/** F2: 薄包装函数检测 (advisory) */
+async function checkThinWrappers(ctx, info) {
+    const adaptersDir = path.join(ctx.rootDir, "src", "adapters");
+    const files = findFilesRecursive(adaptersDir, ".ts");
+    for (const file of files) {
+        const content = safeReadCached(file, ctx.readCache);
+        if (!content)
+            continue;
+        // 查找函数体仅为 return importedFunction(args) 的函数
+        const thinWrapperPattern = /export\s+(?:async\s+)?function\s+(\w+)\s*\([^)]*\)\s*(?::\s*\w+(?:<[^>]+>)?)?\s*\{\s*return\s+\w+\([^)]*\)\s*;?\s*\}/g;
+        let match;
+        while ((match = thinWrapperPattern.exec(content)) !== null) {
+            const funcName = match[1];
+            info?.(`  [advisory] ${path.relative(ctx.rootDir, file)}: ${funcName} 是薄包装函数，考虑直接导出底层函数`);
+        }
+    }
+}
+// 白名单：允许 engine → adapters 引用的文件
+const ENGINE_TO_ADAPTERS_ALLOWLIST = new Set([
+    "src/engine/release_readiness_gate.ts",
+    "src/engine/release_tool_harness.ts",
+    "src/engine/gate_checks/checkReleaseIssueDesignPath.ts",
+    "src/engine/gate_checks/checkControlPlaneTrust.ts",
+    "src/engine/gate_checks/checkTemplateKnowledgeHygiene.ts",
+    "src/engine/gate_checks/checkCodeObservability.ts",
+    "src/engine/observed_consumption.ts",
+    "src/engine/template_mechanism_auditor.ts",
+]);
+/** F3: engine → adapters 架构违规 */
+async function checkEngineToAdaptersViolation(ctx, hardFail) {
+    for (const file of ctx.srcFiles) {
+        if (!file.includes("src/engine/"))
+            continue;
+        const relPath = path.relative(ctx.rootDir, file);
+        if (ENGINE_TO_ADAPTERS_ALLOWLIST.has(relPath))
+            continue;
+        const content = safeReadCached(file, ctx.readCache);
+        if (!content)
+            continue;
+        // 检查是否 import 了 ../adapters/ 或 ../../adapters/
+        const importPattern = /(?:import\s+.*?from|import\s*\()\s*["'](\.\.\/(?:\.\.\/)?adapters\/[^"']+)["']/g;
+        let match;
+        while ((match = importPattern.exec(content)) !== null) {
+            const importPath = match[1];
+            hardFail("ENGINE_TO_ADAPTERS_VIOLATION", `${relPath} 从 engine 层 import adapters 层 "${importPath}"，违反分层架构`, [relPath], "适配器层一致性", "engine 不应依赖 adapters", "将共享逻辑提取到 engine 层或通过依赖注入解耦");
+        }
+    }
+}
+//# sourceMappingURL=checkAdapterLayerConsistency.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkAdapterLayerConsistency.js","sourceRoot":"","sources":["../../../src/engine/gate_checks/checkAdapterLayerConsistency.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,KAAK,CACzB,GAAgB,EAChB,QAA0B,EAC1B,IAAmB;IAEnB,uBAAuB;IACvB,MAAM,2BAA2B,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAEjD,+BAA+B;IAC/B,MAAM,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAEnC,mCAAmC;IACnC,MAAM,8BAA8B,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACtD,CAAC;AAED,mBAAmB;AACnB,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,kBAAkB;IAClB,aAAa;CACd,CAAC,CAAC;AAEH,qBAAqB;AACrB,KAAK,UAAU,2BAA2B,CACxC,GAAgB,EAChB,QAA0B;IAE1B,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC9D,IAAI,CAAC,WAAW;QAAE,OAAO;IAEzB,mBAAmB;IACnB,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA4D,CAAC;IAE7F,MAAM,WAAW,GAAG,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC/D,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+C,CAAC;QAEzE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YACpD,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,wBAAwB;YACxB,MAAM,WAAW,GAAG,uDAAuD,CAAC;YAC5E,IAAI,KAA6B,CAAC;YAClC,OAAO,CAAC,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACpD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;gBACvD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvB,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,MAAM,iBAAiB,GAAG,CAAC,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAChG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtD,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;YAEhD,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvC,IAAI,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACpD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACnC,IAAI,CAAC,KAAK;oBAAE,SAAS;gBAErB,gBAAgB;gBAChB,IAAI,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;oBACxC,QAAQ,CACN,kCAAkC,EAClC,GAAG,QAAQ,IAAI,KAAK,CAAC,IAAI,MAAM,QAAQ,IAAI,KAAK,CAAC,IAAI,WAAW,QAAQ,IAAI,KAAK,CAAC,SAAS,eAAe,EAC1G,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EACxB,SAAS,EACT,eAAe,EACf,+BAA+B,CAChC,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,6BAA6B;AAC7B,KAAK,UAAU,iBAAiB,CAC9B,GAAgB,EAChB,IAAmB;IAEnB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,kBAAkB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAErD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,4CAA4C;QAC5C,MAAM,kBAAkB,GAAG,uHAAuH,CAAC;QACnJ,IAAI,KAA6B,CAAC;QAClC,OAAO,CAAC,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,CAAC,gBAAgB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,QAAQ,oBAAoB,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;AACH,CAAC;AAED,iCAAiC;AACjC,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC;IAC3C,sCAAsC;IACtC,oCAAoC;IACpC,uDAAuD;IACvD,kDAAkD;IAClD,yDAAyD;IACzD,kDAAkD;IAClD,oCAAoC;IACpC,0CAA0C;CAC3C,CAAC,CAAC;AAEH,iCAAiC;AACjC,KAAK,UAAU,8BAA8B,CAC3C,GAAgB,EAChB,QAA0B;IAE1B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;YAAE,SAAS;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,4BAA4B,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAExD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,+CAA+C;QAC/C,MAAM,aAAa,GAAG,iFAAiF,CAAC;QACxG,IAAI,KAA6B,CAAC;QAClC,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,QAAQ,CACN,8BAA8B,EAC9B,GAAG,OAAO,kCAAkC,UAAU,UAAU,EAChE,CAAC,OAAO,CAAC,EACT,SAAS,EACT,sBAAsB,EACtB,4BAA4B,CAC7B,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,6 @@
+/**
+ * 门禁检查模块 — Phase 18: 代码可维护性与可观测性契约行为验证（问题六十八）。
+ */
+import type { GateContext, HardFailCallback, InfoCallback } from "./types.js";
+export declare function check(ctx: GateContext, hardFail: HardFailCallback, info?: InfoCallback): Promise<void>;
+//# sourceMappingURL=checkCodeObservability.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkCodeObservability.d.ts","sourceRoot":"","sources":["../../../src/engine/gate_checks/checkCodeObservability.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,CAoUf"}

package/dist/engine/gate_checks/checkCodeObservability.js

@@ -0,0 +1,252 @@
+/**
+ * 门禁检查模块 — Phase 18: 代码可维护性与可观测性契约行为验证（问题六十八）。
+ */
+import path from "node:path";
+import fs from "node:fs";
+import { safeReadCached } from "./helpers.js";
+export async function check(ctx, hardFail, info) {
+    const rootDir = ctx.rootDir;
+    const obsPath = path.join(rootDir, "dist", "engine", "code_maintainability_observability_contract.js");
+    if (!fs.existsSync(obsPath)) {
+        hardFail("CODE_OBSERVABILITY_MODULE_MISSING", "problem-68: code_maintainability_observability_contract.js 未编译到 dist/", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "发布门禁不检查问题-68 实现是否存在", "实现 code_maintainability_observability_contract 并编译");
+        return;
+    }
+    let obs;
+    try {
+        obs = await import(obsPath);
+    }
+    catch (e) {
+        hardFail("CODE_OBSERVABILITY_IMPORT_ERROR", `problem-68: code_maintainability_observability_contract 导入失败: ${e.message}`, ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "可观测性模块存在但不可导入", "修复导入错误");
+        return;
+    }
+    // 核心导出存在性
+    const requiredExports = ["reviewMissingLogs", "detectSensitiveLogs", "reviewCommentQuality", "hasBlockingObservabilityFindings", "requiresCodeObservabilityContract", "isLowRiskChange", "detectProjectLogger", "verifyChangedFilesObservability", "evaluateDeliveryBlock"];
+    for (const exp of requiredExports) {
+        if (typeof obs[exp] !== "function") {
+            hardFail("CODE_OBSERVABILITY_EXPORT_MISSING", `problem-68: code_maintainability_observability_contract.ts 缺少导出函数: ${exp}`, ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "可观测性模块缺少核心导出", `添加 ${exp} 导出`);
+        }
+    }
+    // 行为验证: 支付写操作无日志必须被检测
+    try {
+        const paymentFindings = obs.reviewMissingLogs({
+            "PaymentService.java": `public void refund(String orderId, BigDecimal amount) {
+  orderRepository.save(order);
+  paymentGateway.refund(orderId, amount);
+}`,
+        });
+        if (!obs.hasBlockingObservabilityFindings(paymentFindings)) {
+            hardFail("CODE_OBSERVABILITY_PAYMENT_FALSE_PASS", "problem-68: 支付写操作无日志未被检测到", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "文件存在不能证明审查能力有效", "修复 reviewMissingLogs 检测逻辑");
+        }
+        // 行为验证: catch 吞异常无日志必须被检测
+        const catchFindings = obs.reviewMissingLogs({
+            "OrderService.ts": `async processOrder(orderId: string) {
+  try {
+    await this.client.submit(orderId);
+  } catch (e: unknown) {
+    return false;
+  }
+}`,
+        });
+        if (!obs.hasBlockingObservabilityFindings(catchFindings)) {
+            hardFail("CODE_OBSERVABILITY_CATCH_FALSE_PASS", "problem-68: catch 吞异常无日志未被检测到", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "catch 吞异常必须产生阻断 finding", "修复 reviewMissingLogs 检测逻辑");
+        }
+        // 行为验证: 敏感信息日志泄漏必须被检测
+        const sensitiveFindings = obs.detectSensitiveLogs({
+            "UserService.ts": `function login(user) {
+  logger.info("user login", { token: "eyJhbGciOiJIUzI1NiJ9.xxxxx", password: user.password, phone: "13812345678" });
+}`,
+        });
+        if (!obs.hasBlockingObservabilityFindings(sensitiveFindings)) {
+            hardFail("CODE_OBSERVABILITY_SENSITIVE_FALSE_PASS", "problem-68: 敏感信息日志泄漏未被检测到", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "token/password/手机号泄漏必须被阻断", "修复 detectSensitiveLogs 检测逻辑");
+        }
+        // 行为验证: 低风险任务不应触发
+        const notTriggered = !obs.requiresCodeObservabilityContract("修复 README 错别字", "code_change");
+        if (!notTriggered) {
+            hardFail("CODE_OBSERVABILITY_LOW_RISK_OVERBLOCK", "problem-68: 低风险文案任务错误触发可观测性检查", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "低风险任务不应触发检查", "修复 requiresCodeObservabilityContract 判断逻辑");
+        }
+        // 行为验证: 项目 logger 类型检测
+        const javaLogger = obs.detectProjectLogger({
+            "Application.java": "import org.slf4j.LoggerFactory; private static final Logger log = LoggerFactory.getLogger(App.class);",
+        });
+        if (javaLogger.type !== "slf4j") {
+            hardFail("CODE_OBSERVABILITY_LOGGER_DETECT_FAIL", `problem-68: SLF4J logger 未被正确识别 (got: ${javaLogger.type})`, ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "项目 logger 类型检测必须准确", "修复 detectProjectLogger 逻辑");
+        }
+        // 行为验证: 迁移脚本无审计日志必须被检测
+        const migrationFindings = obs.reviewMissingLogs({
+            "scripts/data_fix_order_status.ts": `async function migrateOrderStatus() {
+  const orders = await db.query("SELECT * FROM orders WHERE status IS NULL");
+  for (const order of orders) {
+    await db.update("UPDATE orders SET status = 'pending' WHERE id = ?", [order.id]);
+  }
+}`,
+        });
+        if (!obs.hasBlockingObservabilityFindings(migrationFindings)) {
+            hardFail("CODE_OBSERVABILITY_MIGRATION_FALSE_PASS", "problem-68: 迁移脚本无审计日志未被检测到", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "数据修复脚本必须有审计日志", "修复 reviewMissingLogs 迁移脚本检测逻辑");
+        }
+        // 行为验证: 普通 Spring 后端 Slice 的 CRUD/事务双写无日志无注释也必须被检测。
+        const smartCareSliceFindings = obs.verifyChangedFilesObservability({
+            changed_files: ["src/main/java/com/demoapp/account/service/impl/AccountServiceImpl.java"],
+            file_contents: {
+                "src/main/java/com/demoapp/account/service/impl/AccountServiceImpl.java": `@Service
+public class AccountServiceImpl implements AccountService {
+  @Transactional
+  public AccountVO create(AccountCreateRequest request) {
+    Account account = convert(request);
+    accountMapper.insert(account);
+    SysUser user = buildUser(request);
+    sysUserMapper.insert(user);
+    return toVO(account);
+  }
+  @Transactional
+  public void resign(Long accountId) {
+    accountMapper.updateStatus(accountId, AccountStatus.RESIGNED);
+    sysUserMapper.updateAccountStatus(accountId, 0);
+  }
+}`,
+            },
+            intent: "完成 Slice 2 资源目录与账号管理后端实现",
+        });
+        const smartCareBlocked = smartCareSliceFindings.some((f) => f.category === "missing_log_business_write" && f.severity === "hard_fail")
+            && smartCareSliceFindings.some((f) => f.category === "missing_comment_complex");
+        if (!smartCareBlocked) {
+            hardFail("CODE_OBSERVABILITY_BACKEND_SLICE_FALSE_PASS", "problem-68: 普通后端 Slice 的 Controller/Service 事务双写和级联规则无日志无注释未被阻断", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "旧门禁只覆盖支付/安全/迁移，真实 CRUD 后端实现仍可无日志无注释通过", "扩展后端实现文件检测，覆盖 Controller/Service/DTO/Entity");
+        }
+        const javaDocAndChineseFindings = obs.verifyChangedFilesObservability({
+            changed_files: ["src/main/java/com/demoapp/account/service/impl/AccountServiceImpl.java"],
+            file_contents: {
+                "src/main/java/com/demoapp/account/service/impl/AccountServiceImpl.java": `@Service
+public class AccountServiceImpl implements AccountService {
+  public AccountVO create(AccountCreateRequest request) {
+    Account account = convert(request);
+    accountMapper.insert(account);
+    logger.info("account created accountId=" + account.getId());
+    return toVO(account);
+  }
+}`,
+            },
+            intent: "完成 Slice 2 账号管理后端实现",
+        });
+        const javaDocAndChineseBlocked = ["missing_class_doc", "missing_method_doc", "missing_important_line_comment", "non_chinese_log"].every((category) => javaDocAndChineseFindings.some((f) => f.category === category && f.severity === "hard_fail"));
+        if (!javaDocAndChineseBlocked) {
+            hardFail("CODE_OBSERVABILITY_CHINESE_DOC_CONTRACT_FALSE_PASS", "problem-68: 后端类/方法中文 Javadoc、关键行中文注释或中文日志缺失未被阻断", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "只检查是否有日志/注释会放过英文日志、无类说明、无方法入参出参说明和关键行业务意图缺失", "扩展 reviewCommentQuality/reviewMissingLogs，强制中文日志、中文注释、类 Javadoc、方法 Javadoc 和关键行注释");
+        }
+        const crossStackFindings = obs.verifyChangedFilesObservability({
+            changed_files: ["src/routes/account.route.ts", "app/api/account.py", "src/pages/AccountForm.tsx"],
+            file_contents: {
+                "src/routes/account.route.ts": `router.post('/account', async (req, res) => {
+  const account = await accountRepo.create(req.body);
+  await userRepo.create({ accountId: account.id });
+  res.json(account);
+});`,
+                "app/api/account.py": `@router.post("/account")
+async def create_account(payload: AccountCreate):
+    account = await account_repo.create(payload)
+    await user_repo.create(account_id=account.id)
+    return account`,
+                "src/pages/AccountForm.tsx": `export function AccountForm() {
+  async function handleSubmit(values) {
+    await apiClient.post('/api/tenant/users', values);
+    setStatus('created');
+  }
+  return <form onSubmit={handleSubmit}>...</form>;
+}`,
+            },
+            intent: "实现账号新增前后端接口与表单",
+        });
+        const crossStackBlocked = crossStackFindings.filter((f) => f.category === "missing_log_business_write" && f.severity === "hard_fail").length >= 3;
+        if (!crossStackBlocked) {
+            hardFail("CODE_OBSERVABILITY_CROSS_STACK_FALSE_PASS", "problem-68: 非 Spring 后端或前端业务写操作无日志/埋点未被阻断", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "问题六十八不能只覆盖 Spring 后端文件", "扩展检测到 Nest/Express/FastAPI/Go/React/Vue 等通用实现形态");
+        }
+    }
+    catch (e) {
+        hardFail("CODE_OBSERVABILITY_EXECUTION_ERROR", `problem-68: 可观测性行为检查执行失败: ${e.message}`, ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "契约模块必须可运行并返回确定结果", "修复运行时异常");
+    }
+    // 主链路消费检查 — sf_verify 必须调用 verifyChangedFilesObservability
+    const toolsText = safeReadCached(path.join(rootDir, "src", "adapters", "claude_code", "tools.ts"), ctx.readCache) ?? "";
+    const requiredHooks = [
+        "lazyCodeObservability", "reviewCodeObservability",
+        "hasBlockingObservabilityFindings", "requiresCodeObservabilityContract",
+        "evaluateCodeObservabilityGate", "evaluateDeliveryBlock",
+        "verifyChangedFilesObservability",
+    ];
+    for (const hook of requiredHooks) {
+        if (!toolsText.includes(hook)) {
+            hardFail("CODE_OBSERVABILITY_MAINPATH_MISSING", `problem-68: MCP 主链路缺少真实消费点 ${hook}`, ["src/adapters/claude_code/tools.ts"], "problem-68", "只实现引擎函数不能证明用户路径受约束", "接入 sf_expand/sf_review/sf_verify/sf_deliver");
+        }
+    }
+    // 行为验证: sf_verify 必须真实消费 verifyChangedFilesObservability — 编译后检查
+    try {
+        const toolsJsPath = path.join(rootDir, "dist", "adapters", "claude_code", "tools.js");
+        if (fs.existsSync(toolsJsPath)) {
+            const toolsJs = safeReadCached(toolsJsPath, ctx.readCache) ?? "";
+            const hasObsVerifyCall = toolsJs.includes("codeObservabilityFinding")
+                && toolsJs.includes("verifyChangedFilesObservability");
+            if (!hasObsVerifyCall) {
+                hardFail("CODE_OBSERVABILITY_SF_VERIFY_NOT_CONSUMING", "problem-68: sf_verify 编译产物未包含可观测性诊断常量或 verifyChangedFilesObservability 调用", ["src/adapters/claude_code/tools.ts"], "problem-68", "字符串引用不能证明 sf_verify 真实消费可观测性检查", "在 sf_verify implementationFiles 分支中调用 verifyChangedFilesObservability 并处理结果");
+            }
+        }
+    }
+    catch {
+        // 编译产物不存在时由 build 门禁处理
+    }
+    // 行为验证: sf_verify 必须能阻断 — 敏感信息 + 支付写操作必须产生 hard_fail
+    try {
+        const mustFailFindings = obs.verifyChangedFilesObservability({
+            changed_files: ["PaymentService.ts"],
+            file_contents: {
+                "PaymentService.ts": `const api_key = "sk_live_abcdef123456";
+async function processPayment(order) { order.save(); }`,
+            },
+            intent: "添加支付退款日志和脱敏处理",
+        });
+        if (!obs.hasBlockingObservabilityFindings(mustFailFindings)) {
+            hardFail("CODE_OBSERVABILITY_VERIFY_MUST_FAIL_PASS", "problem-68: sf_verify 未对敏感信息泄漏+支付无日志场景产生阻断", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "verifyChangedFilesObservability 必须对支付敏感信息场景 hard_fail", "修复 verifyChangedFilesObservability 检测逻辑");
+        }
+        // sf_verify 必须允许合规代码通过
+        const mustPassFindings = obs.verifyChangedFilesObservability({
+            changed_files: ["RefundService.ts"],
+            file_contents: {
+                "RefundService.ts": `const logger = require('./logger');
+async function processRefund(orderId: string) {
+  await db.refund(orderId);
+  logger.info("退款成功 orderId=" + orderId);
+}`,
+            },
+            intent: "添加支付退款日志和脱敏处理",
+        });
+        if (obs.hasBlockingObservabilityFindings(mustPassFindings)) {
+            hardFail("CODE_OBSERVABILITY_VERIFY_FALSE_BLOCK", "problem-68: sf_verify 对合规代码错误阻断", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "合规代码不应被阻断", "修复 verifyChangedFilesObservability 检测逻辑");
+        }
+        // 行为验证: logger.info("退款成功") 无可定位字段必须 hard_fail
+        const unlocatableFailFindings = obs.verifyChangedFilesObservability({
+            changed_files: ["RefundService.ts"],
+            file_contents: {
+                "RefundService.ts": `const logger = require('./logger');
+async function refund(order) { order.save(); logger.info("退款成功"); }`,
+            },
+            intent: "添加支付退款日志和脱敏处理",
+        });
+        const unlocatableHardFails = unlocatableFailFindings.filter((f) => f.category === "unlocatable_log" && f.severity === "hard_fail");
+        if (unlocatableHardFails.length === 0) {
+            hardFail("CODE_OBSERVABILITY_UNLOCATABLE_LOG_PASS", "problem-68: logger.info('退款成功') 无可定位字段未被阻断", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "仅含事件词的日志不可通过支付写操作检查", "修复可定位字段判断逻辑");
+        }
+        // 行为验证: logger.info("退款成功 orderId=" + orderId) 必须通过
+        const unlocatablePassFindings = obs.verifyChangedFilesObservability({
+            changed_files: ["RefundService.ts"],
+            file_contents: {
+                "RefundService.ts": `const logger = require('./logger');
+async function refund(order) { order.save(); logger.info("退款成功 orderId=" + orderId); }`,
+            },
+            intent: "添加支付退款日志和脱敏处理",
+        });
+        const unlocatableBlockers = unlocatablePassFindings.filter((f) => f.category === "unlocatable_log" && f.severity === "hard_fail");
+        if (unlocatableBlockers.length > 0) {
+            hardFail("CODE_OBSERVABILITY_LOCATABLE_FALSE_BLOCK", "problem-68: logger.info('退款成功 orderId=...') 含可定位字段被错误阻断", ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "包含对象 ID 的日志不应被阻断", "修复可定位字段判断逻辑");
+        }
+    }
+    catch (e) {
+        hardFail("CODE_OBSERVABILITY_VERIFY_EXECUTION_ERROR", `problem-68: sf_verify 行为检查执行失败: ${e.message}`, ["src/engine/code_maintainability_observability_contract.ts"], "problem-68", "verifyChangedFilesObservability 必须可运行并返回确定结果", "修复运行时异常");
+    }
+    info?.("  problem-68 代码可维护性与可观测性行为验证完成");
+}
+//# sourceMappingURL=checkCodeObservability.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkCodeObservability.js","sourceRoot":"","sources":["../../../src/engine/gate_checks/checkCodeObservability.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AAEzB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,CAAC,KAAK,UAAU,KAAK,CACzB,GAAgB,EAChB,QAA0B,EAC1B,IAAmB;IAEnB,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,gDAAgD,CAAC,CAAC;IACvG,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,mCAAmC,EAC1C,uEAAuE,EACvE,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,qBAAqB,EAAE,oDAAoD,CAAC,CAAC;QAC/E,OAAO;IACT,CAAC;IAED,IAAI,GAAQ,CAAC;IACb,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,QAAQ,CAAC,iCAAiC,EACxC,iEAAiE,CAAC,CAAC,OAAO,EAAE,EAC5E,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,eAAe,EAAE,QAAQ,CAAC,CAAC;QAC7B,OAAO;IACT,CAAC;IAED,UAAU;IACV,MAAM,eAAe,GAAG,CAAC,mBAAmB,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,kCAAkC,EAAE,mCAAmC,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,iCAAiC,EAAE,uBAAuB,CAAC,CAAC;IAC5Q,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,mCAAmC,EAC1C,sEAAsE,GAAG,EAAE,EAC3E,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,cAAc,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,IAAI,CAAC;QACH,MAAM,eAAe,GAAG,GAAG,CAAC,iBAAiB,CAAC;YAC5C,qBAAqB,EAAE;;;EAG3B;SACG,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,CAAC,gCAAgC,CAAC,eAAe,CAAC,EAAE,CAAC;YAC3D,QAAQ,CAAC,uCAAuC,EAC9C,2BAA2B,EAC3B,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,gBAAgB,EAAE,2BAA2B,CAAC,CAAC;QACnD,CAAC;QAED,0BAA0B;QAC1B,MAAM,aAAa,GAAG,GAAG,CAAC,iBAAiB,CAAC;YAC1C,iBAAiB,EAAE;;;;;;EAMvB;SACG,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,CAAC,gCAAgC,CAAC,aAAa,CAAC,EAAE,CAAC;YACzD,QAAQ,CAAC,qCAAqC,EAC5C,+BAA+B,EAC/B,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,yBAAyB,EAAE,2BAA2B,CAAC,CAAC;QAC5D,CAAC;QAED,sBAAsB;QACtB,MAAM,iBAAiB,GAAG,GAAG,CAAC,mBAAmB,CAAC;YAChD,gBAAgB,EAAE;;EAEtB;SACG,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,CAAC,gCAAgC,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC7D,QAAQ,CAAC,yCAAyC,EAChD,2BAA2B,EAC3B,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,2BAA2B,EAAE,6BAA6B,CAAC,CAAC;QAChE,CAAC;QAED,kBAAkB;QAClB,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,iCAAiC,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;QAC5F,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,QAAQ,CAAC,uCAAuC,EAC9C,+BAA+B,EAC/B,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,aAAa,EAAE,2CAA2C,CAAC,CAAC;QAChE,CAAC;QAED,uBAAuB;QACvB,MAAM,UAAU,GAAG,GAAG,CAAC,mBAAmB,CAAC;YACzC,kBAAkB,EAAE,uGAAuG;SAC5H,CAAC,CAAC;QACH,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChC,QAAQ,CAAC,uCAAuC,EAC9C,yCAAyC,UAAU,CAAC,IAAI,GAAG,EAC3D,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,oBAAoB,EAAE,2BAA2B,CAAC,CAAC;QACvD,CAAC;QAED,uBAAuB;QACvB,MAAM,iBAAiB,GAAG,GAAG,CAAC,iBAAiB,CAAC;YAC9C,kCAAkC,EAAE;;;;;EAKxC;SACG,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,CAAC,gCAAgC,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC7D,QAAQ,CAAC,yCAAyC,EAChD,4BAA4B,EAC5B,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,eAAe,EAAE,+BAA+B,CAAC,CAAC;QACtD,CAAC;QAED,oDAAoD;QACpD,MAAM,sBAAsB,GAAG,GAAG,CAAC,+BAA+B,CAAC;YACjE,aAAa,EAAE,CAAC,wEAAwE,CAAC;YACzF,aAAa,EAAE;gBACb,wEAAwE,EAAE;;;;;;;;;;;;;;;EAehF;aACK;YACD,MAAM,EAAE,0BAA0B;SACnC,CAAC,CAAC;QACH,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,4BAA4B,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC;eACtI,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,yBAAyB,CAAC,CAAC;QACvF,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,QAAQ,CAAC,6CAA6C,EACpD,iEAAiE,EACjE,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,uCAAuC,EAAE,6CAA6C,CAAC,CAAC;QAC5F,CAAC;QAED,MAAM,yBAAyB,GAAG,GAAG,CAAC,+BAA+B,CAAC;YACpE,aAAa,EAAE,CAAC,wEAAwE,CAAC;YACzF,aAAa,EAAE;gBACb,wEAAwE,EAAE;;;;;;;;EAQhF;aACK;YACD,MAAM,EAAE,qBAAqB;SAC9B,CAAC,CAAC;QACH,MAAM,wBAAwB,GAAG,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,gCAAgC,EAAE,iBAAiB,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CACnJ,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAClG,CAAC;QACF,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAC9B,QAAQ,CAAC,oDAAoD,EAC3D,iDAAiD,EACjD,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,6CAA6C,EAAE,mFAAmF,CAAC,CAAC;QACxI,CAAC;QAED,MAAM,kBAAkB,GAAG,GAAG,CAAC,+BAA+B,CAAC;YAC7D,aAAa,EAAE,CAAC,6BAA6B,EAAE,oBAAoB,EAAE,2BAA2B,CAAC;YACjG,aAAa,EAAE;gBACb,6BAA6B,EAAE;;;;IAInC;gBACI,oBAAoB,EAAE;;;;mBAIX;gBACX,2BAA2B,EAAE;;;;;;EAMnC;aACK;YACD,MAAM,EAAE,gBAAgB;SACzB,CAAC,CAAC;QACH,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,4BAA4B,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QACvJ,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,QAAQ,CAAC,2CAA2C,EAClD,2CAA2C,EAC3C,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,wBAAwB,EAAE,iDAAiD,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,QAAQ,CAAC,oCAAoC,EAC3C,6BAA6B,CAAC,CAAC,OAAO,EAAE,EACxC,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,kBAAkB,EAAE,SAAS,CAAC,CAAC;IACnC,CAAC;IAED,2DAA2D;IAC3D,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IACxH,MAAM,aAAa,GAAG;QACpB,uBAAuB,EAAE,yBAAyB;QAClD,kCAAkC,EAAE,mCAAmC;QACvE,+BAA+B,EAAE,uBAAuB;QACxD,iCAAiC;KAClC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,qCAAqC,EAC5C,8BAA8B,IAAI,EAAE,EACpC,CAAC,mCAAmC,CAAC,EAAE,YAAY,EACnD,oBAAoB,EAAE,6CAA6C,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QACtF,IAAI,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,cAAc,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACjE,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,0BAA0B,CAAC;mBAChE,OAAO,CAAC,QAAQ,CAAC,iCAAiC,CAAC,CAAC;YACzD,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,QAAQ,CAAC,4CAA4C,EACnD,2EAA2E,EAC3E,CAAC,mCAAmC,CAAC,EAAE,YAAY,EACnD,gCAAgC,EAAE,6EAA6E,CAAC,CAAC;YACrH,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,uBAAuB;IACzB,CAAC;IAED,qDAAqD;IACrD,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,GAAG,CAAC,+BAA+B,CAAC;YAC3D,aAAa,EAAE,CAAC,mBAAmB,CAAC;YACpC,aAAa,EAAE;gBACb,mBAAmB,EAAE;uDAC0B;aAChD;YACD,MAAM,EAAE,eAAe;SACxB,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,CAAC,gCAAgC,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,0CAA0C,EACjD,4CAA4C,EAC5C,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,uDAAuD,EAAE,yCAAyC,CAAC,CAAC;QACxG,CAAC;QAED,uBAAuB;QACvB,MAAM,gBAAgB,GAAG,GAAG,CAAC,+BAA+B,CAAC;YAC3D,aAAa,EAAE,CAAC,kBAAkB,CAAC;YACnC,aAAa,EAAE;gBACb,kBAAkB,EAAE;;;;EAI1B;aACK;YACD,MAAM,EAAE,eAAe;SACxB,CAAC,CAAC;QACH,IAAI,GAAG,CAAC,gCAAgC,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC3D,QAAQ,CAAC,uCAAuC,EAC9C,iCAAiC,EACjC,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,WAAW,EAAE,yCAAyC,CAAC,CAAC;QAC5D,CAAC;QAED,+CAA+C;QAC/C,MAAM,uBAAuB,GAAG,GAAG,CAAC,+BAA+B,CAAC;YAClE,aAAa,EAAE,CAAC,kBAAkB,CAAC;YACnC,aAAa,EAAE;gBACb,kBAAkB,EAAE;oEACwC;aAC7D;YACD,MAAM,EAAE,eAAe;SACxB,CAAC,CAAC;QACH,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,MAAM,CACzD,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,iBAAiB,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,CAC3E,CAAC;QACF,IAAI,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,QAAQ,CAAC,yCAAyC,EAChD,4CAA4C,EAC5C,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,qBAAqB,EAAE,aAAa,CAAC,CAAC;QAC1C,CAAC;QAED,oDAAoD;QACpD,MAAM,uBAAuB,GAAG,GAAG,CAAC,+BAA+B,CAAC;YAClE,aAAa,EAAE,CAAC,kBAAkB,CAAC;YACnC,aAAa,EAAE;gBACb,kBAAkB,EAAE;uFAC2D;aAChF;YACD,MAAM,EAAE,eAAe;SACxB,CAAC,CAAC;QACH,MAAM,mBAAmB,GAAG,uBAAuB,CAAC,MAAM,CACxD,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,iBAAiB,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,CAC3E,CAAC;QACF,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,0CAA0C,EACjD,yDAAyD,EACzD,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,kBAAkB,EAAE,aAAa,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,QAAQ,CAAC,2CAA2C,EAClD,mCAAmC,CAAC,CAAC,OAAO,EAAE,EAC9C,CAAC,2DAA2D,CAAC,EAAE,YAAY,EAC3E,8CAA8C,EAAE,SAAS,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,EAAE,CAAC,gCAAgC,CAAC,CAAC;AAC3C,CAAC"}

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

@@ -0,0 +1,7 @@
+/**
+ * 门禁检查模块 — Phase 11+12 合并：console 直写检查 + 中文注释检查。
+ * 单次扫描 src/ 全部 .ts 文件，同时执行两项检查。
+ */
+import type { GateContext, HardFailCallback } from "./types.js";
+export declare function check(ctx: GateContext, hardFail: HardFailCallback): Promise<void>;
+//# sourceMappingURL=checkCodeStyleEnforcement.d.ts.map

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

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

package/dist/engine/gate_checks/checkCodeStyleEnforcement.js

@@ -0,0 +1,73 @@
+/**
+ * 门禁检查模块 — Phase 11+12 合并：console 直写检查 + 中文注释检查。
+ * 单次扫描 src/ 全部 .ts 文件，同时执行两项检查。
+ */
+import path from "node:path";
+import fs from "node:fs";
+import { safeReadCached, findFilesRecursive } from "./helpers.js";
+export async function check(ctx, hardFail) {
+    const rootDir = ctx.rootDir;
+    const srcDir = path.join(rootDir, "src");
+    if (!fs.existsSync(srcDir))
+        return;
+    const files = findFilesRecursive(srcDir, ".ts");
+    for (const file of files) {
+        const content = safeReadCached(file, ctx.readCache);
+        if (content === null)
+            continue;
+        const lines = content.split("\n");
+        for (let i = 0; i < lines.length; i++) {
+            const line = lines[i];
+            // ── Phase 11: engine console 直写检查 ──
+            {
+                if (/^\s*\/\//.test(line)) { /* skip — will be checked by Phase 12 */ }
+                else if (/^\s*\*|^\s*\/\*/.test(line)) { /* skip block comment lines */ }
+                else if (/"console\.log"|`console\.log`|'console\.log'|console\\.log/.test(line)) { /* skip string/escaped references */ }
+                else {
+                    // 日志模块内部 stdout/stderr 封装允许 console.log / console.error
+                    if (/logger\.ts$/.test(file) && /^\s*console\.(log|error)\(/.test(line)) { /* allowed in logger */ }
+                    else {
+                        const directConsole = line.match(/console\.(log|warn|error|debug)\s*\(/);
+                        if (directConsole) {
+                            const rel = path.relative(rootDir, file);
+                            hardFail("ENGINE_DIRECT_CONSOLE", `${rel}:${i + 1} 使用 console.${directConsole[1]}（应使用 logger 模块）`, [rel], "发布门禁 console 检查", "旧 gate 不检查 src/ 全目录 console 直写", "替换为 logger 模块调用");
+                        }
+                    }
+                }
+            }
+            // ── Phase 12: 中文注释检查 ──
+            {
+                if (!/^\s*\/\//.test(line))
+                    continue;
+                if (/[一-龥]/.test(line))
+                    continue;
+                // 跳过装饰分隔线
+                if (/^\s*\/\/\s*[─═\-~=*#]+\s*$/.test(line))
+                    continue;
+                // 跳过工具指令
+                if (/@ts-|eslint|TODO|FIXME|NOTE|prettier|istanbul|c8/.test(line))
+                    continue;
+                // 跳过机制 ID 标签
+                if (/\/\/\s*──\s*\d+\./.test(line))
+                    continue;
+                if (/\/\/\s*mc-[a-z]/.test(line))
+                    continue;
+                // 跳过纯代码标识符
+                if (/^\s*\/\/\s*[a-z][a-z0-9_.\/-]+\s*$/.test(line))
+                    continue;
+                // 跳过大小标注
+                if (/^\s*\/\/\s*\d+\s*(MB|KB|GB|ms|min|分钟|秒)/.test(line))
+                    continue;
+                // 跳过技术术语注释
+                if (/^\s*\/\/\s*[a-z_]+\.[a-z_]+/.test(line))
+                    continue;
+                // 检查连续 4+ 字母
+                if (/[a-zA-Z]{4,}/.test(line)) {
+                    const rel = path.relative(rootDir, file);
+                    hardFail("ENGLISH_COMMENT", `${rel}:${i + 1}: ${line.trim()}（应使用中文注释）`, [rel], "中文注释检查", "旧 gate 不检查中文注释", "将英文注释改为中文");
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=checkCodeStyleEnforcement.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkCodeStyleEnforcement.js","sourceRoot":"","sources":["../../../src/engine/gate_checks/checkCodeStyleEnforcement.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AAEzB,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,KAAK,CACzB,GAAgB,EAChB,QAA0B;IAE1B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACzC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO;IAEnC,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAEhD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,IAAI;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAElC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAEtB,sCAAsC;YACtC,CAAC;gBACC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,wCAAwC,CAAC,CAAC;qBAClE,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,8BAA8B,CAAC,CAAC;qBACpE,IAAI,4DAA4D,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,oCAAoC,CAAC,CAAC;qBACrH,CAAC;oBACJ,wDAAwD;oBACxD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,uBAAuB,CAAC,CAAC;yBAC/F,CAAC;wBACJ,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;wBACzE,IAAI,aAAa,EAAE,CAAC;4BAClB,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;4BACzC,QAAQ,CACN,uBAAuB,EACvB,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,aAAa,CAAC,CAAC,CAAC,iBAAiB,EAC/D,CAAC,GAAG,CAAC,EACL,iBAAiB,EACjB,gCAAgC,EAChC,iBAAiB,CAClB,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,yBAAyB;YACzB,CAAC;gBACC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACrC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACjC,UAAU;gBACV,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtD,SAAS;gBACT,IAAI,kDAAkD,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC5E,aAAa;gBACb,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC7C,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC3C,WAAW;gBACX,IAAI,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC9D,SAAS;gBACT,IAAI,yCAAyC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACnE,WAAW;gBACX,IAAI,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACvD,aAAa;gBACb,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;oBACzC,QAAQ,CACN,iBAAiB,EACjB,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,WAAW,EAC1C,CAAC,GAAG,CAAC,EACL,QAAQ,EACR,gBAAgB,EAChB,WAAW,CACZ,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,9 @@
+/**
+ * 门禁检查模块 — Phase 22: MCP 控制面可信与受控生成链路验证。
+ *
+ * 验证控制面矩阵完整性、旁路拦截、工具契约有效性、
+ * 受控生成链路 must-pass/must-fail、CLI 入口与反旁路硬规则。
+ */
+import type { GateContext, HardFailCallback } from "./types.js";
+export declare function check(ctx: GateContext, hardFail: HardFailCallback): Promise<void>;
+//# sourceMappingURL=checkControlPlaneTrust.d.ts.map

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

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