soloforge 1.1.45 → 1.1.47

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 (608) hide show
  1. package/README.md +15 -3
  2. package/dist/context/adapters/shared/integration_guide.js +3 -1
  3. package/dist/context/adapters/shared/integration_guide.js.map +1 -1
  4. package/dist/context/contracts/lifecycle_knowledge_contract.d.ts.map +1 -1
  5. package/dist/context/contracts/lifecycle_knowledge_contract.js +2 -2
  6. package/dist/context/contracts/lifecycle_knowledge_contract.js.map +1 -1
  7. package/dist/core/gate_record_store.d.ts +11 -7
  8. package/dist/core/gate_record_store.d.ts.map +1 -1
  9. package/dist/core/gate_record_store.js +31 -17
  10. package/dist/core/gate_record_store.js.map +1 -1
  11. package/dist/core/observer.d.ts.map +1 -1
  12. package/dist/core/observer.js +7 -4
  13. package/dist/core/observer.js.map +1 -1
  14. package/dist/core/task_context/manager.d.ts +0 -8
  15. package/dist/core/task_context/manager.d.ts.map +1 -1
  16. package/dist/core/task_context/manager.js +1 -19
  17. package/dist/core/task_context/manager.js.map +1 -1
  18. package/dist/core/task_context/state_fact_classifier.d.ts +0 -8
  19. package/dist/core/task_context/state_fact_classifier.d.ts.map +1 -1
  20. package/dist/core/task_context/state_fact_classifier.js +0 -36
  21. package/dist/core/task_context/state_fact_classifier.js.map +1 -1
  22. package/dist/domain/asset_registry/derived_registry.d.ts.map +1 -1
  23. package/dist/domain/asset_registry/derived_registry.js +20 -5
  24. package/dist/domain/asset_registry/derived_registry.js.map +1 -1
  25. package/dist/domain/asset_registry/derived_types.d.ts +5 -1
  26. package/dist/domain/asset_registry/derived_types.d.ts.map +1 -1
  27. package/dist/domain/build/contract.d.ts.map +1 -1
  28. package/dist/domain/build/contract.js +3 -8
  29. package/dist/domain/build/contract.js.map +1 -1
  30. package/dist/domain/build/engine.d.ts +3 -2
  31. package/dist/domain/build/engine.d.ts.map +1 -1
  32. package/dist/domain/build/engine.js +5 -2
  33. package/dist/domain/build/engine.js.map +1 -1
  34. package/dist/domain/contracts/design_artifact_pack.d.ts +0 -1
  35. package/dist/domain/contracts/design_artifact_pack.d.ts.map +1 -1
  36. package/dist/domain/contracts/design_artifact_pack.js +1 -4
  37. package/dist/domain/contracts/design_artifact_pack.js.map +1 -1
  38. package/dist/domain/design/contract.d.ts.map +1 -1
  39. package/dist/domain/design/contract.js +2 -31
  40. package/dist/domain/design/contract.js.map +1 -1
  41. package/dist/domain/design/engine.d.ts +3 -2
  42. package/dist/domain/design/engine.d.ts.map +1 -1
  43. package/dist/domain/design/engine.js +5 -2
  44. package/dist/domain/design/engine.js.map +1 -1
  45. package/dist/domain/engine_helpers.d.ts +18 -2
  46. package/dist/domain/engine_helpers.d.ts.map +1 -1
  47. package/dist/domain/engine_helpers.js +87 -8
  48. package/dist/domain/engine_helpers.js.map +1 -1
  49. package/dist/domain/index.d.ts +1 -1
  50. package/dist/domain/index.d.ts.map +1 -1
  51. package/dist/domain/operate/contract.js +1 -1
  52. package/dist/domain/operate/contract.js.map +1 -1
  53. package/dist/domain/operate/engine.d.ts +3 -2
  54. package/dist/domain/operate/engine.d.ts.map +1 -1
  55. package/dist/domain/operate/engine.js +5 -2
  56. package/dist/domain/operate/engine.js.map +1 -1
  57. package/dist/domain/registry.d.ts +2 -2
  58. package/dist/domain/registry.d.ts.map +1 -1
  59. package/dist/domain/types.d.ts +1 -12
  60. package/dist/domain/types.d.ts.map +1 -1
  61. package/dist/domain/types.js +3 -0
  62. package/dist/domain/types.js.map +1 -1
  63. package/dist/domain/verify/engine.d.ts +3 -2
  64. package/dist/domain/verify/engine.d.ts.map +1 -1
  65. package/dist/domain/verify/engine.js +5 -2
  66. package/dist/domain/verify/engine.js.map +1 -1
  67. package/dist/gate/contracts/capability_registry.d.ts.map +1 -1
  68. package/dist/gate/contracts/capability_registry.js +0 -26
  69. package/dist/gate/contracts/capability_registry.js.map +1 -1
  70. package/dist/gate/contracts/control_plane_contract.d.ts +1 -1
  71. package/dist/gate/contracts/control_plane_contract.d.ts.map +1 -1
  72. package/dist/gate/contracts/control_plane_contract.js +1 -10
  73. package/dist/gate/contracts/control_plane_contract.js.map +1 -1
  74. package/dist/gate/contracts/tool_invocation_contract_registry.d.ts +1 -0
  75. package/dist/gate/contracts/tool_invocation_contract_registry.d.ts.map +1 -1
  76. package/dist/gate/contracts/tool_invocation_contract_registry.js +1 -1
  77. package/dist/gate/contracts/tool_invocation_contract_registry.js.map +1 -1
  78. package/dist/gate/executors/executors_artifact.d.ts.map +1 -1
  79. package/dist/gate/executors/executors_artifact.js +8 -5
  80. package/dist/gate/executors/executors_artifact.js.map +1 -1
  81. package/dist/gate/executors/executors_prerequisite.d.ts.map +1 -1
  82. package/dist/gate/executors/executors_prerequisite.js +26 -6
  83. package/dist/gate/executors/executors_prerequisite.js.map +1 -1
  84. package/dist/gate/executors/executors_regex_scan.js +2 -2
  85. package/dist/gate/executors/executors_regex_scan.js.map +1 -1
  86. package/dist/gate/executors/executors_trace.d.ts.map +1 -1
  87. package/dist/gate/executors/executors_trace.js +2 -0
  88. package/dist/gate/executors/executors_trace.js.map +1 -1
  89. package/dist/gate/gate_registry_bridge.d.ts +7 -6
  90. package/dist/gate/gate_registry_bridge.d.ts.map +1 -1
  91. package/dist/gate/gate_registry_bridge.js +51 -13
  92. package/dist/gate/gate_registry_bridge.js.map +1 -1
  93. package/dist/gate/index.d.ts +0 -2
  94. package/dist/gate/index.d.ts.map +1 -1
  95. package/dist/gate/index.js +0 -1
  96. package/dist/gate/index.js.map +1 -1
  97. package/dist/server/tools/index.d.ts.map +1 -1
  98. package/dist/server/tools/index.js +1 -3
  99. package/dist/server/tools/index.js.map +1 -1
  100. package/dist/server/tools/lazy_loaders.d.ts +0 -23
  101. package/dist/server/tools/lazy_loaders.d.ts.map +1 -1
  102. package/dist/server/tools/lazy_loaders.js +2 -33
  103. package/dist/server/tools/lazy_loaders.js.map +1 -1
  104. package/dist/server/tools/middleware.d.ts +2 -5
  105. package/dist/server/tools/middleware.d.ts.map +1 -1
  106. package/dist/server/tools/middleware.js +3 -33
  107. package/dist/server/tools/middleware.js.map +1 -1
  108. package/dist/server/tools/sf_doctor.d.ts +1 -0
  109. package/dist/server/tools/sf_doctor.d.ts.map +1 -1
  110. package/dist/server/tools/sf_doctor.js +15 -1
  111. package/dist/server/tools/sf_doctor.js.map +1 -1
  112. package/dist/server/tools/sf_gate.d.ts +1 -1
  113. package/dist/server/tools/sf_gate.js +2 -2
  114. package/dist/server/tools/sf_gate.js.map +1 -1
  115. package/dist/server/tools/sf_task.js +2 -7
  116. package/dist/server/tools/sf_task.js.map +1 -1
  117. package/dist/server/tools/sf_work.d.ts.map +1 -1
  118. package/dist/server/tools/sf_work.js +18 -6
  119. package/dist/server/tools/sf_work.js.map +1 -1
  120. package/dist/server/tools/types.d.ts +0 -2
  121. package/dist/server/tools/types.d.ts.map +1 -1
  122. package/dist/types/pipeline_types.d.ts +1 -9
  123. package/dist/types/pipeline_types.d.ts.map +1 -1
  124. package/dist/verify/audit/verifier.d.ts.map +1 -1
  125. package/dist/verify/audit/verifier.js +0 -33
  126. package/dist/verify/audit/verifier.js.map +1 -1
  127. package/dist/verify/index.d.ts +1 -4
  128. package/dist/verify/index.d.ts.map +1 -1
  129. package/dist/verify/index.js +0 -3
  130. package/dist/verify/index.js.map +1 -1
  131. package/dist/verify/types.d.ts +0 -21
  132. package/dist/verify/types.d.ts.map +1 -1
  133. package/package.json +2 -1
  134. package/templates/build/enforced.md +73 -0
  135. package/templates/build//344/270/223/351/241/271/345/256/236/347/216/260.md +75 -0
  136. package/templates/build//345/256/211/345/205/250/345/212/240/345/233/272.md +75 -0
  137. package/templates/build//346/265/213/350/257/225/344/274/230/345/205/210/347/274/226/347/240/201.md +50 -79
  138. package/templates/build//346/265/213/350/257/225/350/256/241/345/210/222.md +26 -24
  139. package/templates/build//347/274/226/347/240/201/347/272/252/345/276/213.md +75 -0
  140. package/templates/build//350/260/203/350/257/225/346/216/222/346/237/245.md +44 -75
  141. package/templates/build//351/207/215/346/236/204/346/226/271/346/263/225.md +68 -0
  142. package/templates/design/API/346/216/245/345/217/243/350/247/204/346/240/274/346/226/207/346/241/243.md +31 -28
  143. package/templates/design/enforced.md +47 -77
  144. package/templates/design//345/205/250/347/224/237/345/221/275/345/221/250/346/234/237/345/267/245/344/275/234/346/265/201/345/257/274/350/210/252.md +1 -0
  145. package/templates/design//345/205/274/345/256/271/346/200/247/344/270/216/350/277/201/347/247/273/350/257/204/344/274/260.md +71 -0
  146. package/templates/design//345/206/263/347/255/226/344/270/216/351/200/211/345/236/213.md +70 -0
  147. package/templates/design//345/210/207/347/211/207/350/247/204/345/210/222.md +49 -55
  148. package/templates/design//346/225/260/346/215/256/345/272/223/350/256/276/350/256/241/346/226/207/346/241/243.md +33 -47
  149. package/templates/design//346/236/266/346/236/204/350/256/276/350/256/241.md +41 -83
  150. package/templates/design//351/234/200/346/261/202/345/210/206/346/236/220.md +31 -59
  151. package/templates/operate/enforced.md +11 -0
  152. package/templates/operate//344/270/212/347/272/277/350/247/202/345/257/237.md +53 -32
  153. package/templates/operate//345/217/221/345/270/203/350/257/264/346/230/216.md +3 -0
  154. package/templates/operate//351/203/250/347/275/262/351/205/215/347/275/256.md +83 -0
  155. package/templates/shared/enforced.md +46 -5
  156. package/templates/shared//345/217/215/351/246/210/344/277/256/345/244/215/351/227/255/347/216/257.md +86 -0
  157. package/templates/shared//345/267/245/347/250/213/346/211/247/350/241/214/346/200/273/347/272/262.md +148 -0
  158. package/templates/shared//345/267/245/347/250/213/347/272/252/345/276/213.md +71 -0
  159. package/templates/shared//345/274/200/345/217/221/350/200/205/345/256/252/346/263/225.md +48 -43
  160. package/templates/shared//346/234/272/345/210/266/350/257/264/346/230/216.md +67 -0
  161. package/templates/shared//350/257/201/346/215/256/351/251/261/345/212/250/344/270/216/345/217/215/345/271/273/350/247/211.md +27 -17
  162. package/templates/shared//350/264/241/347/214/256/350/247/204/350/214/203.md +78 -0
  163. package/templates/verify/enforced.md +3 -0
  164. package/templates/verify//344/272/244/344/273/230/345/256/214/345/244/207/346/200/247/345/256/241/346/237/245.md +45 -87
  165. package/templates/verify//344/273/243/347/240/201/345/256/241/346/237/245/346/212/245/345/221/212.md +7 -0
  166. package/templates/verify//345/256/241/346/237/245/346/270/205/345/215/225.md +79 -0
  167. package/templates/verify//351/252/214/350/257/201/346/226/271/346/263/225.md +72 -0
  168. package/dist/context/engine/dependency_scanner.d.ts +0 -23
  169. package/dist/context/engine/dependency_scanner.d.ts.map +0 -1
  170. package/dist/context/engine/dependency_scanner.js +0 -309
  171. package/dist/context/engine/dependency_scanner.js.map +0 -1
  172. package/dist/context/engine/exploration.d.ts +0 -194
  173. package/dist/context/engine/exploration.d.ts.map +0 -1
  174. package/dist/context/engine/exploration.js +0 -712
  175. package/dist/context/engine/exploration.js.map +0 -1
  176. package/dist/context/knowledge/knowledge_acceptance_registry.d.ts +0 -42
  177. package/dist/context/knowledge/knowledge_acceptance_registry.d.ts.map +0 -1
  178. package/dist/context/knowledge/knowledge_acceptance_registry.js +0 -249
  179. package/dist/context/knowledge/knowledge_acceptance_registry.js.map +0 -1
  180. package/dist/context/knowledge/knowledge_scenario_registry.d.ts +0 -26
  181. package/dist/context/knowledge/knowledge_scenario_registry.d.ts.map +0 -1
  182. package/dist/context/knowledge/knowledge_scenario_registry.js +0 -267
  183. package/dist/context/knowledge/knowledge_scenario_registry.js.map +0 -1
  184. package/dist/context/knowledge/knowledge_sovereignty.d.ts +0 -65
  185. package/dist/context/knowledge/knowledge_sovereignty.d.ts.map +0 -1
  186. package/dist/context/knowledge/knowledge_sovereignty.js +0 -199
  187. package/dist/context/knowledge/knowledge_sovereignty.js.map +0 -1
  188. package/dist/context/team_awareness.d.ts +0 -42
  189. package/dist/context/team_awareness.d.ts.map +0 -1
  190. package/dist/context/team_awareness.js +0 -154
  191. package/dist/context/team_awareness.js.map +0 -1
  192. package/dist/context/templates/template_asset_visibility.d.ts +0 -116
  193. package/dist/context/templates/template_asset_visibility.d.ts.map +0 -1
  194. package/dist/context/templates/template_asset_visibility.js +0 -310
  195. package/dist/context/templates/template_asset_visibility.js.map +0 -1
  196. package/dist/gate/conflict_gate.d.ts +0 -53
  197. package/dist/gate/conflict_gate.d.ts.map +0 -1
  198. package/dist/gate/conflict_gate.js +0 -96
  199. package/dist/gate/conflict_gate.js.map +0 -1
  200. package/dist/gate/contracts/capability_action_advisor.d.ts +0 -34
  201. package/dist/gate/contracts/capability_action_advisor.d.ts.map +0 -1
  202. package/dist/gate/contracts/capability_action_advisor.js +0 -165
  203. package/dist/gate/contracts/capability_action_advisor.js.map +0 -1
  204. package/dist/gate/contracts/capability_state_store.d.ts +0 -121
  205. package/dist/gate/contracts/capability_state_store.d.ts.map +0 -1
  206. package/dist/gate/contracts/capability_state_store.js +0 -188
  207. package/dist/gate/contracts/capability_state_store.js.map +0 -1
  208. package/dist/gate/contracts/contract_guard.d.ts +0 -50
  209. package/dist/gate/contracts/contract_guard.d.ts.map +0 -1
  210. package/dist/gate/contracts/contract_guard.js +0 -611
  211. package/dist/gate/contracts/contract_guard.js.map +0 -1
  212. package/dist/gate/contracts/escape_report.d.ts +0 -103
  213. package/dist/gate/contracts/escape_report.d.ts.map +0 -1
  214. package/dist/gate/contracts/escape_report.js +0 -145
  215. package/dist/gate/contracts/escape_report.js.map +0 -1
  216. package/dist/gate/feasibility_checker.d.ts +0 -27
  217. package/dist/gate/feasibility_checker.d.ts.map +0 -1
  218. package/dist/gate/feasibility_checker.js +0 -114
  219. package/dist/gate/feasibility_checker.js.map +0 -1
  220. package/dist/gate/migration_guard.d.ts +0 -22
  221. package/dist/gate/migration_guard.d.ts.map +0 -1
  222. package/dist/gate/migration_guard.js +0 -277
  223. package/dist/gate/migration_guard.js.map +0 -1
  224. package/dist/gate/scope_lease.d.ts +0 -94
  225. package/dist/gate/scope_lease.d.ts.map +0 -1
  226. package/dist/gate/scope_lease.js +0 -180
  227. package/dist/gate/scope_lease.js.map +0 -1
  228. package/dist/git/git_deps.d.ts +0 -85
  229. package/dist/git/git_deps.d.ts.map +0 -1
  230. package/dist/git/git_deps.js +0 -22
  231. package/dist/git/git_deps.js.map +0 -1
  232. package/dist/git/operations.d.ts +0 -173
  233. package/dist/git/operations.d.ts.map +0 -1
  234. package/dist/git/operations.js +0 -350
  235. package/dist/git/operations.js.map +0 -1
  236. package/dist/server/tools/gate_engine.d.ts +0 -17
  237. package/dist/server/tools/gate_engine.d.ts.map +0 -1
  238. package/dist/server/tools/gate_engine.js +0 -17
  239. package/dist/server/tools/gate_engine.js.map +0 -1
  240. package/dist/server/tools/middleware/budget_check.d.ts +0 -35
  241. package/dist/server/tools/middleware/budget_check.d.ts.map +0 -1
  242. package/dist/server/tools/middleware/budget_check.js +0 -69
  243. package/dist/server/tools/middleware/budget_check.js.map +0 -1
  244. package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts +0 -16
  245. package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts.map +0 -1
  246. package/dist/shared/contracts/contract_registry/builtin_contracts_core.js +0 -306
  247. package/dist/shared/contracts/contract_registry/builtin_contracts_core.js.map +0 -1
  248. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts +0 -16
  249. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts.map +0 -1
  250. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js +0 -304
  251. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js.map +0 -1
  252. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts +0 -16
  253. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts.map +0 -1
  254. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js +0 -434
  255. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js.map +0 -1
  256. package/dist/shared/contracts/contract_registry/index.d.ts +0 -8
  257. package/dist/shared/contracts/contract_registry/index.d.ts.map +0 -1
  258. package/dist/shared/contracts/contract_registry/index.js +0 -7
  259. package/dist/shared/contracts/contract_registry/index.js.map +0 -1
  260. package/dist/shared/contracts/contract_registry/registry.d.ts +0 -62
  261. package/dist/shared/contracts/contract_registry/registry.d.ts.map +0 -1
  262. package/dist/shared/contracts/contract_registry/registry.js +0 -191
  263. package/dist/shared/contracts/contract_registry/registry.js.map +0 -1
  264. package/dist/shared/contracts/contract_registry/registry_internal.d.ts +0 -19
  265. package/dist/shared/contracts/contract_registry/registry_internal.d.ts.map +0 -1
  266. package/dist/shared/contracts/contract_registry/registry_internal.js +0 -54
  267. package/dist/shared/contracts/contract_registry/registry_internal.js.map +0 -1
  268. package/dist/shared/contracts/contract_registry/types.d.ts +0 -47
  269. package/dist/shared/contracts/contract_registry/types.d.ts.map +0 -1
  270. package/dist/shared/contracts/contract_registry/types.js +0 -5
  271. package/dist/shared/contracts/contract_registry/types.js.map +0 -1
  272. package/dist/shared/contracts/contract_registry/validation.d.ts +0 -25
  273. package/dist/shared/contracts/contract_registry/validation.d.ts.map +0 -1
  274. package/dist/shared/contracts/contract_registry/validation.js +0 -363
  275. package/dist/shared/contracts/contract_registry/validation.js.map +0 -1
  276. package/dist/shared/llm_gateway.d.ts +0 -186
  277. package/dist/shared/llm_gateway.d.ts.map +0 -1
  278. package/dist/shared/llm_gateway.js +0 -393
  279. package/dist/shared/llm_gateway.js.map +0 -1
  280. package/dist/verify/audit/audit_sampler.d.ts +0 -29
  281. package/dist/verify/audit/audit_sampler.d.ts.map +0 -1
  282. package/dist/verify/audit/audit_sampler.js +0 -42
  283. package/dist/verify/audit/audit_sampler.js.map +0 -1
  284. package/dist/verify/audit/debt_reporter.d.ts +0 -22
  285. package/dist/verify/audit/debt_reporter.d.ts.map +0 -1
  286. package/dist/verify/audit/debt_reporter.js +0 -107
  287. package/dist/verify/audit/debt_reporter.js.map +0 -1
  288. package/dist/verify/audit/debugger.d.ts +0 -25
  289. package/dist/verify/audit/debugger.d.ts.map +0 -1
  290. package/dist/verify/audit/debugger.js +0 -429
  291. package/dist/verify/audit/debugger.js.map +0 -1
  292. package/dist/verify/audit/degradation.d.ts +0 -62
  293. package/dist/verify/audit/degradation.d.ts.map +0 -1
  294. package/dist/verify/audit/degradation.js +0 -78
  295. package/dist/verify/audit/degradation.js.map +0 -1
  296. package/dist/verify/audit/developer_sovereignty.d.ts +0 -29
  297. package/dist/verify/audit/developer_sovereignty.d.ts.map +0 -1
  298. package/dist/verify/audit/developer_sovereignty.js +0 -137
  299. package/dist/verify/audit/developer_sovereignty.js.map +0 -1
  300. package/dist/verify/audit/failure_report.d.ts +0 -76
  301. package/dist/verify/audit/failure_report.d.ts.map +0 -1
  302. package/dist/verify/audit/failure_report.js +0 -145
  303. package/dist/verify/audit/failure_report.js.map +0 -1
  304. package/dist/verify/audit/governance_report.d.ts +0 -110
  305. package/dist/verify/audit/governance_report.d.ts.map +0 -1
  306. package/dist/verify/audit/governance_report.js +0 -194
  307. package/dist/verify/audit/governance_report.js.map +0 -1
  308. package/dist/verify/audit/mutation_audit.d.ts +0 -40
  309. package/dist/verify/audit/mutation_audit.d.ts.map +0 -1
  310. package/dist/verify/audit/mutation_audit.js +0 -154
  311. package/dist/verify/audit/mutation_audit.js.map +0 -1
  312. package/dist/verify/audit/risk_sampler.d.ts +0 -44
  313. package/dist/verify/audit/risk_sampler.d.ts.map +0 -1
  314. package/dist/verify/audit/risk_sampler.js +0 -80
  315. package/dist/verify/audit/risk_sampler.js.map +0 -1
  316. package/dist/verify/audit/runtime_safety.d.ts +0 -89
  317. package/dist/verify/audit/runtime_safety.d.ts.map +0 -1
  318. package/dist/verify/audit/runtime_safety.js +0 -209
  319. package/dist/verify/audit/runtime_safety.js.map +0 -1
  320. package/dist/verify/audit/semantic_evidence.d.ts +0 -36
  321. package/dist/verify/audit/semantic_evidence.d.ts.map +0 -1
  322. package/dist/verify/audit/semantic_evidence.js +0 -90
  323. package/dist/verify/audit/semantic_evidence.js.map +0 -1
  324. package/dist/verify/audit/test_generator.d.ts +0 -23
  325. package/dist/verify/audit/test_generator.d.ts.map +0 -1
  326. package/dist/verify/audit/test_generator.js +0 -278
  327. package/dist/verify/audit/test_generator.js.map +0 -1
  328. package/dist/verify/audit/test_quality.d.ts +0 -49
  329. package/dist/verify/audit/test_quality.d.ts.map +0 -1
  330. package/dist/verify/audit/test_quality.js +0 -684
  331. package/dist/verify/audit/test_quality.js.map +0 -1
  332. package/dist/verify/change_coordinator.d.ts +0 -45
  333. package/dist/verify/change_coordinator.d.ts.map +0 -1
  334. package/dist/verify/change_coordinator.js +0 -168
  335. package/dist/verify/change_coordinator.js.map +0 -1
  336. package/dist/verify/contracts/decision_contract.d.ts +0 -51
  337. package/dist/verify/contracts/decision_contract.d.ts.map +0 -1
  338. package/dist/verify/contracts/decision_contract.js +0 -70
  339. package/dist/verify/contracts/decision_contract.js.map +0 -1
  340. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts +0 -17
  341. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts.map +0 -1
  342. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js +0 -428
  343. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js.map +0 -1
  344. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts +0 -17
  345. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts.map +0 -1
  346. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js +0 -429
  347. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js.map +0 -1
  348. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts +0 -17
  349. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts.map +0 -1
  350. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js +0 -194
  351. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js.map +0 -1
  352. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts +0 -17
  353. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts.map +0 -1
  354. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js +0 -365
  355. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js.map +0 -1
  356. package/dist/verify/contracts/mechanism_contract_registry/index.d.ts +0 -19
  357. package/dist/verify/contracts/mechanism_contract_registry/index.d.ts.map +0 -1
  358. package/dist/verify/contracts/mechanism_contract_registry/index.js +0 -21
  359. package/dist/verify/contracts/mechanism_contract_registry/index.js.map +0 -1
  360. package/dist/verify/contracts/mechanism_contract_registry/types.d.ts +0 -33
  361. package/dist/verify/contracts/mechanism_contract_registry/types.d.ts.map +0 -1
  362. package/dist/verify/contracts/mechanism_contract_registry/types.js +0 -5
  363. package/dist/verify/contracts/mechanism_contract_registry/types.js.map +0 -1
  364. package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts +0 -38
  365. package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts.map +0 -1
  366. package/dist/verify/contracts/mechanism_contract_registry/validation.js +0 -136
  367. package/dist/verify/contracts/mechanism_contract_registry/validation.js.map +0 -1
  368. package/templates/build/Bug/345/210/206/346/236/220.md +0 -59
  369. package/templates/build/Git/346/223/215/344/275/234.md +0 -48
  370. package/templates/build/OOD/350/256/276/350/256/241/346/221/230/350/246/201.md +0 -46
  371. package/templates/build/React/346/216/245/345/217/243/351/233/206/346/210/220.md +0 -42
  372. package/templates/build/Schema/345/217/230/346/233/264/346/265/201/346/260/264/347/272/277.md +0 -52
  373. package/templates/build/TS/350/264/250/351/207/217/345/256/241/346/237/245.md +0 -78
  374. package/templates/build//344/270/212/346/270/270/344/272/244/345/217/211/351/252/214/350/257/201.md +0 -68
  375. package/templates/build//344/270/273/351/223/276/350/267/257/346/216/245/345/205/245/351/252/214/350/257/201.md +0 -56
  376. package/templates/build//344/273/243/347/240/201/351/227/250/347/246/201.md +0 -58
  377. package/templates/build//345/205/250/346/240/210/346/265/201/347/250/213/344/277/256/345/244/215.md +0 -48
  378. package/templates/build//345/210/207/347/211/207/346/211/247/350/241/214/347/272/252/345/276/213.md +0 -108
  379. package/templates/build//345/210/207/347/211/207/347/253/257/345/210/260/347/253/257/351/252/214/350/257/201.md +0 -221
  380. package/templates/build//345/212/237/350/203/275/345/274/200/345/217/221.md +0 -66
  381. package/templates/build//345/220/216/347/253/257/345/256/236/347/216/260.md +0 -39
  382. package/templates/build//345/220/216/347/253/257/345/256/236/347/216/260/345/267/245/347/250/213.md +0 -33
  383. package/templates/build//345/220/216/347/253/257/345/256/236/347/216/260/345/267/245/347/250/213/345/256/241/346/237/245.md +0 -70
  384. package/templates/build//345/220/216/347/253/257/346/216/245/345/217/243/345/256/236/347/216/260.md +0 -43
  385. package/templates/build//345/233/275/351/231/205/345/214/226.md +0 -45
  386. package/templates/build//345/256/211/345/205/250/345/212/240/345/233/272/346/265/201/346/260/264/347/272/277.md +0 -68
  387. package/templates/build//345/256/211/345/205/250/345/256/241/346/237/245.md +0 -154
  388. package/templates/build//345/256/211/345/205/250/345/256/241/350/256/241.md +0 -47
  389. package/templates/build//345/267/245/347/250/213/347/272/252/345/276/213.md +0 -56
  390. package/templates/build//346/200/247/350/203/275/345/210/206/346/236/220.md +0 -59
  391. package/templates/build//346/200/247/350/203/275/346/265/201/346/260/264/347/272/277.md +0 -53
  392. package/templates/build//346/216/245/345/217/243/351/233/206/346/210/220/346/265/201/346/260/264/347/272/277.md +0 -76
  393. package/templates/build//346/225/260/346/215/256/345/272/223/350/277/201/347/247/273.md +0 -63
  394. package/templates/build//346/226/260/350/200/201/351/200/273/350/276/221/346/257/224/345/257/271/346/227/245/345/277/227.md +0 -39
  395. package/templates/build//346/235/203/351/231/220/350/256/244/350/257/201.md +0 -49
  396. package/templates/build//346/265/213/350/257/225/350/264/250/351/207/217.md +0 -45
  397. package/templates/build//347/206/224/346/226/255/351/231/215/347/272/247.md +0 -49
  398. package/templates/build//347/212/266/346/200/201/346/265/201/350/275/254.md +0 -43
  399. package/templates/build//347/213/254/347/253/213/345/256/241/346/237/245.md +0 -45
  400. package/templates/build//347/272/246/346/235/237/345/256/236/347/216/260.md +0 -47
  401. package/templates/build//347/274/226/347/240/201/345/260/261/347/273/252/345/256/241/346/237/245.md +0 -60
  402. package/templates/build//347/274/226/347/240/201/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -22
  403. package/templates/build//347/274/226/347/240/201/350/264/250/351/207/217.md +0 -46
  404. package/templates/build//347/274/226/347/240/201/351/230/266/346/256/265/346/211/247/350/241/214.md +0 -105
  405. package/templates/build//347/274/272/351/231/267/347/256/241/347/220/206.md +0 -47
  406. package/templates/build//350/200/246/345/220/210/346/243/200/346/265/213.md +0 -86
  407. package/templates/build//350/246/206/347/233/226/347/216/207/346/240/207/345/207/206.md +0 -40
  408. package/templates/build//350/264/250/351/207/217/345/256/241/346/237/245.md +0 -111
  409. package/templates/build//350/277/201/347/247/273/346/265/201/346/260/264/347/272/277.md +0 -52
  410. package/templates/build//351/200/232/347/224/250/350/264/250/351/207/217.md +0 -176
  411. package/templates/build//351/207/215/346/236/204/346/226/271/346/241/210.md +0 -61
  412. package/templates/build//351/207/215/346/236/204/346/265/201/346/260/264/347/272/277.md +0 -53
  413. package/templates/build//351/230/262/345/276/241/346/200/247/347/274/226/347/240/201.md +0 -94
  414. package/templates/build//351/233/206/346/210/220/351/252/214/350/257/201.md +0 -67
  415. package/templates/build//351/233/267/345/214/272/345/217/215/346/250/241/345/274/217.md +0 -135
  416. package/templates/build//351/252/214/346/224/266/346/240/207/345/207/206/345/256/241/346/237/245.md +0 -64
  417. package/templates/build//351/252/214/346/224/266/346/265/213/350/257/225/350/247/204/345/210/222.md +0 -75
  418. package/templates/design/API/350/256/276/350/256/241.md +0 -47
  419. package/templates/design/N/345/212/2401/346/237/245/350/257/242.md +0 -48
  420. package/templates/design/OOD/350/256/276/350/256/241.md +0 -72
  421. package/templates/design//344/270/200/350/207/264/346/200/247/346/240/241/351/252/214.md +0 -109
  422. package/templates/design//344/270/215/347/241/256/345/256/232/346/227/266/345/244/264/350/204/221/351/243/216/346/232/264.md +0 -105
  423. package/templates/design//344/273/273/345/212/241/346/213/206/350/247/243.md +0 -61
  424. package/templates/design//344/273/273/345/212/241/350/247/204/345/210/222.md +0 -84
  425. package/templates/design//344/274/232/350/257/235/346/201/242/345/244/215-procedures.md +0 -78
  426. package/templates/design//345/205/274/345/256/271/346/200/247/346/243/200/346/237/245.md +0 -89
  427. package/templates/design//345/210/207/347/211/207/350/256/241/345/210/222.md +0 -149
  428. package/templates/design//345/211/215/347/253/257/346/200/247/350/203/275.md +0 -49
  429. package/templates/design//345/216/206/345/217/262/351/201/227/347/225/231/351/233/267/345/214/272/346/270/205/345/215/225.md +0 -50
  430. package/templates/design//345/216/237/345/236/213/346/272/220/347/240/201/346/217/220/345/217/226.md +0 -78
  431. package/templates/design//345/216/237/345/236/213/350/257/264/346/230/216.md +0 -200
  432. package/templates/design//345/216/237/345/236/213/350/257/264/346/230/216/345/256/241/346/237/245.md +0 -81
  433. package/templates/design//345/220/221/345/220/216/345/205/274/345/256/271/346/200/247/345/220/210/350/247/204/346/212/245/345/221/212.md +0 -52
  434. package/templates/design//345/221/275/344/273/244/346/211/247/350/241/214-procedures.md +0 -45
  435. package/templates/design//345/221/275/344/273/244/350/267/257/347/224/261-procedures.md +0 -46
  436. package/templates/design//345/221/275/345/220/215.md +0 -49
  437. package/templates/design//345/242/236/351/207/217/350/276/271/347/225/214/347/225/214/345/256/232/346/226/207/346/241/243.md +0 -48
  438. package/templates/design//345/267/245/345/205/267/350/260/203/347/224/250-procedures.md +0 -41
  439. package/templates/design//345/271/266/345/217/221/346/216/247/345/210/266.md +0 -50
  440. package/templates/design//346/212/200/346/234/257/351/200/211/345/236/213.md +0 -33
  441. package/templates/design//346/216/245/345/217/243/345/257/271/346/216/245/346/226/271/346/241/210.md +0 -97
  442. package/templates/design//346/224/271/351/200/240/345/275/261/345/223/215/350/214/203/345/233/264/350/257/204/344/274/260.md +0 -56
  443. package/templates/design//346/225/260/346/215/256/345/272/223/345/217/230/346/233/264/346/226/271/346/241/210.md +0 -75
  444. package/templates/design//346/225/260/346/215/256/350/241/200/347/274/230/345/233/276.md +0 -49
  445. package/templates/design//346/227/240/351/232/234/347/242/215.md +0 -49
  446. package/templates/design//346/236/266/346/236/204/345/206/263/347/255/226/350/256/260/345/275/225.md +0 -53
  447. package/templates/design//346/236/266/346/236/204/345/256/241/346/237/245.md +0 -256
  448. package/templates/design//346/236/266/346/236/204/350/256/276/350/256/241-constraints.md +0 -177
  449. package/templates/design//346/236/266/346/236/204/350/256/276/350/256/241-procedures.md +0 -130
  450. package/templates/design//346/246/202/345/277/265/351/252/214/350/257/201/346/265/201/346/260/264/347/272/277.md +0 -47
  451. package/templates/design//346/272/220/347/240/201/345/216/237/345/236/213/344/272/244/344/273/230.md +0 -58
  452. package/templates/design//347/216/260/346/234/211/347/263/273/347/273/237/345/267/256/350/267/235/345/210/206/346/236/220.md +0 -114
  453. package/templates/design//347/237/245/350/257/206/347/273/264/346/212/244/346/265/201/346/260/264/347/272/277.md +0 -64
  454. package/templates/design//347/254/254/344/270/200/346/200/247/345/216/237/347/220/206/346/216/250/347/220/206.md +0 -182
  455. package/templates/design//347/264/247/346/200/245/345/233/236/346/273/232/346/211/213/345/206/214.md +0 -77
  456. package/templates/design//347/274/226/347/240/201/345/211/215/346/276/204/346/270/205.md +0 -85
  457. package/templates/design//350/200/201/347/263/273/347/273/237/345/210/207/347/211/207/350/247/204/345/210/222.md +0 -48
  458. package/templates/design//350/207/252/344/270/273/351/200/211/345/236/213.md +0 -57
  459. package/templates/design//350/256/276/350/256/241/344/270/200/350/207/264/346/200/247/351/252/214/346/224/266/346/212/245/345/221/212.md +0 -34
  460. package/templates/design//350/256/276/350/256/241/344/272/247/347/211/251/347/224/237/346/210/220/344/270/216/345/244/215/351/252/214.md +0 -60
  461. package/templates/design//350/256/276/350/256/241/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -21
  462. package/templates/design//350/257/246/347/273/206/350/256/276/350/256/241-procedures.md +0 -123
  463. package/templates/design//350/257/246/347/273/206/350/256/276/350/256/241.md +0 -109
  464. package/templates/design//350/257/246/347/273/206/350/256/276/350/256/241/345/256/241/346/237/245.md +0 -88
  465. package/templates/design//350/260/203/350/257/225/346/226/271/346/263/225/350/256/272.md +0 -43
  466. package/templates/design//350/277/201/347/247/273/350/257/204/344/274/260.md +0 -67
  467. package/templates/design//351/232/224/347/246/273/351/200/202/351/205/215/345/231/250/346/226/271/346/241/210.md +0 -44
  468. package/templates/design//351/234/200/346/261/202/346/276/204/346/270/205.md +0 -65
  469. package/templates/design//351/234/200/346/261/202/350/264/250/351/207/217/345/256/241/346/237/245.md +0 -88
  470. package/templates/design//351/242/206/345/237/237/351/251/261/345/212/250/350/256/276/350/256/241.md +0 -43
  471. package/templates/operate//345/217/221/345/270/203/350/257/264/346/230/216/345/256/241/346/237/245.md +0 -60
  472. package/templates/operate//350/277/220/347/273/264/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -22
  473. package/templates/operate//351/203/250/347/275/262/351/205/215/347/275/256/345/256/241/346/237/245.md +0 -59
  474. package/templates/shared/Diff/345/275/222/345/261/236/350/277/275/350/270/252.md +0 -55
  475. package/templates/shared/Java/350/264/250/351/207/217/351/227/250/347/246/201.md +0 -54
  476. package/templates/shared/LLM/351/242/204/347/256/227/347/275/221/345/205/263.md +0 -54
  477. package/templates/shared/OOD/344/270/216SOLID/350/256/276/350/256/241.md +0 -48
  478. package/templates/shared//344/272/247/347/211/251Schema/346/263/250/345/206/214/344/270/255/345/277/203.md +0 -57
  479. package/templates/shared//344/272/247/347/211/251/345/245/221/347/272/246.md +0 -44
  480. package/templates/shared//344/273/243/347/240/201/346/263/250/351/207/212/344/270/216/346/227/245/345/277/227/345/245/221/347/272/246.md +0 -116
  481. package/templates/shared//344/273/273/345/212/241/344/270/212/344/270/213/346/226/207/347/224/237/345/221/275/345/221/250/346/234/237.md +0 -45
  482. package/templates/shared//344/273/273/345/212/241/347/212/266/346/200/201/346/234/272.md +0 -55
  483. package/templates/shared//344/273/273/345/212/241/347/256/241/347/220/206/345/231/250.md +0 -55
  484. package/templates/shared//344/274/230/351/233/205/345/201/234/346/234/272.md +0 -43
  485. package/templates/shared//344/275/234/347/224/250/345/237/237/344/270/216/345/257/206/351/222/245/346/213/246/346/210/252.md +0 -54
  486. package/templates/shared//344/275/234/347/224/250/345/237/237/347/247/237/347/272/246.md +0 -55
  487. package/templates/shared//345/206/262/347/252/201/351/227/250/347/246/201.md +0 -55
  488. package/templates/shared//345/206/263/347/255/226/347/275/221/345/205/263.md +0 -61
  489. package/templates/shared//345/210/207/347/211/207/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -72
  490. package/templates/shared//345/217/230/345/274/202/345/256/241/350/256/241.md +0 -58
  491. package/templates/shared//345/220/216/347/253/257/345/256/236/347/216/260/345/267/245/347/250/213/345/245/221/347/272/246.md +0 -40
  492. package/templates/shared//345/221/275/344/273/244/346/211/247/350/241/214.md +0 -48
  493. package/templates/shared//345/221/275/344/273/244/350/267/257/347/224/261.md +0 -45
  494. package/templates/shared//345/233/236/345/275/222/347/237/251/351/230/265.md +0 -54
  495. package/templates/shared//345/244/232/347/247/237/346/210/267.md +0 -49
  496. package/templates/shared//345/256/241/350/256/241/346/227/245/345/277/227.md +0 -46
  497. package/templates/shared//345/257/274/345/205/245/345/257/274/345/207/272.md +0 -51
  498. package/templates/shared//345/267/245/344/275/234/345/214/272/344/272/222/346/226/245/351/224/201.md +0 -52
  499. package/templates/shared//345/267/245/344/275/234/345/214/272/345/224/244/351/206/222.md +0 -54
  500. package/templates/shared//345/267/245/344/275/234/346/265/201/345/245/221/347/272/246.md +0 -42
  501. package/templates/shared//345/267/245/344/275/234/346/265/201/345/274/225/346/223/216.md +0 -50
  502. package/templates/shared//345/267/245/344/275/234/346/265/201/346/250/241/347/211/210/345/214/205.md +0 -34
  503. package/templates/shared//345/267/245/345/205/267/350/260/203/347/224/250.md +0 -48
  504. package/templates/shared//345/271/266/345/217/221/351/224/201.md +0 -57
  505. package/templates/shared//346/211/247/350/241/214/345/256/210/345/215/253/350/257/204/344/274/260.md +0 -47
  506. package/templates/shared//346/211/251/345/261/225/347/224/237/345/221/275/345/221/250/346/234/237.md +0 -34
  507. package/templates/shared//346/212/200/346/234/257/345/206/263/347/255/226/344/270/273/346/235/203.md +0 -50
  508. package/templates/shared//346/212/245/350/241/250/347/273/237/350/256/241.md +0 -50
  509. package/templates/shared//346/224/257/344/273/230.md +0 -51
  510. package/templates/shared//346/225/217/346/204/237/344/277/241/346/201/257/345/244/204/347/220/206.md +0 -77
  511. package/templates/shared//346/225/217/346/204/237/344/277/241/346/201/257/346/211/253/346/217/217.md +0 -53
  512. package/templates/shared//346/225/260/346/215/256/346/235/203/351/231/220.md +0 -47
  513. package/templates/shared//346/226/275/345/267/245/346/214/207/344/273/244/345/245/221/347/272/246.md +0 -69
  514. package/templates/shared//346/227/245/345/277/227/346/262/273/347/220/206.md +0 -31
  515. package/templates/shared//346/234/272/345/210/266/350/207/252/346/262/273/347/220/206.md +0 -31
  516. package/templates/shared//346/240/207/345/207/206/350/265/204/344/272/247/350/246/206/347/233/226.md +0 -50
  517. package/templates/shared//346/240/270/345/277/203/344/275/223/351/252/214/345/216/237/345/210/231.md +0 -38
  518. package/templates/shared//346/240/270/345/277/203/345/267/245/347/250/213/346/211/247/350/241/214/345/216/237/345/210/231.md +0 -154
  519. package/templates/shared//346/250/241/347/211/210Frontmatter.md +0 -125
  520. package/templates/shared//346/250/241/347/211/210/350/264/241/347/214/256/346/214/207/345/215/227.md +0 -282
  521. package/templates/shared//346/250/241/347/211/210/350/265/204/344/272/247/345/217/257/350/247/201/346/200/247.md +0 -48
  522. package/templates/shared//346/262/273/347/220/206/350/277/220/350/241/214/346/227/266/345/276/252/347/216/257.md +0 -56
  523. package/templates/shared//346/263/250/345/206/214/350/241/250/345/237/272/347/241/200/350/256/276/346/226/275.md +0 -49
  524. package/templates/shared//346/265/201/345/274/217/345/277/203/350/267/263.md +0 -64
  525. package/templates/shared//346/274/224/350/277/233/345/233/236/345/275/222/351/227/250/346/216/247.md +0 -50
  526. package/templates/shared//347/224/250/346/210/267/345/217/215/351/246/210/345/245/221/347/272/246.md +0 -86
  527. package/templates/shared//347/237/245/350/257/206/344/270/273/346/235/203.md +0 -66
  528. package/templates/shared//347/237/245/350/257/206/346/262/273/347/220/206.md +0 -31
  529. package/templates/shared//347/237/245/350/257/206/346/263/250/345/205/245/350/276/271/347/225/214.md +0 -47
  530. package/templates/shared//347/273/206/350/212/202/347/272/252/345/276/213.md +0 -54
  531. package/templates/shared//350/204/221/346/232/264/344/270/216/346/226/271/346/241/210/346/216/242/347/264/242.md +0 -51
  532. package/templates/shared//350/256/241/345/210/222/345/211/215/347/275/256/351/227/250.md +0 -47
  533. package/templates/shared//350/256/276/350/256/241/344/272/247/347/211/251/345/214/205.md +0 -58
  534. package/templates/shared//350/257/255/344/271/211/350/257/201/346/215/256.md +0 -55
  535. package/templates/shared//350/267/250/345/271/263/345/217/260/350/267/257/345/276/204/345/256/211/345/205/250.md +0 -41
  536. package/templates/shared//350/276/223/345/205/245/346/235/220/346/226/231/345/245/221/347/272/246.md +0 -50
  537. package/templates/shared//350/277/220/350/241/214/345/256/211/345/205/250/345/214/205.md +0 -58
  538. package/templates/shared//351/200/232/347/224/250/345/206/263/347/255/226/347/240/224/350/256/250.md +0 -62
  539. package/templates/shared//351/200/232/347/224/250/346/234/272/346/242/260/346/235/241/346/254/276.md +0 -47
  540. package/templates/shared//351/200/232/347/237/245.md +0 -50
  541. package/templates/shared//351/203/250/347/275/262/351/205/215/347/275/256.md +0 -14
  542. package/templates/shared//351/205/215/347/275/256/344/274/230/345/205/210/347/272/247.md +0 -67
  543. package/templates/shared//351/205/215/347/275/256/350/220/275/347/233/230/350/276/271/347/225/214.md +0 -32
  544. package/templates/shared//351/230/262/345/255/244/345/262/233/345/256/236/347/216/260.md +0 -51
  545. package/templates/shared//351/233/266/351/205/215/347/275/256/345/210/235/345/247/213/345/214/226.md +0 -57
  546. package/templates/shared//351/252/214/346/224/266/346/250/241/347/211/210/350/276/223/345/207/272/345/245/221/347/272/246.md +0 -71
  547. package/templates/shared//351/252/214/350/257/201/345/221/275/344/273/244/347/224/237/346/210/220.md +0 -55
  548. package/templates/shared//351/252/214/350/257/201/345/245/221/347/272/246.md +0 -48
  549. package/templates/verify/Docker/351/203/250/347/275/262.md +0 -46
  550. package/templates/verify/POC/347/273/223/350/256/272.md +0 -53
  551. package/templates/verify/React/345/210/227/350/241/250/350/241/250/346/240/274.md +0 -43
  552. package/templates/verify/React/347/212/266/346/200/201/347/256/241/347/220/206.md +0 -42
  553. package/templates/verify/React/347/273/204/344/273/266.md +0 -42
  554. package/templates/verify/React/350/241/250/345/215/225.md +0 -43
  555. package/templates/verify/React/350/267/257/347/224/261.md +0 -43
  556. package/templates/verify/SOLID/344/273/243/347/240/201/345/256/241/346/237/245.md +0 -74
  557. package/templates/verify/SOLID/350/256/276/350/256/241.md +0 -31
  558. package/templates/verify/Schema/345/205/274/345/256/271.md +0 -42
  559. package/templates/verify/Vue/347/212/266/346/200/201/347/256/241/347/220/206.md +0 -42
  560. package/templates/verify/Vue/347/273/204/344/273/266.md +0 -42
  561. package/templates/verify/Vue/350/267/257/347/224/261.md +0 -43
  562. package/templates/verify//344/270/212/346/270/270/350/256/276/350/256/241/344/272/244/345/217/211/351/252/214/350/257/201/345/256/241/346/237/245.md +0 -76
  563. package/templates/verify//344/270/273/351/223/276/350/267/257/346/216/245/345/205/245.md +0 -38
  564. package/templates/verify//344/272/213/344/273/266/351/251/261/345/212/250.md +0 -46
  565. package/templates/verify//344/272/213/345/212/241/346/250/241/345/274/217.md +0 -42
  566. package/templates/verify//344/273/243/347/240/201/345/217/257/347/273/264/346/212/244/346/200/247/344/270/216/345/217/257/350/247/202/346/265/213/346/200/247/345/256/241/346/237/245.md +0 -92
  567. package/templates/verify//344/273/243/347/240/201/346/263/250/351/207/212/344/270/216/346/227/245/345/277/227/351/252/214/346/224/266.md +0 -64
  568. package/templates/verify//344/274/232/350/257/235/346/201/242/345/244/215.md +0 -46
  569. package/templates/verify//345/206/263/347/255/226/345/256/214/346/225/264/346/200/247/345/256/241/346/237/245.md +0 -71
  570. package/templates/verify//345/210/206/351/241/265/346/237/245/350/257/242.md +0 -41
  571. package/templates/verify//345/211/215/347/253/257/351/241/265/351/235/242.md +0 -40
  572. package/templates/verify//345/216/206/345/217/262/346/225/260/346/215/256/346/270/205/346/264/227/350/204/232/346/234/254.md +0 -55
  573. package/templates/verify//345/217/221/345/270/203/345/220/216/345/256/241/346/237/245.md +0 -73
  574. package/templates/verify//345/220/216/347/253/257API.md +0 -39
  575. package/templates/verify//345/242/236/345/210/240/346/224/271/346/237/245.md +0 -45
  576. package/templates/verify//345/244/226/351/203/250/344/276/235/350/265/226.md +0 -43
  577. package/templates/verify//345/245/221/347/272/246/345/205/274/345/256/271.md +0 -42
  578. package/templates/verify//345/256/232/346/227/266/344/273/273/345/212/241.md +0 -39
  579. package/templates/verify//345/256/236/346/227/266/346/216/250/351/200/201.md +0 -48
  580. package/templates/verify//345/256/241/346/237/245/346/221/230/350/246/201.md +0 -58
  581. package/templates/verify//345/267/245/344/275/234/346/265/201.md +0 -38
  582. package/templates/verify//345/271/266/345/217/221/345/256/241/346/237/245.md +0 -132
  583. package/templates/verify//345/274/202/346/255/245/345/257/274/345/207/272.md +0 -41
  584. package/templates/verify//346/200/247/350/203/275/345/256/241/346/237/245.md +0 -110
  585. package/templates/verify//346/216/245/345/217/243/345/245/221/347/272/246.md +0 -44
  586. package/templates/verify//346/216/245/345/217/243/345/245/221/347/272/246/345/256/241/346/237/245.md +0 -131
  587. package/templates/verify//346/220/234/347/264/242/346/250/241/345/274/217.md +0 -47
  588. package/templates/verify//346/225/205/351/232/234/345/244/215/347/233/230.md +0 -67
  589. package/templates/verify//346/225/260/346/215/256/345/272/223/345/217/230/346/233/264.md +0 -37
  590. package/templates/verify//346/225/260/346/215/256/351/232/220/347/247/201.md +0 -46
  591. package/templates/verify//346/226/207/344/273/266/344/270/212/344/274/240.md +0 -45
  592. package/templates/verify//346/227/245/345/277/227.md +0 -45
  593. package/templates/verify//346/234/254/345/234/260/346/265/217/350/247/210/345/231/250/351/252/214/346/224/266.md +0 -94
  594. package/templates/verify//346/240/270/345/277/203/345/267/245/347/250/213/346/211/247/350/241/214.md +0 -65
  595. package/templates/verify//347/237/245/350/257/206/346/263/250/345/205/245.md +0 -38
  596. package/templates/verify//347/264/247/346/200/245/344/277/256/345/244/215/346/265/201/346/260/264/347/272/277.md +0 -76
  597. package/templates/verify//347/274/223/345/255/230/347/255/226/347/225/245.md +0 -45
  598. package/templates/verify//350/201/224/350/260/203/350/256/276/350/256/241/347/274/272/351/231/267/345/210/244/345/256/232.md +0 -67
  599. package/templates/verify//350/201/224/350/260/203/351/252/214/350/257/201.md +0 -87
  600. package/templates/verify//350/256/276/350/256/241/345/256/241/350/256/241.md +0 -184
  601. package/templates/verify//350/257/225/350/277/220/350/241/214/347/206/224/346/226/255.md +0 -74
  602. package/templates/verify//350/276/223/345/205/245/346/240/241/351/252/214.md +0 -44
  603. package/templates/verify//351/203/250/347/275/262/345/217/221/345/270/203.md +0 -101
  604. package/templates/verify//351/224/231/350/257/257/345/244/204/347/220/206.md +0 -46
  605. package/templates/verify//351/224/231/350/257/257/350/276/271/347/225/214.md +0 -38
  606. package/templates/verify//351/232/220/347/247/201/345/256/241/346/237/245.md +0 -37
  607. package/templates/verify//351/252/214/350/257/201.md +0 -38
  608. package/templates/verify//351/252/214/350/257/201/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -22
