@dommaker/harness 1.6.0 → 1.8.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 (560) hide show
  1. package/CHANGELOG.md +52 -0
  2. package/bin/harness.js +17 -1
  3. package/dist/agents/index.d.ts +6 -2
  4. package/dist/agents/index.d.ts.map +1 -1
  5. package/dist/agents/index.js +6 -16
  6. package/dist/agents/index.js.map +1 -1
  7. package/dist/cli/commands/__tests__/gate-decision.d.ts +18 -0
  8. package/dist/cli/commands/__tests__/gate-decision.d.ts.map +1 -0
  9. package/dist/cli/commands/__tests__/gate-decision.js +26 -0
  10. package/dist/cli/commands/__tests__/gate-decision.js.map +1 -0
  11. package/dist/cli/commands/acceptance.d.ts.map +1 -1
  12. package/dist/cli/commands/acceptance.js +17 -28
  13. package/dist/cli/commands/acceptance.js.map +1 -1
  14. package/dist/cli/commands/check.d.ts +11 -3
  15. package/dist/cli/commands/check.d.ts.map +1 -1
  16. package/dist/cli/commands/check.js +26 -11
  17. package/dist/cli/commands/check.js.map +1 -1
  18. package/dist/cli/commands/command.d.ts +0 -1
  19. package/dist/cli/commands/command.d.ts.map +1 -1
  20. package/dist/cli/commands/command.js +8 -6
  21. package/dist/cli/commands/command.js.map +1 -1
  22. package/dist/cli/commands/constraints-retire.d.ts.map +1 -1
  23. package/dist/cli/commands/constraints-retire.js +36 -57
  24. package/dist/cli/commands/constraints-retire.js.map +1 -1
  25. package/dist/cli/commands/contract.d.ts.map +1 -1
  26. package/dist/cli/commands/contract.js +36 -42
  27. package/dist/cli/commands/contract.js.map +1 -1
  28. package/dist/cli/commands/definitions.d.ts +2 -0
  29. package/dist/cli/commands/definitions.d.ts.map +1 -1
  30. package/dist/cli/commands/definitions.js +11 -6
  31. package/dist/cli/commands/definitions.js.map +1 -1
  32. package/dist/cli/commands/failure.d.ts.map +1 -1
  33. package/dist/cli/commands/failure.js +16 -2
  34. package/dist/cli/commands/failure.js.map +1 -1
  35. package/dist/cli/commands/init.d.ts +14 -8
  36. package/dist/cli/commands/init.d.ts.map +1 -1
  37. package/dist/cli/commands/init.js +172 -364
  38. package/dist/cli/commands/init.js.map +1 -1
  39. package/dist/cli/commands/knowledge-view.d.ts +90 -0
  40. package/dist/cli/commands/knowledge-view.d.ts.map +1 -0
  41. package/dist/cli/commands/knowledge-view.js +198 -0
  42. package/dist/cli/commands/knowledge-view.js.map +1 -0
  43. package/dist/cli/commands/knowledge.d.ts +137 -52
  44. package/dist/cli/commands/knowledge.d.ts.map +1 -1
  45. package/dist/cli/commands/knowledge.js +534 -400
  46. package/dist/cli/commands/knowledge.js.map +1 -1
  47. package/dist/cli/commands/passes-gate.d.ts +4 -1
  48. package/dist/cli/commands/passes-gate.d.ts.map +1 -1
  49. package/dist/cli/commands/passes-gate.js +11 -2
  50. package/dist/cli/commands/passes-gate.js.map +1 -1
  51. package/dist/cli/commands/performance.d.ts.map +1 -1
  52. package/dist/cli/commands/performance.js +19 -31
  53. package/dist/cli/commands/performance.js.map +1 -1
  54. package/dist/cli/commands/report.d.ts.map +1 -1
  55. package/dist/cli/commands/report.js +2 -1
  56. package/dist/cli/commands/report.js.map +1 -1
  57. package/dist/cli/commands/review.d.ts.map +1 -1
  58. package/dist/cli/commands/review.js +13 -25
  59. package/dist/cli/commands/review.js.map +1 -1
  60. package/dist/cli/commands/scaffold-templates.d.ts +73 -0
  61. package/dist/cli/commands/scaffold-templates.d.ts.map +1 -0
  62. package/dist/cli/commands/scaffold-templates.js +424 -0
  63. package/dist/cli/commands/scaffold-templates.js.map +1 -0
  64. package/dist/cli/commands/scaffold.d.ts +105 -0
  65. package/dist/cli/commands/scaffold.d.ts.map +1 -0
  66. package/dist/cli/commands/scaffold.js +263 -0
  67. package/dist/cli/commands/scaffold.js.map +1 -0
  68. package/dist/cli/commands/security.d.ts.map +1 -1
  69. package/dist/cli/commands/security.js +22 -24
  70. package/dist/cli/commands/security.js.map +1 -1
  71. package/dist/cli/commands/spec-baseline-check.d.ts +43 -0
  72. package/dist/cli/commands/spec-baseline-check.d.ts.map +1 -1
  73. package/dist/cli/commands/spec-baseline-check.js +109 -34
  74. package/dist/cli/commands/spec-baseline-check.js.map +1 -1
  75. package/dist/cli/commands/sync-docs/context-syncer.d.ts +21 -2
  76. package/dist/cli/commands/sync-docs/context-syncer.d.ts.map +1 -1
  77. package/dist/cli/commands/sync-docs/context-syncer.js +112 -28
  78. package/dist/cli/commands/sync-docs/context-syncer.js.map +1 -1
  79. package/dist/cli/commands/sync-docs/index.d.ts +1 -1
  80. package/dist/cli/commands/sync-docs/index.d.ts.map +1 -1
  81. package/dist/cli/commands/sync-docs/index.js +86 -27
  82. package/dist/cli/commands/sync-docs/index.js.map +1 -1
  83. package/dist/cli/commands/sync-docs/project-reader.d.ts +24 -1
  84. package/dist/cli/commands/sync-docs/project-reader.d.ts.map +1 -1
  85. package/dist/cli/commands/sync-docs/project-reader.js +33 -7
  86. package/dist/cli/commands/sync-docs/project-reader.js.map +1 -1
  87. package/dist/cli/commands/validate.d.ts +0 -16
  88. package/dist/cli/commands/validate.d.ts.map +1 -1
  89. package/dist/cli/commands/validate.js +2 -97
  90. package/dist/cli/commands/validate.js.map +1 -1
  91. package/dist/cli/gate-command.d.ts +37 -0
  92. package/dist/cli/gate-command.d.ts.map +1 -0
  93. package/dist/cli/gate-command.js +64 -0
  94. package/dist/cli/gate-command.js.map +1 -0
  95. package/dist/completion-checkers/index.d.ts +1 -1
  96. package/dist/completion-checkers/index.d.ts.map +1 -1
  97. package/dist/completion-checkers/index.js +0 -15
  98. package/dist/completion-checkers/index.js.map +1 -1
  99. package/dist/context/knowledge-injector.d.ts +4 -2
  100. package/dist/context/knowledge-injector.d.ts.map +1 -1
  101. package/dist/context/knowledge-injector.js +13 -6
  102. package/dist/context/knowledge-injector.js.map +1 -1
  103. package/dist/core/constraints/agent-prompt-renderer.js +2 -2
  104. package/dist/core/constraints/agent-prompt-renderer.js.map +1 -1
  105. package/dist/core/constraints/capabilities-reconcile.d.ts +20 -0
  106. package/dist/core/constraints/capabilities-reconcile.d.ts.map +1 -1
  107. package/dist/core/constraints/capabilities-reconcile.js +26 -4
  108. package/dist/core/constraints/capabilities-reconcile.js.map +1 -1
  109. package/dist/core/constraints/check-cache.d.ts +1 -1
  110. package/dist/core/constraints/check-cache.js +1 -1
  111. package/dist/core/constraints/checker.d.ts +8 -3
  112. package/dist/core/constraints/checker.d.ts.map +1 -1
  113. package/dist/core/constraints/checker.js +30 -19
  114. package/dist/core/constraints/checker.js.map +1 -1
  115. package/dist/core/constraints/checkers/capability-sync.d.ts +3 -1
  116. package/dist/core/constraints/checkers/capability-sync.d.ts.map +1 -1
  117. package/dist/core/constraints/checkers/capability-sync.js +17 -24
  118. package/dist/core/constraints/checkers/capability-sync.js.map +1 -1
  119. package/dist/core/constraints/checkers/context-doc-sync.d.ts +1 -1
  120. package/dist/core/constraints/checkers/context-doc-sync.d.ts.map +1 -1
  121. package/dist/core/constraints/checkers/context-doc-sync.js +9 -6
  122. package/dist/core/constraints/checkers/context-doc-sync.js.map +1 -1
  123. package/dist/core/constraints/checkers/docs-freshness.d.ts.map +1 -1
  124. package/dist/core/constraints/checkers/docs-freshness.js +24 -30
  125. package/dist/core/constraints/checkers/docs-freshness.js.map +1 -1
  126. package/dist/core/constraints/checkers/governance-presence.d.ts.map +1 -1
  127. package/dist/core/constraints/checkers/governance-presence.js +10 -4
  128. package/dist/core/constraints/checkers/governance-presence.js.map +1 -1
  129. package/dist/core/constraints/checkers/types.d.ts +10 -6
  130. package/dist/core/constraints/checkers/types.d.ts.map +1 -1
  131. package/dist/core/constraints/checkers/types.js +7 -3
  132. package/dist/core/constraints/checkers/types.js.map +1 -1
  133. package/dist/core/constraints/context-builder.d.ts +11 -10
  134. package/dist/core/constraints/context-builder.d.ts.map +1 -1
  135. package/dist/core/constraints/context-builder.js +31 -27
  136. package/dist/core/constraints/context-builder.js.map +1 -1
  137. package/dist/core/constraints/context-reconcile.d.ts +75 -0
  138. package/dist/core/constraints/context-reconcile.d.ts.map +1 -0
  139. package/dist/core/constraints/context-reconcile.js +161 -0
  140. package/dist/core/constraints/context-reconcile.js.map +1 -0
  141. package/dist/core/constraints/doc-freshness/runner.d.ts +7 -0
  142. package/dist/core/constraints/doc-freshness/runner.d.ts.map +1 -1
  143. package/dist/core/constraints/doc-freshness/runner.js +8 -3
  144. package/dist/core/constraints/doc-freshness/runner.js.map +1 -1
  145. package/dist/core/constraints/git-evidence.js +1 -1
  146. package/dist/core/constraints/git-evidence.js.map +1 -1
  147. package/dist/core/constraints/injection-drift.d.ts +7 -2
  148. package/dist/core/constraints/injection-drift.d.ts.map +1 -1
  149. package/dist/core/constraints/injection-drift.js +13 -7
  150. package/dist/core/constraints/injection-drift.js.map +1 -1
  151. package/dist/core/constraints/run-env.d.ts +92 -0
  152. package/dist/core/constraints/run-env.d.ts.map +1 -0
  153. package/dist/core/constraints/run-env.js +175 -0
  154. package/dist/core/constraints/run-env.js.map +1 -0
  155. package/dist/core/constraints/triggers.d.ts +22 -0
  156. package/dist/core/constraints/triggers.d.ts.map +1 -0
  157. package/dist/core/constraints/triggers.js +31 -0
  158. package/dist/core/constraints/triggers.js.map +1 -0
  159. package/dist/core/effective-constraints.d.ts +13 -4
  160. package/dist/core/effective-constraints.d.ts.map +1 -1
  161. package/dist/core/effective-constraints.js +16 -6
  162. package/dist/core/effective-constraints.js.map +1 -1
  163. package/dist/core/effective-set.d.ts +8 -15
  164. package/dist/core/effective-set.d.ts.map +1 -1
  165. package/dist/core/effective-set.js +7 -12
  166. package/dist/core/effective-set.js.map +1 -1
  167. package/dist/core/index.d.ts +2 -1
  168. package/dist/core/index.d.ts.map +1 -1
  169. package/dist/core/index.js.map +1 -1
  170. package/dist/core/project-config-loader.d.ts +39 -17
  171. package/dist/core/project-config-loader.d.ts.map +1 -1
  172. package/dist/core/project-config-loader.js +51 -122
  173. package/dist/core/project-config-loader.js.map +1 -1
  174. package/dist/core/validators/check-handlers/http.d.ts +2 -2
  175. package/dist/core/validators/check-handlers/http.d.ts.map +1 -1
  176. package/dist/core/validators/check-handlers/http.js +12 -7
  177. package/dist/core/validators/check-handlers/http.js.map +1 -1
  178. package/dist/core/validators/index.d.ts +1 -1
  179. package/dist/core/validators/index.d.ts.map +1 -1
  180. package/dist/core/validators/passes-gate.d.ts.map +1 -1
  181. package/dist/core/validators/passes-gate.js +2 -2
  182. package/dist/core/validators/passes-gate.js.map +1 -1
  183. package/dist/failure/classifier.d.ts +1 -1
  184. package/dist/failure/classifier.d.ts.map +1 -1
  185. package/dist/failure/classifier.js +8 -8
  186. package/dist/failure/classifier.js.map +1 -1
  187. package/dist/failure/index.d.ts +2 -1
  188. package/dist/failure/index.d.ts.map +1 -1
  189. package/dist/failure/index.js +9 -17
  190. package/dist/failure/index.js.map +1 -1
  191. package/dist/failure/recorder.d.ts +1 -1
  192. package/dist/failure/recorder.d.ts.map +1 -1
  193. package/dist/gates/checker-gate.d.ts +2 -1
  194. package/dist/gates/checker-gate.d.ts.map +1 -1
  195. package/dist/gates/checker-gate.js +3 -2
  196. package/dist/gates/checker-gate.js.map +1 -1
  197. package/dist/gates/command.d.ts +10 -4
  198. package/dist/gates/command.d.ts.map +1 -1
  199. package/dist/gates/command.js +36 -62
  200. package/dist/gates/command.js.map +1 -1
  201. package/dist/gates/contract.d.ts.map +1 -1
  202. package/dist/gates/contract.js +0 -4
  203. package/dist/gates/contract.js.map +1 -1
  204. package/dist/gates/definitions.d.ts +2 -1
  205. package/dist/gates/definitions.d.ts.map +1 -1
  206. package/dist/gates/definitions.js +6 -5
  207. package/dist/gates/definitions.js.map +1 -1
  208. package/dist/gates/index.d.ts +0 -4
  209. package/dist/gates/index.d.ts.map +1 -1
  210. package/dist/gates/index.js +1 -6
  211. package/dist/gates/index.js.map +1 -1
  212. package/dist/gates/performance.d.ts.map +1 -1
  213. package/dist/gates/performance.js +0 -4
  214. package/dist/gates/performance.js.map +1 -1
  215. package/dist/gates/runner.d.ts +1 -1
  216. package/dist/gates/runner.js +1 -1
  217. package/dist/gates/security.d.ts +1 -1
  218. package/dist/gates/security.d.ts.map +1 -1
  219. package/dist/gates/security.js +5 -6
  220. package/dist/gates/security.js.map +1 -1
  221. package/dist/gates/types.d.ts +14 -17
  222. package/dist/gates/types.d.ts.map +1 -1
  223. package/dist/gates/types.js.map +1 -1
  224. package/dist/hooks/bootstrap.d.ts +6 -4
  225. package/dist/hooks/bootstrap.d.ts.map +1 -1
  226. package/dist/hooks/bootstrap.js +25 -13
  227. package/dist/hooks/bootstrap.js.map +1 -1
  228. package/dist/hooks/config.d.ts +6 -2
  229. package/dist/hooks/config.d.ts.map +1 -1
  230. package/dist/hooks/config.js +5 -1
  231. package/dist/hooks/config.js.map +1 -1
  232. package/dist/hooks/index.d.ts +1 -1
  233. package/dist/hooks/index.d.ts.map +1 -1
  234. package/dist/hooks/index.js +0 -15
  235. package/dist/hooks/index.js.map +1 -1
  236. package/dist/hooks/pipeline.d.ts.map +1 -1
  237. package/dist/hooks/pipeline.js +2 -4
  238. package/dist/hooks/pipeline.js.map +1 -1
  239. package/dist/hooks/registry.d.ts +11 -8
  240. package/dist/hooks/registry.d.ts.map +1 -1
  241. package/dist/hooks/registry.js +22 -7
  242. package/dist/hooks/registry.js.map +1 -1
  243. package/dist/hooks/types.d.ts +23 -7
  244. package/dist/hooks/types.d.ts.map +1 -1
  245. package/dist/index.d.ts +4 -4
  246. package/dist/index.d.ts.map +1 -1
  247. package/dist/index.js +3 -4
  248. package/dist/index.js.map +1 -1
  249. package/dist/knowledge/audit-scoring.d.ts +87 -0
  250. package/dist/knowledge/audit-scoring.d.ts.map +1 -0
  251. package/dist/knowledge/audit-scoring.js +470 -0
  252. package/dist/knowledge/audit-scoring.js.map +1 -0
  253. package/dist/knowledge/audit.d.ts +11 -59
  254. package/dist/knowledge/audit.d.ts.map +1 -1
  255. package/dist/knowledge/audit.js +47 -522
  256. package/dist/knowledge/audit.js.map +1 -1
  257. package/dist/knowledge/import.d.ts.map +1 -1
  258. package/dist/knowledge/import.js +2 -0
  259. package/dist/knowledge/import.js.map +1 -1
  260. package/dist/knowledge/index-generator.d.ts.map +1 -1
  261. package/dist/knowledge/index-generator.js +4 -5
  262. package/dist/knowledge/index-generator.js.map +1 -1
  263. package/dist/knowledge/index.d.ts +3 -2
  264. package/dist/knowledge/index.d.ts.map +1 -1
  265. package/dist/knowledge/index.js +3 -16
  266. package/dist/knowledge/index.js.map +1 -1
  267. package/dist/knowledge/ingest.js +1 -1
  268. package/dist/knowledge/ingest.js.map +1 -1
  269. package/dist/knowledge/lifecycle.d.ts.map +1 -1
  270. package/dist/knowledge/lifecycle.js +4 -2
  271. package/dist/knowledge/lifecycle.js.map +1 -1
  272. package/dist/knowledge/migration.d.ts +3 -0
  273. package/dist/knowledge/migration.d.ts.map +1 -1
  274. package/dist/knowledge/migration.js +8 -2
  275. package/dist/knowledge/migration.js.map +1 -1
  276. package/dist/knowledge/query.d.ts +6 -0
  277. package/dist/knowledge/query.d.ts.map +1 -1
  278. package/dist/knowledge/query.js +8 -2
  279. package/dist/knowledge/query.js.map +1 -1
  280. package/dist/knowledge/reference-tracker.d.ts.map +1 -1
  281. package/dist/knowledge/reference-tracker.js +4 -6
  282. package/dist/knowledge/reference-tracker.js.map +1 -1
  283. package/dist/knowledge/store.d.ts +22 -16
  284. package/dist/knowledge/store.d.ts.map +1 -1
  285. package/dist/knowledge/store.js +53 -12
  286. package/dist/knowledge/store.js.map +1 -1
  287. package/dist/knowledge/tree-walker.d.ts +19 -0
  288. package/dist/knowledge/tree-walker.d.ts.map +1 -0
  289. package/dist/knowledge/tree-walker.js +30 -0
  290. package/dist/knowledge/tree-walker.js.map +1 -0
  291. package/dist/knowledge/types.d.ts +16 -0
  292. package/dist/knowledge/types.d.ts.map +1 -1
  293. package/dist/monitoring/traces.d.ts +5 -3
  294. package/dist/monitoring/traces.d.ts.map +1 -1
  295. package/dist/monitoring/traces.js +19 -5
  296. package/dist/monitoring/traces.js.map +1 -1
  297. package/dist/test-setup/jsonl-fake-fs.d.ts +30 -0
  298. package/dist/test-setup/jsonl-fake-fs.d.ts.map +1 -0
  299. package/dist/test-setup/jsonl-fake-fs.js +49 -0
  300. package/dist/test-setup/jsonl-fake-fs.js.map +1 -0
  301. package/dist/tools/index.d.ts +4 -1
  302. package/dist/tools/index.d.ts.map +1 -1
  303. package/dist/tools/index.js +7 -15
  304. package/dist/tools/index.js.map +1 -1
  305. package/dist/types/checkpoint.d.ts +5 -0
  306. package/dist/types/checkpoint.d.ts.map +1 -1
  307. package/dist/types/passes-gate.d.ts +0 -13
  308. package/dist/types/passes-gate.d.ts.map +1 -1
  309. package/dist/types/project-config.d.ts +18 -0
  310. package/dist/types/project-config.d.ts.map +1 -1
  311. package/dist/types/trace.d.ts +13 -4
  312. package/dist/types/trace.d.ts.map +1 -1
  313. package/dist/types/trace.js +4 -3
  314. package/dist/types/trace.js.map +1 -1
  315. package/dist/utils/exec.d.ts +4 -27
  316. package/dist/utils/exec.d.ts.map +1 -1
  317. package/dist/utils/exec.js +4 -94
  318. package/dist/utils/exec.js.map +1 -1
  319. package/dist/utils/jsonl.d.ts +17 -7
  320. package/dist/utils/jsonl.d.ts.map +1 -1
  321. package/dist/utils/jsonl.js +144 -17
  322. package/dist/utils/jsonl.js.map +1 -1
  323. package/dist/utils/numeric-flag.d.ts +44 -0
  324. package/dist/utils/numeric-flag.d.ts.map +1 -0
  325. package/dist/utils/numeric-flag.js +62 -0
  326. package/dist/utils/numeric-flag.js.map +1 -0
  327. package/package.json +1 -1
  328. package/src/CONTEXT.md +5 -2
  329. package/src/__tests__/acceptance-gate.test.ts +7 -4
  330. package/src/__tests__/checker-extra.test.ts +3 -2
  331. package/src/__tests__/checker.test.ts +4 -3
  332. package/src/__tests__/checkpoint.test.ts +26 -9
  333. package/src/__tests__/context-files-resolution.test.ts +29 -15
  334. package/src/__tests__/contract-gate.test.ts +19 -40
  335. package/src/__tests__/error-classifier.test.ts +1 -1
  336. package/src/__tests__/exec.test.ts +45 -107
  337. package/src/__tests__/failure-recorder.test.ts +7 -5
  338. package/src/__tests__/hooks-pipeline.test.ts +34 -47
  339. package/src/__tests__/layering.test.ts +217 -25
  340. package/src/__tests__/passes-gate.test.ts +9 -4
  341. package/src/__tests__/performance-gate.test.ts +3 -15
  342. package/src/__tests__/project-config-loader-extra.test.ts +31 -57
  343. package/src/__tests__/project-config-loader.test.ts +6 -3
  344. package/src/__tests__/public-exports.test.ts +27 -6
  345. package/src/__tests__/public-type-surface.test.ts +360 -0
  346. package/src/__tests__/public-value-surface.test.ts +182 -0
  347. package/src/__tests__/review-gate.test.ts +4 -6
  348. package/src/__tests__/security-gate.test.ts +5 -20
  349. package/src/__tests__/skip-semantics.test.ts +5 -3
  350. package/src/__tests__/spec-validator.test.ts +3 -2
  351. package/src/__tests__/sub-barrels-explicit.test.ts +87 -0
  352. package/src/__tests__/test-fixture-hygiene.test.ts +53 -0
  353. package/src/__tests__/trace-analyzer-extra.test.ts +5 -3
  354. package/src/__tests__/trace-analyzer.test.ts +5 -3
  355. package/src/__tests__/trace-collector.test.ts +5 -3
  356. package/src/agents/index.ts +13 -2
  357. package/src/cli/__tests__/gate-command.test.ts +162 -0
  358. package/src/cli/commands/CONTEXT.md +29 -5
  359. package/src/cli/commands/__tests__/acceptance.test.ts +24 -25
  360. package/src/cli/commands/__tests__/bin-exit-mapping.test.ts +15 -0
  361. package/src/cli/commands/__tests__/check-drift.test.ts +42 -1
  362. package/src/cli/commands/__tests__/check-read-count.test.ts +167 -0
  363. package/src/cli/commands/__tests__/check-skip-output.test.ts +4 -1
  364. package/src/cli/commands/__tests__/check.test.ts +43 -36
  365. package/src/cli/commands/__tests__/command-gate-dead-options.test.ts +60 -0
  366. package/src/cli/commands/__tests__/command.test.ts +33 -17
  367. package/src/cli/commands/__tests__/constraints-retire.test.ts +52 -0
  368. package/src/cli/commands/__tests__/context-syncer.test.ts +141 -0
  369. package/src/cli/commands/__tests__/contract.test.ts +20 -20
  370. package/src/cli/commands/__tests__/failure.test.ts +5 -4
  371. package/src/cli/commands/__tests__/gate-decision.ts +30 -0
  372. package/src/cli/commands/__tests__/init-dead-options.test.ts +50 -0
  373. package/src/cli/commands/__tests__/init-governance-io.test.ts +139 -0
  374. package/src/cli/commands/__tests__/init-injection.test.ts +3 -3
  375. package/src/cli/commands/__tests__/init-ondisk.test.ts +867 -0
  376. package/src/cli/commands/__tests__/init.test.ts +82 -6
  377. package/src/cli/commands/__tests__/knowledge-audit-threshold.test.ts +146 -0
  378. package/src/cli/commands/__tests__/knowledge-flywheel-consistency.test.ts +1 -1
  379. package/src/cli/commands/__tests__/knowledge-tone-mapping.test.ts +244 -0
  380. package/src/cli/commands/__tests__/knowledge-view.test.ts +839 -0
  381. package/src/cli/commands/__tests__/knowledge.test.ts +33 -15
  382. package/src/cli/commands/__tests__/numeric-flag-assembly.test.ts +368 -0
  383. package/src/cli/commands/__tests__/passes-gate-dead-options.test.ts +89 -1
  384. package/src/cli/commands/__tests__/performance.test.ts +19 -21
  385. package/src/cli/commands/__tests__/posteval-plan.test.ts +5 -3
  386. package/src/cli/commands/__tests__/pre-push-hook.test.ts +181 -0
  387. package/src/cli/commands/__tests__/project-path-anchoring.test.ts +95 -2
  388. package/src/cli/commands/__tests__/project-path-convention.test.ts +103 -25
  389. package/src/cli/commands/__tests__/registry.test.ts +2 -0
  390. package/src/cli/commands/__tests__/report.test.ts +23 -1
  391. package/src/cli/commands/__tests__/review.test.ts +10 -17
  392. package/src/cli/commands/__tests__/scaffold.test.ts +505 -0
  393. package/src/cli/commands/__tests__/security-default-scan.test.ts +75 -0
  394. package/src/cli/commands/__tests__/security.test.ts +21 -24
  395. package/src/cli/commands/__tests__/spec-baseline-check.test.ts +3 -2
  396. package/src/cli/commands/__tests__/spec-baseline-index-cap.test.ts +131 -0
  397. package/src/cli/commands/__tests__/spec-baseline-read-count.test.ts +325 -0
  398. package/src/cli/commands/__tests__/sync-docs-agents.test.ts +19 -4
  399. package/src/cli/commands/__tests__/sync-docs-context-drift.test.ts +232 -0
  400. package/src/cli/commands/__tests__/sync-docs-module-order.test.ts +111 -0
  401. package/src/cli/commands/__tests__/sync-docs-read-count.test.ts +192 -0
  402. package/src/cli/commands/__tests__/sync-docs.test.ts +3 -2
  403. package/src/cli/commands/__tests__/validate.test.ts +1 -48
  404. package/src/cli/commands/acceptance.ts +24 -29
  405. package/src/cli/commands/check.ts +40 -17
  406. package/src/cli/commands/command.ts +9 -8
  407. package/src/cli/commands/constraints-retire.ts +57 -70
  408. package/src/cli/commands/contract.ts +44 -47
  409. package/src/cli/commands/definitions.ts +12 -6
  410. package/src/cli/commands/failure.ts +16 -3
  411. package/src/cli/commands/init.ts +242 -389
  412. package/src/cli/commands/knowledge-view.ts +224 -0
  413. package/src/cli/commands/knowledge.ts +643 -448
  414. package/src/cli/commands/passes-gate.ts +12 -3
  415. package/src/cli/commands/performance.ts +31 -38
  416. package/src/cli/commands/report.ts +3 -2
  417. package/src/cli/commands/review.ts +22 -28
  418. package/src/cli/commands/scaffold-templates.ts +406 -0
  419. package/src/cli/commands/scaffold.ts +302 -0
  420. package/src/cli/commands/security.ts +27 -23
  421. package/src/cli/commands/spec-baseline-check.ts +158 -33
  422. package/src/cli/commands/sync-docs/__tests__/context-export-surface.test.ts +102 -0
  423. package/src/cli/commands/sync-docs/__tests__/module-descriptions.test.ts +196 -0
  424. package/src/cli/commands/sync-docs/context-syncer.ts +137 -31
  425. package/src/cli/commands/sync-docs/index.ts +103 -28
  426. package/src/cli/commands/sync-docs/project-reader.ts +51 -7
  427. package/src/cli/commands/validate.ts +1 -104
  428. package/src/cli/gate-command.ts +87 -0
  429. package/src/completion-checkers/index.ts +10 -1
  430. package/src/context/CONTEXT.md +2 -1
  431. package/src/context/__tests__/knowledge-injector.test.ts +27 -0
  432. package/src/context/__tests__/session-manager.test.ts +19 -12
  433. package/src/context/knowledge-injector.ts +14 -7
  434. package/src/core/CONTEXT.md +10 -7
  435. package/src/core/__tests__/effective-set.test.ts +36 -60
  436. package/src/core/constraints/__tests__/context-reconcile.test.ts +246 -0
  437. package/src/core/constraints/__tests__/run-env.test.ts +377 -0
  438. package/src/core/constraints/__tests__/triggers.test.ts +70 -0
  439. package/src/core/constraints/agent-prompt-renderer.ts +1 -1
  440. package/src/core/constraints/capabilities-reconcile.ts +28 -4
  441. package/src/core/constraints/check-cache.ts +1 -1
  442. package/src/core/constraints/checker.ts +30 -14
  443. package/src/core/constraints/checkers/__tests__/context-doc-sync.test.ts +8 -3
  444. package/src/core/constraints/checkers/__tests__/governance-presence.test.ts +16 -7
  445. package/src/core/constraints/checkers/__tests__/no-hardcoded-credentials.test.ts +2 -1
  446. package/src/core/constraints/checkers/capability-sync.ts +27 -28
  447. package/src/core/constraints/checkers/context-doc-sync.ts +9 -7
  448. package/src/core/constraints/checkers/docs-freshness.ts +28 -33
  449. package/src/core/constraints/checkers/governance-presence.ts +10 -6
  450. package/src/core/constraints/checkers/types.ts +14 -8
  451. package/src/core/constraints/context-builder.ts +35 -26
  452. package/src/core/constraints/context-reconcile.ts +200 -0
  453. package/src/core/constraints/doc-freshness/__tests__/runner.test.ts +25 -0
  454. package/src/core/constraints/doc-freshness/runner.ts +18 -4
  455. package/src/core/constraints/git-evidence.ts +1 -1
  456. package/src/core/constraints/injection-drift.ts +19 -8
  457. package/src/core/constraints/run-env.ts +207 -0
  458. package/src/core/constraints/triggers.ts +33 -0
  459. package/src/core/effective-constraints.ts +17 -6
  460. package/src/core/effective-set.ts +8 -24
  461. package/src/core/index.ts +2 -1
  462. package/src/core/project-config-loader.ts +54 -102
  463. package/src/core/validators/__tests__/http-retry-sleep.test.ts +231 -0
  464. package/src/core/validators/check-handlers/http.ts +18 -7
  465. package/src/core/validators/index.ts +0 -1
  466. package/src/core/validators/passes-gate.ts +2 -3
  467. package/src/failure/CONTEXT.md +2 -1
  468. package/src/failure/classifier.ts +2 -2
  469. package/src/failure/index.ts +14 -2
  470. package/src/failure/recorder.ts +1 -1
  471. package/src/gates/CONTEXT.md +13 -7
  472. package/src/gates/__tests__/checker-gate.test.ts +1 -1
  473. package/src/gates/__tests__/command-single-predicate.test.ts +135 -0
  474. package/src/gates/__tests__/command.test.ts +8 -15
  475. package/src/gates/__tests__/contract.test.ts +5 -5
  476. package/src/gates/__tests__/gate-interface.test.ts +0 -17
  477. package/src/gates/__tests__/performance.test.ts +0 -13
  478. package/src/gates/__tests__/review.test.ts +0 -1
  479. package/src/gates/__tests__/runner.test.ts +1 -1
  480. package/src/gates/__tests__/security-default-scan.test.ts +97 -0
  481. package/src/gates/__tests__/security.test.ts +0 -13
  482. package/src/gates/checker-gate.ts +3 -2
  483. package/src/gates/command.ts +51 -74
  484. package/src/gates/contract.ts +0 -5
  485. package/src/gates/definitions.ts +6 -5
  486. package/src/gates/index.ts +0 -5
  487. package/src/gates/performance.ts +1 -6
  488. package/src/gates/runner.ts +1 -1
  489. package/src/gates/security.ts +9 -11
  490. package/src/gates/types.ts +20 -23
  491. package/src/hooks/CONTEXT.md +10 -9
  492. package/src/hooks/__tests__/bootstrap.test.ts +29 -6
  493. package/src/hooks/__tests__/pipeline.test.ts +28 -17
  494. package/src/hooks/__tests__/registry.test.ts +51 -3
  495. package/src/hooks/bootstrap.ts +35 -15
  496. package/src/hooks/config.ts +6 -2
  497. package/src/hooks/index.ts +10 -1
  498. package/src/hooks/pipeline.ts +4 -6
  499. package/src/hooks/registry.ts +31 -12
  500. package/src/hooks/types.ts +24 -7
  501. package/src/index.ts +1 -3
  502. package/src/knowledge/CONTEXT.md +14 -7
  503. package/src/knowledge/__tests__/audit-labels.test.ts +8 -5
  504. package/src/knowledge/__tests__/audit-scoring.test.ts +230 -0
  505. package/src/knowledge/__tests__/audit-write-count.test.ts +131 -0
  506. package/src/knowledge/__tests__/audit.test.ts +291 -208
  507. package/src/knowledge/__tests__/doctor.test.ts +3 -2
  508. package/src/knowledge/__tests__/ingest.test.ts +3 -2
  509. package/src/knowledge/__tests__/lifecycle.test.ts +57 -2
  510. package/src/knowledge/__tests__/migration.test.ts +35 -6
  511. package/src/knowledge/__tests__/query.test.ts +3 -2
  512. package/src/knowledge/__tests__/reference-tracker.test.ts +23 -2
  513. package/src/knowledge/__tests__/store.test.ts +149 -4
  514. package/src/knowledge/__tests__/tree-walker.test.ts +132 -0
  515. package/src/knowledge/audit-scoring.ts +589 -0
  516. package/src/knowledge/audit.ts +55 -599
  517. package/src/knowledge/import.ts +2 -0
  518. package/src/knowledge/index-generator.ts +4 -6
  519. package/src/knowledge/index.ts +27 -2
  520. package/src/knowledge/ingest.ts +1 -1
  521. package/src/knowledge/lifecycle.ts +5 -2
  522. package/src/knowledge/migration.ts +8 -2
  523. package/src/knowledge/query.ts +8 -1
  524. package/src/knowledge/reference-tracker.ts +5 -7
  525. package/src/knowledge/store.ts +75 -16
  526. package/src/knowledge/tree-walker.ts +29 -0
  527. package/src/knowledge/types.ts +19 -0
  528. package/src/monitoring/CONTEXT.md +5 -2
  529. package/src/monitoring/__tests__/context-tracker.test.ts +16 -8
  530. package/src/monitoring/__tests__/trace-file-anchoring.test.ts +80 -0
  531. package/src/monitoring/traces.ts +19 -5
  532. package/src/release/CONTEXT.md +1 -1
  533. package/src/release/__tests__/integrity.test.ts +21 -12
  534. package/src/test-setup/__tests__/jsonl-fake-fs.test.ts +98 -0
  535. package/src/test-setup/jsonl-fake-fs.ts +59 -0
  536. package/src/tools/index.ts +5 -1
  537. package/src/types/checkpoint.ts +6 -0
  538. package/src/types/passes-gate.ts +0 -17
  539. package/src/types/project-config.ts +21 -0
  540. package/src/types/trace.ts +14 -4
  541. package/src/utils/__tests__/file-walk.test.ts +3 -2
  542. package/src/utils/__tests__/jsonl-bounded-read.test.ts +106 -0
  543. package/src/utils/__tests__/jsonl-skip-disposition.test.ts +10 -6
  544. package/src/utils/__tests__/jsonl.test.ts +61 -14
  545. package/src/utils/__tests__/numeric-flag.test.ts +80 -0
  546. package/src/utils/__tests__/package-version.test.ts +2 -2
  547. package/src/utils/exec.ts +4 -64
  548. package/src/utils/jsonl.ts +159 -20
  549. package/src/utils/numeric-flag.ts +64 -0
  550. package/dist/failure/types.d.ts +0 -9
  551. package/dist/failure/types.d.ts.map +0 -1
  552. package/dist/failure/types.js +0 -25
  553. package/dist/failure/types.js.map +0 -1
  554. package/dist/gates/effective-gates.d.ts +0 -30
  555. package/dist/gates/effective-gates.d.ts.map +0 -1
  556. package/dist/gates/effective-gates.js +0 -81
  557. package/dist/gates/effective-gates.js.map +0 -1
  558. package/src/failure/types.ts +0 -9
  559. package/src/gates/__tests__/effective-gates.test.ts +0 -77
  560. package/src/gates/effective-gates.ts +0 -99
