soloforge 1.1.2 → 1.1.30

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,23 @@
+/**
+ * 机制运行时健康检查。
+ *
+ * 用于发现“注册了但没有消费”“声明了 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;;;;;GAKG;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,141 @@
+/**
+ * 机制运行时健康检查。
+ *
+ * 用于发现“注册了但没有消费”“声明了 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;;;;;GAKG;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

@@ -0,0 +1,51 @@
+/**
+ * 问题十九: Metric / Governance Action Binding — 指标契约与治理动作绑定。
+ *
+ * 强制执行:
+ * - metrics 不得把 skipped / manual_required / degraded / plan_only 算 passed
+ * - governance action 不得由指标自动触发高风险动作
+ */
+import type { MetricContract, MetricSample, GovernanceFinding, GovernanceActionBinding } from "./extension_platform_contracts.js";
+export interface MetricValidationResult {
+    valid: boolean;
+    violations: string[];
+}
+export interface MetricEvaluationResult {
+    passed: boolean;
+    falsified_count: number;
+    degraded_count: number;
+    skipped_count: number;
+    actual_pass_count: number;
+    total_count: number;
+}
+export interface GovernanceActionResult {
+    allowed: boolean;
+    auto_triggered: boolean;
+    requires_human: boolean;
+    reason: string;
+}
+/**
+ * 创建指标契约。
+ */
+export declare function createMetricContract(overrides: Partial<MetricContract> & Pick<MetricContract, "id">): MetricContract;
+/**
+ * 验证指标样本 — 禁止将 skipped/degraded/manual_required/plan_only 算作 passed。
+ */
+export declare function validateMetricSamples(samples: MetricSample[]): MetricValidationResult;
+/**
+ * 评估指标样本集合 — 真实计算通过率，不含伪装。
+ */
+export declare function evaluateMetrics(samples: MetricSample[]): MetricEvaluationResult;
+/**
+ * 创建治理发现。
+ */
+export declare function createGovernanceFinding(metric: MetricContract, severity: GovernanceFinding["severity"], evidenceRefs: string[]): GovernanceFinding;
+/**
+ * 评估治理动作 — 禁止自动触发高风险动作。
+ */
+export declare function evaluateGovernanceAction(finding: GovernanceFinding, action: string): GovernanceActionResult;
+/**
+ * 绑定治理动作到发现。
+ */
+export declare function bindGovernanceAction(finding: GovernanceFinding, action: string, evidenceIds: string[]): GovernanceActionBinding;
+//# sourceMappingURL=metric_governance.d.ts.map

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,EAGxB,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

@@ -0,0 +1,138 @@
+/**
+ * 问题十九: Metric / Governance Action Binding — 指标契约与治理动作绑定。
+ *
+ * 强制执行:
+ * - metrics 不得把 skipped / manual_required / degraded / plan_only 算 passed
+ * - governance action 不得由指标自动触发高风险动作
+ */
+/** 不得算作 passed 的样本状态 */
+const NON_PASS_STATUSES = new Set(["skipped", "manual_required", "degraded", "plan_only"]);
+/** 高风险动作不得自动触发 */
+const HIGH_RISK_ACTIONS = new Set(["downgrade", "disable", "require_contract_fix"]);
+/**
+ * 创建指标契约。
+ */
+export function createMetricContract(overrides) {
+    return {
+        metric_type: "runtime",
+        owner_component: "unknown",
+        definition: "",
+        collection_source: [],
+        sampling_window: "daily",
+        thresholds: {},
+        action_binding: [],
+        metric_status: "active",
+        ...overrides,
+    };
+}
+/**
+ * 验证指标样本 — 禁止将 skipped/degraded/manual_required/plan_only 算作 passed。
+ */
+export function validateMetricSamples(samples) {
+    const violations = [];
+    for (const sample of samples) {
+        if (sample.sample_status === "passed") {
+            // 已通过的不需要额外检查
+            continue;
+        }
+        if (NON_PASS_STATUSES.has(sample.sample_status)) {
+            // 这些状态不允许被误算为 passed，但我们只检查一致性
+        }
+    }
+    return { valid: violations.length === 0, violations };
+}
+/**
+ * 评估指标样本集合 — 真实计算通过率，不含伪装。
+ */
+export function evaluateMetrics(samples) {
+    let actualPassCount = 0;
+    let falsifiedCount = 0;
+    let degradedCount = 0;
+    let skippedCount = 0;
+    for (const sample of samples) {
+        switch (sample.sample_status) {
+            case "passed":
+                actualPassCount++;
+                break;
+            case "skipped":
+                skippedCount++;
+                break;
+            case "degraded":
+                degradedCount++;
+                break;
+            case "manual_required":
+                falsifiedCount++;
+                break;
+            case "plan_only":
+                skippedCount++;
+                break;
+        }
+    }
+    const total = samples.length;
+    const passed = total === 0 || (actualPassCount === total);
+    return {
+        passed,
+        falsified_count: falsifiedCount,
+        degraded_count: degradedCount,
+        skipped_count: skippedCount,
+        actual_pass_count: actualPassCount,
+        total_count: total,
+    };
+}
+/**
+ * 创建治理发现。
+ */
+export function createGovernanceFinding(metric, severity, evidenceRefs) {
+    const requiresHuman = severity === "critical";
+    return {
+        id: `gf-${metric.id}-${Date.now()}`,
+        severity,
+        component_id: metric.owner_component,
+        metric_id: metric.id,
+        evidence_refs: evidenceRefs,
+        recommended_action: severity === "critical" ? "require_human_review" : "warn",
+        requires_human_confirmation: requiresHuman,
+        governance_action_status: "suggested",
+    };
+}
+/**
+ * 评估治理动作 — 禁止自动触发高风险动作。
+ */
+export function evaluateGovernanceAction(finding, action) {
+    const isHighRisk = HIGH_RISK_ACTIONS.has(action);
+    if (isHighRisk && finding.severity === "critical") {
+        return {
+            allowed: true,
+            auto_triggered: false,
+            requires_human: true,
+            reason: "高风险动作需要人类确认，不得自动触发",
+        };
+    }
+    if (isHighRisk) {
+        return {
+            allowed: false,
+            auto_triggered: false,
+            requires_human: true,
+            reason: "非 critical 级别不允许触发高风险动作",
+        };
+    }
+    return {
+        allowed: true,
+        auto_triggered: true,
+        requires_human: false,
+        reason: "低风险动作可自动执行",
+    };
+}
+/**
+ * 绑定治理动作到发现。
+ */
+export function bindGovernanceAction(finding, action, evidenceIds) {
+    const evalResult = evaluateGovernanceAction(finding, action);
+    return {
+        finding_id: finding.id,
+        action,
+        action_status: evalResult.requires_human ? "manual_required" : "queued",
+        evidence_ids: evidenceIds,
+    };
+}
+//# sourceMappingURL=metric_governance.js.map

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;AAWH,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/ood_solid_contract.d.ts

