@dommaker/harness 0.16.8 → 0.17.0

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 (344) hide show
  1. package/CHANGELOG.md +41 -0
  2. package/README.md +33 -32
  3. package/bin/harness.js +34 -20
  4. package/dist/cli/commands/check.d.ts +3 -2
  5. package/dist/cli/commands/check.d.ts.map +1 -1
  6. package/dist/cli/commands/check.js +69 -36
  7. package/dist/cli/commands/check.js.map +1 -1
  8. package/dist/cli/commands/constraints-report.d.ts +42 -0
  9. package/dist/cli/commands/constraints-report.d.ts.map +1 -0
  10. package/dist/cli/commands/constraints-report.js +233 -0
  11. package/dist/cli/commands/constraints-report.js.map +1 -0
  12. package/dist/cli/commands/constraints-retire.d.ts +71 -0
  13. package/dist/cli/commands/constraints-retire.d.ts.map +1 -0
  14. package/dist/cli/commands/constraints-retire.js +384 -0
  15. package/dist/cli/commands/constraints-retire.js.map +1 -0
  16. package/dist/cli/commands/constraints.d.ts +1 -1
  17. package/dist/cli/commands/constraints.d.ts.map +1 -1
  18. package/dist/cli/commands/constraints.js +4 -4
  19. package/dist/cli/commands/constraints.js.map +1 -1
  20. package/dist/cli/commands/index.d.ts +2 -1
  21. package/dist/cli/commands/index.d.ts.map +1 -1
  22. package/dist/cli/commands/index.js +10 -4
  23. package/dist/cli/commands/index.js.map +1 -1
  24. package/dist/cli/commands/init.d.ts +20 -0
  25. package/dist/cli/commands/init.d.ts.map +1 -1
  26. package/dist/cli/commands/init.js +81 -59
  27. package/dist/cli/commands/init.js.map +1 -1
  28. package/dist/cli/commands/report.js +4 -4
  29. package/dist/cli/commands/report.js.map +1 -1
  30. package/dist/cli/commands/status.d.ts.map +1 -1
  31. package/dist/cli/commands/status.js +3 -4
  32. package/dist/cli/commands/status.js.map +1 -1
  33. package/dist/cli/commands/sync-docs/capabilities-syncer.d.ts +19 -2
  34. package/dist/cli/commands/sync-docs/capabilities-syncer.d.ts.map +1 -1
  35. package/dist/cli/commands/sync-docs/capabilities-syncer.js +79 -19
  36. package/dist/cli/commands/sync-docs/capabilities-syncer.js.map +1 -1
  37. package/dist/cli/commands/sync-docs/index.d.ts +2 -0
  38. package/dist/cli/commands/sync-docs/index.d.ts.map +1 -1
  39. package/dist/cli/commands/sync-docs/index.js +83 -20
  40. package/dist/cli/commands/sync-docs/index.js.map +1 -1
  41. package/dist/cli/commands/validate.d.ts.map +1 -1
  42. package/dist/cli/commands/validate.js +1 -5
  43. package/dist/cli/commands/validate.js.map +1 -1
  44. package/dist/core/constraints/capabilities-parser.d.ts +14 -0
  45. package/dist/core/constraints/capabilities-parser.d.ts.map +1 -1
  46. package/dist/core/constraints/capabilities-parser.js +30 -0
  47. package/dist/core/constraints/capabilities-parser.js.map +1 -1
  48. package/dist/core/constraints/checker.d.ts +13 -5
  49. package/dist/core/constraints/checker.d.ts.map +1 -1
  50. package/dist/core/constraints/checker.js +62 -25
  51. package/dist/core/constraints/checker.js.map +1 -1
  52. package/dist/core/constraints/checkers/capability-sync.d.ts +10 -0
  53. package/dist/core/constraints/checkers/capability-sync.d.ts.map +1 -1
  54. package/dist/core/constraints/checkers/capability-sync.js +73 -11
  55. package/dist/core/constraints/checkers/capability-sync.js.map +1 -1
  56. package/dist/core/constraints/checkers/context-doc-sync.d.ts +3 -0
  57. package/dist/core/constraints/checkers/context-doc-sync.d.ts.map +1 -1
  58. package/dist/core/constraints/checkers/context-doc-sync.js +8 -2
  59. package/dist/core/constraints/checkers/context-doc-sync.js.map +1 -1
  60. package/dist/core/constraints/checkers/docs-freshness.d.ts +1 -0
  61. package/dist/core/constraints/checkers/docs-freshness.d.ts.map +1 -1
  62. package/dist/core/constraints/checkers/docs-freshness.js +39 -0
  63. package/dist/core/constraints/checkers/docs-freshness.js.map +1 -1
  64. package/dist/core/constraints/checkers/index.d.ts +8 -4
  65. package/dist/core/constraints/checkers/index.d.ts.map +1 -1
  66. package/dist/core/constraints/checkers/index.js +29 -46
  67. package/dist/core/constraints/checkers/index.js.map +1 -1
  68. package/dist/core/constraints/checkers/iron-flags.d.ts +6 -7
  69. package/dist/core/constraints/checkers/iron-flags.d.ts.map +1 -1
  70. package/dist/core/constraints/checkers/iron-flags.js +10 -17
  71. package/dist/core/constraints/checkers/iron-flags.js.map +1 -1
  72. package/dist/core/constraints/checkers/no-hardcoded-credentials.d.ts +13 -0
  73. package/dist/core/constraints/checkers/no-hardcoded-credentials.d.ts.map +1 -0
  74. package/dist/core/constraints/checkers/no-hardcoded-credentials.js +91 -0
  75. package/dist/core/constraints/checkers/no-hardcoded-credentials.js.map +1 -0
  76. package/dist/core/constraints/checkers/types.d.ts +15 -4
  77. package/dist/core/constraints/checkers/types.d.ts.map +1 -1
  78. package/dist/core/constraints/checkers/types.js +16 -4
  79. package/dist/core/constraints/checkers/types.js.map +1 -1
  80. package/dist/core/constraints/context-builder.d.ts +6 -3
  81. package/dist/core/constraints/context-builder.d.ts.map +1 -1
  82. package/dist/core/constraints/context-builder.js +29 -20
  83. package/dist/core/constraints/context-builder.js.map +1 -1
  84. package/dist/core/constraints/definitions/guidelines.d.ts +6 -2
  85. package/dist/core/constraints/definitions/guidelines.d.ts.map +1 -1
  86. package/dist/core/constraints/definitions/guidelines.js +33 -574
  87. package/dist/core/constraints/definitions/guidelines.js.map +1 -1
  88. package/dist/core/constraints/definitions/iron-laws.d.ts +6 -2
  89. package/dist/core/constraints/definitions/iron-laws.d.ts.map +1 -1
  90. package/dist/core/constraints/definitions/iron-laws.js +48 -231
  91. package/dist/core/constraints/definitions/iron-laws.js.map +1 -1
  92. package/dist/core/constraints/definitions/prompts.d.ts +12 -0
  93. package/dist/core/constraints/definitions/prompts.d.ts.map +1 -0
  94. package/dist/core/constraints/definitions/prompts.js +405 -0
  95. package/dist/core/constraints/definitions/prompts.js.map +1 -0
  96. package/dist/core/constraints/definitions.d.ts +15 -9
  97. package/dist/core/constraints/definitions.d.ts.map +1 -1
  98. package/dist/core/constraints/definitions.js +18 -12
  99. package/dist/core/constraints/definitions.js.map +1 -1
  100. package/dist/core/constraints/index.d.ts +3 -2
  101. package/dist/core/constraints/index.d.ts.map +1 -1
  102. package/dist/core/constraints/index.js +8 -2
  103. package/dist/core/constraints/index.js.map +1 -1
  104. package/dist/core/constraints/injection-drift.d.ts +48 -0
  105. package/dist/core/constraints/injection-drift.d.ts.map +1 -0
  106. package/dist/core/constraints/injection-drift.js +140 -0
  107. package/dist/core/constraints/injection-drift.js.map +1 -0
  108. package/dist/core/constraints/injection-renderer.d.ts +23 -0
  109. package/dist/core/constraints/injection-renderer.d.ts.map +1 -0
  110. package/dist/core/constraints/injection-renderer.js +44 -0
  111. package/dist/core/constraints/injection-renderer.js.map +1 -0
  112. package/dist/core/constraints/interceptor.d.ts.map +1 -1
  113. package/dist/core/constraints/interceptor.js +3 -2
  114. package/dist/core/constraints/interceptor.js.map +1 -1
  115. package/dist/core/constraints/usage-report.d.ts +95 -0
  116. package/dist/core/constraints/usage-report.d.ts.map +1 -0
  117. package/dist/core/constraints/usage-report.js +206 -0
  118. package/dist/core/constraints/usage-report.js.map +1 -0
  119. package/dist/core/effective-constraints.d.ts +47 -0
  120. package/dist/core/effective-constraints.d.ts.map +1 -0
  121. package/dist/core/effective-constraints.js +60 -0
  122. package/dist/core/effective-constraints.js.map +1 -0
  123. package/dist/core/index.d.ts +1 -0
  124. package/dist/core/index.d.ts.map +1 -1
  125. package/dist/core/index.js +2 -0
  126. package/dist/core/index.js.map +1 -1
  127. package/dist/core/project-config-loader.d.ts +28 -3
  128. package/dist/core/project-config-loader.d.ts.map +1 -1
  129. package/dist/core/project-config-loader.js +74 -8
  130. package/dist/core/project-config-loader.js.map +1 -1
  131. package/dist/dashboard/data.d.ts +1 -9
  132. package/dist/dashboard/data.d.ts.map +1 -1
  133. package/dist/dashboard/data.js +7 -15
  134. package/dist/dashboard/data.js.map +1 -1
  135. package/dist/dashboard/types.d.ts +13 -1
  136. package/dist/dashboard/types.d.ts.map +1 -1
  137. package/dist/index.d.ts +0 -4
  138. package/dist/index.d.ts.map +1 -1
  139. package/dist/index.js +1 -13
  140. package/dist/index.js.map +1 -1
  141. package/dist/monitoring/index.d.ts +0 -2
  142. package/dist/monitoring/index.d.ts.map +1 -1
  143. package/dist/monitoring/index.js +0 -2
  144. package/dist/monitoring/index.js.map +1 -1
  145. package/dist/monitoring/knowledge-evolver.d.ts +1 -1
  146. package/dist/monitoring/knowledge-evolver.js +1 -1
  147. package/dist/monitoring/trace-analyzer.d.ts +1 -1
  148. package/dist/monitoring/trace-analyzer.d.ts.map +1 -1
  149. package/dist/monitoring/trace-analyzer.js +16 -10
  150. package/dist/monitoring/trace-analyzer.js.map +1 -1
  151. package/dist/monitoring/traces.d.ts +2 -1
  152. package/dist/monitoring/traces.d.ts.map +1 -1
  153. package/dist/monitoring/traces.js +5 -3
  154. package/dist/monitoring/traces.js.map +1 -1
  155. package/dist/presets/standard.d.ts +3 -1
  156. package/dist/presets/standard.d.ts.map +1 -1
  157. package/dist/presets/standard.js +18 -8
  158. package/dist/presets/standard.js.map +1 -1
  159. package/dist/types/constraint.d.ts +51 -11
  160. package/dist/types/constraint.d.ts.map +1 -1
  161. package/dist/types/constraint.js +8 -4
  162. package/dist/types/constraint.js.map +1 -1
  163. package/dist/types/index.d.ts +1 -1
  164. package/dist/types/index.d.ts.map +1 -1
  165. package/dist/types/index.js.map +1 -1
  166. package/dist/types/monitoring-types.d.ts +2 -63
  167. package/dist/types/monitoring-types.d.ts.map +1 -1
  168. package/dist/types/monitoring-types.js +2 -2
  169. package/dist/types/project-config.d.ts +32 -1
  170. package/dist/types/project-config.d.ts.map +1 -1
  171. package/dist/types/trace.d.ts +16 -7
  172. package/dist/types/trace.d.ts.map +1 -1
  173. package/dist/types/trace.js +8 -0
  174. package/dist/types/trace.js.map +1 -1
  175. package/package.json +1 -1
  176. package/src/CONTEXT.md +2 -2
  177. package/src/__tests__/checker-extra.test.ts +356 -331
  178. package/src/__tests__/checker.test.ts +87 -724
  179. package/src/__tests__/constraint-doctor.test.ts +5 -5
  180. package/src/__tests__/doctor-extra.test.ts +164 -0
  181. package/src/__tests__/effective-constraints.test.ts +147 -0
  182. package/src/__tests__/extend-exceptions.test.ts +3 -3
  183. package/src/__tests__/iron-laws.test.ts +115 -91
  184. package/src/__tests__/no-hardcoded-credentials.test.ts +90 -0
  185. package/src/__tests__/presets.test.ts +7 -7
  186. package/src/__tests__/project-config-loader-extra.test.ts +4 -4
  187. package/src/__tests__/project-config-loader.test.ts +40 -1
  188. package/src/__tests__/skip-semantics.test.ts +322 -0
  189. package/src/cli/commands/CONTEXT.md +5 -3
  190. package/src/cli/commands/__tests__/check-drift.test.ts +127 -0
  191. package/src/cli/commands/__tests__/check-skip-output.test.ts +128 -0
  192. package/src/cli/commands/__tests__/check.test.ts +14 -25
  193. package/src/cli/commands/__tests__/constraints-report.test.ts +327 -0
  194. package/src/cli/commands/__tests__/constraints-retire.test.ts +283 -0
  195. package/src/cli/commands/__tests__/init-injection.test.ts +234 -0
  196. package/src/cli/commands/__tests__/status-extra.test.ts +11 -11
  197. package/src/cli/commands/__tests__/status.test.ts +1 -1
  198. package/src/cli/commands/__tests__/sync-docs.test.ts +163 -0
  199. package/src/cli/commands/check.ts +72 -38
  200. package/src/cli/commands/constraints-report.ts +234 -0
  201. package/src/cli/commands/constraints-retire.ts +443 -0
  202. package/src/cli/commands/constraints.ts +5 -5
  203. package/src/cli/commands/index.ts +2 -1
  204. package/src/cli/commands/init.ts +94 -66
  205. package/src/cli/commands/report.ts +6 -6
  206. package/src/cli/commands/status.ts +3 -4
  207. package/src/cli/commands/sync-docs/capabilities-syncer.ts +90 -15
  208. package/src/cli/commands/sync-docs/index.ts +87 -24
  209. package/src/cli/commands/validate.ts +1 -5
  210. package/src/core/CONTEXT.md +7 -4
  211. package/src/core/constraints/__tests__/injection-drift.test.ts +164 -0
  212. package/src/core/constraints/__tests__/interceptor.test.ts +4 -0
  213. package/src/core/constraints/capabilities-parser.ts +28 -0
  214. package/src/core/constraints/checker.ts +73 -28
  215. package/src/core/constraints/checkers/capability-sync.ts +89 -18
  216. package/src/core/constraints/checkers/context-doc-sync.ts +9 -2
  217. package/src/core/constraints/checkers/docs-freshness.ts +43 -0
  218. package/src/core/constraints/checkers/index.ts +38 -71
  219. package/src/core/constraints/checkers/iron-flags.ts +13 -49
  220. package/src/core/constraints/checkers/no-hardcoded-credentials.ts +93 -0
  221. package/src/core/constraints/checkers/types.ts +27 -5
  222. package/src/core/constraints/context-builder.ts +28 -19
  223. package/src/core/constraints/definitions/guidelines.ts +33 -599
  224. package/src/core/constraints/definitions/iron-laws.ts +48 -239
  225. package/src/core/constraints/definitions/prompts.ts +419 -0
  226. package/src/core/constraints/definitions.ts +18 -11
  227. package/src/core/constraints/index.ts +10 -1
  228. package/src/core/constraints/injection-drift.ts +139 -0
  229. package/src/core/constraints/injection-renderer.ts +44 -0
  230. package/src/core/constraints/interceptor.ts +3 -2
  231. package/src/core/constraints/usage-report.ts +254 -0
  232. package/src/core/effective-constraints.ts +85 -0
  233. package/src/core/index.ts +4 -1
  234. package/src/core/project-config-loader.ts +82 -9
  235. package/src/dashboard/__tests__/data.test.ts +5 -12
  236. package/src/dashboard/data.ts +9 -19
  237. package/src/dashboard/types.ts +18 -1
  238. package/src/index.ts +0 -12
  239. package/src/knowledge/CONTEXT.md +2 -2
  240. package/src/monitoring/CONTEXT.md +3 -4
  241. package/src/monitoring/index.ts +0 -2
  242. package/src/monitoring/knowledge-evolver.ts +1 -1
  243. package/src/monitoring/trace-analyzer.ts +15 -10
  244. package/src/monitoring/traces.ts +10 -6
  245. package/src/presets/__tests__/standard.test.ts +11 -9
  246. package/src/presets/standard.ts +24 -15
  247. package/src/types/constraint.ts +59 -14
  248. package/src/types/index.ts +1 -3
  249. package/src/types/monitoring-types.ts +2 -84
  250. package/src/types/project-config.ts +37 -1
  251. package/src/types/trace.ts +18 -7
  252. package/src/verification/CONTEXT.md +1 -1
  253. package/dist/cli/commands/flow.d.ts +0 -22
  254. package/dist/cli/commands/flow.d.ts.map +0 -1
  255. package/dist/cli/commands/flow.js +0 -275
  256. package/dist/cli/commands/flow.js.map +0 -1
  257. package/dist/constraints/lifecycle-runner.d.ts +0 -52
  258. package/dist/constraints/lifecycle-runner.d.ts.map +0 -1
  259. package/dist/constraints/lifecycle-runner.js +0 -151
  260. package/dist/constraints/lifecycle-runner.js.map +0 -1
  261. package/dist/constraints/registry.d.ts +0 -27
  262. package/dist/constraints/registry.d.ts.map +0 -1
  263. package/dist/constraints/registry.js +0 -128
  264. package/dist/constraints/registry.js.map +0 -1
  265. package/dist/constraints/types.d.ts +0 -53
  266. package/dist/constraints/types.d.ts.map +0 -1
  267. package/dist/constraints/types.js +0 -8
  268. package/dist/constraints/types.js.map +0 -1
  269. package/dist/core/constraints/checkers/always-pass.d.ts +0 -17
  270. package/dist/core/constraints/checkers/always-pass.d.ts.map +0 -1
  271. package/dist/core/constraints/checkers/always-pass.js +0 -23
  272. package/dist/core/constraints/checkers/always-pass.js.map +0 -1
  273. package/dist/core/constraints/checkers/guideline-flags.d.ts +0 -9
  274. package/dist/core/constraints/checkers/guideline-flags.d.ts.map +0 -1
  275. package/dist/core/constraints/checkers/guideline-flags.js +0 -13
  276. package/dist/core/constraints/checkers/guideline-flags.js.map +0 -1
  277. package/dist/core/constraints/checkers/no-any-type.d.ts +0 -6
  278. package/dist/core/constraints/checkers/no-any-type.d.ts.map +0 -1
  279. package/dist/core/constraints/checkers/no-any-type.js +0 -42
  280. package/dist/core/constraints/checkers/no-any-type.js.map +0 -1
  281. package/dist/core/constraints/checkers/no-excuse-patterns.d.ts +0 -6
  282. package/dist/core/constraints/checkers/no-excuse-patterns.d.ts.map +0 -1
  283. package/dist/core/constraints/checkers/no-excuse-patterns.js +0 -25
  284. package/dist/core/constraints/checkers/no-excuse-patterns.js.map +0 -1
  285. package/dist/core/constraints/checkers/no-fuzzy-completion-claim.d.ts +0 -6
  286. package/dist/core/constraints/checkers/no-fuzzy-completion-claim.d.ts.map +0 -1
  287. package/dist/core/constraints/checkers/no-fuzzy-completion-claim.js +0 -34
  288. package/dist/core/constraints/checkers/no-fuzzy-completion-claim.js.map +0 -1
  289. package/dist/core/constraints/checkers/no-performative-agreement.d.ts +0 -8
  290. package/dist/core/constraints/checkers/no-performative-agreement.d.ts.map +0 -1
  291. package/dist/core/constraints/checkers/no-performative-agreement.js +0 -23
  292. package/dist/core/constraints/checkers/no-performative-agreement.js.map +0 -1
  293. package/dist/core/constraints/checkers/no-simplification-without-approval.d.ts +0 -6
  294. package/dist/core/constraints/checkers/no-simplification-without-approval.d.ts.map +0 -1
  295. package/dist/core/constraints/checkers/no-simplification-without-approval.js +0 -30
  296. package/dist/core/constraints/checkers/no-simplification-without-approval.js.map +0 -1
  297. package/dist/core/constraints/checkers/test-coverage.d.ts +0 -6
  298. package/dist/core/constraints/checkers/test-coverage.d.ts.map +0 -1
  299. package/dist/core/constraints/checkers/test-coverage.js +0 -33
  300. package/dist/core/constraints/checkers/test-coverage.js.map +0 -1
  301. package/dist/core/constraints/checkers/yagni.d.ts +0 -8
  302. package/dist/core/constraints/checkers/yagni.d.ts.map +0 -1
  303. package/dist/core/constraints/checkers/yagni.js +0 -96
  304. package/dist/core/constraints/checkers/yagni.js.map +0 -1
  305. package/dist/core/constraints/definitions/tips.d.ts +0 -7
  306. package/dist/core/constraints/definitions/tips.d.ts.map +0 -1
  307. package/dist/core/constraints/definitions/tips.js +0 -62
  308. package/dist/core/constraints/definitions/tips.js.map +0 -1
  309. package/dist/evolution/auto-evolve.d.ts +0 -35
  310. package/dist/evolution/auto-evolve.d.ts.map +0 -1
  311. package/dist/evolution/auto-evolve.js +0 -64
  312. package/dist/evolution/auto-evolve.js.map +0 -1
  313. package/dist/evolution/index.d.ts +0 -2
  314. package/dist/evolution/index.d.ts.map +0 -1
  315. package/dist/evolution/index.js +0 -18
  316. package/dist/evolution/index.js.map +0 -1
  317. package/dist/monitoring/constraint-evolver.d.ts +0 -120
  318. package/dist/monitoring/constraint-evolver.d.ts.map +0 -1
  319. package/dist/monitoring/constraint-evolver.js +0 -410
  320. package/dist/monitoring/constraint-evolver.js.map +0 -1
  321. package/src/__tests__/constraint-evolver.test.ts +0 -405
  322. package/src/__tests__/doctor-evolver.test.ts +0 -381
  323. package/src/cli/commands/__tests__/flow.test.ts +0 -343
  324. package/src/cli/commands/flow.ts +0 -277
  325. package/src/constraints/__tests__/lifecycle-runner.test.ts +0 -246
  326. package/src/constraints/__tests__/registry.test.ts +0 -196
  327. package/src/constraints/lifecycle-runner.ts +0 -184
  328. package/src/constraints/registry.ts +0 -134
  329. package/src/constraints/types.ts +0 -59
  330. package/src/core/constraints/checkers/always-pass.ts +0 -22
  331. package/src/core/constraints/checkers/guideline-flags.ts +0 -30
  332. package/src/core/constraints/checkers/no-any-type.ts +0 -42
  333. package/src/core/constraints/checkers/no-excuse-patterns.ts +0 -24
  334. package/src/core/constraints/checkers/no-fuzzy-completion-claim.ts +0 -33
  335. package/src/core/constraints/checkers/no-performative-agreement.ts +0 -22
  336. package/src/core/constraints/checkers/no-simplification-without-approval.ts +0 -29
  337. package/src/core/constraints/checkers/test-coverage.ts +0 -35
  338. package/src/core/constraints/checkers/yagni.ts +0 -65
  339. package/src/core/constraints/definitions/tips.ts +0 -63
  340. package/src/evolution/CONTEXT.md +0 -22
  341. package/src/evolution/__tests__/auto-evolve.test.ts +0 -319
  342. package/src/evolution/auto-evolve.ts +0 -98
  343. package/src/evolution/index.ts +0 -1
  344. package/src/monitoring/constraint-evolver.ts +0 -501
