soloforge 1.5.0 → 2.0.0

package/dist/engine/contracts/mechanism_contract_registry/validation.js

@@ -0,0 +1,124 @@
+/**
+ * Mechanism Contract Registry — 查询函数与治理验证。
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { PIPELINE_CONTRACTS } from "./contracts-pipeline.js";
+import { PLATFORM_CONTRACTS } from "./contracts-platform.js";
+import { GOVERNANCE_CONTRACTS } from "./contracts-governance.js";
+import { AUDIT_CONTRACTS } from "./contracts-audit.js";
+// ── 聚合 P0 契约 ──
+/** P0 级机制契约列表 */
+export const P0_MECHANISM_CONTRACTS = [
+    ...PIPELINE_CONTRACTS,
+    ...PLATFORM_CONTRACTS,
+    ...GOVERNANCE_CONTRACTS,
+    ...AUDIT_CONTRACTS,
+];
+// ── 查询函数 ──
+/**
+ * 执行 listMechanismContracts 操作
+ */
+export function listMechanismContracts() {
+    return P0_MECHANISM_CONTRACTS;
+}
+/**
+ * 根据契约 ID 查找机制契约。
+ * @param id - 机制契约 ID
+ * @returns 匹配的机制契约，未找到时返回 undefined
+ */
+export function findMechanismContractById(id) {
+    return P0_MECHANISM_CONTRACTS.find((c) => c.id === id);
+}
+/**
+ * 执行 listMechanismContractsByStatus 操作
+ */
+export function listMechanismContractsByStatus(status) {
+    return P0_MECHANISM_CONTRACTS.filter((c) => c.status === status);
+}
+// ── 治理验证 ──
+/**
+ * 校验机制契约的结构完整性和一致性。
+ * @param contracts - 待校验的契约列表，默认使用内置 P0 契约
+ * @param rootDir - 项目根目录，默认为当前工作目录
+ * @returns 治理发现列表（hard_fail 为硬性错误，advisory 为建议项）
+ */
+export function validateMechanismContracts(contracts = P0_MECHANISM_CONTRACTS, rootDir = process.cwd()) {
+    const findings = [];
+    const seenIds = new Set();
+    for (const c of contracts) {
+        // 重复 id
+        if (seenIds.has(c.id)) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "id", message: `Duplicate id: ${c.id}` });
+        }
+        seenIds.add(c.id);
+        // owner_module 文件存在性
+        if (!fs.existsSync(path.join(rootDir, c.owner_module))) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "owner_module", message: `Module not found: ${c.owner_module}` });
+        }
+        // owner_exports 验证：每个导出必须在模块文件中存在
+        if (c.owner_exports?.length && fs.existsSync(path.join(rootDir, c.owner_module))) {
+            const moduleContent = fs.readFileSync(path.join(rootDir, c.owner_module), "utf-8");
+            for (const exp of c.owner_exports) {
+                if (!moduleContent.includes(exp)) {
+                    findings.push({ severity: "hard_fail", contract_id: c.id, field: "owner_exports", message: `Export not found in module: ${exp}` });
+                }
+            }
+        }
+        // enforced 状态必须有 lifecycle_tests
+        if (c.status === "enforced" && c.lifecycle_tests.length === 0) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: "Enforced mechanism must have lifecycle_tests" });
+        }
+        // 测试文件存在性
+        for (const t of c.tests) {
+            if (!fs.existsSync(path.join(rootDir, t))) {
+                findings.push({ severity: "hard_fail", contract_id: c.id, field: "tests", message: `Test file not found: ${t}` });
+            }
+        }
+        // lifecycle_tests 文件存在性
+        for (const t of c.lifecycle_tests) {
+            if (!fs.existsSync(path.join(rootDir, t))) {
+                findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: `Lifecycle test file not found: ${t}` });
+            }
+        }
+        // required_inputs 非空
+        if (c.required_inputs.length === 0) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "required_inputs", message: "required_inputs must not be empty" });
+        }
+        // outputs 非空
+        if (c.outputs.length === 0) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "outputs", message: "outputs must not be empty" });
+        }
+        // downstream_consumers 非空
+        if (c.downstream_consumers.length === 0) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "downstream_consumers", message: "downstream_consumers must not be empty" });
+        }
+        // state_lifecycle 必须有 state_transitions
+        if (c.mechanism_type === "state_lifecycle" && (!c.state_transitions || c.state_transitions.length === 0)) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "state_transitions", message: "state_lifecycle mechanism must have state_transitions" });
+        }
+        // 有 cleanup_hooks 但无 lifecycle_tests
+        if (c.cleanup_hooks && c.cleanup_hooks.length > 0 && c.lifecycle_tests.length === 0) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: "Mechanism with cleanup_hooks must have lifecycle_tests" });
+        }
+        // ── 建议性检查 ──
+        // failure_modes 为空
+        if (c.failure_modes.length === 0) {
+            findings.push({ severity: "advisory", contract_id: c.id, field: "failure_modes", message: "failure_modes is empty" });
+        }
+        // degradation_behavior 为空或过短
+        if (!c.degradation_behavior || c.degradation_behavior.length < 10) {
+            findings.push({ severity: "advisory", contract_id: c.id, field: "degradation_behavior", message: "degradation_behavior is empty or too short" });
+        }
+        // 通用 downstream_consumers
+        if (c.downstream_consumers.includes("unknown")) {
+            findings.push({ severity: "advisory", contract_id: c.id, field: "downstream_consumers", message: "downstream_consumers contains generic 'unknown'" });
+        }
+        // 已废弃但无 notes
+        if (c.status === "deprecated" && !c.notes) {
+            findings.push({ severity: "advisory", contract_id: c.id, field: "notes", message: "Deprecated mechanism must have notes explaining removal" });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=validation.js.map

package/dist/engine/contracts/mechanism_contract_registry/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/validation.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,iBAAiB;AAEjB,iBAAiB;AACjB,MAAM,CAAC,MAAM,sBAAsB,GAAwB;IACzD,GAAG,kBAAkB;IACrB,GAAG,kBAAkB;IACrB,GAAG,oBAAoB;IACvB,GAAG,eAAe;CACnB,CAAC;AAEF,aAAa;AAEb;;GAEG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO,sBAAsB,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAU;IAClD,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACzD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAAC,MAAuB;IACpE,OAAO,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACnE,CAAC;AAED,aAAa;AAEb;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,YAAiC,sBAAsB,EACvD,UAAkB,OAAO,CAAC,GAAG,EAAE;IAE/B,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,QAAQ;QACR,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7G,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAElB,qBAAqB;QACrB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,qBAAqB,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACrI,CAAC;QAED,kCAAkC;QAClC,IAAI,CAAC,CAAC,aAAa,EAAE,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACjF,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;YACnF,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;gBAClC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,+BAA+B,GAAG,EAAE,EAAE,CAAC,CAAC;gBACrI,CAAC;YACH,CAAC;QACH,CAAC;QAED,iCAAiC;QACjC,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,8CAA8C,EAAE,CAAC,CAAC;QACjJ,CAAC;QAED,UAAU;QACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,wBAAwB,CAAC,EAAE,EAAE,CAAC,CAAC;YACpH,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,kCAAkC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxI,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;QACtI,CAAC;QAED,aAAa;QACb,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;QACtH,CAAC;QAED,0BAA0B;QAC1B,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAC,CAAC;QAChJ,CAAC;QAED,wCAAwC;QACxC,IAAI,CAAC,CAAC,cAAc,KAAK,iBAAiB,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACzG,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,uDAAuD,EAAE,CAAC,CAAC;QAC5J,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpF,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;QAC3J,CAAC;QAED,cAAc;QAEd,mBAAmB;QACnB,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC,CAAC;QACxH,CAAC;QAED,6BAA6B;QAC7B,IAAI,CAAC,CAAC,CAAC,oBAAoB,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CAAC;QACnJ,CAAC;QAED,0BAA0B;QAC1B,IAAI,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,iDAAiD,EAAE,CAAC,CAAC;QACxJ,CAAC;QAED,cAAc;QACd,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC,CAAC;QACjJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/engine/contracts/mechanism_contract_registry.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Mechanism Contract Registry — 向后兼容入口
+ *
+ * 此文件重新导出 mechanism_contract_registry/ 目录下的所有内容。
+ */
+export type { MechanismType, MechanismStatus, MechanismContract, MechanismGovernanceFinding, } from "./mechanism_contract_registry/types.js";
+export { P0_MECHANISM_CONTRACTS, listMechanismContracts, findMechanismContractById, listMechanismContractsByStatus, validateMechanismContracts, } from "./mechanism_contract_registry/validation.js";
+//# sourceMappingURL=mechanism_contract_registry.d.ts.map

package/dist/engine/contracts/mechanism_contract_registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanism_contract_registry.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/mechanism_contract_registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,YAAY,EACV,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,0BAA0B,GAC3B,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,yBAAyB,EACzB,8BAA8B,EAC9B,0BAA0B,GAC3B,MAAM,6CAA6C,CAAC"}

package/dist/engine/contracts/mechanism_contract_registry.js

@@ -0,0 +1,7 @@
+/**
+ * Mechanism Contract Registry — 向后兼容入口
+ *
+ * 此文件重新导出 mechanism_contract_registry/ 目录下的所有内容。
+ */
+export { P0_MECHANISM_CONTRACTS, listMechanismContracts, findMechanismContractById, listMechanismContractsByStatus, validateMechanismContracts, } from "./mechanism_contract_registry/validation.js";
+//# sourceMappingURL=mechanism_contract_registry.js.map

package/dist/engine/contracts/mechanism_contract_registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanism_contract_registry.js","sourceRoot":"","sources":["../../../src/engine/contracts/mechanism_contract_registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AASH,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,yBAAyB,EACzB,8BAA8B,EAC9B,0BAA0B,GAC3B,MAAM,6CAA6C,CAAC"}

package/dist/engine/contracts/mechanism_health_check.d.ts

@@ -0,0 +1,25 @@
+/**
+ * 机制运行时健康检查 — 离线治理模块，不参与用户项目运行时路径。
+ *
+ * 机制运行时健康检查。
+ *
+ * 用于发现“注册了但没有消费”“声明了 lazy import 但没有调用”的长期机制退化。
+ * 该模块只做离线治理检查，不参与用户项目运行时路径。
+ */
+export interface MechanismHealthFinding {
+    severity: "hard_fail" | "warning";
+    kind: "lazy_dead_import" | "missing_file" | "unconsumed_mechanism" | "module_export_unconsumed";
+    target: string;
+    message_zh: string;
+}
+export interface MechanismHealthReport {
+    checked_at: string;
+    findings: MechanismHealthFinding[];
+    hard_fail_count: number;
+    warning_count: number;
+}
+export declare function detectLazyDeadImports(rootDir: string): MechanismHealthFinding[];
+export declare function detectUnconsumedMechanismIds(rootDir: string): MechanismHealthFinding[];
+export declare function scanModuleExports(rootDir: string): MechanismHealthFinding[];
+export declare function runFullHealthCheck(rootDir: string): MechanismHealthReport;
+//# sourceMappingURL=mechanism_health_check.d.ts.map

package/dist/engine/contracts/mechanism_health_check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanism_health_check.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/mechanism_health_check.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,IAAI,EAAE,kBAAkB,GAAG,cAAc,GAAG,sBAAsB,GAAG,0BAA0B,CAAC;IAChG,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IACnC,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;CACvB;AAmCD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,sBAAsB,EAAE,CAmB/E;AAED,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,MAAM,GAAG,sBAAsB,EAAE,CAwCtF;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,sBAAsB,EAAE,CAyB3E;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,qBAAqB,CAYzE"}

package/dist/engine/contracts/mechanism_health_check.js

@@ -0,0 +1,143 @@
+/**
+ * 机制运行时健康检查 — 离线治理模块，不参与用户项目运行时路径。
+ *
+ * 机制运行时健康检查。
+ *
+ * 用于发现“注册了但没有消费”“声明了 lazy import 但没有调用”的长期机制退化。
+ * 该模块只做离线治理检查，不参与用户项目运行时路径。
+ */
+import fs from "node:fs";
+import path from "node:path";
+const REQUIRED_MECHANISM_ASSETS = {
+    "mc-code-maintainability-observability-contract": [
+        "templates/internal/rules/代码注释与日志契约规则.md",
+        "templates/rules/shared/代码可维护性与可观测性审查.md",
+    ],
+};
+const OFFLINE_GOVERNANCE_MODULES = new Set([
+    "mechanism_health_check",
+    "config_write_boundary",
+    "knowledge_governance_gate",
+    "log_governance",
+]);
+function read(filePath) {
+    try {
+        return fs.readFileSync(filePath, "utf8");
+    }
+    catch {
+        return "";
+    }
+}
+function findTsFiles(dir) {
+    if (!fs.existsSync(dir))
+        return [];
+    const out = [];
+    for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
+        const full = path.join(dir, entry.name);
+        if (entry.isDirectory())
+            out.push(...findTsFiles(full));
+        else if (entry.isFile() && entry.name.endsWith(".ts"))
+            out.push(full);
+    }
+    return out;
+}
+export function detectLazyDeadImports(rootDir) {
+    const toolsPath = path.join(rootDir, "src", "adapters", "claude_code", "tools.ts");
+    const content = read(toolsPath);
+    const findings = [];
+    const lazyDecls = [...content.matchAll(/const\s+(lazy[A-Za-z0-9_]+)\s*=\s*createLazy/g)].map((m) => m[1]);
+    for (const lazyName of lazyDecls) {
+        const usagePattern = new RegExp(`\\b${lazyName}\\s*\\(`, "g");
+        const usages = [...content.matchAll(usagePattern)].length;
+        if (usages === 0) {
+            findings.push({
+                severity: "hard_fail",
+                kind: "lazy_dead_import",
+                target: lazyName,
+                message_zh: `${lazyName} 只声明未调用，属于机制死代码风险`,
+            });
+        }
+    }
+    return findings;
+}
+export function detectUnconsumedMechanismIds(rootDir) {
+    const findings = [];
+    const mcrDir = path.join(rootDir, "src", "engine", "contracts", "mechanism_contract_registry");
+    const mcrFiles = fs.existsSync(mcrDir) ? findTsFiles(mcrDir) : [path.join(rootDir, "src", "engine", "contracts", "mechanism_contract_registry.ts")];
+    const allText = [
+        read(path.join(rootDir, "src", "engine", "contracts", "dual_layer_mechanism_registry.ts")),
+        ...mcrFiles.map(read),
+        read(path.join(rootDir, "src", "engine", "templates", "asset_manifest.ts")),
+        read(path.join(rootDir, "src", "engine", "templates", "consumable_asset_registry.ts")),
+    ].join("\n");
+    for (const [mechanismId, assets] of Object.entries(REQUIRED_MECHANISM_ASSETS)) {
+        if (!allText.includes(mechanismId)) {
+            findings.push({
+                severity: "hard_fail",
+                kind: "unconsumed_mechanism",
+                target: mechanismId,
+                message_zh: `${mechanismId} 未在机制/资产注册表中形成统一身份`,
+            });
+        }
+        for (const asset of assets) {
+            if (!fs.existsSync(path.join(rootDir, asset))) {
+                findings.push({
+                    severity: "hard_fail",
+                    kind: "missing_file",
+                    target: asset,
+                    message_zh: `机制 ${mechanismId} 声明的资产不存在: ${asset}`,
+                });
+            }
+            if (!allText.includes(asset)) {
+                findings.push({
+                    severity: "hard_fail",
+                    kind: "unconsumed_mechanism",
+                    target: `${mechanismId}:${asset}`,
+                    message_zh: `机制资产未被注册表消费: ${asset}`,
+                });
+            }
+        }
+    }
+    return findings;
+}
+export function scanModuleExports(rootDir) {
+    const srcEngine = path.join(rootDir, "src", "engine");
+    const toolsText = read(path.join(rootDir, "src", "adapters", "claude_code", "tools.ts"));
+    const cliText = read(path.join(rootDir, "src", "bin", "soloforge.ts"));
+    const releaseGateText = read(path.join(rootDir, "src", "engine", "release", "release_readiness_gate.ts"));
+    const consumerText = `${toolsText}\n${cliText}\n${releaseGateText}`;
+    const findings = [];
+    for (const file of findTsFiles(srcEngine)) {
+        const base = path.basename(file, ".ts");
+        if (base.endsWith(".test"))
+            continue;
+        if (OFFLINE_GOVERNANCE_MODULES.has(base))
+            continue;
+        const content = read(file);
+        if (!/\bexport\s+(function|const|class)\s+/.test(content))
+            continue;
+        if (!consumerText.includes(`${base}.js`) && !consumerText.includes(base)) {
+            findings.push({
+                severity: "warning",
+                kind: "module_export_unconsumed",
+                target: path.relative(rootDir, file),
+                message_zh: `引擎模块有导出但未在 CLI/MCP/release gate 文本中发现直接消费点`,
+            });
+        }
+    }
+    return findings;
+}
+export function runFullHealthCheck(rootDir) {
+    const findings = [
+        ...detectLazyDeadImports(rootDir),
+        ...detectUnconsumedMechanismIds(rootDir),
+        ...scanModuleExports(rootDir),
+    ];
+    return {
+        checked_at: new Date().toISOString(),
+        findings,
+        hard_fail_count: findings.filter((f) => f.severity === "hard_fail").length,
+        warning_count: findings.filter((f) => f.severity === "warning").length,
+    };
+}
+//# sourceMappingURL=mechanism_health_check.js.map

