soloforge 1.1.2 → 1.1.31

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

@@ -0,0 +1 @@
+{"version":3,"file":"builtin_contracts_core_2.js","sourceRoot":"","sources":["../../../../src/engine/contracts/contract_registry/builtin_contracts_core_2.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,MAAM,CAAC,MAAM,wBAAwB,GAAqC;IACxE,iBAAiB;IACjB;QACE,WAAW,EAAE,iBAAiB;QAC9B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,gBAAgB,CAAC;QACxC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,0BAA0B,CAAC;KACpD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,0BAA0B;QACvC,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,oCAAoC;QACrD,WAAW,EAAE,CAAC,iDAAiD,CAAC;QAChE,UAAU,EAAE,CAAC,kDAAkD,CAAC;QAChE,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,kBAAkB,CAAC;QAC1C,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,kCAAkC,CAAC;KAC5D;IACD,oBAAoB;IACpB;QACE,WAAW,EAAE,uBAAuB;QACpC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,qBAAqB;QACtC,WAAW,EAAE,CAAC,qCAAqC,CAAC;QACpD,UAAU,EAAE,CAAC,mCAAmC,CAAC;QACjD,oBAAoB,EAAE,CAAC,mCAAmC,CAAC;QAC3D,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,mBAAmB,EAAE,gCAAgC,CAAC;QACpE,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,4BAA4B,CAAC;QACpD,mBAAmB,EAAE,CAAC,uBAAuB,CAAC;QAC9C,qBAAqB,EAAE,CAAC,uBAAuB,CAAC;QAChD,SAAS,EAAE,SAAS;QACpB,cAAc,EAAE,CAAC,wBAAwB,CAAC;KAC3C;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,6CAA6C,CAAC;QAC5D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,2BAA2B,CAAC;QACnD,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,6BAA6B,CAAC;KACvD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,8BAA8B;QAC/C,WAAW,EAAE,CAAC,+CAA+C,CAAC;QAC9D,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,eAAe,CAAC;QACvC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,4BAA4B,CAAC;KACtD;IACD,kBAAkB;IAClB;QACE,WAAW,EAAE,0BAA0B;QACvC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,yCAAyC,CAAC;QACxD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,6BAA6B,CAAC;QACrD,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,qBAAqB,EAAE,CAAC,0BAA0B,CAAC;KACpD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,EAAE,4BAA4B,CAAC;QACtE,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,uBAAuB,CAAC;QAC/C,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,wBAAwB,CAAC;KAClD;IACD,iBAAiB;IACjB;QACE,WAAW,EAAE,uBAAuB;QACpC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,8BAA8B;QAC/C,WAAW,EAAE,CAAC,+CAA+C,CAAC;QAC9D,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,WAAW,EAAE,CAAC,6BAA6B,CAAC;QAC5C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,+CAA+C,CAAC;QACvE,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,4BAA4B,CAAC;KACtD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,6BAA6B;QAC1C,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,2BAA2B;QAC5C,WAAW,EAAE,CAAC,wCAAwC,CAAC;QACvD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,uBAAuB,EAAE,4BAA4B,CAAC;QACnE,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,gBAAgB,CAAC;QACxC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,yBAAyB,CAAC;KACnD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,yBAAyB;QACtC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,uBAAuB;QACxC,WAAW,EAAE,CAAC,oCAAoC,CAAC;QACnD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,EAAE,2BAA2B,CAAC;QACrE,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,0BAA0B,CAAC;QAClD,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,qBAAqB,CAAC;KAC/C;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,oBAAoB;QACrC,WAAW,EAAE,CAAC,iCAAiC,CAAC;QAChD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,CAAC;QACxC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,kBAAkB,CAAC;KAC5C;IACD,oBAAoB;IACpB;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,wBAAwB;QACzC,WAAW,EAAE,CAAC,wCAAwC,CAAC;QACvD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,CAAC;QACxC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,kBAAkB,CAAC;QACzC,qBAAqB,EAAE,CAAC,sBAAsB,CAAC;KAChD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,wBAAwB;QACrC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,sBAAsB;QACvC,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,uCAAuC,CAAC;QAC/D,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,oBAAoB,CAAC;KAC9C;IACD,oBAAoB;IACpB;QACE,WAAW,EAAE,2BAA2B;QACxC,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,YAAY;QACnB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,2BAA2B,CAAC;QACnD,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,qBAAqB,EAAE,CAAC,gCAAgC,CAAC;QACzD,cAAc,EAAE,6DAA6D;KAC9E;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,gCAAgC;QAC7C,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,iCAAiC;QAClD,WAAW,EAAE,CAAC,kDAAkD,CAAC;QACjE,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,gBAAgB,CAAC;QACxC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,sBAAsB,CAAC;KAChD;CACO,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * 内置契约 — 扩展契约 (contracts 31–55)
+ *
+ * 保留策略、知识生命周期、知识演进、模板同步、适配器 Prompt、
+ * 文档治理、用户承诺、发布兼容、语言策略覆盖、中文语义优先、
+ * 扩展、平台兼容、治理动作、脑暴、细节纪律、第一性原理、
+ * 架构设计、现有系统分析、编码准备、本地验收、工作流模板包、
+ * 演进回归、Plan Proposal Gate、Core Experience Principle、
+ * Knowledge Asset Governance
+ */
+import type { ContractRegistryEntry } from "./types.js";
+export declare const BUILTIN_CONTRACTS_EXTENDED: readonly ContractRegistryEntry[];
+//# sourceMappingURL=builtin_contracts_extended.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"builtin_contracts_extended.d.ts","sourceRoot":"","sources":["../../../../src/engine/contracts/contract_registry/builtin_contracts_extended.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAExD,eAAO,MAAM,0BAA0B,EAAE,SAAS,qBAAqB,EAke7D,CAAC"}

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

@@ -0,0 +1,494 @@
+/**
+ * 内置契约 — 扩展契约 (contracts 31–55)
+ *
+ * 保留策略、知识生命周期、知识演进、模板同步、适配器 Prompt、
+ * 文档治理、用户承诺、发布兼容、语言策略覆盖、中文语义优先、
+ * 扩展、平台兼容、治理动作、脑暴、细节纪律、第一性原理、
+ * 架构设计、现有系统分析、编码准备、本地验收、工作流模板包、
+ * 演进回归、Plan Proposal Gate、Core Experience Principle、
+ * Knowledge Asset Governance
+ */
+export const BUILTIN_CONTRACTS_EXTENDED = [
+    // ── 31. 保留策略契约 ──
+    {
+        contract_id: "retention_policy_contract",
+        kind: "knowledge_evolution",
+        name: "保留策略契约",
+        state: "advisory",
+        owner_component: "engine/retention_policy",
+        owner_files: ["src/engine/retention_policy.ts"],
+        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
+        lifecycle_test_files: [],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: [],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: false,
+        promotion_conditions: ["所有记录类型有保留策略"],
+        demotion_conditions: ["清理策略删除仍被引用的 evidence"],
+        evidence_requirements: ["retention policy 测试通过"],
+    },
+    // ── 32. 知识生命周期契约（问题七） ──
+    {
+        contract_id: "knowledge_lifecycle_contract",
+        kind: "knowledge_lifecycle",
+        name: "知识生命周期契约",
+        state: "enforced",
+        owner_component: "engine/knowledge_lifecycle",
+        owner_files: ["src/engine/knowledge/knowledge_lifecycle.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["knowledge_evolution_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["知识生命周期状态机完整测试"],
+        demotion_conditions: ["知识生命周期产生误判"],
+        evidence_requirements: ["知识生命周期场景矩阵通过"],
+    },
+    // ── 33. 知识演进契约（问题十四） ──
+    {
+        contract_id: "knowledge_evolution_contract",
+        kind: "knowledge_evolution",
+        name: "知识演进契约",
+        state: "enforced",
+        owner_component: "engine/knowledge_evolution",
+        owner_files: ["src/engine/knowledge/knowledge_evolution.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["knowledge_lifecycle_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["Evidence-based promotion 有完整测试"],
+        demotion_conditions: ["知识演进产生误判"],
+        evidence_requirements: ["知识演进场景矩阵通过"],
+    },
+    // ── 34. 模板同步契约（问题二十五） ──
+    {
+        contract_id: "template_sync_contract",
+        kind: "template_sync",
+        name: "模板同步契约",
+        state: "enforced",
+        owner_component: "engine/template_sync",
+        owner_files: ["src/engine/templates/template_sync.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["knowledge_lifecycle_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["模板同步 dry-run/apply 有完整测试"],
+        demotion_conditions: ["模板同步产生误判"],
+        evidence_requirements: ["模板同步场景矩阵通过"],
+    },
+    // ── 35. 适配器 Prompt 契约（问题三十一） ──
+    {
+        contract_id: "adapter_prompt_contract_entry",
+        kind: "adapter_prompt",
+        name: "适配器 Prompt 契约",
+        state: "enforced",
+        owner_component: "engine/adapter_prompt_contract",
+        owner_files: ["src/engine/adapter_prompt_contract.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["tool_invocation_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["adapter prompt 验证有完整测试"],
+        demotion_conditions: ["adapter prompt 验证产生误判"],
+        evidence_requirements: ["adapter prompt 场景矩阵通过"],
+    },
+    // ── 36. 文档治理契约（问题二十一） ──
+    {
+        contract_id: "documentation_governance_contract",
+        kind: "documentation_governance",
+        name: "文档治理契约",
+        state: "enforced",
+        owner_component: "engine/documentation_governance",
+        owner_files: ["src/engine/knowledge/documentation_governance.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["contract_governance"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["文档治理有完整测试"],
+        demotion_conditions: ["文档治理产生误判"],
+        evidence_requirements: ["文档治理场景矩阵通过"],
+    },
+    // ── 37. 用户承诺契约（问题三十） ──
+    {
+        contract_id: "user_promise_contract",
+        kind: "user_promise",
+        name: "用户承诺契约",
+        state: "enforced",
+        owner_component: "engine/user_promise",
+        owner_files: ["src/engine/contracts/user_promise.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["documentation_governance_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["README 命令漂移检测有完整测试"],
+        demotion_conditions: ["用户承诺检测产生误判"],
+        evidence_requirements: ["用户承诺场景矩阵通过"],
+    },
+    // ── 38. 发布兼容契约（问题三十五） ──
+    {
+        contract_id: "release_compatibility_contract",
+        kind: "release_compatibility",
+        name: "发布兼容契约",
+        state: "enforced",
+        owner_component: "engine/release_compatibility",
+        owner_files: ["src/engine/knowledge/release_compatibility.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["template_sync_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["发布兼容有完整测试"],
+        demotion_conditions: ["发布兼容产生误判"],
+        evidence_requirements: ["发布兼容场景矩阵通过"],
+    },
+    // ── 39. 语言策略覆盖契约（问题四十一） ──
+    {
+        contract_id: "language_policy_override_contract",
+        kind: "language_policy",
+        name: "语言策略覆盖契约",
+        state: "enforced",
+        owner_component: "engine/language_policy",
+        owner_files: ["src/engine/knowledge/language_policy.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["language_policy_contract_entry"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["语言策略覆盖有完整测试"],
+        demotion_conditions: ["语言策略覆盖产生误判"],
+        evidence_requirements: ["语言策略覆盖场景矩阵通过"],
+    },
+    // ── 40. 中文语义优先契约（问题十） ──
+    {
+        contract_id: "chinese_semantic_priority_contract",
+        kind: "chinese_semantic",
+        name: "中文语义优先契约",
+        state: "enforced",
+        owner_component: "engine/chinese_semantic_priority",
+        owner_files: ["src/engine/knowledge/chinese_semantic_priority.ts"],
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["language_policy_override_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["中文语义优先有完整测试"],
+        demotion_conditions: ["中文语义优先产生误判"],
+        evidence_requirements: ["中文语义优先场景矩阵通过"],
+    },
+    // ── 41. 扩展契约（问题三十九） ──
+    {
+        contract_id: "extension_contract",
+        kind: "extension",
+        name: "扩展契约",
+        state: "enforced",
+        owner_component: "engine/extension_contract",
+        owner_files: ["src/engine/contracts/extension_contract.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["contract_governance"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["扩展生命周期、权限授权有完整测试"],
+        demotion_conditions: ["扩展契约产生误判"],
+        evidence_requirements: ["扩展契约场景矩阵通过"],
+    },
+    // ── 42. 平台兼容契约（问题四十） ──
+    {
+        contract_id: "platform_compatibility_contract",
+        kind: "platform_compatibility",
+        name: "平台兼容契约",
+        state: "enforced",
+        owner_component: "engine/platform_context",
+        owner_files: ["src/engine/contracts/platform_context.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["contract_governance"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["跨平台路径安全有完整测试"],
+        demotion_conditions: ["平台兼容产生误判"],
+        evidence_requirements: ["平台兼容场景矩阵通过"],
+    },
+    // ── 43. 治理动作契约（问题十九） ──
+    {
+        contract_id: "governance_action_contract",
+        kind: "governance_action",
+        name: "治理动作契约",
+        state: "enforced",
+        owner_component: "engine/metric_governance",
+        owner_files: ["src/engine/contracts/metric_governance.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["metric_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["治理动作绑定有完整测试"],
+        demotion_conditions: ["治理动作产生误判"],
+        evidence_requirements: ["治理动作场景矩阵通过"],
+    },
+    // ── 44. 脑暴契约（问题四十二 Brainstorm） ──
+    {
+        contract_id: "brainstorm_contract",
+        kind: "brainstorm",
+        name: "脑暴/方案探索契约",
+        state: "enforced",
+        owner_component: "engine/brainstorm_contract",
+        owner_files: ["src/engine/contracts/brainstorm_contract.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["technology_decision_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["脑暴会话完整性有测试"],
+        demotion_conditions: ["脑暴契约产生误判"],
+        evidence_requirements: ["脑暴契约场景矩阵通过"],
+    },
+    // ── 45. 细节纪律契约（问题二十六） ──
+    {
+        contract_id: "detail_discipline_contract",
+        kind: "detail_discipline",
+        name: "细节纪律契约",
+        state: "enforced",
+        owner_component: "engine/detail_discipline",
+        owner_files: ["src/engine/contracts/detail_discipline.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["contract_governance"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["细节纪律检查有完整测试"],
+        demotion_conditions: ["细节纪律产生误判"],
+        evidence_requirements: ["细节纪律场景矩阵通过"],
+    },
+    // ── 46. 第一性原理契约（问题二十七） ──
+    {
+        contract_id: "first_principles_contract",
+        kind: "first_principles",
+        name: "第一性原理契约",
+        state: "enforced",
+        owner_component: "engine/first_principles",
+        owner_files: ["src/engine/contracts/first_principles.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["contract_governance"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["第一性原理检查有完整测试"],
+        demotion_conditions: ["第一性原理产生误判"],
+        evidence_requirements: ["第一性原理场景矩阵通过"],
+    },
+    // ── 47. 架构设计契约（问题四十九） ──
+    {
+        contract_id: "architecture_design_contract_entry",
+        kind: "architecture_design",
+        name: "架构设计契约",
+        state: "enforced",
+        owner_component: "engine/architecture_design_contract",
+        owner_files: ["src/engine/contracts/architecture_design_contract.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["technology_decision_contract", "brainstorm_contract"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["架构设计审查有完整测试"],
+        demotion_conditions: ["架构设计产生误判"],
+        evidence_requirements: ["架构设计场景矩阵通过"],
+    },
+    // ── 48. 现有系统分析契约（问题五十） ──
+    {
+        contract_id: "existing_system_analysis_contract_entry",
+        kind: "existing_system_analysis",
+        name: "现有系统分析契约",
+        state: "enforced",
+        owner_component: "engine/existing_system_analysis",
+        owner_files: ["src/engine/contracts/existing_system_analysis.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["contract_governance"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["现有系统分析有完整测试"],
+        demotion_conditions: ["现有系统分析产生误判"],
+        evidence_requirements: ["现有系统分析场景矩阵通过"],
+    },
+    // ── 49. 编码准备契约（问题五十一） ──
+    {
+        contract_id: "coding_readiness_contract_entry",
+        kind: "coding_readiness",
+        name: "编码准备契约",
+        state: "enforced",
+        owner_component: "engine/coding_readiness_gate",
+        owner_files: ["src/engine/contracts/coding_readiness_gate.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["existing_system_analysis_contract_entry"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["编码准备门有完整测试"],
+        demotion_conditions: ["编码准备产生误判"],
+        evidence_requirements: ["编码准备场景矩阵通过"],
+    },
+    // ── 50. 本地验收契约（问题五十二） ──
+    {
+        contract_id: "local_acceptance_contract_entry",
+        kind: "local_acceptance",
+        name: "本地验收契约",
+        state: "enforced",
+        owner_component: "engine/local_docker_acceptance",
+        owner_files: ["src/engine/contracts/local_docker_acceptance.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["coding_readiness_contract_entry"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["本地验收有完整测试"],
+        demotion_conditions: ["本地验收产生误判"],
+        evidence_requirements: ["本地验收场景矩阵通过"],
+    },
+    // ── 51. 工作流模板包契约（问题五十三） ──
+    {
+        contract_id: "workflow_template_pack_contract_entry",
+        kind: "workflow_template_pack",
+        name: "工作流模板包契约",
+        state: "enforced",
+        owner_component: "engine/workflow_template_pack",
+        owner_files: ["src/engine/contracts/workflow_template_pack.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["architecture_design_contract_entry"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["模板包消费 pipeline 有完整测试"],
+        demotion_conditions: ["模板包产生误判"],
+        evidence_requirements: ["模板包场景矩阵通过"],
+    },
+    // ── 52. 演进回归契约（问题五十四） ──
+    {
+        contract_id: "evolution_regression_contract_entry",
+        kind: "evolution_regression",
+        name: "演进回归契约",
+        state: "enforced",
+        owner_component: "engine/evolution_regression_gate",
+        owner_files: ["src/engine/contracts/evolution_regression_gate.ts"],
+        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["contract_governance"],
+        consumed_by: ["main_path_integration_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["演进回归有完整测试"],
+        demotion_conditions: ["演进回归产生误判"],
+        evidence_requirements: ["演进回归场景矩阵通过"],
+    },
+    // ── 53. Plan Proposal First Gate 契约（问题五十五） ──
+    {
+        contract_id: "plan_proposal_gate_contract",
+        kind: "plan_proposal_gate",
+        name: "计划前置门契约",
+        state: "enforced",
+        owner_component: "engine/plan_proposal_gate",
+        owner_files: ["src/engine/pipeline/plan_proposal_gate.ts"],
+        test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["task_context_contract", "workflow_contract"],
+        consumed_by: ["core_experience_principle_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["PlanProposalFirstGate 场景A 通过"],
+        demotion_conditions: ["Plan Gate 产生大量误报"],
+        evidence_requirements: ["evaluatePlanProposalGate 无 hard_fail", "场景 A must-fail 全部触发"],
+    },
+    // ── 54. Core Experience Principle 契约（问题五十六） ──
+    {
+        contract_id: "core_experience_principle_contract",
+        kind: "core_experience_principle",
+        name: "核心体验原则契约",
+        state: "enforced",
+        owner_component: "engine/core_experience_principle",
+        owner_files: ["src/engine/audit/core_experience_principle.ts"],
+        test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["plan_proposal_gate_contract", "verification_contract", "failure_report_contract"],
+        consumed_by: ["knowledge_asset_governance_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["CoreExperiencePrincipleEvaluation 场景B 通过"],
+        demotion_conditions: ["体验原则检查产生大量误报"],
+        evidence_requirements: ["evaluateCoreExperiencePrinciple 无 hard_fail", "场景 B must-fail 全部触发"],
+    },
+    // ── 55. Knowledge Asset Governance 契约（问题五十七） ──
+    {
+        contract_id: "knowledge_asset_governance_contract",
+        kind: "knowledge_asset_governance",
+        name: "知识资产治理契约",
+        state: "enforced",
+        owner_component: "engine/knowledge_asset_schema",
+        owner_files: [
+            "src/engine/knowledge/knowledge_asset_schema.ts",
+            "src/engine/knowledge/knowledge_asset_audit.ts",
+            "src/engine/knowledge/knowledge_consumption_snapshot.ts",
+            "src/engine/knowledge/knowledge_asset_generation_gate.ts",
+            "src/engine/knowledge/knowledge_asset_migration.ts",
+        ],
+        test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        lifecycle_test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        knowledge_refs: [],
+        prompt_refs: [],
+        depends_on: ["knowledge_lifecycle_contract", "template_sync_contract", "release_compatibility_contract"],
+        consumed_by: ["core_experience_principle_contract"],
+        hard_fail_allowed: true,
+        promotion_conditions: ["KnowledgeAssetAudit 通过", "KnowledgeConsumptionSnapshot 完整"],
+        demotion_conditions: ["知识资产审计产生大量误报"],
+        evidence_requirements: ["validateKnowledgeAssets 无 hard_fail", "场景 C must-fail 全部触发", "消费快照包含 indexed/injected/filtered/degraded/conflict_resolutions"],
+    },
+];
+//# sourceMappingURL=builtin_contracts_extended.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"builtin_contracts_extended.js","sourceRoot":"","sources":["../../../../src/engine/contracts/contract_registry/builtin_contracts_extended.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,CAAC,MAAM,0BAA0B,GAAqC;IAC1E,mBAAmB;IACnB;QACE,WAAW,EAAE,2BAA2B;QACxC,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,yBAAyB;QAC1C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,sBAAsB,CAAC;QAC7C,qBAAqB,EAAE,CAAC,uBAAuB,CAAC;KACjD;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,6CAA6C,CAAC;QAC5D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,eAAe,CAAC;QACvC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,cAAc,CAAC;KACxC;IACD,yBAAyB;IACzB;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,6CAA6C,CAAC;QAC5D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,gCAAgC,CAAC;QACxD,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,wBAAwB;QACrC,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,sBAAsB;QACvC,WAAW,EAAE,CAAC,uCAAuC,CAAC;QACtD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,0BAA0B,CAAC;QAClD,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,iCAAiC;IACjC;QACE,WAAW,EAAE,+BAA+B;QAC5C,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,eAAe;QACrB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,gCAAgC;QACjD,WAAW,EAAE,CAAC,uCAAuC,CAAC;QACtD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,CAAC;QACxC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,wBAAwB,CAAC;QAChD,mBAAmB,EAAE,CAAC,uBAAuB,CAAC;QAC9C,qBAAqB,EAAE,CAAC,uBAAuB,CAAC;KACjD;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,mCAAmC;QAChD,IAAI,EAAE,0BAA0B;QAChC,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,iCAAiC;QAClD,WAAW,EAAE,CAAC,kDAAkD,CAAC;QACjE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,yBAAyB;IACzB;QACE,WAAW,EAAE,uBAAuB;QACpC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,qBAAqB;QACtC,WAAW,EAAE,CAAC,sCAAsC,CAAC;QACrD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,mCAAmC,CAAC;QACjD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,oBAAoB,CAAC;QAC5C,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,gCAAgC;QAC7C,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,8BAA8B;QAC/C,WAAW,EAAE,CAAC,+CAA+C,CAAC;QAC9D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,4BAA4B;IAC5B;QACE,WAAW,EAAE,mCAAmC;QAChD,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,wBAAwB;QACzC,WAAW,EAAE,CAAC,yCAAyC,CAAC;QACxD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,cAAc,CAAC;KACxC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,oCAAoC;QACjD,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,kCAAkC;QACnD,WAAW,EAAE,CAAC,mDAAmD,CAAC;QAClE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,mCAAmC,CAAC;QACjD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,cAAc,CAAC;KACxC;IACD,wBAAwB;IACxB;QACE,WAAW,EAAE,oBAAoB;QACjC,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,2BAA2B;QAC5C,WAAW,EAAE,CAAC,4CAA4C,CAAC;QAC3D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,kBAAkB,CAAC;QAC1C,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,yBAAyB;IACzB;QACE,WAAW,EAAE,iCAAiC;QAC9C,IAAI,EAAE,wBAAwB;QAC9B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,yBAAyB;QAC1C,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,cAAc,CAAC;QACtC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,yBAAyB;IACzB;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,iBAAiB,CAAC;QAC/B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,mCAAmC;IACnC;QACE,WAAW,EAAE,qBAAqB;QAClC,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,6CAA6C,CAAC;QAC5D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,YAAY,CAAC;QACpC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,2BAA2B;IAC3B;QACE,WAAW,EAAE,2BAA2B;QACxC,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,yBAAyB;QAC1C,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,cAAc,CAAC;QACtC,mBAAmB,EAAE,CAAC,WAAW,CAAC;QAClC,qBAAqB,EAAE,CAAC,aAAa,CAAC;KACvC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,oCAAoC;QACjD,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,qCAAqC;QACtD,WAAW,EAAE,CAAC,sDAAsD,CAAC;QACrE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,EAAE,qBAAqB,CAAC;QACnE,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,2BAA2B;IAC3B;QACE,WAAW,EAAE,yCAAyC;QACtD,IAAI,EAAE,0BAA0B;QAChC,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,iCAAiC;QAClD,WAAW,EAAE,CAAC,kDAAkD,CAAC;QACjE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,cAAc,CAAC;KACxC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,iCAAiC;QAC9C,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,8BAA8B;QAC/C,WAAW,EAAE,CAAC,+CAA+C,CAAC;QAC9D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,yCAAyC,CAAC;QACvD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,YAAY,CAAC;QACpC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,iCAAiC;QAC9C,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,gCAAgC;QACjD,WAAW,EAAE,CAAC,iDAAiD,CAAC;QAChE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,4BAA4B;IAC5B;QACE,WAAW,EAAE,uCAAuC;QACpD,IAAI,EAAE,wBAAwB;QAC9B,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,+BAA+B;QAChD,WAAW,EAAE,CAAC,gDAAgD,CAAC;QAC/D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,oCAAoC,CAAC;QAClD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,sBAAsB,CAAC;QAC9C,mBAAmB,EAAE,CAAC,SAAS,CAAC;QAChC,qBAAqB,EAAE,CAAC,WAAW,CAAC;KACrC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,qCAAqC;QAClD,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,kCAAkC;QACnD,WAAW,EAAE,CAAC,mDAAmD,CAAC;QAClE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,+CAA+C;IAC/C;QACE,WAAW,EAAE,6BAA6B;QAC1C,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,2BAA2B;QAC5C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,CAAC;QAC1D,WAAW,EAAE,CAAC,oCAAoC,CAAC;QACnD,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,8BAA8B,CAAC;QACtD,mBAAmB,EAAE,CAAC,kBAAkB,CAAC;QACzC,qBAAqB,EAAE,CAAC,sCAAsC,EAAE,qBAAqB,CAAC;KACvF;IACD,gDAAgD;IAChD;QACE,WAAW,EAAE,oCAAoC;QACjD,IAAI,EAAE,2BAA2B;QACjC,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,kCAAkC;QACnD,WAAW,EAAE,CAAC,+CAA+C,CAAC;QAC9D,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,6BAA6B,EAAE,uBAAuB,EAAE,yBAAyB,CAAC;QAC/F,WAAW,EAAE,CAAC,qCAAqC,CAAC;QACpD,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,0CAA0C,CAAC;QAClE,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,6CAA6C,EAAE,qBAAqB,CAAC;KAC9F;IACD,iDAAiD;IACjD;QACE,WAAW,EAAE,qCAAqC;QAClD,IAAI,EAAE,4BAA4B;QAClC,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,+BAA+B;QAChD,WAAW,EAAE;YACX,gDAAgD;YAChD,+CAA+C;YAC/C,wDAAwD;YACxD,yDAAyD;YACzD,mDAAmD;SACpD;QACD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,EAAE,wBAAwB,EAAE,gCAAgC,CAAC;QACxG,WAAW,EAAE,CAAC,oCAAoC,CAAC;QACnD,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,wBAAwB,EAAE,iCAAiC,CAAC;QACnF,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,qCAAqC,EAAE,qBAAqB,EAAE,gEAAgE,CAAC;KACxJ;CACO,CAAC"}

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

@@ -0,0 +1,8 @@
+/**
+ * 统一契约注册表 — 公共 API 重新导出
+ *
+ * 所有消费者应从此模块导入，保持与原始 contract_registry.ts 完全兼容的 API。
+ */
+export type { ContractKind, ContractState, ContractRegistryEntry, ContractGovernanceFinding, ContractRegistrySummary, } from "./types.js";
+export { getAllContracts, getContractById, getContractByPolicyId, listContractsByKind, listContractsByState, listContracts, getContractRegistrySummary, canContractHardFail, runtimeHardFailGate, validateContractRegistry, validateWorkflowContractRefs, registerContract, createContractStateApplier, resetRegistry, getPolicyToContractMapping, } from "./registry.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/engine/contracts/contract_registry/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,YAAY,EACV,YAAY,EACZ,aAAa,EACb,qBAAqB,EACrB,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,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,eAAe,CAAC"}

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

@@ -0,0 +1,7 @@
+/**
+ * 统一契约注册表 — 公共 API 重新导出
+ *
+ * 所有消费者应从此模块导入，保持与原始 contract_registry.ts 完全兼容的 API。
+ */
+export { getAllContracts, getContractById, getContractByPolicyId, listContractsByKind, listContractsByState, listContracts, getContractRegistrySummary, canContractHardFail, runtimeHardFailGate, validateContractRegistry, validateWorkflowContractRefs, registerContract, createContractStateApplier, resetRegistry, getPolicyToContractMapping, } from "./registry.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/engine/contracts/contract_registry/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;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,eAAe,CAAC"}

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

@@ -0,0 +1,61 @@
+/**
+ * 统一契约注册表 — 运行时注册表、查询、动态注册
+ *
+ * 问题二十 (Unified Contract Registry) 核心实现:
+ * - 统一登记 workflow、guard、verification、delivery、failure、degradation、
+ *   metric、language_policy 等所有核心契约
+ * - contract_id 作为一等治理身份
+ * - policy_id 到 contract_id 的映射
+ * - Runtime hard fail gating
+ *
+ * Capability Registry 保留为能力状态事实源，此表覆盖更广泛的契约类型。
+ */
+import type { ContractKind, ContractState, ContractRegistryEntry, ContractRegistrySummary } from "./types.js";
+export type { ContractKind, ContractState, ContractRegistryEntry, ContractGovernanceFinding, ContractRegistrySummary, } from "./types.js";
+export { validateContractRegistry, validateWorkflowContractRefs } from "./validation.js";
+export { resetRegistry } from "./registry_internal.js";
+/** 获取所有契约条目 */
+export declare function getAllContracts(): ContractRegistryEntry[];
+/** 按 contract_id 获取 */
+export declare function getContractById(id: string): ContractRegistryEntry | undefined;
+/** 按 policy_id 查找对应 contract_id */
+export declare function getContractByPolicyId(policyId: string): ContractRegistryEntry | undefined;
+/** 按类型列出契约 */
+export declare function listContractsByKind(kind: ContractKind): ContractRegistryEntry[];
+/** 按状态列出契约 */
+export declare function listContractsByState(state: ContractState): ContractRegistryEntry[];
+/** 列出所有契约 */
+export declare function listContracts(): ContractRegistryEntry[];
+/** 注册表汇总统计 */
+export declare function getContractRegistrySummary(): ContractRegistrySummary;
+/**
+ * 判断契约是否允许 hard fail。
+ * 只有 state=enforced 且 hard_fail_allowed=true 的契约才能阻断。
+ */
+export declare function canContractHardFail(contractId: string): boolean;
+/**
+ * Runtime hard fail gate — 未登记的契约不得 hard fail。
+ * 用于运行时检查 workflow 是否引用了合法的 guard/verification/failure 契约。
+ */
+export declare function runtimeHardFailGate(contractId: string, context: "workflow" | "prompt" | "consumed_by"): {
+    allowed: boolean;
+    reason: string;
+};
+/** 注册新契约（运行时） */
+export declare function registerContract(entry: ContractRegistryEntry): {
+    success: boolean;
+    error?: string;
+};
+/** 工厂函数: 返回 applyContractStateOverride 闭包引用，仅供 ContractStateStore 使用 */
+export declare function createContractStateApplier(): (override: {
+    contract_id: string;
+    new_state: ContractState;
+    replacement_contract_id?: string;
+    migration_note?: string;
+}) => void;
+/** 获取所有 policy_id → contract_id 映射 */
+export declare function getPolicyToContractMapping(): Array<{
+    policy_id: string;
+    contract_id: string;
+}>;
+//# sourceMappingURL=registry.d.ts.map