check-workspace-constraints.ts 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538
  1. /**
  2. * Workspace package invariant checks for package-manager-independent quality
  3. * gates.
  4. *
  5. * Run: `tsx scripts/check-workspace-constraints.ts`.
  6. */
  7. import { existsSync, readdirSync, readFileSync } from 'node:fs'
  8. import { join, relative, resolve } from 'node:path'
  9. import { pathToFileURL } from 'node:url'
  10. import { hasTypertRemoteNavigation, isForbiddenPublicationFile } from './publication-payload.ts'
  11. import { collectProjectReferenceFaceViolations } from './project-reference-faces.ts'
  12. const root = resolve(import.meta.dirname, '..')
  13. // vendor/* is single-level; packages/<group>/<pkg> nests one level deeper
  14. // (the group dirs — core/llm/shell/… — are pure containers with no manifest).
  15. const workspaceGlobs = [
  16. { dir: 'vendor', depth: 1 },
  17. { dir: 'packages', depth: 2 },
  18. { dir: 'native', depth: 1 },
  19. { dir: 'native/landlock-run/packages', depth: 1 },
  20. { dir: 'apps', depth: 1 },
  21. ] as const
  22. const vendoredPackages = new Set([
  23. '@deepseek-ai/cordis',
  24. '@deepseek-ai/cosmokit',
  25. '@deepseek-ai/schemastery',
  26. '@deepseek-ai/cordis-plugin-loader',
  27. '@deepseek-ai/cordis-plugin-include',
  28. '@deepseek-ai/cordis-plugin-group',
  29. '@deepseek-ai/cordis-plugin-timer',
  30. '@deepseek-ai/cordis-plugin-hmr',
  31. '@deepseek-ai/cordis-plugin-logger-console',
  32. ])
  33. const publicLandlockPackages = new Set([
  34. '@deepseek-ai/node-addon-landlock-run',
  35. '@deepseek-ai/node-addon-landlock-run-linux-arm64',
  36. '@deepseek-ai/node-addon-landlock-run-linux-x64',
  37. ])
  38. /** Deliberate source payloads whose exact bytes are part of the package's audit surface. */
  39. const publicationSourceAllowlist: Readonly<Record<string, readonly string[]>> = {
  40. '@deepseek-ai/node-addon-landlock-run': ['src/main.c'],
  41. }
  42. const repositoryUrl = 'git+https://github.com/deepseek-harness/deepseek-harness.git'
  43. /**
  44. * Source home the published packages point consumers at. It differs from
  45. * {@link repositoryUrl}, which the Landlock packages keep because npm resolves
  46. * their trusted publishing against the repository that runs the workflow.
  47. */
  48. const publishedRepositoryUrl = 'git+https://github.com/deepseek-ai/deepseek-harness.git'
  49. /** Private packages that participate in workspace checks but not releases. */
  50. const experimentalPackageDirectory = /^packages\/experimental\/[^/]+$/
  51. /** npm namespace reserved for private experimental packages. */
  52. const experimentalPackageNamePrefix = '@deepseek-ai/dsh-experimental-'
  53. /** Directories whose packages this repository publishes: one release member each. */
  54. const releaseMemberDirectory = /^(?:packages\/(?!experimental\/)[^/]+\/[^/]+|apps\/(?!desktop(?:-host)?$)[^/]+|vendor\/[^/]+)$/
  55. /** Installable application assembled by electron-builder rather than published to npm. */
  56. const desktopApplicationDirectory = 'apps/desktop'
  57. const localArtifactDirs = new Set(['node_modules'])
  58. const appPackageFiles: Readonly<Record<string, readonly string[]>> = {
  59. '@deepseek-ai/dsh': ['lib/*.js'],
  60. '@deepseek-ai/dsh-desktop-host': [
  61. 'lib/index.js',
  62. 'config/desktop.cordis.patch.yml',
  63. ],
  64. // Sourcemaps stay out by payload policy; the worker-preview surface
  65. // (dist/preview.html and dist/preview/) backs private experimental
  66. // packages and is not published.
  67. '@deepseek-ai/dsh-web-frontend': ['dist', '!dist/**/*.map', '!dist/preview.html', '!dist/preview'],
  68. }
  69. /** The subset of package.json fields this constraint check cares about. */
  70. export interface PackageManifest {
  71. name?: string
  72. version?: string
  73. private?: boolean
  74. type?: string
  75. main?: string
  76. types?: string
  77. bin?: string | Record<string, string>
  78. exports?: Record<
  79. string,
  80. | string
  81. | {
  82. types?: string
  83. default?: string
  84. }
  85. | null
  86. | undefined
  87. >
  88. files?: string[]
  89. publishConfig?: { access?: string }
  90. repository?: { type?: string; url?: string; directory?: string }
  91. peerDependencies?: Record<string, string>
  92. devDependencies?: Record<string, string>
  93. dependencies?: Record<string, string>
  94. optionalDependencies?: Record<string, string>
  95. dsh?: {
  96. bundle?: {
  97. patch?: string
  98. }
  99. }
  100. }
  101. /** One workspace manifest and its repo-relative path. */
  102. export interface WorkspaceManifest {
  103. dir: string
  104. manifest: PackageManifest
  105. }
  106. function readJson(path: string): PackageManifest {
  107. return JSON.parse(readFileSync(path, 'utf8')) as PackageManifest
  108. }
  109. const rootManifest = readJson(join(root, 'package.json'))
  110. const repositoryVersion = rootManifest.version
  111. const landlockWorkspaceManifest = readJson(join(root, 'native/landlock-run/package.json'))
  112. const landlockVersion = landlockWorkspaceManifest.version
  113. /** Repo-relative dirs holding a package.json, walked to the configured depth. */
  114. function packageDirs(base: string, depth: number): string[] {
  115. if (depth === 1) {
  116. return readdirSync(join(root, base), { withFileTypes: true })
  117. .filter(entry => entry.isDirectory())
  118. .filter(entry => !localArtifactDirs.has(entry.name))
  119. .filter(entry => existsSync(join(root, base, entry.name, 'package.json')))
  120. .map(entry => `${base}/${entry.name}`)
  121. }
  122. return readdirSync(join(root, base), { withFileTypes: true })
  123. .filter(entry => entry.isDirectory())
  124. .filter(entry => !localArtifactDirs.has(entry.name))
  125. .flatMap(group => packageDirs(`${base}/${group.name}`, depth - 1))
  126. }
  127. function workspaceManifests(): WorkspaceManifest[] {
  128. const manifests: WorkspaceManifest[] = [
  129. { dir: '.', manifest: rootManifest },
  130. ]
  131. for (const { dir: base, depth } of workspaceGlobs) {
  132. for (const dir of packageDirs(base, depth)) {
  133. manifests.push({ dir, manifest: readJson(join(root, dir, 'package.json')) })
  134. }
  135. }
  136. return manifests
  137. }
  138. const packageFileExtras: Readonly<Record<string, readonly string[]>> = {
  139. // Statically linked client libraries keep their stylesheets next to the emitted
  140. // JavaScript, which imports them by relative path: the compile shell runs
  141. // them through its own CSS pipeline, so the sheets are published artifacts.
  142. // The glob covers whichever sheets a package emits; sourcemaps stay
  143. // unpublished, as everywhere else in the repository.
  144. '@deepseek-ai/dsh-client-ui-primitives': ['lib/**/*.css'],
  145. '@deepseek-ai/dsh-client-web': ['lib/**/*.css'],
  146. '@deepseek-ai/dsh-client-ui-theme': ['lib/styles'],
  147. // The CPython side ships as source .py files, published as-is rather than built.
  148. '@deepseek-ai/dsh-experimental-code-runtime-python': ['py/**/*.py'],
  149. // The shipped preset compositions travel inside the roster package.
  150. '@deepseek-ai/dsh-agent-presets': ['presets'],
  151. // The Web Host mounts the default-off settings owner independently of each
  152. // Agent-scoped delegation-tool instance.
  153. '@deepseek-ai/dsh-tool-subagent': ['lib/model-selection-settings.js'],
  154. // The JSONL backend resolves its private verification Worker relative to
  155. // import.meta.url; it is shipped without a public package subpath.
  156. '@deepseek-ai/dsh-session-persistence-jsonl': ['lib/worker.cjs'],
  157. // The argv-prefix runner entry ships beside the lib as its own bundle;
  158. // sandbox-local resolves it through the package's ./runner export. tsdown
  159. // also shares its generated FFI code through a hashed runtime chunk.
  160. '@deepseek-ai/dsh-sandbox-windows-acl': ['lib/runner.js', 'lib/types-*.js'],
  161. '@deepseek-ai/dsh-skill-badge': ['assets'],
  162. // Ordinary native containment ships a path-loaded runner and its shared
  163. // runner chunk beside the existing node-pty permission repair.
  164. '@deepseek-ai/dsh-subprocess-local': [
  165. 'lib/runner.js',
  166. 'lib/runner-*.js',
  167. 'scripts/ensure-spawn-helper.mjs',
  168. ],
  169. // tsdown shares the repository/pack code between the lib entry and the bin
  170. // through a hashed chunk. The committed bin.js is the link target pnpm can
  171. // resolve at install time, before the build produces lib/bin.js.
  172. '@deepseek-ai/dsh-experimental-webworker-packer': ['bin.js', 'lib/repository-*.js'],
  173. }
  174. function sameStringList(actual: readonly string[] | undefined, expected: readonly string[]): boolean {
  175. return !!actual && actual.length === expected.length && actual.every((value, index) => value === expected[index])
  176. }
  177. export function expectedDshPackageFiles(manifest: PackageManifest): readonly string[] {
  178. const declaredPatch = manifest.dsh?.bundle?.patch
  179. const bundleFiles = declaredPatch === undefined ? [] : [declaredPatch.replace(/^\.\//, '')]
  180. const extras = [
  181. ...bundleFiles,
  182. ...(manifest.name ? packageFileExtras[manifest.name] ?? [] : []),
  183. ]
  184. return [
  185. 'lib/index.js',
  186. // Packages with an invariant export publish its runtime as a separate
  187. // bundle; the package-invariant gate validates the source/export pairing.
  188. ...manifest.exports?.['./invariant'] ? ['lib/invariant.js'] : [],
  189. ...manifest.bin ? ['lib/bin.js'] : [],
  190. // Worker-thread packages ship a CJS worker entry; the browser worker
  191. // bundle is an ES module a page loads with `new Worker(type: 'module')`.
  192. // Keyed on the artifact path, like ./client below.
  193. ...exportDefault(manifest, './worker') === './lib/worker.cjs' ? ['lib/worker.cjs'] : [],
  194. ...exportDefault(manifest, './worker') === './lib/worker.js' ? ['lib/worker.js'] : [],
  195. // UI plugin packages ship their browser bundle beside the node lib
  196. // (single-artifact ruling: dist/ retired, ./client resolves lib/client.js).
  197. // Keyed on the artifact path, not the subpath name: a package's ./client is
  198. // a browser-safe source channel, not a bundle.
  199. ...exportDefault(manifest, './client') === './lib/client.js' ? ['lib/client.js'] : [],
  200. // runtime's shell-held loader subpath ships as its own bundle beside the client half.
  201. ...exportDefault(manifest, './loader') === './lib/loader.js' ? ['lib/loader.js'] : [],
  202. // A store subpath ships its own bundle (single-entry builds; no shared chunk).
  203. ...exportDefault(manifest, './store') === './lib/store/index.js' ? ['lib/store/index.js'] : [],
  204. // A surface bundle's startup row is its own bundle: the Loader imports it
  205. // as a row module, so it cannot ride inside the package entry.
  206. ...exportDefault(manifest, './startup') === './lib/startup.js' ? ['lib/startup.js'] : [],
  207. ...extras,
  208. // Subpaths whose runtime default is the tsc-emitted tree (lib/types/*.js —
  209. // browser-safe source channels rehomed off src so plain Node can import
  210. // them without type stripping) publish the emitted JS alongside the
  211. // declarations.
  212. ...usesEmittedTreeDefaults(manifest) ? ['lib/types/**/*.js'] : [],
  213. 'lib/types/**/*.d.ts',
  214. ...hasExportPair(manifest, './typert', './lib/typert.host.d.ts', './lib/typert.host.js')
  215. ? ['lib/typert.host.js', 'lib/typert.host.d.ts']
  216. : [],
  217. ...hasExportPair(manifest, './client/typert', './lib/typert.client.d.ts', './lib/typert.client.js')
  218. ? ['lib/typert.client.js', 'lib/typert.client.d.ts']
  219. : [],
  220. ...hasTypertRemoteNavigation(manifest)
  221. ? ['lib/typert.remote-client.js', 'lib/typert.remote-client.d.ts']
  222. : [],
  223. ]
  224. }
  225. /** Whether one conditional export exactly names the generated runtime and declaration pair. */
  226. function hasExportPair(
  227. manifest: PackageManifest,
  228. subpath: string,
  229. types: string,
  230. runtime: string,
  231. ): boolean {
  232. const entry = manifest.exports?.[subpath]
  233. return typeof entry === 'object'
  234. && entry !== null
  235. && entry.types === types
  236. && entry.default === runtime
  237. }
  238. /** Runtime target of an export entry: conditional `default`, or the bare-string shorthand. */
  239. function exportDefault(manifest: PackageManifest, subpath: string): string | undefined {
  240. const entry = manifest.exports?.[subpath]
  241. if (typeof entry === 'string') return entry
  242. if (typeof entry === 'object' && entry !== null) return entry.default
  243. return undefined
  244. }
  245. /** Whether any export's runtime default points into the tsc-emitted lib/types tree. */
  246. function usesEmittedTreeDefaults(manifest: PackageManifest): boolean {
  247. return Object.keys(manifest.exports ?? {}).some(subpath =>
  248. exportDefault(manifest, subpath)?.startsWith('./lib/types/') === true)
  249. }
  250. /** Experimental manifest requirements enforced independently from release metadata. */
  251. export function checkExperimentalManifest({ dir, manifest }: WorkspaceManifest): string[] {
  252. if (!experimentalPackageDirectory.test(dir)) return []
  253. const label = manifest.name ?? dir
  254. const errors: string[] = []
  255. if (manifest.name?.startsWith(experimentalPackageNamePrefix) !== true) {
  256. errors.push(`${label}: experimental package name must start with ${JSON.stringify(experimentalPackageNamePrefix)}`)
  257. }
  258. if (manifest.private !== true) errors.push(`${label}: experimental package must set "private": true`)
  259. if (manifest.publishConfig !== undefined) errors.push(`${label}: experimental package must omit publishConfig`)
  260. return errors
  261. }
  262. /**
  263. * Require a dsh-family manifest to carry the workspace version.
  264. *
  265. * The dsh release sequence publishes packages/ and apps/ members and every
  266. * private dsh package on one shared version, written by `release:dsh` and
  267. * shared with the workspace root. This name test is that boundary: it covers
  268. * the family wherever the manifest lives, so apps/ members cannot drift with
  269. * only the release lane noticing.
  270. * @param manifest - the workspace package manifest.
  271. * @param expected - the version every dsh-family manifest must carry (the root's).
  272. * @returns one violation naming the manifest and the expected version, or
  273. * undefined when the manifest is compliant or not in the family.
  274. */
  275. export function checkDshFamilyVersion(manifest: PackageManifest, expected: string | undefined): string | undefined {
  276. const name = manifest.name
  277. if (name !== '@deepseek-ai/dsh' && name?.startsWith('@deepseek-ai/dsh-') !== true) return undefined
  278. if (manifest.version !== expected) {
  279. return `${name}: package.json version must match root version ${expected ?? '(missing)'}`
  280. }
  281. return undefined
  282. }
  283. /**
  284. * Check one workspace manifest against publication and dsh-package policy.
  285. * @param workspace - package directory and parsed manifest.
  286. * @returns path-qualified policy violations.
  287. */
  288. export function checkWorkspaceManifest({ dir, manifest }: WorkspaceManifest): string[] {
  289. const errors = checkExperimentalManifest({ dir, manifest })
  290. const label = manifest.name ?? dir
  291. const familyVersionError = checkDshFamilyVersion(manifest, repositoryVersion)
  292. if (familyVersionError !== undefined) errors.push(familyVersionError)
  293. const isLandlockPackageDir = dir.startsWith('native/landlock-run/packages/')
  294. const isPublicLandlockPackage = isLandlockPackageDir
  295. && manifest.name !== undefined
  296. && publicLandlockPackages.has(manifest.name)
  297. if (isPublicLandlockPackage) {
  298. if (manifest.private === true) {
  299. errors.push(`${label}: published Landlock package must not set "private": true`)
  300. }
  301. if (manifest.publishConfig?.access !== 'public') {
  302. errors.push(`${label}: published Landlock package must set publishConfig.access to "public"`)
  303. }
  304. const expectedDirectory = dir
  305. if (manifest.repository?.type !== 'git'
  306. || manifest.repository.url !== repositoryUrl
  307. || manifest.repository.directory !== expectedDirectory) {
  308. errors.push(`${label}: published Landlock package repository must use ${repositoryUrl} with directory ${expectedDirectory} for trusted publishing`)
  309. }
  310. } else if (releaseMemberDirectory.test(dir)) {
  311. // Release members state that they are publishable: npm refuses a private
  312. // package, and the repository field is how a consumer finds the source of
  313. // the package it installed.
  314. //
  315. // Access is per release sequence, not per scope: the vendored framework and
  316. // the Landlock packages publish publicly because outside consumers install
  317. // them, and the dsh family published publicly with its own sequence on
  318. // 2026-08-13. No publish path passes `--access`; each packed manifest declares
  319. // it, and this gate requires every release member to be public.
  320. if (manifest.private === true) {
  321. errors.push(`${label}: release member must not set "private": true`)
  322. }
  323. if (manifest.publishConfig?.access !== 'public') {
  324. errors.push(`${label}: release member must set publishConfig.access to "public"`)
  325. }
  326. if (manifest.repository?.type !== 'git'
  327. || manifest.repository.url !== publishedRepositoryUrl
  328. || manifest.repository.directory !== dir) {
  329. errors.push(`${label}: release member repository must use ${publishedRepositoryUrl} with directory ${dir}`)
  330. }
  331. } else if (!experimentalPackageDirectory.test(dir) && manifest.private !== true) {
  332. errors.push(`${label}: package.json must set "private": true`)
  333. }
  334. if (manifest.name && vendoredPackages.has(manifest.name)) {
  335. return errors
  336. }
  337. if (manifest.name?.startsWith('@deepseek-ai/')) {
  338. const allowedSources = publicationSourceAllowlist[manifest.name] ?? []
  339. for (const file of manifest.files ?? []) {
  340. if (isForbiddenPublicationFile(file) && !allowedSources.includes(file)) {
  341. errors.push(`${label}: package.json files must not publish ${JSON.stringify(file)}`)
  342. }
  343. }
  344. }
  345. if (dir.startsWith('apps/') && dir !== desktopApplicationDirectory && manifest.name?.startsWith('@deepseek-ai/')) {
  346. const expectedFiles = appPackageFiles[manifest.name]
  347. if (expectedFiles === undefined) {
  348. errors.push(`${label}: app package has no publication files policy`)
  349. } else if (!sameStringList(manifest.files, expectedFiles)) {
  350. errors.push(`${label}: package.json files must be ${JSON.stringify(expectedFiles)}`)
  351. }
  352. }
  353. if (isLandlockPackageDir) {
  354. if (!isPublicLandlockPackage) {
  355. errors.push(`${label}: unexpected package in the public Landlock package family`)
  356. }
  357. if (manifest.version !== landlockVersion) {
  358. errors.push(`${label}: package.json version must match Landlock workspace version ${landlockVersion ?? '(missing)'}`)
  359. }
  360. }
  361. if (dir.startsWith('packages/') && manifest.name?.startsWith('@deepseek-ai/dsh-')) {
  362. const peer = manifest.peerDependencies?.['@deepseek-ai/cordis']
  363. const dev = manifest.devDependencies?.['@deepseek-ai/cordis']
  364. if (!peer) errors.push(`${label}: @deepseek-ai/cordis must be a peerDependency`)
  365. if (!dev) errors.push(`${label}: @deepseek-ai/cordis must also be a devDependency`)
  366. if (peer && dev && peer !== dev) {
  367. errors.push(`${label}: @deepseek-ai/cordis peer (${peer}) and dev (${dev}) ranges must match`)
  368. }
  369. if (manifest.type !== 'module') {
  370. errors.push(`${label}: package.json must set "type": "module"`)
  371. }
  372. if (manifest.main !== 'lib/index.js') {
  373. errors.push(`${label}: package.json must set "main": "lib/index.js"`)
  374. }
  375. if (manifest.types !== 'lib/types/index.d.ts') {
  376. errors.push(`${label}: package.json must set "types": "lib/types/index.d.ts"`)
  377. }
  378. const rootExport = manifest.exports?.['.']
  379. const rootEntry = typeof rootExport === 'object' && rootExport !== null ? rootExport : undefined
  380. if (rootEntry?.types !== './lib/types/index.d.ts') {
  381. errors.push(`${label}: package.json exports["."].types must be "./lib/types/index.d.ts"`)
  382. }
  383. if (rootEntry?.default !== './lib/index.js') {
  384. errors.push(`${label}: package.json exports["."].default must be "./lib/index.js"`)
  385. }
  386. const invariantRaw = manifest.exports?.['./invariant']
  387. const invariantExport = typeof invariantRaw === 'object' && invariantRaw !== null ? invariantRaw : undefined
  388. if (invariantExport?.types !== undefined && invariantExport.types !== './lib/types/invariant.d.ts') {
  389. errors.push(`${label}: package.json exports["./invariant"].types must be "./lib/types/invariant.d.ts"`)
  390. }
  391. if (invariantExport?.default !== undefined && invariantExport.default !== './lib/invariant.js') {
  392. errors.push(`${label}: package.json exports["./invariant"].default must be "./lib/invariant.js"`)
  393. }
  394. if (invariantExport && (invariantExport.types === undefined || invariantExport.default === undefined)) {
  395. errors.push(`${label}: package.json exports["./invariant"] must declare both types and default targets`)
  396. }
  397. const expectedFiles = expectedDshPackageFiles(manifest)
  398. if (!sameStringList(manifest.files, expectedFiles)) {
  399. errors.push(`${label}: package.json files must be ${JSON.stringify(expectedFiles)}`)
  400. }
  401. }
  402. return errors.map(error => `${relative(root, join(root, dir, 'package.json'))}: ${error}`)
  403. }
  404. /**
  405. * Enforce `packages/<group>/<pkg>`: groups are open-named containers without a
  406. * package.json, and packages may be neither flat nor more deeply nested.
  407. */
  408. function checkHierarchyShape(): string[] {
  409. const errors: string[] = []
  410. const packagesRoot = join(root, 'packages')
  411. for (const group of readdirSync(packagesRoot, { withFileTypes: true })) {
  412. if (!group.isDirectory()) continue
  413. const groupRel = join('packages', group.name)
  414. if (existsSync(join(packagesRoot, group.name, 'package.json'))) {
  415. errors.push(`${groupRel}: a group dir must not contain a package.json — packages live at packages/<group>/<pkg>, not directly under packages/`)
  416. continue
  417. }
  418. for (const pkg of readdirSync(join(packagesRoot, group.name), { withFileTypes: true })) {
  419. if (!pkg.isDirectory()) continue
  420. if (localArtifactDirs.has(pkg.name)) continue
  421. const pkgRel = join(groupRel, pkg.name)
  422. if (!existsSync(join(packagesRoot, group.name, pkg.name, 'package.json'))) {
  423. errors.push(`${pkgRel}: expected a package here (no package.json found) — the hierarchy is exactly packages/<group>/<pkg>, no deeper nesting`)
  424. }
  425. }
  426. }
  427. return errors
  428. }
  429. function checkRepositoryVersion(): string[] {
  430. // The root carries the dsh release family's version, so a prerelease such as
  431. // 0.0.1-rc.1 is a valid state between `release:dsh` and its publication.
  432. if (repositoryVersion && /^\d+\.\d+\.\d+(?:-[0-9A-Za-z.-]+)?$/.test(repositoryVersion)) return []
  433. return ['package.json: version must be X.Y.Z with an optional prerelease segment']
  434. }
  435. /** Dependency sections whose ranges reach a published tarball or a local install. */
  436. const dependencySections = ['dependencies', 'devDependencies', 'peerDependencies', 'optionalDependencies'] as const
  437. /** Dependency sections present in an installed runtime. */
  438. const runtimeDependencySections = ['dependencies', 'optionalDependencies', 'peerDependencies'] as const
  439. /**
  440. * Prevent an official runtime from requiring a package its release omits.
  441. * @param manifests - release, private experimental, and deployment-root manifests.
  442. * @returns One error for each forbidden runtime dependency.
  443. */
  444. export function checkExperimentalDependencyIsolation(manifests: readonly WorkspaceManifest[]): string[] {
  445. const experimentalNames = new Set(manifests
  446. .filter(entry => experimentalPackageDirectory.test(entry.dir))
  447. .map(entry => entry.manifest.name)
  448. .filter(name => name !== undefined))
  449. const errors: string[] = []
  450. for (const { dir, manifest } of manifests) {
  451. if (!releaseMemberDirectory.test(dir) && dir !== 'python/sdk-runtime') continue
  452. for (const section of runtimeDependencySections) {
  453. for (const name of Object.keys(manifest[section] ?? {})) {
  454. if (!experimentalNames.has(name)) continue
  455. errors.push(`${manifest.name ?? dir}: ${section}.${name} must not reference an experimental package`)
  456. }
  457. }
  458. }
  459. return errors
  460. }
  461. /**
  462. * Require the `workspace:` protocol for every reference to a workspace member.
  463. *
  464. * A hand-written range says nothing about the version the workspace actually
  465. * carries, and `pnpm pack` leaves it alone: `^0.0.1` published from version
  466. * `0.0.2` names a version that does not exist. The protocol makes pack
  467. * substitute the member's real version, so no release step rewrites ranges.
  468. * @param manifests - every workspace manifest.
  469. * @returns One error per reference that names a workspace member without the protocol.
  470. */
  471. function checkWorkspaceProtocol(manifests: readonly WorkspaceManifest[]): string[] {
  472. const members = new Set(manifests.map(entry => entry.manifest.name).filter(name => name !== undefined))
  473. const errors: string[] = []
  474. for (const { dir, manifest } of manifests) {
  475. for (const section of dependencySections) {
  476. for (const [name, range] of Object.entries(manifest[section] ?? {})) {
  477. if (!members.has(name) || range.startsWith('workspace:')) continue
  478. errors.push(`${manifest.name ?? dir}: ${section}.${name} must use the workspace: protocol, got ${range}`)
  479. }
  480. }
  481. }
  482. return errors
  483. }
  484. /** Run the repository constraint gate. */
  485. export function main(): void {
  486. const manifests = workspaceManifests()
  487. const dependencyManifests = [
  488. ...manifests,
  489. { dir: 'python/sdk-runtime', manifest: readJson(join(root, 'python/sdk-runtime/package.json')) },
  490. ]
  491. const errors = [
  492. ...checkRepositoryVersion(),
  493. ...manifests.flatMap(checkWorkspaceManifest),
  494. ...checkWorkspaceProtocol(manifests),
  495. ...checkExperimentalDependencyIsolation(dependencyManifests),
  496. ...checkHierarchyShape(),
  497. ...collectProjectReferenceFaceViolations(root),
  498. ]
  499. if (errors.length > 0) {
  500. console.error(errors.join('\n'))
  501. process.exitCode = 1
  502. }
  503. }
  504. if (process.argv[1] !== undefined && import.meta.url === pathToFileURL(resolve(process.argv[1])).href) main()