soloforge 1.2.19 → 1.2.20

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (102) hide show
  1. package/dist/adapters/claude_code/tools.d.ts.map +1 -1
  2. package/dist/adapters/claude_code/tools.js +159 -1
  3. package/dist/adapters/claude_code/tools.js.map +1 -1
  4. package/dist/adapters/trae/trae_config.d.ts +1 -1
  5. package/dist/adapters/trae/trae_config.d.ts.map +1 -1
  6. package/dist/adapters/trae/trae_config.js +1 -1
  7. package/dist/adapters/trae/trae_config.js.map +1 -1
  8. package/dist/engine/audit_pool.d.ts.map +1 -1
  9. package/dist/engine/audit_pool.js +1 -0
  10. package/dist/engine/audit_pool.js.map +1 -1
  11. package/dist/engine/contract_registry.d.ts +113 -0
  12. package/dist/engine/contract_registry.d.ts.map +1 -0
  13. package/dist/engine/contract_registry.js +1159 -0
  14. package/dist/engine/contract_registry.js.map +1 -0
  15. package/dist/engine/contract_state_store.d.ts +67 -0
  16. package/dist/engine/contract_state_store.d.ts.map +1 -0
  17. package/dist/engine/contract_state_store.js +167 -0
  18. package/dist/engine/contract_state_store.js.map +1 -0
  19. package/dist/engine/debugger.d.ts.map +1 -1
  20. package/dist/engine/debugger.js +30 -1
  21. package/dist/engine/debugger.js.map +1 -1
  22. package/dist/engine/degradation.d.ts +58 -0
  23. package/dist/engine/degradation.d.ts.map +1 -0
  24. package/dist/engine/degradation.js +74 -0
  25. package/dist/engine/degradation.js.map +1 -0
  26. package/dist/engine/delivery_readiness.d.ts +66 -0
  27. package/dist/engine/delivery_readiness.d.ts.map +1 -0
  28. package/dist/engine/delivery_readiness.js +176 -0
  29. package/dist/engine/delivery_readiness.js.map +1 -0
  30. package/dist/engine/deprecated_contract.d.ts +21 -0
  31. package/dist/engine/deprecated_contract.d.ts.map +1 -0
  32. package/dist/engine/deprecated_contract.js +14 -0
  33. package/dist/engine/deprecated_contract.js.map +1 -0
  34. package/dist/engine/diagnostic_registry.d.ts +64 -0
  35. package/dist/engine/diagnostic_registry.d.ts.map +1 -0
  36. package/dist/engine/diagnostic_registry.js +176 -0
  37. package/dist/engine/diagnostic_registry.js.map +1 -0
  38. package/dist/engine/enforcement_guard.d.ts +84 -0
  39. package/dist/engine/enforcement_guard.d.ts.map +1 -0
  40. package/dist/engine/enforcement_guard.js +305 -0
  41. package/dist/engine/enforcement_guard.js.map +1 -0
  42. package/dist/engine/failure_report.d.ts +74 -0
  43. package/dist/engine/failure_report.d.ts.map +1 -0
  44. package/dist/engine/failure_report.js +143 -0
  45. package/dist/engine/failure_report.js.map +1 -0
  46. package/dist/engine/governance_report.d.ts +9 -1
  47. package/dist/engine/governance_report.d.ts.map +1 -1
  48. package/dist/engine/governance_report.js +16 -2
  49. package/dist/engine/governance_report.js.map +1 -1
  50. package/dist/engine/implementation_roadmap_registry.d.ts +1 -1
  51. package/dist/engine/implementation_roadmap_registry.d.ts.map +1 -1
  52. package/dist/engine/implementation_roadmap_registry.js +32 -24
  53. package/dist/engine/implementation_roadmap_registry.js.map +1 -1
  54. package/dist/engine/knowledge_lifecycle.d.ts +23 -0
  55. package/dist/engine/knowledge_lifecycle.d.ts.map +1 -0
  56. package/dist/engine/knowledge_lifecycle.js +13 -0
  57. package/dist/engine/knowledge_lifecycle.js.map +1 -0
  58. package/dist/engine/language_policy.d.ts +21 -0
  59. package/dist/engine/language_policy.d.ts.map +1 -0
  60. package/dist/engine/language_policy.js +18 -0
  61. package/dist/engine/language_policy.js.map +1 -0
  62. package/dist/engine/language_policy_contract.d.ts +52 -0
  63. package/dist/engine/language_policy_contract.d.ts.map +1 -0
  64. package/dist/engine/language_policy_contract.js +78 -0
  65. package/dist/engine/language_policy_contract.js.map +1 -0
  66. package/dist/engine/mechanism_family_registry.d.ts +48 -0
  67. package/dist/engine/mechanism_family_registry.d.ts.map +1 -0
  68. package/dist/engine/mechanism_family_registry.js +197 -0
  69. package/dist/engine/mechanism_family_registry.js.map +1 -0
  70. package/dist/engine/policy_drift_detector.d.ts +20 -0
  71. package/dist/engine/policy_drift_detector.d.ts.map +1 -1
  72. package/dist/engine/policy_drift_detector.js +79 -0
  73. package/dist/engine/policy_drift_detector.js.map +1 -1
  74. package/dist/engine/retention_policy.d.ts +46 -0
  75. package/dist/engine/retention_policy.d.ts.map +1 -0
  76. package/dist/engine/retention_policy.js +124 -0
  77. package/dist/engine/retention_policy.js.map +1 -0
  78. package/dist/engine/state_update_bypass.d.ts +19 -0
  79. package/dist/engine/state_update_bypass.d.ts.map +1 -0
  80. package/dist/engine/state_update_bypass.js +17 -0
  81. package/dist/engine/state_update_bypass.js.map +1 -0
  82. package/dist/engine/task_context.d.ts.map +1 -1
  83. package/dist/engine/task_context.js +8 -0
  84. package/dist/engine/task_context.js.map +1 -1
  85. package/dist/engine/test_strategy.d.ts +58 -0
  86. package/dist/engine/test_strategy.d.ts.map +1 -0
  87. package/dist/engine/test_strategy.js +93 -0
  88. package/dist/engine/test_strategy.js.map +1 -0
  89. package/dist/engine/tool_invocation_contract_registry.d.ts.map +1 -1
  90. package/dist/engine/tool_invocation_contract_registry.js +11 -1
  91. package/dist/engine/tool_invocation_contract_registry.js.map +1 -1
  92. package/dist/engine/verification_contract.d.ts +132 -0
  93. package/dist/engine/verification_contract.d.ts.map +1 -0
  94. package/dist/engine/verification_contract.js +296 -0
  95. package/dist/engine/verification_contract.js.map +1 -0
  96. package/dist/engine/workspace_lease.d.ts +69 -0
  97. package/dist/engine/workspace_lease.d.ts.map +1 -0
  98. package/dist/engine/workspace_lease.js +153 -0
  99. package/dist/engine/workspace_lease.js.map +1 -0
  100. package/dist/types.d.ts +13 -1
  101. package/dist/types.d.ts.map +1 -1
  102. package/package.json +3 -2