package/dist/engine/contracts/mechanism_health_check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanism_health_check.js","sourceRoot":"","sources":["../../../src/engine/contracts/mechanism_health_check.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAgB7B,MAAM,yBAAyB,GAA6B;IAC1D,gDAAgD,EAAE;QAChD,yCAAyC;QACzC,yCAAyC;KAC1C;CACF,CAAC;AAEF,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,wBAAwB;IACxB,uBAAuB;IACvB,2BAA2B;IAC3B,gBAAgB;CACjB,CAAC,CAAC;AAEH,SAAS,IAAI,CAAC,QAAgB;IAC5B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,GAAW;IAC9B,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,WAAW,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;aACnD,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACnD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,+CAA+C,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1G,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,YAAY,GAAG,IAAI,MAAM,CAAC,MAAM,QAAQ,SAAS,EAAE,GAAG,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC;QAC1D,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,QAAQ;gBAChB,UAAU,EAAE,GAAG,QAAQ,mBAAmB;aAC3C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,OAAe;IAC1D,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,6BAA6B,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,gCAAgC,CAAC,CAAC,CAAC;IACpJ,MAAM,OAAO,GAAG;QACd,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,kCAAkC,CAAC,CAAC;QAC1F,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,mBAAmB,CAAC,CAAC;QAC3E,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,8BAA8B,CAAC,CAAC;KACvF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,KAAK,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,WAAW;gBACnB,UAAU,EAAE,GAAG,WAAW,oBAAoB;aAC/C,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,KAAK;oBACb,UAAU,EAAE,MAAM,WAAW,cAAc,KAAK,EAAE;iBACnD,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,sBAAsB;oBAC5B,MAAM,EAAE,GAAG,WAAW,IAAI,KAAK,EAAE;oBACjC,UAAU,EAAE,gBAAgB,KAAK,EAAE;iBACpC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC;IACzF,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC;IACvE,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,2BAA2B,CAAC,CAAC,CAAC;IAC1G,MAAM,YAAY,GAAG,GAAG,SAAS,KAAK,OAAO,KAAK,eAAe,EAAE,CAAC;IACpE,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAE9C,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACrC,IAAI,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACnD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,sCAAsC,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,SAAS;QACpE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,0BAA0B;gBAChC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;gBACpC,UAAU,EAAE,4CAA4C;aACzD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,MAAM,QAAQ,GAAG;QACf,GAAG,qBAAqB,CAAC,OAAO,CAAC;QACjC,GAAG,4BAA4B,CAAC,OAAO,CAAC;QACxC,GAAG,iBAAiB,CAAC,OAAO,CAAC;KAC9B,CAAC;IACF,OAAO;QACL,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,QAAQ;QACR,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM;QAC1E,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;KACvE,CAAC;AACJ,CAAC"}