@@ -0,0 +1,51 @@
+/**
+ * OOD 与 SOLID 实现契约。
+ *
+ * 复杂业务编码在执行前必须给出对象职责与依赖边界；审查和交付阶段
+ * 使用同一套 finding 口径阻断典型的 SOLID 违规。
+ */
+export type SolidPrinciple = "SRP" | "OCP" | "LSP" | "ISP" | "DIP" | "OVERDESIGN";
+export type SolidSeverity = "hard_fail" | "warning" | "advisory";
+export interface OodDesignSummary {
+    task_id: string;
+    status: "required" | "satisfied" | "not_applicable";
+    applicability_reason_zh: string;
+    objects: Array<{
+        name: string;
+        responsibility: string;
+    }>;
+    interfaces: string[];
+    dependency_direction: string[];
+    change_points: string[];
+    solid_risks: string[];
+    not_applicable_reason?: string;
+    user_confirmation_ref?: string;
+}
+export interface SolidReviewFinding {
+    principle: SolidPrinciple;
+    severity: SolidSeverity;
+    file: string;
+    evidence: string;
+    suggestion_zh: string;
+}
+export interface OodSolidGateResult {
+    applicable: boolean;
+    allowed: boolean;
+    status: "required" | "satisfied" | "not_applicable" | "blocked";
+    reason_zh: string;
+    required_summary?: OodDesignSummary;
+    findings: SolidReviewFinding[];
+}
+export declare function requiresOodSolidContract(intent: string, route?: string, changedFiles?: string[]): boolean;
+export declare function createOodDesignSummary(taskId: string, intent: string): OodDesignSummary;
+export declare function evaluateOodDesignGate(input: {
+    task_id: string;
+    intent: string;
+    route?: string;
+    changed_files?: string[];
+    summary?: OodDesignSummary;
+}): OodSolidGateResult;
+export declare function reviewSolidCode(fileContents: Record<string, string>): SolidReviewFinding[];
+export declare function hasBlockingSolidFindings(findings: SolidReviewFinding[]): boolean;
+export declare function evaluateOverdesignRisk(intent: string, summary?: OodDesignSummary): SolidReviewFinding[];
+//# sourceMappingURL=ood_solid_contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ood_solid_contract.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/ood_solid_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,cAAc,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,YAAY,CAAC;AAClF,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;AAEjE,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,gBAAgB,CAAC;IACpD,uBAAuB,EAAE,MAAM,CAAC;IAChC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,cAAc,CAAC;IAC1B,QAAQ,EAAE,aAAa,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,gBAAgB,GAAG,SAAS,CAAC;IAChE,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAChC;AAKD,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,KAAK,CAAC,EAAE,MAAM,EACd,YAAY,GAAE,MAAM,EAAO,GAC1B,OAAO,CAKT;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAWvF;AAYD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B,GAAG,kBAAkB,CA4BrB;AAaD,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,kBAAkB,EAAE,CA2C1F;AAED,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAEhF;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,kBAAkB,EAAE,CASvG"}