@apifuse/provider-sdk 2.2.0-beta.62 → 2.2.0-beta.64

package/src/lint.ts

@@ -1,8 +1,7 @@
-import { createRequire } from "node:module";
-
 import type { ZodType } from "zod";
 
 import {
+	SDK_CANONICAL_ERROR_CODE_RETRYABILITY,
 	SDK_RUNTIME_OWNED_ERROR_CODES,
 	SDK_STATUS_MAPPED_PROVIDER_ERROR_CODES,
 } from "./error-resolution.js";
@@ -11,24 +10,27 @@ import {
 	type HandleFieldMeta,
 	type HandleKindDeclaration,
 	handleFieldDescription,
+	handleFieldNameFor,
+	handleHasDirectionalFieldNames,
 	handleIssuerList,
-	isHandleIssuedBy,
 	isHandleFieldMeta,
+	isHandleIssuedBy,
 } from "./handle-meta.js";
+import { PROVIDER_ERROR_CATALOG_NAMESPACE } from "./i18n/error-messages.js";
+import {
+	getProviderLocaleSegments,
+	isProviderLocaleKey,
+	type ProviderLocaleCatalog,
+} from "./i18n/keys.js";
 import { lintPublicSchemaFieldNames } from "./public-schema-field-lint.js";
+import {
+	isStealthOwnedHeaderName,
+	SDK_OWNED_CHROME_HEADER_PREFIX,
+} from "./runtime/stealth-owned-headers.js";
+import { lintRuntimeBoundary, scriptKindForSourceFile } from "./runtime-boundary-lint.js";
 import { APIFUSE_DESCRIPTION_KEY_META_KEY, APIFUSE_SENSITIVE_META_KEY } from "./schema.js";
 import type { AuthMode, OperationApprovalPolicy, OperationRiskClass } from "./types.js";
-
-const requireModule = createRequire(import.meta.url);
-// `typeof import(...)` keeps the type without emitting a static import: the
-// typescript package is a CLI-only dependency and src/lint.ts is production
-// runtime, which the typescript-import-boundary test enforces.
-let typeScriptModule: typeof import("typescript") | undefined;
-
-function getTypeScript(): typeof import("typescript") {
-	typeScriptModule ??= requireModule("typescript") as typeof import("typescript");
-	return typeScriptModule;
-}
+import { getTypeScript } from "./typescript-module.js";
 
 type AuthModeLike =
 	| "none"
@@ -191,12 +193,17 @@ type ProviderLintOptions = {
 	mode?: ProviderLintMode;
 };
 
+/**
+ * A non-blocking audit line: a finding the author acknowledged with
+ * `// @apifuse-allow <rule>: <reason>`, kept visible in `apifuse check` output.
+ */
 export interface ProviderLintInformation {
 	rule: string;
 	message: string;
 	field?: string;
 }
 
