openapi-typesafe 1.0.0-rc.1 → 1.0.0-rc.3

package/src/adapters/redocly-loader/ref-resolution-steps.ts

@@ -0,0 +1,113 @@
+import type { Document, normalizeTypes } from "@redocly/openapi-core";
+import { parseRefPointer } from "../../domain/openapi/json-pointer.js";
+
+/**
+ * The pieces of Redocly 1.34's `$ref` resolution (`lib/resolve.js`, `lib/ref-utils.js`, MIT) that
+ * the resolution check (`ref-resolution-check.ts`, ADR-031) walks with, kept as Redocly has them.
+ */
+
+type RedoclyTypes = ReturnType<typeof normalizeTypes>;
+export type WalkType = RedoclyTypes[string];
+type PropTypeOrFunction = WalkType["properties"][string] | WalkType["additionalProperties"];
+/** The type of a property or array item, after Redocly called a type function. */
+export type PropType = Exclude<PropTypeOrFunction, (...args: never[]) => unknown>;
+
+/** Redocly's own placeholders: a node of no known type, and a scalar that is a `$ref`. */
+export const UNKNOWN_TYPE: WalkType = { name: "unknown", properties: {} };
+export const RESOLVABLE_SCALAR_TYPE: WalkType = { name: "scalar", properties: {} };
+
+/** Redocly's test for an anchor reference (`#name`), which waits for the whole document walk. */
+export const ANCHOR_REF = /^#[A-Za-z][A-Za-z0-9\-_:.]*$/;
+
+/** Redocly throws a plain Error with this message for a `$ref` chain that points back to itself. */
+export const REF_CYCLE_MESSAGE = "Self-referencing circular pointer";
+
+export interface RefStack {
+  readonly prev: RefStack | null;
+  readonly node: unknown;
+}
+
+export interface ResolvedRef {
+  readonly resolved: boolean;
+  readonly node?: unknown;
+  readonly document?: Document;
+  readonly nodePointer?: string;
+}
+
+export type Ref = { readonly $ref: string };
+
+export function isNamedType(type: PropType): type is WalkType {
+  return typeof (type as { name?: unknown } | null | undefined)?.name === "string";
+}
+
+export function joinPointer(base: string, key: string | number): string {
+  const start = base === "" ? "#/" : base;
+  return start.endsWith("/") ? `${start}${key}` : `${start}/${key}`;
+}
+
+export function escapePointer(fragment: string): string {
+  return fragment.replaceAll("~", "~0").replaceAll("/", "~1");
+}
+
+/** Redocly's `parseRef`: the document part (null for a local ref) and the unescaped segments. */
+export function parseRef(ref: string): { uri: string | null; pointer: string[] } {
+  const [uri = ""] = ref.split("#/");
+  return {
+    uri: (uri.endsWith("#") ? uri.slice(0, -1) : uri) || null,
+    pointer: parseRefPointer(ref),
+  };
+}
+
+export function hasRef(head: RefStack | null, node: unknown): boolean {
+  for (let entry = head; entry !== null; entry = entry.prev) {
+    if (entry.node === node) {
+      return true;
+    }
+  }
+  return false;
+}
+
+export function isExternalValue(node: object): node is { externalValue: string } {
+  return typeof (node as { externalValue?: unknown }).externalValue === "string";
+}
+
+/** Wait one macrotask, as Redocly does before it reads the anchors of a document. */
+export function nextTick(): Promise<void> {
+  return new Promise((resolve) => setTimeout(resolve));
+}
+
+/**
+ * The type Redocly gives one property value, and the value to walk (a `directResolveAs` string
+ * becomes a `$ref`). A value whose type has no name is not walked.
+ */
+export function propertyType(
+  type: WalkType,
+  name: string,
+  value: unknown,
+  specExtension: WalkType,
+): [PropType, unknown] {
+  // `properties[name]` also finds `Object.prototype` members, as in Redocly; for `valueOf` and the
+  // like the call below throws the TypeError that the loader turns into SCHEMA_KEY_UNSUPPORTED.
+  let declared: PropTypeOrFunction = type.properties[name];
+  if (declared === undefined) {
+    declared = type.additionalProperties;
+  }
+  let propType: PropType = typeof declared === "function" ? declared(value, name) : declared;
+  if (propType === undefined) {
+    propType = UNKNOWN_TYPE;
+  }
+  if (
+    type.extensionsPrefix &&
+    name.startsWith(type.extensionsPrefix) &&
+    propType === UNKNOWN_TYPE
+  ) {
+    return [specExtension, value];
+  }
+  if (!isNamedType(propType) && propType?.directResolveAs) {
+    return [propType.directResolveAs, { $ref: value }];
+  }
+  if (propType && !isNamedType(propType) && propType.resolvable !== false) {
+    return [RESOLVABLE_SCALAR_TYPE, value];
+  }
+  return [propType, value];
+}

