soloforge 1.1.2 → 1.1.31

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

@@ -0,0 +1,339 @@
+/**
+ * 统一契约注册表 — 契约治理验证函数
+ *
+ * 包含: validateContractRegistry, checkCapabilityContractConflict,
+ * validateWorkflowContractRefs
+ */
+import { getCapability } from "../capability_registry.js";
+import { getRegistry } from "./registry_internal.js";
+/**
+ * 验证契约注册表完整性。
+ * 检查: 唯一性、字段完整性、文件存在、状态约束、依赖存在性、capability 冲突等。
+ */
+export function validateContractRegistry(existingFiles) {
+    const findings = [];
+    const entries = [...getRegistry().values()];
+    const idSet = new Set();
+    for (const entry of entries) {
+        // 1. contract_id 唯一且非空
+        if (!entry.contract_id || entry.contract_id.trim() === "") {
+            findings.push({
+                contract_id: entry.contract_id || "",
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "contract_id_nonempty",
+                message_zh: "contract_id 不能为空",
+                evidence_refs: [],
+            });
+            continue;
+        }
+        if (idSet.has(entry.contract_id)) {
+            findings.push({
+                contract_id: entry.contract_id,
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "contract_id_unique",
+                message_zh: `contract_id ${entry.contract_id} 重复`,
+                evidence_refs: [],
+            });
+        }
+        idSet.add(entry.contract_id);
+        // 2. kind/state/owner/test 字段完整
+        if (!entry.kind) {
+            findings.push({
+                contract_id: entry.contract_id,
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "kind_required",
+                message_zh: `契约 ${entry.contract_id} 缺少 kind`,
+                evidence_refs: [],
+            });
+        }
+        if (!entry.state) {
+            findings.push({
+                contract_id: entry.contract_id,
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "state_required",
+                message_zh: `契约 ${entry.contract_id} 缺少 state`,
+                evidence_refs: [],
+            });
+        }
+        if (!entry.owner_component) {
+            findings.push({
+                contract_id: entry.contract_id,
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "owner_required",
+                message_zh: `契约 ${entry.contract_id} 缺少 owner_component`,
+                evidence_refs: [],
+            });
+        }
+        if (entry.test_files.length === 0) {
+            findings.push({
+                contract_id: entry.contract_id,
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "test_files_required",
+                message_zh: `契约 ${entry.contract_id} 无测试文件，所有核心契约必须有测试`,
+                evidence_refs: [],
+            });
+        }
+        // 3. owner_files/test_files 存在性（当 existingFiles 提供时）
+        if (existingFiles) {
+            const isEnforcedOrHardFail = entry.state === "enforced" || entry.hard_fail_allowed;
+            for (const f of entry.owner_files) {
+                if (!existingFiles.has(f)) {
+                    findings.push({
+                        contract_id: entry.contract_id,
+                        kind: entry.kind,
+                        severity: isEnforcedOrHardFail ? "hard_fail" : "warning",
+                        rule: "owner_file_exists",
+                        message_zh: `契约 ${entry.contract_id} 的 owner_file ${f} 不存在${isEnforcedOrHardFail ? "（enforced/hard_fail 契约必须存在）" : ""}`,
+                        evidence_refs: [f],
+                    });
+                }
+            }
+            for (const f of entry.test_files) {
+                if (!existingFiles.has(f)) {
+                    findings.push({
+                        contract_id: entry.contract_id,
+                        kind: entry.kind,
+                        severity: isEnforcedOrHardFail ? "hard_fail" : "warning",
+                        rule: "test_file_exists",
+                        message_zh: `契约 ${entry.contract_id} 的 test_file ${f} 不存在${isEnforcedOrHardFail ? "（enforced/hard_fail 契约必须存在）" : ""}`,
+                        evidence_refs: [f],
+                    });
+                }
+            }
+            for (const f of entry.lifecycle_test_files) {
+                if (!existingFiles.has(f)) {
+                    findings.push({
+                        contract_id: entry.contract_id,
+                        kind: entry.kind,
+                        severity: "hard_fail",
+                        rule: "lifecycle_test_file_exists",
+                        message_zh: `契约 ${entry.contract_id} 的 lifecycle_test_file ${f} 不存在`,
+                        evidence_refs: [f],
+                    });
+                }
+            }
+        }
+        // 4. hard_fail_allowed=true 必须 state=enforced 且 lifecycle_test_files 非空
+        if (entry.hard_fail_allowed) {
+            if (entry.state !== "enforced") {
+                findings.push({
+                    contract_id: entry.contract_id,
+                    kind: entry.kind,
+                    severity: "hard_fail",
+                    rule: "hard_fail_requires_enforced",
+                    message_zh: `契约 ${entry.contract_id} 的 hard_fail_allowed=true 但 state=${entry.state}，只有 enforced 契约允许 hard fail`,
+                    evidence_refs: [],
+                });
+            }
+            if (entry.lifecycle_test_files.length === 0) {
+                findings.push({
+                    contract_id: entry.contract_id,
+                    kind: entry.kind,
+                    severity: "hard_fail",
+                    rule: "hard_fail_requires_lifecycle_tests",
+                    message_zh: `契约 ${entry.contract_id} 的 hard_fail_allowed=true 但无 lifecycle_test_files`,
+                    evidence_refs: [],
+                });
+            }
+        }
+        // 5. advisory/experimental/draft 不得 hard_fail_allowed
+        if ((entry.state === "advisory" ||
+            entry.state === "experimental" ||
+            entry.state === "draft") &&
+            entry.hard_fail_allowed) {
+            findings.push({
+                contract_id: entry.contract_id,
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "non_enforced_no_hard_fail",
+                message_zh: `契约 ${entry.contract_id} 的 state=${entry.state}，advisory/experimental/draft 契约不得 hard_fail_allowed=true`,
+                evidence_refs: [],
+            });
+        }
+        // 6. deprecated 必须有 replacement_contract_id 或 migration_note
+        if (entry.state === "deprecated") {
+            if (!entry.replacement_contract_id && !entry.migration_note) {
+                findings.push({
+                    contract_id: entry.contract_id,
+                    kind: entry.kind,
+                    severity: "hard_fail",
+                    rule: "deprecated_requires_replacement",
+                    message_zh: `契约 ${entry.contract_id} 已废弃但无 replacement_contract_id 或 migration_note`,
+                    evidence_refs: [],
+                });
+            }
+        }
+        // 7. removed 不得被 workflow/prompt/consumed_by 主链路引用
+        if (entry.state === "removed") {
+            if (entry.consumed_by.length > 0) {
+                findings.push({
+                    contract_id: entry.contract_id,
+                    kind: entry.kind,
+                    severity: "hard_fail",
+                    rule: "removed_not_referenced",
+                    message_zh: `已移除契约 ${entry.contract_id} 仍被 consumed_by 引用: ${entry.consumed_by.join(", ")}`,
+                    evidence_refs: entry.consumed_by,
+                });
+            }
+            if (entry.prompt_refs.length > 0) {
+                findings.push({
+                    contract_id: entry.contract_id,
+                    kind: entry.kind,
+                    severity: "hard_fail",
+                    rule: "removed_no_prompt_refs",
+                    message_zh: `已移除契约 ${entry.contract_id} 仍被 prompt 引用: ${entry.prompt_refs.join(", ")}`,
+                    evidence_refs: entry.prompt_refs,
+                });
+            }
+        }
+        // 8. depends_on 指向的契约必须存在
+        for (const depId of entry.depends_on) {
+            if (!getRegistry().has(depId)) {
+                findings.push({
+                    contract_id: entry.contract_id,
+                    kind: entry.kind,
+                    severity: "hard_fail",
+                    rule: "dependency_exists",
+                    message_zh: `契约 ${entry.contract_id} 依赖不存在的契约 ${depId}`,
+                    evidence_refs: [depId],
+                });
+            }
+            else {
+                const dep = getRegistry().get(depId);
+                // 8a. 依赖不得指向 removed
+                if (dep.state === "removed") {
+                    findings.push({
+                        contract_id: entry.contract_id,
+                        kind: entry.kind,
+                        severity: "hard_fail",
+                        rule: "dependency_not_removed",
+                        message_zh: `契约 ${entry.contract_id} 依赖已移除的契约 ${depId}`,
+                        evidence_refs: [depId],
+                    });
+                }
+                // 8b. 指向 deprecated 必须有 migration note 或 replacement
+                if (dep.state === "deprecated" && !dep.replacement_contract_id && !dep.migration_note) {
+                    findings.push({
+                        contract_id: entry.contract_id,
+                        kind: entry.kind,
+                        severity: "warning",
+                        rule: "dependency_deprecated_migration",
+                        message_zh: `契约 ${entry.contract_id} 依赖已废弃的契约 ${depId}，该废弃契约无替代或迁移说明`,
+                        evidence_refs: [depId],
+                    });
+                }
+            }
+        }
+        // 9. capability state 与 contract state 冲突检查
+        if (entry.policy_id && entry.capability_ids && entry.capability_ids.length > 0) {
+            for (const capId of entry.capability_ids) {
+                const cap = getCapability(capId);
+                if (cap) {
+                    const conflict = checkCapabilityContractConflict(cap.state, entry.state, capId, entry.contract_id);
+                    if (conflict) {
+                        findings.push(conflict);
+                    }
+                }
+            }
+        }
+    }
+    return findings;
+}
+/**
+ * 检查 capability state 与 contract state 冲突。
+ * capability enforced 但对应 contract advisory/removed 必须报告。
+ */
+function checkCapabilityContractConflict(capState, contractState, capId, contractId) {
+    // capability enforced 但 contract advisory/removed/draft — 冲突
+    if (capState === "enforced" &&
+        (contractState === "advisory" ||
+            contractState === "removed" ||
+            contractState === "draft")) {
+        return {
+            contract_id: contractId,
+            kind: "capability",
+            severity: "hard_fail",
+            rule: "capability_contract_state_conflict",
+            message_zh: `能力 ${capId} 状态为 enforced，但对应契约 ${contractId} 状态为 ${contractState}，存在冲突`,
+            evidence_refs: [capId, contractId],
+        };
+    }
+    // capability advisory 但 contract enforced — 冲突（反向）
+    if (capState === "advisory" && contractState === "enforced") {
+        return {
+            contract_id: contractId,
+            kind: "capability",
+            severity: "warning",
+            rule: "capability_contract_state_conflict",
+            message_zh: `能力 ${capId} 状态为 advisory，但对应契约 ${contractId} 状态为 enforced，可能需要同步`,
+            evidence_refs: [capId, contractId],
+        };
+    }
+    return null;
+}
+/**
+ * 验证 workflow 引用的契约是否合法。
+ * workflow 引用不存在、removed 或非法 deprecated contract 必须 blocked。
+ */
+export function validateWorkflowContractRefs(workflowId, referencedContractIds) {
+    const findings = [];
+    for (const refId of referencedContractIds) {
+        const entry = getRegistry().get(refId);
+        if (!entry) {
+            findings.push({
+                contract_id: refId,
+                kind: "workflow",
+                severity: "hard_fail",
+                rule: "workflow_ref_exists",
+                message_zh: `工作流 ${workflowId} 引用不存在的契约 ${refId}`,
+                evidence_refs: [workflowId, refId],
+            });
+            continue;
+        }
+        if (entry.state === "removed") {
+            findings.push({
+                contract_id: refId,
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "workflow_ref_not_removed",
+                message_zh: `工作流 ${workflowId} 引用已移除的契约 ${refId}`,
+                evidence_refs: [workflowId, refId],
+            });
+        }
+        // deprecated 一律 hard_fail/blocked；有 replacement 提示迁移
+        if (entry.state === "deprecated") {
+            const hint = entry.replacement_contract_id
+                ? `，替代契约: ${entry.replacement_contract_id}`
+                : entry.migration_note
+                    ? `，迁移说明: ${entry.migration_note}`
+                    : "，无替代或迁移说明";
+            findings.push({
+                contract_id: refId,
+                kind: entry.kind,
+                severity: "hard_fail",
+                rule: "workflow_ref_deprecated_blocked",
+                message_zh: `工作流 ${workflowId} 引用已废弃的契约 ${refId}${hint}`,
+                evidence_refs: [workflowId, refId],
+            });
+        }
+        // advisory/experimental 只能 warning，不能阻断
+        if (entry.state === "advisory" || entry.state === "experimental" || entry.state === "draft") {
+            findings.push({
+                contract_id: refId,
+                kind: entry.kind,
+                severity: "advisory",
+                rule: "workflow_ref_advisory_only",
+                message_zh: `工作流 ${workflowId} 引用的契约 ${refId} 状态为 ${entry.state}，只能 advisory，不能阻断主流程`,
+                evidence_refs: [workflowId, refId],
+            });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=validation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../src/engine/contracts/contract_registry/validation.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAO1D,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,aAA2B;IAE3B,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,uBAAuB;QACvB,IAAI,CAAC,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC1D,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,EAAE;gBACpC,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,kBAAkB;gBAC9B,aAAa,EAAE,EAAE;aAClB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,UAAU,EAAE,eAAe,KAAK,CAAC,WAAW,KAAK;gBACjD,aAAa,EAAE,EAAE;aAClB,CAAC,CAAC;QACL,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAE7B,gCAAgC;QAChC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,UAAU;gBAC7C,aAAa,EAAE,EAAE;aAClB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,WAAW;gBAC9C,aAAa,EAAE,EAAE;aAClB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,qBAAqB;gBACxD,aAAa,EAAE,EAAE;aAClB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,oBAAoB;gBACvD,aAAa,EAAE,EAAE;aAClB,CAAC,CAAC;QACL,CAAC;QAED,qDAAqD;QACrD,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,oBAAoB,GAAG,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,iBAAiB,CAAC;YACnF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBAClC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,QAAQ,CAAC,IAAI,CAAC;wBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;wBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;wBACxD,IAAI,EAAE,mBAAmB;wBACzB,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,iBAAiB,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,EAAE;wBACvH,aAAa,EAAE,CAAC,CAAC,CAAC;qBACnB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACjC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,QAAQ,CAAC,IAAI,CAAC;wBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;wBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;wBACxD,IAAI,EAAE,kBAAkB;wBACxB,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,gBAAgB,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,EAAE;wBACtH,aAAa,EAAE,CAAC,CAAC,CAAC;qBACnB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;gBAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,QAAQ,CAAC,IAAI,CAAC;wBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;wBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,WAAW;wBACrB,IAAI,EAAE,4BAA4B;wBAClC,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,0BAA0B,CAAC,MAAM;wBACpE,aAAa,EAAE,CAAC,CAAC,CAAC;qBACnB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CAAC;oBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,6BAA6B;oBACnC,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,qCAAqC,KAAK,CAAC,KAAK,6BAA6B;oBAChH,aAAa,EAAE,EAAE;iBAClB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,KAAK,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5C,QAAQ,CAAC,IAAI,CAAC;oBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,oCAAoC;oBAC1C,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,mDAAmD;oBACtF,aAAa,EAAE,EAAE;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,IACE,CAAC,KAAK,CAAC,KAAK,KAAK,UAAU;YACzB,KAAK,CAAC,KAAK,KAAK,cAAc;YAC9B,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC;YAC1B,KAAK,CAAC,iBAAiB,EACvB,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,2BAA2B;gBACjC,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,YAAY,KAAK,CAAC,KAAK,0DAA0D;gBACpH,aAAa,EAAE,EAAE;aAClB,CAAC,CAAC;QACL,CAAC;QAED,6DAA6D;QAC7D,IAAI,KAAK,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,uBAAuB,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC;oBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,iCAAiC;oBACvC,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,iDAAiD;oBACpF,aAAa,EAAE,EAAE;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,QAAQ,CAAC,IAAI,CAAC;oBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,SAAS,KAAK,CAAC,WAAW,uBAAuB,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBAC3F,aAAa,EAAE,KAAK,CAAC,WAAW;iBACjC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,QAAQ,CAAC,IAAI,CAAC;oBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,SAAS,KAAK,CAAC,WAAW,kBAAkB,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBACtF,aAAa,EAAE,KAAK,CAAC,WAAW;iBACjC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACrC,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,mBAAmB;oBACzB,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,aAAa,KAAK,EAAE;oBACvD,aAAa,EAAE,CAAC,KAAK,CAAC;iBACvB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;gBACtC,qBAAqB;gBACrB,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC5B,QAAQ,CAAC,IAAI,CAAC;wBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;wBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,WAAW;wBACrB,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,aAAa,KAAK,EAAE;wBACvD,aAAa,EAAE,CAAC,KAAK,CAAC;qBACvB,CAAC,CAAC;gBACL,CAAC;gBACD,qDAAqD;gBACrD,IAAI,GAAG,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,GAAG,CAAC,uBAAuB,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;oBACtF,QAAQ,CAAC,IAAI,CAAC;wBACZ,WAAW,EAAE,KAAK,CAAC,WAAW;wBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,SAAS;wBACnB,IAAI,EAAE,iCAAiC;wBACvC,UAAU,EAAE,MAAM,KAAK,CAAC,WAAW,aAAa,KAAK,gBAAgB;wBACrE,aAAa,EAAE,CAAC,KAAK,CAAC;qBACvB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/E,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;gBACzC,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;gBACjC,IAAI,GAAG,EAAE,CAAC;oBACR,MAAM,QAAQ,GAAG,+BAA+B,CAC9C,GAAG,CAAC,KAAK,EACT,KAAK,CAAC,KAAK,EACX,KAAK,EACL,KAAK,CAAC,WAAW,CAClB,CAAC;oBACF,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC1B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,SAAS,+BAA+B,CACtC,QAAyB,EACzB,aAA4B,EAC5B,KAAa,EACb,UAAkB;IAElB,6DAA6D;IAC7D,IACE,QAAQ,KAAK,UAAU;QACvB,CAAC,aAAa,KAAK,UAAU;YAC3B,aAAa,KAAK,SAAS;YAC3B,aAAa,KAAK,OAAO,CAAC,EAC5B,CAAC;QACD,OAAO;YACL,WAAW,EAAE,UAAU;YACvB,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,oCAAoC;YAC1C,UAAU,EAAE,MAAM,KAAK,uBAAuB,UAAU,QAAQ,aAAa,OAAO;YACpF,aAAa,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC;SACnC,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,IAAI,QAAQ,KAAK,UAAU,IAAI,aAAa,KAAK,UAAU,EAAE,CAAC;QAC5D,OAAO;YACL,WAAW,EAAE,UAAU;YACvB,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,oCAAoC;YAC1C,UAAU,EAAE,MAAM,KAAK,uBAAuB,UAAU,sBAAsB;YAC9E,aAAa,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC;SACnC,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,UAAkB,EAClB,qBAA+B;IAE/B,MAAM,QAAQ,GAAgC,EAAE,CAAC;IAEjD,KAAK,MAAM,KAAK,IAAI,qBAAqB,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK;gBAClB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,OAAO,UAAU,aAAa,KAAK,EAAE;gBACjD,aAAa,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;aACnC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK;gBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,0BAA0B;gBAChC,UAAU,EAAE,OAAO,UAAU,aAAa,KAAK,EAAE;gBACjD,aAAa,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;QAED,qDAAqD;QACrD,IAAI,KAAK,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,uBAAuB;gBACxC,CAAC,CAAC,UAAU,KAAK,CAAC,uBAAuB,EAAE;gBAC3C,CAAC,CAAC,KAAK,CAAC,cAAc;oBACpB,CAAC,CAAC,UAAU,KAAK,CAAC,cAAc,EAAE;oBAClC,CAAC,CAAC,WAAW,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK;gBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,iCAAiC;gBACvC,UAAU,EAAE,OAAO,UAAU,aAAa,KAAK,GAAG,IAAI,EAAE;gBACxD,aAAa,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;QAED,wCAAwC;QACxC,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,KAAK,cAAc,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAC5F,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK;gBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,4BAA4B;gBAClC,UAAU,EAAE,OAAO,UAAU,UAAU,KAAK,QAAQ,KAAK,CAAC,KAAK,sBAAsB;gBACrF,aAAa,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -0,0 +1,9 @@
+/**
+ * 统一契约注册表 — 兼容性重新导出
+ *
+ * 原始实现已拆分到 contract_registry/ 目录下。
+ * 此文件保持向后兼容，使现有消费者无需修改导入路径。
+ */
+export type { ContractKind, ContractState, ContractRegistryEntry, ContractGovernanceFinding, ContractRegistrySummary, } from "./contract_registry/types.js";
+export { getAllContracts, getContractById, getContractByPolicyId, listContractsByKind, listContractsByState, listContracts, getContractRegistrySummary, canContractHardFail, runtimeHardFailGate, validateContractRegistry, validateWorkflowContractRefs, registerContract, createContractStateApplier, resetRegistry, getPolicyToContractMapping, } from "./contract_registry/registry.js";
+//# sourceMappingURL=contract_registry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract_registry.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/contract_registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,YAAY,EACZ,aAAa,EACb,qBAAqB,EACrB,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,0BAA0B,EAC1B,mBAAmB,EACnB,mBAAmB,EACnB,wBAAwB,EACxB,4BAA4B,EAC5B,gBAAgB,EAChB,0BAA0B,EAC1B,aAAa,EACb,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC"}

package/dist/engine/contracts/contract_registry.js

@@ -0,0 +1,8 @@
+/**
+ * 统一契约注册表 — 兼容性重新导出
+ *
+ * 原始实现已拆分到 contract_registry/ 目录下。
+ * 此文件保持向后兼容，使现有消费者无需修改导入路径。
+ */
+export { getAllContracts, getContractById, getContractByPolicyId, listContractsByKind, listContractsByState, listContracts, getContractRegistrySummary, canContractHardFail, runtimeHardFailGate, validateContractRegistry, validateWorkflowContractRefs, registerContract, createContractStateApplier, resetRegistry, getPolicyToContractMapping, } from "./contract_registry/registry.js";
+//# sourceMappingURL=contract_registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract_registry.js","sourceRoot":"","sources":["../../../src/engine/contracts/contract_registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,OAAO,EACL,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,0BAA0B,EAC1B,mBAAmB,EACnB,mBAAmB,EACnB,wBAAwB,EACxB,4BAA4B,EAC5B,gBAAgB,EAChB,0BAA0B,EAC1B,aAAa,EACb,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC"}

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

@@ -0,0 +1,69 @@
+/**
+ * TODO: 已设计但未接入运行时的治理机制。待治理管线完善后启用。
+ *
+ * 契约状态覆盖存储 — 持久化人工确认的契约状态变更。
+ *
+ * 问题二十核心规则:
+ * - enforced 降级/禁用必须人工确认
+ * - draft/advisory/experimental 不得自动晋级 enforced
+ * - deprecated/removed 状态更新必须记录 replacement 或 migration note
+ * - 持久化审计记录，不能只改内存
+ * - 状态变更必须有 evidence_refs + human confirmation
+ */
+import type { ContractState } from "./contract_registry.js";
+/** 契约状态覆盖记录 */
+export interface ContractStateOverride {
+    contract_id: string;
+    previous_state: ContractState;
+    new_state: ContractState;
+    reason: string;
+    evidence_refs: string[];
+    confirmed_by: string;
+    updated_at: string;
+    replacement_contract_id?: string;
+    migration_note?: string;
+}
+/** 契约状态更新请求 */
+export interface ContractStateUpdateRequest {
+    contract_id: string;
+    target_state: ContractState;
+    reason: string;
+    evidence_refs: string[];
+    confirmed_by: string;
+    confirm: boolean;
+    dry_run: boolean;
+    replacement_contract_id?: string;
+    migration_note?: string;
+}
+/** 契约状态更新结果 */
+export interface ContractStateUpdateResult {
+    contract_id: string;
+    previous_state: ContractState;
+    new_state: ContractState;
+    updated: boolean;
+    dry_run: boolean;
+    validation_errors: string[];
+    override: ContractStateOverride | null;
+}
+/**
+ * 契约状态存储 — 管理人工确认的契约状态变更
+ */
+export declare class ContractStateStore {
+    private filePath;
+    private overrides;
+    private loaded;
+    constructor(stateDir: string);
+    private ensureLoaded;
+    private persist;
+    /** 获取契约的生效状态 */
+    getEffectiveState(contractId: string, defaultState: ContractState): ContractState;
+    /** 列出所有状态覆盖记录 */
+    list(): ContractStateOverride[];
+    /** 校验契约状态更新请求 */
+    validate(request: ContractStateUpdateRequest): ContractStateUpdateResult;
+    /** 校验并应用状态更新 */
+    apply(request: ContractStateUpdateRequest): ContractStateUpdateResult;
+    /** 清空所有覆盖记录 */
+    clear(): void;
+}
+//# sourceMappingURL=contract_state_store.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract_state_store.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/contract_state_store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAgB5D,eAAe;AACf,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,aAAa,CAAC;IAC9B,SAAS,EAAE,aAAa,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,eAAe;AACf,MAAM,WAAW,0BAA0B;IACzC,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,aAAa,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,eAAe;AACf,MAAM,WAAW,yBAAyB;IACxC,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,aAAa,CAAC;IAC9B,SAAS,EAAE,aAAa,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,qBAAqB,GAAG,IAAI,CAAC;CACxC;AAED;;GAEG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,SAAS,CAA+B;IAChD,OAAO,CAAC,MAAM,CAAS;gBAEX,QAAQ,EAAE,MAAM;IAO5B,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,OAAO;IAMf,gBAAgB;IAChB,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,GAAG,aAAa;IASjF,iBAAiB;IACjB,IAAI,IAAI,qBAAqB,EAAE;IAQ/B,iBAAiB;IACjB,QAAQ,CAAC,OAAO,EAAE,0BAA0B,GAAG,yBAAyB;IA+FxE,gBAAgB;IAChB,KAAK,CAAC,OAAO,EAAE,0BAA0B,GAAG,yBAAyB;IAkBrE,eAAe;IACf,KAAK,IAAI,IAAI;CAKd"}

package/dist/engine/contracts/contract_state_store.js

@@ -0,0 +1,170 @@
+/**
+ * TODO: 已设计但未接入运行时的治理机制。待治理管线完善后启用。
+ *
+ * 契约状态覆盖存储 — 持久化人工确认的契约状态变更。
+ *
+ * 问题二十核心规则:
+ * - enforced 降级/禁用必须人工确认
+ * - draft/advisory/experimental 不得自动晋级 enforced
+ * - deprecated/removed 状态更新必须记录 replacement 或 migration note
+ * - 持久化审计记录，不能只改内存
+ * - 状态变更必须有 evidence_refs + human confirmation
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { safeJsonParse } from "../core/helpers.js";
+import { getContractById, createContractStateApplier } from "./contract_registry.js";
+const applyContractStateOverride = createContractStateApplier();
+/** 合法的契约状态转移映射 */
+const VALID_CONTRACT_TRANSITIONS = {
+    draft: ["advisory", "experimental"],
+    advisory: ["enforced", "experimental", "deprecated", "removed"],
+    enforced: ["advisory", "deprecated"],
+    experimental: ["advisory", "deprecated", "removed"],
+    deprecated: ["advisory", "removed"],
+    removed: ["experimental"],
+};
+/**
+ * 契约状态存储 — 管理人工确认的契约状态变更
+ */
+export class ContractStateStore {
+    filePath;
+    overrides = [];
+    loaded = false;
+    constructor(stateDir) {
+        this.filePath = path.join(stateDir, "contract-state-overrides.json");
+        if (!fs.existsSync(stateDir)) {
+            fs.mkdirSync(stateDir, { recursive: true });
+        }
+    }
+    ensureLoaded() {
+        if (this.loaded)
+            return;
+        this.loaded = true;
+        try {
+            const data = fs.readFileSync(this.filePath, "utf-8");
+            this.overrides = safeJsonParse(data) ?? [];
+        }
+        catch {
+            this.overrides = [];
+        }
+    }
+    persist() {
+        const tmpPath = `${this.filePath}.tmp`;
+        fs.writeFileSync(tmpPath, JSON.stringify(this.overrides, null, 2));
+        fs.renameSync(tmpPath, this.filePath);
+    }
+    /** 获取契约的生效状态 */
+    getEffectiveState(contractId, defaultState) {
+        this.ensureLoaded();
+        let latest;
+        for (const o of this.overrides) {
+            if (o.contract_id === contractId)
+                latest = o;
+        }
+        return latest ? latest.new_state : defaultState;
+    }
+    /** 列出所有状态覆盖记录 */
+    list() {
+        this.ensureLoaded();
+        return this.overrides.map((o) => ({
+            ...o,
+            evidence_refs: [...o.evidence_refs],
+        }));
+    }
+    /** 校验契约状态更新请求 */
+    validate(request) {
+        const errors = [];
+        const entry = getContractById(request.contract_id);
+        const currentState = entry?.state ?? "draft";
+        if (!entry) {
+            errors.push(`contract_id ${request.contract_id} 不在 Unified Contract Registry 中`);
+        }
+        if (request.target_state === currentState) {
+            errors.push(`target_state (${request.target_state}) 与当前状态相同，无需变更`);
+        }
+        if (entry && request.target_state !== currentState) {
+            const allowed = VALID_CONTRACT_TRANSITIONS[currentState];
+            if (!allowed.includes(request.target_state)) {
+                errors.push(`${currentState} → ${request.target_state} 不是合法转移 (允许: ${allowed.join(", ")})`);
+            }
+        }
+        // evidence_refs 必须非空
+        if (request.evidence_refs.length === 0) {
+            errors.push("状态更新至少需要一个 evidence_ref");
+        }
+        // 人工确认必须
+        if (!request.confirm) {
+            errors.push("confirm=true 必须提供；契约状态变更需要人工确认");
+        }
+        if (!request.confirmed_by.trim()) {
+            errors.push("confirmed_by 不能为空");
+        }
+        if (!request.reason.trim()) {
+            errors.push("reason 不能为空");
+        }
+        // enforced 降级必须人工确认（已由 confirm 检查覆盖，但增加额外说明）
+        if (currentState === "enforced" && request.target_state !== "enforced" && !request.confirm) {
+            errors.push("enforced 契约降级/禁用必须人工确认");
+        }
+        // draft/advisory/experimental 不得自动晋级 enforced
+        if (request.target_state === "enforced" &&
+            (currentState === "draft" || currentState === "advisory" || currentState === "experimental")) {
+            // 允许但需要 evidence + confirmation
+            if (request.evidence_refs.length === 0) {
+                errors.push("晋级到 enforced 需要提供证据");
+            }
+        }
+        // deprecated/removed 必须有 replacement 或 migration_note
+        if (request.target_state === "deprecated" &&
+            !request.replacement_contract_id &&
+            !request.migration_note) {
+            errors.push("deprecated 状态更新必须提供 replacement_contract_id 或 migration_note");
+        }
+        if (request.target_state === "removed" &&
+            !request.migration_note) {
+            errors.push("removed 状态更新必须提供 migration_note");
+        }
+        const override = {
+            contract_id: request.contract_id,
+            previous_state: currentState,
+            new_state: request.target_state,
+            reason: request.reason,
+            evidence_refs: [...request.evidence_refs],
+            confirmed_by: request.confirmed_by,
+            updated_at: new Date().toISOString(),
+            replacement_contract_id: request.replacement_contract_id,
+            migration_note: request.migration_note,
+        };
+        return {
+            contract_id: request.contract_id,
+            previous_state: currentState,
+            new_state: request.target_state,
+            updated: false,
+            dry_run: request.dry_run,
+            validation_errors: errors,
+            override: errors.length === 0 ? override : null,
+        };
+    }
+    /** 校验并应用状态更新 */
+    apply(request) {
+        this.ensureLoaded();
+        const result = this.validate(request);
+        if (result.validation_errors.length > 0 || request.dry_run || !result.override) {
+            return result;
+        }
+        // 持久化覆盖记录
+        this.overrides.push(result.override);
+        this.persist();
+        // 更新运行时注册表（通过已校验的 override）
+        applyContractStateOverride(result.override);
+        return { ...result, updated: true };
+    }
+    /** 清空所有覆盖记录 */
+    clear() {
+        this.overrides = [];
+        this.loaded = true;
+        this.persist();
+    }
+}
+//# sourceMappingURL=contract_state_store.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract_state_store.js","sourceRoot":"","sources":["../../../src/engine/contracts/contract_state_store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAErF,MAAM,0BAA0B,GAAG,0BAA0B,EAAE,CAAC;AAEhE,kBAAkB;AAClB,MAAM,0BAA0B,GAA2C;IACzE,KAAK,EAAE,CAAC,UAAU,EAAE,cAAc,CAAC;IACnC,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,CAAC;IAC/D,QAAQ,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;IACpC,YAAY,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,CAAC;IACnD,UAAU,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;IACnC,OAAO,EAAE,CAAC,cAAc,CAAC;CAC1B,CAAC;AAuCF;;GAEG;AACH,MAAM,OAAO,kBAAkB;IACrB,QAAQ,CAAS;IACjB,SAAS,GAA4B,EAAE,CAAC;IACxC,MAAM,GAAG,KAAK,CAAC;IAEvB,YAAY,QAAgB;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,+BAA+B,CAAC,CAAC;QACrE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAEO,YAAY;QAClB,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS,GAAG,aAAa,CAA0B,IAAI,CAAC,IAAI,EAAE,CAAC;QACtE,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;QACtB,CAAC;IACH,CAAC;IAEO,OAAO;QACb,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,QAAQ,MAAM,CAAC;QACvC,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,gBAAgB;IAChB,iBAAiB,CAAC,UAAkB,EAAE,YAA2B;QAC/D,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,MAAyC,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,WAAW,KAAK,UAAU;gBAAE,MAAM,GAAG,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC;IAClD,CAAC;IAED,iBAAiB;IACjB,IAAI;QACF,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChC,GAAG,CAAC;YACJ,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC;SACpC,CAAC,CAAC,CAAC;IACN,CAAC;IAED,iBAAiB;IACjB,QAAQ,CAAC,OAAmC;QAC1C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACnD,MAAM,YAAY,GAAG,KAAK,EAAE,KAAK,IAAI,OAAO,CAAC;QAE7C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,CAAC,IAAI,CAAC,eAAe,OAAO,CAAC,WAAW,iCAAiC,CAAC,CAAC;QACnF,CAAC;QAED,IAAI,OAAO,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,YAAY,gBAAgB,CAAC,CAAC;QACrE,CAAC;QAED,IAAI,KAAK,IAAI,OAAO,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;YACnD,MAAM,OAAO,GAAG,0BAA0B,CAAC,YAAY,CAAC,CAAC;YACzD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC5C,MAAM,CAAC,IAAI,CACT,GAAG,YAAY,MAAM,OAAO,CAAC,YAAY,gBAAgB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC/E,CAAC;YACJ,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACzC,CAAC;QAED,SAAS;QACT,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAChD,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7B,CAAC;QAED,6CAA6C;QAC7C,IAAI,YAAY,KAAK,UAAU,IAAI,OAAO,CAAC,YAAY,KAAK,UAAU,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC3F,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACxC,CAAC;QAED,8CAA8C;QAC9C,IACE,OAAO,CAAC,YAAY,KAAK,UAAU;YACnC,CAAC,YAAY,KAAK,OAAO,IAAI,YAAY,KAAK,UAAU,IAAI,YAAY,KAAK,cAAc,CAAC,EAC5F,CAAC;YACD,gCAAgC;YAChC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,IACE,OAAO,CAAC,YAAY,KAAK,YAAY;YACrC,CAAC,OAAO,CAAC,uBAAuB;YAChC,CAAC,OAAO,CAAC,cAAc,EACvB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;QAC9E,CAAC;QAED,IACE,OAAO,CAAC,YAAY,KAAK,SAAS;YAClC,CAAC,OAAO,CAAC,cAAc,EACvB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,QAAQ,GAA0B;YACtC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,cAAc,EAAE,YAAY;YAC5B,SAAS,EAAE,OAAO,CAAC,YAAY;YAC/B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC;YACzC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACpC,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;YACxD,cAAc,EAAE,OAAO,CAAC,cAAc;SACvC,CAAC;QAEF,OAAO;YACL,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,cAAc,EAAE,YAAY;YAC5B,SAAS,EAAE,OAAO,CAAC,YAAY;YAC/B,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,iBAAiB,EAAE,MAAM;YACzB,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;SAChD,CAAC;IACJ,CAAC;IAED,gBAAgB;IAChB,KAAK,CAAC,OAAmC;QACvC,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAEtC,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC/E,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,UAAU;QACV,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,EAAE,CAAC;QAEf,4BAA4B;QAC5B,0BAA0B,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAE5C,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACtC,CAAC;IAED,eAAe;IACf,KAAK;QACH,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,OAAO,EAAE,CAAC;IACjB,CAAC;CACF"}