@@ -1,8 +0,0 @@
1
- /**
2
- * no_performative_agreement:表演性同意辅助检查(工单 21)
3
- *
4
- * 主要由 promptInjection 驱动,此处做辅助检查。
5
- */
6
- import type { ConstraintCheck } from './types';
7
- export declare const noPerformativeAgreement: ConstraintCheck;
8
- //# sourceMappingURL=no-performative-agreement.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"no-performative-agreement.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-performative-agreement.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAI/C,eAAO,MAAM,uBAAuB,EAAE,eAWrC,CAAC"}
@@ -1,23 +0,0 @@
1
- "use strict";
2
- /**
3
- * no_performative_agreement:表演性同意辅助检查(工单 21)
4
- *
5
- * 主要由 promptInjection 驱动,此处做辅助检查。
6
- */
7
- Object.defineProperty(exports, "__esModule", { value: true });
8
- exports.noPerformativeAgreement = void 0;
9
- const PERFORMATIVE_START = /^(好的[,,]*\s*我[来去]做|明白了[,,]*|没问题[,,]*|ok[,,]*\s*i.?ll)/i;
10
- exports.noPerformativeAgreement = {
11
- id: 'no_performative_agreement',
12
- evaluate(env) {
13
- const text = env.context.taskDescription || '';
14
- if (!text)
15
- return true;
16
- // 以表演性模式开头且总长度很短 → 视为表演性同意
17
- if (PERFORMATIVE_START.test(text) && text.length < 100) {
18
- return false;
19
- }
20
- return true;
21
- },
22
- };
23
- //# sourceMappingURL=no-performative-agreement.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"no-performative-agreement.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-performative-agreement.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAIH,MAAM,kBAAkB,GAAG,wDAAwD,CAAC;AAEvE,QAAA,uBAAuB,GAAoB;IACtD,EAAE,EAAE,2BAA2B;IAC/B,QAAQ,CAAC,GAAG;QACV,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,2BAA2B;QAC3B,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}
@@ -1,6 +0,0 @@
1
- /**
2
- * no_simplification_without_approval:staged diff 不得含简化关键词(工单 21)
3
- */
4
- import type { ConstraintCheck } from './types';
5
- export declare const noSimplificationWithoutApproval: ConstraintCheck;
6
- //# sourceMappingURL=no-simplification-without-approval.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"no-simplification-without-approval.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-simplification-without-approval.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAS/C,eAAO,MAAM,+BAA+B,EAAE,eAe7C,CAAC"}
@@ -1,30 +0,0 @@
1
- "use strict";
2
- /**
3
- * no_simplification_without_approval:staged diff 不得含简化关键词(工单 21)
4
- */
5
- Object.defineProperty(exports, "__esModule", { value: true });
6
- exports.noSimplificationWithoutApproval = void 0;
7
- const SIMPLIFICATION_PATTERNS = [
8
- /removed\s*test/i,
9
- /simplified\s*logic/i,
10
- /removed\s*validation/i,
11
- /skip\s*check/i,
12
- ];
13
- exports.noSimplificationWithoutApproval = {
14
- id: 'no_simplification_without_approval',
15
- async evaluate(env) {
16
- try {
17
- const diff = await env.stagedDiff();
18
- for (const pattern of SIMPLIFICATION_PATTERNS) {
19
- if (pattern.test(diff)) {
20
- return false; // 发现简化关键词
21
- }
22
- }
23
- return true;
24
- }
25
- catch {
26
- return true; // 检查失败,默认通过
27
- }
28
- },
29
- };
30
- //# sourceMappingURL=no-simplification-without-approval.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"no-simplification-without-approval.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-simplification-without-approval.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAIH,MAAM,uBAAuB,GAAG;IAC9B,iBAAiB;IACjB,qBAAqB;IACrB,uBAAuB;IACvB,eAAe;CAChB,CAAC;AAEW,QAAA,+BAA+B,GAAoB;IAC9D,EAAE,EAAE,oCAAoC;IACxC,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;YACpC,KAAK,MAAM,OAAO,IAAI,uBAAuB,EAAE,CAAC;gBAC9C,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,UAAU;gBAC1B,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC,YAAY;QAC3B,CAAC;IACH,CAAC;CACF,CAAC"}
@@ -1,6 +0,0 @@
1
- /**
2
- * test_coverage_required:读取 coverage 报告校验行覆盖率(工单 21)
3
- */
4
- import type { ConstraintCheck } from './types';
5
- export declare const testCoverageRequired: ConstraintCheck;
6
- //# sourceMappingURL=test-coverage.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"test-coverage.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/test-coverage.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C,eAAO,MAAM,oBAAoB,EAAE,eA0BlC,CAAC"}
@@ -1,33 +0,0 @@
1
- "use strict";
2
- /**
3
- * test_coverage_required:读取 coverage 报告校验行覆盖率(工单 21)
4
- */
5
- Object.defineProperty(exports, "__esModule", { value: true });
6
- exports.testCoverageRequired = void 0;
7
- const fs_1 = require("fs");
8
- const path_1 = require("path");
9
- exports.testCoverageRequired = {
10
- id: 'test_coverage_required',
11
- async evaluate(env) {
12
- const projectPath = env.projectPath;
13
- try {
14
- const coverageJsonPath = (0, path_1.join)(projectPath, 'coverage', 'coverage-final.json');
15
- const coverageSummaryPath = (0, path_1.join)(projectPath, 'coverage', 'coverage-summary.json');
16
- if (!(0, fs_1.existsSync)(coverageJsonPath) && !(0, fs_1.existsSync)(coverageSummaryPath)) {
17
- return true; // 无 coverage 报告,默认通过
18
- }
19
- if ((0, fs_1.existsSync)(coverageSummaryPath)) {
20
- const summary = JSON.parse((0, fs_1.readFileSync)(coverageSummaryPath, 'utf-8'));
21
- const total = summary.total || {};
22
- const linesCoverage = total.lines?.pct || 0;
23
- // 默认要求 50% 覆盖率(可配置)
24
- return linesCoverage >= 50;
25
- }
26
- return true;
27
- }
28
- catch {
29
- return true; // 检查失败,默认通过
30
- }
31
- },
32
- };
33
- //# sourceMappingURL=test-coverage.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"test-coverage.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/test-coverage.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,2BAA8C;AAC9C,+BAA4B;AAGf,QAAA,oBAAoB,GAAoB;IACnD,EAAE,EAAE,wBAAwB;IAC5B,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QACpC,IAAI,CAAC;YACH,MAAM,gBAAgB,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAC;YAC9E,MAAM,mBAAmB,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,UAAU,EAAE,uBAAuB,CAAC,CAAC;YAEnF,IAAI,CAAC,IAAA,eAAU,EAAC,gBAAgB,CAAC,IAAI,CAAC,IAAA,eAAU,EAAC,mBAAmB,CAAC,EAAE,CAAC;gBACtE,OAAO,IAAI,CAAC,CAAC,qBAAqB;YACpC,CAAC;YAED,IAAI,IAAA,eAAU,EAAC,mBAAmB,CAAC,EAAE,CAAC;gBACpC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAA,iBAAY,EAAC,mBAAmB,EAAE,OAAO,CAAC,CAAC,CAAC;gBACvE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;gBAClC,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;gBAE5C,oBAAoB;gBACpB,OAAO,aAAa,IAAI,EAAE,CAAC;YAC7B,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC,YAAY;QAC3B,CAAC;IACH,CAAC;CACF,CAAC"}
@@ -1,8 +0,0 @@
1
- /**
2
- * yagni_check:过度设计信号 — 只有一个实现的 interface/abstract class(工单 21)
3
- *
4
- * 主要由 promptInjection 驱动,这里是辅助检查。
5
- */
6
- import type { ConstraintCheck } from './types';
7
- export declare const yagniCheck: ConstraintCheck;
8
- //# sourceMappingURL=yagni.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"yagni.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/yagni.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C,eAAO,MAAM,UAAU,EAAE,eAsDxB,CAAC"}
@@ -1,96 +0,0 @@
1
- "use strict";
2
- /**
3
- * yagni_check:过度设计信号 — 只有一个实现的 interface/abstract class(工单 21)
4
- *
5
- * 主要由 promptInjection 驱动,这里是辅助检查。
6
- */
7
- var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
8
- if (k2 === undefined) k2 = k;
9
- var desc = Object.getOwnPropertyDescriptor(m, k);
10
- if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
11
- desc = { enumerable: true, get: function() { return m[k]; } };
12
- }
13
- Object.defineProperty(o, k2, desc);
14
- }) : (function(o, m, k, k2) {
15
- if (k2 === undefined) k2 = k;
16
- o[k2] = m[k];
17
- }));
18
- var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
19
- Object.defineProperty(o, "default", { enumerable: true, value: v });
20
- }) : function(o, v) {
21
- o["default"] = v;
22
- });
23
- var __importStar = (this && this.__importStar) || (function () {
24
- var ownKeys = function(o) {
25
- ownKeys = Object.getOwnPropertyNames || function (o) {
26
- var ar = [];
27
- for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
28
- return ar;
29
- };
30
- return ownKeys(o);
31
- };
32
- return function (mod) {
33
- if (mod && mod.__esModule) return mod;
34
- var result = {};
35
- if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
36
- __setModuleDefault(result, mod);
37
- return result;
38
- };
39
- })();
40
- Object.defineProperty(exports, "__esModule", { value: true });
41
- exports.yagniCheck = void 0;
42
- const fs = __importStar(require("fs"));
43
- const path = __importStar(require("path"));
44
- exports.yagniCheck = {
45
- id: 'yagni_check',
46
- async evaluate(env) {
47
- const projectPath = env.projectPath;
48
- const changedFiles = env.context.changedFiles;
49
- // 无上下文时默认通过(主要由 promptInjection 驱动)
50
- if (!projectPath || !changedFiles || changedFiles.length === 0)
51
- return true;
52
- try {
53
- for (const file of changedFiles) {
54
- if (!file.endsWith('.ts') && !file.endsWith('.tsx'))
55
- continue;
56
- const filePath = path.join(projectPath, file);
57
- if (!fs.existsSync(filePath))
58
- continue;
59
- const content = fs.readFileSync(filePath, 'utf-8');
60
- // 检查是否有 export interface/abstract class
61
- const hasInterface = /export\s+(?:default\s+)?interface\s+(\w+)/g;
62
- const hasAbstract = /export\s+(?:default\s+)?abstract\s+class\s+(\w+)/g;
63
- const interfaces = [...content.matchAll(hasInterface)].map(m => m[1]);
64
- const abstracts = [...content.matchAll(hasAbstract)].map(m => m[1]);
65
- const exportedTypes = [...interfaces, ...abstracts];
66
- for (const typeName of exportedTypes) {
67
- // 检查同一个 typeName 的 implements/extends 出现次数
68
- const implPattern = new RegExp(`(?:implements|extends)\\s+${typeName}\\b`, 'g');
69
- // 简化版:只在 changedFiles 中搜索
70
- let implCount = 0;
71
- for (const f of changedFiles) {
72
- if (!f.endsWith('.ts') && !f.endsWith('.tsx'))
73
- continue;
74
- const fp = path.join(projectPath, f);
75
- if (!fs.existsSync(fp))
76
- continue;
77
- const fc = fs.readFileSync(fp, 'utf-8');
78
- const matches = fc.match(implPattern);
79
- if (matches)
80
- implCount += matches.length;
81
- }
82
- // 只有一个实现者 → YAGNI 违规
83
- if (implCount <= 1) {
84
- return false;
85
- }
86
- }
87
- }
88
- }
89
- catch {
90
- // 文件读取失败,默认通过
91
- return true;
92
- }
93
- return true;
94
- },
95
- };
96
- //# sourceMappingURL=yagni.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"yagni.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/yagni.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,2CAA6B;AAGhB,QAAA,UAAU,GAAoB;IACzC,EAAE,EAAE,aAAa;IACjB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QACpC,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC;QAE9C,oCAAoC;QACpC,IAAI,CAAC,WAAW,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAE5E,IAAI,CAAC;YACH,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAE9D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAC9C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBAEvC,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAEnD,wCAAwC;gBACxC,MAAM,YAAY,GAAG,4CAA4C,CAAC;gBAClE,MAAM,WAAW,GAAG,mDAAmD,CAAC;gBAExE,MAAM,UAAU,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtE,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAEpE,MAAM,aAAa,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,SAAS,CAAC,CAAC;gBAEpD,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;oBACrC,2CAA2C;oBAC3C,MAAM,WAAW,GAAG,IAAI,MAAM,CAAC,6BAA6B,QAAQ,KAAK,EAAE,GAAG,CAAC,CAAC;oBAChF,0BAA0B;oBAC1B,IAAI,SAAS,GAAG,CAAC,CAAC;oBAClB,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;wBAC7B,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;4BAAE,SAAS;wBACxD,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;wBACrC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;4BAAE,SAAS;wBACjC,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;wBACxC,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;wBACtC,IAAI,OAAO;4BAAE,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC;oBAC3C,CAAC;oBAED,qBAAqB;oBACrB,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;wBACnB,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,cAAc;YACd,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}
@@ -1,7 +0,0 @@
1
- /**
2
- * 约束定义拆分文件(工单 20):原 definitions.ts 按层拆分,
3
- * definitions.ts 保持原路径做薄聚合(studio rule-scanner 契约)。
4
- */
5
- import type { Constraint } from '../../../types/constraint';
6
- export declare const TIPS: Record<string, Constraint>;
7
- //# sourceMappingURL=tips.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"tips.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/tips.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAQ5D,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAiD3C,CAAC"}
@@ -1,62 +0,0 @@
1
- "use strict";
2
- /**
3
- * 约束定义拆分文件(工单 20):原 definitions.ts 按层拆分,
4
- * definitions.ts 保持原路径做薄聚合(studio rule-scanner 契约)。
5
- */
6
- Object.defineProperty(exports, "__esModule", { value: true });
7
- exports.TIPS = void 0;
8
- // ========================================
9
- // TIPS(提示)
10
- //
11
- // 定义:信息性提示,可忽略
12
- // ========================================
13
- exports.TIPS = {
14
- /**
15
- * 建议写 README
16
- */
17
- readme_required: {
18
- id: 'readme_required',
19
- rule: 'NEW MODULES SHOULD HAVE README',
20
- message: '建议为新模块创建 README',
21
- level: 'tip',
22
- trigger: 'module_creation',
23
- enforcement: 'create-readme',
24
- description: `创建新模块时建议同时创建 README.md,说明:
25
-
26
- - 模块用途
27
- - 使用方法
28
- - API 文档
29
- - 示例代码
30
-
31
- README 帮助其他开发者快速了解模块。`,
32
- promptInjection: '创建新模块时,同时创建 README.md 说明模块用途、使用方法和 API 文档,帮助其他开发者快速了解模块。',
33
- },
34
- /**
35
- * 建议写 API 文档
36
- */
37
- doc_required_for_public_api: {
38
- id: 'doc_required_for_public_api',
39
- rule: 'PUBLIC API SHOULD HAVE DOCUMENTATION',
40
- message: '建议为公共 API 添加文档注释',
41
- level: 'tip',
42
- trigger: 'export_change',
43
- enforcement: 'add-docs',
44
- description: `所有导出的函数、类、接口建议添加 JSDoc 注释:
45
-
46
- \`\`\`typescript
47
- /**
48
- * 计算两个数的和
49
- * @param a 第一个数
50
- * @param b 第二个数
51
- * @returns 两数之和
52
- */
53
- export function add(a: number, b: number): number {
54
- return a + b;
55
- }
56
- \`\`\`
57
-
58
- 文档注释帮助 IDE 提供智能提示。`,
59
- promptInjection: '公共 API(导出的函数、类、接口)必须有 JSDoc 文档注释,说明参数、返回值和用法示例。',
60
- },
61
- };
62
- //# sourceMappingURL=tips.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"tips.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/tips.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIH,2CAA2C;AAC3C,WAAW;AACX,EAAE;AACF,eAAe;AACf,2CAA2C;AAE9B,QAAA,IAAI,GAA+B;IAC9C;;OAEG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,gCAAgC;QACtC,OAAO,EAAE,iBAAiB;QAC1B,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,iBAAiB;QAC1B,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;;;sBAOK;QAClB,eAAe,EAAE,0DAA0D;KAC5E;IAED;;OAEG;IACH,2BAA2B,EAAE;QAC3B,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,UAAU;QACvB,WAAW,EAAE;;;;;;;;;;;;;;mBAcE;QACf,eAAe,EAAE,iDAAiD;KACnE;CACF,CAAC"}
@@ -1,35 +0,0 @@
1
- /**
2
- * 约束自动进化
3
- *
4
- * 纯计算:接收 traces + anomalies,返回进化结果。
5
- * 不读写文件,数据存储由调用方负责。
6
- */
7
- import type { ExecutionTrace, TraceAnomaly } from '../types/trace';
8
- import type { LLMAdapter } from '../llm/types';
9
- import type { Diagnosis, ConstraintProposal } from '../types/monitoring-types';
10
- import type { ExecutionResult } from '../constraints/lifecycle-runner';
11
- export interface AutoEvolveOptions {
12
- /** 自动审核低风险提案(默认 true) */
13
- autoApproveLowRisk?: boolean;
14
- /** LLM adapter(用于深度诊断,可选) */
15
- llm?: LLMAdapter;
16
- }
17
- export interface AutoEvolveResult {
18
- /** 诊断结果 */
19
- diagnoses: Diagnosis[];
20
- /** 提案列表 */
21
- proposals: ConstraintProposal[];
22
- /** 自动审核通过数 */
23
- autoApproved: number;
24
- /** 需要人工审核数 */
25
- needsReview: number;
26
- /** 执行结果 */
27
- executions: ExecutionResult[];
28
- }
29
- /**
30
- * 自动进化:traces + anomalies → 诊断 → 提案 → 审核 → 执行
31
- *
32
- * 纯计算,不读写文件。调用方负责数据存储。
33
- */
34
- export declare function autoEvolve(traces: ExecutionTrace[], anomalies: TraceAnomaly[], options?: AutoEvolveOptions): Promise<AutoEvolveResult>;
35
- //# sourceMappingURL=auto-evolve.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"auto-evolve.d.ts","sourceRoot":"","sources":["../../src/evolution/auto-evolve.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAI/C,OAAO,KAAK,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAEvE,MAAM,WAAW,iBAAiB;IAChC,yBAAyB;IACzB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,6BAA6B;IAC7B,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW;IACX,SAAS,EAAE,SAAS,EAAE,CAAC;IACvB,WAAW;IACX,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,cAAc;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW;IACX,UAAU,EAAE,eAAe,EAAE,CAAC;CAC/B;AAED;;;;GAIG;AACH,wBAAsB,UAAU,CAC9B,MAAM,EAAE,cAAc,EAAE,EACxB,SAAS,EAAE,YAAY,EAAE,EACzB,OAAO,CAAC,EAAE,iBAAiB,GAC1B,OAAO,CAAC,gBAAgB,CAAC,CAoD3B"}
@@ -1,64 +0,0 @@
1
- "use strict";
2
- /**
3
- * 约束自动进化
4
- *
5
- * 纯计算:接收 traces + anomalies,返回进化结果。
6
- * 不读写文件,数据存储由调用方负责。
7
- */
8
- Object.defineProperty(exports, "__esModule", { value: true });
9
- exports.autoEvolve = autoEvolve;
10
- const constraint_doctor_1 = require("../monitoring/constraint-doctor");
11
- const constraint_evolver_1 = require("../monitoring/constraint-evolver");
12
- const definitions_1 = require("../core/constraints/definitions");
13
- const lifecycle_runner_1 = require("../constraints/lifecycle-runner");
14
- /**
15
- * 自动进化:traces + anomalies → 诊断 → 提案 → 审核 → 执行
16
- *
17
- * 纯计算,不读写文件。调用方负责数据存储。
18
- */
19
- async function autoEvolve(traces, anomalies, options) {
20
- const { autoApproveLowRisk = true, llm } = options ?? {};
21
- const doctor = new constraint_doctor_1.ConstraintDoctor({ enabled: !!llm }, llm);
22
- doctor.setData(traces);
23
- const evolver = new constraint_evolver_1.ConstraintEvolver(undefined, definitions_1.getConstraint);
24
- const runner = new lifecycle_runner_1.ConstraintLifecycleRunner();
25
- const diagnoses = [];
26
- const proposals = [];
27
- const executions = [];
28
- let autoApproved = 0;
29
- let needsReview = 0;
30
- // 1. 诊断每个异常
31
- for (const anomaly of anomalies) {
32
- const diagnosis = await doctor.diagnose(anomaly);
33
- diagnoses.push(diagnosis);
34
- if (!diagnosis.needsChange)
35
- continue;
36
- // 2. 生成提案
37
- const proposal = await evolver.propose(diagnosis);
38
- if (!proposal)
39
- continue;
40
- // 3. 审核
41
- const review = evolver.review(proposal);
42
- if (review.accepted && autoApproveLowRisk) {
43
- proposal.status = 'accepted';
44
- autoApproved++;
45
- // 4. 执行
46
- const result = runner.execute(proposal);
47
- executions.push(result);
48
- if (result.success) {
49
- proposal.status = 'implemented';
50
- }
51
- }
52
- else {
53
- proposal.status = 'reviewing';
54
- needsReview++;
55
- if (review.modifications) {
56
- Object.assign(proposal.content, review.modifications);
57
- }
58
- }
59
- proposal.reviewComment = review.comment;
60
- proposals.push(proposal);
61
- }
62
- return { diagnoses, proposals, autoApproved, needsReview, executions };
63
- }
64
- //# sourceMappingURL=auto-evolve.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"auto-evolve.js","sourceRoot":"","sources":["../../src/evolution/auto-evolve.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AAoCH,gCAwDC;AAxFD,uEAAmE;AACnE,yEAAqE;AACrE,iEAAgE;AAEhE,sEAA4E;AAuB5E;;;;GAIG;AACI,KAAK,UAAU,UAAU,CAC9B,MAAwB,EACxB,SAAyB,EACzB,OAA2B;IAE3B,MAAM,EAAE,kBAAkB,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,OAAO,IAAI,EAAE,CAAC;IAEzD,MAAM,MAAM,GAAG,IAAI,oCAAgB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;IAC7D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAEvB,MAAM,OAAO,GAAG,IAAI,sCAAiB,CAAC,SAAS,EAAE,2BAAa,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,4CAAyB,EAAE,CAAC;IAE/C,MAAM,SAAS,GAAgB,EAAE,CAAC;IAClC,MAAM,SAAS,GAAyB,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,YAAY;IACZ,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE1B,IAAI,CAAC,SAAS,CAAC,WAAW;YAAE,SAAS;QAErC,UAAU;QACV,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,QAAQ;QACR,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAExC,IAAI,MAAM,CAAC,QAAQ,IAAI,kBAAkB,EAAE,CAAC;YAC1C,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC;YAC7B,YAAY,EAAE,CAAC;YAEf,QAAQ;YACR,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,QAAQ,CAAC,MAAM,GAAG,aAAa,CAAC;YAClC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;YAC9B,WAAW,EAAE,CAAC;YACd,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;gBACzB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QAED,QAAQ,CAAC,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC;QACxC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACzE,CAAC"}
@@ -1,2 +0,0 @@
1
- export * from './auto-evolve';
2
- //# sourceMappingURL=index.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/evolution/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC"}
@@ -1,18 +0,0 @@
1
- "use strict";
2
- var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
3
- if (k2 === undefined) k2 = k;
4
- var desc = Object.getOwnPropertyDescriptor(m, k);
5
- if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
6
- desc = { enumerable: true, get: function() { return m[k]; } };
7
- }
8
- Object.defineProperty(o, k2, desc);
9
- }) : (function(o, m, k, k2) {
10
- if (k2 === undefined) k2 = k;
11
- o[k2] = m[k];
12
- }));
13
- var __exportStar = (this && this.__exportStar) || function(m, exports) {
14
- for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
15
- };
16
- Object.defineProperty(exports, "__esModule", { value: true });
17
- __exportStar(require("./auto-evolve"), exports);
18
- //# sourceMappingURL=index.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/evolution/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,gDAA8B"}
@@ -1,120 +0,0 @@
1
- /**
2
- * 约束提案流程
3
- *
4
- * 根据诊断结果提出约束修改建议
5
- *
6
- * 成本控制:
7
- * - 仅在诊断有结论时触发
8
- * - 精简 prompt
9
- * - ~3000 Token/次
10
- */
11
- import type { Diagnosis, ConstraintProposal, ProposalReviewResult } from '../types/monitoring-types';
12
- import type { Constraint } from '../types/constraint';
13
- export type { ConstraintProposal, ProposalReviewResult };
14
- /**
15
- * 约束查找函数(工单 15:约束集参数化,替代对 core/constraints/definitions 的值依赖)
16
- */
17
- export type ConstraintLookup = (constraintId: string) => Constraint | null | undefined;
18
- /**
19
- * Constraint Evolver - 约束进化器
20
- *
21
- * 使用方式:
22
- * ```typescript
23
- * const evolver = new ConstraintEvolver();
24
- * const proposal = await evolver.propose(diagnosis);
25
- *
26
- * // 审核
27
- * const review = evolver.review(proposal);
28
- *
29
- * // 如果接受,实施
30
- * if (review.accepted) {
31
- * evolver.implement(proposal);
32
- * }
33
- * ```
34
- */
35
- export declare class ConstraintEvolver {
36
- private proposalsDir;
37
- private constraintLookup;
38
- constructor(proposalsDir?: string, constraintLookup?: ConstraintLookup);
39
- /**
40
- * 根据诊断生成提案
41
- *
42
- * 如果诊断不需要变更,返回 null
43
- */
44
- propose(diagnosis: Diagnosis): Promise<ConstraintProposal | null>;
45
- /**
46
- * 批量生成提案
47
- */
48
- proposeBatch(diagnoses: Diagnosis[]): Promise<ConstraintProposal[]>;
49
- /**
50
- * 审核提案
51
- *
52
- * 基于规则的审核(不消耗 Token)
53
- */
54
- review(proposal: ConstraintProposal): ProposalReviewResult;
55
- /**
56
- * 实施提案(返回实施建议,不自动修改代码)
57
- */
58
- implement(proposal: ConstraintProposal): {
59
- instructions: string[];
60
- filesToModify: string[];
61
- testsToRun: string[];
62
- };
63
- /**
64
- * 保存提案
65
- */
66
- saveProposal(proposal: ConstraintProposal): void;
67
- /**
68
- * 加载提案
69
- */
70
- loadProposal(proposalId: string): ConstraintProposal;
71
- /**
72
- * 列出所有提案
73
- */
74
- listProposals(status?: ConstraintProposal['status']): ConstraintProposal[];
75
- /**
76
- * 更新提案状态
77
- */
78
- updateProposalStatus(proposalId: string, status: ConstraintProposal['status'], reviewComment?: string): void;
79
- /**
80
- * 映射建议类型到提案类型
81
- */
82
- private mapRecommendationType;
83
- /**
84
- * 生成提案内容
85
- */
86
- private generateProposalContent;
87
- /**
88
- * 建议例外条件
89
- */
90
- private suggestException;
91
- /**
92
- * 建议触发条件
93
- */
94
- private suggestTrigger;
95
- /**
96
- * 建议提示消息
97
- */
98
- private suggestMessage;
99
- /**
100
- * 风险评估
101
- */
102
- private assessRisk;
103
- /**
104
- * 估算实施信息
105
- */
106
- private estimateImplementation;
107
- /**
108
- * 查找约束定义(经注入的 lookup;未注入时返回 null)
109
- */
110
- private findConstraint;
111
- /**
112
- * 生成提案 Markdown
113
- */
114
- private generateProposalMarkdown;
115
- }
116
- /**
117
- * 创建进化器
118
- */
119
- export declare function createEvolver(proposalsDir?: string, constraintLookup?: ConstraintLookup): ConstraintEvolver;
120
- //# sourceMappingURL=constraint-evolver.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"constraint-evolver.d.ts","sourceRoot":"","sources":["../../src/monitoring/constraint-evolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,SAAS,EACT,kBAAkB,EAClB,oBAAoB,EACrB,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAGtD,YAAY,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,YAAY,EAAE,MAAM,KAAK,UAAU,GAAG,IAAI,GAAG,SAAS,CAAC;AAEvF;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,YAAY,CAAS;IAC7B,OAAO,CAAC,gBAAgB,CAA+B;gBAE3C,YAAY,CAAC,EAAE,MAAM,EAAE,gBAAgB,CAAC,EAAE,gBAAgB;IAKtE;;;;OAIG;IACG,OAAO,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IA6BvE;;OAEG;IACG,YAAY,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;IAKzE;;;;OAIG;IACH,MAAM,CAAC,QAAQ,EAAE,kBAAkB,GAAG,oBAAoB;IA+C1D;;OAEG;IACH,SAAS,CAAC,QAAQ,EAAE,kBAAkB,GAAG;QACvC,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,aAAa,EAAE,MAAM,EAAE,CAAC;QACxB,UAAU,EAAE,MAAM,EAAE,CAAC;KACtB;IAgED;;OAEG;IACH,YAAY,CAAC,QAAQ,EAAE,kBAAkB,GAAG,IAAI;IAmBhD;;OAEG;IACH,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB;IAUpD;;OAEG;IACH,aAAa,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,QAAQ,CAAC,GAAG,kBAAkB,EAAE;IAuB1E;;OAEG;IACH,oBAAoB,CAClB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,kBAAkB,CAAC,QAAQ,CAAC,EACpC,aAAa,CAAC,EAAE,MAAM,GACrB,IAAI;IAaP;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAU7B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAoC/B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAoBxB;;OAEG;IACH,OAAO,CAAC,cAAc;IAKtB;;OAEG;IACH,OAAO,CAAC,cAAc;IAKtB;;OAEG;IACH,OAAO,CAAC,UAAU;IA8BlB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAQ9B;;OAEG;IACH,OAAO,CAAC,cAAc;IAItB;;OAEG;IACH,OAAO,CAAC,wBAAwB;CA+CjC;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,YAAY,CAAC,EAAE,MAAM,EACrB,gBAAgB,CAAC,EAAE,gBAAgB,GAClC,iBAAiB,CAEnB"}