package/dist/engine/contracts/metric_governance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"metric_governance.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/metric_governance.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACxB,MAAM,mCAAmC,CAAC;AAQ3C,MAAM,WAAW,sBAAsB;IACrC,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,OAAO,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,cAAc,EAAE,OAAO,CAAC;IACxB,cAAc,EAAE,OAAO,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,GAAG,cAAc,CAYpH;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,YAAY,EAAE,GACtB,sBAAsB,CAcxB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,YAAY,EAAE,GACtB,sBAAsB,CAqCxB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,iBAAiB,CAAC,UAAU,CAAC,EACvC,YAAY,EAAE,MAAM,EAAE,GACrB,iBAAiB,CAYnB;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,iBAAiB,EAC1B,MAAM,EAAE,MAAM,GACb,sBAAsB,CA2BxB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,iBAAiB,EAC1B,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EAAE,GACpB,uBAAuB,CAQzB"}

package/dist/engine/contracts/metric_governance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metric_governance.js","sourceRoot":"","sources":["../../../src/engine/contracts/metric_governance.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,wBAAwB;AACxB,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AAE3F,kBAAkB;AAClB,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,SAAS,EAAE,sBAAsB,CAAC,CAAC,CAAC;AAuBpF;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAA+D;IAClG,OAAO;QACL,WAAW,EAAE,SAAS;QACtB,eAAe,EAAE,SAAS;QAC1B,UAAU,EAAE,EAAE;QACd,iBAAiB,EAAE,EAAE;QACrB,eAAe,EAAE,OAAO;QACxB,UAAU,EAAE,EAAE;QACd,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,QAAQ;QACvB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAuB;IAEvB,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,aAAa,KAAK,QAAQ,EAAE,CAAC;YACtC,cAAc;YACd,SAAS;QACX,CAAC;QACD,IAAI,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;YAChD,+BAA+B;QACjC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAuB;IAEvB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,QAAQ,MAAM,CAAC,aAAa,EAAE,CAAC;YAC7B,KAAK,QAAQ;gBACX,eAAe,EAAE,CAAC;gBAClB,MAAM;YACR,KAAK,SAAS;gBACZ,YAAY,EAAE,CAAC;gBACf,MAAM;YACR,KAAK,UAAU;gBACb,aAAa,EAAE,CAAC;gBAChB,MAAM;YACR,KAAK,iBAAiB;gBACpB,cAAc,EAAE,CAAC;gBACjB,MAAM;YACR,KAAK,WAAW;gBACd,YAAY,EAAE,CAAC;gBACf,MAAM;QACV,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;IAC7B,MAAM,MAAM,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,KAAK,CAAC,CAAC;IAE1D,OAAO;QACL,MAAM;QACN,eAAe,EAAE,cAAc;QAC/B,cAAc,EAAE,aAAa;QAC7B,aAAa,EAAE,YAAY;QAC3B,iBAAiB,EAAE,eAAe;QAClC,WAAW,EAAE,KAAK;KACnB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAsB,EACtB,QAAuC,EACvC,YAAsB;IAEtB,MAAM,aAAa,GAAG,QAAQ,KAAK,UAAU,CAAC;IAC9C,OAAO;QACL,EAAE,EAAE,MAAM,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACnC,QAAQ;QACR,YAAY,EAAE,MAAM,CAAC,eAAe;QACpC,SAAS,EAAE,MAAM,CAAC,EAAE;QACpB,aAAa,EAAE,YAAY;QAC3B,kBAAkB,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,MAAM;QAC7E,2BAA2B,EAAE,aAAa;QAC1C,wBAAwB,EAAE,WAAW;KACtC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAA0B,EAC1B,MAAc;IAEd,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,MAAkD,CAAC,CAAC;IAE7F,IAAI,UAAU,IAAI,OAAO,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QAClD,OAAO;YACL,OAAO,EAAE,IAAI;YACb,cAAc,EAAE,KAAK;YACrB,cAAc,EAAE,IAAI;YACpB,MAAM,EAAE,oBAAoB;SAC7B,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,cAAc,EAAE,KAAK;YACrB,cAAc,EAAE,IAAI;YACpB,MAAM,EAAE,yBAAyB;SAClC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;QACb,cAAc,EAAE,IAAI;QACpB,cAAc,EAAE,KAAK;QACrB,MAAM,EAAE,YAAY;KACrB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAA0B,EAC1B,MAAc,EACd,WAAqB;IAErB,MAAM,UAAU,GAAG,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,EAAE;QACtB,MAAM;QACN,aAAa,EAAE,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ;QACvE,YAAY,EAAE,WAAW;KAC1B,CAAC;AACJ,CAAC"}