@@ -0,0 +1,360 @@
1
+ /**
2
+ * 已发布类型面全量冻结闸(ADR-0003 类型面补全 / ADR-0022 追记第 4 条)
3
+ *
4
+ * 存在的理由是一起**定级**错误,不是一起删除错误:本仓 breaking 定级长期挂在「这个符号在
5
+ * 不在包根导出面」这句断言上(ADR-0010:5/31、ADR-0019:10、ADR-0022 皆以它定级),而这句话
6
+ * 在删除动作之前没有任何闸可跑,全靠人 grep 记忆。`PassesGateResult`(评审 A2)与
7
+ * `DynamicTask`(二次复审 B1)已在同一处错两次;B1 那次是复审方直接断言「不在包根」,而
8
+ * 实测 v1.6.0 源 `src/index.ts:106` 与已发布 npm 产物 `dist/index.d.ts:38` 都在导出它。
9
+ * 本闸让「在不在公开面上」变成跑一下就有答案的事实。
10
+ *
11
+ * **公开面 = `package.json` 的 exports 映射,不是只有包根。** 本包发布五个入口点
12
+ * (`.` / `./core` / `./presets` / `./context` / `./gates`),`import type { X } from
13
+ * '@dommaker/harness/core'` 与从包根导入同样是对外承诺。入口清单从 exports **派生**而非
14
+ * 硬编码:新增子路径会立刻落进本闸(未登记冻结清单即红),免得重演「公开面的定义比现实窄」
15
+ * 这个 B1 病因——`DynamicTask` 除包根外同时经 `./core` 可达,只冻包根会留同一个洞。
16
+ *
17
+ * 与 `public-exports.test.ts` 的分工:那边钉的是**删完之后**(已删类型 `@ts-expect-error`
18
+ * 负钉 + 活类型正钉 + 四级 barrel 链残留扫描),且它 `import('../index')`。本闸只做源码文本
19
+ * 分析、**刻意不 import 任何入口**——这是它单独立一个文件的原因:类型面一旦被改动,那边的
20
+ * 编译期钉会让整套 suite「failed to run」(实测注入一条 `export type { DynamicTask }` 得
21
+ * 0 tests),拿不到可执行的清单 diff;本闸在那种改动下必须仍然跑得动、报得出是哪个入口的
22
+ * 哪个符号。
23
+ *
24
+ * 清单来源不是手抄:五个入口的 `src` 解析结果与 tsc 产物(各自 exports 的 types 指向,如
25
+ * `dist/core/index.d.ts`)逐项对撞,152/32/1/12/18 全部逐字一致,产物侧同时零 `export *`。
26
+ * 改动入口清单文件时同步改本文件对应条目,diff 即 PR 评审材料;增删符号属公共面 breaking,
27
+ * 须按 ADR-0003/0022 走发布级别裁决。
28
+ */
29
+
30
+ import * as fs from 'fs';
31
+ import * as path from 'path';
32
+
33
+ const REPO_ROOT = path.join(__dirname, '../..');
34
+
35
+ /**
36
+ * 入口点合法的导出写法只有三种:
37
+ * ① `export { 值 } from '...'`;② `export type { 类型 } from '...'`;③ 内联值声明
38
+ * `export function|const|let|var`(如 `src/gates/index.ts` 的 5 个 `create*Gate`)——纯值面,
39
+ * 不属类型清单管辖。
40
+ * 清单归类按**说明符自身**而非块形式:`export { runGates, type GateRunResult }` 里的
41
+ * `GateRunResult` 按 TS 语义就是类型导出,必须进类型清单(本闸的职责是如实刻画公开面,不是管写法)。
42
+ * 其余行首 `export` 一律记为违禁而非跳过:`export *` / `export type *` 会让按名字扫描静默
43
+ * 漏算;内联 `export interface|type|enum|class|declare` 更必须红——它绕过类型清单,而
44
+ * `enum`/`class` 同时占值面与类型面,按单一分类必错一面。这正是 B1「公开面的定义比现实窄」
45
+ * 那个病因的形态来源。
46
+ */
47
+ interface EntrySurface {
48
+ types: string[];
49
+ illegal: string[];
50
+ }
51
+
52
+ const INLINE_VALUE_DECL_RE = /^export\s+(?:async\s+)?(?:function|const|let|var)\b/;
53
+
54
+ function parseEntrySurface(source: string): EntrySurface {
55
+ const stmtRe = /^export (type )?\{([^}]*)\}[^;]*;/gm;
56
+ const types: string[] = [];
57
+ const illegal: string[] = [];
58
+ const starts = new Set<number>();
59
+
60
+ let match: RegExpExecArray | null = stmtRe.exec(source);
61
+ while (match !== null) {
62
+ starts.add(match.index);
63
+ const isTypeBlock = Boolean(match[1]);
64
+ for (const raw of match[2].split(',')) {
65
+ const spec = raw.trim();
66
+ if (!spec) continue;
67
+ // `A as B` 对外名字是 B;`type A as B` 对外名字是 B 且属类型面
68
+ const isTypeSpec = /^(type|typeof)\s/.test(spec);
69
+ if (isTypeBlock || isTypeSpec) {
70
+ types.push(spec.replace(/^(type|typeof)\s+/, '').split(/\s+as\s+/).pop()!.trim());
71
+ }
72
+ }
73
+ match = stmtRe.exec(source);
74
+ }
75
+
76
+ let offset = 0;
77
+ for (const line of source.split('\n')) {
78
+ if (/^export\b/.test(line) && !starts.has(offset) && !INLINE_VALUE_DECL_RE.test(line)) {
79
+ illegal.push(line.trim());
80
+ }
81
+ offset += line.length + 1;
82
+ }
83
+
84
+ return { types, illegal };
85
+ }
86
+
87
+ /** exports 子路径 → 承载它的显式清单源文件。形态对不上返回 null,由映射闸 fail-loud。 */
88
+ function sourceFileForSubpath(subpath: string): string | null {
89
+ if (subpath === '.') return 'src/index.ts';
90
+ const rest = subpath.replace(/^\.\//, '');
91
+ return /^[a-z][a-z0-9-]*$/.test(rest) ? `src/${rest}/index.ts` : null;
92
+ }
93
+
94
+ const EXPORTS_MAP = JSON.parse(
95
+ fs.readFileSync(path.join(REPO_ROOT, 'package.json'), 'utf-8'),
96
+ ).exports as Record<string, { types?: string }>;
97
+
98
+ const ENTRY_SUBPATHS: string[] = Object.keys(EXPORTS_MAP);
99
+
100
+ /** 每个已发布入口的类型面全量清单。增删任一项即公共面 breaking,见文件头。 */
101
+ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
102
+ '.': [
103
+ 'AcceptanceCriteria',
104
+ 'AcceptanceGateContext',
105
+ 'AgentConfig',
106
+ 'AgentEvent',
107
+ 'AgentState',
108
+ 'AgentStatus',
109
+ 'ArtifactIntegrityResult',
110
+ 'AuditAction',
111
+ 'AuditIssue',
112
+ 'AuditOptions',
113
+ 'AuditReport',
114
+ 'AuditRuleName',
115
+ 'BatchSpecValidationResult',
116
+ 'CSOIssue',
117
+ 'CSOValidationResult',
118
+ 'CapabilitiesConfig',
119
+ 'ChangelogConfig',
120
+ 'ChangelogVersionCheck',
121
+ 'CheckCacheConfig',
122
+ 'CheckConfig',
123
+ 'CheckConstraintsOptions',
124
+ 'CheckResult',
125
+ 'CheckSamplingConfig',
126
+ 'CheckType',
127
+ 'CheckerVerdict',
128
+ 'Checkpoint',
129
+ 'CheckpointCheck',
130
+ 'CheckpointContext',
131
+ 'CheckpointResult',
132
+ 'ClassificationResult',
133
+ 'CodeStructure',
134
+ 'CommandBlacklistRule',
135
+ 'CommandGateConfig',
136
+ 'CommitFileClassification',
137
+ 'CommitInput',
138
+ 'CommitVerdict',
139
+ 'CompactionConfig',
140
+ 'CompactionLevel',
141
+ 'CompletionCheckersConfig',
142
+ 'ConstCountActual',
143
+ 'Constraint',
144
+ 'ConstraintCheckResult',
145
+ 'ConstraintContext',
146
+ 'ConstraintId',
147
+ 'ConstraintKind',
148
+ 'ConstraintLevel',
149
+ 'ConstraintResult',
150
+ 'ConstraintTrigger',
151
+ 'ConsumptionEvent',
152
+ 'ConsumptionMode',
153
+ 'ContextAverages',
154
+ 'ContextDocsCheck',
155
+ 'ContextFilesConfig',
156
+ 'ContextSource',
157
+ 'ContextSourceType',
158
+ 'ContextUsageSnapshot',
159
+ 'ContractGateConfig',
160
+ 'ContractPresenceContext',
161
+ 'ContractPresenceResult',
162
+ 'CustomConstraintDefinition',
163
+ 'DecayConfig',
164
+ 'DecisionRecord',
165
+ 'DeclarationInfo',
166
+ 'DirCountActual',
167
+ 'DocDirCheck',
168
+ 'DocFreshnessCheck',
169
+ 'DocFreshnessConfig',
170
+ 'DocRegexCountCheck',
171
+ 'DocsSyncConfig',
172
+ 'EffectiveConfigLint',
173
+ 'EffectiveHook',
174
+ 'ErrorClassificationRule',
175
+ 'ErrorClassifierConfig',
176
+ 'EventHandler',
177
+ 'ExecutionResult',
178
+ 'ExecutionTrace',
179
+ 'FailureRecord',
180
+ 'FailureRecorderConfig',
181
+ 'FallbackStrategy',
182
+ 'Gate',
183
+ 'GateContext',
184
+ 'GateDecision',
185
+ 'GateDecisionStatus',
186
+ 'GateDefinition',
187
+ 'GateResult',
188
+ 'GateRunResult',
189
+ 'GovernanceConfig',
190
+ 'GrepCountActual',
191
+ 'HarnessBootstrap',
192
+ 'HookConfig',
193
+ 'HookDefinition',
194
+ 'HookErrorStrategy',
195
+ 'HookExecutionRecord',
196
+ 'HookPhase',
197
+ 'HookResult',
198
+ 'ImportInfo',
199
+ 'IndexEntry',
200
+ 'IngestOptions',
201
+ 'InjectionConfig',
202
+ 'InjectionResult',
203
+ 'IronLawContext',
204
+ 'KnowledgeEntry',
205
+ 'KnowledgeOrigin',
206
+ 'KnowledgeReference',
207
+ 'KnowledgeStore',
208
+ 'KnowledgeSubsystem',
209
+ 'LintIssue',
210
+ 'LintIssueType',
211
+ 'MaturityChange',
212
+ 'MaturityLevel',
213
+ 'MergedConstraintsConfig',
214
+ 'PassesGateCheckResult',
215
+ 'PassesGateConfig',
216
+ 'PassesGateViolation',
217
+ 'PerformanceGateConfig',
218
+ 'PerformanceThresholds',
219
+ 'PhaseFormatResult',
220
+ 'PipelineResult',
221
+ 'ProjectConfig',
222
+ 'QueryBudget',
223
+ 'QueryFilter',
224
+ 'QueryResult',
225
+ 'ReferenceRecord',
226
+ 'RenderConstraintsByTriggerOptions',
227
+ 'ReviewGateConfig',
228
+ 'SchemaLoader',
229
+ 'SecurityGateConfig',
230
+ 'SessionCheckpoint',
231
+ 'SessionEvent',
232
+ 'SessionEventType',
233
+ 'SessionHandle',
234
+ 'SessionMessage',
235
+ 'SourceRef',
236
+ 'SpecAcceptanceGateConfig',
237
+ 'SpecSchemaDefinition',
238
+ 'SpecType',
239
+ 'SpecValidationError',
240
+ 'SpecValidationResult',
241
+ 'SpecValidatorConfig',
242
+ 'StepMeta',
243
+ 'StorageLayer',
244
+ 'TaskTestResult',
245
+ 'TddChainResult',
246
+ 'TestResult',
247
+ 'TestingGovernanceConfig',
248
+ 'ToolMeta',
249
+ 'TraceAnalyzerConfig',
250
+ 'TraceAnomaly',
251
+ 'TraceCollectorConfig',
252
+ 'TraceFilter',
253
+ 'TraceSummary',
254
+ 'WorkflowMeta',
255
+ ],
256
+ './core': [
257
+ 'BatchSpecValidationResult',
258
+ 'CSOIssue',
259
+ 'CSOValidationResult',
260
+ 'CapabilitiesMode',
261
+ 'CheckCacheConfig',
262
+ 'CheckConfig',
263
+ 'CheckConstraintsOptions',
264
+ 'CheckResult',
265
+ 'CheckSamplingConfig',
266
+ 'CheckType',
267
+ 'Checkpoint',
268
+ 'CheckpointCheck',
269
+ 'CheckpointContext',
270
+ 'CheckpointResult',
271
+ 'Constraint',
272
+ 'ConstraintCheckResult',
273
+ 'ConstraintContext',
274
+ 'ConstraintId',
275
+ 'ConstraintKind',
276
+ 'ConstraintLevel',
277
+ 'ConstraintResult',
278
+ 'ConstraintTrigger',
279
+ 'ContextFilesResolution',
280
+ 'EffectiveConfigLint',
281
+ 'IronLawContext',
282
+ 'PassesGateConfig',
283
+ 'RenderConstraintsByTriggerOptions',
284
+ 'RunEnv',
285
+ 'RunTarget',
286
+ 'SpecSchemaDefinition',
287
+ 'SpecType',
288
+ 'SpecValidationResult',
289
+ 'SpecValidatorConfig',
290
+ 'TaskTestResult',
291
+ ],
292
+ './presets': [
293
+ 'PresetConfig',
294
+ ],
295
+ './context': [
296
+ 'CompactionConfig',
297
+ 'CompactionLevel',
298
+ 'ContextSource',
299
+ 'ContextSourceType',
300
+ 'ContextUsageSnapshot',
301
+ 'InjectionConfig',
302
+ 'InjectionResult',
303
+ 'SessionCheckpoint',
304
+ 'SessionEvent',
305
+ 'SessionEventType',
306
+ 'SessionHandle',
307
+ 'SessionMessage',
308
+ ],
309
+ './gates': [
310
+ 'AcceptanceCriteria',
311
+ 'AcceptanceGateContext',
312
+ 'CommandBlacklistRule',
313
+ 'CommandGateConfig',
314
+ 'ContractGateConfig',
315
+ 'Gate',
316
+ 'GateContext',
317
+ 'GateDecision',
318
+ 'GateDecisionStatus',
319
+ 'GateDefinition',
320
+ 'GateResult',
321
+ 'GateRunResult',
322
+ 'PerformanceGateConfig',
323
+ 'PerformanceThresholds',
324
+ 'ReviewGateConfig',
325
+ 'SecurityGateConfig',
326
+ 'SpecAcceptanceGateConfig',
327
+ ],
328
+ };
329
+
330
+ describe('已发布类型面全量冻结(ADR-0022 追记 4)', () => {
331
+ it('exports 的每个子路径都映射到存在的显式清单源文件(新增子路径不得绕过本闸)', () => {
332
+ const unmapped = ENTRY_SUBPATHS.filter((sub) => {
333
+ const rel = sourceFileForSubpath(sub);
334
+ return rel === null || !fs.existsSync(path.join(REPO_ROOT, rel));
335
+ });
336
+ expect(unmapped).toEqual([]);
337
+ });
338
+
339
+ it('冻结清单覆盖全部已发布子路径(新增入口须先登记清单)', () => {
340
+ expect(Object.keys(PUBLISHED_ENTRY_TYPES).sort()).toEqual([...ENTRY_SUBPATHS].sort());
341
+ });
342
+
343
+ for (const sub of ENTRY_SUBPATHS) {
344
+ const rel = sourceFileForSubpath(sub);
345
+ if (rel === null) continue; // 映射闸已负责红,此处不重复报
346
+ const surface = parseEntrySurface(fs.readFileSync(path.join(REPO_ROOT, rel), 'utf-8'));
347
+
348
+ describe(`入口点 ${sub}(${rel})`, () => {
349
+ it('只用白名单写法导出,无被漏算的导出面', () => {
350
+ expect(surface.illegal).toEqual([]);
351
+ });
352
+
353
+ it('类型清单与冻结集逐字一致(增删即 breaking,需发布级别裁决)', () => {
354
+ // 解析塌掉不得退化成空集合假绿
355
+ expect(surface.types.length).toBeGreaterThan(0);
356
+ expect([...surface.types].sort()).toEqual([...PUBLISHED_ENTRY_TYPES[sub]].sort());
357
+ });
358
+ });
359
+ }
360
+ });
@@ -0,0 +1,182 @@
1
+ /**
2
+ * 已发布子路径值面全量冻结闸(ADR-0022 追记第 5 条收口)
3
+ *
4
+ * 补齐 `public-type-surface.test.ts` 的另一半:那道闸按 `package.json` 的 `exports` 逐入口冻
5
+ * 结了**类型面**,但值面(运行时导出)只有包根一处被 `public-exports.test.ts` 钉住——
6
+ * `Object.keys(await import('../index'))` 只看得到 `.` 一个入口。于是「这个函数不在公开面上、
7
+ * 删它非 breaking」这类定级断言在子路径入口仍无闸可跑,只能靠人工逐条附「各入口源文件 +
8
+ * 已发布产物 `.d.ts`」双证据(能防这一次,防不了下一次)。
9
+ *
10
+ * 落闸前实测的洞(五个入口的运行时键集合 106/29/4/4/24):`./core` 有 7 个值导出、
11
+ * `./presets` 有 4 个(即该入口全部)不在包根清单里——删掉它们当前**零测试变红**。
12
+ * `./gates` 与 `./context` 的值导出恰好是包根的子集,删除会经 `src/index.ts` 的 barrel 链
13
+ * 撞上包根那条闸,但红名报的是 `.`、不是真正被删的那个入口——定级时照样得再人肉查一遍。
14
+ *
15
+ * 口径与类型面闸一致:**公开面 = `exports` 映射,不是只有包根**,入口清单从 `exports` 派生
16
+ * 而非硬编码,新增子路径未登记冻结清单即红。分工:
17
+ * - `.` 的值面仍由 `public-exports.test.ts` 冻结(本闸刻意不重复钉——同一个入口两份清单
18
+ * 必然漂移,且那条判定要逐字保留),本闸只管四个子路径;「两边都不漏」由登记闸与委派闸各钉一条。
19
+ * - 类型面归 `public-type-surface.test.ts`,含导出写法白名单(堵 `export *` 与入口内联类型
20
+ * 声明)。值面按运行时事实枚举,无按名字扫描漏算之虞,故本闸不重复那道写法检查。
21
+ *
22
+ * 本闸走运行时 `import`:值面的事实只有模块加载后才是真的(`Object.keys` 读到的正是 tsc
23
+ * 产物出厂的那批键)。它与类型面改动互不影响——`public-exports.test.ts` 的编译期钉在类型面
24
+ * 被改时会让那个套件「failed to run」(实测向 `src/index.ts` 注一条 `export type { DynamicTask }`
25
+ * 得 TS2578),本闸在同一注入下 7 项照跑且全绿,值面的清单 diff 不会被类型面的编译期钉连带抹掉。
26
+ *
27
+ * 冻结清单不手抄:四子路径 + 包根的 `src` 侧 ts-jest 运行时键与各自 tsc 产物
28
+ * (`dist/**\/index.js`)逐入口 `Object.keys` 对撞,106/29/4/4/24 全部逐字一致。改动入口清单
29
+ * 文件时同步改本文件对应条目,diff 即 PR 评审材料;增删符号属公共面 breaking,须按
30
+ * ADR-0003/0022 走发布级别裁决。
31
+ */
32
+
33
+ import * as fs from 'fs';
34
+ import * as path from 'path';
35
+
36
+ const REPO_ROOT = path.join(__dirname, '../..');
37
+
38
+ /** 包根值面的既有归属,见文件头分工。 */
39
+ const PACKAGE_ROOT_SUBPATH = '.';
40
+
41
+ const EXPORTS_MAP = JSON.parse(
42
+ fs.readFileSync(path.join(REPO_ROOT, 'package.json'), 'utf-8'),
43
+ ).exports as Record<string, unknown>;
44
+
45
+ const ENTRY_SUBPATHS: string[] = Object.keys(EXPORTS_MAP);
46
+
47
+ /** 每个已发布子路径入口的值面全量清单。增删任一项即公共面 breaking,见文件头。 */
48
+ const PUBLISHED_ENTRY_VALUES: Record<string, string[]> = {
49
+ './core': [
50
+ 'CONSTRAINTS_END_MARKER',
51
+ 'CONSTRAINTS_START_MARKER',
52
+ 'CSOValidator',
53
+ 'CheckCache',
54
+ 'CheckpointValidator',
55
+ 'ConstraintChecker',
56
+ 'ConstraintViolationError',
57
+ 'GUIDELINES',
58
+ 'IRON_LAWS',
59
+ 'PROMPTS',
60
+ 'PassesGate',
61
+ 'ProjectConfigLoader',
62
+ 'SpecValidator',
63
+ 'checkBeforeExecution',
64
+ 'checkConstraint',
65
+ 'checkConstraints',
66
+ 'constraintChecker',
67
+ 'createPassesGate',
68
+ 'findConstraintsByTrigger',
69
+ 'getAllConstraints',
70
+ 'getCapabilitiesMode',
71
+ 'getConstraint',
72
+ 'getEffectiveConstraints',
73
+ 'getGovernanceConfig',
74
+ 'lintEffectiveConfig',
75
+ 'loadRawProjectConfig',
76
+ 'renderConstraintsByTrigger',
77
+ 'renderConstraintsSection',
78
+ 'resolveContextFiles',
79
+ ],
80
+ './presets': [
81
+ 'PRESETS_BY_NAME',
82
+ 'RELAXED_PRESET',
83
+ 'STANDARD_PRESET',
84
+ 'STRICT_PRESET',
85
+ ],
86
+ './context': [
87
+ 'KnowledgeInjector',
88
+ 'SessionManager',
89
+ 'TokenBudget',
90
+ 'TokenEstimator',
91
+ ],
92
+ './gates': [
93
+ 'CommandGate',
94
+ 'ContractGate',
95
+ 'DEFAULT_COMMAND_BLACKLIST',
96
+ 'GATE_DEFINITIONS',
97
+ 'PerformanceGate',
98
+ 'ReviewGate',
99
+ 'SecurityGate',
100
+ 'SpecAcceptanceGate',
101
+ 'assertGateRegistryClosed',
102
+ 'createCheckerGate',
103
+ 'createCommandGate',
104
+ 'createContractGate',
105
+ 'createPerformanceGate',
106
+ 'createReviewGate',
107
+ 'createSecurityGate',
108
+ 'createSpecAcceptanceGate',
109
+ 'decisionFromResult',
110
+ 'getCommandGate',
111
+ 'getCommandRiskLevel',
112
+ 'getGate',
113
+ 'isCommandAllowed',
114
+ 'listRegisteredGates',
115
+ 'registeredGateCount',
116
+ 'runGates',
117
+ ],
118
+ };
119
+
120
+ /** exports 子路径 → 承载它的显式清单源文件。形态对不上返回 null,由映射闸 fail-loud。 */
121
+ function sourceFileForSubpath(subpath: string): string | null {
122
+ if (subpath === PACKAGE_ROOT_SUBPATH) return 'src/index.ts';
123
+ const rest = subpath.replace(/^\.\//, '');
124
+ return /^[a-z][a-z0-9-]*$/.test(rest) ? `src/${rest}/index.ts` : null;
125
+ }
126
+
127
+ /** 同上,但产 ts-jest 可解析的相对说明符(本包未自引用发布名,只能按源码路径 import)。 */
128
+ function moduleSpecifierForSubpath(subpath: string): string | null {
129
+ const rel = sourceFileForSubpath(subpath);
130
+ if (rel === null) return null;
131
+ return `../${rel.replace(/^src\//, '').replace(/\.ts$/, '')}`;
132
+ }
133
+
134
+ async function runtimeKeysOf(subpath: string): Promise<string[]> {
135
+ const specifier = moduleSpecifierForSubpath(subpath);
136
+ expect(specifier).not.toBeNull();
137
+ const mod: Record<string, unknown> = await import(specifier as string);
138
+ return Object.keys(mod).sort();
139
+ }
140
+
141
+ describe('已发布子路径值面全量冻结(ADR-0022 追记 5)', () => {
142
+ it('exports 的每个子路径都映射到存在的显式清单源文件(新增子路径不得绕过本闸)', () => {
143
+ const unmapped = ENTRY_SUBPATHS.filter((sub) => {
144
+ const rel = sourceFileForSubpath(sub);
145
+ return rel === null || !fs.existsSync(path.join(REPO_ROOT, rel));
146
+ });
147
+ expect(unmapped).toEqual([]);
148
+ });
149
+
150
+ it('冻结清单覆盖除包根外的全部已发布子路径(新增入口须先登记清单)', () => {
151
+ expect(Object.keys(PUBLISHED_ENTRY_VALUES).sort()).toEqual(
152
+ ENTRY_SUBPATHS.filter((sub) => sub !== PACKAGE_ROOT_SUBPATH).sort(),
153
+ );
154
+ });
155
+
156
+ it('包根值面确有既有归属(本闸委派 `.`,两边都不钉即公共面失控)', () => {
157
+ const sibling = fs.readFileSync(path.join(__dirname, 'public-exports.test.ts'), 'utf-8');
158
+ expect(sibling).toContain('Object.keys(mod)');
159
+ });
160
+
161
+ for (const sub of ENTRY_SUBPATHS) {
162
+ if (sub === PACKAGE_ROOT_SUBPATH) continue; // 委派给 public-exports.test.ts,见文件头
163
+ if (moduleSpecifierForSubpath(sub) === null) continue; // 映射闸已负责红,此处不重复报
164
+ const frozen = PUBLISHED_ENTRY_VALUES[sub];
165
+ if (frozen === undefined) continue; // 未登记入口由登记闸负责红,此处不重复报
166
+
167
+ describe(`入口点 ${sub}`, () => {
168
+ it('运行时导出键集合与冻结清单逐字一致(增删即 breaking,需发布级别裁决)', async () => {
169
+ const actual = await runtimeKeysOf(sub);
170
+ // 解析塌掉不得退化成空集合假绿;冻结清单自身不得有重复项(重复 + 缺失会互相抵掉 diff)
171
+ expect(actual.length).toBeGreaterThan(0);
172
+ expect(new Set(frozen).size).toBe(frozen.length);
173
+ expect({
174
+ entry: sub,
175
+ missing: frozen.filter((key) => !actual.includes(key)),
176
+ extra: actual.filter((key) => !frozen.includes(key)),
177
+ }).toEqual({ entry: sub, missing: [], extra: [] });
178
+ expect(actual.length).toBe(frozen.length);
179
+ });
180
+ });
181
+ }
182
+ });
@@ -4,16 +4,17 @@
4
4
 
5
5
  import { describe, it, expect, beforeAll, afterAll } from '@jest/globals';
6
6
  import { ReviewGate } from '../gates/review';
7
- import { mkdirSync, rmSync, writeFileSync } from 'fs';
7
+ import { rmSync, writeFileSync, mkdtempSync } from 'fs';
8
8
  import { join } from 'path';
9
+ import { tmpdir } from 'os';
9
10
  import { execSync } from 'child_process';
10
11
 
11
12
  describe('ReviewGate', () => {
12
- const tempDir = join(process.cwd(), 'temp-test-review-gate');
13
+ let tempDir: string;
13
14
  let gate: ReviewGate;
14
15
 
15
16
  beforeAll(() => {
16
- mkdirSync(tempDir, { recursive: true });
17
+ tempDir = mkdtempSync(join(tmpdir(), 'temp-test-review-gate-'));
17
18
  gate = new ReviewGate({ minReviewers: 1, requireApproval: true });
18
19
 
19
20
  // 初始化 git
@@ -40,7 +41,6 @@ describe('ReviewGate', () => {
40
41
  describe('check', () => {
41
42
  it('本地模式应该返回警告', async () => {
42
43
  const result = await gate.check({
43
- projectId: 'test-project',
44
44
  projectPath: tempDir,
45
45
  });
46
46
 
@@ -53,7 +53,6 @@ describe('ReviewGate', () => {
53
53
  const relaxedGate = new ReviewGate({ requireApproval: false });
54
54
 
55
55
  const result = await relaxedGate.check({
56
- projectId: 'test-project',
57
56
  projectPath: tempDir,
58
57
  });
59
58
 
@@ -82,7 +81,6 @@ describe('ReviewGate', () => {
82
81
  describe('checkLocalGit', () => {
83
82
  it('应该检查 git 状态', async () => {
84
83
  const result = await gate.check({
85
- projectId: 'test-project',
86
84
  projectPath: tempDir,
87
85
  });
88
86
 
@@ -4,15 +4,16 @@
4
4
 
5
5
  import { describe, it, expect, beforeAll, afterAll } from '@jest/globals';
6
6
  import { SecurityGate } from '../gates/security';
7
- import { mkdirSync, rmSync, writeFileSync } from 'fs';
7
+ import { rmSync, writeFileSync, mkdtempSync } from 'fs';
8
8
  import { join } from 'path';
9
+ import { tmpdir } from 'os';
9
10
 
10
11
  describe('SecurityGate', () => {
11
- const tempDir = join(process.cwd(), 'temp-test-security-gate');
12
+ let tempDir: string;
12
13
  let gate: SecurityGate;
13
14
 
14
15
  beforeAll(() => {
15
- mkdirSync(tempDir, { recursive: true });
16
+ tempDir = mkdtempSync(join(tmpdir(), 'temp-test-security-gate-'));
16
17
 
17
18
  // 创建 package.json(无漏洞)
18
19
  writeFileSync(join(tempDir, 'package.json'), JSON.stringify({
@@ -20,7 +21,7 @@ describe('SecurityGate', () => {
20
21
  dependencies: {},
21
22
  }));
22
23
 
23
- gate = new SecurityGate({ enabled: true, severityThreshold: 'high' });
24
+ gate = new SecurityGate({ severityThreshold: 'high' });
24
25
  });
25
26
 
26
27
  afterAll(() => {
@@ -32,22 +33,9 @@ describe('SecurityGate', () => {
32
33
  });
33
34
 
34
35
  describe('scan', () => {
35
- it('禁用时应该返回通过', async () => {
36
- const disabledGate = new SecurityGate({ enabled: false });
37
-
38
- const result = await disabledGate.scan({
39
- projectId: 'test-project',
40
- projectPath: tempDir,
41
- });
42
-
43
- expect(result.passed).toBe(true);
44
- expect(result.message).toContain('安全门禁已禁用');
45
- });
46
-
47
36
  // 跳过:依赖真实 npm audit 结果,需要 mock 重构
48
37
  it.skip('应该运行 npm audit', async () => {
49
38
  const result = await gate.scan({
50
- projectId: 'test-project',
51
39
  projectPath: tempDir,
52
40
  });
53
41
 
@@ -57,7 +45,6 @@ describe('SecurityGate', () => {
57
45
 
58
46
  it.skip('应该返回漏洞分析', async () => {
59
47
  const result = await gate.scan({
60
- projectId: 'test-project',
61
48
  projectPath: tempDir,
62
49
  });
63
50
 
@@ -70,7 +57,6 @@ describe('SecurityGate', () => {
70
57
  describe('severityThreshold', () => {
71
58
  it.skip('high 阈值应该检查 critical + high', async () => {
72
59
  const result = await gate.scan({
73
- projectId: 'test-project',
74
60
  projectPath: tempDir,
75
61
  });
76
62
 
@@ -89,7 +75,6 @@ describe('SecurityGate', () => {
89
75
  describe('analyzeResult', () => {
90
76
  it.skip('应该解析 npm audit JSON 或返回 passed', async () => {
91
77
  const result = await gate.scan({
92
- projectId: 'test-project',
93
78
  projectPath: tempDir,
94
79
  });
95
80