soloforge 1.1.45 → 1.1.46

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 (269) hide show
  1. package/README.md +3 -3
  2. package/dist/context/contracts/lifecycle_knowledge_contract.d.ts.map +1 -1
  3. package/dist/context/contracts/lifecycle_knowledge_contract.js +2 -2
  4. package/dist/context/contracts/lifecycle_knowledge_contract.js.map +1 -1
  5. package/dist/core/task_context/manager.d.ts +0 -8
  6. package/dist/core/task_context/manager.d.ts.map +1 -1
  7. package/dist/core/task_context/manager.js +1 -19
  8. package/dist/core/task_context/manager.js.map +1 -1
  9. package/dist/core/task_context/state_fact_classifier.d.ts +0 -8
  10. package/dist/core/task_context/state_fact_classifier.d.ts.map +1 -1
  11. package/dist/core/task_context/state_fact_classifier.js +0 -36
  12. package/dist/core/task_context/state_fact_classifier.js.map +1 -1
  13. package/dist/domain/contracts/design_artifact_pack.d.ts +0 -1
  14. package/dist/domain/contracts/design_artifact_pack.d.ts.map +1 -1
  15. package/dist/domain/contracts/design_artifact_pack.js +1 -4
  16. package/dist/domain/contracts/design_artifact_pack.js.map +1 -1
  17. package/dist/domain/index.d.ts +1 -1
  18. package/dist/domain/index.d.ts.map +1 -1
  19. package/dist/domain/registry.d.ts +2 -2
  20. package/dist/domain/registry.d.ts.map +1 -1
  21. package/dist/domain/types.d.ts +1 -12
  22. package/dist/domain/types.d.ts.map +1 -1
  23. package/dist/domain/types.js +3 -0
  24. package/dist/domain/types.js.map +1 -1
  25. package/dist/gate/contracts/capability_registry.d.ts.map +1 -1
  26. package/dist/gate/contracts/capability_registry.js +0 -26
  27. package/dist/gate/contracts/capability_registry.js.map +1 -1
  28. package/dist/gate/contracts/control_plane_contract.d.ts +1 -1
  29. package/dist/gate/contracts/control_plane_contract.d.ts.map +1 -1
  30. package/dist/gate/contracts/control_plane_contract.js +1 -10
  31. package/dist/gate/contracts/control_plane_contract.js.map +1 -1
  32. package/dist/gate/contracts/tool_invocation_contract_registry.d.ts +1 -0
  33. package/dist/gate/contracts/tool_invocation_contract_registry.d.ts.map +1 -1
  34. package/dist/gate/contracts/tool_invocation_contract_registry.js +1 -1
  35. package/dist/gate/contracts/tool_invocation_contract_registry.js.map +1 -1
  36. package/dist/gate/index.d.ts +0 -2
  37. package/dist/gate/index.d.ts.map +1 -1
  38. package/dist/gate/index.js +0 -1
  39. package/dist/gate/index.js.map +1 -1
  40. package/dist/server/tools/index.d.ts.map +1 -1
  41. package/dist/server/tools/index.js +1 -3
  42. package/dist/server/tools/index.js.map +1 -1
  43. package/dist/server/tools/lazy_loaders.d.ts +0 -23
  44. package/dist/server/tools/lazy_loaders.d.ts.map +1 -1
  45. package/dist/server/tools/lazy_loaders.js +2 -33
  46. package/dist/server/tools/lazy_loaders.js.map +1 -1
  47. package/dist/server/tools/middleware.d.ts +2 -5
  48. package/dist/server/tools/middleware.d.ts.map +1 -1
  49. package/dist/server/tools/middleware.js +3 -33
  50. package/dist/server/tools/middleware.js.map +1 -1
  51. package/dist/server/tools/sf_task.js +2 -7
  52. package/dist/server/tools/sf_task.js.map +1 -1
  53. package/dist/server/tools/types.d.ts +0 -2
  54. package/dist/server/tools/types.d.ts.map +1 -1
  55. package/dist/types/pipeline_types.d.ts +1 -9
  56. package/dist/types/pipeline_types.d.ts.map +1 -1
  57. package/dist/verify/audit/verifier.d.ts.map +1 -1
  58. package/dist/verify/audit/verifier.js +0 -33
  59. package/dist/verify/audit/verifier.js.map +1 -1
  60. package/dist/verify/index.d.ts +1 -4
  61. package/dist/verify/index.d.ts.map +1 -1
  62. package/dist/verify/index.js +0 -3
  63. package/dist/verify/index.js.map +1 -1
  64. package/dist/verify/types.d.ts +0 -21
  65. package/dist/verify/types.d.ts.map +1 -1
  66. package/package.json +1 -1
  67. package/templates/shared//345/206/263/347/255/226/347/275/221/345/205/263.md +7 -21
  68. package/dist/context/engine/dependency_scanner.d.ts +0 -23
  69. package/dist/context/engine/dependency_scanner.d.ts.map +0 -1
  70. package/dist/context/engine/dependency_scanner.js +0 -309
  71. package/dist/context/engine/dependency_scanner.js.map +0 -1
  72. package/dist/context/engine/exploration.d.ts +0 -194
  73. package/dist/context/engine/exploration.d.ts.map +0 -1
  74. package/dist/context/engine/exploration.js +0 -712
  75. package/dist/context/engine/exploration.js.map +0 -1
  76. package/dist/context/knowledge/knowledge_acceptance_registry.d.ts +0 -42
  77. package/dist/context/knowledge/knowledge_acceptance_registry.d.ts.map +0 -1
  78. package/dist/context/knowledge/knowledge_acceptance_registry.js +0 -249
  79. package/dist/context/knowledge/knowledge_acceptance_registry.js.map +0 -1
  80. package/dist/context/knowledge/knowledge_scenario_registry.d.ts +0 -26
  81. package/dist/context/knowledge/knowledge_scenario_registry.d.ts.map +0 -1
  82. package/dist/context/knowledge/knowledge_scenario_registry.js +0 -267
  83. package/dist/context/knowledge/knowledge_scenario_registry.js.map +0 -1
  84. package/dist/context/knowledge/knowledge_sovereignty.d.ts +0 -65
  85. package/dist/context/knowledge/knowledge_sovereignty.d.ts.map +0 -1
  86. package/dist/context/knowledge/knowledge_sovereignty.js +0 -199
  87. package/dist/context/knowledge/knowledge_sovereignty.js.map +0 -1
  88. package/dist/context/team_awareness.d.ts +0 -42
  89. package/dist/context/team_awareness.d.ts.map +0 -1
  90. package/dist/context/team_awareness.js +0 -154
  91. package/dist/context/team_awareness.js.map +0 -1
  92. package/dist/context/templates/template_asset_visibility.d.ts +0 -116
  93. package/dist/context/templates/template_asset_visibility.d.ts.map +0 -1
  94. package/dist/context/templates/template_asset_visibility.js +0 -310
  95. package/dist/context/templates/template_asset_visibility.js.map +0 -1
  96. package/dist/gate/conflict_gate.d.ts +0 -53
  97. package/dist/gate/conflict_gate.d.ts.map +0 -1
  98. package/dist/gate/conflict_gate.js +0 -96
  99. package/dist/gate/conflict_gate.js.map +0 -1
  100. package/dist/gate/contracts/capability_action_advisor.d.ts +0 -34
  101. package/dist/gate/contracts/capability_action_advisor.d.ts.map +0 -1
  102. package/dist/gate/contracts/capability_action_advisor.js +0 -165
  103. package/dist/gate/contracts/capability_action_advisor.js.map +0 -1
  104. package/dist/gate/contracts/capability_state_store.d.ts +0 -121
  105. package/dist/gate/contracts/capability_state_store.d.ts.map +0 -1
  106. package/dist/gate/contracts/capability_state_store.js +0 -188
  107. package/dist/gate/contracts/capability_state_store.js.map +0 -1
  108. package/dist/gate/contracts/contract_guard.d.ts +0 -50
  109. package/dist/gate/contracts/contract_guard.d.ts.map +0 -1
  110. package/dist/gate/contracts/contract_guard.js +0 -611
  111. package/dist/gate/contracts/contract_guard.js.map +0 -1
  112. package/dist/gate/contracts/escape_report.d.ts +0 -103
  113. package/dist/gate/contracts/escape_report.d.ts.map +0 -1
  114. package/dist/gate/contracts/escape_report.js +0 -145
  115. package/dist/gate/contracts/escape_report.js.map +0 -1
  116. package/dist/gate/feasibility_checker.d.ts +0 -27
  117. package/dist/gate/feasibility_checker.d.ts.map +0 -1
  118. package/dist/gate/feasibility_checker.js +0 -114
  119. package/dist/gate/feasibility_checker.js.map +0 -1
  120. package/dist/gate/migration_guard.d.ts +0 -22
  121. package/dist/gate/migration_guard.d.ts.map +0 -1
  122. package/dist/gate/migration_guard.js +0 -277
  123. package/dist/gate/migration_guard.js.map +0 -1
  124. package/dist/gate/scope_lease.d.ts +0 -94
  125. package/dist/gate/scope_lease.d.ts.map +0 -1
  126. package/dist/gate/scope_lease.js +0 -180
  127. package/dist/gate/scope_lease.js.map +0 -1
  128. package/dist/git/git_deps.d.ts +0 -85
  129. package/dist/git/git_deps.d.ts.map +0 -1
  130. package/dist/git/git_deps.js +0 -22
  131. package/dist/git/git_deps.js.map +0 -1
  132. package/dist/git/operations.d.ts +0 -173
  133. package/dist/git/operations.d.ts.map +0 -1
  134. package/dist/git/operations.js +0 -350
  135. package/dist/git/operations.js.map +0 -1
  136. package/dist/server/tools/gate_engine.d.ts +0 -17
  137. package/dist/server/tools/gate_engine.d.ts.map +0 -1
  138. package/dist/server/tools/gate_engine.js +0 -17
  139. package/dist/server/tools/gate_engine.js.map +0 -1
  140. package/dist/server/tools/middleware/budget_check.d.ts +0 -35
  141. package/dist/server/tools/middleware/budget_check.d.ts.map +0 -1
  142. package/dist/server/tools/middleware/budget_check.js +0 -69
  143. package/dist/server/tools/middleware/budget_check.js.map +0 -1
  144. package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts +0 -16
  145. package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts.map +0 -1
  146. package/dist/shared/contracts/contract_registry/builtin_contracts_core.js +0 -306
  147. package/dist/shared/contracts/contract_registry/builtin_contracts_core.js.map +0 -1
  148. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts +0 -16
  149. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts.map +0 -1
  150. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js +0 -304
  151. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js.map +0 -1
  152. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts +0 -16
  153. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts.map +0 -1
  154. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js +0 -434
  155. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js.map +0 -1
  156. package/dist/shared/contracts/contract_registry/index.d.ts +0 -8
  157. package/dist/shared/contracts/contract_registry/index.d.ts.map +0 -1
  158. package/dist/shared/contracts/contract_registry/index.js +0 -7
  159. package/dist/shared/contracts/contract_registry/index.js.map +0 -1
  160. package/dist/shared/contracts/contract_registry/registry.d.ts +0 -62
  161. package/dist/shared/contracts/contract_registry/registry.d.ts.map +0 -1
  162. package/dist/shared/contracts/contract_registry/registry.js +0 -191
  163. package/dist/shared/contracts/contract_registry/registry.js.map +0 -1
  164. package/dist/shared/contracts/contract_registry/registry_internal.d.ts +0 -19
  165. package/dist/shared/contracts/contract_registry/registry_internal.d.ts.map +0 -1
  166. package/dist/shared/contracts/contract_registry/registry_internal.js +0 -54
  167. package/dist/shared/contracts/contract_registry/registry_internal.js.map +0 -1
  168. package/dist/shared/contracts/contract_registry/types.d.ts +0 -47
  169. package/dist/shared/contracts/contract_registry/types.d.ts.map +0 -1
  170. package/dist/shared/contracts/contract_registry/types.js +0 -5
  171. package/dist/shared/contracts/contract_registry/types.js.map +0 -1
  172. package/dist/shared/contracts/contract_registry/validation.d.ts +0 -25
  173. package/dist/shared/contracts/contract_registry/validation.d.ts.map +0 -1
  174. package/dist/shared/contracts/contract_registry/validation.js +0 -363
  175. package/dist/shared/contracts/contract_registry/validation.js.map +0 -1
  176. package/dist/shared/llm_gateway.d.ts +0 -186
  177. package/dist/shared/llm_gateway.d.ts.map +0 -1
  178. package/dist/shared/llm_gateway.js +0 -393
  179. package/dist/shared/llm_gateway.js.map +0 -1
  180. package/dist/verify/audit/audit_sampler.d.ts +0 -29
  181. package/dist/verify/audit/audit_sampler.d.ts.map +0 -1
  182. package/dist/verify/audit/audit_sampler.js +0 -42
  183. package/dist/verify/audit/audit_sampler.js.map +0 -1
  184. package/dist/verify/audit/debt_reporter.d.ts +0 -22
  185. package/dist/verify/audit/debt_reporter.d.ts.map +0 -1
  186. package/dist/verify/audit/debt_reporter.js +0 -107
  187. package/dist/verify/audit/debt_reporter.js.map +0 -1
  188. package/dist/verify/audit/debugger.d.ts +0 -25
  189. package/dist/verify/audit/debugger.d.ts.map +0 -1
  190. package/dist/verify/audit/debugger.js +0 -429
  191. package/dist/verify/audit/debugger.js.map +0 -1
  192. package/dist/verify/audit/degradation.d.ts +0 -62
  193. package/dist/verify/audit/degradation.d.ts.map +0 -1
  194. package/dist/verify/audit/degradation.js +0 -78
  195. package/dist/verify/audit/degradation.js.map +0 -1
  196. package/dist/verify/audit/developer_sovereignty.d.ts +0 -29
  197. package/dist/verify/audit/developer_sovereignty.d.ts.map +0 -1
  198. package/dist/verify/audit/developer_sovereignty.js +0 -137
  199. package/dist/verify/audit/developer_sovereignty.js.map +0 -1
  200. package/dist/verify/audit/failure_report.d.ts +0 -76
  201. package/dist/verify/audit/failure_report.d.ts.map +0 -1
  202. package/dist/verify/audit/failure_report.js +0 -145
  203. package/dist/verify/audit/failure_report.js.map +0 -1
  204. package/dist/verify/audit/governance_report.d.ts +0 -110
  205. package/dist/verify/audit/governance_report.d.ts.map +0 -1
  206. package/dist/verify/audit/governance_report.js +0 -194
  207. package/dist/verify/audit/governance_report.js.map +0 -1
  208. package/dist/verify/audit/mutation_audit.d.ts +0 -40
  209. package/dist/verify/audit/mutation_audit.d.ts.map +0 -1
  210. package/dist/verify/audit/mutation_audit.js +0 -154
  211. package/dist/verify/audit/mutation_audit.js.map +0 -1
  212. package/dist/verify/audit/risk_sampler.d.ts +0 -44
  213. package/dist/verify/audit/risk_sampler.d.ts.map +0 -1
  214. package/dist/verify/audit/risk_sampler.js +0 -80
  215. package/dist/verify/audit/risk_sampler.js.map +0 -1
  216. package/dist/verify/audit/runtime_safety.d.ts +0 -89
  217. package/dist/verify/audit/runtime_safety.d.ts.map +0 -1
  218. package/dist/verify/audit/runtime_safety.js +0 -209
  219. package/dist/verify/audit/runtime_safety.js.map +0 -1
  220. package/dist/verify/audit/semantic_evidence.d.ts +0 -36
  221. package/dist/verify/audit/semantic_evidence.d.ts.map +0 -1
  222. package/dist/verify/audit/semantic_evidence.js +0 -90
  223. package/dist/verify/audit/semantic_evidence.js.map +0 -1
  224. package/dist/verify/audit/test_generator.d.ts +0 -23
  225. package/dist/verify/audit/test_generator.d.ts.map +0 -1
  226. package/dist/verify/audit/test_generator.js +0 -278
  227. package/dist/verify/audit/test_generator.js.map +0 -1
  228. package/dist/verify/audit/test_quality.d.ts +0 -49
  229. package/dist/verify/audit/test_quality.d.ts.map +0 -1
  230. package/dist/verify/audit/test_quality.js +0 -684
  231. package/dist/verify/audit/test_quality.js.map +0 -1
  232. package/dist/verify/change_coordinator.d.ts +0 -45
  233. package/dist/verify/change_coordinator.d.ts.map +0 -1
  234. package/dist/verify/change_coordinator.js +0 -168
  235. package/dist/verify/change_coordinator.js.map +0 -1
  236. package/dist/verify/contracts/decision_contract.d.ts +0 -51
  237. package/dist/verify/contracts/decision_contract.d.ts.map +0 -1
  238. package/dist/verify/contracts/decision_contract.js +0 -70
  239. package/dist/verify/contracts/decision_contract.js.map +0 -1
  240. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts +0 -17
  241. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts.map +0 -1
  242. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js +0 -428
  243. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js.map +0 -1
  244. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts +0 -17
  245. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts.map +0 -1
  246. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js +0 -429
  247. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js.map +0 -1
  248. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts +0 -17
  249. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts.map +0 -1
  250. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js +0 -194
  251. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js.map +0 -1
  252. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts +0 -17
  253. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts.map +0 -1
  254. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js +0 -365
  255. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js.map +0 -1
  256. package/dist/verify/contracts/mechanism_contract_registry/index.d.ts +0 -19
  257. package/dist/verify/contracts/mechanism_contract_registry/index.d.ts.map +0 -1
  258. package/dist/verify/contracts/mechanism_contract_registry/index.js +0 -21
  259. package/dist/verify/contracts/mechanism_contract_registry/index.js.map +0 -1
  260. package/dist/verify/contracts/mechanism_contract_registry/types.d.ts +0 -33
  261. package/dist/verify/contracts/mechanism_contract_registry/types.d.ts.map +0 -1
  262. package/dist/verify/contracts/mechanism_contract_registry/types.js +0 -5
  263. package/dist/verify/contracts/mechanism_contract_registry/types.js.map +0 -1
  264. package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts +0 -38
  265. package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts.map +0 -1
  266. package/dist/verify/contracts/mechanism_contract_registry/validation.js +0 -136
  267. package/dist/verify/contracts/mechanism_contract_registry/validation.js.map +0 -1
  268. package/templates/shared/LLM/351/242/204/347/256/227/347/275/221/345/205/263.md +0 -54
  269. package/templates/shared//346/265/201/345/274/217/345/277/203/350/267/263.md +0 -64
