run-gates.spec.ts 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522
  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. 'doc-quick',
  70. ] as const)('constructs and executes preflight for a valid non-empty %s graph', async (mode) => {
  71. const subject = withPnpmEntrypoint(() => gatesForMode(mode))
  72. const execute = vi.fn(async (item: Gate) => resultFor(item))
  73. await expect(runGates(subject, subject.length, execute)).resolves.toHaveLength(subject.length)
  74. })
  75. it('keeps the public repository link policy in the documentation gate', () => {
  76. const ids = withPnpmEntrypoint(() => gatesForMode('doc-sync').map(subject => subject.id))
  77. expect(ids).toContain('public-repository-links')
  78. })
  79. it('keeps package-group subsystem ownership in the documentation gate', () => {
  80. const ids = withPnpmEntrypoint(() => gatesForMode('doc-sync').map(subject => subject.id))
  81. expect(ids).toContain('subsystem-pages')
  82. })
  83. it('derives the quick documentation aggregate from marked doc-sync leaves', () => {
  84. const full = withPnpmEntrypoint(() => gatesForMode('doc-sync'))
  85. const quick = withPnpmEntrypoint(() => gatesForMode('doc-quick'))
  86. expect(quick).toEqual(full.filter(gate => gate.quick === true))
  87. })
  88. it('keeps the hygiene aggregate aligned with the package script checks', () => {
  89. const ids = withPnpmEntrypoint(() => gatesForMode('hygiene').map(subject => subject.id))
  90. expect(ids).toEqual([
  91. 'rescope-vendor', 'publint', 'constraints', 'application-entrypoints',
  92. 'dsh-package-licenses', 'package-invariants', 'built-package-invariants', 'node-next-types',
  93. 'optional-dependency-imports', 'client-packages', 'client-ui-i18n', 'no-bare-dispatcher', 'cordis-config',
  94. 'runtime-closure', 'vendored-links',
  95. ])
  96. expect(defaultConcurrency('hygiene', ids.length, 8)).toEqual({
  97. workers: 4,
  98. source: '8 available CPU(s), hygiene cap 4',
  99. })
  100. })
  101. it('schedules the longest documentation leaves before short checks', () => {
  102. const ids = withPnpmEntrypoint(() => gatesForMode('doc-sync').map(subject => subject.id))
  103. expect(ids.slice(0, 10)).toEqual([
  104. 'doc-typecheck', 'docs-site-build', 'doc-graphs', 'markdown-links', 'type-equivalence',
  105. 'cordis-catalog', 'cordis-inspect-catalog', 'mermaid', 'scoped-events', 'translation-pairing',
  106. ])
  107. })
  108. it('launches a native pnpm entrypoint directly', () => {
  109. const entrypoint = String.raw`C:\Program Files\pnpm\pnpm.exe`
  110. const subject = withPnpmEntrypoint(() => gatesForMode('ci-windows-blocking')[0], entrypoint)
  111. expect(subject).toMatchObject({
  112. command: entrypoint,
  113. args: ['run', 'build'],
  114. })
  115. })
  116. it.each(['ci-primary', 'ci-static', 'check-all'] as const)(
  117. 'keeps the DSH package license policy in %s',
  118. (mode) => {
  119. const ids = withPnpmEntrypoint(() => gatesForMode(mode).map(subject => subject.id))
  120. expect(ids).toContain('dsh-package-licenses')
  121. },
  122. )
  123. it.each(['ci-primary', 'ci-static', 'check-all'] as const)(
  124. 'keeps the client dependency policy in %s',
  125. (mode) => {
  126. const ids = withPnpmEntrypoint(() => gatesForMode(mode).map(subject => subject.id))
  127. expect(ids).toContain('client-packages')
  128. },
  129. )
  130. it.each(['ci-primary', 'ci-static', 'check-all', 'hygiene'] as const)(
  131. 'keeps hard-coded Client UI copy enforcement in %s',
  132. (mode) => {
  133. const ids = withPnpmEntrypoint(() => gatesForMode(mode).map(subject => subject.id))
  134. expect(ids).toContain('client-ui-i18n')
  135. },
  136. )
  137. it.each(['ci-primary', 'ci-static', 'check-all', 'hygiene'] as const)(
  138. 'keeps application entrypoint enforcement in %s',
  139. (mode) => {
  140. const ids = withPnpmEntrypoint(() => gatesForMode(mode).map(subject => subject.id))
  141. expect(ids).toContain('application-entrypoints')
  142. },
  143. )
  144. it('keeps native Windows coverage blocking and behind the complete build', () => {
  145. const complete = withPnpmEntrypoint(() => gatesForMode('ci-windows-complete'))
  146. const observational = withPnpmEntrypoint(() => gatesForMode('ci-windows-observational'))
  147. .filter(gate => gate.id !== 'build' && gate.id !== 'docs-site-build')
  148. const byId = new Map(complete.map(subject => [subject.id, subject]))
  149. expect(byId.get('coverage')?.allowFailure).not.toBe(true)
  150. expect(byId.get('coverage')?.needs).toContain('build')
  151. expect(byId.get('coverage-exempt-heavy')?.allowFailure).not.toBe(true)
  152. expect(byId.get('coverage')?.needs).toContain('build')
  153. expect(byId.get('coverage-exempt-heavy')?.needs).toContain('build')
  154. expect(byId.get('coverage-exempt-heavy')?.args).toContain(
  155. 'packages/experimental/webworker-packer/tests/image-loadable.spec.ts',
  156. )
  157. expect(observational).not.toHaveLength(0)
  158. for (const gate of observational) {
  159. const completeGate = byId.get(gate.id)
  160. expect(completeGate?.allowFailure).toBe(true)
  161. expect(completeGate?.after).toEqual(expect.arrayContaining([
  162. 'coverage',
  163. 'coverage-exempt-heavy',
  164. ]))
  165. expect(completeGate?.needs).toEqual(gate.needs)
  166. }
  167. })
  168. it('runs the Windows built-bin smoke after other observational gates settle', () => {
  169. const observational = withPnpmEntrypoint(() => gatesForMode('ci-windows-observational'))
  170. const builtBin = observational.find(gate => gate.id === 'built-bin-smoke')
  171. expect(builtBin?.after).toEqual(
  172. observational.filter(gate => gate.id !== 'built-bin-smoke').map(gate => gate.id),
  173. )
  174. const completeBuiltBin = withPnpmEntrypoint(() => gatesForMode('ci-windows-complete'))
  175. .find(gate => gate.id === 'built-bin-smoke')
  176. expect(completeBuiltBin?.after).toContain('windows-site')
  177. expect(completeBuiltBin?.after).not.toContain('docs-site-build')
  178. })
  179. it('applies one configured test, polling, and hook timeout to both coverage gates', () => {
  180. const gates = withEnv('DSH_COVERAGE_TEST_TIMEOUT_MS', '15000', () =>
  181. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete')))
  182. for (const id of ['coverage', 'coverage-exempt-heavy']) {
  183. expect(gates.find(subject => subject.id === id)?.args).toEqual(expect.arrayContaining([
  184. '--testTimeout=15000',
  185. '--expect.poll.timeout=15000',
  186. '--hookTimeout=15000',
  187. ]))
  188. }
  189. })
  190. it('keeps Vitest timeout defaults when the coverage override is absent', () => {
  191. const gates = withEnv('DSH_COVERAGE_TEST_TIMEOUT_MS', undefined, () =>
  192. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete')))
  193. for (const id of ['coverage', 'coverage-exempt-heavy']) {
  194. expect(gates.find(subject => subject.id === id)?.args).not.toEqual(expect.arrayContaining([
  195. expect.stringMatching(/^--(?:testTimeout|expect\.poll\.timeout|hookTimeout)=/),
  196. ]))
  197. }
  198. })
  199. it('rejects an invalid coverage timeout before starting a gate', () => {
  200. expect(() => withEnv('DSH_COVERAGE_TEST_TIMEOUT_MS', '0', () =>
  201. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete'))))
  202. .toThrow('DSH_COVERAGE_TEST_TIMEOUT_MS must be a positive integer')
  203. })
  204. it('selects partitioned coverage only when explicitly configured', () => {
  205. const coverage = withEnv('DSH_COVERAGE_PARTITIONS', '3', () =>
  206. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete').find(subject => subject.id === 'coverage')))
  207. expect(coverage).toMatchObject({
  208. displayCommand: 'DSH_COVERAGE_PARTITIONS=3 pnpm run test:coverage:partitioned',
  209. args: ['/private/pnpm.cjs', 'run', 'test:coverage:partitioned'],
  210. env: { DSH_COVERAGE_EXEMPT_HEAVY: '1' },
  211. streamOutput: true,
  212. })
  213. })
  214. it('rejects an invalid coverage partition count before starting a gate', () => {
  215. expect(() => withEnv('DSH_COVERAGE_PARTITIONS', '1', () =>
  216. withPnpmEntrypoint(() => gatesForMode('ci-windows-complete'))))
  217. .toThrow('DSH_COVERAGE_PARTITIONS must be an integer greater than 1')
  218. })
  219. it.each([
  220. ['empty', [], /gate graph has no gates/],
  221. ['duplicate ids', [gate('same'), gate('same')], /duplicate gate id "same"/],
  222. ['unknown dependencies', [gate('subject', { needs: ['missing'] })], /depends on unknown gate "missing"/],
  223. ['unknown ordering predecessors', [gate('subject', { after: ['missing'] })], /waits for unknown gate "missing"/],
  224. ['cycles', [gate('first', { needs: ['second'] }), gate('second', { needs: ['first'] })], /dependency cycle: first -> second -> first/],
  225. ['mixed cycles', [gate('first', { after: ['second'] }), gate('second', { needs: ['first'] })], /dependency cycle: first -> second -> first/],
  226. ] as const)('rejects %s before starting a child', async (_label, invalid, message) => {
  227. const execute = vi.fn(async (subject: Gate) => resultFor(subject))
  228. await expect(runGates([...invalid], 1, execute)).rejects.toThrow(message)
  229. expect(execute).not.toHaveBeenCalled()
  230. })
  231. it('rejects an invalid worker count before starting a child', async () => {
  232. const execute = vi.fn(async (subject: Gate) => resultFor(subject))
  233. await expect(runGates([gate('subject')], 0, execute)).rejects.toThrow('max concurrency must be a positive integer')
  234. expect(execute).not.toHaveBeenCalled()
  235. })
  236. it('skips dependents after their prerequisite fails', async () => {
  237. const dependent = gate('dependent', { needs: ['root'] })
  238. const root = gate('root')
  239. const execute = vi.fn(async (subject: Gate) => resultFor(subject, 'failed'))
  240. const results = await runGates([dependent, root], 1, execute)
  241. expect(execute).toHaveBeenCalledOnce()
  242. expect(execute).toHaveBeenCalledWith(root)
  243. expect(results[0]).toMatchObject({ gate: dependent, status: 'skipped', error: 'dependency failed or skipped: root' })
  244. })
  245. it('runs an ordered follower after its predecessor fails', async () => {
  246. const follower = gate('follower', { after: ['root'] })
  247. const root = gate('root')
  248. const execute = vi.fn(async (subject: Gate) => resultFor(subject, subject === root ? 'failed' : 'passed'))
  249. const results = await runGates([follower, root], 2, execute)
  250. expect(execute.mock.calls.map(([subject]) => subject.id)).toEqual(['root', 'follower'])
  251. expect(results.map(result => result.status)).toEqual(['passed', 'failed'])
  252. })
  253. it('runs an ordered follower after its predecessor is skipped', async () => {
  254. const follower = gate('follower', { after: ['dependent'] })
  255. const dependent = gate('dependent', { needs: ['root'] })
  256. const root = gate('root')
  257. const execute = vi.fn(async (subject: Gate) => resultFor(subject, subject === root ? 'failed' : 'passed'))
  258. const results = await runGates([follower, dependent, root], 2, execute)
  259. expect(execute.mock.calls.map(([subject]) => subject.id)).toEqual(['root', 'follower'])
  260. expect(results.map(result => result.status)).toEqual(['passed', 'skipped', 'failed'])
  261. })
  262. })
  263. describe('Oxlint gate', () => {
  264. it('uses the package script when no worker bound is configured', () => {
  265. const subject = withEnv('DSH_OXLINT_THREADS', undefined, () =>
  266. withPnpmEntrypoint(() => gatesForMode('ci-lint-contracts-ready')[0]))
  267. expect(subject).toMatchObject({
  268. id: 'lint',
  269. displayCommand: 'pnpm run lint:contracts-ready',
  270. command: process.execPath,
  271. args: ['/private/pnpm.cjs', 'run', 'lint:contracts-ready'],
  272. })
  273. })
  274. it('surfaces the configured worker bound on the shared package script', () => {
  275. const subject = withEnv('DSH_OXLINT_THREADS', '4', () =>
  276. withPnpmEntrypoint(() => gatesForMode('ci-lint-contracts-ready')[0]))
  277. expect(subject).toMatchObject({
  278. id: 'lint',
  279. displayCommand: 'DSH_OXLINT_THREADS=4 pnpm run lint:contracts-ready',
  280. command: process.execPath,
  281. args: ['/private/pnpm.cjs', 'run', 'lint:contracts-ready'],
  282. })
  283. })
  284. })
  285. describe('Typert contract preparation', () => {
  286. it('prepares primary source consumers once before they run', () => {
  287. const subject = withEnv('DSH_OXLINT_THREADS', undefined, () =>
  288. withPnpmEntrypoint(() => gatesForMode('ci-primary')))
  289. expect(subject.find(item => item.id === 'typert-contracts')).toMatchObject({
  290. displayCommand: 'pnpm run build:lib:host',
  291. args: ['/private/pnpm.cjs', 'run', 'build:lib:host'],
  292. })
  293. for (const [id, script] of [
  294. ['typecheck', 'typecheck:contracts-ready'],
  295. ['lint', 'lint:contracts-ready'],
  296. ['doc-typecheck', 'doc-typecheck:contracts-ready'],
  297. ] as const) {
  298. expect(subject.find(item => item.id === id)).toMatchObject({
  299. displayCommand: `pnpm run ${script}`,
  300. args: ['/private/pnpm.cjs', 'run', script],
  301. needs: ['typert-contracts'],
  302. })
  303. }
  304. expect(subject.find(item => item.id === 'build')?.needs).toEqual([
  305. 'typecheck',
  306. 'lint',
  307. 'doc-typecheck',
  308. ])
  309. })
  310. it('reuses contracts from the validated consumer build', () => {
  311. const subject = withPnpmEntrypoint(() => gatesForMode('ci-consumers'))
  312. expect(subject.find(item => item.id === 'lint-and-duplication')).toMatchObject({
  313. displayCommand: 'pnpm run check:ci:lint:contracts-ready',
  314. args: ['/private/pnpm.cjs', 'run', 'check:ci:lint:contracts-ready'],
  315. })
  316. expect(subject.find(item => item.id === 'doc-typecheck')).toMatchObject({
  317. displayCommand: 'pnpm run doc-typecheck:contracts-ready',
  318. args: ['/private/pnpm.cjs', 'run', 'doc-typecheck:contracts-ready'],
  319. })
  320. })
  321. it('keeps standalone doc sync responsible for preparation', () => {
  322. const docTypecheck = withPnpmEntrypoint(() =>
  323. gatesForMode('doc-sync').find(item => item.id === 'doc-typecheck'))
  324. expect(docTypecheck?.displayCommand).toBe('pnpm run doc-typecheck')
  325. })
  326. })
  327. describe('Node compatibility graph', () => {
  328. it('runs the jsdom environment smoke on every advertised Node line', () => {
  329. const subject = withPnpmEntrypoint(() => gatesForMode('node-compat'))
  330. expect(subject.find(item => item.id === 'vitest-jsdom-smoke')).toMatchObject({
  331. label: 'Vitest jsdom smoke',
  332. args: [
  333. '/private/pnpm.cjs',
  334. 'exec',
  335. 'vitest',
  336. 'run',
  337. 'scripts/vitest-environment.compat.spec.ts',
  338. ],
  339. })
  340. })
  341. })
  342. describe('Node 24 lane ownership', () => {
  343. it('keeps the static lane source-only', () => {
  344. const subject = withPnpmEntrypoint(() => gatesForMode('ci-static'))
  345. expect(subject.map(item => item.id)).not.toContain('build')
  346. expect(subject.map(item => item.id)).not.toContain('doc-typecheck')
  347. })
  348. it('owns the build and orders its artifact consumers', () => {
  349. const subject = withPnpmEntrypoint(() => gatesForMode('ci-consumers'))
  350. expect(defaultConcurrency('ci-consumers', subject.length, 4)).toEqual({
  351. workers: 11,
  352. source: 'ci-consumers gate count',
  353. })
  354. expect(subject.map(item => item.id)).toEqual([
  355. 'build',
  356. 'node-compat',
  357. 'publint',
  358. 'built-package-invariants',
  359. 'lint-and-duplication',
  360. 'snapshot',
  361. 'expected-output',
  362. 'web-snapshot',
  363. 'doc-typecheck',
  364. 'node-next-types',
  365. 'built-bin-smoke',
  366. ])
  367. expect(subject.find(item => item.id === 'publint')?.needs).toEqual(['build'])
  368. expect(subject.find(item => item.id === 'build')?.env).toEqual({
  369. DSH_BUILD_CLIENT_PROFILE: 'official',
  370. })
  371. expect(subject.find(item => item.id === 'node-compat')?.env).toEqual({
  372. DSH_BUILD_CLIENT_PROFILE: 'official',
  373. })
  374. expect(subject.find(item => item.id === 'built-package-invariants')?.needs).toEqual(['build'])
  375. expect(subject.find(item => item.id === 'lint-and-duplication')?.needs).toEqual(['built-package-invariants'])
  376. for (const id of [
  377. 'snapshot',
  378. 'expected-output',
  379. 'web-snapshot',
  380. 'doc-typecheck',
  381. 'node-next-types',
  382. 'built-bin-smoke',
  383. ]) {
  384. expect(subject.find(item => item.id === id)?.needs).toEqual(['built-package-invariants'])
  385. }
  386. expect(subject.find(item => item.id === 'snapshot')?.env).toEqual({ DSH_EXAMPLE_MODE: 'lib' })
  387. expect(subject.find(item => item.id === 'expected-output')?.env).toEqual({ DSH_EXAMPLE_MODE: 'lib' })
  388. expect(subject.find(item => item.id === 'doc-typecheck')?.env).toEqual({
  389. DSH_DOC_TYPECHECK_USE_BUILD_OUTPUT: '1',
  390. })
  391. expect(subject.find(item => item.id === 'built-bin-smoke')?.args).toEqual(
  392. expect.arrayContaining([
  393. 'packages/subagent/subagent-codex/tests/loader-composition.e2e.ts',
  394. 'packages/subagent/subagent-claude-code/tests/loader-composition.e2e.ts',
  395. 'packages/experimental/agent-team/tests/built-lib.e2e.ts',
  396. ]),
  397. )
  398. expect(subject.find(item => item.id === 'web-snapshot')).toMatchObject({
  399. displayCommand: 'DSH_SNAPSHOT=replay pnpm run test:web:built',
  400. env: { DSH_SNAPSHOT: 'replay' },
  401. after: [
  402. 'publint',
  403. 'lint-and-duplication',
  404. 'snapshot',
  405. 'expected-output',
  406. 'doc-typecheck',
  407. 'node-next-types',
  408. 'built-bin-smoke',
  409. ],
  410. })
  411. })
  412. })
  413. describe('Linux primary graph', () => {
  414. it('adds the same compare-only web gate after built client artifacts', () => {
  415. const subject = withPnpmEntrypoint(() => gatesForMode('ci-linux-primary'))
  416. const web = subject.find(item => item.id === 'web-snapshot')
  417. expect(web).toMatchObject({
  418. displayCommand: 'DSH_SNAPSHOT=replay pnpm run test:web:built',
  419. env: { DSH_SNAPSHOT: 'replay' },
  420. needs: ['built-package-invariants'],
  421. })
  422. })
  423. })
  424. describe('gate process outcomes', () => {
  425. it('streams selected gate output without retaining it', async () => {
  426. const write = vi.spyOn(process.stdout, 'write').mockReturnValue(true)
  427. try {
  428. const result = await runGate(gate('streamed', {
  429. args: ['-e', "process.stdout.write('live output')"],
  430. streamOutput: true,
  431. }))
  432. expect(result.status).toBe('passed')
  433. expect(result.output).toEqual([])
  434. expect(write).toHaveBeenCalledWith('live output')
  435. } finally {
  436. write.mockRestore()
  437. }
  438. })
  439. it.skipIf(process.platform === 'win32')('reports signal termination independently from exit status', async () => {
  440. const result = await runGate(gate('terminated', {
  441. args: ['-e', "process.kill(process.pid, 'SIGTERM')"],
  442. }))
  443. expect(result.status).toBe('failed')
  444. expect(result.exitCode).toBeNull()
  445. expect(result.signalCode).toBe('SIGTERM')
  446. expect(formatGateResultReason(result)).toBe('signal SIGTERM')
  447. })
  448. })