@dommaker/harness 0.13.0 → 0.13.2

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 (420) hide show
  1. package/CHANGELOG.md +169 -0
  2. package/bin/harness-knowledge-capture.js +99 -0
  3. package/bin/harness-knowledge-check.js +149 -0
  4. package/bin/harness-knowledge-track.js +92 -0
  5. package/bin/harness-knowledge-track.sh +47 -0
  6. package/bin/harness-sensitive-check.sh +67 -0
  7. package/dist/cli/commands/init.js +34 -2
  8. package/dist/cli/commands/init.js.map +1 -1
  9. package/package.json +6 -3
  10. package/src/CONTEXT.md +34 -0
  11. package/src/__tests__/acceptance-gate.test.ts +364 -0
  12. package/src/__tests__/annotation-checker.test.ts +183 -0
  13. package/src/__tests__/architecture-engine.test.ts +619 -0
  14. package/src/__tests__/checker-extra.test.ts +1627 -0
  15. package/src/__tests__/checker.test.ts +1268 -0
  16. package/src/__tests__/checkpoint.test.ts +697 -0
  17. package/src/__tests__/clean-state-extra.test.ts +301 -0
  18. package/src/__tests__/clean-state.test.ts +169 -0
  19. package/src/__tests__/constraint-doctor.test.ts +410 -0
  20. package/src/__tests__/constraint-evolver.test.ts +404 -0
  21. package/src/__tests__/constraint-handler.test.ts +136 -0
  22. package/src/__tests__/context/progressive-loader.test.ts +131 -0
  23. package/src/__tests__/contract-gate.test.ts +321 -0
  24. package/src/__tests__/cross-project-checker.test.ts +318 -0
  25. package/src/__tests__/cso-validator.test.ts +205 -0
  26. package/src/__tests__/detect-source-roots.test.ts +98 -0
  27. package/src/__tests__/doctor-evolver.test.ts +381 -0
  28. package/src/__tests__/error-classifier.test.ts +304 -0
  29. package/src/__tests__/exec.test.ts +83 -0
  30. package/src/__tests__/extend-exceptions.test.ts +149 -0
  31. package/src/__tests__/failure-recorder.test.ts +335 -0
  32. package/src/__tests__/hooks-pipeline.test.ts +214 -0
  33. package/src/__tests__/interceptor.test.ts +89 -0
  34. package/src/__tests__/iron-laws.test.ts +246 -0
  35. package/src/__tests__/long-running.test.ts +17 -0
  36. package/src/__tests__/passes-gate-check.test.ts +138 -0
  37. package/src/__tests__/passes-gate-extension.test.ts +151 -0
  38. package/src/__tests__/passes-gate-extra.test.ts +238 -0
  39. package/src/__tests__/passes-gate.test.ts +231 -0
  40. package/src/__tests__/performance-analyzer.test.ts +501 -0
  41. package/src/__tests__/performance-collector.test.ts +276 -0
  42. package/src/__tests__/performance-gate.test.ts +74 -0
  43. package/src/__tests__/presets.test.ts +104 -0
  44. package/src/__tests__/project-config-loader-extra.test.ts +269 -0
  45. package/src/__tests__/project-config-loader.test.ts +127 -0
  46. package/src/__tests__/review-gate.test.ts +92 -0
  47. package/src/__tests__/security-gate.test.ts +100 -0
  48. package/src/__tests__/session-startup.test.ts +334 -0
  49. package/src/__tests__/spec-validator.test.ts +57 -0
  50. package/src/__tests__/token-budget.test.ts +252 -0
  51. package/src/__tests__/trace-analyzer-extra.test.ts +307 -0
  52. package/src/__tests__/trace-analyzer.test.ts +131 -0
  53. package/src/__tests__/trace-collector.test.ts +258 -0
  54. package/src/__tests__/traces.test.ts +347 -0
  55. package/src/agents/CONTEXT.md +21 -0
  56. package/src/agents/__tests__/lifecycle.test.ts +248 -0
  57. package/src/agents/index.ts +2 -0
  58. package/src/agents/lifecycle.ts +201 -0
  59. package/src/agents/types.ts +46 -0
  60. package/src/architecture/CONTEXT.md +22 -0
  61. package/src/architecture/constraint-engine.ts +356 -0
  62. package/src/architecture/cross-project-checker.ts +563 -0
  63. package/src/cli/commands/CONTEXT.md +24 -0
  64. package/src/cli/commands/__tests__/acceptance.test.ts +180 -0
  65. package/src/cli/commands/__tests__/check.test.ts +598 -0
  66. package/src/cli/commands/__tests__/command.test.ts +149 -0
  67. package/src/cli/commands/__tests__/contract.test.ts +151 -0
  68. package/src/cli/commands/__tests__/failure.test.ts +199 -0
  69. package/src/cli/commands/__tests__/flow.test.ts +343 -0
  70. package/src/cli/commands/__tests__/init.test.ts +306 -0
  71. package/src/cli/commands/__tests__/passes-gate.test.ts +256 -0
  72. package/src/cli/commands/__tests__/performance.test.ts +116 -0
  73. package/src/cli/commands/__tests__/posteval-plan.test.ts +201 -0
  74. package/src/cli/commands/__tests__/report-extra.test.ts +98 -0
  75. package/src/cli/commands/__tests__/report.test.ts +109 -0
  76. package/src/cli/commands/__tests__/review.test.ts +153 -0
  77. package/src/cli/commands/__tests__/security.test.ts +147 -0
  78. package/src/cli/commands/__tests__/spec.test.ts +193 -0
  79. package/src/cli/commands/__tests__/status-extra.test.ts +223 -0
  80. package/src/cli/commands/__tests__/status.test.ts +306 -0
  81. package/src/cli/commands/__tests__/sync-docs.test.ts +335 -0
  82. package/src/cli/commands/__tests__/validate.test.ts +139 -0
  83. package/src/cli/commands/acceptance.ts +111 -0
  84. package/src/cli/commands/analyze-sessions.ts +488 -0
  85. package/src/cli/commands/check.ts +441 -0
  86. package/src/cli/commands/command.ts +90 -0
  87. package/src/cli/commands/constraints.ts +86 -0
  88. package/src/cli/commands/contract.ts +168 -0
  89. package/src/cli/commands/failure.ts +117 -0
  90. package/src/cli/commands/flow.ts +275 -0
  91. package/src/cli/commands/index.ts +26 -0
  92. package/src/cli/commands/init.ts +832 -0
  93. package/src/cli/commands/knowledge.ts +391 -0
  94. package/src/cli/commands/passes-gate.ts +158 -0
  95. package/src/cli/commands/performance.ts +108 -0
  96. package/src/cli/commands/posteval-plan.ts +85 -0
  97. package/src/cli/commands/release.ts +159 -0
  98. package/src/cli/commands/report.ts +198 -0
  99. package/src/cli/commands/review.ts +118 -0
  100. package/src/cli/commands/security.ts +122 -0
  101. package/src/cli/commands/spec.ts +158 -0
  102. package/src/cli/commands/status.ts +169 -0
  103. package/src/cli/commands/sync-docs.ts +743 -0
  104. package/src/cli/commands/update-user-model.ts +527 -0
  105. package/src/cli/commands/validate.ts +222 -0
  106. package/src/constraints/__tests__/lifecycle-runner.test.ts +246 -0
  107. package/src/constraints/__tests__/registry.test.ts +196 -0
  108. package/src/constraints/index.ts +3 -0
  109. package/src/constraints/lifecycle-runner.ts +184 -0
  110. package/src/constraints/registry.ts +134 -0
  111. package/src/constraints/types.ts +59 -0
  112. package/src/context/CONTEXT.md +28 -0
  113. package/src/context/__tests__/compaction.test.ts +169 -0
  114. package/src/context/__tests__/file-budget.test.ts +142 -0
  115. package/src/context/__tests__/knowledge-injector.test.ts +148 -0
  116. package/src/context/__tests__/progressive-loader.test.ts +264 -0
  117. package/src/context/__tests__/session-manager.test.ts +300 -0
  118. package/src/context/__tests__/token-budget.test.ts +338 -0
  119. package/src/context/__tests__/token-pipeline.test.ts +178 -0
  120. package/src/context/__tests__/tool-output-budget.test.ts +95 -0
  121. package/src/context/compaction.ts +202 -0
  122. package/src/context/file-budget.ts +142 -0
  123. package/src/context/index.ts +15 -0
  124. package/src/context/knowledge-injector.ts +168 -0
  125. package/src/context/progressive-loader.ts +260 -0
  126. package/src/context/session-manager.ts +343 -0
  127. package/src/context/token-budget.ts +295 -0
  128. package/src/context/token-pipeline.ts +265 -0
  129. package/src/context/tool-output-budget.ts +178 -0
  130. package/src/context/types.ts +160 -0
  131. package/src/core/CONTEXT.md +26 -0
  132. package/src/core/constraints/__tests__/default-executors.test.ts +57 -0
  133. package/src/core/constraints/__tests__/interceptor.test.ts +251 -0
  134. package/src/core/constraints/__tests__/prompt-injection.test.ts +89 -0
  135. package/src/core/constraints/check-cache.ts +96 -0
  136. package/src/core/constraints/checker.ts +1169 -0
  137. package/src/core/constraints/default-executors.ts +92 -0
  138. package/src/core/constraints/definitions.ts +1119 -0
  139. package/src/core/constraints/doc-freshness/__tests__/runner.test.ts +551 -0
  140. package/src/core/constraints/doc-freshness/auto-fix.ts +69 -0
  141. package/src/core/constraints/doc-freshness/runner.ts +486 -0
  142. package/src/core/constraints/index.ts +78 -0
  143. package/src/core/constraints/interceptor.ts +220 -0
  144. package/src/core/constraints/prompt-injection.ts +73 -0
  145. package/src/core/index.ts +23 -0
  146. package/src/core/project-config-loader.ts +252 -0
  147. package/src/core/session/__tests__/startup.test.ts +281 -0
  148. package/src/core/session/clean-state.ts +178 -0
  149. package/src/core/session/index.ts +15 -0
  150. package/src/core/session/startup.ts +253 -0
  151. package/src/core/spec/__tests__/validator.test.ts +379 -0
  152. package/src/core/spec/index.ts +7 -0
  153. package/src/core/spec/validator.ts +383 -0
  154. package/src/core/validators/__tests__/passes-gate.test.ts +131 -0
  155. package/src/core/validators/checkpoint.ts +547 -0
  156. package/src/core/validators/cso.ts +124 -0
  157. package/src/core/validators/index.ts +25 -0
  158. package/src/core/validators/passes-gate.ts +613 -0
  159. package/src/dashboard/CONTEXT.md +21 -0
  160. package/src/dashboard/__tests__/data.test.ts +115 -0
  161. package/src/dashboard/__tests__/stats.test.ts +156 -0
  162. package/src/dashboard/data.ts +113 -0
  163. package/src/dashboard/index.ts +3 -0
  164. package/src/dashboard/stats.ts +127 -0
  165. package/src/dashboard/types.ts +113 -0
  166. package/src/evolution/CONTEXT.md +22 -0
  167. package/src/evolution/__tests__/auto-evolve.test.ts +320 -0
  168. package/src/evolution/auto-evolve.ts +98 -0
  169. package/src/evolution/index.ts +1 -0
  170. package/src/failure/CONTEXT.md +24 -0
  171. package/src/failure/classifier.ts +156 -0
  172. package/src/failure/constraint-handler.ts +173 -0
  173. package/src/failure/index.ts +35 -0
  174. package/src/failure/recorder.ts +201 -0
  175. package/src/failure/types.ts +165 -0
  176. package/src/gates/CONTEXT.md +27 -0
  177. package/src/gates/__tests__/acceptance.test.ts +608 -0
  178. package/src/gates/__tests__/command.test.ts +206 -0
  179. package/src/gates/__tests__/performance.test.ts +381 -0
  180. package/src/gates/__tests__/review.test.ts +302 -0
  181. package/src/gates/__tests__/security.test.ts +332 -0
  182. package/src/gates/acceptance.ts +493 -0
  183. package/src/gates/command.ts +444 -0
  184. package/src/gates/contract.ts +260 -0
  185. package/src/gates/index.ts +67 -0
  186. package/src/gates/performance.ts +359 -0
  187. package/src/gates/review.ts +169 -0
  188. package/src/gates/security.ts +244 -0
  189. package/src/gates/types.ts +159 -0
  190. package/src/governance/CONTEXT.md +22 -0
  191. package/src/governance/__tests__/executor.test.ts +249 -0
  192. package/src/governance/executor.ts +229 -0
  193. package/src/governance/index.ts +13 -0
  194. package/src/governance/types.ts +53 -0
  195. package/src/hooks/CONTEXT.md +23 -0
  196. package/src/hooks/__tests__/bootstrap.test.ts +184 -0
  197. package/src/hooks/bootstrap.ts +144 -0
  198. package/src/hooks/index.ts +15 -0
  199. package/src/hooks/pipeline.ts +157 -0
  200. package/src/hooks/registry.ts +88 -0
  201. package/src/hooks/types.ts +80 -0
  202. package/src/index.ts +198 -0
  203. package/src/knowledge/CONTEXT.md +29 -0
  204. package/src/knowledge/__tests__/doctor.test.ts +272 -0
  205. package/src/knowledge/__tests__/import.test.ts +376 -0
  206. package/src/knowledge/__tests__/ingest.test.ts +125 -0
  207. package/src/knowledge/__tests__/lifecycle-hooks.test.ts +137 -0
  208. package/src/knowledge/__tests__/lifecycle.test.ts +248 -0
  209. package/src/knowledge/__tests__/lint.test.ts +401 -0
  210. package/src/knowledge/__tests__/query.test.ts +185 -0
  211. package/src/knowledge/__tests__/reference-tracker.test.ts +129 -0
  212. package/src/knowledge/__tests__/store.test.ts +238 -0
  213. package/src/knowledge/doctor.ts +104 -0
  214. package/src/knowledge/import.ts +505 -0
  215. package/src/knowledge/index.ts +16 -0
  216. package/src/knowledge/ingest.ts +126 -0
  217. package/src/knowledge/lifecycle-hooks.ts +199 -0
  218. package/src/knowledge/lifecycle.ts +175 -0
  219. package/src/knowledge/lint.ts +360 -0
  220. package/src/knowledge/query.ts +150 -0
  221. package/src/knowledge/reference-tracker.ts +99 -0
  222. package/src/knowledge/store.ts +264 -0
  223. package/src/knowledge/types.ts +139 -0
  224. package/src/llm/CONTEXT.md +21 -0
  225. package/src/llm/__tests__/adapter.test.ts +172 -0
  226. package/src/llm/adapter.ts +149 -0
  227. package/src/llm/index.ts +2 -0
  228. package/src/llm/types.ts +81 -0
  229. package/src/monitoring/CONTEXT.md +29 -0
  230. package/src/monitoring/__tests__/context-tracker.test.ts +172 -0
  231. package/src/monitoring/__tests__/knowledge-doctor.test.ts +276 -0
  232. package/src/monitoring/__tests__/knowledge-evolver.test.ts +365 -0
  233. package/src/monitoring/__tests__/performance-analyzer.test.ts +137 -0
  234. package/src/monitoring/__tests__/performance-collector.test.ts +332 -0
  235. package/src/monitoring/__tests__/traces.test.ts +190 -0
  236. package/src/monitoring/constraint-doctor.ts +499 -0
  237. package/src/monitoring/constraint-evolver.ts +573 -0
  238. package/src/monitoring/context-tracker.ts +148 -0
  239. package/src/monitoring/index.ts +23 -0
  240. package/src/monitoring/knowledge-doctor.ts +323 -0
  241. package/src/monitoring/knowledge-evolver.ts +289 -0
  242. package/src/monitoring/performance-analyzer.ts +450 -0
  243. package/src/monitoring/performance-collector.ts +348 -0
  244. package/src/monitoring/trace-analyzer.ts +470 -0
  245. package/src/monitoring/traces.ts +339 -0
  246. package/src/presets/__tests__/standard.test.ts +104 -0
  247. package/src/presets/index.ts +16 -0
  248. package/src/presets/standard.ts +163 -0
  249. package/src/safety/CONTEXT.md +23 -0
  250. package/src/safety/__tests__/input-guardrail.test.ts +105 -0
  251. package/src/safety/__tests__/output-guardrail.test.ts +108 -0
  252. package/src/safety/__tests__/sandbox.test.ts +158 -0
  253. package/src/safety/__tests__/tool-guardrail.test.ts +127 -0
  254. package/src/safety/index.ts +5 -0
  255. package/src/safety/input-guardrail.ts +133 -0
  256. package/src/safety/output-guardrail.ts +174 -0
  257. package/src/safety/sandbox.ts +148 -0
  258. package/src/safety/tool-guardrail.ts +176 -0
  259. package/src/safety/types.ts +124 -0
  260. package/src/spec/CONTEXT.md +19 -0
  261. package/src/spec/__tests__/annotation-checker.test.ts +289 -0
  262. package/src/spec/annotation-checker.ts +342 -0
  263. package/src/tools/CONTEXT.md +25 -0
  264. package/src/tools/__tests__/loader.test.ts +252 -0
  265. package/src/tools/__tests__/registry.test.ts +157 -0
  266. package/src/tools/core/__tests__/core.test.ts +122 -0
  267. package/src/tools/core/index.ts +201 -0
  268. package/src/tools/core/package.json +7 -0
  269. package/src/tools/core/pnpm-lock.yaml +232 -0
  270. package/src/tools/definitions/core/code/fingerprint.sh +273 -0
  271. package/src/tools/definitions/core/code/fingerprint.yml +72 -0
  272. package/src/tools/definitions/core/code/parse.yml +68 -0
  273. package/src/tools/definitions/core/code/register-language.sh +475 -0
  274. package/src/tools/definitions/core/code/register-language.yml +74 -0
  275. package/src/tools/definitions/core/docker/build.yml +73 -0
  276. package/src/tools/definitions/core/docker/run.yml +81 -0
  277. package/src/tools/definitions/core/file/copy.yml +88 -0
  278. package/src/tools/definitions/core/file/read.yml +69 -0
  279. package/src/tools/definitions/core/file/write.yml +75 -0
  280. package/src/tools/definitions/core/git/branch.yml +61 -0
  281. package/src/tools/definitions/core/git/cleanup-worktree.yml +50 -0
  282. package/src/tools/definitions/core/git/clone.yml +69 -0
  283. package/src/tools/definitions/core/git/commit.yml +65 -0
  284. package/src/tools/definitions/core/git/push.yml +79 -0
  285. package/src/tools/definitions/core/git/worktree.yml +96 -0
  286. package/src/tools/definitions/core/notification/notify.sh +152 -0
  287. package/src/tools/definitions/core/notification/notify.yml +60 -0
  288. package/src/tools/definitions/core/npm/build.yml +75 -0
  289. package/src/tools/definitions/core/npm/install.yml +58 -0
  290. package/src/tools/definitions/core/npm/test.yml +75 -0
  291. package/src/tools/definitions/core/validation/check-reuse.yml +170 -0
  292. package/src/tools/definitions/core/validation/validate-handlers.yml +118 -0
  293. package/src/tools/definitions/core/validation/validate-readme-stats.yml +155 -0
  294. package/src/tools/definitions/core/validation/validate-yaml-syntax.yml +134 -0
  295. package/src/tools/definitions/ext/browser/browser-automate.sh +255 -0
  296. package/src/tools/definitions/ext/browser/browser-automate.yml +166 -0
  297. package/src/tools/definitions/ext/browser/browser-close.sh +104 -0
  298. package/src/tools/definitions/ext/browser/browser-close.yml +55 -0
  299. package/src/tools/definitions/ext/browser/browser-mcp-debug.sh +682 -0
  300. package/src/tools/definitions/ext/browser/browser-mcp-debug.yml +167 -0
  301. package/src/tools/definitions/ext/browser/browser-start.sh +101 -0
  302. package/src/tools/definitions/ext/browser/browser-start.yml +62 -0
  303. package/src/tools/definitions/registry.json +795 -0
  304. package/src/tools/definitions/std/README.md +350 -0
  305. package/src/tools/definitions/std/analysis/analyze-codebase.yml +72 -0
  306. package/src/tools/definitions/std/analysis/analyze-diff.yml +182 -0
  307. package/src/tools/definitions/std/analysis/analyze-git-diff.yml +70 -0
  308. package/src/tools/definitions/std/analysis/analyze-impact.yml +78 -0
  309. package/src/tools/definitions/std/analysis/analyze-requirements.yml +105 -0
  310. package/src/tools/definitions/std/analysis/brainstorm-options.yml +106 -0
  311. package/src/tools/definitions/std/analysis/build-graph.yml +154 -0
  312. package/src/tools/definitions/std/analysis/clarify-requirements.yml +90 -0
  313. package/src/tools/definitions/std/analysis/detect-context.yml +109 -0
  314. package/src/tools/definitions/std/analysis/detect-layers.yml +125 -0
  315. package/src/tools/definitions/std/analysis/generate-tour.yml +102 -0
  316. package/src/tools/definitions/std/analysis/search-enhance.yml +105 -0
  317. package/src/tools/definitions/std/backlog/add.yml +51 -0
  318. package/src/tools/definitions/std/backlog/decide.yml +39 -0
  319. package/src/tools/definitions/std/backlog/github-sync.yml +161 -0
  320. package/src/tools/definitions/std/backlog/list.yml +53 -0
  321. package/src/tools/definitions/std/backlog/load.yml +46 -0
  322. package/src/tools/definitions/std/backlog/resolve.yml +37 -0
  323. package/src/tools/definitions/std/backlog/update.yml +42 -0
  324. package/src/tools/definitions/std/bugfix/diagnose.yml +68 -0
  325. package/src/tools/definitions/std/bugfix/fix.yml +66 -0
  326. package/src/tools/definitions/std/bugfix/verify.yml +69 -0
  327. package/src/tools/definitions/std/constraint/check-decomposition.yml +103 -0
  328. package/src/tools/definitions/std/constraint/check-feature-list.yml +77 -0
  329. package/src/tools/definitions/std/constraint/check-progress.yml +97 -0
  330. package/src/tools/definitions/std/constraint/generate-report.yml +147 -0
  331. package/src/tools/definitions/std/deploy/commit-push.yml +33 -0
  332. package/src/tools/definitions/std/deploy/deploy-backend.yml +37 -0
  333. package/src/tools/definitions/std/deploy/deploy-frontend.yml +37 -0
  334. package/src/tools/definitions/std/deploy/rollback.yml +148 -0
  335. package/src/tools/definitions/std/design/analyze-architecture-impact.yml +113 -0
  336. package/src/tools/definitions/std/design/design-api.yml +55 -0
  337. package/src/tools/definitions/std/design/design-architecture.yml +97 -0
  338. package/src/tools/definitions/std/design/design-db.yml +81 -0
  339. package/src/tools/definitions/std/design/generate-spec.yml +182 -0
  340. package/src/tools/definitions/std/development/develop-api.yml +85 -0
  341. package/src/tools/definitions/std/development/develop-backend.yml +88 -0
  342. package/src/tools/definitions/std/development/develop-frontend.yml +87 -0
  343. package/src/tools/definitions/std/development/develop-shared-types.yml +74 -0
  344. package/src/tools/definitions/std/development/develop-task.yml +122 -0
  345. package/src/tools/definitions/std/development/develop-tests.yml +76 -0
  346. package/src/tools/definitions/std/development/execute-batch.yml +152 -0
  347. package/src/tools/definitions/std/development/fix-issues.yml +100 -0
  348. package/src/tools/definitions/std/development/implement-task.yml +124 -0
  349. package/src/tools/definitions/std/development/review-fix-cycle.yml +232 -0
  350. package/src/tools/definitions/std/evolution/implement.yml +125 -0
  351. package/src/tools/definitions/std/evolution/prioritize.yml +112 -0
  352. package/src/tools/definitions/std/evolution/report-gap.yml +166 -0
  353. package/src/tools/definitions/std/file/read.yml +21 -0
  354. package/src/tools/definitions/std/governance/aggregate-opinions.sh +201 -0
  355. package/src/tools/definitions/std/governance/aggregate-opinions.yml +79 -0
  356. package/src/tools/definitions/std/governance/audit-task.yml +178 -0
  357. package/src/tools/definitions/std/governance/cast-vote.yml +129 -0
  358. package/src/tools/definitions/std/governance/collect-issues.yml +16 -0
  359. package/src/tools/definitions/std/governance/create-signed-document.yml +23 -0
  360. package/src/tools/definitions/std/governance/create-voting-session.yml +101 -0
  361. package/src/tools/definitions/std/governance/define-stance.sh +243 -0
  362. package/src/tools/definitions/std/governance/define-stance.yml +82 -0
  363. package/src/tools/definitions/std/governance/generate-review-report.yml +23 -0
  364. package/src/tools/definitions/std/governance/impeach.yml +179 -0
  365. package/src/tools/definitions/std/governance/multi-stance-review.yml +154 -0
  366. package/src/tools/definitions/std/governance/prepare-artifact.yml +20 -0
  367. package/src/tools/definitions/std/governance/review-spec-approval.yml +262 -0
  368. package/src/tools/definitions/std/governance/rollback.yml +186 -0
  369. package/src/tools/definitions/std/governance/stance-review.yml +149 -0
  370. package/src/tools/definitions/std/governance/track-effect.yml +199 -0
  371. package/src/tools/definitions/std/governance/vote-tally.yml +144 -0
  372. package/src/tools/definitions/std/patch/execute.yml +51 -0
  373. package/src/tools/definitions/std/planning/generate-tasks.yml +36 -0
  374. package/src/tools/definitions/std/planning/load-tasks.yml +44 -0
  375. package/src/tools/definitions/std/planning/split-batch.yml +481 -0
  376. package/src/tools/definitions/std/planning/split-tasks.yml +359 -0
  377. package/src/tools/definitions/std/planning/update-tasks.yml +51 -0
  378. package/src/tools/definitions/std/planning/validate-tasks.yml +46 -0
  379. package/src/tools/definitions/std/project/decide-next-workflow.yml +38 -0
  380. package/src/tools/definitions/std/project/load-state.yml +31 -0
  381. package/src/tools/definitions/std/project/save-state.yml +32 -0
  382. package/src/tools/definitions/std/quality/check-quality.yml +241 -0
  383. package/src/tools/definitions/std/quality/debug-systematic.yml +163 -0
  384. package/src/tools/definitions/std/quality/handle-feedback.yml +108 -0
  385. package/src/tools/definitions/std/quality/review-code.yml +128 -0
  386. package/src/tools/definitions/std/quality/review-spec.yml +140 -0
  387. package/src/tools/definitions/std/quality/review-task.yml +190 -0
  388. package/src/tools/definitions/std/quality/run-tests.yml +80 -0
  389. package/src/tools/definitions/std/quick/analyze.yml +56 -0
  390. package/src/tools/definitions/std/quick/implement.yml +67 -0
  391. package/src/tools/definitions/std/quick/verify.yml +71 -0
  392. package/src/tools/definitions/std/verification/verify_completion.yml +113 -0
  393. package/src/tools/definitions/std/verification/wait-condition.yml +107 -0
  394. package/src/tools/index.ts +5 -0
  395. package/src/tools/loader.ts +216 -0
  396. package/src/tools/paths.ts +15 -0
  397. package/src/tools/registry.ts +128 -0
  398. package/src/tools/types.ts +46 -0
  399. package/src/types/__tests__/types.test.ts +86 -0
  400. package/src/types/checkpoint.ts +174 -0
  401. package/src/types/constraint.ts +335 -0
  402. package/src/types/cso.ts +37 -0
  403. package/src/types/enforcement.ts +48 -0
  404. package/src/types/index.ts +59 -0
  405. package/src/types/iron-law.ts +50 -0
  406. package/src/types/passes-gate.ts +185 -0
  407. package/src/types/performance.ts +295 -0
  408. package/src/types/project-config.ts +251 -0
  409. package/src/types/session.ts +132 -0
  410. package/src/types/spec.ts +91 -0
  411. package/src/types/trace.ts +228 -0
  412. package/src/utils/detect-source-roots.ts +114 -0
  413. package/src/utils/exec.ts +61 -0
  414. package/src/verification/CONTEXT.md +23 -0
  415. package/src/verification/__tests__/loop.test.ts +303 -0
  416. package/src/verification/__tests__/rules-based.test.ts +240 -0
  417. package/src/verification/index.ts +3 -0
  418. package/src/verification/loop.ts +137 -0
  419. package/src/verification/rules-based.ts +153 -0
  420. package/src/verification/types.ts +81 -0