@@ -1,363 +0,0 @@
1
- /**
2
- * Validation — 契约层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:validateContractRegistry 等 契约层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:契约验证、注册表查询
9
- * 调用谁:capability_registry、types、registry_internal
10
- *
11
- * 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
12
- * 持久化:读写本地文件(详见代码内路径)
13
- */
14
- import { getCapability } from "../../../gate/contracts/capability_registry.js";
15
- import { getRegistry } from "./registry_internal.js";
16
- /**
17
- * 验证契约注册表完整性。
18
- * 检查: 唯一性、字段完整性、文件存在、状态约束、依赖存在性、capability 冲突等。
19
- */
20
- export function validateContractRegistry(existingFiles) {
21
- const findings = [];
22
- const entries = [...getRegistry().values()];
23
- const idSet = new Set();
24
- for (const entry of entries) {
25
- const isRemoved = entry.state === "removed";
26
- // 1. contract_id 唯一且非空
27
- if (!entry.contract_id || entry.contract_id.trim() === "") {
28
- findings.push({
29
- contract_id: entry.contract_id || "",
30
- kind: entry.kind,
31
- severity: "hard_fail",
32
- rule: "contract_id_nonempty",
33
- message_zh: "contract_id 不能为空",
34
- evidence_refs: [],
35
- });
36
- continue;
37
- }
38
- if (idSet.has(entry.contract_id)) {
39
- findings.push({
40
- contract_id: entry.contract_id,
41
- kind: entry.kind,
42
- severity: "hard_fail",
43
- rule: "contract_id_unique",
44
- message_zh: `contract_id ${entry.contract_id} 重复`,
45
- evidence_refs: [],
46
- });
47
- }
48
- idSet.add(entry.contract_id);
49
- // 2. removed 状态:只做 removed 特有检查,跳过其余完整性校验
50
- if (isRemoved) {
51
- // removed 不得被 consumed_by 引用
52
- if (entry.consumed_by.length > 0) {
53
- findings.push({
54
- contract_id: entry.contract_id,
55
- kind: entry.kind,
56
- severity: "hard_fail",
57
- rule: "removed_not_referenced",
58
- message_zh: `已移除契约 ${entry.contract_id} 仍被 consumed_by 引用: ${entry.consumed_by.join(", ")}`,
59
- evidence_refs: entry.consumed_by,
60
- });
61
- }
62
- // removed 不得被 prompt 引用
63
- if (entry.prompt_refs.length > 0) {
64
- findings.push({
65
- contract_id: entry.contract_id,
66
- kind: entry.kind,
67
- severity: "hard_fail",
68
- rule: "removed_no_prompt_refs",
69
- message_zh: `已移除契约 ${entry.contract_id} 仍被 prompt 引用: ${entry.prompt_refs.join(", ")}`,
70
- evidence_refs: entry.prompt_refs,
71
- });
72
- }
73
- continue;
74
- }
75
- // 3. kind/state/owner/test 字段完整
76
- if (!entry.kind) {
77
- findings.push({
78
- contract_id: entry.contract_id,
79
- kind: entry.kind,
80
- severity: "hard_fail",
81
- rule: "kind_required",
82
- message_zh: `契约 ${entry.contract_id} 缺少 kind`,
83
- evidence_refs: [],
84
- });
85
- }
86
- if (!entry.state) {
87
- findings.push({
88
- contract_id: entry.contract_id,
89
- kind: entry.kind,
90
- severity: "hard_fail",
91
- rule: "state_required",
92
- message_zh: `契约 ${entry.contract_id} 缺少 state`,
93
- evidence_refs: [],
94
- });
95
- }
96
- if (!entry.owner_component) {
97
- findings.push({
98
- contract_id: entry.contract_id,
99
- kind: entry.kind,
100
- severity: "hard_fail",
101
- rule: "owner_required",
102
- message_zh: `契约 ${entry.contract_id} 缺少 owner_component`,
103
- evidence_refs: [],
104
- });
105
- }
106
- if (entry.test_files.length === 0) {
107
- findings.push({
108
- contract_id: entry.contract_id,
109
- kind: entry.kind,
110
- severity: "hard_fail",
111
- rule: "test_files_required",
112
- message_zh: `契约 ${entry.contract_id} 无测试文件,所有核心契约必须有测试`,
113
- evidence_refs: [],
114
- });
115
- }
116
- // 3. owner_files/test_files 存在性(当 existingFiles 提供时)
117
- if (existingFiles) {
118
- const isEnforcedOrHardFail = entry.state === "enforced" || entry.hard_fail_allowed;
119
- for (const f of entry.owner_files) {
120
- if (!existingFiles.has(f)) {
121
- findings.push({
122
- contract_id: entry.contract_id,
123
- kind: entry.kind,
124
- severity: isEnforcedOrHardFail ? "hard_fail" : "warning",
125
- rule: "owner_file_exists",
126
- message_zh: `契约 ${entry.contract_id} 的 owner_file ${f} 不存在${isEnforcedOrHardFail ? "(enforced/hard_fail 契约必须存在)" : ""}`,
127
- evidence_refs: [f],
128
- });
129
- }
130
- }
131
- for (const f of entry.test_files) {
132
- if (!existingFiles.has(f)) {
133
- findings.push({
134
- contract_id: entry.contract_id,
135
- kind: entry.kind,
136
- severity: isEnforcedOrHardFail ? "hard_fail" : "warning",
137
- rule: "test_file_exists",
138
- message_zh: `契约 ${entry.contract_id} 的 test_file ${f} 不存在${isEnforcedOrHardFail ? "(enforced/hard_fail 契约必须存在)" : ""}`,
139
- evidence_refs: [f],
140
- });
141
- }
142
- }
143
- for (const f of entry.lifecycle_test_files) {
144
- if (!existingFiles.has(f)) {
145
- findings.push({
146
- contract_id: entry.contract_id,
147
- kind: entry.kind,
148
- severity: "hard_fail",
149
- rule: "lifecycle_test_file_exists",
150
- message_zh: `契约 ${entry.contract_id} 的 lifecycle_test_file ${f} 不存在`,
151
- evidence_refs: [f],
152
- });
153
- }
154
- }
155
- }
156
- // 4. hard_fail_allowed=true 必须 state=enforced 且 lifecycle_test_files 非空
157
- if (entry.hard_fail_allowed) {
158
- if (entry.state !== "enforced") {
159
- findings.push({
160
- contract_id: entry.contract_id,
161
- kind: entry.kind,
162
- severity: "hard_fail",
163
- rule: "hard_fail_requires_enforced",
164
- message_zh: `契约 ${entry.contract_id} 的 hard_fail_allowed=true 但 state=${entry.state},只有 enforced 契约允许 hard fail`,
165
- evidence_refs: [],
166
- });
167
- }
168
- if (entry.lifecycle_test_files.length === 0) {
169
- findings.push({
170
- contract_id: entry.contract_id,
171
- kind: entry.kind,
172
- severity: "hard_fail",
173
- rule: "hard_fail_requires_lifecycle_tests",
174
- message_zh: `契约 ${entry.contract_id} 的 hard_fail_allowed=true 但无 lifecycle_test_files`,
175
- evidence_refs: [],
176
- });
177
- }
178
- }
179
- // 5. advisory/experimental/draft 不得 hard_fail_allowed
180
- if ((entry.state === "advisory" ||
181
- entry.state === "experimental" ||
182
- entry.state === "draft") &&
183
- entry.hard_fail_allowed) {
184
- findings.push({
185
- contract_id: entry.contract_id,
186
- kind: entry.kind,
187
- severity: "hard_fail",
188
- rule: "non_enforced_no_hard_fail",
189
- message_zh: `契约 ${entry.contract_id} 的 state=${entry.state},advisory/experimental/draft 契约不得 hard_fail_allowed=true`,
190
- evidence_refs: [],
191
- });
192
- }
193
- // 6. deprecated 必须有 replacement_contract_id 或 migration_note
194
- if (entry.state === "deprecated") {
195
- if (!entry.replacement_contract_id && !entry.migration_note) {
196
- findings.push({
197
- contract_id: entry.contract_id,
198
- kind: entry.kind,
199
- severity: "hard_fail",
200
- rule: "deprecated_requires_replacement",
201
- message_zh: `契约 ${entry.contract_id} 已废弃但无 replacement_contract_id 或 migration_note`,
202
- evidence_refs: [],
203
- });
204
- }
205
- }
206
- // 7. removed 检查已移至 isRemoved 分支(第 2 项后 continue 前)
207
- // 8. depends_on 指向的契约必须存在
208
- for (const depId of entry.depends_on) {
209
- if (!getRegistry().has(depId)) {
210
- findings.push({
211
- contract_id: entry.contract_id,
212
- kind: entry.kind,
213
- severity: "hard_fail",
214
- rule: "dependency_exists",
215
- message_zh: `契约 ${entry.contract_id} 依赖不存在的契约 ${depId}`,
216
- evidence_refs: [depId],
217
- });
218
- }
219
- else {
220
- const dep = getRegistry().get(depId);
221
- // 8a. 依赖不得指向 removed
222
- if (dep.state === "removed") {
223
- findings.push({
224
- contract_id: entry.contract_id,
225
- kind: entry.kind,
226
- severity: "hard_fail",
227
- rule: "dependency_not_removed",
228
- message_zh: `契约 ${entry.contract_id} 依赖已移除的契约 ${depId}`,
229
- evidence_refs: [depId],
230
- });
231
- }
232
- // 8b. 指向 deprecated 必须有 migration note 或 replacement
233
- if (dep.state === "deprecated" && !dep.replacement_contract_id && !dep.migration_note) {
234
- findings.push({
235
- contract_id: entry.contract_id,
236
- kind: entry.kind,
237
- severity: "warning",
238
- rule: "dependency_deprecated_migration",
239
- message_zh: `契约 ${entry.contract_id} 依赖已废弃的契约 ${depId},该废弃契约无替代或迁移说明`,
240
- evidence_refs: [depId],
241
- });
242
- }
243
- }
244
- }
245
- // 9. capability state 与 contract state 冲突检查
246
- if (entry.policy_id && entry.capability_ids && entry.capability_ids.length > 0) {
247
- for (const capId of entry.capability_ids) {
248
- const cap = getCapability(capId);
249
- if (cap) {
250
- const conflict = checkCapabilityContractConflict(cap.state, entry.state, capId, entry.contract_id);
251
- if (conflict) {
252
- findings.push(conflict);
253
- }
254
- }
255
- }
256
- }
257
- }
258
- return findings;
259
- }
260
- /**
261
- * 检查 capability state 与 contract state 冲突。
262
- * capability enforced 但对应 contract advisory/removed 必须报告。
263
- */
264
- function checkCapabilityContractConflict(capState, contractState, capId, contractId) {
265
- // capability enforced 但 contract advisory/removed/draft — 冲突
266
- if (capState === "enforced" &&
267
- (contractState === "advisory" ||
268
- contractState === "removed" ||
269
- contractState === "draft")) {
270
- return {
271
- contract_id: contractId,
272
- kind: "capability",
273
- severity: "hard_fail",
274
- rule: "capability_contract_state_conflict",
275
- message_zh: `能力 ${capId} 状态为 enforced,但对应契约 ${contractId} 状态为 ${contractState},存在冲突`,
276
- evidence_refs: [capId, contractId],
277
- };
278
- }
279
- // capability advisory 但 contract enforced — 冲突(反向)
280
- if (capState === "advisory" && contractState === "enforced") {
281
- return {
282
- contract_id: contractId,
283
- kind: "capability",
284
- severity: "warning",
285
- rule: "capability_contract_state_conflict",
286
- message_zh: `能力 ${capId} 状态为 advisory,但对应契约 ${contractId} 状态为 enforced,可能需要同步`,
287
- evidence_refs: [capId, contractId],
288
- };
289
- }
290
- return null;
291
- }
292
- /**
293
- * 验证 workflow 引用的契约是否合法。
294
- * workflow 引用不存在、removed 或非法 deprecated contract 必须 blocked。
295
- */
296
- export function validateWorkflowContractRefs(workflowId, referencedContractIds) {
297
- const findings = [];
298
- for (const refId of referencedContractIds) {
299
- const entry = getRegistry().get(refId);
300
- if (!entry) {
301
- findings.push({
302
- contract_id: refId,
303
- kind: "workflow",
304
- severity: "hard_fail",
305
- rule: "workflow_ref_exists",
306
- message_zh: `工作流 ${workflowId} 引用不存在的契约 ${refId}`,
307
- evidence_refs: [workflowId, refId],
308
- });
309
- continue;
310
- }
311
- if (entry.state === "removed") {
312
- findings.push({
313
- contract_id: refId,
314
- kind: entry.kind,
315
- severity: "hard_fail",
316
- rule: "workflow_ref_not_removed",
317
- message_zh: `工作流 ${workflowId} 引用已移除的契约 ${refId}`,
318
- evidence_refs: [workflowId, refId],
319
- });
320
- }
321
- // deprecated 一律 hard_fail/blocked;有 replacement 提示迁移
322
- if (entry.state === "deprecated") {
323
- const hint = entry.replacement_contract_id
324
- ? `,替代契约: ${entry.replacement_contract_id}`
325
- : entry.migration_note
326
- ? `,迁移说明: ${entry.migration_note}`
327
- : ",无替代或迁移说明";
328
- findings.push({
329
- contract_id: refId,
330
- kind: entry.kind,
331
- severity: "hard_fail",
332
- rule: "workflow_ref_deprecated_blocked",
333
- message_zh: `工作流 ${workflowId} 引用已废弃的契约 ${refId}${hint}`,
334
- evidence_refs: [workflowId, refId],
335
- });
336
- }
337
- // advisory/experimental 只能 advisory,不能阻断主流程
338
- if (entry.state === "advisory" || entry.state === "experimental") {
339
- findings.push({
340
- contract_id: refId,
341
- kind: entry.kind,
342
- severity: "advisory",
343
- rule: "workflow_ref_advisory_only",
344
- message_zh: `工作流 ${workflowId} 引用的契约 ${refId} 状态为 ${entry.state},只能 advisory,不产生治理效果`,
345
- evidence_refs: [workflowId, refId],
346
- });
347
- }
348
- // draft 契约被引用时产生 warning — draft 契约尚未经过审查,不具备治理效果,
349
- // 被工作流引用可能导致运行时行为与预期不符
350
- if (entry.state === "draft") {
351
- findings.push({
352
- contract_id: refId,
353
- kind: entry.kind,
354
- severity: "warning",
355
- rule: "workflow_ref_draft_no_governance",
356
- message_zh: `工作流 ${workflowId} 引用的契约 ${refId} 状态为 draft,draft 契约不产生治理效果,建议先晋级到 advisory 或 enforced`,
357
- evidence_refs: [workflowId, refId],
358
- });
359
- }
360
- }
361
- return findings;
362
- }
363
- //# sourceMappingURL=validation.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,gDAAgD,CAAC;AAO/E,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,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;QAE5C,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,0CAA0C;QAC1C,IAAI,SAAS,EAAE,CAAC;YACd,6BAA6B;YAC7B,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,wBAAwB;YACxB,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;YACD,SAAS;QACX,CAAC;QAED,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;QAEnD,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,4CAA4C;QAC5C,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;YACjE,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;QAED,mDAAmD;QACnD,uBAAuB;QACvB,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE,KAAK;gBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,kCAAkC;gBACxC,UAAU,EAAE,OAAO,UAAU,UAAU,KAAK,uDAAuD;gBACnG,aAAa,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}
@@ -1,186 +0,0 @@
1
- /**
2
- * Llm Gateway — 核心基础层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:CircuitState 等 核心基础层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:引擎各子模块、管线层
9
- * 调用谁:knowledge_config_loader、logger
10
- *
11
- * 数据流:底层能力请求 → 处理 → 返回结果
12
- * 持久化:无持久化(纯计算/内存态)
13
- */
14
- /** 熔断器状态 */
15
- export type CircuitState = "closed" | "open" | "half-open";
16
- /** AI 操作类型分级 */
17
- export type AIOperationTier = "light" | "medium" | "heavy";
18
- /** AI 依赖的操作类型 */
19
- export type AIOperationType = "intent_refinement" | "solution_brainstorm" | "verification_reasoning" | "code_generation" | "test_generation" | "review_deep_analysis" | "debug_analysis";
20
- /** 操作类型配置: 级别 + Token 估算 */
21
- interface OperationProfile {
22
- tier: AIOperationTier;
23
- estimated_tokens: number;
24
- description: string;
25
- }
26
- /** 调用审计记录 */
27
- export interface GatewayAuditEntry {
28
- /** 操作类型 */
29
- operation: AIOperationType;
30
- /** 估算 Token 数 */
31
- estimated_tokens: number;
32
- /** 调用时间戳 */
33
- timestamp: string;
34
- /** 是否被熔断拦截 */
35
- blocked: boolean;
36
- /** 关联的任务 ID */
37
- task_id?: string;
38
- }
39
- /** 网关状态快照 */
40
- export interface GatewayStatus {
41
- /** Token 总预算 */
42
- budget_total: number;
43
- /** 已使用 Token 数 */
44
- budget_used: number;
45
- /** 剩余 Token 数 */
46
- budget_remaining: number;
47
- /** 使用比例 */
48
- usage_ratio: number;
49
- /** 熔断器状态 */
50
- circuit_open: boolean;
51
- /** 熔断器详细状态 */
52
- circuit_state: CircuitState;
53
- /** 总调用次数 */
54
- call_count: number;
55
- /** 被拦截次数 */
56
- blocked_count: number;
57
- /** 当前任务已用 Token */
58
- task_tokens_used: number;
59
- /** 审计日志 */
60
- audit_log: GatewayAuditEntry[];
61
- }
62
- /** 心跳进度回调 */
63
- export type HeartbeatCallback = (progress: {
64
- elapsed_ms: number;
65
- tokens_used: number;
66
- operation: AIOperationType;
67
- message: string;
68
- }) => void;
69
- /**
70
- * LLM 统一网关 — 管理 Token 预算、熔断和调用审计。
71
- */
72
- export declare class LLMGateway {
73
- private budgetTotal;
74
- private budgetUsed;
75
- private taskBudget;
76
- private taskTokensUsed;
77
- private currentTaskId;
78
- private callCount;
79
- private blockedCount;
80
- private auditLog;
81
- private circuitState;
82
- /** 熔断器进入 open 状态的时间戳,用于 half-open 超时恢复 */
83
- private circuitOpenedAt;
84
- /** half-open 状态下允许的探测请求次数 */
85
- private halfOpenProbeBudget;
86
- /** half-open 探测已用次数(当前周期) */
87
- private halfOpenProbeUsed;
88
- /** 当前时间函数 — 生产环境用 Date.now,测试可注入 */
89
- readonly now: () => number;
90
- private heartbeatTimer;
91
- private heartbeatCallback;
92
- private operationStart;
93
- private currentOperation;
94
- private config;
95
- /**
96
- * 创建 LLM 网关实例。
97
- * @param budget - 可选,Token 总预算,默认从配置读取
98
- * @param taskBudget - 可选,单任务 Token 预算,默认从配置读取
99
- */
100
- constructor(budget?: number, taskBudget?: number);
101
- /** 设置心跳回调(用于 stdio 输出进度) */
102
- setHeartbeatCallback(cb: HeartbeatCallback): void;
103
- /**
104
- * 开始新任务的 Token 计量。
105
- * @param taskId - 任务 ID
106
- */
107
- beginTask(taskId: string): void;
108
- /** 结束任务计量,停止心跳 */
109
- endTask(): void;
110
- /**
111
- * 请求 AI 操作许可 — 检查 Token 预算和熔断状态。
112
- * 被拦截时返回原因说明。
113
- *
114
- * @param operation - AI 操作类型
115
- * @param taskId - 可选的任务 ID
116
- * @returns 许可结果,包含是否允许、剩余预算和拦截原因
117
- */
118
- request(operation: AIOperationType, taskId?: string): {
119
- allowed: boolean;
120
- estimated_tokens: number;
121
- remaining_budget: number;
122
- remaining_task_budget: number;
123
- reason?: string;
124
- };
125
- /**
126
- * 置信度闸口: 低于阈值禁止执行代码,必须触发头脑风暴流程。
127
- * @param confidence - 当前置信度
128
- * @returns 闸口结果,包含是否允许和阈值
129
- */
130
- confidenceGate(confidence: number): {
131
- allowed: boolean;
132
- threshold: number;
133
- reason?: string;
134
- };
135
- /**
136
- * 标记操作失败 — half-open 状态下探测失败时回退到 open 状态。
137
- * 防止故障未恢复时大量请求涌入。
138
- */
139
- failOperation(): void;
140
- /** 标记操作完成,停止心跳。half-open 状态下探测成功则关闭熔断器 */
141
- completeOperation(): void;
142
- /**
143
- * 报告实际 Token 用量 — 根据估算与实际的差值调整预算计数。
144
- * 差值为正时增加消耗,为负时回退多计部分。熔断器根据实际消耗重新评估。
145
- * @param operation - 操作类型
146
- * @param actualTokens - 实际消耗的 Token 数
147
- */
148
- reportActualUsage(operation: AIOperationType, actualTokens: number): void;
149
- /**
150
- * 获取网关当前状态快照。
151
- * @returns 网关状态,包含预算、调用统计和审计日志
152
- */
153
- getStatus(): GatewayStatus;
154
- /**
155
- * 重置网关状态 — 清零所有计数器、审计日志和熔断器。
156
- * @param budget - 可选的新 Token 总预算
157
- */
158
- reset(budget?: number): void;
159
- /**
160
- * 判断操作是否为本地操作(不需要 LLM 算力)。
161
- * @param op - 操作名称
162
- * @returns 是否为本地操作
163
- */
164
- static isLocalOperation(op: string): boolean;
165
- /**
166
- * 判断操作是否为 AI 操作。
167
- * @param op - 操作类型
168
- * @returns 是否为 AI 操作
169
- */
170
- static isAIOperation(op: AIOperationType): boolean;
171
- /**
172
- * 获取操作类型的配置信息。
173
- * @param op - 操作类型
174
- * @returns 操作配置(级别、Token 估算、描述)
175
- */
176
- static getProfile(op: AIOperationType): OperationProfile;
177
- /**
178
- * 启动流式心跳 — 重型操作期间定期发送进度报告,防止客户端超时断连。
179
- * @param operation - 当前 AI 操作类型
180
- */
181
- private startHeartbeat;
182
- /** 停止流式心跳计时器 */
183
- private stopHeartbeat;
184
- }
185
- export {};
186
- //# sourceMappingURL=llm_gateway.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"llm_gateway.d.ts","sourceRoot":"","sources":["../../src/shared/llm_gateway.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,YAAY;AACZ,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;AAE3D,gBAAgB;AAChB,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE3D,iBAAiB;AACjB,MAAM,MAAM,eAAe,GACvB,mBAAmB,GACnB,qBAAqB,GACrB,wBAAwB,GACxB,iBAAiB,GACjB,iBAAiB,GACjB,sBAAsB,GACtB,gBAAgB,CAAC;AAErB,4BAA4B;AAC5B,UAAU,gBAAgB;IACxB,IAAI,EAAE,eAAe,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,aAAa;AACb,MAAM,WAAW,iBAAiB;IAChC,WAAW;IACX,SAAS,EAAE,eAAe,CAAC;IAC3B,iBAAiB;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,eAAe;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,aAAa;AACb,MAAM,WAAW,aAAa;IAC5B,gBAAgB;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY;IACZ,YAAY,EAAE,OAAO,CAAC;IACtB,cAAc;IACd,aAAa,EAAE,YAAY,CAAC;IAC5B,YAAY;IACZ,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW;IACX,SAAS,EAAE,iBAAiB,EAAE,CAAC;CAChC;AAED,aAAa;AACb,MAAM,MAAM,iBAAiB,GAAG,CAAC,QAAQ,EAAE;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,eAAe,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;CACjB,KAAK,IAAI,CAAC;AA+CX;;GAEG;AACH,qBAAa,UAAU;IACrB,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,UAAU,CAAK;IACvB,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,aAAa,CAAuB;IAC5C,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,QAAQ,CAA2B;IAC3C,OAAO,CAAC,YAAY,CAA0B;IAC9C,0CAA0C;IAC1C,OAAO,CAAC,eAAe,CAAa;IACpC,6BAA6B;IAC7B,OAAO,CAAC,mBAAmB,CAAK;IAChC,6BAA6B;IAC7B,OAAO,CAAC,iBAAiB,CAAK;IAC9B,oCAAoC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,MAAM,CAAC;IAC3B,OAAO,CAAC,cAAc,CAA+C;IACrE,OAAO,CAAC,iBAAiB,CAAkC;IAC3D,OAAO,CAAC,cAAc,CAAa;IACnC,OAAO,CAAC,gBAAgB,CAAgC;IAExD,OAAO,CAAC,MAAM,CAAsB;IAEpC;;;;OAIG;gBACS,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM;IAgBhD,4BAA4B;IAC5B,oBAAoB,CAAC,EAAE,EAAE,iBAAiB,GAAG,IAAI;IAIjD;;;OAGG;IACH,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAM/B,kBAAkB;IAClB,OAAO,IAAI,IAAI;IAMf;;;;;;;OAOG;IACH,OAAO,CAAC,SAAS,EAAE,eAAe,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;QACpD,OAAO,EAAE,OAAO,CAAC;QACjB,gBAAgB,EAAE,MAAM,CAAC;QACzB,gBAAgB,EAAE,MAAM,CAAC;QACzB,qBAAqB,EAAE,MAAM,CAAC;QAC9B,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB;IAgHD;;;;OAIG;IACH,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE;IAa5F;;;OAGG;IACH,aAAa,IAAI,IAAI;IAUrB,0CAA0C;IAC1C,iBAAiB,IAAI,IAAI;IAUzB;;;;;OAKG;IACH,iBAAiB,CAAC,SAAS,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI;IAqBzE;;;OAGG;IACH,SAAS,IAAI,aAAa;IAe1B;;;OAGG;IACH,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;IAmB5B;;;;OAIG;IACH,MAAM,CAAC,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAS5C;;;;OAIG;IACH,MAAM,CAAC,aAAa,CAAC,EAAE,EAAE,eAAe,GAAG,OAAO;IAIlD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,eAAe,GAAG,gBAAgB;IAMxD;;;OAGG;IACH,OAAO,CAAC,cAAc;IAoBtB,gBAAgB;IAChB,OAAO,CAAC,aAAa;CAMtB"}