package/dist/engine/contracts/omission_scanner.d.ts

@@ -0,0 +1,83 @@
+/**
+ * 遗漏扫描引擎 — 聚合扫描 + 对抗性 AI prompt 生成。
+ *
+ * 职责：
+ * 1. 聚合三种确定性检测（空洞章节、占位符、空表格）+ 现有缺失检测
+ * 2. 生成 OmissionScanResult（passed / findings / summary）
+ * 3. 生成对抗性 AI prompt，用于 sf_gate_check 的二次 AI 审计
+ *
+ * 设计决策：
+ * - 确定性扫描做第一道（快速、无 IO），对抗性 prompt 做第二道（AI 深度审计）
+ * - 对抗性 prompt 基于 findings 生成，聚焦已确认遗漏 + 潜在遗漏
+ * - 扫描配置可外部注入，默认值适合大多数场景
+ */
+import { type ArtifactSchema } from "./artifact_schema_registry.js";
+/** 遗漏发现项 */
+export interface OmissionFinding {
+    /** 发现类型 */
+    type: "missing_section" | "hollow_section" | "missing_table" | "empty_table" | "placeholder" | "forbidden_gap";
+    /** 严重级别：hard_fail → 阻塞，warning → 警告 */
+    severity: "hard_fail" | "warning";
+    /** 关联的章节名 */
+    section_name: string;
+    /** 发现位置行号（1-based） */
+    line_number?: number;
+    /** 中文描述 */
+    message: string;
+    /** 证据片段（前 80 字符） */
+    evidence: string;
+}
+/** 扫描结果 */
+export interface OmissionScanResult {
+    /** 是否通过（无 hard_fail finding） */
+    passed: boolean;
+    /** 所有发现项 */
+    findings: OmissionFinding[];
+    /** 摘要文本 */
+    summary: string;
+    /** 对抗性 AI prompt（可选，仅当 config.generate_adversarial_prompt=true） */
+    adversarial_prompt?: string;
+}
+/** 扫描配置 */
+export interface OmissionScanConfig {
+    /** 空洞阈值（正文不足此字符数视为空洞），默认 50 */
+    hollow_threshold_chars: number;
+    /** 自定义占位符正则列表（追加到内置 16 种之后） */
+    placeholder_patterns: string[];
+    /** 是否生成对抗性 AI prompt，默认 false */
+    generate_adversarial_prompt: boolean;
+    /** 对抗性 prompt 最大发现数，默认 5 */
+    adversarial_max_findings: number;
+}
+/**
+ * 聚合扫描 — 对产物内容执行全面的遗漏检测。
+ *
+ * 检测维度（按顺序）：
+ * 1. 缺失章节（findMissingSections）
+ * 2. 缺失表格（findMissingTables）
+ * 3. 空洞章节（findHollowSections）
+ * 4. 占位符（findPlaceholders）
+ * 5. 空表格（findEmptyTables）
+ *
+ * @param kind 产物类型（ArtifactKind）
+ * @param content 产物 markdown 内容
+ * @param configOverrides 可选配置覆盖
+ * @returns 扫描结果
+ */
+export declare function scanArtifactForOmissions(kind: string, content: string, configOverrides?: Partial<OmissionScanConfig>): OmissionScanResult;
+/**
+ * 生成对抗性 AI prompt — 基于确定性扫描结果，引导 AI 进行深度审计。
+ *
+ * 框架设计：
+ * - 已确认遗漏 → 要求 AI 验证并量化影响
+ * - 潜在遗漏 → 要求 AI 基于模板/行业经验推断可能遗漏
+ * - 聚焦策略 → 限制 max_findings 避免信息过载
+ *
+ * @param findings 确定性扫描的发现项
+ * @param schema 产物 Schema（可能为 null）
+ * @param content 产物内容
+ * @param maxFindings 最大发现数
+ * @returns 对抗性 prompt 文本
+ */
+export declare function generateAdversarialPrompt(findings: OmissionFinding[], schema: ArtifactSchema | undefined, content: string, maxFindings?: number): string;
+//# sourceMappingURL=omission_scanner.d.ts.map

