Files
renovate/lib/modules/manager/npm/artifacts.ts
Sebastian Poxhofer 4b4d14ec00 feat(manager): pass extracted constraints to updateArtifacts (#45826)
* feat(manager): pass extracted constraints to updateArtifacts

`extractedConstraints` were collected during extraction but only ever read
by `fetch.ts` for the lookup. At artifact time every manager had to derive
the same tool constraints a second time, and when the updated package file
no longer carried the constraint there was nothing to fall back to.

`generateBranchConfig()` now merges the `extractedConstraints` of all
upgrades of a branch onto the branch config, which reaches `updateArtifacts()`
through `patchConfigForArtifactsUpdate()`. `UpdateArtifactsConfig` declares
the field and documents what it contains.

The new `resolveToolConstraint()` helper implements the ladder once:
user `constraints` > an optional artifact-time derivation > the extracted
value. The derivation is ranked above the extracted value on purpose: it
reads the package files as the branch changed them, so poetry (python is an
updatable dependency there), composer, pipenv (`pipenv` can be a dev
package) and pep621 (`requires-python` is an updatable dependency) would
otherwise regress to a stale constraint. pipenv, pep621 uv/pdm, poetry and
composer are migrated to the helper and keep their derivation.

Behaviour change: these managers now use the extract-time constraint as a
last resort instead of running unconstrained, for example on lock file
maintenance where pipenv deletes `Pipfile.lock` before deriving.

`execute-post-upgrade-commands.ts` is unaffected: it reads
`upgrade.constraints` per upgrade, and the extracted values are kept in a
separate field rather than folded into `constraints`, so post-upgrade task
tool constraints still come from user config only.

Not migrated, because their constraints are never extracted, so the
fallback would be dead code: bundler (`ruby`/`bundler`), pixi (`pixi`),
pep621 uv (`required-version`) and npm's node ladder, whose last step
already reads `package.json` engines.

* refactor(manager): resolve tool constraints through resolveToolConstraint()

Every manager now obtains the constraint of a tool it runs through
`resolveToolConstraint()` instead of reading `config.constraints` itself, so
the precedence "user config, then a value derived from the updated files, then
the constraints collected during extraction" applies everywhere. The helper
treats an empty string as not set at every step and accepts the
`PostUpdateConfig` shape, whose `constraints` may be `null`.

Behaviour changes that go beyond the new fallback to extracted constraints:

- `mix` applies its hardcoded erlang default only after the extracted
  constraint, so an erlang version collected at extraction can win over it.
- `kustomize` decides `HELM_EXPERIMENTAL_OCI` from the fully resolved helm
  constraint; `generateHelmEnvs()` takes that value instead of the config.
- `npm` (yarn): an upgrade of yarn without a new value now consults the user
  constraint before deriving one from package.json or the lock file.
- The "Using <tool> constraint from config" debug lines in bundler, composer,
  copier and pip-compile are gone, as the helper is the only reader of the
  config now.

Helpers that read the config synchronously became async: bundler
`getBundlerConstraint()`, copier `getPythonVersionConstraint()` and
`getCopierVersionConstraint()`, pip-compile `get*VersionConstraint()` and
`getToolVersionConstraint()`, gomod `deriveGoToolchainConstraints()` and
`getUpdateImportPathCmds()`, mise `getMiseLockToolConstraints()`. composer
`getPhpConstraint()` is removed.

Each converted manager has a test showing the extracted constraint reaching
the executed tool, and, where a derive callback exists, that the derived value
still wins over it.

* refactor(linters): add prefer-resolve-tool-constraint rule

Reports member reads and destructuring of `constraints` and
`extractedConstraints` from a manager config in `lib/modules/manager/**`, so
that tool constraints are resolved through `resolveToolConstraint()` in
`lib/modules/manager/util.ts` only. Writes and the same properties on package
files, which extraction has to populate, are not reported. The helper itself
and spec files are exempt in `.oxlintrc.json`.

* refactor(manager): inline thin resolveToolConstraint wrappers

Drop copier/utils.ts and the pip-compile getPipToolsVersionConstraint /
getUvVersionConstraint helpers, which only forwarded to
resolveToolConstraint(). Callers now call it directly.

* docs(development): note lock file maintenance in tool constraints section

* refactor(manager): address review on tool constraint resolution

composer only runs extractConstraints() when a user constraint is missing,
via Lazy. UpdateArtifactsConfig no longer re-declares constraints and
extractedConstraints, which ToolConstraintsConfig already provides.
2026-09-14 11:09:07 +00:00

394 lines
12 KiB
TypeScript

import { isEmptyArray, isNonEmptyObject, isString } from '@sindresorhus/is';
import { quote } from 'shlex';
import upath from 'upath';
import type { Scalar, YAMLSeq } from 'yaml';
import { isScalar, isSeq, parseDocument } from 'yaml';
import { logger } from '../../../logger/index.ts';
import { exec } from '../../../util/exec/index.ts';
import type { ExecOptions } from '../../../util/exec/types.ts';
import {
ensureCacheDir,
localPathExists,
readLocalFile,
writeLocalFile,
} from '../../../util/fs/index.ts';
import { coerceObject } from '../../../util/object.ts';
import { regEx } from '../../../util/regex.ts';
import { matchRegexOrGlob } from '../../../util/string-match.ts';
import type { UpdateArtifact, UpdateArtifactsResult } from '../types.ts';
import { resolveToolConstraint } from '../util.ts';
import { PNPM_CACHE_DIR, PNPM_STORE_DIR } from './constants.ts';
import { getNodeToolConstraint } from './post-update/node-version.ts';
import { processHostRules } from './post-update/rules.ts';
import { lazyLoadPackageJson } from './post-update/utils.ts';
import {
getNpmrcContent,
resetNpmrcContent,
updateNpmrcContent,
} from './utils.ts';
// eg. 8.15.5+sha256.4b4efa12490e5055d59b9b9fc9438b7d581a6b7af3b5675eb5c5f447cee1a589
const versionWithHashRegString = '^(?<version>.*)\\+(?<hash>.*)';
// Execute 'corepack use' command for npm manager updates
// This step is necessary because Corepack recommends attaching a hash after the version
// The hash is generated only after running 'corepack use' and cannot be fetched from the npm registry
export async function updateArtifacts(
updateArtifactsConfig: UpdateArtifact,
): Promise<UpdateArtifactsResult[] | null> {
logger.debug(`npm.updateArtifacts(${updateArtifactsConfig.packageFileName})`);
let res: UpdateArtifactsResult[] = [];
res.push(
coerceObject(await handlePackageManagerUpdates(updateArtifactsConfig)),
);
res.push(coerceObject(await updatePnpmWorkspace(updateArtifactsConfig)));
res = res.filter(isNonEmptyObject);
if (res.length === 0) {
return null;
}
return res;
}
async function handlePackageManagerUpdates(
updateArtifactsConfig: UpdateArtifact,
): Promise<UpdateArtifactsResult | null> {
const {
packageFileName,
config,
updatedDeps,
newPackageFileContent: existingPackageFileContent,
} = updateArtifactsConfig;
const packageManagerUpdate = updatedDeps.find(
(dep) => dep.depType === 'packageManager',
);
if (!packageManagerUpdate) {
logger.debug('No packageManager updates - returning null');
return null;
}
const { currentValue, depName, newVersion } = packageManagerUpdate;
// Execute 'corepack use' command only if the currentValue already has hash in it
if (!currentValue || !regEx(versionWithHashRegString).test(currentValue)) {
return null;
}
// write old updates before executing corepack update so that they are not removed from package file
await writeLocalFile(packageFileName, existingPackageFileContent);
// Asumming that corepack only needs to modify the package.json file in the root folder
// As it should not be regular practice to have different package managers in different workspaces
const pkgFileDir = upath.dirname(packageFileName);
const { additionalNpmrcContent } = processHostRules();
const npmrcContent = await getNpmrcContent(pkgFileDir);
const lazyPkgJson = lazyLoadPackageJson(pkgFileDir);
const cmd = `corepack use ${quote(`${depName}@${newVersion}`)}`;
const nodeConstraints = await getNodeToolConstraint(
config,
updatedDeps,
pkgFileDir,
lazyPkgJson,
);
const pnpmConfigCacheDir = await ensureCacheDir(PNPM_CACHE_DIR);
const pnpmConfigStoreDir = await ensureCacheDir(PNPM_STORE_DIR);
const execOptions: ExecOptions = {
cwdFile: packageFileName,
extraEnv: {
// To make sure pnpm store location is consistent between "corepack use"
// here and the pnpm commands in ./post-update/pnpm.ts. Check
// ./post-update/pnpm.ts for more details.
npm_config_cache_dir: pnpmConfigCacheDir,
npm_config_store_dir: pnpmConfigStoreDir,
pnpm_config_cache_dir: pnpmConfigCacheDir,
pnpm_config_store_dir: pnpmConfigStoreDir,
},
toolConstraints: [
nodeConstraints,
{
toolName: 'corepack',
constraint: await resolveToolConstraint(config, 'corepack'),
},
],
docker: {},
};
await updateNpmrcContent(pkgFileDir, npmrcContent, additionalNpmrcContent);
try {
await exec(cmd, execOptions);
await resetNpmrcContent(pkgFileDir, npmrcContent);
const newPackageFileContent = await readLocalFile(packageFileName, 'utf8');
if (
!newPackageFileContent ||
existingPackageFileContent === newPackageFileContent
) {
return null;
}
logger.debug('Returning updated package.json');
return {
file: {
type: 'addition',
path: packageFileName,
contents: newPackageFileContent,
},
};
} catch (err) {
logger.warn({ err }, 'Error updating package.json');
await resetNpmrcContent(pkgFileDir, npmrcContent);
return {
artifactError: {
fileName: packageFileName,
stderr: err.message,
},
};
}
}
/**
* Update the minimumReleaseAgeExclude setting in pnpm-workspace.yaml if needed
*/
async function updatePnpmWorkspace(
updateArtifactsConfig: UpdateArtifact,
): Promise<UpdateArtifactsResult | null> {
const upgrades = updateArtifactsConfig.updatedDeps.filter(
(u) => u.isVulnerabilityAlert,
);
// return early if no security updates are present
if (isEmptyArray(upgrades)) {
return null;
}
const pnpmLockFile = upgrades[0].managerData?.pnpmLockFile;
if (!isString(pnpmLockFile)) {
logger.debug(
'No pnpm shrinkwrap found, not attempting to update pnpm-workspace.yaml',
);
return null;
}
const lockFileDir = upath.dirname(pnpmLockFile);
const pnpmWorkspaceFilePath = upath.join(lockFileDir, 'pnpm-workspace.yaml');
if (!(await localPathExists(pnpmWorkspaceFilePath))) {
return null;
}
// use already-updated content when updating the workspace file itself
const packageFileContent =
updateArtifactsConfig.packageFileName === pnpmWorkspaceFilePath
? updateArtifactsConfig.newPackageFileContent
: (await readLocalFile(pnpmWorkspaceFilePath, 'utf8'))!;
const doc = parseDocument(packageFileContent);
if (!doc.get('minimumReleaseAge')) {
return null;
}
let updated = false;
for (const upgrade of upgrades) {
let excludeNode = doc.getIn(['minimumReleaseAgeExclude']) as YAMLSeq | null;
// v8 ignore next -- TODO: add test #40625
const newVersion = upgrade.newVersion ?? upgrade.newValue;
// For pnpm overrides with range selectors (e.g. "pkg@<=1.0.0"), depName contains
// the full key including the selector. Use packageName (bare package name) for
// minimumReleaseAgeExclude entries which require exact versions only.
const excludeDepName = upgrade.packageName ?? upgrade.depName;
/* v8 ignore if -- should not happen, adding for type narrowing*/
if (excludeNode && !isSeq(excludeNode)) {
return null;
}
if (!excludeNode) {
logger.debug('Adding new exclude block');
excludeNode = doc.createNode([]);
const newItem = doc.createNode(`${excludeDepName}@${newVersion}`);
newItem.commentBefore = ` Renovate security update: ${excludeDepName}@${newVersion}`;
excludeNode.items.push(newItem);
doc.set('minimumReleaseAgeExclude', excludeNode);
updated = true;
continue;
}
const {
item: matchedItem,
allExcluded,
malformed,
} = getMatchedItem(excludeDepName!, excludeNode.items);
if (allExcluded) {
// still clean up any malformed entries even when a wildcard covers the package
} else if (malformed && isScalar<string>(matchedItem)) {
logger.debug(
{ entry: matchedItem.value, excludeDepName, newVersion },
'Replacing malformed minimumReleaseAgeExclude entry',
);
matchedItem.value = `${excludeDepName}@${newVersion}`;
matchedItem.commentBefore = ` Renovate security update: ${excludeDepName}@${newVersion}`;
updated = true;
} else if (isScalar<string>(matchedItem)) {
// if we have a comment before the list, which includes the dependency
if (excludeNode?.commentBefore?.includes(`${excludeDepName}@`)) {
// and it doesn't already have the version included in it
if (
!minimumReleaseAgeExcludeIncludesDepNameAndVersion(
excludeNode.commentBefore,
excludeDepName,
newVersion,
)
) {
// then append it
// normalize value (no quote handling needed)
excludeNode.commentBefore = `${excludeNode.commentBefore} || ${newVersion}`;
updated = true;
}
}
// otherwise, if it's in our matched item's comment
else if (matchedItem.commentBefore) {
// add it
if (
!minimumReleaseAgeExcludeIncludesDepNameAndVersion(
matchedItem.commentBefore,
excludeDepName,
newVersion,
)
) {
// normalize value (no quote handling needed)
matchedItem.commentBefore = `${matchedItem.commentBefore} || ${newVersion}`;
updated = true;
}
} else {
matchedItem.commentBefore = ` Renovate security update: ${excludeDepName}@${newVersion}`;
updated = true;
}
if (
!minimumReleaseAgeExcludeIncludesDepNameAndVersion(
matchedItem.value,
excludeDepName,
newVersion,
)
) {
matchedItem.value = `${matchedItem.value} || ${newVersion}`;
updated = true;
}
} else {
// add new entry
const newItem = doc.createNode(`${excludeDepName}@${newVersion}`);
newItem.commentBefore = ` Renovate security update: ${excludeDepName}@${newVersion}`;
excludeNode.items.push(newItem);
updated = true;
}
// Remove any malformed entries for the same package left over from the prior bug
for (let i = excludeNode.items.length - 1; i >= 0; i--) {
const item = excludeNode.items[i];
if (
item !== matchedItem &&
isScalar(item) &&
isString(item.value) &&
item.value.startsWith(`${excludeDepName}@`) &&
!isValidMinimumReleaseAgeExcludeEntry(item.value, excludeDepName!)
) {
excludeNode.items.splice(i, 1);
updated = true;
}
}
}
if (!updated) {
return null;
}
const newContent = doc.toString();
await writeLocalFile(pnpmWorkspaceFilePath, newContent);
return {
file: {
type: 'addition',
path: pnpmWorkspaceFilePath,
contents: newContent,
},
};
}
function getMatchedItem(
depName: string,
items: unknown[],
): {
item: Scalar | null;
allExcluded: boolean;
malformed?: boolean;
} {
let malformedItem: Scalar | null = null;
for (const item of items) {
/* v8 ignore if -- should not happen */
if (!isScalar(item) || !isString(item.value)) {
continue;
}
if (item.value.startsWith(`${depName}@`)) {
if (isValidMinimumReleaseAgeExcludeEntry(item.value, depName)) {
return {
allExcluded: false,
item,
};
}
malformedItem ??= item;
continue;
}
if (item.value === depName || matchRegexOrGlob(depName, item.value)) {
return {
allExcluded: true,
item,
};
}
}
if (malformedItem) {
return {
allExcluded: false,
item: malformedItem,
malformed: true,
};
}
return {
item: null,
allExcluded: false,
};
}
/** pnpm requires package@version entries without range selectors or extra @ in the version part */
function isValidMinimumReleaseAgeExcludeEntry(
value: string,
packageName: string,
): boolean {
return !value.slice(`${packageName}@`.length).includes('@');
}
/** determine whether a comment or a list item contains the depName at a given newVersion */
function minimumReleaseAgeExcludeIncludesDepNameAndVersion(
line: string,
depName: string | undefined,
newVersion: string | undefined,
): boolean {
if (line.includes(`${depName}@${newVersion}`)) {
return true;
}
if (line.includes(`|| ${newVersion}`)) {
return true;
}
return false;
}