soloforge 1.1.40 → 1.1.43

package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Validation — 契约层模块。
+ *
+ * 职责边界：
+ * - 负责：P0_MECHANISM_CONTRACTS 等 契约层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：契约验证、注册表查询
+ * 调用谁：node:fs、node:path、types、contracts-pipeline、contracts-platform、contracts-governance
+ *
+ * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
+ * 持久化：读写本地文件（详见代码内路径）
+ */
+import type { MechanismContract, MechanismGovernanceFinding, MechanismStatus } from "./types.js";
+/** P0 级机制契约列表 */
+export declare const P0_MECHANISM_CONTRACTS: MechanismContract[];
+/**
+ * 执行 listMechanismContracts 操作
+ */
+export declare function listMechanismContracts(): MechanismContract[];
+/**
+ * 根据契约 ID 查找机制契约。
+ * @param id - 机制契约 ID
+ * @returns 匹配的机制契约，未找到时返回 undefined
+ */
+export declare function findMechanismContractById(id: string): MechanismContract | undefined;
+/**
+ * 执行 listMechanismContractsByStatus 操作
+ */
+export declare function listMechanismContractsByStatus(status: MechanismStatus): MechanismContract[];
+/**
+ * 校验机制契约的结构完整性和一致性。
+ * @param contracts - 待校验的契约列表，默认使用内置 P0 契约
+ * @param rootDir - 项目根目录，默认为当前工作目录
+ * @returns 治理发现列表（hard_fail 为硬性错误，advisory 为建议项）
+ */
+export declare function validateMechanismContracts(contracts?: MechanismContract[], rootDir?: string): MechanismGovernanceFinding[];
+//# sourceMappingURL=validation.d.ts.map

package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EAAE,iBAAiB,EAAE,0BAA0B,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAQjG,iBAAiB;AACjB,eAAO,MAAM,sBAAsB,EAAE,iBAAiB,EAKrD,CAAC;AAIF;;GAEG;AACH,wBAAgB,sBAAsB,IAAI,iBAAiB,EAAE,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEnF;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,eAAe,GAAG,iBAAiB,EAAE,CAE3F;AAID;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,SAAS,GAAE,iBAAiB,EAA2B,EACvD,OAAO,GAAE,MAAsB,GAC9B,0BAA0B,EAAE,CAgG9B"}

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