package/dist/engine/contracts/omission_scanner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"omission_scanner.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/omission_scanner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAOL,KAAK,cAAc,EACpB,MAAM,+BAA+B,CAAC;AAKvC,YAAY;AACZ,MAAM,WAAW,eAAe;IAC9B,WAAW;IACX,IAAI,EACA,iBAAiB,GACjB,gBAAgB,GAChB,eAAe,GACf,aAAa,GACb,aAAa,GACb,eAAe,CAAC;IACpB,uCAAuC;IACvC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,aAAa;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,sBAAsB;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,oBAAoB;IACpB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,WAAW;AACX,MAAM,WAAW,kBAAkB;IACjC,gCAAgC;IAChC,MAAM,EAAE,OAAO,CAAC;IAChB,YAAY;IACZ,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,WAAW;AACX,MAAM,WAAW,kBAAkB;IACjC,+BAA+B;IAC/B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,+BAA+B;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,iCAAiC;IACjC,2BAA2B,EAAE,OAAO,CAAC;IACrC,4BAA4B;IAC5B,wBAAwB,EAAE,MAAM,CAAC;CAClC;AAYD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,eAAe,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAC5C,kBAAkB,CAkGpB;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,eAAe,EAAE,EAC3B,MAAM,EAAE,cAAc,GAAG,SAAS,EAClC,OAAO,EAAE,MAAM,EACf,WAAW,GAAE,MAAU,GACtB,MAAM,CA6DR"}