@@ -1,96 +0,0 @@
1
- /**
2
- * Conflict Gate — 管线层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:GateSeverity 等 管线层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:状态机、工具层
9
- * 调用谁:diff_ownership_store、scope_lease、logger
10
- *
11
- * 数据流:用户意图 → 解析/扩展 → 执行 → 输出
12
- * 持久化:无持久化(纯计算/内存态)
13
- */
14
- import { debug } from "../shared/logger.js";
15
- export class ConflictGate {
16
- diffOwnership;
17
- scopeLease;
18
- constructor(diffOwnership, scopeLease) {
19
- this.diffOwnership = diffOwnership;
20
- this.scopeLease = scopeLease;
21
- }
22
- /**
23
- * 写前统一检查 CAS + 租约冲突。
24
- *
25
- * @param taskId - 任务 ID
26
- * @param filePath - 待写入文件路径
27
- * @returns 冲突检测结果
28
- */
29
- preWriteGate(taskId, filePath) {
30
- debug("冲突门禁", "preWriteGate() — taskId:", taskId, "filePath:", filePath);
31
- const entries = [];
32
- // CAS 检查
33
- const { conflict } = this.diffOwnership.preWriteCheck(taskId, filePath);
34
- if (conflict) {
35
- entries.push({
36
- source: "cas",
37
- severity: "advisory",
38
- file_path: filePath,
39
- message: conflict.message,
40
- detail: conflict,
41
- });
42
- }
43
- // 租约检查
44
- const leaseConflict = this.scopeLease.queryLease(taskId, filePath);
45
- if (leaseConflict) {
46
- entries.push({
47
- source: "lease",
48
- severity: "advisory",
49
- file_path: filePath,
50
- message: leaseConflict.message,
51
- detail: leaseConflict,
52
- });
53
- }
54
- const hasConflict = entries.length > 0;
55
- if (hasConflict) {
56
- debug("冲突门禁", "写前冲突检测 —", filePath, "冲突数:", entries.length);
57
- }
58
- const recommendedAction = inferRecommendedAction(entries);
59
- const summary = hasConflict
60
- ? entries.map(e => `[${e.source}] ${e.message}`).join("; ")
61
- : "no conflicts";
62
- return {
63
- file_path: filePath,
64
- has_conflict: hasConflict,
65
- entries,
66
- recommended_action: recommendedAction,
67
- summary,
68
- confirmed_at: null,
69
- };
70
- }
71
- /**
72
- * 标记冲突结果为已确认。
73
- *
74
- * @param result - 冲突检测结果
75
- * @returns 更新确认时间后的结果
76
- */
77
- markConfirmed(result) {
78
- debug("冲突门禁", "markConfirmed() — filePath:", result.file_path);
79
- return {
80
- ...result,
81
- confirmed_at: new Date().toISOString(),
82
- };
83
- }
84
- }
85
- function inferRecommendedAction(entries) {
86
- if (entries.length === 0)
87
- return "proceed";
88
- const hasCas = entries.some(e => e.source === "cas");
89
- const hasLease = entries.some(e => e.source === "lease");
90
- if (hasCas && hasLease)
91
- return "escalate";
92
- if (hasCas)
93
- return "confirm_recommended";
94
- return "confirm_recommended";
95
- }
96
- //# sourceMappingURL=conflict_gate.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"conflict_gate.js","sourceRoot":"","sources":["../../src/gate/conflict_gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAsB5C,MAAM,OAAO,YAAY;IACf,aAAa,CAAqB;IAClC,UAAU,CAAkB;IAEpC,YAAY,aAAiC,EAAE,UAA2B;QACxE,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;QACnC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;IAED;;;;;;OAMG;IACH,YAAY,CAAC,MAAc,EAAE,QAAgB;QAC3C,KAAK,CAAC,MAAM,EAAE,0BAA0B,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;QACzE,MAAM,OAAO,GAAwB,EAAE,CAAC;QAExC,SAAS;QACT,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxE,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,UAAU;gBACpB,SAAS,EAAE,QAAQ;gBACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,MAAM,EAAE,QAAQ;aACjB,CAAC,CAAC;QACL,CAAC;QAED,OAAO;QACP,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnE,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,OAAO;gBACf,QAAQ,EAAE,UAAU;gBACpB,SAAS,EAAE,QAAQ;gBACnB,OAAO,EAAE,aAAa,CAAC,OAAO;gBAC9B,MAAM,EAAE,aAAa;aACtB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACvC,IAAI,WAAW,EAAE,CAAC;YAChB,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAE1D,MAAM,OAAO,GAAG,WAAW;YACzB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3D,CAAC,CAAC,cAAc,CAAC;QAEnB,OAAO;YACL,SAAS,EAAE,QAAQ;YACnB,YAAY,EAAE,WAAW;YACzB,OAAO;YACP,kBAAkB,EAAE,iBAAiB;YACrC,OAAO;YACP,YAAY,EAAE,IAAI;SACnB,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,aAAa,CAAC,MAA0B;QACtC,KAAK,CAAC,MAAM,EAAE,6BAA6B,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/D,OAAO;YACL,GAAG,MAAM;YACT,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACvC,CAAC;IACJ,CAAC;CACF;AAED,SAAS,sBAAsB,CAAC,OAA4B;IAC1D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;IACzD,IAAI,MAAM,IAAI,QAAQ;QAAE,OAAO,UAAU,CAAC;IAC1C,IAAI,MAAM;QAAE,OAAO,qBAAqB,CAAC;IACzC,OAAO,qBAAqB,CAAC;AAC/B,CAAC"}
@@ -1,34 +0,0 @@
1
- /**
2
- * Capability Action Advisor — 契约层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:ActionRule 等 契约层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:契约验证、注册表查询
9
- * 调用谁:escape_report、capability_registry、logger
10
- *
11
- * 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
12
- * 持久化:无持久化(纯计算/内存态)
13
- */
14
- import type { EscapeReport, CapabilityAction } from "./escape_report.js";
15
- import type { CapabilityState } from "./capability_registry.js";
16
- export interface ActionRule {
17
- rule_id: string;
18
- description: string;
19
- severity: "critical" | "medium" | "low";
20
- }
21
- export interface ActionDecision {
22
- policy_id: string;
23
- current_state: CapabilityState;
24
- recommended_action: CapabilityAction;
25
- target_state: CapabilityState;
26
- reason: string;
27
- evidence_ids: string[];
28
- triggered_rules: ActionRule[];
29
- }
30
- /**
31
- * 执行 decideAction 操作
32
- */
33
- export declare function decideAction(reports: EscapeReport[], current_state: CapabilityState, policy_id: string, now?: Date): ActionDecision;
34
- //# sourceMappingURL=capability_action_advisor.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"capability_action_advisor.d.ts","sourceRoot":"","sources":["../../../src/gate/contracts/capability_action_advisor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAc,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAGhE,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,UAAU,GAAG,QAAQ,GAAG,KAAK,CAAC;CACzC;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,eAAe,CAAC;IAC/B,kBAAkB,EAAE,gBAAgB,CAAC;IACrC,YAAY,EAAE,eAAe,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,eAAe,EAAE,UAAU,EAAE,CAAC;CAC/B;AAgDD;;GAEG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,YAAY,EAAE,EACvB,aAAa,EAAE,eAAe,EAC9B,SAAS,EAAE,MAAM,EACjB,GAAG,GAAE,IAAiB,GACrB,cAAc,CAiIhB"}
@@ -1,165 +0,0 @@
1
- /**
2
- * Capability Action Advisor — 契约层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:ActionRule 等 契约层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:契约验证、注册表查询
9
- * 调用谁:escape_report、capability_registry、logger
10
- *
11
- * 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
12
- * 持久化:无持久化(纯计算/内存态)
13
- */
14
- import { debug } from "../../shared/logger.js";
15
- const CRITICAL_ESCAPE_TYPES = new Set([
16
- "ai_escape",
17
- "rule_gap",
18
- "tool_bug",
19
- ]);
20
- const MEDIUM_ESCAPE_TYPES = new Set([
21
- "weak_test",
22
- "bad_evidence",
23
- "human_miss",
24
- ]);
25
- const FALSE_POSITIVE_TYPE = "false_positive";
26
- const FALSE_POSITIVE_THRESHOLD = 2;
27
- const RULE_CRITICAL_ESCAPE = {
28
- rule_id: "R-CE",
29
- description: "同一 policy_id 出现 1 次严重逃逸 (ai_escape/rule_gap/tool_bug) → enforced→advisory",
30
- severity: "critical",
31
- };
32
- const RULE_TWO_MEDIUM_7DAYS = {
33
- rule_id: "R-2M7D",
34
- description: "7 天内同一 policy_id 出现 2 次中等逃逸 → enforced→advisory",
35
- severity: "medium",
36
- };
37
- const RULE_REPEATED_FALSE_POSITIVE = {
38
- rule_id: "R-FP",
39
- description: `连续 ${FALSE_POSITIVE_THRESHOLD}+ 次误伤 → promote_blocked(暂停 hard block,保留 warning)`,
40
- severity: "medium",
41
- };
42
- const RULE_STALE_ENFORCED = {
43
- rule_id: "R-SE",
44
- description: "advisory/experimental 下仍有逃逸累积 → disable 直到修复",
45
- severity: "critical",
46
- };
47
- function withinDays(report, days, now) {
48
- const created = new Date(report.created_at);
49
- const cutoff = new Date(now.getTime() - days * 24 * 60 * 60 * 1000);
50
- return created >= cutoff;
51
- }
52
- /**
53
- * 执行 decideAction 操作
54
- */
55
- export function decideAction(reports, current_state, policy_id, now = new Date()) {
56
- debug("能力决策", "decideAction() 开始 — policy_id:", policy_id, "当前状态:", current_state);
57
- const relevant = reports.filter((r) => r.policy_id === policy_id);
58
- const criticals = relevant.filter((r) => CRITICAL_ESCAPE_TYPES.has(r.failure_type) && r.capability_action !== "keep");
59
- const mediumsRecent = relevant.filter((r) => MEDIUM_ESCAPE_TYPES.has(r.failure_type) &&
60
- r.capability_action !== "keep" &&
61
- withinDays(r, 7, now));
62
- const falsePositives = relevant.filter((r) => r.failure_type === FALSE_POSITIVE_TYPE);
63
- const triggered = [];
64
- // 规则 R-CE: 1 次严重逃逸 → enforced 降级为 advisory
65
- if (criticals.length >= 1) {
66
- triggered.push(RULE_CRITICAL_ESCAPE);
67
- }
68
- // 规则 R-2M7D: 7 天内 2 次中等逃逸 → enforced 降级为 advisory
69
- if (mediumsRecent.length >= 2) {
70
- triggered.push(RULE_TWO_MEDIUM_7DAYS);
71
- }
72
- // 规则 R-FP: 连续误伤 → promote_blocked
73
- if (falsePositives.length >= FALSE_POSITIVE_THRESHOLD) {
74
- triggered.push(RULE_REPEATED_FALSE_POSITIVE);
75
- }
76
- // 根据触发规则和当前状态确定动作
77
- if (triggered.length === 0) {
78
- debug("能力决策", "无触发规则,保持当前状态 —", policy_id);
79
- return {
80
- policy_id,
81
- current_state,
82
- recommended_action: "keep",
83
- target_state: current_state,
84
- reason: `${policy_id} 无可操作逃逸。能力保持 ${current_state}。`,
85
- evidence_ids: [],
86
- triggered_rules: [],
87
- };
88
- }
89
- const evidenceIds = [
90
- ...criticals.map((r) => r.escape_id),
91
- ...mediumsRecent.map((r) => r.escape_id),
92
- ...falsePositives.map((r) => r.escape_id),
93
- ];
94
- // R-FP 无论当前状态如何都升级为 blocked
95
- const hasFP = triggered.some((r) => r.rule_id === "R-FP");
96
- if (current_state === "enforced") {
97
- // 严重或 2 次以上中等 → 降级为 advisory
98
- if (triggered.some((r) => r.rule_id === "R-CE" || r.rule_id === "R-2M7D")) {
99
- debug("能力决策", "enforced→advisory —", policy_id, "触发规则:", triggered.map(r => r.rule_id).join(","));
100
- return {
101
- policy_id,
102
- current_state,
103
- recommended_action: "downgrade",
104
- target_state: "advisory",
105
- reason: `已实施能力 ${policy_id} 触发 ${triggered.map((r) => r.rule_id).join(", ")}。建议降级为 advisory。`,
106
- evidence_ids: evidenceIds,
107
- triggered_rules: triggered,
108
- };
109
- }
110
- // 仅误伤 → promote_blocked
111
- if (hasFP) {
112
- debug("能力决策", "promote_blocked (enforced) —", policy_id, "误伤次数:", falsePositives.length);
113
- return {
114
- policy_id,
115
- current_state,
116
- recommended_action: "promote_blocked",
117
- target_state: "enforced",
118
- reason: `已实施能力 ${policy_id} 有 ${falsePositives.length} 次误伤。硬性阻止已暂停,保留警告。`,
119
- evidence_ids: evidenceIds,
120
- triggered_rules: triggered,
121
- };
122
- }
123
- }
124
- if (current_state === "advisory" || current_state === "experimental") {
125
- // 已降级但仍持续累积逃逸 → disable
126
- if (triggered.some((r) => r.rule_id === "R-CE" || r.rule_id === "R-2M7D")) {
127
- triggered.push(RULE_STALE_ENFORCED);
128
- debug("能力决策", current_state, "→ removed (disable) —", policy_id, "持续累积逃逸");
129
- return {
130
- policy_id,
131
- current_state,
132
- recommended_action: "disable",
133
- target_state: "removed",
134
- reason: `${current_state} 能力 ${policy_id} 持续累积逃逸。建议 disable 直到修复。`,
135
- evidence_ids: evidenceIds,
136
- triggered_rules: triggered,
137
- };
138
- }
139
- // 仅误伤且处于 advisory/experimental → 仍然 promote_blocked
140
- if (hasFP) {
141
- debug("能力决策", "promote_blocked (advisory/experimental) —", policy_id, "状态:", current_state, "误伤次数:", falsePositives.length);
142
- return {
143
- policy_id,
144
- current_state,
145
- recommended_action: "promote_blocked",
146
- target_state: current_state,
147
- reason: `${current_state} 能力 ${policy_id} 有 ${falsePositives.length} 次误伤。升级为 enforced blocked。`,
148
- evidence_ids: evidenceIds,
149
- triggered_rules: triggered,
150
- };
151
- }
152
- }
153
- // removed 状态或未处理: keep
154
- debug("能力决策", "保持状态 —", policy_id, "当前:", current_state, "已触发规则:", triggered.map(r => r.rule_id).join(","));
155
- return {
156
- policy_id,
157
- current_state,
158
- recommended_action: "keep",
159
- target_state: current_state,
160
- reason: `不建议对 ${policy_id} 进行状态变更(当前: ${current_state})。`,
161
- evidence_ids: evidenceIds,
162
- triggered_rules: triggered,
163
- };
164
- }
165
- //# sourceMappingURL=capability_action_advisor.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"capability_action_advisor.js","sourceRoot":"","sources":["../../../src/gate/contracts/capability_action_advisor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAkB/C,MAAM,qBAAqB,GAAoB,IAAI,GAAG,CAAC;IACrD,WAAW;IACX,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAoB,IAAI,GAAG,CAAC;IACnD,WAAW;IACX,cAAc;IACd,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAe,gBAAgB,CAAC;AAEzD,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAEnC,MAAM,oBAAoB,GAAe;IACvC,OAAO,EAAE,MAAM;IACf,WAAW,EAAE,2EAA2E;IACxF,QAAQ,EAAE,UAAU;CACrB,CAAC;AAEF,MAAM,qBAAqB,GAAe;IACxC,OAAO,EAAE,QAAQ;IACjB,WAAW,EAAE,iDAAiD;IAC9D,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,MAAM,4BAA4B,GAAe;IAC/C,OAAO,EAAE,MAAM;IACf,WAAW,EAAE,MAAM,wBAAwB,mDAAmD;IAC9F,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,MAAM,mBAAmB,GAAe;IACtC,OAAO,EAAE,MAAM;IACf,WAAW,EAAE,8CAA8C;IAC3D,QAAQ,EAAE,UAAU;CACrB,CAAC;AAEF,SAAS,UAAU,CAAC,MAAoB,EAAE,IAAY,EAAE,GAAS;IAC/D,MAAM,OAAO,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC;IACpE,OAAO,OAAO,IAAI,MAAM,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAuB,EACvB,aAA8B,EAC9B,SAAiB,EACjB,MAAY,IAAI,IAAI,EAAE;IAEpB,KAAK,CAAC,MAAM,EAAE,gCAAgC,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IAElE,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,iBAAiB,KAAK,MAAM,CACnF,CAAC;IAEF,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CACJ,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC;QACvC,CAAC,CAAC,iBAAiB,KAAK,MAAM;QAC9B,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CACxB,CAAC;IAEF,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,mBAAmB,CAC9C,CAAC;IAEF,MAAM,SAAS,GAAiB,EAAE,CAAC;IAEnC,2CAA2C;IAC3C,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC1B,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACvC,CAAC;IAED,kDAAkD;IAClD,IAAI,aAAa,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9B,SAAS,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACxC,CAAC;IAED,kCAAkC;IAClC,IAAI,cAAc,CAAC,MAAM,IAAI,wBAAwB,EAAE,CAAC;QACtD,SAAS,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC/C,CAAC;IAED,kBAAkB;IAClB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC;QAC3C,OAAO;YACL,SAAS;YACT,aAAa;YACb,kBAAkB,EAAE,MAAM;YAC1B,YAAY,EAAE,aAAa;YAC3B,MAAM,EAAE,GAAG,SAAS,gBAAgB,aAAa,GAAG;YACpD,YAAY,EAAE,EAAE;YAChB,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG;QAClB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACpC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACxC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;KAC1C,CAAC;IAEF,4BAA4B;IAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;IAE1D,IAAI,aAAa,KAAK,UAAU,EAAE,CAAC;QACjC,6BAA6B;QAC7B,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC1E,KAAK,CAAC,MAAM,EAAE,qBAAqB,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAClG,OAAO;gBACL,SAAS;gBACT,aAAa;gBACb,kBAAkB,EAAE,WAAW;gBAC/B,YAAY,EAAE,UAAU;gBACxB,MAAM,EAAE,SAAS,SAAS,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB;gBAC7F,YAAY,EAAE,WAAW;gBACzB,eAAe,EAAE,SAAS;aAC3B,CAAC;QACJ,CAAC;QACD,wBAAwB;QACxB,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,MAAM,EAAE,8BAA8B,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;YACzF,OAAO;gBACL,SAAS;gBACT,aAAa;gBACb,kBAAkB,EAAE,iBAAiB;gBACrC,YAAY,EAAE,UAAU;gBACxB,MAAM,EAAE,SAAS,SAAS,MAAM,cAAc,CAAC,MAAM,oBAAoB;gBACzE,YAAY,EAAE,WAAW;gBACzB,eAAe,EAAE,SAAS;aAC3B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,aAAa,KAAK,UAAU,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrE,wBAAwB;QACxB,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC1E,SAAS,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACpC,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,uBAAuB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC3E,OAAO;gBACL,SAAS;gBACT,aAAa;gBACb,kBAAkB,EAAE,SAAS;gBAC7B,YAAY,EAAE,SAAS;gBACvB,MAAM,EAAE,GAAG,aAAa,OAAO,SAAS,0BAA0B;gBAClE,YAAY,EAAE,WAAW;gBACzB,eAAe,EAAE,SAAS;aAC3B,CAAC;QACJ,CAAC;QACD,oDAAoD;QACpD,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,MAAM,EAAE,2CAA2C,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;YAC5H,OAAO;gBACL,SAAS;gBACT,aAAa;gBACb,kBAAkB,EAAE,iBAAiB;gBACrC,YAAY,EAAE,aAAa;gBAC3B,MAAM,EAAE,GAAG,aAAa,OAAO,SAAS,MAAM,cAAc,CAAC,MAAM,4BAA4B;gBAC/F,YAAY,EAAE,WAAW;gBACzB,eAAe,EAAE,SAAS;aAC3B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5G,OAAO;QACL,SAAS;QACT,aAAa;QACb,kBAAkB,EAAE,MAAM;QAC1B,YAAY,EAAE,aAAa;QAC3B,MAAM,EAAE,QAAQ,SAAS,eAAe,aAAa,IAAI;QACzD,YAAY,EAAE,WAAW;QACzB,eAAe,EAAE,SAAS;KAC3B,CAAC;AACJ,CAAC"}
@@ -1,121 +0,0 @@
1
- /**
2
- * Capability State Store — 契约层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:StateOverride 等 契约层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:契约验证、注册表查询
9
- * 调用谁:node:fs、node:path、capability_registry、escape_report、logger、helpers
10
- *
11
- * 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
12
- * 持久化:读写本地文件(详见代码内路径)
13
- */
14
- import type { CapabilityState } from "./capability_registry.js";
15
- import type { EscapeReport } from "./escape_report.js";
16
- /** 状态覆盖记录 */
17
- export interface StateOverride {
18
- /** 策略 ID */
19
- policy_id: string;
20
- /** 变更前状态 */
21
- previous_state: CapabilityState;
22
- /** 变更后状态 */
23
- new_state: CapabilityState;
24
- /** 变更原因 */
25
- reason: string;
26
- /** 证据 ID 列表 */
27
- evidence_ids: string[];
28
- /** 确认人 */
29
- confirmed_by: string;
30
- /** 更新时间 */
31
- updated_at: string;
32
- }
33
- /** 状态更新请求 */
34
- export interface UpdateRequest {
35
- /** 策略 ID */
36
- policy_id: string;
37
- /** 目标状态 */
38
- target_state: CapabilityState;
39
- /** 变更原因 */
40
- reason: string;
41
- /** 证据 ID 列表 */
42
- evidence_ids: string[];
43
- /** 确认人 */
44
- confirmed_by: string;
45
- /** 是否为演练模式(仅校验不持久化) */
46
- dry_run: boolean;
47
- /** 是否已确认 */
48
- confirm: boolean;
49
- }
50
- /** 状态更新结果 */
51
- export interface UpdateResult {
52
- /** 策略 ID */
53
- policy_id: string;
54
- /** 能力 ID(未找到时为 null) */
55
- capability_id: string | null;
56
- /** 变更前状态 */
57
- previous_state: CapabilityState;
58
- /** 变更后状态 */
59
- new_state: CapabilityState;
60
- /** 是否已实际更新 */
61
- updated: boolean;
62
- /** 是否为演练模式 */
63
- dry_run: boolean;
64
- /** 校验错误列表 */
65
- validation_errors: string[];
66
- /** 证据是否匹配 */
67
- evidence_matched: boolean;
68
- /** 生成的覆盖记录(校验通过时) */
69
- override: StateOverride | null;
70
- }
71
- /** 能力状态覆盖存储 — 管理人工确认的能力状态变更 */
72
- export declare class CapabilityStateStore {
73
- private filePath;
74
- private overrides;
75
- private loaded;
76
- /**
77
- * 创建能力状态覆盖存储实例。
78
- * @param stateDir - 状态目录路径,覆盖数据将存储在此目录下
79
- */
80
- constructor(stateDir: string);
81
- /** 确保数据已从磁盘加载 */
82
- private ensureLoaded;
83
- /** 持久化当前数据到磁盘(原子写入) */
84
- private persist;
85
- /**
86
- * 获取策略的生效状态。优先返回最新覆盖的状态,无覆盖时返回默认状态。
87
- * @param policyId - 策略 ID
88
- * @param defaultState - 默认状态(无覆盖记录时使用)
89
- * @returns 该策略的生效状态
90
- */
91
- getEffectiveState(policyId: string, defaultState: CapabilityState): CapabilityState;
92
- /**
93
- * 列出所有状态覆盖记录。
94
- * @returns 覆盖记录列表(深拷贝)
95
- */
96
- list(): StateOverride[];
97
- /**
98
- * 校验状态更新请求的合法性。
99
- * 检查策略存在性、转移合法性、证据匹配、人工确认等条件。
100
- * @param request - 状态更新请求
101
- * @param currentState - 当前状态
102
- * @param capabilityId - 能力 ID(未找到时为 null)
103
- * @param escapeReports - 已有的逃逸报告列表(用于证据校验)
104
- * @returns 校验结果,包含错误列表和生成的覆盖记录
105
- */
106
- validate(request: UpdateRequest, currentState: CapabilityState, capabilityId: string | null, escapeReports: EscapeReport[]): UpdateResult;
107
- /**
108
- * 校验并应用状态更新请求。校验通过且非演练模式时,持久化覆盖记录。
109
- * @param request - 状态更新请求
110
- * @param currentState - 当前状态
111
- * @param capabilityId - 能力 ID(未找到时为 null)
112
- * @param escapeReports - 已有的逃逸报告列表(用于证据校验)
113
- * @returns 更新结果,包含是否实际更新
114
- */
115
- apply(request: UpdateRequest, currentState: CapabilityState, capabilityId: string | null, escapeReports: EscapeReport[]): UpdateResult;
116
- /**
117
- * 清空所有覆盖记录并持久化。
118
- */
119
- clear(): void;
120
- }
121
- //# sourceMappingURL=capability_state_store.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"capability_state_store.d.ts","sourceRoot":"","sources":["../../../src/gate/contracts/capability_state_store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIvD,aAAa;AACb,MAAM,WAAW,aAAa;IAC5B,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY;IACZ,cAAc,EAAE,eAAe,CAAC;IAChC,YAAY;IACZ,SAAS,EAAE,eAAe,CAAC;IAC3B,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,eAAe;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU;IACV,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,aAAa;AACb,MAAM,WAAW,aAAa;IAC5B,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW;IACX,YAAY,EAAE,eAAe,CAAC;IAC9B,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,eAAe;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU;IACV,YAAY,EAAE,MAAM,CAAC;IACrB,uBAAuB;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,YAAY;IACZ,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,aAAa;AACb,MAAM,WAAW,YAAY;IAC3B,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,wBAAwB;IACxB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,YAAY;IACZ,cAAc,EAAE,eAAe,CAAC;IAChC,YAAY;IACZ,SAAS,EAAE,eAAe,CAAC;IAC3B,cAAc;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,cAAc;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa;IACb,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,aAAa;IACb,gBAAgB,EAAE,OAAO,CAAC;IAC1B,qBAAqB;IACrB,QAAQ,EAAE,aAAa,GAAG,IAAI,CAAC;CAChC;AAUD,+BAA+B;AAC/B,qBAAa,oBAAoB;IAC/B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,MAAM,CAAS;IAEvB;;;OAGG;gBACS,QAAQ,EAAE,MAAM;IAQ5B,iBAAiB;IACjB,OAAO,CAAC,YAAY;IAqBpB,uBAAuB;IACvB,OAAO,CAAC,OAAO;IAMf;;;;;OAKG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,GAAG,eAAe;IASnF;;;OAGG;IACH,IAAI,IAAI,aAAa,EAAE;IAKvB;;;;;;;;OAQG;IACH,QAAQ,CACN,OAAO,EAAE,aAAa,EACtB,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,MAAM,GAAG,IAAI,EAC3B,aAAa,EAAE,YAAY,EAAE,GAC5B,YAAY;IAoEf;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,YAAY;IAqBtI;;OAEG;IACH,KAAK,IAAI,IAAI;CAMd"}
@@ -1,188 +0,0 @@
1
- /**
2
- * Capability State Store — 契约层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:StateOverride 等 契约层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:契约验证、注册表查询
9
- * 调用谁:node:fs、node:path、capability_registry、escape_report、logger、helpers
10
- *
11
- * 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
12
- * 持久化:读写本地文件(详见代码内路径)
13
- */
14
- import fs from "node:fs";
15
- import path from "node:path";
16
- import { debug } from "../../shared/logger.js";
17
- import { safeJsonParse } from "../../shared/helpers.js";
18
- /** 合法的状态转移映射表 */
19
- const VALID_TRANSITIONS = {
20
- enforced: ["advisory", "removed"],
21
- advisory: ["enforced", "experimental", "removed"],
22
- experimental: ["advisory", "removed"],
23
- removed: ["experimental"],
24
- };
25
- /** 能力状态覆盖存储 — 管理人工确认的能力状态变更 */
26
- export class CapabilityStateStore {
27
- filePath;
28
- overrides = [];
29
- loaded = false;
30
- /**
31
- * 创建能力状态覆盖存储实例。
32
- * @param stateDir - 状态目录路径,覆盖数据将存储在此目录下
33
- */
34
- constructor(stateDir) {
35
- this.filePath = path.join(stateDir, "capability-state-overrides.json");
36
- if (!fs.existsSync(stateDir)) {
37
- fs.mkdirSync(stateDir, { recursive: true });
38
- }
39
- debug("能力状态存储", "初始化完成,数据路径: " + this.filePath);
40
- }
41
- /** 确保数据已从磁盘加载 */
42
- ensureLoaded() {
43
- if (this.loaded)
44
- return;
45
- this.loaded = true;
46
- try {
47
- const data = fs.readFileSync(this.filePath, "utf-8");
48
- const raw = safeJsonParse(data);
49
- // 运行时验证:确保是数组且元素含必要字段
50
- if (!Array.isArray(raw)) {
51
- debug("能力状态存储", "状态文件格式无效(非数组),重置为空");
52
- this.overrides = [];
53
- return;
54
- }
55
- this.overrides = raw.filter((item) => typeof item === "object" && item !== null && "policy_id" in item);
56
- }
57
- catch (e) {
58
- debug("能力状态存储", "加载状态文件失败(预期行为: 文件不存在) —", e);
59
- this.overrides = [];
60
- }
61
- }
62
- /** 持久化当前数据到磁盘(原子写入) */
63
- persist() {
64
- const tmpPath = `${this.filePath}.tmp`;
65
- fs.writeFileSync(tmpPath, JSON.stringify(this.overrides, null, 2));
66
- fs.renameSync(tmpPath, this.filePath);
67
- }
68
- /**
69
- * 获取策略的生效状态。优先返回最新覆盖的状态,无覆盖时返回默认状态。
70
- * @param policyId - 策略 ID
71
- * @param defaultState - 默认状态(无覆盖记录时使用)
72
- * @returns 该策略的生效状态
73
- */
74
- getEffectiveState(policyId, defaultState) {
75
- this.ensureLoaded();
76
- let latest;
77
- for (const o of this.overrides) {
78
- if (o.policy_id === policyId)
79
- latest = o;
80
- }
81
- return latest ? latest.new_state : defaultState;
82
- }
83
- /**
84
- * 列出所有状态覆盖记录。
85
- * @returns 覆盖记录列表(深拷贝)
86
- */
87
- list() {
88
- this.ensureLoaded();
89
- return this.overrides.map((o) => ({ ...o, evidence_ids: [...o.evidence_ids] }));
90
- }
91
- /**
92
- * 校验状态更新请求的合法性。
93
- * 检查策略存在性、转移合法性、证据匹配、人工确认等条件。
94
- * @param request - 状态更新请求
95
- * @param currentState - 当前状态
96
- * @param capabilityId - 能力 ID(未找到时为 null)
97
- * @param escapeReports - 已有的逃逸报告列表(用于证据校验)
98
- * @returns 校验结果,包含错误列表和生成的覆盖记录
99
- */
100
- validate(request, currentState, capabilityId, escapeReports) {
101
- const errors = [];
102
- if (!capabilityId) {
103
- errors.push(`policy_id ${request.policy_id} not found in capability registry`);
104
- }
105
- if (request.target_state === currentState) {
106
- errors.push(`target_state (${request.target_state}) same as current state, no change needed`);
107
- }
108
- if (capabilityId && request.target_state !== currentState) {
109
- const allowed = VALID_TRANSITIONS[currentState];
110
- if (!allowed.includes(request.target_state)) {
111
- errors.push(`${currentState} → ${request.target_state} is not a valid transition (allowed: ${allowed.join(", ")})`);
112
- }
113
- }
114
- if (request.evidence_ids.length === 0) {
115
- errors.push("at least one evidence_id is required");
116
- }
117
- const matchedEvidence = request.evidence_ids.filter((eid) => escapeReports.some((r) => r.escape_id === eid && r.policy_id === request.policy_id));
118
- const unmatchedEvidence = request.evidence_ids.filter((eid) => !matchedEvidence.includes(eid));
119
- if (request.evidence_ids.length > 0 && unmatchedEvidence.length > 0) {
120
- errors.push(`evidence_ids not found for policy ${request.policy_id}: ${unmatchedEvidence.join(", ")}`);
121
- }
122
- if (!request.confirm) {
123
- errors.push("confirm=true required for state changes; human confirmation mandatory");
124
- }
125
- if (!request.confirmed_by.trim()) {
126
- errors.push("confirmed_by is required");
127
- }
128
- if (!request.reason.trim()) {
129
- errors.push("reason is required");
130
- }
131
- const evidenceMatched = matchedEvidence.length > 0;
132
- const override = {
133
- policy_id: request.policy_id,
134
- previous_state: currentState,
135
- new_state: request.target_state,
136
- reason: request.reason,
137
- evidence_ids: [...request.evidence_ids],
138
- confirmed_by: request.confirmed_by,
139
- updated_at: new Date().toISOString(),
140
- };
141
- return {
142
- policy_id: request.policy_id,
143
- capability_id: capabilityId,
144
- previous_state: currentState,
145
- new_state: request.target_state,
146
- updated: false,
147
- dry_run: request.dry_run,
148
- validation_errors: errors,
149
- evidence_matched: evidenceMatched,
150
- override: errors.length === 0 ? override : null,
151
- };
152
- }
153
- /**
154
- * 校验并应用状态更新请求。校验通过且非演练模式时,持久化覆盖记录。
155
- * @param request - 状态更新请求
156
- * @param currentState - 当前状态
157
- * @param capabilityId - 能力 ID(未找到时为 null)
158
- * @param escapeReports - 已有的逃逸报告列表(用于证据校验)
159
- * @returns 更新结果,包含是否实际更新
160
- */
161
- apply(request, currentState, capabilityId, escapeReports) {
162
- this.ensureLoaded();
163
- const result = this.validate(request, currentState, capabilityId, escapeReports);
164
- if (result.validation_errors.length > 0 || request.dry_run || !result.override) {
165
- if (request.dry_run) {
166
- debug("能力状态存储", `演练模式,策略 ${request.policy_id} 校验完成(未持久化)`);
167
- }
168
- if (result.validation_errors.length > 0) {
169
- debug("能力状态存储", `策略 ${request.policy_id} 校验失败,错误数: ${result.validation_errors.length}`);
170
- }
171
- return result;
172
- }
173
- this.overrides.push(result.override);
174
- this.persist();
175
- debug("能力状态存储", `策略 ${request.policy_id} 状态已更新 ${currentState} → ${request.target_state}`);
176
- return { ...result, updated: true };
177
- }
178
- /**
179
- * 清空所有覆盖记录并持久化。
180
- */
181
- clear() {
182
- this.overrides = [];
183
- this.loaded = true;
184
- this.persist();
185
- debug("能力状态存储", "已清空所有覆盖记录");
186
- }
187
- }
188
- //# sourceMappingURL=capability_state_store.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"capability_state_store.js","sourceRoot":"","sources":["../../../src/gate/contracts/capability_state_store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AA4DxD,iBAAiB;AACjB,MAAM,iBAAiB,GAA+C;IACpE,QAAQ,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;IACjC,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,SAAS,CAAC;IACjD,YAAY,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;IACrC,OAAO,EAAE,CAAC,cAAc,CAAC;CAC1B,CAAC;AAEF,+BAA+B;AAC/B,MAAM,OAAO,oBAAoB;IACvB,QAAQ,CAAS;IACjB,SAAS,GAAoB,EAAE,CAAC;IAChC,MAAM,GAAG,KAAK,CAAC;IAEvB;;;OAGG;IACH,YAAY,QAAgB;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,iCAAiC,CAAC,CAAC;QACvE,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,KAAK,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClD,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,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YAChC,sBAAsB;YACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,KAAK,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;gBACtC,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,MAAM,CACzB,CAAC,IAAa,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,WAAW,IAAI,IAAI,CACtD,CAAC;QAClC,CAAC;QAAC,OAAO,CAAU,EAAE,CAAC;YACpB,KAAK,CAAC,QAAQ,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;QACtB,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,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED;;;;;OAKG;IACH,iBAAiB,CAAC,QAAgB,EAAE,YAA6B;QAC/D,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,MAAiC,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ;gBAAE,MAAM,GAAG,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC;IAClD,CAAC;IAED;;;OAGG;IACH,IAAI;QACF,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC;IAClF,CAAC;IAED;;;;;;;;OAQG;IACH,QAAQ,CACN,OAAsB,EACtB,YAA6B,EAC7B,YAA2B,EAC3B,aAA6B;QAE7B,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,SAAS,mCAAmC,CAAC,CAAC;QACjF,CAAC;QAED,IAAI,OAAO,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,YAAY,2CAA2C,CAAC,CAAC;QAChG,CAAC;QAED,IAAI,YAAY,IAAI,OAAO,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;YAC1D,MAAM,OAAO,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC5C,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,MAAM,OAAO,CAAC,YAAY,wCAAwC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtH,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAC1D,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC,CACpF,CAAC;QACF,MAAM,iBAAiB,GAAG,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAE/F,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpE,MAAM,CAAC,IAAI,CAAC,qCAAqC,OAAO,CAAC,SAAS,KAAK,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzG,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAC;QACvF,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACpC,CAAC;QAED,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;QAEnD,MAAM,QAAQ,GAAkB;YAC9B,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,cAAc,EAAE,YAAY;YAC5B,SAAS,EAAE,OAAO,CAAC,YAAY;YAC/B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,YAAY,EAAE,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC;YACvC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;QAEF,OAAO;YACL,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,aAAa,EAAE,YAAY;YAC3B,cAAc,EAAE,YAAY;YAC5B,SAAS,EAAE,OAAO,CAAC,YAAY;YAC/B,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,iBAAiB,EAAE,MAAM;YACzB,gBAAgB,EAAE,eAAe;YACjC,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;SAChD,CAAC;IACJ,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,OAAsB,EAAE,YAA6B,EAAE,YAA2B,EAAE,aAA6B;QACrH,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QAEjF,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC/E,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACpB,KAAK,CAAC,QAAQ,EAAE,WAAW,OAAO,CAAC,SAAS,aAAa,CAAC,CAAC;YAC7D,CAAC;YACD,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,KAAK,CAAC,QAAQ,EAAE,MAAM,OAAO,CAAC,SAAS,cAAc,MAAM,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1F,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,KAAK,CAAC,QAAQ,EAAE,MAAM,OAAO,CAAC,SAAS,UAAU,YAAY,MAAM,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;QAE3F,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACtC,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,KAAK,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC/B,CAAC;CACF"}