+/** Diagnostics plus the acknowledged findings that accompany them. */
 export interface ProviderLintResult {
 	diagnostics: LintDiagnostic[];
 	information: ProviderLintInformation[];
@@ -1014,7 +1021,14 @@ function lintSelfHostedBrowserPatterns(
 	return diagnostics;
 }
 
-const THROWN_ERROR_CONSTRUCTION_PATTERN = /new\s+(?:ProviderError|ValidationError)\s*\(/g;
+// Captures the constructor name so each rule can pick its own scope: the
+// undeclared-code rule keeps its historical ProviderError/ValidationError
+// surface, while the localization rules also cover AuthError.
+const THROWN_ERROR_CONSTRUCTION_PATTERN = /new\s+(ProviderError|AuthError|ValidationError)\s*\(/g;
+const UNDECLARED_CODE_ERROR_CLASSES: ReadonlySet<string> = new Set([
+	"ProviderError",
+	"ValidationError",
+]);
 
 const TEST_SOURCE_FILE_PATTERN = /(?:^|\/)(?:__tests__|__mocks__)\/|\.(?:test|spec)\.[cm]?[jt]sx?$/;
 const RECORDED_FIXTURE_SOURCE_FILE_PATTERN =
@@ -1025,8 +1039,13 @@ const VERSIONED_PROFILE_LITERAL_PATTERN =
 const VERSIONED_USER_AGENT_PATTERN = /\b(?:Chrome|CriOS|Firefox|FxiOS|EdgA?|OPR)\/\d+(?:\.\d+)*/i;
 const VERSIONED_SAFARI_USER_AGENT_PATTERN = /\bVersion\/(\d+(?:\.\d+)*)(?=[\s\S]*\bSafari\/\d)/i;
 const VERSIONED_CLIENT_HINT_PATTERN = /(?:^|[;,\s])v\s*=\s*["']?\d+/i;
+// Calls that write a header entry as (name, value): Headers/Map `set` and
+// `append`, Node's `setHeader`. Predicates, replacements, and logging calls
+// take string arguments too and must not count as header writes.
+const HEADER_SETTER_CALLEE_PATTERN = /^(?:set|append|setHeader|addHeader)$/;
+const OWNED_CLIENT_HINT_HEADER_PREFIX = "sec-ch-ua";
 
-type BrowserVersionLiteralKind = "profile" | "user-agent" | "sec-ch-ua";
+type BrowserVersionLiteralKind = "profile" | "user-agent" | "sec-ch-ua" | "owned-header";
 
 type BrowserVersionLiteralFinding = {
 	kind: BrowserVersionLiteralKind;
@@ -1054,17 +1073,96 @@ function isSecChUaHeaderName(value: string | undefined): boolean {
 	return value?.toLowerCase() === "sec-ch-ua";
 }
 
-function collectBrowserVersionLiteralFindings(source: string): BrowserVersionLiteralFinding[] {
+/**
+ * True for the code paths that reach the stealth transport: `ctx.stealth`,
+ * `ctx["stealth"]`, and `const { stealth } = ctx`. Read from the AST so a
+ * comment or string that mentions ctx.stealth does not scope a ctx.http file
+ * into this rule.
+ */
+function isStealthContextAccess(node: import("typescript").Node): boolean {
+	const ts = getTypeScript();
+	if (ts.isPropertyAccessExpression(node)) {
+		return (
+			ts.isIdentifier(node.expression) &&
+			node.expression.text === "ctx" &&
+			node.name.text === "stealth"
+		);
+	}
+	if (ts.isElementAccessExpression(node)) {
+		return (
+			ts.isIdentifier(node.expression) &&
+			node.expression.text === "ctx" &&
+			staticStringText(node.argumentExpression) === "stealth"
+		);
+	}
+	if (ts.isBindingElement(node)) {
+		const key = node.propertyName ?? node.name;
+		if (!ts.isIdentifier(key) || key.text !== "stealth") return false;
+		const declaration = node.parent?.parent;
+		return (
+			declaration !== undefined &&
+			ts.isVariableDeclaration(declaration) &&
+			declaration.initializer !== undefined &&
+			ts.isIdentifier(declaration.initializer) &&
+			declaration.initializer.text === "ctx"
+		);
+	}
+	return false;
+}
+
+function isStaticUndefined(node: import("typescript").Node | undefined): boolean {
+	if (!node) return false;
+	const ts = getTypeScript();
+	return (ts.isIdentifier(node) && node.text === "undefined") || ts.isVoidExpression(node);
+}
+
+function calleeName(node: import("typescript").CallExpression): string | undefined {
+	const ts = getTypeScript();
+	if (ts.isPropertyAccessExpression(node.expression)) return node.expression.name.text;
+	if (ts.isIdentifier(node.expression)) return node.expression.text;
+	return undefined;
+}
+
+/**
+ * Header names this rule reports in ctx.stealth files: the Sec-Fetch-* and
+ * client-hint (sec-ch-ua*) families, restricted to what the stealth runtime
+ * really rejects (isStealthOwnedHeaderName). Deliberately narrower than the
+ * runtime rejection: host, connection, and accept-encoding are left alone
+ * because ctx.http callers set them legitimately in the same files, and
+ * user-agent only reaches a finding through the "user-agent" kind, which
+ * matches a versioned literal value rather than the name — a user-agent read
+ * from a variable is rejected by the runtime and stays silent here. Widening
+ * the set needs a per-file transport scope and a suppression path first.
+ */
+function isReportedOwnedHeaderName(value: string | undefined): boolean {
+	if (value === undefined) return false;
+	const name = value.toLowerCase();
+	if (!isStealthOwnedHeaderName(name)) return false;
+	if (name.startsWith(SDK_OWNED_CHROME_HEADER_PREFIX)) {
+		return name.length > SDK_OWNED_CHROME_HEADER_PREFIX.length;
+	}
+	return name.startsWith(OWNED_CLIENT_HINT_HEADER_PREFIX);
+}
+
+function collectBrowserVersionLiteralFindings(
+	fileName: string,
+	source: string,
+): BrowserVersionLiteralFinding[] {
 	const ts = getTypeScript();
 	const sourceFile = ts.createSourceFile(
-		"provider-source.ts",
+		fileName,
 		source,
 		ts.ScriptTarget.Latest,
 		true,
-		ts.ScriptKind.TSX,
+		scriptKindForSourceFile(ts, fileName),
 	);
-	const findings: BrowserVersionLiteralFinding[] = [];
+	let findings: BrowserVersionLiteralFinding[] = [];
 	const seen = new Set<string>();
+	// Owned-header entries only count once the file is known to reach
+	// ctx.stealth, which may appear after the entry; collect them and decide
+	// after the walk.
+	let stealthAccess = false;
+	const ownedHeaderEntries: Array<{ name: string; position: number; valuePosition?: number }> = [];
 
 	const addFinding = (kind: BrowserVersionLiteralKind, literal: string, position: number) => {
 		const key = `${kind}:${position}:${literal}`;
@@ -1090,29 +1188,97 @@ function collectBrowserVersionLiteralFindings(source: string): BrowserVersionLit
 		}
 	};
 
+	// A header entry `name: value` in any of the shapes below. In a ctx.stealth
+	// file an owned name is the finding (the runtime rejects it whatever the
+	// value); elsewhere only a versioned sec-ch-ua value is. A statically
+	// undefined value is exempt only in the "record" shapes, the ones the
+	// runtime drops before the ownership check (`normalizedHeaderEntries`):
+	// `Headers.set(name, undefined)` stringifies to "undefined" and still
+	// throws, so it stays a finding.
+	const inspectHeaderEntry = (
+		nameNode: import("typescript").Node,
+		name: string | undefined,
+		valueNode: import("typescript").Node | undefined,
+		ownedHeaderShape: false | "record" | "entry",
+	) => {
+		if (name === undefined) return;
+		if (
+			ownedHeaderShape !== false &&
+			isReportedOwnedHeaderName(name) &&
+			!(ownedHeaderShape === "record" && isStaticUndefined(valueNode))
+		) {
+			ownedHeaderEntries.push({
+				name,
+				position: nameNode.getStart(sourceFile),
+				valuePosition: valueNode?.getStart(sourceFile),
+			});
+		}
+		if (isSecChUaHeaderName(name)) inspectSecChUaValue(valueNode);
+	};
+
 	const visit = (node: import("typescript").Node) => {
 		const text = staticStringText(node);
 		if (text !== undefined) inspectLiteral(text, node.getStart(sourceFile));
+		if (isStealthContextAccess(node)) stealthAccess = true;
 
-		if (ts.isPropertyAssignment(node) && isSecChUaHeaderName(staticPropertyName(node.name))) {
-			inspectSecChUaValue(node.initializer);
+		if (ts.isPropertyAssignment(node)) {
+			inspectHeaderEntry(node.name, staticPropertyName(node.name), node.initializer, "record");
 		}
 
-		if (ts.isCallExpression(node) && isSecChUaHeaderName(staticStringText(node.arguments[0]))) {
-			inspectSecChUaValue(node.arguments[1]);
+		if (ts.isCallExpression(node) && node.arguments[0]) {
+			// Only `headers.set(name, value)`-style calls write a header;
+			// `name.startsWith("sec-fetch-")` or `log("sec-fetch-dest", x)` do not.
+			inspectHeaderEntry(
+				node.arguments[0],
+				staticStringText(node.arguments[0]),
+				node.arguments[1],
+				node.arguments.length >= 2 && HEADER_SETTER_CALLEE_PATTERN.test(calleeName(node) ?? "")
+					? "entry"
+					: false,
+			);
+		}
+
+		if (ts.isArrayLiteralExpression(node) && node.elements[0]) {
+			// Only a `[name, value]` tuple is a header. A name list such as
+			// `new Set(["sec-ch-ua-mobile", "sec-ch-ua-platform"])` is not: it is
+			// the argument of a constructor, or its second element is itself an
+			// owned name.
+			const second = node.elements[1];
+			inspectHeaderEntry(
+				node.elements[0],
+				staticStringText(node.elements[0]),
+				second,
+				node.elements.length === 2 &&
+					!ts.isNewExpression(node.parent) &&
+					!isStealthOwnedHeaderName(staticStringText(second) ?? "")
+					? "entry"
+					: false,
+			);
 		}
 
 		if (
-			ts.isArrayLiteralExpression(node) &&
-			isSecChUaHeaderName(staticStringText(node.elements[0]))
+			ts.isBinaryExpression(node) &&
+			node.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+			ts.isElementAccessExpression(node.left)
 		) {
-			inspectSecChUaValue(node.elements[1]);
+			const nameNode = node.left.argumentExpression;
+			inspectHeaderEntry(nameNode, staticStringText(nameNode), node.right, "record");
 		}
 
 		ts.forEachChild(node, visit);
 	};
 
 	visit(sourceFile);
+	if (stealthAccess) {
+		// The owned name is the finding; do not also report its sec-ch-ua value.
+		const shadowedValues = new Set(ownedHeaderEntries.map((entry) => entry.valuePosition));
+		findings = findings.filter(
+			(finding) => !(finding.kind === "sec-ch-ua" && shadowedValues.has(finding.position)),
+		);
+		for (const entry of ownedHeaderEntries) {
+			addFinding("owned-header", entry.name, entry.position);
+		}
+	}
 	return findings.sort((left, right) => left.position - right.position);
 }
 
@@ -1124,11 +1290,13 @@ function browserVersionLiteralMessage(finding: BrowserVersionLiteralFinding): st
 			return `Hardcoded User-Agent browser version "${finding.literal}" can disagree with the stealth TLS fingerprint. Remove the literal. ctx.stealth owns User-Agent and rejects a caller value with STEALTH_HEADER_OVERRIDE_UNSUPPORTED, so omit the header there and select the profile with stealth: { browser: "chrome", os: "macos" }. For ctx.http only, derive it from getStealthProfile({ browser: "chrome", os: "macos" }).userAgent.`;
 		case "sec-ch-ua":
 			return 'Hardcoded sec-ch-ua versions can disagree with the stealth TLS fingerprint. Remove the literal and let ctx.stealth generate client hints from stealth: { browser: "chrome", os: "macos" }. ctx.stealth also owns User-Agent, so omit that header there as well; for ctx.http only, derive it from getStealthProfile({ browser: "chrome", os: "macos" }).userAgent.';
+		case "owned-header":
+			return `ctx.stealth owns the "${finding.literal}" header and rejects a caller value with STEALTH_HEADER_OVERRIDE_UNSUPPORTED (HTTP 500 at request time). Remove it; declare stealth: { requestClass: "navigation" | "xhr" | "post" } to drive Sec-Fetch-* and select the profile with stealth: { browser: "chrome", os: "macos" } for client hints.`;
 	}
 }
 
 function lintBrowserVersionLiterals(provider: ProviderSourceLike): LintDiagnostic[] {
-	const sources: Array<{ field: string; source: string }> = [];
+	const sources: Array<{ field: string; fileName: string; source: string }> = [];
 	const sourceFiles = Object.entries(provider.providerSourceFiles ?? {}).filter(
 		([filePath]) =>
 			JAVASCRIPT_SOURCE_FILE_PATTERN.test(filePath) &&
@@ -1137,19 +1305,28 @@ function lintBrowserVersionLiterals(provider: ProviderSourceLike): LintDiagnosti
 	);
 	if (sourceFiles.length > 0) {
 		for (const [filePath, source] of sourceFiles) {
-			sources.push({ field: `sourceFiles.${filePath}`, source });
+			sources.push({ field: `sourceFiles.${filePath}`, fileName: filePath, source });
 		}
 	} else {
 		if (provider.authFlowSource)
-			sources.push({ field: "auth.flow", source: provider.authFlowSource });
+			sources.push({
+				field: "auth.flow",
+				fileName: "auth-flow.ts",
+				source: provider.authFlowSource,
+			});
 		for (const [operationKey, operation] of Object.entries(provider.operations ?? {})) {
 			const source = getOperationSource(operation);
-			if (source) sources.push({ field: `operations.${operationKey}.handler`, source });
+			if (source)
+				sources.push({
+					field: `operations.${operationKey}.handler`,
+					fileName: `${operationKey}.ts`,
+					source,
+				});
 		}
 	}
 
-	return sources.flatMap(({ field, source }) =>
-		collectBrowserVersionLiteralFindings(source).map((finding) => ({
+	return sources.flatMap(({ field, fileName, source }) =>
+		collectBrowserVersionLiteralFindings(fileName, source).map((finding) => ({
 			rule: "browser-version-literal",
 			level: "error" as const,
 			field,
@@ -1258,14 +1435,17 @@ function extractBalancedCallArguments(source: string, startIndex: number): strin
 }
 
 /**
- * Collects literal string values of top-level `code:` properties inside a
- * ProviderError/ValidationError options object. Only plain `"..."` / `'...'`
- * literals at options-object depth count; computed codes (identifiers,
+ * Collects literal string values of the named top-level properties inside a
+ * ProviderError/AuthError/ValidationError options object. Only plain `"..."` /
+ * `'...'` literals at options-object depth count; computed values (identifiers,
  * ternaries, template substitutions, concatenations, escapes) are skipped
- * silently so the rule never guesses.
+ * silently so the rules never guess. The first literal wins per property name.
  */
-function collectLiteralErrorCodeValues(args: string): string[] {
-	const codes: string[] = [];
+function collectLiteralErrorOptionValues(
+	args: string,
+	optionNames: readonly string[],
+): Record<string, string> {
+	const collected: Record<string, string> = {};
 	let braceDepth = 0;
 	let parenDepth = 0;
 	let bracketDepth = 0;
@@ -1275,7 +1455,7 @@ function collectLiteralErrorCodeValues(args: string): string[] {
 		if (char === '"' || char === "'" || char === "`") {
 			const end = skipStringLiteral(args, index);
 			if (end < 0) {
-				return codes;
+				return collected;
 			}
 			index = end;
 			previousSignificantChar = char;
@@ -1284,7 +1464,7 @@ function collectLiteralErrorCodeValues(args: string): string[] {
 		if (char === "/" && args[index + 1] === "/") {
 			const newline = args.indexOf("\n", index);
 			if (newline === -1) {
-				return codes;
+				return collected;
 			}
 			index = newline;
 			continue;
@@ -1292,7 +1472,7 @@ function collectLiteralErrorCodeValues(args: string): string[] {
 		if (char === "/" && args[index + 1] === "*") {
 			const end = args.indexOf("*/", index + 2);
 			if (end === -1) {
-				return codes;
+				return collected;
 			}
 			index = end + 1;
 			continue;
@@ -1316,10 +1496,14 @@ function collectLiteralErrorCodeValues(args: string): string[] {
 			braceDepth === 1 &&
 			parenDepth === 0 &&
 			bracketDepth === 0 &&
-			(previousSignificantChar === "{" || previousSignificantChar === ",") &&
-			args.startsWith("code", index)
+			(previousSignificantChar === "{" || previousSignificantChar === ",")
 		) {
-			let cursor = index + "code".length;
+			const optionName = optionNames.find((name) => startsWithOptionName(args, index, name));
+			if (optionName === undefined) {
+				previousSignificantChar = char;
+				continue;
+			}
+			let cursor = index + optionName.length;
 			while (cursor < args.length && /\s/.test(args[cursor] ?? "")) {
 				cursor++;
 			}
@@ -1342,23 +1526,41 @@ function collectLiteralErrorCodeValues(args: string): string[] {
 							!value.includes("\\") &&
 							(nextChar === "," || nextChar === "}" || nextChar === "")
 						) {
-							codes.push(value);
+							collected[optionName] ??= value;
 						}
 						index = end;
 						previousSignificantChar = quote;
 						continue;
 					}
-					return codes;
+					return collected;
 				}
 			}
 		}
 		previousSignificantChar = char;
 	}
-	return codes;
+	return collected;
+}
+
+/** True when `name` starts at `index` and is not the prefix of a longer identifier. */
+function startsWithOptionName(args: string, index: number, name: string): boolean {
+	if (!args.startsWith(name, index)) return false;
+	const next = args[index + name.length] ?? "";
+	return !/[A-Za-z0-9_$]/.test(next);
 }
 
-function collectLiteralThrownErrorCodes(source: string): string[] {
-	const codes: string[] = [];
+/** One `new ProviderError|AuthError|ValidationError(...)` construction found by source scan. */
+type ThrownErrorConstructionSite = {
+	/** Constructor name, e.g. `ProviderError`. */
+	readonly errorClass: string;
+	readonly code?: string;
+	readonly messageKey?: string;
+	readonly fixKey?: string;
+};
+
+const THROWN_ERROR_LOCALE_OPTION_NAMES = ["code", "messageKey", "fixKey"] as const;
+
+function collectThrownErrorConstructionSites(source: string): ThrownErrorConstructionSite[] {
+	const sites: ThrownErrorConstructionSite[] = [];
 	THROWN_ERROR_CONSTRUCTION_PATTERN.lastIndex = 0;
 	for (
 		let match = THROWN_ERROR_CONSTRUCTION_PATTERN.exec(source);
@@ -1368,11 +1570,52 @@ function collectLiteralThrownErrorCodes(source: string): string[] {
 		const argsStart = match.index + match[0].length;
 		const args = extractBalancedCallArguments(source, argsStart);
 		if (args !== undefined) {
-			codes.push(...collectLiteralErrorCodeValues(args));
+			const values = collectLiteralErrorOptionValues(args, THROWN_ERROR_LOCALE_OPTION_NAMES);
+			sites.push({
+				errorClass: match[1] ?? "",
+				...(values.code === undefined ? {} : { code: values.code }),
+				...(values.messageKey === undefined ? {} : { messageKey: values.messageKey }),
+				...(values.fixKey === undefined ? {} : { fixKey: values.fixKey }),
+			});
 		}
 		THROWN_ERROR_CONSTRUCTION_PATTERN.lastIndex = argsStart;
 	}
-	return codes;
+	return sites;
+}
+
+type ThrowSiteLintSource = { readonly field: string; readonly source: string };
+
+/**
+ * The provider sources a throw-site rule scans, with the diagnostic field path
+ * each one reports under. Prefers the CLI-collected source files (whole-repo
+ * coverage) and falls back to the handler/auth-flow function text available
+ * when `lintProvider` is called without them. Test sources are excluded.
+ */
+function collectThrowSiteLintSources(provider: {
+	authFlowSource?: string;
+	providerSourceFiles?: Record<string, string>;
+	operations?: Record<string, { handler?: unknown; source?: string }>;
+}): ThrowSiteLintSource[] {
+	const sourceFiles = Object.entries(provider.providerSourceFiles ?? {}).filter(
+		([filePath]) => !TEST_SOURCE_FILE_PATTERN.test(filePath),
+	);
+	if (sourceFiles.length > 0) {
+		return sourceFiles.map(([filePath, source]) => ({
+			field: `sourceFiles.${filePath}`,
+			source,
+		}));
+	}
+	const sources: ThrowSiteLintSource[] = [];
+	if (provider.authFlowSource) {
+		sources.push({ field: "auth.flow", source: provider.authFlowSource });
+	}
+	for (const [operationKey, operation] of Object.entries(provider.operations ?? {})) {
+		const source = getOperationSource(operation);
+		if (source) {
+			sources.push({ field: `operations.${operationKey}.handler`, source });
+		}
+	}
+	return sources;
 }
 
 /**
@@ -1417,30 +1660,15 @@ function lintUndeclaredThrownErrorCodes(provider: {
 		}
 	}
 
-	const sources: Array<{ field: string; source: string }> = [];
-	const sourceFiles = Object.entries(provider.providerSourceFiles ?? {}).filter(
-		([filePath]) => !TEST_SOURCE_FILE_PATTERN.test(filePath),
-	);
-	if (sourceFiles.length > 0) {
-		for (const [filePath, source] of sourceFiles) {
-			sources.push({ field: `sourceFiles.${filePath}`, source });
-		}
-	} else {
-		if (provider.authFlowSource) {
-			sources.push({ field: "auth.flow", source: provider.authFlowSource });
-		}
-		for (const [operationKey, operation] of Object.entries(provider.operations ?? {})) {
-			const source = getOperationSource(operation);
-			if (source) {
-				sources.push({ field: `operations.${operationKey}.handler`, source });
-			}
-		}
-	}
+	const sources = collectThrowSiteLintSources(provider);
 
 	const diagnostics: LintDiagnostic[] = [];
 	for (const { field, source } of sources) {
 		const undeclaredCodes = new Set(
-			collectLiteralThrownErrorCodes(source).filter((code) => !knownCodes.has(code)),
+			collectThrownErrorConstructionSites(source)
+				.filter((site) => UNDECLARED_CODE_ERROR_CLASSES.has(site.errorClass))
+				.flatMap((site) => (site.code === undefined ? [] : [site.code]))
+				.filter((code) => !knownCodes.has(code)),
 		);
 		for (const code of undeclaredCodes) {
 			diagnostics.push({
@@ -1454,6 +1682,245 @@ function lintUndeclaredThrownErrorCodes(provider: {
 	return diagnostics;
 }
 
+/**
+ * Flags an operation `errorCodes` entry whose declared `status` or `retryable`
+ * contradicts the SDK's canonical resolution for that code.
+ *
+ * For a code the SDK status-maps but does not runtime-own (UPSTREAM_ERROR,
+ * BLOCKED, and the fleet-consensus codes registered alongside them), the
+ * declaration still wins at runtime — `toStatusCode` reads the declaration
+ * before the canonical map. So registering a code never silently rewrites an
+ * existing declaration's status, and it must not: that would change a served
+ * status behind the author's back. What it does create is a fleet that answers
+ * one code two ways. This rule is where that divergence surfaces, by name, with
+ * the canonical value to converge on.
+ *
+ * Codes the SDK runtime-owns are handled separately: `defineProvider` already
+ * warns there, because for those the declaration really is ignored.
+ *
+ * Warning level, deliberately: the divergent providers are live and converge on
+ * their own schedule, so this must not fail `apifuse check`.
+ */
+function lintErrorCodeDeclarationConflicts(provider: {
+	id?: string;
+	operations?: Record<
+		string,
+		{
+			errorCodes?: ReadonlyArray<{ code: string; status?: number; retryable?: boolean }>;
+		}
+	>;
+}): LintDiagnostic[] {
+	const diagnostics: LintDiagnostic[] = [];
+	const providerId = provider.id ?? "unknown";
+	for (const [operationKey, operation] of Object.entries(provider.operations ?? {})) {
+		for (const [index, entry] of (operation.errorCodes ?? []).entries()) {
+			if (typeof entry?.code !== "string") continue;
+			// SDK-owned codes ignore the declaration outright; defineProvider owns
+			// that message so authors are not told two different things.
+			if (SDK_RUNTIME_OWNED_ERROR_CODES.has(entry.code)) continue;
+
+			const field = `operations.${operationKey}.errorCodes[${index}]`;
+			const canonicalStatus = SDK_STATUS_MAPPED_PROVIDER_ERROR_CODES.get(entry.code);
+			if (canonicalStatus !== undefined && entry.status !== undefined) {
+				if (entry.status !== canonicalStatus) {
+					diagnostics.push({
+						rule: "error-code-status-conflicts-sdk",
+						level: "warn",
+						field: `${field}.status`,
+						message: `Provider "${providerId}" operation "${operationKey}" declares status ${entry.status} for SDK-registered error code "${entry.code}", whose canonical status is ${canonicalStatus}. The declaration still wins at runtime, so this operation serves ${entry.status} while the rest of the fleet serves ${canonicalStatus} for the same code. Drop the status (the SDK supplies ${canonicalStatus}) or, if ${entry.status} is genuinely the right answer here, throw a distinct code that means that.`,
+					});
+				}
+			}
+
+			const canonicalRetryable = SDK_CANONICAL_ERROR_CODE_RETRYABILITY.get(entry.code);
+			if (
+				canonicalRetryable !== undefined &&
+				entry.retryable !== undefined &&
+				entry.retryable !== canonicalRetryable
+			) {
+				diagnostics.push({
+					rule: "error-code-retryable-conflicts-sdk",
+					level: "warn",
+					field: `${field}.retryable`,
+					message: `Provider "${providerId}" operation "${operationKey}" declares retryable ${entry.retryable} for SDK-registered error code "${entry.code}", whose canonical retryability is ${canonicalRetryable}. The declaration still wins at runtime, so callers and the Gateway retry policy get a different answer here than everywhere else the same code is thrown. Drop the retryable (the SDK supplies ${canonicalRetryable}) or throw a distinct code for the retryable condition.`,
+				});
+			}
+		}
+	}
+	return diagnostics;
+}
+
+/** Declared `errorCodes[]` entry shape the localization rules read. */
+type OperationErrorCodeLike = {
+	code: string;
+	messageKey?: string;
+	fixKey?: string;
+};
+
+type ErrorLocaleKeyStatus = "ok" | "missing" | "malformed";
+
+function errorLocaleKeyStatus(catalog: ProviderLocaleCatalog, key: string): ErrorLocaleKeyStatus {
+	if (!isProviderLocaleKey(key)) return "malformed";
+	const value = getProviderLocaleSegments(catalog, key.split("."));
+	return typeof value === "string" && value.trim().length > 0 ? "ok" : "missing";
+}
+
+function hasDerivedErrorCatalogText(
+	catalog: ProviderLocaleCatalog,
+	code: string,
+	field: "message" | "fix",
+): boolean {
+	const value = getProviderLocaleSegments(catalog, [PROVIDER_ERROR_CATALOG_NAMESPACE, code, field]);
+	return typeof value === "string" && value.trim().length > 0;
+}
+
+/**
+ * True when a thrown code reaches the caller as a real provider error whose
+ * text the declared/derived catalog path can actually reach.
+ *
+ * A code qualifies either because the provider declares it in an operation's
+ * `errorCodes`, or because the SDK registers a canonical status for it. The
+ * second arm matters because registering a code is precisely what lets a
+ * provider *delete* the declaration — AUTHORING tells it to for
+ * `UPSTREAM_AUTH_ERROR`, `UPSTREAM_SCHEMA_ERROR` and `INVALID_REQUEST` — and an
+ * undeclared throw of a registered code is no longer the HTTP 500 that
+ * `thrown-error-code-undeclared` reports. Without this arm the two rules leave
+ * a silent hole exactly where the fleet is being told to converge: a 502
+ * `UPSTREAM_SCHEMA_ERROR` served untranslated with nothing warning about it.
+ *
+ * Codes the SDK runtime-owns are excluded: `sdkOwnsErrorResolution` skips the
+ * declaration and derived candidates for them at serve time, so the catalog
+ * entry this rule asks for would never take effect.
+ */
+function isCatalogReachableThrownCode(code: string, declaredCodes: ReadonlySet<string>): boolean {
+	if (declaredCodes.has(code)) return true;
+	return (
+		!SDK_RUNTIME_OWNED_ERROR_CODES.has(code) && SDK_STATUS_MAPPED_PROVIDER_ERROR_CODES.has(code)
+	);
+}
+
+/**
+ * Authoring rules for localized provider error text (see
+ * `ProviderErrorOptions.messageKey`).
+ *
+ * - `error-locale-key-missing` / `error-locale-key-malformed` (**error**): a
+ *   literal `messageKey`/`fixKey`, whether on a throw site or on an
+ *   `errorCodes[]` declaration, that the provider's `en` catalog does not
+ *   resolve to non-empty text, or that is not a legal locale dot path. At
+ *   runtime such a key is silently skipped and the caller gets the English
+ *   literal, so nothing fails loudly without this rule.
+ * - `thrown-error-message-not-localized` (**warn**): a throw site whose literal
+ *   `code` is declared in the provider's `errorCodes` — or SDK-registered, and
+ *   so servable without a declaration — but that carries no `messageKey`, no
+ *   declaration-level `messageKey`, and no derived `errors.<code>.message` in
+ *   `en`. Such an error is served untranslated to every caller. Warning while
+ *   the ~2,000 existing sites migrate; it is promoted to error per provider as
+ *   each migration wave lands.
+ *
+ * Both rules are skipped entirely when the caller did not supply
+ * `localeCatalogEn`: without the catalog they could only guess.
+ */
+function lintErrorMessageLocalization(provider: {
+	authFlowSource?: string;
+	providerSourceFiles?: Record<string, string>;
+	localeCatalogEn?: ProviderLocaleCatalog;
+	operations?: Record<
+		string,
+		{
+			handler?: unknown;
+			source?: string;
+			errorCodes?: ReadonlyArray<OperationErrorCodeLike>;
+		}
+	>;
+}): LintDiagnostic[] {
+	const catalog = provider.localeCatalogEn;
+	if (!catalog) return [];
+
+	const diagnostics: LintDiagnostic[] = [];
+	const declaredCodes = new Set<string>();
+	const codesWithDeclaredMessageKey = new Set<string>();
+
+	for (const [operationKey, operation] of Object.entries(provider.operations ?? {})) {
+		for (const entry of operation.errorCodes ?? []) {
+			if (typeof entry?.code !== "string") continue;
+			declaredCodes.add(entry.code);
+			for (const keyField of ["messageKey", "fixKey"] as const) {
+				const key = entry[keyField];
+				if (typeof key !== "string") continue;
+				if (keyField === "messageKey") codesWithDeclaredMessageKey.add(entry.code);
+				const status = errorLocaleKeyStatus(catalog, key);
+				if (status === "ok") continue;
+				diagnostics.push(
+					errorLocaleKeyDiagnostic(
+						status,
+						`operations.${operationKey}.errorCodes`,
+						key,
+						`errorCodes entry "${entry.code}" of operation "${operationKey}"`,
+					),
+				);
+			}
+		}
+	}
+
+	for (const { field, source } of collectThrowSiteLintSources(provider)) {
+		const reportedKeys = new Set<string>();
+		const reportedCodes = new Set<string>();
+		for (const site of collectThrownErrorConstructionSites(source)) {
+			for (const key of [site.messageKey, site.fixKey]) {
+				if (key === undefined || reportedKeys.has(key)) continue;
+				const status = errorLocaleKeyStatus(catalog, key);
+				if (status === "ok") continue;
+				reportedKeys.add(key);
+				diagnostics.push(
+					errorLocaleKeyDiagnostic(status, field, key, `a thrown error in ${field}`),
+				);
+			}
+			const code = site.code;
+			if (code === undefined || reportedCodes.has(code)) continue;
+			if (site.messageKey !== undefined) continue;
+			if (!isCatalogReachableThrownCode(code, declaredCodes)) continue;
+			if (codesWithDeclaredMessageKey.has(code)) continue;
+			if (hasDerivedErrorCatalogText(catalog, code, "message")) continue;
+			reportedCodes.add(code);
+			const origin = declaredCodes.has(code)
+				? `declared code "${code}"`
+				: `SDK-registered code "${code}"`;
+			const declarationClause = declaredCodes.has(code)
+				? "its errorCodes declaration has none, and"
+				: "no errorCodes declaration supplies one, and";
+			diagnostics.push({
+				rule: "thrown-error-message-not-localized",
+				level: "warn",
+				field,
+				message: `${site.errorClass} with ${origin} (${field}) has no messageKey, ${declarationClause} locales/en.json has no "${PROVIDER_ERROR_CATALOG_NAMESPACE}.${code}.message"; this error is served untranslated to ko and ja callers. Add messageKey (or "${PROVIDER_ERROR_CATALOG_NAMESPACE}.${code}.message" to every locale catalog).`,
+			});
+		}
+	}
+
+	return diagnostics;
+}
+
+function errorLocaleKeyDiagnostic(
+	status: Exclude<ErrorLocaleKeyStatus, "ok">,
+	field: string,
+	key: string,
+	owner: string,
+): LintDiagnostic {
+	return status === "malformed"
+		? {
+				rule: "error-locale-key-malformed",
+				level: "error",
+				field,
+				message: `Locale key ${JSON.stringify(key)} on ${owner} is not a locale dot path such as "errors.upstreamSchema.message" or "errors.UPSTREAM_SCHEMA_ERROR.message"; segments are camelCase, an array index, or — directly under "errors" — the error code itself; the SDK skips a malformed key at serve time and the caller gets the English literal instead.`,
+			}
+		: {
+				rule: "error-locale-key-missing",
+				level: "error",
+				field,
+				message: `Locale key ${JSON.stringify(key)} on ${owner} is missing from locales/en.json (or resolves to a non-string/empty value); the SDK falls back to the English literal at serve time, so the key never takes effect.`,
+			};
+}
+
 type HandleFieldOccurrence = {
 	/** Diagnostic path, e.g. `output.offers[].waiting_token`. */
 	path: string;
@@ -1536,6 +2003,7 @@ function readHandleKindDeclarations(value: unknown): HandleKindDeclaration[] {
 			typeof record.name === "string" &&
 			(record.type === "cursor" || record.type === "draft") &&
 			typeof record.fieldName === "string" &&
+			(record.outputFieldName === undefined || typeof record.outputFieldName === "string") &&
 			(record.issuedBy === undefined || isHandleIssuedBy(record.issuedBy))
 		);
 	});
@@ -1581,7 +2049,13 @@ function lintHandleDeclarations(provider: {
 		for (const { side, fields } of positions) {
 			for (const occurrence of fields) {
 				const field = `operations.${operationKey}.${occurrence.path}`;
-				const { kind, fieldName } = occurrence.meta;
+				const { kind } = occurrence.meta;
+				// A kind may name one handle differently in each direction (the canon's
+				// `cursor` in, `next_cursor` out). The rule is still exact: each side
+				// must use the key declared for THAT side, so the handle's identity
+				// stays readable from the property key and the round trip has exactly
+				// one edge — read `output`, send back under `input`.
+				const expected = handleFieldNameFor(occurrence.meta, side);
 
 				if (!kindByName.has(kind)) {
 					diagnostics.push({
@@ -1592,12 +2066,16 @@ function lintHandleDeclarations(provider: {
 					});
 				}
 
-				if (occurrence.key !== fieldName) {
+				if (occurrence.key !== expected) {
+					const directional = handleHasDirectionalFieldNames(occurrence.meta);
+					const advice = directional
+						? `Use the kind's ${side} fieldName on every ${side} schema; its ${side === "input" ? "output" : "input"} fieldName is "${handleFieldNameFor(occurrence.meta, side === "input" ? "output" : "input")}".`
+						: "Use the same key in every schema so the LLM sees one name.";
 					diagnostics.push({
 						rule: "handle-field-name",
 						level: "error",
 						field,
-						message: `${providerLabel} operation "${operationKey}" ${side} declares handle kind "${kind}" under property "${occurrence.key}" but the kind's fieldName is "${fieldName}". Use the same key in every schema so the LLM sees one name.`,
+						message: `${providerLabel} operation "${operationKey}" ${side} declares handle kind "${kind}" under property "${occurrence.key}" but the kind's ${directional ? `${side} ` : ""}fieldName is "${expected}". ${advice}`,
 					});
 				}
 
@@ -1626,7 +2104,7 @@ function lintHandleDeclarations(provider: {
 				rule: "handle-field-parity",
 				level: "error",
 				field,
-				message: `${providerLabel} handle kind "${kind.name}" is never issued: no operation output contains its field "${kind.fieldName}". Add ${kind.name}.field() to the issuing operation's output.`,
+				message: `${providerLabel} handle kind "${kind.name}" is never issued: no operation output contains its field "${handleFieldNameFor(kind, "output")}". Add ${kind.name}.field() to the issuing operation's output.`,
 			});
 		}
 		if (!accepted) {
@@ -1634,7 +2112,7 @@ function lintHandleDeclarations(provider: {
 				rule: "handle-field-parity",
 				level: "error",
 				field,
-				message: `${providerLabel} handle kind "${kind.name}" is never accepted: no operation input contains its field "${kind.fieldName}". Add ${kind.name}.field() to the consuming operation's input.`,
+				message: `${providerLabel} handle kind "${kind.name}" is never accepted: no operation input contains its field "${handleFieldNameFor(kind, "input")}". Add ${kind.name}.field() to the consuming operation's input.`,
 			});
 		}
 
@@ -1660,7 +2138,7 @@ function lintHandleDeclarations(provider: {
 				rule: "handle-issued-by",
 				level: "error",
 				field,
-				message: `${providerLabel} handle kind "${kind.name}" declares issuedBy "${known[0]}", but that operation's output has no "${kind.fieldName}" handle field.`,
+				message: `${providerLabel} handle kind "${kind.name}" declares issuedBy "${known[0]}", but that operation's output has no "${handleFieldNameFor(kind, "output")}" handle field.`,
 			});
 		} else {
 			diagnostics.push({
@@ -1671,7 +2149,7 @@ function lintHandleDeclarations(provider: {
 					.map((operationKey) => `"${operationKey}"`)
 					.join(
 						", ",
-					)}, but none of those operations' outputs has a "${kind.fieldName}" handle field. At least one listed issuer must output it.`,
+					)}, but none of those operations' outputs has a "${handleFieldNameFor(kind, "output")}" handle field. At least one listed issuer must output it.`,
 			});
 		}
 	}
@@ -1703,7 +2181,7 @@ const LEGACY_CHOICE_IDENTIFIERS = new Set([
  * the provider) while code inside `${}` interpolations still does. Falls back
  * to a raw-source regex when TypeScript is not installed.
  */
-function findLegacyChoiceUsage(source: string): string | undefined {
+function findLegacyChoiceUsage(fileName: string, source: string): string | undefined {
 	let ts: typeof import("typescript");
 	try {
 		ts = getTypeScript();
@@ -1711,11 +2189,11 @@ function findLegacyChoiceUsage(source: string): string | undefined {
 		return LEGACY_CHOICE_USAGE_PATTERN.exec(source)?.[0];
 	}
 	const file = ts.createSourceFile(
-		"provider.ts",
+		fileName,
 		source,
 		ts.ScriptTarget.Latest,
 		false,
-		ts.ScriptKind.TSX,
+		scriptKindForSourceFile(ts, fileName),
 	);
 	let found: string | undefined;
 	const visit = (node: import("typescript").Node): void => {
@@ -1740,23 +2218,27 @@ function findLegacyChoiceUsage(source: string): string | undefined {
 }
 
 function lintLegacyChoiceUsage(provider: ProviderSourceLike): LintDiagnostic[] {
-	const sources: Array<{ field: string; source: string }> = [];
+	const sources: Array<{ field: string; fileName: string; source: string }> = [];
 
 	if (provider.authFlowSource) {
-		sources.push({ field: "auth.flow", source: provider.authFlowSource });
+		sources.push({ field: "auth.flow", fileName: "auth-flow.ts", source: provider.authFlowSource });
 	}
 	for (const [filePath, source] of Object.entries(provider.providerSourceFiles ?? {})) {
-		sources.push({ field: `sourceFiles.${filePath}`, source });
+		sources.push({ field: `sourceFiles.${filePath}`, fileName: filePath, source });
 	}
 	for (const [operationKey, operation] of Object.entries(provider.operations ?? {})) {
 		const source = getOperationSource(operation);
 		if (source) {
-			sources.push({ field: `operations.${operationKey}.handler`, source });
+			sources.push({
+				field: `operations.${operationKey}.handler`,
+				fileName: `${operationKey}.ts`,
+				source,
+			});
 		}
 	}
 
-	return sources.flatMap(({ field, source }) => {
-		const match = findLegacyChoiceUsage(source);
+	return sources.flatMap(({ field, fileName, source }) => {
+		const match = findLegacyChoiceUsage(fileName, source);
 		if (!match) return [];
 		return [
 			{
@@ -1901,6 +2383,11 @@ export function lintProvider(
 		};
 		authFlowSource?: string;
 		providerSourceFiles?: Record<string, string>;
+		/**
+		 * The provider's `locales/en.json`, injected by `apifuse check`. Error
+		 * message localization rules are skipped when it is absent.
+		 */
+		localeCatalogEn?: ProviderLocaleCatalog;
 		operations?: Record<
 			string,
 			{
@@ -1915,7 +2402,13 @@ export function lintProvider(
 				fixtures?: unknown;
 				handler?: unknown;
 				source?: string;
-				errorCodes?: ReadonlyArray<{ code: string }>;
+				errorCodes?: ReadonlyArray<{
+					code: string;
+					status?: number;
+					retryable?: boolean;
+					messageKey?: string;
+					fixKey?: string;
+				}>;
 			}
 		>;
 		meta?: {
@@ -1946,9 +2439,15 @@ export function lintProviderWithInformation(
 		...lintSelfHostedBrowserPatterns(provider, options),
 		...lintBrowserVersionLiterals(provider),
 		...lintUndeclaredThrownErrorCodes(provider),
+		...lintErrorCodeDeclarationConflicts(provider),
+		...lintErrorMessageLocalization(provider),
 		...lintLegacyChoiceUsage(provider),
 		...lintHandleDeclarations(provider),
 	];
+	// Runtime boundary rules (process.env, node:fs/net/child_process, raw
+	// fetch) also yield information entries for `@apifuse-allow` acknowledgements.
+	const runtimeBoundary = lintRuntimeBoundary(getTypeScript(), provider, getOperationSource);
+	diagnostics.push(...runtimeBoundary.diagnostics);
 
 	if (provider.operations) {
 		const authMode = provider.auth?.mode;
@@ -1992,7 +2491,10 @@ export function lintProviderWithInformation(
 	}
 
 	if (!provider.operations) {
-		return applyPinnedWireFieldPaths(provider, diagnostics);
+		return withInformation(
+			applyPinnedWireFieldPaths(provider, diagnostics),
+			runtimeBoundary.information,
+		);
 	}
 
 	diagnostics.push(
@@ -2023,5 +2525,16 @@ export function lintProviderWithInformation(
 		),
 	);
 
-	return applyPinnedWireFieldPaths(provider, diagnostics);
+	return withInformation(
+		applyPinnedWireFieldPaths(provider, diagnostics),
+		runtimeBoundary.information,
+	);
+}
+
+function withInformation(
+	result: ProviderLintResult,
+	information: readonly ProviderLintInformation[],
+): ProviderLintResult {
+	if (information.length === 0) return result;
+	return { diagnostics: result.diagnostics, information: [...information, ...result.information] };
 }