@@ -0,0 +1,613 @@
1
+ /**
2
+ * PassesGate - 测试门控
3
+ *
4
+ * 确保 task.passes 字段只能通过测试结果修改
5
+ * 禁止 Agent 自评通过
6
+ */
7
+
8
+ import { execAsync, delay } from '../../utils/exec';
9
+ import * as fs from 'fs/promises';
10
+ import * as path from 'path';
11
+ import type {
12
+ PassesGateConfig,
13
+ PassesGateResult,
14
+ TaskTestResult,
15
+ DynamicTask,
16
+ PassesGateExtension,
17
+ ExtensionTestResult,
18
+ TestResult,
19
+ PassesGateCheckResult,
20
+ PassesGateViolation,
21
+ } from '../../types/passes-gate';
22
+
23
+
24
+ /**
25
+ * 默认配置
26
+ */
27
+ const DEFAULT_CONFIG: Required<PassesGateConfig> = {
28
+ enabled: true,
29
+ testCommand: '',
30
+ requireEvidence: true,
31
+ allowPartialPass: false,
32
+ maxRetries: 2,
33
+ retryDelay: 1000,
34
+ };
35
+
36
+ /**
37
+ * 测试文件保护模式
38
+ */
39
+ const PROTECTED_TEST_PATTERNS = [
40
+ '**/*.test.ts',
41
+ '**/*.test.tsx',
42
+ '**/*.test.js',
43
+ '**/*.spec.ts',
44
+ '**/*.spec.tsx',
45
+ '**/*.spec.js',
46
+ '**/tests/**',
47
+ '**/__tests__/**',
48
+ ];
49
+
50
+ /**
51
+ * PassesGate 类
52
+ */
53
+ export class PassesGate {
54
+ private config: Required<PassesGateConfig>;
55
+ private testResults: Map<string, TaskTestResult> = new Map();
56
+
57
+ constructor(config: Partial<PassesGateConfig> = {}) {
58
+ this.config = { ...DEFAULT_CONFIG, ...config };
59
+ }
60
+
61
+ // ========================================
62
+ // AS-006: 纯约束验证接口
63
+ // ========================================
64
+
65
+ /**
66
+ * 验证测试结果(不运行测试)
67
+ *
68
+ * 类似 checkConstraints() 的接口风格:
69
+ - harness 只负责验证,不负责执行
70
+ * - 业务层自己运行测试,传入结果
71
+ *
72
+ * @param testResult 测试结果(由业务层运行测试后传入)
73
+ * @returns 验证结果(是否允许标记完成 + Iron Law 违规)
74
+ *
75
+ * @example
76
+ * ```typescript
77
+ * // Studio 调用方式
78
+ * const testResult = await runTestCommand(workDir); // Studio 自己运行
79
+ * const passesResult = passesGate.check(testResult); // harness 只验证
80
+ *
81
+ * if (!passesResult.allowed) {
82
+ * return res.status(400).json({
83
+ * error: 'Iron Law 违规',
84
+ * violations: passesResult.violations,
85
+ * });
86
+ * }
87
+ * ```
88
+ */
89
+ check(testResult: TestResult): PassesGateCheckResult {
90
+ const violations: PassesGateViolation[] = [];
91
+
92
+ // 1. 测试未通过 → Iron Law #2: NO SELF APPROVAL WITHOUT TEST EVIDENCE
93
+ if (!testResult.passed) {
94
+ violations.push({
95
+ id: 'no_self_approval',
96
+ rule: 'NO SELF APPROVAL WITHOUT TEST EVIDENCE',
97
+ message: '测试未通过',
98
+ level: 'iron_law',
99
+ });
100
+ }
101
+
102
+ // 2. 缺少证据 → Iron Law #3: NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION
103
+ if (this.config.requireEvidence && !testResult.evidence) {
104
+ violations.push({
105
+ id: 'no_completion_without_verification',
106
+ rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION',
107
+ message: '缺少测试证据',
108
+ level: 'iron_law',
109
+ });
110
+ }
111
+
112
+ // 3. 返回结果
113
+ if (violations.length > 0) {
114
+ return {
115
+ allowed: false,
116
+ violations,
117
+ testResult,
118
+ };
119
+ }
120
+
121
+ return {
122
+ allowed: true,
123
+ testResult,
124
+ };
125
+ }
126
+
127
+ /**
128
+ * 设置任务通过状态
129
+ * 核心方法:强制测试验证
130
+ */
131
+ async setPasses(
132
+ taskId: string,
133
+ value: boolean,
134
+ workDir: string,
135
+ task?: DynamicTask
136
+ ): Promise<PassesGateResult> {
137
+ if (!this.config.enabled) {
138
+ return {
139
+ taskId,
140
+ allowed: true,
141
+ attempts: 0,
142
+ };
143
+ }
144
+
145
+ // 如果设置为 false,直接允许
146
+ if (value === false) {
147
+ return {
148
+ taskId,
149
+ allowed: true,
150
+ testResult: {
151
+ passed: false,
152
+ command: 'manual',
153
+ timestamp: new Date(),
154
+ },
155
+ attempts: 0,
156
+ };
157
+ }
158
+
159
+ // 如果设置为 true,必须运行测试
160
+ let attempts = 0;
161
+ let lastError: string | undefined;
162
+ let testResult: TaskTestResult | undefined;
163
+
164
+ while (attempts <= this.config.maxRetries) {
165
+ attempts++;
166
+
167
+ try {
168
+ testResult = await this.runTest(workDir, task);
169
+
170
+ if (testResult.passed) {
171
+ // 记录测试结果
172
+ this.testResults.set(taskId, testResult);
173
+
174
+ // 如果要求证据,验证证据存在
175
+ if (this.config.requireEvidence && testResult.evidence) {
176
+ const evidenceExists = await this.verifyEvidence(testResult.evidence, workDir);
177
+ if (!evidenceExists) {
178
+ return {
179
+ taskId,
180
+ allowed: false,
181
+ error: 'Test evidence not found',
182
+ testResult,
183
+ attempts,
184
+ };
185
+ }
186
+ }
187
+
188
+ return {
189
+ taskId,
190
+ allowed: true,
191
+ testResult,
192
+ attempts,
193
+ };
194
+ }
195
+
196
+ lastError = `Tests failed: ${testResult.failures?.join(', ') || 'Unknown error'}`;
197
+
198
+ // 等待后重试
199
+ if (attempts <= this.config.maxRetries) {
200
+ await delay(this.config.retryDelay);
201
+ }
202
+ } catch (error: any) {
203
+ lastError = error.message;
204
+
205
+ if (attempts <= this.config.maxRetries) {
206
+ await delay(this.config.retryDelay);
207
+ }
208
+ }
209
+ }
210
+
211
+ return {
212
+ taskId,
213
+ allowed: false,
214
+ error: lastError,
215
+ testResult,
216
+ attempts,
217
+ };
218
+ }
219
+
220
+ /**
221
+ * 运行测试(CLI 使用)
222
+ */
223
+ async runTests(): Promise<{
224
+ passed: boolean;
225
+ passedTests: number;
226
+ failedTests: number;
227
+ totalTests: number;
228
+ duration: number;
229
+ failures?: { name: string; message: string }[];
230
+ message?: string;
231
+ }> {
232
+ const startTime = Date.now();
233
+ const workDir = process.cwd();
234
+
235
+ try {
236
+ const testCommand = this.config.testCommand || await this.detectTestCommand(workDir);
237
+
238
+ if (!testCommand) {
239
+ return {
240
+ passed: false,
241
+ passedTests: 0,
242
+ failedTests: 0,
243
+ totalTests: 0,
244
+ duration: Date.now() - startTime,
245
+ message: '未检测到测试命令',
246
+ };
247
+ }
248
+
249
+ const result = await this.runTest(workDir);
250
+ const duration = Date.now() - startTime;
251
+
252
+ // 解析测试数量
253
+ const output = result.output || '';
254
+ const passedMatch = output.match(/(\d+) passed/i);
255
+ const failedMatch = output.match(/(\d+) failed/i);
256
+
257
+ const passedTests = passedMatch?.[1] ? parseInt(passedMatch[1], 10) : (result.passed ? 1 : 0);
258
+ const failedTests = failedMatch?.[1] ? parseInt(failedMatch[1], 10) : (result.passed ? 0 : 1);
259
+
260
+ return {
261
+ passed: result.passed,
262
+ passedTests,
263
+ failedTests,
264
+ totalTests: passedTests + failedTests,
265
+ duration,
266
+ failures: result.failures?.map(f => ({ name: f, message: f })),
267
+ message: result.passed ? '测试通过' : '测试失败',
268
+ };
269
+ } catch (error: any) {
270
+ return {
271
+ passed: false,
272
+ passedTests: 0,
273
+ failedTests: 1,
274
+ totalTests: 1,
275
+ duration: Date.now() - startTime,
276
+ message: error.message,
277
+ };
278
+ }
279
+ }
280
+
281
+ /**
282
+ * 运行测试
283
+ */
284
+ private async runTest(workDir: string, task?: DynamicTask): Promise<TaskTestResult> {
285
+ const testCommand = await this.detectTestCommand(workDir);
286
+ const timestamp = new Date();
287
+
288
+ try {
289
+ const { stdout, stderr } = await execAsync(testCommand, {
290
+ cwd: workDir,
291
+ maxBuffer: 10 * 1024 * 1024, // 10MB buffer
292
+ });
293
+
294
+ const passed = true;
295
+ const coverage = this.extractCoverage(stdout);
296
+ const failures: string[] = [];
297
+
298
+ return {
299
+ passed,
300
+ command: testCommand,
301
+ output: stdout,
302
+ failures,
303
+ coverage,
304
+ timestamp,
305
+ evidence: await this.generateEvidence(workDir, stdout),
306
+ };
307
+ } catch (error: any) {
308
+ const output = error.stdout || '';
309
+ const stderrOutput = error.stderr || '';
310
+ const combinedOutput = output + '\n' + stderrOutput;
311
+
312
+ const failures = this.extractFailures(combinedOutput);
313
+ const passed = this.config.allowPartialPass && failures.length === 0;
314
+
315
+ return {
316
+ passed,
317
+ command: testCommand,
318
+ output: combinedOutput,
319
+ failures,
320
+ coverage: this.extractCoverage(output),
321
+ timestamp,
322
+ evidence: await this.generateEvidence(workDir, combinedOutput),
323
+ };
324
+ }
325
+ }
326
+
327
+ /**
328
+ * 检测测试命令
329
+ */
330
+ private async detectTestCommand(workDir: string): Promise<string> {
331
+ if (this.config.testCommand) {
332
+ return this.config.testCommand;
333
+ }
334
+
335
+ // 尝试读取 package.json
336
+ try {
337
+ const packageJsonPath = path.join(workDir, 'package.json');
338
+ const content = await fs.readFile(packageJsonPath, 'utf-8');
339
+ const packageJson = JSON.parse(content);
340
+
341
+ // 优先使用 e2e 测试
342
+ if (packageJson.scripts?.['test:e2e']) {
343
+ return 'npm run test:e2e';
344
+ }
345
+ if (packageJson.scripts?.['test:coverage']) {
346
+ return 'npm run test:coverage';
347
+ }
348
+ if (packageJson.scripts?.test) {
349
+ return 'npm test';
350
+ }
351
+ } catch {
352
+ // package.json 不存在,尝试其他检测
353
+ }
354
+
355
+ // 尝试 Python 项目
356
+ try {
357
+ const pyprojectPath = path.join(workDir, 'pyproject.toml');
358
+ await fs.access(pyprojectPath);
359
+ return 'pytest';
360
+ } catch {
361
+ // 不是 Python 项目
362
+ }
363
+
364
+ // 尝试 Go 项目
365
+ try {
366
+ const goModPath = path.join(workDir, 'go.mod');
367
+ await fs.access(goModPath);
368
+ return 'go test ./...';
369
+ } catch {
370
+ // 不是 Go 项目
371
+ }
372
+
373
+ // 默认命令
374
+ return 'npm test';
375
+ }
376
+
377
+ /**
378
+ * 从输出中提取覆盖率
379
+ */
380
+ private extractCoverage(output: string): number | undefined {
381
+ // Jest 格式: All files | 80.5 | 70.2 | ...
382
+ const jestMatch = output.match(/All files[|\s]+(\d+\.?\d*)/);
383
+ if (jestMatch?.[1]) {
384
+ return parseFloat(jestMatch[1]);
385
+ }
386
+
387
+ // Istanbul/nyc 格式: Statements : 80.5% ( 100/124 )
388
+ const istanbulMatch = output.match(/Statements\s*:\s*(\d+\.?\d*)%/);
389
+ if (istanbulMatch?.[1]) {
390
+ return parseFloat(istanbulMatch[1]);
391
+ }
392
+
393
+ // pytest-cov 格式: TOTAL 1234 80%
394
+ const pytestMatch = output.match(/TOTAL\s+\d+\s+(\d+)%/);
395
+ if (pytestMatch?.[1]) {
396
+ return parseInt(pytestMatch[1], 10);
397
+ }
398
+
399
+ return undefined;
400
+ }
401
+
402
+ /**
403
+ * 从输出中提取失败信息
404
+ */
405
+ private extractFailures(output: string): string[] {
406
+ const failures: string[] = [];
407
+
408
+ // Jest 格式
409
+ const jestMatches = output.matchAll(/✕\s+(.+?)\s+\(/g);
410
+ for (const match of jestMatches) {
411
+ if (match[1]) failures.push(match[1]);
412
+ }
413
+
414
+ // Mocha 格式
415
+ const mochaMatches = output.matchAll(/\d+\)\s+(.+?):/g);
416
+ for (const match of mochaMatches) {
417
+ if (match[1]) failures.push(match[1]);
418
+ }
419
+
420
+ // pytest 格式
421
+ const pytestMatches = output.matchAll(/FAILED\s+(.+?)::/g);
422
+ for (const match of pytestMatches) {
423
+ if (match[1]) failures.push(match[1]);
424
+ }
425
+
426
+ // Go test 格式
427
+ const goMatches = output.matchAll(/--- FAIL:\s+(.+?)\s+\(/g);
428
+ for (const match of goMatches) {
429
+ if (match[1]) failures.push(match[1]);
430
+ }
431
+
432
+ return failures;
433
+ }
434
+
435
+ /**
436
+ * 生成测试证据
437
+ */
438
+ private async generateEvidence(workDir: string, output: string): Promise<string> {
439
+ const evidenceDir = path.join(workDir, '.harness', 'evidence');
440
+ await fs.mkdir(evidenceDir, { recursive: true });
441
+
442
+ const timestamp = new Date().toISOString().replace(/[:.]/g, '-');
443
+ const evidenceFile = path.join(evidenceDir, `test-${timestamp}.log`);
444
+
445
+ await fs.writeFile(evidenceFile, output);
446
+
447
+ return evidenceFile;
448
+ }
449
+
450
+ /**
451
+ * 验证证据存在
452
+ */
453
+ private async verifyEvidence(evidencePath: string, workDir: string): Promise<boolean> {
454
+ try {
455
+ const fullPath = path.isAbsolute(evidencePath)
456
+ ? evidencePath
457
+ : path.join(workDir, evidencePath);
458
+ await fs.access(fullPath);
459
+ return true;
460
+ } catch {
461
+ return false;
462
+ }
463
+ }
464
+
465
+ /**
466
+ * 检测是否修改了测试文件
467
+ */
468
+ async checkTestFileChanges(workDir: string): Promise<string[]> {
469
+ const changedTestFiles: string[] = [];
470
+
471
+ try {
472
+ const { stdout } = await execAsync('git diff --name-only', { cwd: workDir });
473
+ const changedFiles = stdout.split('\n').filter(Boolean);
474
+
475
+ // 简单的模式匹配
476
+ for (const file of changedFiles) {
477
+ const isTestFile = PROTECTED_TEST_PATTERNS.some(() => {
478
+ return file.includes('.test.') ||
479
+ file.includes('.spec.') ||
480
+ file.includes('/tests/') ||
481
+ file.includes('/__tests__/');
482
+ });
483
+
484
+ if (isTestFile) {
485
+ changedTestFiles.push(file);
486
+ }
487
+ }
488
+ } catch {
489
+ // Git 不可用,跳过检查
490
+ }
491
+
492
+ return changedTestFiles;
493
+ }
494
+
495
+ /**
496
+ * 获取任务的测试结果
497
+ */
498
+ getTestResult(taskId: string): TaskTestResult | undefined {
499
+ return this.testResults.get(taskId);
500
+ }
501
+
502
+ // ========================================
503
+ // 扩展点支持(Long-Running Agents)
504
+ // ========================================
505
+
506
+ /**
507
+ * 注册的扩展列表
508
+ */
509
+ private extensions: Map<string, PassesGateExtension> = new Map();
510
+
511
+ /**
512
+ * 注册扩展
513
+ *
514
+ * 用于注册额外的测试类型(如 Puppeteer E2E)
515
+ *
516
+ * @param name 扩展名称
517
+ * @param extension 扩展实现
518
+ *
519
+ * @example
520
+ * ```typescript
521
+ * const puppeteerExtension = {
522
+ * name: 'puppeteer',
523
+ * run: async (workDir, task) => {
524
+ * // 运行 Puppeteer 测试
525
+ * return { passed: true, command: 'puppeteer', ... };
526
+ * }
527
+ * };
528
+ *
529
+ * passesGate.registerExtension('puppeteer', puppeteerExtension);
530
+ * ```
531
+ */
532
+ registerExtension(name: string, extension: PassesGateExtension): void {
533
+ this.extensions.set(name, extension);
534
+ }
535
+
536
+ /**
537
+ * 注销扩展
538
+ */
539
+ unregisterExtension(name: string): boolean {
540
+ return this.extensions.delete(name);
541
+ }
542
+
543
+ /**
544
+ * 获取所有已注册的扩展名称
545
+ */
546
+ getExtensionNames(): string[] {
547
+ return Array.from(this.extensions.keys());
548
+ }
549
+
550
+ /**
551
+ * 运行所有测试(包括扩展测试)
552
+ *
553
+ * @param workDir 工作目录
554
+ * @param task 可选的任务信息
555
+ * @returns 所有测试结果
556
+ */
557
+ async runAllTests(workDir: string, task?: DynamicTask): Promise<ExtensionTestResult[]> {
558
+ const results: ExtensionTestResult[] = [];
559
+
560
+ // 1. 运行单元测试(原有逻辑)
561
+ const unitTestResult = await this.runTest(workDir, task);
562
+ results.push(unitTestResult);
563
+
564
+ // 2. 运行所有扩展测试
565
+ for (const [name, extension] of this.extensions) {
566
+ try {
567
+ const extensionResult = await extension.run(workDir, task);
568
+ results.push({
569
+ ...extensionResult,
570
+ type: name,
571
+ });
572
+ } catch (error: any) {
573
+ results.push({
574
+ passed: false,
575
+ command: `${name}-extension`,
576
+ error: error.message,
577
+ type: name,
578
+ timestamp: new Date(),
579
+ });
580
+ }
581
+ }
582
+
583
+ return results;
584
+ }
585
+
586
+ /**
587
+ * 检查所有测试是否通过
588
+ */
589
+ async checkAllPasses(workDir: string, task?: DynamicTask): Promise<{
590
+ passed: boolean;
591
+ results: ExtensionTestResult[];
592
+ failedTypes: string[];
593
+ }> {
594
+ const results = await this.runAllTests(workDir, task);
595
+ const failedTypes = results
596
+ .filter(r => !r.passed)
597
+ .map(r => r.type || 'unit');
598
+
599
+ return {
600
+ passed: failedTypes.length === 0,
601
+ results,
602
+ failedTypes,
603
+ };
604
+ }
605
+
606
+ }
607
+
608
+ /**
609
+ * 创建 PassesGate 实例
610
+ */
611
+ export function createPassesGate(config?: Partial<PassesGateConfig>): PassesGate {
612
+ return new PassesGate(config);
613
+ }
@@ -0,0 +1,21 @@
1
+ # dashboard/
2
+
3
+ ## 职责
4
+ 仪表盘:统计数据聚合、数据源管理。
5
+
6
+ ## 核心导出
7
+ - `types.ts` — Dashboard 类型定义
8
+ - `stats.ts` — 统计数据计算
9
+ - `data.ts` — 数据源管理
10
+
11
+ ## 依赖关系
12
+ - 依赖 `src/monitoring/` 追踪/性能数据
13
+ - 依赖 `src/knowledge/` 知识统计
14
+ - 被 CLI status 命令消费
15
+
16
+ ## 约定
17
+ - 仪表盘数据从 .harness/ 运行时状态读取
18
+ - 统计数据纯计算,不调用外部服务
19
+
20
+ ## 注意事项
21
+ - 相对较新的模块,功能在持续完善中