package/src/adapters/redocly-loader/remote-fetch.ts

@@ -1,9 +1,13 @@
 import type { Config as RedoclyConfig } from "@redocly/openapi-core";
 import type { RefAccess } from "../../application/ports/schema-loader.js";
 import { isHostAllowed } from "./allowed-hosts.js";
+import { type ConfiguredHeader, headersFor } from "./configured-headers.js";
 import { refForbiddenError } from "./schema-load-errors.js";
 
-/** How the loader fetches remote documents: a time limit, and the host limit on redirects. */
+/**
+ * How the loader fetches remote documents: a time limit, the host limit and the configured headers
+ * checked on every redirect.
+ */
 
 type ResolveConfig = RedoclyConfig["resolve"];
 
@@ -11,10 +15,10 @@ type ResolveConfig = RedoclyConfig["resolve"];
 export type RemoteFetch = (input: string, init?: RequestInit) => Promise<Response>;
 
 /**
- * Redirects followed for a remote `$ref` when hosts are limited. Each hop is checked, so fetch
- * cannot follow them on its own; 5 covers http → https plus a moved file, and a loop stops early.
+ * Redirects followed for one remote document. The loader follows them itself, so that each hop is
+ * checked; 20 is the limit of the Fetch standard, which fetch applied before.
  */
-export const MAX_CHECKED_REDIRECTS = 5;
+export const MAX_REDIRECTS = 20;
 
 const REDIRECT_STATUSES = new Set([301, 302, 303, 307, 308]);
 
@@ -51,33 +55,78 @@ function fetchWithTimeout(timeoutMs: number): RemoteFetch {
   };
 }
 