package/dist/engine/contracts/omission_scanner.js

@@ -0,0 +1,191 @@
+/**
+ * 遗漏扫描引擎 — 聚合扫描 + 对抗性 AI prompt 生成。
+ *
+ * 职责：
+ * 1. 聚合三种确定性检测（空洞章节、占位符、空表格）+ 现有缺失检测
+ * 2. 生成 OmissionScanResult（passed / findings / summary）
+ * 3. 生成对抗性 AI prompt，用于 sf_gate_check 的二次 AI 审计
+ *
+ * 设计决策：
+ * - 确定性扫描做第一道（快速、无 IO），对抗性 prompt 做第二道（AI 深度审计）
+ * - 对抗性 prompt 基于 findings 生成，聚焦已确认遗漏 + 潜在遗漏
+ * - 扫描配置可外部注入，默认值适合大多数场景
+ */
+import { findHollowSections, findPlaceholders, findEmptyTables, findMissingSections, findMissingTables, getArtifactSchema, } from "./artifact_schema_registry.js";
+/** 默认扫描配置 */
+const DEFAULT_CONFIG = {
+    hollow_threshold_chars: 50,
+    placeholder_patterns: [],
+    generate_adversarial_prompt: false,
+    adversarial_max_findings: 5,
+};
+// ── 核心扫描函数 ──
+/**
+ * 聚合扫描 — 对产物内容执行全面的遗漏检测。
+ *
+ * 检测维度（按顺序）：
+ * 1. 缺失章节（findMissingSections）
+ * 2. 缺失表格（findMissingTables）
+ * 3. 空洞章节（findHollowSections）
+ * 4. 占位符（findPlaceholders）
+ * 5. 空表格（findEmptyTables）
+ *
+ * @param kind 产物类型（ArtifactKind）
+ * @param content 产物 markdown 内容
+ * @param configOverrides 可选配置覆盖
+ * @returns 扫描结果
+ */
+export function scanArtifactForOmissions(kind, content, configOverrides) {
+    const config = { ...DEFAULT_CONFIG, ...configOverrides };
+    const schema = getArtifactSchema(kind);
+    const findings = [];
+    // 维度 1: 缺失章节（基于 registry schema 或空 schema 兜底）
+    if (schema) {
+        const missingSections = findMissingSections(content, schema);
+        for (const section of missingSections) {
+            findings.push({
+                type: "missing_section",
+                severity: "hard_fail",
+                section_name: section,
+                message: `缺少必填章节: ${section}`,
+                evidence: `章节 "${section}" 在文档中未找到匹配标题`,
+            });
+        }
+        // 维度 2: 缺失表格
+        const missingTables = findMissingTables(content, schema);
+        for (const table of missingTables) {
+            findings.push({
+                type: "missing_table",
+                severity: "hard_fail",
+                section_name: "",
+                message: `缺少必填表格: ${table}`,
+                evidence: `表格关键词 "${table}" 在文档中未找到匹配`,
+            });
+        }
+        // 维度 3: 空洞章节
+        const hollowSections = findHollowSections(content, schema, config.hollow_threshold_chars);
+        for (const hollow of hollowSections) {
+            findings.push({
+                type: "hollow_section",
+                severity: "hard_fail",
+                section_name: hollow.section_name,
+                line_number: hollow.line_number,
+                message: `章节 "${hollow.section_name}" 正文不足 ${config.hollow_threshold_chars} 字符（实际 ${hollow.body_chars} 字符）`,
+                evidence: `第 ${hollow.line_number} 行，正文长度=${hollow.body_chars}`,
+            });
+        }
+        // 维度 5: 空表格
+        const emptyTables = findEmptyTables(content, schema);
+        for (const empty of emptyTables) {
+            findings.push({
+                type: "empty_table",
+                severity: empty.is_required ? "hard_fail" : "warning",
+                section_name: "",
+                line_number: empty.line_number,
+                message: `${empty.is_required ? "必填" : "非必填"}表格 "${empty.table_keyword}" 有标题但无数据行`,
+                evidence: `第 ${empty.line_number} 行，表格 "${empty.table_keyword}" 为空`,
+            });
+        }
+    }
+    // 维度 4: 占位符（不需要 schema）
+    const extraPatterns = config.placeholder_patterns.map((p) => new RegExp(p));
+    const placeholders = findPlaceholders(content, extraPatterns);
+    for (const ph of placeholders) {
+        findings.push({
+            type: "placeholder",
+            severity: "warning",
+            section_name: "",
+            line_number: ph.line_number,
+            message: `发现占位符文本: ${ph.placeholder}`,
+            evidence: ph.context,
+        });
+    }
+    // 汇总
+    const hardFailCount = findings.filter((f) => f.severity === "hard_fail").length;
+    const warningCount = findings.filter((f) => f.severity === "warning").length;
+    const passed = hardFailCount === 0;
+    const summary = passed
+        ? `✅ 遗漏扫描通过（${warningCount} 个警告）`
+        : `❌ 遗漏扫描未通过（${hardFailCount} 个阻塞项，${warningCount} 个警告）`;
+    const result = {
+        passed,
+        findings,
+        summary,
+    };
+    // 对抗性 prompt 生成（可选）
+    if (config.generate_adversarial_prompt) {
+        result.adversarial_prompt = generateAdversarialPrompt(findings, schema, content, config.adversarial_max_findings);
+    }
+    return result;
+}
+// ── 对抗性 Prompt 生成 ──
+/**
+ * 生成对抗性 AI prompt — 基于确定性扫描结果，引导 AI 进行深度审计。
+ *
+ * 框架设计：
+ * - 已确认遗漏 → 要求 AI 验证并量化影响
+ * - 潜在遗漏 → 要求 AI 基于模板/行业经验推断可能遗漏
+ * - 聚焦策略 → 限制 max_findings 避免信息过载
+ *
+ * @param findings 确定性扫描的发现项
+ * @param schema 产物 Schema（可能为 null）
+ * @param content 产物内容
+ * @param maxFindings 最大发现数
+ * @returns 对抗性 prompt 文本
+ */
+export function generateAdversarialPrompt(findings, schema, content, maxFindings = 5) {
+    const kind = schema?.kind ?? "未知";
+    const lines = content.split("\n");
+    // 已确认遗漏列表
+    const confirmedFindings = findings
+        .slice(0, maxFindings)
+        .map((f, i) => `${i + 1}. [${f.severity === "hard_fail" ? "阻塞" : "警告"}] ${f.message}` +
+        (f.line_number ? `（第 ${f.line_number} 行）` : "") +
+        ` — 证据: ${f.evidence}`)
+        .join("\n");
+    // Schema 约束摘要
+    const schemaSummary = schema
+        ? [
+            `必填章节: ${schema.required_sections.join("、")}`,
+            schema.required_tables.length > 0
+                ? `必填表格: ${schema.required_tables.join("、")}`
+                : null,
+            schema.required_fields
+                ? Object.entries(schema.required_fields)
+                    .map(([t, fs]) => `  ${t} → ${fs.join("、")}`)
+                    .join("\n")
+                : null,
+        ]
+            .filter(Boolean)
+            .join("\n")
+        : "无 Schema 定义";
+    // 内容统计
+    const contentStats = `总行数: ${lines.length}，总字符: ${content.length}`;
+    return [
+        `你是一个严格的产物审计员。以下是产物「${kind}」的结构约束和实际内容统计。`,
+        "",
+        "## 已确认的遗漏（确定性扫描发现）",
+        confirmedFindings || "（无确定性发现）",
+        "",
+        "## Schema 结构约束",
+        schemaSummary,
+        "",
+        "## 内容统计",
+        contentStats,
+        "",
+        "## 你的任务",
+        "假设这份产物一定还有未发现的遗漏。基于 Schema 定义，逐项检查每个章节的内容质量：",
+        "1. 章节内容是否与 Schema 要求匹配？是否有空洞章节（标题存在但正文不足）？",
+        "2. 表格数据是否完整（有无空单元格、缺失行）？",
+        "3. 附属产物（Mermaid 图、SQL DDL、OpenAPI schema）是否真实存在且非空？",
+        "4. 跨章节引用是否一致（如交互流转引用的页面在布局树中是否存在）？",
+        `5. 是否有隐藏的占位符（非标准表达但语义等同于"待补充"的文本）？`,
+        "",
+        "对每个发现附上：行号（如果可定位）+ 证据片段 + 缺失描述。",
+        `最多报告 ${maxFindings} 项最严重的遗漏。`,
+        "",
+        "格式要求：每项一行，格式为",
+        "  [遗漏类型] 行号:行号 — 描述 — 证据:前80字符",
+    ].join("\n");
+}
+//# sourceMappingURL=omission_scanner.js.map