run-gates.spec.ts 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456
  1. import { describe, expect, it, vi } from 'vitest'
  2. import {
  3. defaultConcurrency,
  4. formatGateResultReason,
  5. gatesForMode,
  6. runGate,
  7. runGates,
  8. type Gate,
  9. type GateResult,
  10. } from './run-gates.ts'
  11. function gate(id: string, options: Partial<Gate> = {}): Gate {
  12. return {
  13. id,
  14. label: id,
  15. displayCommand: `run ${id}`,
  16. command: process.execPath,
  17. args: ['-e', ''],
  18. ...options,
  19. }
  20. }
  21. function resultFor(subject: Gate, status: GateResult['status'] = 'passed'): GateResult {
  22. return {
  23. gate: subject,
  24. status,
  25. durationMs: 10,
  26. output: [],
  27. exitCode: status === 'passed' ? 0 : 1,
  28. signalCode: null,
  29. }
  30. }
  31. function withPnpmEntrypoint<T>(action: () => T, entrypoint = '/private/pnpm.cjs'): T {
  32. const previous = process.env.npm_execpath
  33. process.env.npm_execpath = entrypoint
  34. try {
  35. return action()
  36. } finally {
  37. if (previous === undefined) Reflect.deleteProperty(process.env, 'npm_execpath')
  38. else process.env.npm_execpath = previous
  39. }
  40. }
  41. function withEnv<T>(name: string, value: string | undefined, action: () => T): T {
  42. const previous = process.env[name]
  43. if (value === undefined) Reflect.deleteProperty(process.env, name)
  44. else process.env[name] = value
  45. try {
  46. return action()
  47. } finally {
  48. if (previous === undefined) Reflect.deleteProperty(process.env, name)
  49. else process.env[name] = previous
  50. }
  51. }
  52. describe('gate graph validation', () => {
  53. it.each([
  54. 'ci-primary',
  55. 'ci-linux-primary',
  56. 'ci-static',
  57. 'ci-lint-contracts-ready',
  58. 'ci-coverage',
  59. 'ci-snapshot',
  60. 'ci-artifacts',
  61. 'ci-consumers',
  62. 'ci-windows-blocking',
  63. 'ci-windows-complete',
  64. 'ci-windows-observational',
  65. 'node-compat',
  66. 'check-all',
  67. 'hygiene',
  68. 'doc-sync',
  69. ] as const)('constructs and executes preflight for a valid non-empty %s graph', async (mode) => {
  70. const subject = withPnpmEntrypoint(() => gatesForMode(mode))
  71. const execute = vi.fn(async (item: Gate) => resultFor(item))
  72. await expect(runGates(subject, subject.length, execute)).resolves.toHaveLength(subject.length)
  73. })
  74. it('keeps the public repository link policy in the documentation gate', () => {
  75. const ids = withPnpmEntrypoint(() => gatesForMode('doc-sync').map(subject => subject.id))
  76. expect(ids).toContain('public-repository-links')
  77. })
  78. it('keeps the hygiene aggregate aligned with the package script checks', () => {
  79. const ids = withPnpmEntrypoint(() => gatesForMode('hygiene').map(subject => subject.id))
  80. expect(ids).toEqual([
  81. 'rescope-vendor', 'knip', 'publint', 'constraints', 'dsh-package-licenses',
  82. 'package-invariants', 'built-package-invariants', 'node-next-types',
  83. 'optional-dependency-imports', 'client-packages', 'cordis-config',
  84. 'runtime-closure', 'vendored-links',
  85. ])
  86. expect(defaultConcurrency('hygiene', ids.length, 8)).toEqual({
  87. workers: 4,
  88. source: '8 available CPU(s), hygiene cap 4',
  89. })
  90. })
  91. it('schedules the longest documentation leaves before short checks', () => {
  92. const ids = withPnpmEntrypoint(() => gatesForMode('doc-sync').map(subject => subject.id))
  93. expect(ids.slice(0, 10)).toEqual([
  94. 'doc-typecheck', 'docs-site-build', 'doc-graphs', 'markdown-links', 'type-equivalence',
  95. 'cordis-catalog', 'mermaid', 'scoped-events', 'translation-pairing', 'markdown-wrap',
  96. ])
  97. })
  98. it('launches a native pnpm entrypoint directly', () => {
  99. const entrypoint = String.raw`C:\Program Files\pnpm\pnpm.exe`
  100. const subject = withPnpmEntrypoint(() => gatesForMode('ci-windows-blocking')[0], entrypoint)
  101. expect(subject).toMatchObject({
  102. command: entrypoint,
  103. args: ['run', 'build'],
  104. })
  105. })
  106. it.each(['ci-primary', 'ci-static', 'check-all'] as const)(
  107. 'keeps the DSH package license policy in %s',
  108. (mode) => {
  109. const ids = withPnpmEntrypoint(() => gatesForMode(mode).map(subject => subject.id))
  110. expect(ids).toContain('dsh-package-licenses')
  111. },
  112. )
  113. it.each(['ci-primary', 'ci-static', 'check-all'] as const)(
  114. 'keeps the client dependency policy in %s',
  115. (mode) => {
  116. const ids = withPnpmEntrypoint(() => gatesForMode(mode).map(subject => subject.id))
  117. expect(ids).toContain('client-packages')
  118. },
  119. )
  120. it('keeps native Windows coverage blocking while retaining the observational inventory', () => {
  121. const complete = withPnpmEntrypoint(() => gatesForMode('ci-windows-complete'))
  122. const observational = withPnpmEntrypoint(() => gatesForMode('ci-windows-observational'))
  123. .filter(gate => gate.id !== 'build' && gate.id !== 'docs-site-build')
  124. const byId = new Map(complete.map(subject => [subject.id, subject]))
  125. expect(byId.get('coverage')?.allowFailure).not.toBe(true)
  126. expect(byId.get('coverage-exempt-heavy')?.allowFailure).not.toBe(true)
  127. expect(byId.get('coverage-exempt-heavy')?.needs).toContain('build')
  128. expect(observational).not.toHaveLength(0)
  129. for (const gate of observational) {
  130. const completeGate = byId.get(gate.id)
  131. expect(completeGate?.allowFailure).toBe(true)
  132. expect(completeGate?.after).toEqual(expect.arrayContaining([
  133. 'coverage',
  134. 'coverage-exempt-heavy',
  135. ]))
  136. expect(completeGate?.needs).toEqual(gate.needs)
  137. }
  138. })
  139. it('applies one configured test and polling timeout to both coverage gates', () => {
  140. const gates = withEnv('DSH_COVERAGE_TEST_TIMEOUT_MS', '15000', () =>
  141. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete')))
  142. for (const id of ['coverage', 'coverage-exempt-heavy']) {
  143. expect(gates.find(subject => subject.id === id)?.args).toEqual(expect.arrayContaining([
  144. '--testTimeout=15000',
  145. '--expect.poll.timeout=15000',
  146. ]))
  147. }
  148. })
  149. it('keeps Vitest timeout defaults when the coverage override is absent', () => {
  150. const gates = withEnv('DSH_COVERAGE_TEST_TIMEOUT_MS', undefined, () =>
  151. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete')))
  152. for (const id of ['coverage', 'coverage-exempt-heavy']) {
  153. expect(gates.find(subject => subject.id === id)?.args).not.toEqual(expect.arrayContaining([
  154. expect.stringMatching(/^--(?:testTimeout|expect\.poll\.timeout)=/),
  155. ]))
  156. }
  157. })
  158. it('rejects an invalid coverage timeout before starting a gate', () => {
  159. expect(() => withEnv('DSH_COVERAGE_TEST_TIMEOUT_MS', '0', () =>
  160. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete'))))
  161. .toThrow('DSH_COVERAGE_TEST_TIMEOUT_MS must be a positive integer')
  162. })
  163. it('selects partitioned coverage only when explicitly configured', () => {
  164. const coverage = withEnv('DSH_COVERAGE_PARTITIONS', '3', () =>
  165. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete').find(subject => subject.id === 'coverage')))
  166. expect(coverage).toMatchObject({
  167. displayCommand: 'DSH_COVERAGE_PARTITIONS=3 pnpm run test:coverage:partitioned',
  168. args: ['/private/pnpm.cjs', 'run', 'test:coverage:partitioned'],
  169. streamOutput: true,
  170. })
  171. })
  172. it('rejects an invalid coverage partition count before starting a gate', () => {
  173. expect(() => withEnv('DSH_COVERAGE_PARTITIONS', '1', () =>
  174. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete'))))
  175. .toThrow('DSH_COVERAGE_PARTITIONS must be an integer greater than 1')
  176. })
  177. it.each([
  178. ['empty', [], /gate graph has no gates/],
  179. ['duplicate ids', [gate('same'), gate('same')], /duplicate gate id "same"/],
  180. ['unknown dependencies', [gate('subject', { needs: ['missing'] })], /depends on unknown gate "missing"/],
  181. ['unknown ordering predecessors', [gate('subject', { after: ['missing'] })], /waits for unknown gate "missing"/],
  182. ['cycles', [gate('first', { needs: ['second'] }), gate('second', { needs: ['first'] })], /dependency cycle: first -> second -> first/],
  183. ['mixed cycles', [gate('first', { after: ['second'] }), gate('second', { needs: ['first'] })], /dependency cycle: first -> second -> first/],
  184. ] as const)('rejects %s before starting a child', async (_label, invalid, message) => {
  185. const execute = vi.fn(async (subject: Gate) => resultFor(subject))
  186. await expect(runGates([...invalid], 1, execute)).rejects.toThrow(message)
  187. expect(execute).not.toHaveBeenCalled()
  188. })
  189. it('rejects an invalid worker count before starting a child', async () => {
  190. const execute = vi.fn(async (subject: Gate) => resultFor(subject))
  191. await expect(runGates([gate('subject')], 0, execute)).rejects.toThrow('max concurrency must be a positive integer')
  192. expect(execute).not.toHaveBeenCalled()
  193. })
  194. it('skips dependents after their prerequisite fails', async () => {
  195. const dependent = gate('dependent', { needs: ['root'] })
  196. const root = gate('root')
  197. const execute = vi.fn(async (subject: Gate) => resultFor(subject, 'failed'))
  198. const results = await runGates([dependent, root], 1, execute)
  199. expect(execute).toHaveBeenCalledOnce()
  200. expect(execute).toHaveBeenCalledWith(root)
  201. expect(results[0]).toMatchObject({ gate: dependent, status: 'skipped', error: 'dependency failed or skipped: root' })
  202. })
  203. it('runs an ordered follower after its predecessor fails', async () => {
  204. const follower = gate('follower', { after: ['root'] })
  205. const root = gate('root')
  206. const execute = vi.fn(async (subject: Gate) => resultFor(subject, subject === root ? 'failed' : 'passed'))
  207. const results = await runGates([follower, root], 2, execute)
  208. expect(execute.mock.calls.map(([subject]) => subject.id)).toEqual(['root', 'follower'])
  209. expect(results.map(result => result.status)).toEqual(['passed', 'failed'])
  210. })
  211. it('runs an ordered follower after its predecessor is skipped', async () => {
  212. const follower = gate('follower', { after: ['dependent'] })
  213. const dependent = gate('dependent', { needs: ['root'] })
  214. const root = gate('root')
  215. const execute = vi.fn(async (subject: Gate) => resultFor(subject, subject === root ? 'failed' : 'passed'))
  216. const results = await runGates([follower, dependent, root], 2, execute)
  217. expect(execute.mock.calls.map(([subject]) => subject.id)).toEqual(['root', 'follower'])
  218. expect(results.map(result => result.status)).toEqual(['passed', 'skipped', 'failed'])
  219. })
  220. })
  221. describe('Oxlint gate', () => {
  222. it('uses the package script when no worker bound is configured', () => {
  223. const subject = withEnv('DSH_OXLINT_THREADS', undefined, () =>
  224. withPnpmEntrypoint(() => gatesForMode('ci-lint-contracts-ready')[0]))
  225. expect(subject).toMatchObject({
  226. id: 'lint',
  227. displayCommand: 'pnpm run lint:contracts-ready',
  228. command: process.execPath,
  229. args: ['/private/pnpm.cjs', 'run', 'lint:contracts-ready'],
  230. })
  231. })
  232. it('surfaces the configured worker bound on the shared package script', () => {
  233. const subject = withEnv('DSH_OXLINT_THREADS', '4', () =>
  234. withPnpmEntrypoint(() => gatesForMode('ci-lint-contracts-ready')[0]))
  235. expect(subject).toMatchObject({
  236. id: 'lint',
  237. displayCommand: 'DSH_OXLINT_THREADS=4 pnpm run lint:contracts-ready',
  238. command: process.execPath,
  239. args: ['/private/pnpm.cjs', 'run', 'lint:contracts-ready'],
  240. })
  241. })
  242. })
  243. describe('Typert contract preparation', () => {
  244. it('prepares primary source consumers once before they run', () => {
  245. const subject = withEnv('DSH_OXLINT_THREADS', undefined, () =>
  246. withPnpmEntrypoint(() => gatesForMode('ci-primary')))
  247. expect(subject.find(item => item.id === 'typert-contracts')).toMatchObject({
  248. displayCommand: 'pnpm run build:lib:host',
  249. args: ['/private/pnpm.cjs', 'run', 'build:lib:host'],
  250. })
  251. for (const [id, script] of [
  252. ['typecheck', 'typecheck:contracts-ready'],
  253. ['lint', 'lint:contracts-ready'],
  254. ['doc-typecheck', 'doc-typecheck:contracts-ready'],
  255. ] as const) {
  256. expect(subject.find(item => item.id === id)).toMatchObject({
  257. displayCommand: `pnpm run ${script}`,
  258. args: ['/private/pnpm.cjs', 'run', script],
  259. needs: ['typert-contracts'],
  260. })
  261. }
  262. expect(subject.find(item => item.id === 'build')?.needs).toEqual([
  263. 'typecheck',
  264. 'lint',
  265. 'doc-typecheck',
  266. ])
  267. })
  268. it('reuses contracts from the validated consumer build', () => {
  269. const subject = withPnpmEntrypoint(() => gatesForMode('ci-consumers'))
  270. expect(subject.find(item => item.id === 'lint-and-duplication')).toMatchObject({
  271. displayCommand: 'pnpm run check:ci:lint:contracts-ready',
  272. args: ['/private/pnpm.cjs', 'run', 'check:ci:lint:contracts-ready'],
  273. })
  274. expect(subject.find(item => item.id === 'doc-typecheck')).toMatchObject({
  275. displayCommand: 'pnpm run doc-typecheck:contracts-ready',
  276. args: ['/private/pnpm.cjs', 'run', 'doc-typecheck:contracts-ready'],
  277. })
  278. })
  279. it('keeps standalone doc sync responsible for preparation', () => {
  280. const docTypecheck = withPnpmEntrypoint(() =>
  281. gatesForMode('doc-sync').find(item => item.id === 'doc-typecheck'))
  282. expect(docTypecheck?.displayCommand).toBe('pnpm run doc-typecheck')
  283. })
  284. })
  285. describe('Node compatibility graph', () => {
  286. it('runs the jsdom environment smoke on every advertised Node line', () => {
  287. const subject = withPnpmEntrypoint(() => gatesForMode('node-compat'))
  288. expect(subject.find(item => item.id === 'vitest-jsdom-smoke')).toMatchObject({
  289. label: 'Vitest jsdom smoke',
  290. args: [
  291. '/private/pnpm.cjs',
  292. 'exec',
  293. 'vitest',
  294. 'run',
  295. 'scripts/vitest-environment.compat.spec.ts',
  296. ],
  297. })
  298. })
  299. })
  300. describe('Node 24 lane ownership', () => {
  301. it('keeps the static lane source-only', () => {
  302. const subject = withPnpmEntrypoint(() => gatesForMode('ci-static'))
  303. expect(subject.map(item => item.id)).not.toContain('build')
  304. expect(subject.map(item => item.id)).not.toContain('doc-typecheck')
  305. })
  306. it('owns the build and orders its artifact consumers', () => {
  307. const subject = withPnpmEntrypoint(() => gatesForMode('ci-consumers'))
  308. expect(defaultConcurrency('ci-consumers', subject.length, 4)).toEqual({
  309. workers: 10,
  310. source: 'ci-consumers gate count',
  311. })
  312. expect(subject.map(item => item.id)).toEqual([
  313. 'build',
  314. 'node-compat',
  315. 'publint',
  316. 'built-package-invariants',
  317. 'lint-and-duplication',
  318. 'snapshot',
  319. 'web-snapshot',
  320. 'doc-typecheck',
  321. 'node-next-types',
  322. 'built-bin-smoke',
  323. ])
  324. expect(subject.find(item => item.id === 'publint')?.needs).toEqual(['build'])
  325. expect(subject.find(item => item.id === 'build')?.env).toEqual({
  326. DSH_BUILD_CLIENT_PROFILE: 'official',
  327. })
  328. expect(subject.find(item => item.id === 'node-compat')?.env).toEqual({
  329. DSH_BUILD_CLIENT_PROFILE: 'official',
  330. })
  331. expect(subject.find(item => item.id === 'built-package-invariants')?.needs).toEqual(['build'])
  332. expect(subject.find(item => item.id === 'lint-and-duplication')?.needs).toEqual(['built-package-invariants'])
  333. for (const id of [
  334. 'snapshot',
  335. 'web-snapshot',
  336. 'doc-typecheck',
  337. 'node-next-types',
  338. 'built-bin-smoke',
  339. ]) {
  340. expect(subject.find(item => item.id === id)?.needs).toEqual(['built-package-invariants'])
  341. }
  342. expect(subject.find(item => item.id === 'snapshot')?.env).toEqual({ DSH_EXAMPLE_MODE: 'lib' })
  343. expect(subject.find(item => item.id === 'doc-typecheck')?.env).toEqual({
  344. DSH_DOC_TYPECHECK_USE_BUILD_OUTPUT: '1',
  345. })
  346. expect(subject.find(item => item.id === 'built-bin-smoke')?.args).toEqual(
  347. expect.arrayContaining([
  348. 'packages/subagent/subagent-codex/tests/loader-composition.e2e.ts',
  349. 'packages/subagent/subagent-claude-code/tests/loader-composition.e2e.ts',
  350. ]),
  351. )
  352. expect(subject.find(item => item.id === 'web-snapshot')).toMatchObject({
  353. displayCommand: 'DSH_SNAPSHOT=replay pnpm run test:web:built',
  354. env: { DSH_SNAPSHOT: 'replay' },
  355. })
  356. })
  357. })
  358. describe('Linux primary graph', () => {
  359. it('adds the same compare-only web gate after built client artifacts', () => {
  360. const subject = withPnpmEntrypoint(() => gatesForMode('ci-linux-primary'))
  361. const web = subject.find(item => item.id === 'web-snapshot')
  362. expect(web).toMatchObject({
  363. displayCommand: 'DSH_SNAPSHOT=replay pnpm run test:web:built',
  364. env: { DSH_SNAPSHOT: 'replay' },
  365. needs: ['built-package-invariants'],
  366. })
  367. })
  368. })
  369. describe('gate process outcomes', () => {
  370. it('streams selected gate output without retaining it', async () => {
  371. const write = vi.spyOn(process.stdout, 'write').mockReturnValue(true)
  372. try {
  373. const result = await runGate(gate('streamed', {
  374. args: ['-e', "process.stdout.write('live output')"],
  375. streamOutput: true,
  376. }))
  377. expect(result.status).toBe('passed')
  378. expect(result.output).toEqual([])
  379. expect(write).toHaveBeenCalledWith('live output')
  380. } finally {
  381. write.mockRestore()
  382. }
  383. })
  384. it.skipIf(process.platform === 'win32')('reports signal termination independently from exit status', async () => {
  385. const result = await runGate(gate('terminated', {
  386. args: ['-e', "process.kill(process.pid, 'SIGTERM')"],
  387. }))
  388. expect(result.status).toBe('failed')
  389. expect(result.exitCode).toBeNull()
  390. expect(result.signalCode).toBe('SIGTERM')
  391. expect(formatGateResultReason(result)).toBe('signal SIGTERM')
  392. })
  393. })