+/** What every hop of a remote fetch is checked against. */
+export interface RedirectPolicy {
+  /** `resolve.http.headers` of the Redocly config; chosen again for the URL of every hop. */
+  readonly headers: readonly ConfiguredHeader[];
+  /** `--remote-ref-hosts`; undefined allows every host. */
+  readonly hosts: readonly string[] | undefined;
+}
+
 /**
- * Follow redirects one by one, and refuse a redirect to a host that is not listed. The first URL
- * was checked by the resolver (or is the root document). As fetch does, the configured headers
- * (often credentials) are not sent on to another origin.
+ * Follow redirects one by one. Fetch drops only `Authorization`, `Cookie` and
+ * `Proxy-Authorization` on a redirect to another origin and keeps every other header (an
+ * `X-Api-Key`), so the configured headers are chosen for each hop's own URL instead, and a hop to
+ * a host that is not listed is refused before it is fetched. The first URL was checked by the
+ * resolver (or is the root document). Redocly passes only the configured headers in `init`, and
+ * it gets an empty list of them (`resolveConfigWithAccess`), so `init.headers` is replaced.
  */
 export function fetchWithCheckedRedirects(
   fetchImpl: RemoteFetch,
-  hosts: readonly string[],
+  policy: RedirectPolicy,
 ): RemoteFetch {
   return async (input, init = {}) => {
-    const firstOrigin = new URL(input).origin;
     let url = new URL(input);
-    for (let hop = 0; hop <= MAX_CHECKED_REDIRECTS; hop += 1) {
-      if (hop > 0 && !isHostAllowed(url, hosts)) {
-        throw refForbiddenError(url.href, { reason: "host-not-allowed", allowedHosts: [...hosts] });
+    for (let hop = 0; hop <= MAX_REDIRECTS; hop += 1) {
+      if (hop > 0 && policy.hosts !== undefined && !isHostAllowed(url, policy.hosts)) {
+        throw refForbiddenError(url.href, {
+          reason: "host-not-allowed",
+          allowedHosts: [...policy.hosts],
+        });
       }
-      const { headers, ...rest } = init;
-      const hopInit: RequestInit =
-        url.origin === firstOrigin && headers !== undefined ? { ...rest, headers } : rest;
-      const response = await fetchImpl(url.href, { ...hopInit, redirect: "manual" });
+      const headers = await headersFor(url, policy.headers);
+      const response = await fetchImpl(url.href, { ...init, headers, redirect: "manual" });
       const location = response.headers.get("location");
       if (!REDIRECT_STATUSES.has(response.status) || location === null) {
         return response;
       }
       url = new URL(location, url);
     }
-    throw new Error(`More than ${MAX_CHECKED_REDIRECTS} redirects loading ${input}`);
+    throw new Error(`More than ${MAX_REDIRECTS} redirects loading ${input}`);
+  };
+}
+
+/** Bounds on the remote documents of one load (threat model T2, ADR-033). */
+export interface RemoteDocumentLimits {
+  /** Remote documents one load may fetch, the root included; one more is refused. */
+  readonly maxDocuments: number;
+  /** Remote documents fetched at the same time; the others wait for a free slot. */
+  readonly maxParallelFetches: number;
+}
+
+/**
+ * At most `limit` calls of the fetch run at once; the others wait in order. A finished call hands
+ * its slot to the next waiting one.
+ */
+export function fetchWithConcurrencyLimit(fetchImpl: RemoteFetch, limit: number): RemoteFetch {
+  let running = 0;
+  const waiting: (() => void)[] = [];
+  return async (input, init) => {
+    if (running < limit) {
+      running += 1;
+    } else {
+      await new Promise<void>((resolve) => waiting.push(resolve));
+    }
+    try {
+      return await fetchImpl(input, init);
+    } finally {
+      const next = waiting.shift();
+      if (next === undefined) {
+        running -= 1;
+      } else {
+        next();
+      }
+    }
   };
 }
 
@@ -85,11 +134,14 @@ export interface RemoteFetchOptions {
   /** Time limit of one fetch and its body, unless the Redocly config has its own `customFetch`. */
   readonly timeoutMs: number;
   readonly access: RefAccess;
+  readonly maxParallelFetches: number;
 }
 
 /**
  * The resolve config with the fetch the loader uses. A `customFetch` of the Redocly config is
- * kept; with a host limit, it is wrapped so that each redirect is checked.
+ * kept and wrapped, so that each redirect is checked and only a few documents load at once. The
+ * configured headers move into that wrapper: Redocly would match them against the raw URL and
+ * send them on through redirects.
  */
 export function resolveConfigWithAccess(
   resolve: ResolveConfig,
@@ -98,7 +150,11 @@ export function resolveConfigWithAccess(
   // Redocly types `customFetch` as `Function`; it is called as fetch is.
   const configured = resolve.http.customFetch as RemoteFetch | undefined;
   const base = configured ?? fetchWithTimeout(options.timeoutMs);
-  const hosts = options.access.remoteHosts;
-  const customFetch = hosts === undefined ? base : fetchWithCheckedRedirects(base, hosts);
-  return { ...resolve, http: { ...resolve.http, customFetch } };
+  const checked = fetchWithCheckedRedirects(base, {
+    headers: resolve.http.headers,
+    hosts: options.access.remoteHosts,
+  });
+  // The limit is outside the redirects, so all hops of one document share one slot.
+  const customFetch = fetchWithConcurrencyLimit(checked, options.maxParallelFetches);
+  return { ...resolve, http: { ...resolve.http, headers: [], customFetch } };
 }

package/src/adapters/redocly-loader/schema-load-errors.ts

@@ -1,8 +1,11 @@
+import { assertNever } from "../../domain/assert-never.js";
 import { ERROR_CODES, OpenAPITypesafeError } from "../../domain/errors.js";
+import { redactUrlCredentials } from "../../domain/url-credentials.js";
 
 /**
  * The typed errors of loading, validating and bundling a document (ADR-011). Messages are the
- * original messages, so Node API users who match on them keep working.
+ * original messages, so Node API users who match on them keep working; URLs in them and in the
+ * details never show user info.
  */
 
 /** No source was given, or the source is empty. */
@@ -48,7 +51,7 @@ export function loadFailedError(absoluteRef: string, cause: unknown): OpenAPITyp
   return new OpenAPITypesafeError({
     code: ERROR_CODES.SCHEMA_LOAD_FAILED,
     message: causeMessage(cause),
-    details: { source: absoluteRef },
+    details: { source: redactUrlCredentials(absoluteRef) },
     cause,
   });
 }
@@ -62,7 +65,7 @@ export function parseFailedError(
   return new OpenAPITypesafeError({
     code: ERROR_CODES.SCHEMA_PARSE_FAILED,
     message: causeMessage(cause),
-    details: { format, source: absoluteRef },
+    details: { format, source: redactUrlCredentials(absoluteRef) },
     cause,
   });
 }
@@ -87,7 +90,7 @@ export function schemaInvalidError(problems: readonly string[]): OpenAPITypesafe
   return new OpenAPITypesafeError({
     code: ERROR_CODES.SCHEMA_INVALID,
     message: problems.at(-1) ?? "",
-    details: { problems: [...problems] },
+    details: { problems: problems.map(redactUrlCredentials) },
   });
 }
 
@@ -108,17 +111,36 @@ function hostListText(hosts: readonly string[]): string {
 /** Why a `$ref` document was refused, with the limit it broke (ADR-017). */
 export type RefRefusalDetails =
   | { readonly reason: "outside-local-root"; readonly localRoot: string }
-  | { readonly reason: "host-not-allowed"; readonly allowedHosts: readonly string[] };
+  | { readonly reason: "host-not-allowed"; readonly allowedHosts: readonly string[] }
+  | { readonly reason: "local-ref-from-remote"; readonly base: string }
+  | { readonly reason: "too-many-remote-documents"; readonly maxDocuments: number };
 
-/** A `$ref` is outside the local root, or its host is not allowed (threat model R1, R2). */
+function limitText(details: RefRefusalDetails): string {
+  switch (details.reason) {
+    case "outside-local-root":
+      return `it is outside the local $ref root ${details.localRoot}`;
+    case "host-not-allowed": {
+      const hosts = hostListText(details.allowedHosts);
+      return `its host is not in the allowed remote $ref hosts (${hosts})`;
+    }
+    case "local-ref-from-remote":
+      return `it is not an http(s) URL, and the $ref is in the remote document ${details.base}`;
+    case "too-many-remote-documents":
+      return `the document refers to more than ${details.maxDocuments} remote documents`;
+    default:
+      return assertNever(details);
+  }
+}
+
+/**
+ * A `$ref` is outside the local root, its host is not allowed (threat model R1, R2), a remote
+ * document refers to a local file (T3), or there are too many remote documents (T2).
+ */
 export function refForbiddenError(ref: string, details: RefRefusalDetails): OpenAPITypesafeError {
-  const limit =
-    details.reason === "outside-local-root"
-      ? `it is outside the local $ref root ${details.localRoot}`
-      : `its host is not in the allowed remote $ref hosts (${hostListText(details.allowedHosts)})`;
+  const limit = limitText(details);
   return new OpenAPITypesafeError({
     code: ERROR_CODES.SCHEMA_REF_FORBIDDEN,
     message: `Refused to load ${ref}: ${limit}`,
-    details: { ref, ...details },
+    details: { ref: redactUrlCredentials(ref), ...details },
   });
 }

package/src/adapters/redocly-loader/unsupported-keys.ts

@@ -4,7 +4,7 @@ import { ERROR_CODES, OpenAPITypesafeError } from "../../domain/errors.js";
  * Keys Redocly 1.34 cannot walk. It looks up the type of every key with `type.properties[key]`,
  * which also finds inherited `Object.prototype` members; it then calls a found function with no
  * `this`, and these methods throw a `TypeError` for that. Redocly 2.x looks up own keys only
- * (ADR-005 keeps 1.34). `toString` and `constructor` do not throw, and load as they should.
+ * (ADR-005 keeps 1.34). `toString` does not throw, and loads as it should.
  *
  * Redocly does not walk every value (`default` and `const` are data), so a document with such a
  * key is not rejected up front: the loader looks for them only after Redocly threw a `TypeError`.
@@ -21,6 +21,21 @@ export const UNSUPPORTED_KEYS: ReadonlySet<string> = new Set([
   "__lookupSetter__",
 ]);
 
+/**
+ * `constructor` finds `Object`, which returns the value it is called with. Redocly then takes the
+ * value for a node type when it has a string `name` (a security scheme, a header with a `name`),
+ * and fails reading the type's fields. Any other `constructor` key loads.
+ */
+const CONSTRUCTOR_KEY = "constructor";
+
+function isUnsupportedEntry(key: string, value: unknown): boolean {
+  if (UNSUPPORTED_KEYS.has(key)) {
+    return true;
+  }
+  const name = (value as { name?: unknown } | null | undefined)?.name;
+  return key === CONSTRUCTOR_KEY && typeof value === "object" && typeof name === "string";
+}
+
 /** Enough found keys in the message to act on; `details.keys` has all of them. */
 const KEYS_IN_MESSAGE = 5;
 
@@ -66,7 +81,7 @@ function unsupportedKeysOf(document: LoadedDocument): UnsupportedKey[] {
   for (let node = pending.pop(); node !== undefined; node = pending.pop()) {
     for (const [key, child] of Object.entries(node.value)) {
       const pointer = `${node.pointer}/${escapePointerSegment(key)}`;
-      if (UNSUPPORTED_KEYS.has(key)) {
+      if (isUnsupportedEntry(key, child)) {
         found.push({ key, pointer, source: document.source });
       }
       enqueue(child, pointer);

package/src/adapters/terminal-logger/terminal-logger.ts

@@ -1,9 +1,11 @@
 import colors from "ansi-colors";
 import type { DebugGroup, Logger } from "../../application/ports/logger.js";
+import { redactUrlCredentials } from "../../domain/url-credentials.js";
 
 /**
  * The Logger port on a terminal, with the original output format: ` ⚠  ` warnings, ` ✘  `
- * errors, and `openapi-ts:<group>` debug lines filtered by `DEBUG` (ENGINEERING_PLAN 4.5).
+ * errors, and `openapi-ts:<group>` debug lines filtered by `DEBUG` (ENGINEERING_PLAN 4.5). No
+ * line shows the user info of a URL.
  */
 
 /** Where the lines go: `console` in production, a recording sink in tests. */
@@ -76,19 +78,21 @@ class TerminalLogger implements Logger {
       return;
     }
     const name = groupColor(this.#palette, group)(`openapi-ts:${group ?? "info"}`);
+    // The original wrote no space without a duration (`openapi-ts:lintIgnored …`).
     const time =
-      durationMs === undefined ? "" : this.#palette.green(` ${formatDuration(durationMs)} `);
-    this.#options.sink.debug(`  ${this.#palette.bold(name)}${time}${message}`);
+      durationMs === undefined ? " " : this.#palette.green(` ${formatDuration(durationMs)} `);
+    const text = redactUrlCredentials(message);
+    this.#options.sink.debug(`  ${this.#palette.bold(name)}${time}${text}`);
   }
 
   warn(message: string): void {
     if (!this.#options.silent) {
-      this.#options.sink.warn(this.#palette.yellow(` ⚠  ${message}`));
+      this.#options.sink.warn(this.#palette.yellow(` ⚠  ${redactUrlCredentials(message)}`));
     }
   }
 
   error(message: string): void {
-    this.#options.sink.error(this.#palette.red(` ✘  ${message}`));
+    this.#options.sink.error(this.#palette.red(` ✘  ${redactUrlCredentials(message)}`));
   }
 }
 

package/src/adapters/type-ast-bridge/ir-to-typescript.ts

@@ -1,5 +1,6 @@
 import type ts from "typescript";
 import { assertNever } from "../../domain/assert-never.js";
+import { DEFAULT_STRING_ENCODING } from "../../domain/ir/constructors.js";
 import type {
   IrComment,
   IrKeyword,
@@ -90,7 +91,7 @@ function toLeafTypeNode(ts: TypeScriptModule, type: LeafType): ts.TypeNode {
     case "keyword":
       return toKeywordType(ts, type.keyword);
     case "stringLiteral":
-      return toStringLiteralType(ts, type.value, type.encoding);
+      return toStringLiteralType(ts, type.value, type.encoding ?? DEFAULT_STRING_ENCODING);
     case "numberLiteral":
       return ts.factory.createLiteralTypeNode(toNumberExpression(ts, type.value));
     case "booleanLiteral":

package/src/adapters/type-ast-bridge/print-typescript.ts

@@ -1,11 +1,13 @@
 import type ts from "typescript";
 import type { TypeScriptModule } from "./load-typescript.js";
+import type { ts as CompilerTypes } from "./typescript-types.js";
 
 /** Options of `astToString` for the TypeScript printer, as in the original. */
 export interface AstToStringOptions {
   fileName?: string;
   sourceText?: string;
-  formatOptions?: ts.PrinterOptions;
+  /** The installed compiler's printer options (ADR-032: named without `ts.PrinterOptions`). */
+  formatOptions?: CompilerTypes.PrinterOptions;
 }
 
 /** Print TypeScript nodes as the original `astToString` did. */

package/src/adapters/type-ast-bridge/typescript-types.ts

@@ -1,8 +1,60 @@
-import type ts from "typescript";
+import type * as TypeScript from "typescript";
 
 /**
- * The TypeScript compiler's types for code outside the bridge (ADR-004, decision 4). Type-only:
- * it is erased at build time, so importing it never loads TypeScript. Only the bridge imports
- * `typescript` itself (enforced by dependency-cruiser).
+ * The TypeScript compiler's node types for code outside the bridge and for the public
+ * declarations (ADR-004, decision 4; ADR-032). Type-only: importing it never loads TypeScript.
+ *
+ * Each type is read from the compiler API of the `typescript` package the consumer has installed
+ * (`factory`, `createPrinter`), not named as `ts.Node`. TypeScript 5.x and 6.x have that API, so
+ * the types are the compiler's own. TypeScript 7's `typescript` package exports only `version`;
+ * `ts.Node` there is error TS2694 in a consumer that checks declarations (`skipLibCheck: false`).
  */
-export type { ts };
+
+type Api = typeof TypeScript;
+type Factory = Api extends { readonly factory: infer F } ? F : undefined;
+
+/**
+ * A compiler type when the installed `typescript` has no compiler API (TypeScript 7). It is `any`
+ * because that is what these types already were for such a consumer with `skipLibCheck: true`
+ * (an unresolved type in a declaration file is `any`), so callbacks that build or read nodes of
+ * `@typescript/typescript6` keep compiling (ADR-032). The cost, as before: a union with a node
+ * type, such as the result of `transform`, accepts any value there.
+ */
+// biome-ignore lint/suspicious/noExplicitAny: unresolved compiler types were `any` (ADR-032)
+type WithoutCompilerApi = any;
+
+/** The node type that `factory[Name]` returns, or `WithoutCompilerApi`. */
+type Created<Name extends string> = Factory extends {
+  readonly [Key in Name]: (...args: never[]) => infer Result;
+}
+  ? Result
+  : WithoutCompilerApi;
+
+type ModifierList = Created<"createModifiersFromModifierFlags">;
+
+/** The compiler node types the package names; see the module comment. */
+export declare namespace ts {
+  type Node = Api extends { isTypeNode(node: infer N): boolean } ? N : WithoutCompilerApi;
+  type TypeNode = Factory extends { createArrayTypeNode(elementType: infer T): unknown }
+    ? T
+    : WithoutCompilerApi;
+  type QuestionToken = Factory extends {
+    createPropertySignature(modifiers: never, name: never, token: infer Q, type: never): unknown;
+  }
+    ? NonNullable<Q>
+    : WithoutCompilerApi;
+  type Modifier = ModifierList extends readonly (infer M)[] | undefined ? M : WithoutCompilerApi;
+  type PrinterOptions = Api extends { createPrinter(options?: infer O, ...rest: never[]): unknown }
+    ? NonNullable<O>
+    : WithoutCompilerApi;
+  type PropertySignature = Created<"createPropertySignature">;
+  type LiteralTypeNode = Created<"createLiteralTypeNode">;
+  type TypeLiteralNode = Created<"createTypeLiteralNode">;
+  type InterfaceDeclaration = Created<"createInterfaceDeclaration">;
+  type EnumDeclaration = Created<"createEnumDeclaration">;
+  type EnumMember = Created<"createEnumMember">;
+  type VariableStatement = Created<"createVariableStatement">;
+  type Identifier = Created<"createIdentifier">;
+  type NumericLiteral = Created<"createNumericLiteral">;
+  type StringLiteral = Created<"createStringLiteral">;
+}

package/src/api/default-ports.ts

@@ -1,7 +1,10 @@
 import { performance } from "node:perf_hooks";
 import { createConfig, type Config as RedoclyConfig } from "@redocly/openapi-core";
 import supportsColor from "supports-color";
+import { createNodeDeprecationReporter } from "../adapters/node-deprecations/node-deprecations.js";
+import type { RemoteDocumentLimits } from "../adapters/redocly-loader/remote-fetch.js";
 import { createTerminalLogger } from "../adapters/terminal-logger/terminal-logger.js";
+import type { DeprecationReporter } from "../application/ports/deprecation-reporter.js";
 import type { Logger } from "../application/ports/logger.js";
 
 /**
@@ -25,6 +28,11 @@ export function defaultLogger(silent: boolean): Logger {
   });
 }
 
+/** Deprecations as Node.js `DeprecationWarning`s, each code once per process. */
+export function defaultDeprecationReporter(): DeprecationReporter {
+  return createNodeDeprecationReporter();
+}
+
 /**
  * How long one remote `$ref` (or a remote source) may take to load. Large documents (the 27 MB
  * Cloudflare spec) download in seconds; a minute covers slow hosts, while Node's own fetch would
@@ -32,6 +40,21 @@ export function defaultLogger(silent: boolean): Logger {
  */
 export const REMOTE_REF_TIMEOUT_MS = 60_000;
 
+/**
+ * Bounds on the remote documents of one run (ADR-033). Large split documents have a few thousand
+ * files, so 10,000 leaves room and still ends an endless fan-out. 16 parallel fetches keep a
+ * multi-file document fast without exhausting local ports.
+ */
+export const DEFAULT_REMOTE_DOCUMENT_LIMITS: RemoteDocumentLimits = {
+  maxDocuments: 10_000,
+  maxParallelFetches: 16,
+};
+
+/** The working directory of the process: the default `cwd` of an inline source. */
+export function processCwd(): string {
+  return process.cwd();
+}
+
 /** A monotonic clock in milliseconds, for debug durations. */
 export function monotonicNow(): number {
   return performance.now();

package/src/api/discriminator-conflict-warnings.ts

@@ -3,7 +3,7 @@ import {
   type DiscriminatorValueConflict,
   findDiscriminatorValueConflicts,
 } from "../domain/openapi/discriminator-conflicts.js";
-import { OutputFix } from "../domain/output-fixes.js";
+import { FIX, type OutputFix } from "../domain/output-fixes.js";
 import { WARNING_CODES, warningText } from "../domain/warnings.js";
 
 const DOCS_BASE_URL = "https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs";
@@ -36,7 +36,7 @@ export function warnDiscriminatorValueConflicts(
   fixes: readonly OutputFix[],
   logger: Logger,
 ): void {
-  const isUnionReused = fixes.includes(OutputFix.ALLOF_DISCRIMINATED_UNION);
+  const isUnionReused = fixes.includes(FIX.ALLOF_DISCRIMINATED_UNION);
   for (const conflict of findDiscriminatorValueConflicts(document, { isUnionReused })) {
     logger.warn(warningText(warningOf(conflict), WARNING_CODES.DISCRIMINATOR_VALUE_NOT_ALLOWED));
   }

package/src/api/discriminator-patch.ts

@@ -1,5 +1,6 @@
 import type { Logger } from "../application/ports/logger.js";
-import { OutputFix } from "../domain/output-fixes.js";
+import { FIX, type OutputFix } from "../domain/output-fixes.js";
+import { WARNING_CODES, warningText } from "../domain/warnings.js";
 import type { DiscriminatorObject, OpenAPI3, SchemaObject } from "../types.js";
 import { addEnumProperty, declaresValues, type EnumPatch } from "./discriminator-enum.js";
 import {
@@ -45,7 +46,7 @@ export interface ScanState extends DiscriminatorScanOptions {
 
 /** Whether `discriminator-values` is on: values of two discriminators merge into one enum. */
 export function mergesValues(state: ScanState): boolean {
-  return state.fixes.has(OutputFix.DISCRIMINATOR_VALUES);
+  return state.fixes.has(FIX.DISCRIMINATOR_VALUES);
 }
 
 function patchedSchema(state: ScanState, patch: EnumPatch): SchemaObject | undefined {
@@ -59,8 +60,7 @@ function patchedSchema(state: ScanState, patch: EnumPatch): SchemaObject | undef
  */
 function isDeclared(state: ScanState, patch: EnumPatch): boolean {
   return (
-    state.fixes.has(OutputFix.DISCRIMINATOR_VALUES) &&
-    declaresValues(patchedSchema(state, patch), patch)
+    state.fixes.has(FIX.DISCRIMINATOR_VALUES) && declaresValues(patchedSchema(state, patch), patch)
   );
 }
 
@@ -69,7 +69,7 @@ function isDeclared(state: ScanState, patch: EnumPatch): boolean {
  * added, or a discriminator object that a schema inherited.
  */
 export function recordEnumParent(state: ScanState, owner: DiscriminatorOwner, key: object): void {
-  if (!state.fixes.has(OutputFix.DISCRIMINATOR_VALUES)) {
+  if (!state.fixes.has(FIX.DISCRIMINATOR_VALUES)) {
     return;
   }
   const { silent, logger } = state;
@@ -141,7 +141,11 @@ export function markHandled(state: ScanState, ref: string): void {
 function warnInvalidMapping(patch: EnumPatch, logger: Logger): void {
   const mapped = `${patch.ref} => ${patch.values.join(", ")}`;
   logger.warn(
-    "Discriminator mapping has an invalid schema (neither an object schema nor an allOf array): " +
-      `${mapped} (Discriminator: ${patch.discriminatorRef})`,
+    warningText(
+      "Discriminator mapping has an invalid schema " +
+        "(neither an object schema nor an allOf array): " +
+        `${mapped} (Discriminator: ${patch.discriminatorRef})`,
+      WARNING_CODES.DISCRIMINATOR_MAPPING_INVALID,
+    ),
   );
 }

package/src/api/discriminator-scan.ts

@@ -1,6 +1,6 @@
 import type { Logger } from "../application/ports/logger.js";
 import { isUnionMember, unionAt } from "../domain/openapi/discriminated-union.js";
-import { OutputFix } from "../domain/output-fixes.js";
+import { FIX } from "../domain/output-fixes.js";
 import type {
   DiscriminatorObject,
   GeneratorOptions,
@@ -121,7 +121,7 @@ function valuesMappedTo(discriminator: DiscriminatorObject, ref: string): string
  * schema that the union's mapping names is a member.
  */
 function inheritsDiscriminator(state: ScanState, parentRef: string, ref: string): boolean {
-  if (!state.fixes.has(OutputFix.ALLOF_DISCRIMINATED_UNION)) {
+  if (!state.fixes.has(FIX.ALLOF_DISCRIMINATED_UNION)) {
     return true;
   }
   const resolve = (target: string) => resolveDocumentRef(state.schema, target, state);
@@ -141,7 +141,7 @@ function recordInherited(
   discriminator: DiscriminatorObject,
   ownerRef: string,
 ): void {
-  if (state.fixes.has(OutputFix.DISCRIMINATOR_VALUES) && state.owners.has(ref)) {
+  if (state.fixes.has(FIX.DISCRIMINATOR_VALUES) && state.owners.has(ref)) {
     return;
   }
   const inherited = { ...discriminator };