@@ -0,0 +1,136 @@
+/**
+ * Validation — 契约层模块。
+ *
+ * 职责边界：
+ * - 负责：P0_MECHANISM_CONTRACTS 等 契约层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：契约验证、注册表查询
+ * 调用谁：node:fs、node:path、types、contracts-pipeline、contracts-platform、contracts-governance
+ *
+ * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
+ * 持久化：读写本地文件（详见代码内路径）
+ */
+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 文件存在性（deprecated 机制跳过）
+        if (c.status !== "deprecated" && !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 验证：每个导出必须在模块文件中存在（deprecated 机制跳过）
+        if (c.status !== "deprecated" && 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" });
+        }
+        // 测试文件存在性（deprecated 机制跳过）
+        if (c.status !== "deprecated") {
+            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 非空（deprecated 机制跳过，已删除模块字段可能为空）
+        if (c.status !== "deprecated" && 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 非空（deprecated 机制跳过）
+        if (c.status !== "deprecated" && c.outputs.length === 0) {
+            findings.push({ severity: "hard_fail", contract_id: c.id, field: "outputs", message: "outputs must not be empty" });
+        }
+        // downstream_consumers 非空（deprecated 机制跳过）
+        if (c.status !== "deprecated" && 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/verify/contracts/mechanism_contract_registry/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;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,sCAAsC;QACtC,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACpF,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,mDAAmD;QACnD,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,aAAa,EAAE,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YAC9G,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,2BAA2B;QAC3B,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,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;gBACpH,CAAC;YACH,CAAC;YAED,wBAAwB;YACxB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;gBAClC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,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;gBACxI,CAAC;YACH,CAAC;QACH,CAAC;QAED,kDAAkD;QAClD,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,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,8BAA8B;QAC9B,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,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,2CAA2C;QAC3C,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrE,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/verify/contracts/ood_solid_contract.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Ood Solid Contract — 契约层模块（仅保留类型定义）。
+ *
+ * 职责边界：
+ * - 负责：SolidPrinciple 等 契约类型定义
+ * - 不负责：运行时逻辑已删除（零外部消费）
+ *
+ * 被谁调用：契约验证、注册表查询（仅类型）
+ * 调用谁：无外部依赖
+ *
+ * 数据流：契约类型 → 消费方实现
+ * 持久化：无持久化（纯类型）
+ *
+ * 注：requiresOodSolidContract / createOodDesignSummary / evaluateOodDesignGate /
+ *     reviewSolidCode / hasBlockingSolidFindings / evaluateOverdesignRisk
+ *     共 6 个运行时函数已在严格派死代码清理中删除（生产路径零调用）。
+ */
+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[];
+}
+//# sourceMappingURL=ood_solid_contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ood_solid_contract.d.ts","sourceRoot":"","sources":["../../../src/verify/contracts/ood_solid_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;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"}

package/dist/verify/contracts/ood_solid_contract.js

@@ -0,0 +1,19 @@
+/**
+ * Ood Solid Contract — 契约层模块（仅保留类型定义）。
+ *
+ * 职责边界：
+ * - 负责：SolidPrinciple 等 契约类型定义
+ * - 不负责：运行时逻辑已删除（零外部消费）
+ *
+ * 被谁调用：契约验证、注册表查询（仅类型）
+ * 调用谁：无外部依赖
+ *
+ * 数据流：契约类型 → 消费方实现
+ * 持久化：无持久化（纯类型）
+ *
+ * 注：requiresOodSolidContract / createOodDesignSummary / evaluateOodDesignGate /
+ *     reviewSolidCode / hasBlockingSolidFindings / evaluateOverdesignRisk
+ *     共 6 个运行时函数已在严格派死代码清理中删除（生产路径零调用）。
+ */
+export {};
+//# sourceMappingURL=ood_solid_contract.js.map

package/dist/verify/contracts/ood_solid_contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ood_solid_contract.js","sourceRoot":"","sources":["../../../src/verify/contracts/ood_solid_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG"}

package/dist/verify/contracts/runtime_state_recovery_registry.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Runtime State Recovery Registry — 运行时态自救能力清单（C-1）。
+ *
+ * 职责边界：
+ * - 负责：声明每个可被 rollback/异常污染的运行时态 → 配套 MCP 自救能力（force/reset/clear 至少其一）
+ * - 不负责：运行时态的权威枚举（stage_fact_ownership.ts）、CI 扫描（scripts/check_runtime_state_recovery.mjs）
+ *
+ * 被谁调用：doctor 运行时自检（C-4）、CI check 脚本（C-2，断言枚举源字段都在本清单）
+ * 调用谁：无（声明性数据；自洽性由 C-2 脚本对照 stage_fact_ownership 断言）
+ *
+ * 数据流：手工声明 → 清单 → doctor/CI 断言每个运行态有自救
+ * 持久化：无（声明性常量）
+ *
+ * 闭环不变量（架构红线）：任何 task_context_fact 运行时态，若能被 rollback/异常污染，
+ * 必须声明配套 MCP 自救能力。新加态不声明 → CI 红（check:runtime-recovery）。
+ * 这把"治已知病"（R1/R2/R3/C2/C4）的成果立成架构不变量，"免疫未知病"。
+ *
+ * 枚举源权威：stage_fact_ownership.ts 的 STAGE_FACT_OWNERSHIP（22）+ GLOBAL_RUNTIME_FACTS（21）= 43 个
+ * task_context 运行态（逐条核实 types.ts TaskContext 全部 65 可选字段）。current_slice 运行态单独声明。
+ *
+ * 防遗漏机制：本清单【手工独立声明】，与 stage_fact_ownership 双份维护。C-2 脚本对照两处，
+ * 不一致即 CI 红 —— 开发者加新运行态必须同时登记自救，否则挡在源头。
+ */
+/** 自救能力：force 跳过 / reset 重置 / clear 清除，至少声明其一 */
+export interface RecoveryCapability {
+    /** 跳过：对应 MCP 工具/参数（如 sf_work force=true 豁免软阻断） */
+    force?: string;
+    /** 重置：对应 MCP 工具（如 sf_task start 清该态及后续） */
+    reset?: string;
+    /** 清除：对应 MCP 工具（如 sf_task confirm_decisions 逐域补确认） */
+    clear?: string;
+}
+/**
+ * 运行时态 → 自救能力清单（手工声明，与 stage_fact_ownership 双份维护）。
+ *
+ * 分组：
+ * 1. 死锁污染源（额外 force/clear，R1/C2 实现的自救）
+ * 2. current_slice 运行时态（A4a 权威字段）
+ * 3. STAGE_FACT_OWNERSHIP 其余阶段归属字段（reset 清）
+ * 4. GLOBAL_RUNTIME_FACTS 全局运行时态（reset 清）
+ */
+export declare const RECOVERABLE_RUNTIME_FACTS: Record<string, RecoveryCapability>;
+/**
+ * 断言自救能力声明有效（至少其一）— doctor/CI 复用的纯校验。
+ * @returns 无效声明清单（fact 名 + 原因）；空数组表示全部有效
+ */
+export declare function validateRecoveryDeclarations(): Array<{
+    fact: string;
+    reason: string;
+}>;
+//# sourceMappingURL=runtime_state_recovery_registry.d.ts.map

package/dist/verify/contracts/runtime_state_recovery_registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime_state_recovery_registry.d.ts","sourceRoot":"","sources":["../../../src/verify/contracts/runtime_state_recovery_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,iDAAiD;AACjD,MAAM,WAAW,kBAAkB;IACjC,kDAAkD;IAClD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAKD;;;;;;;;GAQG;AACH,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAmDxE,CAAC;AAEF;;;GAGG;AACH,wBAAgB,4BAA4B,IAAI,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAQtF"}

package/dist/verify/contracts/runtime_state_recovery_registry.js

@@ -0,0 +1,97 @@
+/**
+ * Runtime State Recovery Registry — 运行时态自救能力清单（C-1）。
+ *
+ * 职责边界：
+ * - 负责：声明每个可被 rollback/异常污染的运行时态 → 配套 MCP 自救能力（force/reset/clear 至少其一）
+ * - 不负责：运行时态的权威枚举（stage_fact_ownership.ts）、CI 扫描（scripts/check_runtime_state_recovery.mjs）
+ *
+ * 被谁调用：doctor 运行时自检（C-4）、CI check 脚本（C-2，断言枚举源字段都在本清单）
+ * 调用谁：无（声明性数据；自洽性由 C-2 脚本对照 stage_fact_ownership 断言）
+ *
+ * 数据流：手工声明 → 清单 → doctor/CI 断言每个运行态有自救
+ * 持久化：无（声明性常量）
+ *
+ * 闭环不变量（架构红线）：任何 task_context_fact 运行时态，若能被 rollback/异常污染，
+ * 必须声明配套 MCP 自救能力。新加态不声明 → CI 红（check:runtime-recovery）。
+ * 这把"治已知病"（R1/R2/R3/C2/C4）的成果立成架构不变量，"免疫未知病"。
+ *
+ * 枚举源权威：stage_fact_ownership.ts 的 STAGE_FACT_OWNERSHIP（22）+ GLOBAL_RUNTIME_FACTS（21）= 43 个
+ * task_context 运行态（逐条核实 types.ts TaskContext 全部 65 可选字段）。current_slice 运行态单独声明。
+ *
+ * 防遗漏机制：本清单【手工独立声明】，与 stage_fact_ownership 双份维护。C-2 脚本对照两处，
+ * 不一致即 CI 红 —— 开发者加新运行态必须同时登记自救，否则挡在源头。
+ */
+/** 默认重置路径：reset_to_stage 清所有 task_context 运行态（R-地基 applyResetConfirmationsFromStage） */
+const RESET_TO_STAGE = "sf_task";
+/**
+ * 运行时态 → 自救能力清单（手工声明，与 stage_fact_ownership 双份维护）。
+ *
+ * 分组：
+ * 1. 死锁污染源（额外 force/clear，R1/C2 实现的自救）
+ * 2. current_slice 运行时态（A4a 权威字段）
+ * 3. STAGE_FACT_OWNERSHIP 其余阶段归属字段（reset 清）
+ * 4. GLOBAL_RUNTIME_FACTS 全局运行时态（reset 清）
+ */
+export const RECOVERABLE_RUNTIME_FACTS = {
+    // ── 1. 死锁污染源（额外 force/clear）──
+    decision_workshop: { clear: "sf_task confirm_decisions（逐域补确认）", reset: RESET_TO_STAGE },
+    architecture_decision_workshop: { clear: "sf_task confirm_decisions（架构子包补确认）", reset: RESET_TO_STAGE },
+    plan_proposal_gate: { force: "sf_work force=true（豁免 Plan Proposal 门禁）", reset: RESET_TO_STAGE },
+    // ── 2. current_slice 运行时态（A4a 权威字段）──
+    current_slice: { reset: "sf_task start（清 current_slice，已迁移至 core/task_context/）" },
+    // ── 3. STAGE_FACT_OWNERSHIP 其余阶段归属字段（reset 清）──
+    existing_system_analysis: { reset: RESET_TO_STAGE },
+    requirement_gap_analysis: { reset: RESET_TO_STAGE },
+    brainstorm_session: { reset: RESET_TO_STAGE },
+    first_principles_frame: { reset: RESET_TO_STAGE },
+    technology_decision_contract: { reset: RESET_TO_STAGE },
+    technology_decision_record: { reset: RESET_TO_STAGE },
+    detail_discipline_contract: { reset: RESET_TO_STAGE },
+    provided_details: { reset: RESET_TO_STAGE },
+    design_artifact_pack: { reset: RESET_TO_STAGE },
+    plan_proposal_evidence: { reset: RESET_TO_STAGE },
+    planning: { reset: RESET_TO_STAGE },
+    ood_solid_summary: { reset: RESET_TO_STAGE },
+    ood_solid_findings: { reset: RESET_TO_STAGE },
+    backend_implementation_work_package: { reset: RESET_TO_STAGE },
+    backend_implementation_findings: { reset: RESET_TO_STAGE },
+    code_observability_work_package: { reset: RESET_TO_STAGE },
+    code_observability_findings: { reset: RESET_TO_STAGE },
+    instruction_contract: { reset: RESET_TO_STAGE },
+    coding_readiness_contract: { reset: RESET_TO_STAGE },
+    // ── 4. GLOBAL_RUNTIME_FACTS 全局运行时态（reset 清）──
+    execution: { reset: RESET_TO_STAGE },
+    verification: { reset: RESET_TO_STAGE },
+    verification_result: { reset: RESET_TO_STAGE },
+    code_review: { reset: RESET_TO_STAGE },
+    delivery: { reset: RESET_TO_STAGE },
+    delivery_readiness: { reset: RESET_TO_STAGE },
+    failure_report: { reset: RESET_TO_STAGE },
+    artifact_output: { reset: RESET_TO_STAGE },
+    file_baseline: { reset: RESET_TO_STAGE },
+    rollback_directive: { reset: RESET_TO_STAGE },
+    rework_history: { reset: RESET_TO_STAGE },
+    phase_directive: { reset: RESET_TO_STAGE },
+    code_quality_result: { reset: RESET_TO_STAGE },
+    omission_scan_result: { reset: RESET_TO_STAGE },
+    degradation_event: { reset: RESET_TO_STAGE },
+    review_knowledge_hints: { reset: RESET_TO_STAGE },
+    local_acceptance_evidence: { reset: RESET_TO_STAGE },
+    core_experience_evaluation: { reset: RESET_TO_STAGE },
+    skip_verification_reason: { reset: RESET_TO_STAGE },
+    repair_reverify_directive: { reset: RESET_TO_STAGE },
+};
+/**
+ * 断言自救能力声明有效（至少其一）— doctor/CI 复用的纯校验。
+ * @returns 无效声明清单（fact 名 + 原因）；空数组表示全部有效
+ */
+export function validateRecoveryDeclarations() {
+    const invalid = [];
+    for (const [fact, cap] of Object.entries(RECOVERABLE_RUNTIME_FACTS)) {
+        if (!cap.force && !cap.reset && !cap.clear) {
+            invalid.push({ fact, reason: "未声明任何自救能力（force/reset/clear 至少其一）" });
+        }
+    }
+    return invalid;
+}
+//# sourceMappingURL=runtime_state_recovery_registry.js.map

package/dist/verify/contracts/runtime_state_recovery_registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime_state_recovery_registry.js","sourceRoot":"","sources":["../../../src/verify/contracts/runtime_state_recovery_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAYH,wFAAwF;AACxF,MAAM,cAAc,GAAG,SAAS,CAAC;AAEjC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAuC;IAC3E,gCAAgC;IAChC,iBAAiB,EAAE,EAAE,KAAK,EAAE,kCAAkC,EAAE,KAAK,EAAE,cAAc,EAAE;IACvF,8BAA8B,EAAE,EAAE,KAAK,EAAE,oCAAoC,EAAE,KAAK,EAAE,cAAc,EAAE;IACtG,kBAAkB,EAAE,EAAE,KAAK,EAAE,yCAAyC,EAAE,KAAK,EAAE,cAAc,EAAE;IAE/F,uCAAuC;IACvC,aAAa,EAAE,EAAE,KAAK,EAAE,wDAAwD,EAAE;IAElF,iDAAiD;IACjD,wBAAwB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACnD,wBAAwB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACnD,kBAAkB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC7C,sBAAsB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACjD,4BAA4B,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACvD,0BAA0B,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACrD,0BAA0B,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACrD,gBAAgB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC3C,oBAAoB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/C,sBAAsB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACjD,QAAQ,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACnC,iBAAiB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC5C,kBAAkB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC7C,mCAAmC,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC9D,+BAA+B,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC1D,+BAA+B,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC1D,2BAA2B,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACtD,oBAAoB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/C,yBAAyB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAEpD,+CAA+C;IAC/C,SAAS,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACpC,YAAY,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACvC,mBAAmB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC9C,WAAW,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACtC,QAAQ,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACnC,kBAAkB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC7C,cAAc,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACzC,eAAe,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC1C,aAAa,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACxC,kBAAkB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC7C,cAAc,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACzC,eAAe,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC1C,mBAAmB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC9C,oBAAoB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/C,iBAAiB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IAC5C,sBAAsB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACjD,yBAAyB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACpD,0BAA0B,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACrD,wBAAwB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;IACnD,yBAAyB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACrD,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,4BAA4B;IAC1C,MAAM,OAAO,GAA4C,EAAE,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/verify/contracts/user_feedback_contract.d.ts

@@ -0,0 +1,167 @@
+/**
+ * User Feedback Contract — 契约层模块。
+ *
+ * 职责边界：
+ * - 负责：UserFeedbackKind 等 契约层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：契约验证、注册表查询
+ * 调用谁：core_experience_principle、logger
+ *
+ * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
+ * 持久化：无持久化（纯计算/内存态）
+ */
+export type UserFeedbackKind = "clarification" | "progress" | "degradation" | "failure" | "human_required" | "verification_summary" | "artifact_ready" | "delivery_readiness" | "delivery_result" | "blocked" | "completed";
+export type FeedbackSeverity = "info" | "warning" | "blocking" | "success";
+export type ReferenceType = "artifact" | "evidence" | "report" | "file" | "command";
+export interface FeedbackReference {
+    type: ReferenceType;
+    ref: string;
+}
+export interface UserFeedbackMessage {
+    kind: UserFeedbackKind;
+    task_id?: string;
+    severity: FeedbackSeverity;
+    title: string;
+    summary: string;
+    verified: string[];
+    unverified: string[];
+    risks: string[];
+    requires_user_action: boolean;
+    user_action?: string;
+    default_recommendation?: string;
+    references: FeedbackReference[];
+}
+export interface UserFeedbackGovernanceFinding {
+    severity: "hard_fail" | "warning";
+    rule: string;
+    kind?: UserFeedbackKind;
+    message: string;
+}
+export interface ClarificationDetail {
+    blocking_question: string;
+    default_recommendation: string;
+    impact_if_unanswered: string;
+    references: FeedbackReference[];
+}
+export interface DegradationDetail {
+    component_id: string;
+    degraded_mode: string;
+    unavailable_capabilities: string[];
+    allowed_actions: string[];
+    forbidden_actions: string[];
+    recovery_hint: string;
+}
+export interface FailureDetail {
+    failure_class: string;
+    evidence_refs: string[];
+    retry_allowed: boolean;
+    next_action: string;
+    side_effects_occurred: string[];
+}
+export interface HumanRequiredDetail {
+    decision_scope: string;
+    options: string[];
+    recommended_option: string;
+    reason: string;
+    blocking: boolean;
+}
+export interface VerificationSummaryDetail {
+    verification_status: "passed" | "partial" | "failed";
+    passed_checks: string[];
+    failed_checks: string[];
+    manual_required: string[];
+    evidence_refs: string[];
+}
+export interface ArtifactReadyDetail {
+    artifact_id: string;
+    artifact_kind: string;
+    path: string;
+    status: string;
+    verification_status: string;
+    next_action: string;
+}
+export interface DeliveryReadinessDetail {
+    delivery_allowed: boolean;
+    blocking_items: string[];
+    unresolved_risks: string[];
+    allowed_actions: string[];
+    explicit_authorization_required: boolean;
+}
+export interface DeliveryResultDetail {
+    commit_hash?: string;
+    push_status: "executed" | "not_executed" | "failed";
+    pr_url?: string;
+    deploy_status: "executed" | "not_executed" | "failed";
+    rollback_ref?: string;
+    delivery_evidence_refs: string[];
+}
+export interface BlockedDetail {
+    block_reason: string;
+    blocking_contract: string;
+    unblock_condition: string;
+    recommended_next_action: string;
+}
+export interface CompletedDetail {
+    completed_scope: string[];
+    verified: string[];
+    unverified: string[];
+    risks: string[];
+    artifacts: string[];
+    next_optional_actions: string[];
+}
+export type SoloForgeTool = "sf_task" | "sf_work" | "sf_gate" | "sf_doctor" | "sf_knowledge" | "sf_analyze" | "sf_scaffold";
+/** 获取指定工具允许的反馈类型列表 */
+export declare function getAllowedFeedbackKinds(tool: SoloForgeTool): UserFeedbackKind[];
+/** 检查指定反馈类型是否允许用于某工具 */
+export declare function isFeedbackKindAllowedForTool(tool: SoloForgeTool, kind: UserFeedbackKind): boolean;
+/** 列出所有注册的 SoloForge 工具 */
+export declare function listTools(): SoloForgeTool[];
+/** 获取指定反馈类型的默认严重级别 */
+export declare function getDefaultSeverity(kind: UserFeedbackKind): FeedbackSeverity;
+/** 获取指定反馈类型是否默认需要用户操作 */
+export declare function getDefaultRequiresAction(kind: UserFeedbackKind): boolean;
+/** 检查消息中是否包含禁用措辞 */
+export declare function checkForbiddenWording(message: UserFeedbackMessage): Array<{
+    forbidden: boolean;
+    reason: string;
+}>;
+/** 获取指定反馈类型的中文状态模板 */
+export declare function getStatusTemplate(kind: UserFeedbackKind): string;
+/** 检测文本是否为技术内容（路径/命令/错误码），不应翻译 */
+export declare function isTechnicalContent(text: string): boolean;
+/** 创建用户反馈消息 */
+export declare function createUserFeedbackMessage(params: {
+    kind: UserFeedbackKind;
+    severity?: FeedbackSeverity;
+    title: string;
+    summary: string;
+    task_id?: string;
+    verified?: string[];
+    unverified?: string[];
+    risks?: string[];
+    user_action?: string;
+    default_recommendation?: string;
+    references?: FeedbackReference[];
+}): UserFeedbackMessage;
+/** 验证澄清详情的必填字段 */
+export declare function validateClarificationDetail(detail: ClarificationDetail): string[];
+/** 验证降级详情的必填字段 */
+export declare function validateDegradationDetail(detail: DegradationDetail): string[];
+/** 验证失败详情的必填字段 */
+export declare function validateFailureDetail(detail: FailureDetail): string[];
+/** 验证人工确认详情的必填字段 */
+export declare function validateHumanRequiredDetail(detail: HumanRequiredDetail): string[];
+/** 验证交付结果详情的状态字段 */
+export declare function validateDeliveryResultDetail(detail: DeliveryResultDetail): string[];
+/** 验证阻塞详情的必填字段 */
+export declare function validateBlockedDetail(detail: BlockedDetail): string[];
+/** 验证完成详情的一致性 */
+export declare function validateCompletedDetail(detail: CompletedDetail): string[];
+/** 格式化交付操作状态为中文描述 */
+export declare function formatDeliveryActionStatus(label: string, status: string): string;
+/** 构建交付结果的反馈文本 */
+export declare function buildDeliveryResultFeedback(detail: DeliveryResultDetail): string;
+/** 验证用户反馈契约合规性，返回治理发现列表 */
+export declare function validateUserFeedbackContract(messages: UserFeedbackMessage[]): UserFeedbackGovernanceFinding[];
+//# sourceMappingURL=user_feedback_contract.d.ts.map

package/dist/verify/contracts/user_feedback_contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user_feedback_contract.d.ts","sourceRoot":"","sources":["../../../src/verify/contracts/user_feedback_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,MAAM,MAAM,gBAAgB,GACxB,eAAe,GACf,UAAU,GACV,aAAa,GACb,SAAS,GACT,gBAAgB,GAChB,sBAAsB,GACtB,gBAAgB,GAChB,oBAAoB,GACpB,iBAAiB,GACjB,SAAS,GACT,WAAW,CAAC;AAEhB,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAE3E,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;AAEpF,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,aAAa,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,UAAU,EAAE,iBAAiB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAID,MAAM,WAAW,mBAAmB;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,iBAAiB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,OAAO,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,qBAAqB,EAAE,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,yBAAyB;IACxC,mBAAmB,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;IACrD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uBAAuB;IACtC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,+BAA+B,EAAE,OAAO,CAAC;CAC1C;AAED,MAAM,WAAW,oBAAoB;IACnC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,UAAU,GAAG,cAAc,GAAG,QAAQ,CAAC;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,UAAU,GAAG,cAAc,GAAG,QAAQ,CAAC;IACtD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,uBAAuB,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,eAAe;IAC9B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,qBAAqB,EAAE,MAAM,EAAE,CAAC;CACjC;AAID,MAAM,MAAM,aAAa,GAErB,SAAS,GACT,SAAS,GACT,SAAS,GACT,WAAW,GACX,cAAc,GACd,YAAY,GACZ,aAAa,CAAC;AAalB,sBAAsB;AACtB,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,aAAa,GAAG,gBAAgB,EAAE,CAG/E;AAED,wBAAwB;AACxB,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAGjG;AAED,2BAA2B;AAC3B,wBAAgB,SAAS,IAAI,aAAa,EAAE,CAG3C;AAkBD,sBAAsB;AACtB,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,GAAG,gBAAgB,CAG3E;AAkBD,yBAAyB;AACzB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAGxE;AAsBD,oBAAoB;AACpB,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,mBAAmB,GAAG,KAAK,CAAC;IAAE,SAAS,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CASjH;AAID,sBAAsB;AACtB,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAgBhE;AAID,kCAAkC;AAClC,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGxD;AAID,eAAe;AACf,wBAAgB,yBAAyB,CAAC,MAAM,EAAE;IAChD,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,UAAU,CAAC,EAAE,iBAAiB,EAAE,CAAC;CAClC,GAAG,mBAAmB,CAgBtB;AAID,kBAAkB;AAClB,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,mBAAmB,GAAG,MAAM,EAAE,CAOjF;AAED,kBAAkB;AAClB,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,EAAE,CAO7E;AAED,kBAAkB;AAClB,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,EAAE,CAMrE;AAED,oBAAoB;AACpB,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,mBAAmB,GAAG,MAAM,EAAE,CAMjF;AAED,oBAAoB;AACpB,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,EAAE,CAOnF;AAED,kBAAkB;AAClB,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,EAAE,CAOrE;AAED,iBAAiB;AACjB,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,EAAE,CAQzE;AAID,qBAAqB;AACrB,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAKhF;AAED,kBAAkB;AAClB,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CAUhF;AAID,2BAA2B;AAC3B,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,mBAAmB,EAAE,GAAG,6BAA6B,EAAE,CAsL7G"}