@@ -1 +1 @@
1
- {"version":3,"file":"audit_pool.js","sourceRoot":"","sources":["../../src/engine/audit_pool.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AA6B7B,gBAAgB;AAChB,MAAM,eAAe,GAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAE3E,oBAAoB;AACpB,SAAS,WAAW;IAClB,OAAO,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAA8B,CAAC;AAC7F,CAAC;AAED,2BAA2B;AAC3B,SAAS,YAAY,CAAC,IAAe;IACnC,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,aAAa,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC;QACtC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,eAAe,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC;QAC1C,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;AACJ,CAAC;AAED,4BAA4B;AAC5B,MAAM,OAAO,SAAS;IACZ,QAAQ,CAAS;IACjB,KAAK,GAAgB,EAAE,CAAC;IACxB,MAAM,GAAG,KAAK,CAAC;IAEvB;;;OAGG;IACH,YAAY,QAAgB;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QACvD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,+BAA+B,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjE,CAAC;IAED,iBAAiB;IACT,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,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAgB,CAAC;QAC/C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,CAAC,0CAA0C,EAAE,CAAC,CAAC,CAAC;YAC7D,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAClB,CAAC;IACH,CAAC;IAED,uBAAuB;IACf,OAAO;QACb,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,QAAQ,MAAM,CAAC;QACvC,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,IAAe;QACpB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,iCAAiC,IAAI,CAAC,OAAO,UAAU,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACpF,CAAC;IAED;;;;;;OAMG;IACH,IAAI,CAAC,MAAsD;QACzD,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;YACjB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,MAAM,EAAE,cAAc,EAAE,CAAC;YAC3B,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAe,CAAC,CAAC,CAAC;QACpF,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC;IAED;;;OAGG;IACH,KAAK;QACH,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;IAC/C,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC5C,CAAC;IAED;;;OAGG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;CACF"}
1
+ {"version":3,"file":"audit_pool.js","sourceRoot":"","sources":["../../src/engine/audit_pool.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AA6B7B,gBAAgB;AAChB,MAAM,eAAe,GAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAE3E,oBAAoB;AACpB,SAAS,WAAW;IAClB,OAAO,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAA8B,CAAC;AAC7F,CAAC;AAED,2BAA2B;AAC3B,SAAS,YAAY,CAAC,IAAe;IACnC,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,aAAa,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC;QACtC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,eAAe,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC;QAC1C,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;AACJ,CAAC;AAED,4BAA4B;AAC5B,MAAM,OAAO,SAAS;IACZ,QAAQ,CAAS;IACjB,KAAK,GAAgB,EAAE,CAAC;IACxB,MAAM,GAAG,KAAK,CAAC;IAEvB;;;OAGG;IACH,YAAY,QAAgB;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QACvD,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;QACD,OAAO,CAAC,KAAK,CAAC,+BAA+B,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjE,CAAC;IAED,iBAAiB;IACT,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,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAgB,CAAC;QAC/C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,CAAC,0CAA0C,EAAE,CAAC,CAAC,CAAC;YAC7D,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAClB,CAAC;IACH,CAAC;IAED,uBAAuB;IACf,OAAO;QACb,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,QAAQ,MAAM,CAAC;QACvC,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,IAAe;QACpB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,iCAAiC,IAAI,CAAC,OAAO,UAAU,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACpF,CAAC;IAED;;;;;;OAMG;IACH,IAAI,CAAC,MAAsD;QACzD,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;YACjB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,MAAM,EAAE,cAAc,EAAE,CAAC;YAC3B,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAe,CAAC,CAAC,CAAC;QACpF,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC;IAED;;;OAGG;IACH,KAAK;QACH,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;IAC/C,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC5C,CAAC;IAED;;;OAGG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;CACF"}
@@ -0,0 +1,113 @@
1
+ /**
2
+ * 统一契约注册表 — 将治理对象从 capability 扩展到多 kind contract。
3
+ *
4
+ * 问题二十 (Unified Contract Registry) 核心实现:
5
+ * - 统一登记 workflow、guard、verification、delivery、failure、degradation、
6
+ * metric、language_policy 等所有核心契约
7
+ * - contract_id 作为一等治理身份
8
+ * - policy_id 到 contract_id 的映射
9
+ * - 契约状态门控、漂移检测、依赖校验、证据校验
10
+ * - Runtime hard fail gating
11
+ *
12
+ * Capability Registry 保留为能力状态事实源,此表覆盖更广泛的契约类型。
13
+ */
14
+ export type ContractKind = "capability" | "mechanism_family" | "workflow" | "guard" | "knowledge_injection" | "verification" | "delivery" | "failure" | "degradation" | "metric" | "language_policy" | "technology_decision" | "task_context" | "knowledge_evolution";
15
+ export type ContractState = "draft" | "advisory" | "enforced" | "experimental" | "deprecated" | "removed";
16
+ export interface ContractRegistryEntry {
17
+ contract_id: string;
18
+ kind: ContractKind;
19
+ name: string;
20
+ state: ContractState;
21
+ owner_component: string;
22
+ owner_files: string[];
23
+ test_files: string[];
24
+ lifecycle_test_files: string[];
25
+ knowledge_refs: string[];
26
+ prompt_refs: string[];
27
+ depends_on: string[];
28
+ consumed_by: string[];
29
+ hard_fail_allowed: boolean;
30
+ promotion_conditions: string[];
31
+ demotion_conditions: string[];
32
+ evidence_requirements: string[];
33
+ /** 关联的 policy_id(来自 Capability Registry) */
34
+ policy_id?: string;
35
+ /** 关联的 capability ID 列表 */
36
+ capability_ids?: string[];
37
+ /** 替代契约 ID(deprecated 时必填) */
38
+ replacement_contract_id?: string;
39
+ /** 迁移说明(deprecated 时必填) */
40
+ migration_note?: string;
41
+ }
42
+ export interface ContractGovernanceFinding {
43
+ contract_id: string;
44
+ kind: ContractKind;
45
+ severity: "hard_fail" | "warning" | "advisory";
46
+ rule: string;
47
+ message_zh: string;
48
+ evidence_refs: string[];
49
+ }
50
+ export interface ContractRegistrySummary {
51
+ total: number;
52
+ by_kind: Record<ContractKind, number>;
53
+ by_state: Record<ContractState, number>;
54
+ can_hard_fail: string[];
55
+ cannot_hard_fail: string[];
56
+ }
57
+ /** 获取所有契约条目 */
58
+ export declare function getAllContracts(): ContractRegistryEntry[];
59
+ /** 按 contract_id 获取 */
60
+ export declare function getContractById(id: string): ContractRegistryEntry | undefined;
61
+ /** 按 policy_id 查找对应 contract_id */
62
+ export declare function getContractByPolicyId(policyId: string): ContractRegistryEntry | undefined;
63
+ /** 按类型列出契约 */
64
+ export declare function listContractsByKind(kind: ContractKind): ContractRegistryEntry[];
65
+ /** 按状态列出契约 */
66
+ export declare function listContractsByState(state: ContractState): ContractRegistryEntry[];
67
+ /** 列出所有契约 */
68
+ export declare function listContracts(): ContractRegistryEntry[];
69
+ /** 注册表汇总统计 */
70
+ export declare function getContractRegistrySummary(): ContractRegistrySummary;
71
+ /**
72
+ * 判断契约是否允许 hard fail。
73
+ * 只有 state=enforced 且 hard_fail_allowed=true 的契约才能阻断。
74
+ */
75
+ export declare function canContractHardFail(contractId: string): boolean;
76
+ /**
77
+ * Runtime hard fail gate — 未登记的契约不得 hard fail。
78
+ * 用于运行时检查 workflow 是否引用了合法的 guard/verification/failure 契约。
79
+ */
80
+ export declare function runtimeHardFailGate(contractId: string, context: "workflow" | "prompt" | "consumed_by"): {
81
+ allowed: boolean;
82
+ reason: string;
83
+ };
84
+ /**
85
+ * 验证契约注册表完整性。
86
+ * 检查: 唯一性、字段完整性、文件存在、状态约束、依赖存在性、capability 冲突等。
87
+ */
88
+ export declare function validateContractRegistry(existingFiles?: Set<string>): ContractGovernanceFinding[];
89
+ /**
90
+ * 验证 workflow 引用的契约是否合法。
91
+ * workflow 引用不存在、removed 或非法 deprecated contract 必须 blocked。
92
+ */
93
+ export declare function validateWorkflowContractRefs(workflowId: string, referencedContractIds: string[]): ContractGovernanceFinding[];
94
+ /** 注册新契约(运行时) */
95
+ export declare function registerContract(entry: ContractRegistryEntry): {
96
+ success: boolean;
97
+ error?: string;
98
+ };
99
+ /** 工厂函数: 返回 applyContractStateOverride 闭包引用,仅供 ContractStateStore 使用 */
100
+ export declare function createContractStateApplier(): (override: {
101
+ contract_id: string;
102
+ new_state: ContractState;
103
+ replacement_contract_id?: string;
104
+ migration_note?: string;
105
+ }) => void;
106
+ /** 重置运行时注册表为内置契约(用于测试清理) */
107
+ export declare function resetRegistry(): void;
108
+ /** 获取所有 policy_id → contract_id 映射 */
109
+ export declare function getPolicyToContractMapping(): Array<{
110
+ policy_id: string;
111
+ contract_id: string;
112
+ }>;
113
+ //# sourceMappingURL=contract_registry.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"contract_registry.d.ts","sourceRoot":"","sources":["../../src/engine/contract_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,kBAAkB,GAClB,UAAU,GACV,OAAO,GACP,qBAAqB,GACrB,cAAc,GACd,UAAU,GACV,SAAS,GACT,aAAa,GACb,QAAQ,GACR,iBAAiB,GACjB,qBAAqB,GACrB,cAAc,GACd,qBAAqB,CAAC;AAE1B,MAAM,MAAM,aAAa,GACrB,OAAO,GACP,UAAU,GACV,UAAU,GACV,cAAc,GACd,YAAY,GACZ,SAAS,CAAC;AAEd,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,aAAa,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,4CAA4C;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2BAA2B;IAC3B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,8BAA8B;IAC9B,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,2BAA2B;IAC3B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,yBAAyB;IACxC,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACxC,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AA8oBD,eAAe;AACf,wBAAgB,eAAe,IAAI,qBAAqB,EAAE,CAEzD;AAED,uBAAuB;AACvB,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,qBAAqB,GAAG,SAAS,CAG7E;AAED,mCAAmC;AACnC,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,qBAAqB,GAAG,SAAS,CAKzF;AAED,cAAc;AACd,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,YAAY,GAAG,qBAAqB,EAAE,CAI/E;AAED,cAAc;AACd,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,qBAAqB,EAAE,CAIlF;AAED,aAAa;AACb,wBAAgB,aAAa,IAAI,qBAAqB,EAAE,CAEvD;AAED,cAAc;AACd,wBAAgB,0BAA0B,IAAI,uBAAuB,CAiCpE;AAID;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAI/D;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,UAAU,GAAG,QAAQ,GAAG,aAAa,GAC7C;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAuDtC;AAID;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAC1B,yBAAyB,EAAE,CA0P7B;AA4CD;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,MAAM,EAClB,qBAAqB,EAAE,MAAM,EAAE,GAC9B,yBAAyB,EAAE,CA4D7B;AAID,iBAAiB;AACjB,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAOnG;AA2BD,wEAAwE;AACxE,wBAAgB,0BAA0B,IAAI,CAAC,QAAQ,EAAE;IACvD,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,aAAa,CAAC;IACzB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,KAAK,IAAI,CAET;AAED,4BAA4B;AAC5B,wBAAgB,aAAa,IAAI,IAAI,CAEpC;AAED,sCAAsC;AACtC,wBAAgB,0BAA0B,IAAI,KAAK,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,CAQ9F"}