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

package/dist/application/transform/document/declared-types.cjs

@@ -0,0 +1,66 @@
+'use strict';
+
+const NO_DECLARED_TYPES = () => null;
+function indexedNameOf(type) {
+  if (type.kind === "reference") {
+    return type.typeArguments.length === 0 ? { name: type.name, keys: [] } : null;
+  }
+  if (type.kind !== "indexedAccess" || type.index.kind !== "stringLiteral") {
+    return null;
+  }
+  const object = indexedNameOf(type.object);
+  return object === null ? null : { ...object, keys: [...object.keys, type.index.value] };
+}
+function memberName(member) {
+  if (member.kind !== "property") {
+    return null;
+  }
+  return member.name.kind === "string" ? member.name.value : member.name.text;
+}
+function propertyType(type, key) {
+  if (type.kind !== "object") {
+    return null;
+  }
+  const member = type.members.find((candidate) => memberName(candidate) === key);
+  return member?.kind === "property" && !member.isOptional ? member.type : null;
+}
+function declarationType(declaration) {
+  switch (declaration.kind) {
+    case "interface":
+      return { kind: "object", members: declaration.members };
+    case "typeAlias":
+      return declaration.type;
+    case "enum":
+    case "constArray":
+    case "rawDeclaration":
+      return null;
+  }
+}
+function declaredTypeLookup(declarations) {
+  const byName = /* @__PURE__ */ new Map();
+  for (const declaration of declarations) {
+    if ("name" in declaration && declaration.name !== void 0) {
+      const isRepeated = byName.has(declaration.name);
+      byName.set(declaration.name, isRepeated ? null : declarationType(declaration));
+    }
+  }
+  const resolving = /* @__PURE__ */ new Set();
+  const lookup = (type) => {
+    const indexed = indexedNameOf(type);
+    if (indexed === null || indexed.keys.length === 0 || resolving.has(type)) {
+      return null;
+    }
+    resolving.add(type);
+    const declared = indexed.keys.reduce((object, key) => {
+      const named = object === null || object.kind === "object" ? object : lookup(object);
+      return named === null ? null : propertyType(named, key);
+    }, byName.get(indexed.name) ?? null);
+    resolving.delete(type);
+    return declared;
+  };
+  return lookup;
+}
+
+exports.NO_DECLARED_TYPES = NO_DECLARED_TYPES;
+exports.declaredTypeLookup = declaredTypeLookup;
+//# sourceMappingURL=declared-types.cjs.map

package/dist/application/transform/document/declared-types.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-types.cjs","sources":["../../../../src/application/transform/document/declared-types.ts"],"sourcesContent":["import type { IrDeclaration, IrMember, IrType } from \"../../../domain/ir/nodes.js\";\n\n/**\n * The type a reference of the generated file names, read from the file's declarations: the\n * `--path-params-as-types` overlap check compares two path items through the operations and\n * components they reference (upstream #1752).\n */\n\n/** The declared type a reference names, or null when the type is no such reference. */\nexport type DeclaredTypeLookup = (type: IrType) => IrType | null;\n\n/** Knows no declaration: every reference stays unresolved. */\nexport const NO_DECLARED_TYPES: DeclaredTypeLookup = () => null;\n\n/** A reference without type arguments and the string keys indexing it: `components[\"schemas\"]`. */\ninterface IndexedName {\n  readonly name: string;\n  readonly keys: readonly string[];\n}\n\nfunction indexedNameOf(type: IrType): IndexedName | null {\n  if (type.kind === \"reference\") {\n    return type.typeArguments.length === 0 ? { name: type.name, keys: [] } : null;\n  }\n  if (type.kind !== \"indexedAccess\" || type.index.kind !== \"stringLiteral\") {\n    return null;\n  }\n  const object = indexedNameOf(type.object);\n  return object === null ? null : { ...object, keys: [...object.keys, type.index.value] };\n}\n\nfunction memberName(member: IrMember): string | null {\n  if (member.kind !== \"property\") {\n    return null;\n  }\n  return member.name.kind === \"string\" ? member.name.value : member.name.text;\n}\n\n/**\n * The type of the required property `key`. An optional one is `T | undefined` when indexed, which\n * is not the declared type, so it is not followed.\n */\nfunction propertyType(type: IrType, key: string): IrType | null {\n  if (type.kind !== \"object\") {\n    return null;\n  }\n  const member = type.members.find((candidate) => memberName(candidate) === key);\n  return member?.kind === \"property\" && !member.isOptional ? member.type : null;\n}\n\nfunction declarationType(declaration: IrDeclaration): IrType | null {\n  switch (declaration.kind) {\n    case \"interface\":\n      return { kind: \"object\", members: declaration.members };\n    case \"typeAlias\":\n      return declaration.type;\n    case \"enum\":\n    case \"constArray\":\n    case \"rawDeclaration\":\n      return null;\n  }\n}\n\n/**\n * A lookup over the declarations. Only a name declared once is read: a second declaration of an\n * interface merges with the first, which this lookup does not model.\n */\nexport function declaredTypeLookup(declarations: readonly IrDeclaration[]): DeclaredTypeLookup {\n  const byName = new Map<string, IrType | null>();\n  for (const declaration of declarations) {\n    if (\"name\" in declaration && declaration.name !== undefined) {\n      const isRepeated = byName.has(declaration.name);\n      byName.set(declaration.name, isRepeated ? null : declarationType(declaration));\n    }\n  }\n  // References being resolved: a reference that indexes into itself names no type.\n  const resolving = new Set<IrType>();\n  const lookup: DeclaredTypeLookup = (type) => {\n    const indexed = indexedNameOf(type);\n    if (indexed === null || indexed.keys.length === 0 || resolving.has(type)) {\n      return null;\n    }\n    resolving.add(type);\n    // A key may index a property whose type is a reference again (`paths[\"/a\"][\"get\"]`).\n    const declared = indexed.keys.reduce<IrType | null>((object, key) => {\n      const named = object === null || object.kind === \"object\" ? object : lookup(object);\n      return named === null ? null : propertyType(named, key);\n    }, byName.get(indexed.name) ?? null);\n    resolving.delete(type);\n    return declared;\n  };\n  return lookup;\n}\n"],"names":[],"mappings":";;AAYO,MAAM,oBAAwC,MAAM;AAQ3D,SAAS,cAAc,IAAA,EAAkC;AACvD,EAAA,IAAI,IAAA,CAAK,SAAS,WAAA,EAAa;AAC7B,IAAA,OAAO,IAAA,CAAK,aAAA,CAAc,MAAA,KAAW,CAAA,GAAI,EAAE,IAAA,EAAM,IAAA,CAAK,IAAA,EAAM,IAAA,EAAM,EAAC,EAAE,GAAI,IAAA;AAAA,EAC3E;AACA,EAAA,IAAI,KAAK,IAAA,KAAS,eAAA,IAAmB,IAAA,CAAK,KAAA,CAAM,SAAS,eAAA,EAAiB;AACxE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,aAAA,CAAc,IAAA,CAAK,MAAM,CAAA;AACxC,EAAA,OAAO,MAAA,KAAW,IAAA,GAAO,IAAA,GAAO,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,CAAC,GAAG,MAAA,CAAO,IAAA,EAAM,IAAA,CAAK,KAAA,CAAM,KAAK,CAAA,EAAE;AACxF;AAEA,SAAS,WAAW,MAAA,EAAiC;AACnD,EAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,MAAA,CAAO,KAAK,IAAA,KAAS,QAAA,GAAW,OAAO,IAAA,CAAK,KAAA,GAAQ,OAAO,IAAA,CAAK,IAAA;AACzE;AAMA,SAAS,YAAA,CAAa,MAAc,GAAA,EAA4B;AAC9D,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,KAAK,OAAA,CAAQ,IAAA,CAAK,CAAC,SAAA,KAAc,UAAA,CAAW,SAAS,CAAA,KAAM,GAAG,CAAA;AAC7E,EAAA,OAAO,QAAQ,IAAA,KAAS,UAAA,IAAc,CAAC,MAAA,CAAO,UAAA,GAAa,OAAO,IAAA,GAAO,IAAA;AAC3E;AAEA,SAAS,gBAAgB,WAAA,EAA2C;AAClE,EAAA,QAAQ,YAAY,IAAA;AAAM,IACxB,KAAK,WAAA;AACH,MAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,YAAY,OAAA,EAAQ;AAAA,IACxD,KAAK,WAAA;AACH,MAAA,OAAO,WAAA,CAAY,IAAA;AAAA,IACrB,KAAK,MAAA;AAAA,IACL,KAAK,YAAA;AAAA,IACL,KAAK,gBAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAEb;AAMO,SAAS,mBAAmB,YAAA,EAA4D;AAC7F,EAAA,MAAM,MAAA,uBAAa,GAAA,EAA2B;AAC9C,EAAA,KAAA,MAAW,eAAe,YAAA,EAAc;AACtC,IAAA,IAAI,MAAA,IAAU,WAAA,IAAe,WAAA,CAAY,IAAA,KAAS,MAAA,EAAW;AAC3D,MAAA,MAAM,UAAA,GAAa,MAAA,CAAO,GAAA,CAAI,WAAA,CAAY,IAAI,CAAA;AAC9C,MAAA,MAAA,CAAO,IAAI,WAAA,CAAY,IAAA,EAAM,aAAa,IAAA,GAAO,eAAA,CAAgB,WAAW,CAAC,CAAA;AAAA,IAC/E;AAAA,EACF;AAEA,EAAA,MAAM,SAAA,uBAAgB,GAAA,EAAY;AAClC,EAAA,MAAM,MAAA,GAA6B,CAAC,IAAA,KAAS;AAC3C,IAAA,MAAM,OAAA,GAAU,cAAc,IAAI,CAAA;AAClC,IAAA,IAAI,OAAA,KAAY,QAAQ,OAAA,CAAQ,IAAA,CAAK,WAAW,CAAA,IAAK,SAAA,CAAU,GAAA,CAAI,IAAI,CAAA,EAAG;AACxE,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,SAAA,CAAU,IAAI,IAAI,CAAA;AAElB,IAAA,MAAM,WAAW,OAAA,CAAQ,IAAA,CAAK,MAAA,CAAsB,CAAC,QAAQ,GAAA,KAAQ;AACnE,MAAA,MAAM,KAAA,GAAQ,WAAW,IAAA,IAAQ,MAAA,CAAO,SAAS,QAAA,GAAW,MAAA,GAAS,OAAO,MAAM,CAAA;AAClF,MAAA,OAAO,KAAA,KAAU,IAAA,GAAO,IAAA,GAAO,YAAA,CAAa,OAAO,GAAG,CAAA;AAAA,IACxD,GAAG,MAAA,CAAO,GAAA,CAAI,OAAA,CAAQ,IAAI,KAAK,IAAI,CAAA;AACnC,IAAA,SAAA,CAAU,OAAO,IAAI,CAAA;AACrB,IAAA,OAAO,QAAA;AAAA,EACT,CAAA;AACA,EAAA,OAAO,MAAA;AACT;;;"}

package/dist/application/transform/document/declared-types.mjs

@@ -0,0 +1,63 @@
+const NO_DECLARED_TYPES = () => null;
+function indexedNameOf(type) {
+  if (type.kind === "reference") {
+    return type.typeArguments.length === 0 ? { name: type.name, keys: [] } : null;
+  }
+  if (type.kind !== "indexedAccess" || type.index.kind !== "stringLiteral") {
+    return null;
+  }
+  const object = indexedNameOf(type.object);
+  return object === null ? null : { ...object, keys: [...object.keys, type.index.value] };
+}
+function memberName(member) {
+  if (member.kind !== "property") {
+    return null;
+  }
+  return member.name.kind === "string" ? member.name.value : member.name.text;
+}
+function propertyType(type, key) {
+  if (type.kind !== "object") {
+    return null;
+  }
+  const member = type.members.find((candidate) => memberName(candidate) === key);
+  return member?.kind === "property" && !member.isOptional ? member.type : null;
+}
+function declarationType(declaration) {
+  switch (declaration.kind) {
+    case "interface":
+      return { kind: "object", members: declaration.members };
+    case "typeAlias":
+      return declaration.type;
+    case "enum":
+    case "constArray":
+    case "rawDeclaration":
+      return null;
+  }
+}
+function declaredTypeLookup(declarations) {
+  const byName = /* @__PURE__ */ new Map();
+  for (const declaration of declarations) {
+    if ("name" in declaration && declaration.name !== void 0) {
+      const isRepeated = byName.has(declaration.name);
+      byName.set(declaration.name, isRepeated ? null : declarationType(declaration));
+    }
+  }
+  const resolving = /* @__PURE__ */ new Set();
+  const lookup = (type) => {
+    const indexed = indexedNameOf(type);
+    if (indexed === null || indexed.keys.length === 0 || resolving.has(type)) {
+      return null;
+    }
+    resolving.add(type);
+    const declared = indexed.keys.reduce((object, key) => {
+      const named = object === null || object.kind === "object" ? object : lookup(object);
+      return named === null ? null : propertyType(named, key);
+    }, byName.get(indexed.name) ?? null);
+    resolving.delete(type);
+    return declared;
+  };
+  return lookup;
+}
+
+export { NO_DECLARED_TYPES, declaredTypeLookup };
+//# sourceMappingURL=declared-types.mjs.map

package/dist/application/transform/document/declared-types.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-types.mjs","sources":["../../../../src/application/transform/document/declared-types.ts"],"sourcesContent":["import type { IrDeclaration, IrMember, IrType } from \"../../../domain/ir/nodes.js\";\n\n/**\n * The type a reference of the generated file names, read from the file's declarations: the\n * `--path-params-as-types` overlap check compares two path items through the operations and\n * components they reference (upstream #1752).\n */\n\n/** The declared type a reference names, or null when the type is no such reference. */\nexport type DeclaredTypeLookup = (type: IrType) => IrType | null;\n\n/** Knows no declaration: every reference stays unresolved. */\nexport const NO_DECLARED_TYPES: DeclaredTypeLookup = () => null;\n\n/** A reference without type arguments and the string keys indexing it: `components[\"schemas\"]`. */\ninterface IndexedName {\n  readonly name: string;\n  readonly keys: readonly string[];\n}\n\nfunction indexedNameOf(type: IrType): IndexedName | null {\n  if (type.kind === \"reference\") {\n    return type.typeArguments.length === 0 ? { name: type.name, keys: [] } : null;\n  }\n  if (type.kind !== \"indexedAccess\" || type.index.kind !== \"stringLiteral\") {\n    return null;\n  }\n  const object = indexedNameOf(type.object);\n  return object === null ? null : { ...object, keys: [...object.keys, type.index.value] };\n}\n\nfunction memberName(member: IrMember): string | null {\n  if (member.kind !== \"property\") {\n    return null;\n  }\n  return member.name.kind === \"string\" ? member.name.value : member.name.text;\n}\n\n/**\n * The type of the required property `key`. An optional one is `T | undefined` when indexed, which\n * is not the declared type, so it is not followed.\n */\nfunction propertyType(type: IrType, key: string): IrType | null {\n  if (type.kind !== \"object\") {\n    return null;\n  }\n  const member = type.members.find((candidate) => memberName(candidate) === key);\n  return member?.kind === \"property\" && !member.isOptional ? member.type : null;\n}\n\nfunction declarationType(declaration: IrDeclaration): IrType | null {\n  switch (declaration.kind) {\n    case \"interface\":\n      return { kind: \"object\", members: declaration.members };\n    case \"typeAlias\":\n      return declaration.type;\n    case \"enum\":\n    case \"constArray\":\n    case \"rawDeclaration\":\n      return null;\n  }\n}\n\n/**\n * A lookup over the declarations. Only a name declared once is read: a second declaration of an\n * interface merges with the first, which this lookup does not model.\n */\nexport function declaredTypeLookup(declarations: readonly IrDeclaration[]): DeclaredTypeLookup {\n  const byName = new Map<string, IrType | null>();\n  for (const declaration of declarations) {\n    if (\"name\" in declaration && declaration.name !== undefined) {\n      const isRepeated = byName.has(declaration.name);\n      byName.set(declaration.name, isRepeated ? null : declarationType(declaration));\n    }\n  }\n  // References being resolved: a reference that indexes into itself names no type.\n  const resolving = new Set<IrType>();\n  const lookup: DeclaredTypeLookup = (type) => {\n    const indexed = indexedNameOf(type);\n    if (indexed === null || indexed.keys.length === 0 || resolving.has(type)) {\n      return null;\n    }\n    resolving.add(type);\n    // A key may index a property whose type is a reference again (`paths[\"/a\"][\"get\"]`).\n    const declared = indexed.keys.reduce<IrType | null>((object, key) => {\n      const named = object === null || object.kind === \"object\" ? object : lookup(object);\n      return named === null ? null : propertyType(named, key);\n    }, byName.get(indexed.name) ?? null);\n    resolving.delete(type);\n    return declared;\n  };\n  return lookup;\n}\n"],"names":[],"mappings":"AAYO,MAAM,oBAAwC,MAAM;AAQ3D,SAAS,cAAc,IAAA,EAAkC;AACvD,EAAA,IAAI,IAAA,CAAK,SAAS,WAAA,EAAa;AAC7B,IAAA,OAAO,IAAA,CAAK,aAAA,CAAc,MAAA,KAAW,CAAA,GAAI,EAAE,IAAA,EAAM,IAAA,CAAK,IAAA,EAAM,IAAA,EAAM,EAAC,EAAE,GAAI,IAAA;AAAA,EAC3E;AACA,EAAA,IAAI,KAAK,IAAA,KAAS,eAAA,IAAmB,IAAA,CAAK,KAAA,CAAM,SAAS,eAAA,EAAiB;AACxE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,aAAA,CAAc,IAAA,CAAK,MAAM,CAAA;AACxC,EAAA,OAAO,MAAA,KAAW,IAAA,GAAO,IAAA,GAAO,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,CAAC,GAAG,MAAA,CAAO,IAAA,EAAM,IAAA,CAAK,KAAA,CAAM,KAAK,CAAA,EAAE;AACxF;AAEA,SAAS,WAAW,MAAA,EAAiC;AACnD,EAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,MAAA,CAAO,KAAK,IAAA,KAAS,QAAA,GAAW,OAAO,IAAA,CAAK,KAAA,GAAQ,OAAO,IAAA,CAAK,IAAA;AACzE;AAMA,SAAS,YAAA,CAAa,MAAc,GAAA,EAA4B;AAC9D,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,KAAK,OAAA,CAAQ,IAAA,CAAK,CAAC,SAAA,KAAc,UAAA,CAAW,SAAS,CAAA,KAAM,GAAG,CAAA;AAC7E,EAAA,OAAO,QAAQ,IAAA,KAAS,UAAA,IAAc,CAAC,MAAA,CAAO,UAAA,GAAa,OAAO,IAAA,GAAO,IAAA;AAC3E;AAEA,SAAS,gBAAgB,WAAA,EAA2C;AAClE,EAAA,QAAQ,YAAY,IAAA;AAAM,IACxB,KAAK,WAAA;AACH,MAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,YAAY,OAAA,EAAQ;AAAA,IACxD,KAAK,WAAA;AACH,MAAA,OAAO,WAAA,CAAY,IAAA;AAAA,IACrB,KAAK,MAAA;AAAA,IACL,KAAK,YAAA;AAAA,IACL,KAAK,gBAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAEb;AAMO,SAAS,mBAAmB,YAAA,EAA4D;AAC7F,EAAA,MAAM,MAAA,uBAAa,GAAA,EAA2B;AAC9C,EAAA,KAAA,MAAW,eAAe,YAAA,EAAc;AACtC,IAAA,IAAI,MAAA,IAAU,WAAA,IAAe,WAAA,CAAY,IAAA,KAAS,MAAA,EAAW;AAC3D,MAAA,MAAM,UAAA,GAAa,MAAA,CAAO,GAAA,CAAI,WAAA,CAAY,IAAI,CAAA;AAC9C,MAAA,MAAA,CAAO,IAAI,WAAA,CAAY,IAAA,EAAM,aAAa,IAAA,GAAO,eAAA,CAAgB,WAAW,CAAC,CAAA;AAAA,IAC/E;AAAA,EACF;AAEA,EAAA,MAAM,SAAA,uBAAgB,GAAA,EAAY;AAClC,EAAA,MAAM,MAAA,GAA6B,CAAC,IAAA,KAAS;AAC3C,IAAA,MAAM,OAAA,GAAU,cAAc,IAAI,CAAA;AAClC,IAAA,IAAI,OAAA,KAAY,QAAQ,OAAA,CAAQ,IAAA,CAAK,WAAW,CAAA,IAAK,SAAA,CAAU,GAAA,CAAI,IAAI,CAAA,EAAG;AACxE,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,SAAA,CAAU,IAAI,IAAI,CAAA;AAElB,IAAA,MAAM,WAAW,OAAA,CAAQ,IAAA,CAAK,MAAA,CAAsB,CAAC,QAAQ,GAAA,KAAQ;AACnE,MAAA,MAAM,KAAA,GAAQ,WAAW,IAAA,IAAQ,MAAA,CAAO,SAAS,QAAA,GAAW,MAAA,GAAS,OAAO,MAAM,CAAA;AAClF,MAAA,OAAO,KAAA,KAAU,IAAA,GAAO,IAAA,GAAO,YAAA,CAAa,OAAO,GAAG,CAAA;AAAA,IACxD,GAAG,MAAA,CAAO,GAAA,CAAI,OAAA,CAAQ,IAAI,KAAK,IAAI,CAAA;AACnC,IAAA,SAAA,CAAU,OAAO,IAAI,CAAA;AACrB,IAAA,OAAO,QAAA;AAAA,EACT,CAAA;AACA,EAAA,OAAO,MAAA;AACT;;"}

package/dist/application/transform/document/document.cjs

@@ -3,6 +3,7 @@
 const constructors = require('../../../domain/ir/constructors.cjs');
 const helperTypes = require('../helper-types.cjs');
 const components = require('./components.cjs');
+const declaredTypes = require('./declared-types.cjs');
 const defsRoot = require('./defs-root.cjs');
 const keptDeprecated$1 = require('./kept-deprecated.cjs');
 const paths = require('./paths.cjs');
@@ -16,7 +17,14 @@ function keptDeprecated(document, context) {
   return context.options.excludeDeprecated ? keptDeprecated$1.keptDeprecatedComponents(document, context.refs) : /* @__PURE__ */ new Set();
 }
 const ROOT_TRANSFORMS = {
-  paths: (node, context) => ({ type: paths.pathsType(node, context), aliases: [] }),
+  paths: (node, context) => {
+    const members = paths.pathMembers(node, context);
+    return {
+      type: constructors.irObject(members.map(({ member }) => member)),
+      aliases: [],
+      withDeclaredTypes: (lookup) => paths.pathsObjectType(members, lookup)
+    };
+  },
   webhooks: (node, context) => ({ type: webhooks.webhooksType(node, context), aliases: [] }),
   components: (node, context, document) => {
     const kept = keptDeprecated(document, context);
@@ -41,22 +49,39 @@ function rootDeclarations(root, document, context) {
   const node = document[root];
   if (!node || typeof node !== "object") {
     context.diagnostics.debug(`${root} done (skipped)`, 0);
-    return [emptyAlias(root)];
+    return { declarations: [emptyAlias(root)] };
   }
   const startedAt = context.diagnostics.now();
-  const { type, aliases } = ROOT_TRANSFORMS[root](node, context, document);
+  const { type, aliases, withDeclaredTypes } = ROOT_TRANSFORMS[root](node, context, document);
   if (!isRootBody(type)) {
     context.diagnostics.debug(`${root} done (skipped)`, 0);
-    return [emptyAlias(root), ...aliases];
+    return { declarations: [emptyAlias(root), ...aliases] };
   }
   const declaration = rootDeclaration(root, type, context.options);
   context.diagnostics.debug(`${root} done`, context.diagnostics.now() - startedAt);
-  return [declaration, ...aliases];
+  const finish = withDeclaredTypes && ((lookup) => {
+    const finished = withDeclaredTypes(lookup);
+    return isRootBody(finished) ? rootDeclaration(root, finished, context.options) : declaration;
+  });
+  return { declarations: [declaration, ...aliases], ...finish ? { finish } : {} };
+}
+function rootsDeclarations(document, context, footer) {
+  const roots = ROOT_KEYS.map((root) => rootDeclarations(root, document, context));
+  const transformed = roots.flatMap(({ declarations }) => declarations);
+  if (roots.every(({ finish }) => finish === void 0)) {
+    return transformed;
+  }
+  const lookup = declaredTypes.declaredTypeLookup([...transformed, ...footer()]);
+  return roots.flatMap(({ declarations, finish }) => {
+    const [declaration, ...aliases] = declarations;
+    return finish === void 0 || declaration === void 0 ? declarations : [finish(lookup), ...aliases];
+  });
 }
 function withoutBlankLinesAround(text) {
   return text.replace(/^(?:[ \t]*\r?\n)+/, "").trimEnd();
 }
-function documentBody(document, context) {
+const NO_FOOTER = () => [];
+function documentBody(document, context, footer = NO_FOOTER) {
   const declarations = [];
   if (context.options.readWriteMarkers) {
     declarations.push({ kind: "rawDeclaration", text: helperTypes.READ_WRITE_MARKER_TYPES });
@@ -65,9 +90,7 @@ function documentBody(document, context) {
   if (inject !== "") {
     declarations.push({ kind: "rawDeclaration", text: inject });
   }
-  for (const root of ROOT_KEYS) {
-    declarations.push(...rootDeclarations(root, document, context));
-  }
+  declarations.push(...rootsDeclarations(document, context, footer));
   return declarations;
 }
 function documentClosing(document, context, hasOperations) {

package/dist/application/transform/document/document.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"document.cjs","sources":["../../../../src/application/transform/document/document.ts"],"sourcesContent":["import { irKeyword, irRecord } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrDeclaration,\n  IrIntersectionType,\n  IrObjectType,\n  IrType,\n  IrTypeAliasDeclaration,\n} from \"../../../domain/ir/nodes.js\";\nimport type { ComponentsObject } from \"../../../domain/openapi/components-object.js\";\nimport type { DocumentObject } from \"../../../domain/openapi/document-object.js\";\nimport type { PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { READ_WRITE_MARKER_TYPES } from \"../helper-types.js\";\nimport type { TransformContext, TransformOptions } from \"../transform-context.js\";\nimport { componentsType } from \"./components.js\";\nimport { defsRootType } from \"./defs-root.js\";\nimport { keptDeprecatedComponents } from \"./kept-deprecated.js\";\nimport { pathsType } from \"./paths.js\";\nimport { apiPathsEnumDeclaration } from \"./paths-enum.js\";\nimport { webhooksType } from \"./webhooks.js\";\n\n/** The root types, in output order. */\nconst ROOT_KEYS = Object.freeze([\"paths\", \"webhooks\", \"components\", \"$defs\"] as const);\ntype RootKey = (typeof ROOT_KEYS)[number];\n\nconst OPERATIONS_NAME = \"operations\";\n/** The type of a root without members: `Record<string, never>`. */\nconst EMPTY_ROOT_TYPE = irRecord(irKeyword(\"string\"), irKeyword(\"never\"));\n\n/** A root's type and the declarations that follow it (the `--root-types` aliases). */\ninterface RootResult {\n  readonly type: IrType;\n  readonly aliases: readonly IrTypeAliasDeclaration[];\n}\n\ntype RootTransform = (\n  node: object,\n  context: TransformContext,\n  document: DocumentObject,\n) => RootResult;\n\n/** Without `--exclude-deprecated` nothing is left out, so the scan is skipped. */\nfunction keptDeprecated(document: DocumentObject, context: TransformContext): ReadonlySet<object> {\n  return context.options.excludeDeprecated\n    ? keptDeprecatedComponents(document, context.refs)\n    : new Set();\n}\n\nconst ROOT_TRANSFORMS: Readonly<Record<RootKey, RootTransform>> = {\n  paths: (node, context) => ({ type: pathsType(node as PathsObject, context), aliases: [] }),\n  webhooks: (node, context) => ({ type: webhooksType(node as PathsObject, context), aliases: [] }),\n  components: (node, context, document) => {\n    const kept = keptDeprecated(document, context);\n    const { type, rootTypes } = componentsType(node as ComponentsObject, context, kept);\n    return { type, aliases: rootTypes };\n  },\n  $defs: (node, context) => ({\n    type: defsRootType(node as NonNullable<DocumentObject[\"$defs\"]>, context),\n    aliases: [],\n  }),\n};\n\nfunction emptyAlias(name: string): IrTypeAliasDeclaration {\n  return { kind: \"typeAlias\", name, isExported: true, type: EMPTY_ROOT_TYPE, comments: [] };\n}\n\n/** A root type that declares something: an object with members, or an intersection of them. */\ntype RootBodyType = IrObjectType | IrIntersectionType;\n\nfunction isRootBody(type: IrType): type is RootBodyType {\n  return (type.kind === \"object\" && type.members.length > 0) || type.kind === \"intersection\";\n}\n\n/**\n * A root with members: an interface, or a type alias with `--export-type`. An intersection (the\n * `paths` of overlapping `--path-params-as-types` keys) can only be a type alias.\n */\nfunction rootDeclaration(\n  name: RootKey,\n  type: RootBodyType,\n  options: TransformOptions,\n): IrDeclaration {\n  return options.exportType || type.kind === \"intersection\"\n    ? { kind: \"typeAlias\", name, isExported: true, type, comments: [] }\n    : { kind: \"interface\", name, isExported: true, members: type.members, comments: [] };\n}\n\n/**\n * The declarations of one root. A root that is missing, or whose type has no members, is\n * `Record<string, never>`. Only an object type (or the `paths` intersection) counts as having\n * members: a callback type the IR keeps as raw text does not (ADR-004).\n */\nfunction rootDeclarations(\n  root: RootKey,\n  document: DocumentObject,\n  context: TransformContext,\n): IrDeclaration[] {\n  const node: unknown = document[root];\n  if (!node || typeof node !== \"object\") {\n    context.diagnostics.debug(`${root} done (skipped)`, 0);\n    return [emptyAlias(root)];\n  }\n  const startedAt = context.diagnostics.now();\n  const { type, aliases } = ROOT_TRANSFORMS[root](node, context, document);\n  if (!isRootBody(type)) {\n    context.diagnostics.debug(`${root} done (skipped)`, 0);\n    return [emptyAlias(root), ...aliases];\n  }\n  const declaration = rootDeclaration(root, type, context.options);\n  context.diagnostics.debug(`${root} done`, context.diagnostics.now() - startedAt);\n  return [declaration, ...aliases];\n}\n\n/**\n * The `inject` text as written (ADR-010, decision 4), without the blank lines around it. The\n * original reprinted it with the TypeScript printer; text without code printed nothing then.\n */\nfunction withoutBlankLinesAround(text: string): string {\n  return text.replace(/^(?:[ \\t]*\\r?\\n)+/, \"\").trimEnd();\n}\n\n/**\n * The document's declarations before the footer: helper types, injected code, then one root type\n * per root key with the aliases that follow it.\n */\nexport function documentBody(document: DocumentObject, context: TransformContext): IrDeclaration[] {\n  const declarations: IrDeclaration[] = [];\n  if (context.options.readWriteMarkers) {\n    declarations.push({ kind: \"rawDeclaration\", text: READ_WRITE_MARKER_TYPES });\n  }\n  const inject = withoutBlankLinesAround(context.options.inject ?? \"\");\n  if (inject !== \"\") {\n    declarations.push({ kind: \"rawDeclaration\", text: inject });\n  }\n  for (const root of ROOT_KEYS) {\n    declarations.push(...rootDeclarations(root, document, context));\n  }\n  return declarations;\n}\n\n/**\n * The declarations after the footer: an empty `operations` type when the footer has no\n * operations, and the `--make-paths-enum` enum.\n */\nexport function documentClosing(\n  document: DocumentObject,\n  context: TransformContext,\n  hasOperations: boolean,\n): IrDeclaration[] {\n  const declarations: IrDeclaration[] = [];\n  if (!hasOperations) {\n    declarations.push(emptyAlias(OPERATIONS_NAME));\n  }\n  if (context.options.makePathsEnum && document.paths) {\n    declarations.push(apiPathsEnumDeclaration(document.paths));\n  }\n  return declarations;\n}\n"],"names":["irRecord","irKeyword","keptDeprecatedComponents","pathsType","webhooksType","componentsType","defsRootType","READ_WRITE_MARKER_TYPES","apiPathsEnumDeclaration"],"mappings":";;;;;;;;;;;AAqBA,MAAM,SAAA,GAAY,OAAO,MAAA,CAAO,CAAC,SAAS,UAAA,EAAY,YAAA,EAAc,OAAO,CAAU,CAAA;AAGrF,MAAM,eAAA,GAAkB,YAAA;AAExB,MAAM,kBAAkBA,qBAAA,CAASC,sBAAA,CAAU,QAAQ,CAAA,EAAGA,sBAAA,CAAU,OAAO,CAAC,CAAA;AAexE,SAAS,cAAA,CAAe,UAA0B,OAAA,EAAgD;AAChG,EAAA,OAAO,OAAA,CAAQ,QAAQ,iBAAA,GACnBC,yCAAA,CAAyB,UAAU,OAAA,CAAQ,IAAI,CAAA,mBAC/C,IAAI,GAAA,EAAI;AACd;AAEA,MAAM,eAAA,GAA4D;AAAA,EAChE,KAAA,EAAO,CAAC,IAAA,EAAM,OAAA,MAAa,EAAE,IAAA,EAAMC,eAAA,CAAU,IAAA,EAAqB,OAAO,CAAA,EAAG,OAAA,EAAS,EAAC,EAAE,CAAA;AAAA,EACxF,QAAA,EAAU,CAAC,IAAA,EAAM,OAAA,MAAa,EAAE,IAAA,EAAMC,qBAAA,CAAa,IAAA,EAAqB,OAAO,CAAA,EAAG,OAAA,EAAS,EAAC,EAAE,CAAA;AAAA,EAC9F,UAAA,EAAY,CAAC,IAAA,EAAM,OAAA,EAAS,QAAA,KAAa;AACvC,IAAA,MAAM,IAAA,GAAO,cAAA,CAAe,QAAA,EAAU,OAAO,CAAA;AAC7C,IAAA,MAAM,EAAE,IAAA,EAAM,SAAA,KAAcC,yBAAA,CAAe,IAAA,EAA0B,SAAS,IAAI,CAAA;AAClF,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,SAAA,EAAU;AAAA,EACpC,CAAA;AAAA,EACA,KAAA,EAAO,CAAC,IAAA,EAAM,OAAA,MAAa;AAAA,IACzB,IAAA,EAAMC,qBAAA,CAAa,IAAA,EAA8C,OAAO,CAAA;AAAA,IACxE,SAAS;AAAC,GACZ;AACF,CAAA;AAEA,SAAS,WAAW,IAAA,EAAsC;AACxD,EAAA,OAAO,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,MAAM,IAAA,EAAM,eAAA,EAAiB,QAAA,EAAU,EAAC,EAAE;AAC1F;AAKA,SAAS,WAAW,IAAA,EAAoC;AACtD,EAAA,OAAQ,IAAA,CAAK,SAAS,QAAA,IAAY,IAAA,CAAK,QAAQ,MAAA,GAAS,CAAA,IAAM,KAAK,IAAA,KAAS,cAAA;AAC9E;AAMA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,OAAA,EACe;AACf,EAAA,OAAO,OAAA,CAAQ,UAAA,IAAc,IAAA,CAAK,IAAA,KAAS,cAAA,GACvC,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,EAAC,EAAE,GAChE,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,EAAS,QAAA,EAAU,EAAC,EAAE;AACvF;AAOA,SAAS,gBAAA,CACP,IAAA,EACA,QAAA,EACA,OAAA,EACiB;AACjB,EAAA,MAAM,IAAA,GAAgB,SAAS,IAAI,CAAA;AACnC,EAAA,IAAI,CAAC,IAAA,IAAQ,OAAO,IAAA,KAAS,QAAA,EAAU;AACrC,IAAA,OAAA,CAAQ,WAAA,CAAY,KAAA,CAAM,CAAA,EAAG,IAAI,mBAAmB,CAAC,CAAA;AACrD,IAAA,OAAO,CAAC,UAAA,CAAW,IAAI,CAAC,CAAA;AAAA,EAC1B;AACA,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,EAAA,MAAM,EAAE,MAAM,OAAA,EAAQ,GAAI,gBAAgB,IAAI,CAAA,CAAE,IAAA,EAAM,OAAA,EAAS,QAAQ,CAAA;AACvE,EAAA,IAAI,CAAC,UAAA,CAAW,IAAI,CAAA,EAAG;AACrB,IAAA,OAAA,CAAQ,WAAA,CAAY,KAAA,CAAM,CAAA,EAAG,IAAI,mBAAmB,CAAC,CAAA;AACrD,IAAA,OAAO,CAAC,UAAA,CAAW,IAAI,CAAA,EAAG,GAAG,OAAO,CAAA;AAAA,EACtC;AACA,EAAA,MAAM,WAAA,GAAc,eAAA,CAAgB,IAAA,EAAM,IAAA,EAAM,QAAQ,OAAO,CAAA;AAC/D,EAAA,OAAA,CAAQ,WAAA,CAAY,MAAM,CAAA,EAAG,IAAI,SAAS,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI,SAAS,CAAA;AAC/E,EAAA,OAAO,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA;AACjC;AAMA,SAAS,wBAAwB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,mBAAA,EAAqB,EAAE,EAAE,OAAA,EAAQ;AACvD;AAMO,SAAS,YAAA,CAAa,UAA0B,OAAA,EAA4C;AACjG,EAAA,MAAM,eAAgC,EAAC;AACvC,EAAA,IAAI,OAAA,CAAQ,QAAQ,gBAAA,EAAkB;AACpC,IAAA,YAAA,CAAa,KAAK,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAMC,qCAAyB,CAAA;AAAA,EAC7E;AACA,EAAA,MAAM,MAAA,GAAS,uBAAA,CAAwB,OAAA,CAAQ,OAAA,CAAQ,UAAU,EAAE,CAAA;AACnE,EAAA,IAAI,WAAW,EAAA,EAAI;AACjB,IAAA,YAAA,CAAa,KAAK,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,QAAQ,CAAA;AAAA,EAC5D;AACA,EAAA,KAAA,MAAW,QAAQ,SAAA,EAAW;AAC5B,IAAA,YAAA,CAAa,KAAK,GAAG,gBAAA,CAAiB,IAAA,EAAM,QAAA,EAAU,OAAO,CAAC,CAAA;AAAA,EAChE;AACA,EAAA,OAAO,YAAA;AACT;AAMO,SAAS,eAAA,CACd,QAAA,EACA,OAAA,EACA,aAAA,EACiB;AACjB,EAAA,MAAM,eAAgC,EAAC;AACvC,EAAA,IAAI,CAAC,aAAA,EAAe;AAClB,IAAA,YAAA,CAAa,IAAA,CAAK,UAAA,CAAW,eAAe,CAAC,CAAA;AAAA,EAC/C;AACA,EAAA,IAAI,OAAA,CAAQ,OAAA,CAAQ,aAAA,IAAiB,QAAA,CAAS,KAAA,EAAO;AACnD,IAAA,YAAA,CAAa,IAAA,CAAKC,iCAAA,CAAwB,QAAA,CAAS,KAAK,CAAC,CAAA;AAAA,EAC3D;AACA,EAAA,OAAO,YAAA;AACT;;;"}
+{"version":3,"file":"document.cjs","sources":["../../../../src/application/transform/document/document.ts"],"sourcesContent":["import { irKeyword, irObject, irRecord } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrDeclaration,\n  IrIntersectionType,\n  IrObjectType,\n  IrType,\n  IrTypeAliasDeclaration,\n} from \"../../../domain/ir/nodes.js\";\nimport type { ComponentsObject } from \"../../../domain/openapi/components-object.js\";\nimport type { DocumentObject } from \"../../../domain/openapi/document-object.js\";\nimport type { PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { READ_WRITE_MARKER_TYPES } from \"../helper-types.js\";\nimport type { TransformContext, TransformOptions } from \"../transform-context.js\";\nimport { componentsType } from \"./components.js\";\nimport { type DeclaredTypeLookup, declaredTypeLookup } from \"./declared-types.js\";\nimport { defsRootType } from \"./defs-root.js\";\nimport { keptDeprecatedComponents } from \"./kept-deprecated.js\";\nimport { pathMembers, pathsObjectType } from \"./paths.js\";\nimport { apiPathsEnumDeclaration } from \"./paths-enum.js\";\nimport { webhooksType } from \"./webhooks.js\";\n\n/** The root types, in output order. */\nconst ROOT_KEYS = Object.freeze([\"paths\", \"webhooks\", \"components\", \"$defs\"] as const);\ntype RootKey = (typeof ROOT_KEYS)[number];\n\nconst OPERATIONS_NAME = \"operations\";\n/** The type of a root without members: `Record<string, never>`. */\nconst EMPTY_ROOT_TYPE = irRecord(irKeyword(\"string\"), irKeyword(\"never\"));\n\n/** A root's type and the declarations that follow it (the `--root-types` aliases). */\ninterface RootResult {\n  readonly type: IrType;\n  readonly aliases: readonly IrTypeAliasDeclaration[];\n  /**\n   * The root's final type, for a root that reads the types the whole file declares (`paths`, whose\n   * overlap check follows references). `type` then only tells whether the root has members.\n   */\n  readonly withDeclaredTypes?: (lookup: DeclaredTypeLookup) => IrType;\n}\n\ntype RootTransform = (\n  node: object,\n  context: TransformContext,\n  document: DocumentObject,\n) => RootResult;\n\n/** Without `--exclude-deprecated` nothing is left out, so the scan is skipped. */\nfunction keptDeprecated(document: DocumentObject, context: TransformContext): ReadonlySet<object> {\n  return context.options.excludeDeprecated\n    ? keptDeprecatedComponents(document, context.refs)\n    : new Set();\n}\n\nconst ROOT_TRANSFORMS: Readonly<Record<RootKey, RootTransform>> = {\n  paths: (node, context) => {\n    const members = pathMembers(node as PathsObject, context);\n    return {\n      type: irObject(members.map(({ member }) => member)),\n      aliases: [],\n      withDeclaredTypes: (lookup) => pathsObjectType(members, lookup),\n    };\n  },\n  webhooks: (node, context) => ({ type: webhooksType(node as PathsObject, context), aliases: [] }),\n  components: (node, context, document) => {\n    const kept = keptDeprecated(document, context);\n    const { type, rootTypes } = componentsType(node as ComponentsObject, context, kept);\n    return { type, aliases: rootTypes };\n  },\n  $defs: (node, context) => ({\n    type: defsRootType(node as NonNullable<DocumentObject[\"$defs\"]>, context),\n    aliases: [],\n  }),\n};\n\nfunction emptyAlias(name: string): IrTypeAliasDeclaration {\n  return { kind: \"typeAlias\", name, isExported: true, type: EMPTY_ROOT_TYPE, comments: [] };\n}\n\n/** A root type that declares something: an object with members, or an intersection of them. */\ntype RootBodyType = IrObjectType | IrIntersectionType;\n\nfunction isRootBody(type: IrType): type is RootBodyType {\n  return (type.kind === \"object\" && type.members.length > 0) || type.kind === \"intersection\";\n}\n\n/**\n * A root with members: an interface, or a type alias with `--export-type`. An intersection (the\n * `paths` of overlapping `--path-params-as-types` keys) can only be a type alias.\n */\nfunction rootDeclaration(\n  name: RootKey,\n  type: RootBodyType,\n  options: TransformOptions,\n): IrDeclaration {\n  return options.exportType || type.kind === \"intersection\"\n    ? { kind: \"typeAlias\", name, isExported: true, type, comments: [] }\n    : { kind: \"interface\", name, isExported: true, members: type.members, comments: [] };\n}\n\n/**\n * The declarations of one root: its type, then its aliases. `finish` gives the root's declaration\n * again from the types the whole file declares, for a root with `withDeclaredTypes`.\n */\ninterface RootDeclarations {\n  readonly declarations: readonly IrDeclaration[];\n  readonly finish?: (lookup: DeclaredTypeLookup) => IrDeclaration;\n}\n\n/**\n * The declarations of one root. A root that is missing, or whose type has no members, is\n * `Record<string, never>`. Only an object type (or the `paths` intersection) counts as having\n * members: a callback type the IR keeps as raw text does not (ADR-004).\n */\nfunction rootDeclarations(\n  root: RootKey,\n  document: DocumentObject,\n  context: TransformContext,\n): RootDeclarations {\n  const node: unknown = document[root];\n  if (!node || typeof node !== \"object\") {\n    context.diagnostics.debug(`${root} done (skipped)`, 0);\n    return { declarations: [emptyAlias(root)] };\n  }\n  const startedAt = context.diagnostics.now();\n  const { type, aliases, withDeclaredTypes } = ROOT_TRANSFORMS[root](node, context, document);\n  if (!isRootBody(type)) {\n    context.diagnostics.debug(`${root} done (skipped)`, 0);\n    return { declarations: [emptyAlias(root), ...aliases] };\n  }\n  const declaration = rootDeclaration(root, type, context.options);\n  context.diagnostics.debug(`${root} done`, context.diagnostics.now() - startedAt);\n  const finish =\n    withDeclaredTypes &&\n    ((lookup: DeclaredTypeLookup) => {\n      const finished = withDeclaredTypes(lookup);\n      return isRootBody(finished) ? rootDeclaration(root, finished, context.options) : declaration;\n    });\n  return { declarations: [declaration, ...aliases], ...(finish ? { finish } : {}) };\n}\n\n/**\n * Every root's declarations in output order. A root with `finish` gets its declaration from the\n * types of the other roots and of the footer (the `operations` interface), which exist only once\n * every root is transformed.\n */\nfunction rootsDeclarations(\n  document: DocumentObject,\n  context: TransformContext,\n  footer: () => readonly IrDeclaration[],\n): IrDeclaration[] {\n  const roots = ROOT_KEYS.map((root) => rootDeclarations(root, document, context));\n  const transformed = roots.flatMap(({ declarations }) => declarations);\n  if (roots.every(({ finish }) => finish === undefined)) {\n    return transformed;\n  }\n  const lookup = declaredTypeLookup([...transformed, ...footer()]);\n  return roots.flatMap(({ declarations, finish }) => {\n    const [declaration, ...aliases] = declarations;\n    return finish === undefined || declaration === undefined\n      ? declarations\n      : [finish(lookup), ...aliases];\n  });\n}\n\n/**\n * The `inject` text as written (ADR-010, decision 4), without the blank lines around it. The\n * original reprinted it with the TypeScript printer; text without code printed nothing then.\n */\nfunction withoutBlankLinesAround(text: string): string {\n  return text.replace(/^(?:[ \\t]*\\r?\\n)+/, \"\").trimEnd();\n}\n\n/** No footer declarations: the roots' references to `operations` stay unresolved. */\nconst NO_FOOTER = (): readonly IrDeclaration[] => [];\n\n/**\n * The document's declarations before the footer: helper types, injected code, then one root type\n * per root key with the aliases that follow it. `footer` reads the footer's declarations once the\n * roots are transformed.\n */\nexport function documentBody(\n  document: DocumentObject,\n  context: TransformContext,\n  footer: () => readonly IrDeclaration[] = NO_FOOTER,\n): IrDeclaration[] {\n  const declarations: IrDeclaration[] = [];\n  if (context.options.readWriteMarkers) {\n    declarations.push({ kind: \"rawDeclaration\", text: READ_WRITE_MARKER_TYPES });\n  }\n  const inject = withoutBlankLinesAround(context.options.inject ?? \"\");\n  if (inject !== \"\") {\n    declarations.push({ kind: \"rawDeclaration\", text: inject });\n  }\n  declarations.push(...rootsDeclarations(document, context, footer));\n  return declarations;\n}\n\n/**\n * The declarations after the footer: an empty `operations` type when the footer has no\n * operations, and the `--make-paths-enum` enum.\n */\nexport function documentClosing(\n  document: DocumentObject,\n  context: TransformContext,\n  hasOperations: boolean,\n): IrDeclaration[] {\n  const declarations: IrDeclaration[] = [];\n  if (!hasOperations) {\n    declarations.push(emptyAlias(OPERATIONS_NAME));\n  }\n  if (context.options.makePathsEnum && document.paths) {\n    declarations.push(apiPathsEnumDeclaration(document.paths));\n  }\n  return declarations;\n}\n"],"names":["irRecord","irKeyword","keptDeprecatedComponents","pathMembers","irObject","pathsObjectType","webhooksType","componentsType","defsRootType","declaredTypeLookup","READ_WRITE_MARKER_TYPES","apiPathsEnumDeclaration"],"mappings":";;;;;;;;;;;;AAsBA,MAAM,SAAA,GAAY,OAAO,MAAA,CAAO,CAAC,SAAS,UAAA,EAAY,YAAA,EAAc,OAAO,CAAU,CAAA;AAGrF,MAAM,eAAA,GAAkB,YAAA;AAExB,MAAM,kBAAkBA,qBAAA,CAASC,sBAAA,CAAU,QAAQ,CAAA,EAAGA,sBAAA,CAAU,OAAO,CAAC,CAAA;AAoBxE,SAAS,cAAA,CAAe,UAA0B,OAAA,EAAgD;AAChG,EAAA,OAAO,OAAA,CAAQ,QAAQ,iBAAA,GACnBC,yCAAA,CAAyB,UAAU,OAAA,CAAQ,IAAI,CAAA,mBAC/C,IAAI,GAAA,EAAI;AACd;AAEA,MAAM,eAAA,GAA4D;AAAA,EAChE,KAAA,EAAO,CAAC,IAAA,EAAM,OAAA,KAAY;AACxB,IAAA,MAAM,OAAA,GAAUC,iBAAA,CAAY,IAAA,EAAqB,OAAO,CAAA;AACxD,IAAA,OAAO;AAAA,MACL,IAAA,EAAMC,sBAAS,OAAA,CAAQ,GAAA,CAAI,CAAC,EAAE,MAAA,EAAO,KAAM,MAAM,CAAC,CAAA;AAAA,MAClD,SAAS,EAAC;AAAA,MACV,iBAAA,EAAmB,CAAC,MAAA,KAAWC,qBAAA,CAAgB,SAAS,MAAM;AAAA,KAChE;AAAA,EACF,CAAA;AAAA,EACA,QAAA,EAAU,CAAC,IAAA,EAAM,OAAA,MAAa,EAAE,IAAA,EAAMC,qBAAA,CAAa,IAAA,EAAqB,OAAO,CAAA,EAAG,OAAA,EAAS,EAAC,EAAE,CAAA;AAAA,EAC9F,UAAA,EAAY,CAAC,IAAA,EAAM,OAAA,EAAS,QAAA,KAAa;AACvC,IAAA,MAAM,IAAA,GAAO,cAAA,CAAe,QAAA,EAAU,OAAO,CAAA;AAC7C,IAAA,MAAM,EAAE,IAAA,EAAM,SAAA,KAAcC,yBAAA,CAAe,IAAA,EAA0B,SAAS,IAAI,CAAA;AAClF,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,SAAA,EAAU;AAAA,EACpC,CAAA;AAAA,EACA,KAAA,EAAO,CAAC,IAAA,EAAM,OAAA,MAAa;AAAA,IACzB,IAAA,EAAMC,qBAAA,CAAa,IAAA,EAA8C,OAAO,CAAA;AAAA,IACxE,SAAS;AAAC,GACZ;AACF,CAAA;AAEA,SAAS,WAAW,IAAA,EAAsC;AACxD,EAAA,OAAO,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,MAAM,IAAA,EAAM,eAAA,EAAiB,QAAA,EAAU,EAAC,EAAE;AAC1F;AAKA,SAAS,WAAW,IAAA,EAAoC;AACtD,EAAA,OAAQ,IAAA,CAAK,SAAS,QAAA,IAAY,IAAA,CAAK,QAAQ,MAAA,GAAS,CAAA,IAAM,KAAK,IAAA,KAAS,cAAA;AAC9E;AAMA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,OAAA,EACe;AACf,EAAA,OAAO,OAAA,CAAQ,UAAA,IAAc,IAAA,CAAK,IAAA,KAAS,cAAA,GACvC,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,EAAC,EAAE,GAChE,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,EAAS,QAAA,EAAU,EAAC,EAAE;AACvF;AAgBA,SAAS,gBAAA,CACP,IAAA,EACA,QAAA,EACA,OAAA,EACkB;AAClB,EAAA,MAAM,IAAA,GAAgB,SAAS,IAAI,CAAA;AACnC,EAAA,IAAI,CAAC,IAAA,IAAQ,OAAO,IAAA,KAAS,QAAA,EAAU;AACrC,IAAA,OAAA,CAAQ,WAAA,CAAY,KAAA,CAAM,CAAA,EAAG,IAAI,mBAAmB,CAAC,CAAA;AACrD,IAAA,OAAO,EAAE,YAAA,EAAc,CAAC,UAAA,CAAW,IAAI,CAAC,CAAA,EAAE;AAAA,EAC5C;AACA,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,EAAA,MAAM,EAAE,IAAA,EAAM,OAAA,EAAS,iBAAA,EAAkB,GAAI,gBAAgB,IAAI,CAAA,CAAE,IAAA,EAAM,OAAA,EAAS,QAAQ,CAAA;AAC1F,EAAA,IAAI,CAAC,UAAA,CAAW,IAAI,CAAA,EAAG;AACrB,IAAA,OAAA,CAAQ,WAAA,CAAY,KAAA,CAAM,CAAA,EAAG,IAAI,mBAAmB,CAAC,CAAA;AACrD,IAAA,OAAO,EAAE,cAAc,CAAC,UAAA,CAAW,IAAI,CAAA,EAAG,GAAG,OAAO,CAAA,EAAE;AAAA,EACxD;AACA,EAAA,MAAM,WAAA,GAAc,eAAA,CAAgB,IAAA,EAAM,IAAA,EAAM,QAAQ,OAAO,CAAA;AAC/D,EAAA,OAAA,CAAQ,WAAA,CAAY,MAAM,CAAA,EAAG,IAAI,SAAS,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI,SAAS,CAAA;AAC/E,EAAA,MAAM,MAAA,GACJ,iBAAA,KACC,CAAC,MAAA,KAA+B;AAC/B,IAAA,MAAM,QAAA,GAAW,kBAAkB,MAAM,CAAA;AACzC,IAAA,OAAO,UAAA,CAAW,QAAQ,CAAA,GAAI,eAAA,CAAgB,MAAM,QAAA,EAAU,OAAA,CAAQ,OAAO,CAAA,GAAI,WAAA;AAAA,EACnF,CAAA,CAAA;AACF,EAAA,OAAO,EAAE,YAAA,EAAc,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,EAAG,GAAI,MAAA,GAAS,EAAE,MAAA,EAAO,GAAI,EAAC,EAAG;AAClF;AAOA,SAAS,iBAAA,CACP,QAAA,EACA,OAAA,EACA,MAAA,EACiB;AACjB,EAAA,MAAM,KAAA,GAAQ,UAAU,GAAA,CAAI,CAAC,SAAS,gBAAA,CAAiB,IAAA,EAAM,QAAA,EAAU,OAAO,CAAC,CAAA;AAC/E,EAAA,MAAM,cAAc,KAAA,CAAM,OAAA,CAAQ,CAAC,EAAE,YAAA,OAAmB,YAAY,CAAA;AACpE,EAAA,IAAI,KAAA,CAAM,MAAM,CAAC,EAAE,QAAO,KAAM,MAAA,KAAW,MAAS,CAAA,EAAG;AACrD,IAAA,OAAO,WAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAASC,iCAAmB,CAAC,GAAG,aAAa,GAAG,MAAA,EAAQ,CAAC,CAAA;AAC/D,EAAA,OAAO,MAAM,OAAA,CAAQ,CAAC,EAAE,YAAA,EAAc,QAAO,KAAM;AACjD,IAAA,MAAM,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,GAAI,YAAA;AAClC,IAAA,OAAO,MAAA,KAAW,MAAA,IAAa,WAAA,KAAgB,MAAA,GAC3C,YAAA,GACA,CAAC,MAAA,CAAO,MAAM,CAAA,EAAG,GAAG,OAAO,CAAA;AAAA,EACjC,CAAC,CAAA;AACH;AAMA,SAAS,wBAAwB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,mBAAA,EAAqB,EAAE,EAAE,OAAA,EAAQ;AACvD;AAGA,MAAM,SAAA,GAAY,MAAgC,EAAC;AAO5C,SAAS,YAAA,CACd,QAAA,EACA,OAAA,EACA,MAAA,GAAyC,SAAA,EACxB;AACjB,EAAA,MAAM,eAAgC,EAAC;AACvC,EAAA,IAAI,OAAA,CAAQ,QAAQ,gBAAA,EAAkB;AACpC,IAAA,YAAA,CAAa,KAAK,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAMC,qCAAyB,CAAA;AAAA,EAC7E;AACA,EAAA,MAAM,MAAA,GAAS,uBAAA,CAAwB,OAAA,CAAQ,OAAA,CAAQ,UAAU,EAAE,CAAA;AACnE,EAAA,IAAI,WAAW,EAAA,EAAI;AACjB,IAAA,YAAA,CAAa,KAAK,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,QAAQ,CAAA;AAAA,EAC5D;AACA,EAAA,YAAA,CAAa,KAAK,GAAG,iBAAA,CAAkB,QAAA,EAAU,OAAA,EAAS,MAAM,CAAC,CAAA;AACjE,EAAA,OAAO,YAAA;AACT;AAMO,SAAS,eAAA,CACd,QAAA,EACA,OAAA,EACA,aAAA,EACiB;AACjB,EAAA,MAAM,eAAgC,EAAC;AACvC,EAAA,IAAI,CAAC,aAAA,EAAe;AAClB,IAAA,YAAA,CAAa,IAAA,CAAK,UAAA,CAAW,eAAe,CAAC,CAAA;AAAA,EAC/C;AACA,EAAA,IAAI,OAAA,CAAQ,OAAA,CAAQ,aAAA,IAAiB,QAAA,CAAS,KAAA,EAAO;AACnD,IAAA,YAAA,CAAa,IAAA,CAAKC,iCAAA,CAAwB,QAAA,CAAS,KAAK,CAAC,CAAA;AAAA,EAC3D;AACA,EAAA,OAAO,YAAA;AACT;;;"}

package/dist/application/transform/document/document.mjs

@@ -1,9 +1,10 @@
-import { irRecord, irKeyword } from '../../../domain/ir/constructors.mjs';
+import { irRecord, irObject, irKeyword } from '../../../domain/ir/constructors.mjs';
 import { READ_WRITE_MARKER_TYPES } from '../helper-types.mjs';
 import { componentsType } from './components.mjs';
+import { declaredTypeLookup } from './declared-types.mjs';
 import { defsRootType } from './defs-root.mjs';
 import { keptDeprecatedComponents } from './kept-deprecated.mjs';
-import { pathsType } from './paths.mjs';
+import { pathMembers, pathsObjectType } from './paths.mjs';
 import { apiPathsEnumDeclaration } from './paths-enum.mjs';
 import { webhooksType } from './webhooks.mjs';
 
@@ -14,7 +15,14 @@ function keptDeprecated(document, context) {
   return context.options.excludeDeprecated ? keptDeprecatedComponents(document, context.refs) : /* @__PURE__ */ new Set();
 }
 const ROOT_TRANSFORMS = {
-  paths: (node, context) => ({ type: pathsType(node, context), aliases: [] }),
+  paths: (node, context) => {
+    const members = pathMembers(node, context);
+    return {
+      type: irObject(members.map(({ member }) => member)),
+      aliases: [],
+      withDeclaredTypes: (lookup) => pathsObjectType(members, lookup)
+    };
+  },
   webhooks: (node, context) => ({ type: webhooksType(node, context), aliases: [] }),
   components: (node, context, document) => {
     const kept = keptDeprecated(document, context);
@@ -39,22 +47,39 @@ function rootDeclarations(root, document, context) {
   const node = document[root];
   if (!node || typeof node !== "object") {
     context.diagnostics.debug(`${root} done (skipped)`, 0);
-    return [emptyAlias(root)];
+    return { declarations: [emptyAlias(root)] };
   }
   const startedAt = context.diagnostics.now();
-  const { type, aliases } = ROOT_TRANSFORMS[root](node, context, document);
+  const { type, aliases, withDeclaredTypes } = ROOT_TRANSFORMS[root](node, context, document);
   if (!isRootBody(type)) {
     context.diagnostics.debug(`${root} done (skipped)`, 0);
-    return [emptyAlias(root), ...aliases];
+    return { declarations: [emptyAlias(root), ...aliases] };
   }
   const declaration = rootDeclaration(root, type, context.options);
   context.diagnostics.debug(`${root} done`, context.diagnostics.now() - startedAt);
-  return [declaration, ...aliases];
+  const finish = withDeclaredTypes && ((lookup) => {
+    const finished = withDeclaredTypes(lookup);
+    return isRootBody(finished) ? rootDeclaration(root, finished, context.options) : declaration;
+  });
+  return { declarations: [declaration, ...aliases], ...finish ? { finish } : {} };
+}
+function rootsDeclarations(document, context, footer) {
+  const roots = ROOT_KEYS.map((root) => rootDeclarations(root, document, context));
+  const transformed = roots.flatMap(({ declarations }) => declarations);
+  if (roots.every(({ finish }) => finish === void 0)) {
+    return transformed;
+  }
+  const lookup = declaredTypeLookup([...transformed, ...footer()]);
+  return roots.flatMap(({ declarations, finish }) => {
+    const [declaration, ...aliases] = declarations;
+    return finish === void 0 || declaration === void 0 ? declarations : [finish(lookup), ...aliases];
+  });
 }
 function withoutBlankLinesAround(text) {
   return text.replace(/^(?:[ \t]*\r?\n)+/, "").trimEnd();
 }
-function documentBody(document, context) {
+const NO_FOOTER = () => [];
+function documentBody(document, context, footer = NO_FOOTER) {
   const declarations = [];
   if (context.options.readWriteMarkers) {
     declarations.push({ kind: "rawDeclaration", text: READ_WRITE_MARKER_TYPES });
@@ -63,9 +88,7 @@ function documentBody(document, context) {
   if (inject !== "") {
     declarations.push({ kind: "rawDeclaration", text: inject });
   }
-  for (const root of ROOT_KEYS) {
-    declarations.push(...rootDeclarations(root, document, context));
-  }
+  declarations.push(...rootsDeclarations(document, context, footer));
   return declarations;
 }
 function documentClosing(document, context, hasOperations) {

package/dist/application/transform/document/document.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"document.mjs","sources":["../../../../src/application/transform/document/document.ts"],"sourcesContent":["import { irKeyword, irRecord } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrDeclaration,\n  IrIntersectionType,\n  IrObjectType,\n  IrType,\n  IrTypeAliasDeclaration,\n} from \"../../../domain/ir/nodes.js\";\nimport type { ComponentsObject } from \"../../../domain/openapi/components-object.js\";\nimport type { DocumentObject } from \"../../../domain/openapi/document-object.js\";\nimport type { PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { READ_WRITE_MARKER_TYPES } from \"../helper-types.js\";\nimport type { TransformContext, TransformOptions } from \"../transform-context.js\";\nimport { componentsType } from \"./components.js\";\nimport { defsRootType } from \"./defs-root.js\";\nimport { keptDeprecatedComponents } from \"./kept-deprecated.js\";\nimport { pathsType } from \"./paths.js\";\nimport { apiPathsEnumDeclaration } from \"./paths-enum.js\";\nimport { webhooksType } from \"./webhooks.js\";\n\n/** The root types, in output order. */\nconst ROOT_KEYS = Object.freeze([\"paths\", \"webhooks\", \"components\", \"$defs\"] as const);\ntype RootKey = (typeof ROOT_KEYS)[number];\n\nconst OPERATIONS_NAME = \"operations\";\n/** The type of a root without members: `Record<string, never>`. */\nconst EMPTY_ROOT_TYPE = irRecord(irKeyword(\"string\"), irKeyword(\"never\"));\n\n/** A root's type and the declarations that follow it (the `--root-types` aliases). */\ninterface RootResult {\n  readonly type: IrType;\n  readonly aliases: readonly IrTypeAliasDeclaration[];\n}\n\ntype RootTransform = (\n  node: object,\n  context: TransformContext,\n  document: DocumentObject,\n) => RootResult;\n\n/** Without `--exclude-deprecated` nothing is left out, so the scan is skipped. */\nfunction keptDeprecated(document: DocumentObject, context: TransformContext): ReadonlySet<object> {\n  return context.options.excludeDeprecated\n    ? keptDeprecatedComponents(document, context.refs)\n    : new Set();\n}\n\nconst ROOT_TRANSFORMS: Readonly<Record<RootKey, RootTransform>> = {\n  paths: (node, context) => ({ type: pathsType(node as PathsObject, context), aliases: [] }),\n  webhooks: (node, context) => ({ type: webhooksType(node as PathsObject, context), aliases: [] }),\n  components: (node, context, document) => {\n    const kept = keptDeprecated(document, context);\n    const { type, rootTypes } = componentsType(node as ComponentsObject, context, kept);\n    return { type, aliases: rootTypes };\n  },\n  $defs: (node, context) => ({\n    type: defsRootType(node as NonNullable<DocumentObject[\"$defs\"]>, context),\n    aliases: [],\n  }),\n};\n\nfunction emptyAlias(name: string): IrTypeAliasDeclaration {\n  return { kind: \"typeAlias\", name, isExported: true, type: EMPTY_ROOT_TYPE, comments: [] };\n}\n\n/** A root type that declares something: an object with members, or an intersection of them. */\ntype RootBodyType = IrObjectType | IrIntersectionType;\n\nfunction isRootBody(type: IrType): type is RootBodyType {\n  return (type.kind === \"object\" && type.members.length > 0) || type.kind === \"intersection\";\n}\n\n/**\n * A root with members: an interface, or a type alias with `--export-type`. An intersection (the\n * `paths` of overlapping `--path-params-as-types` keys) can only be a type alias.\n */\nfunction rootDeclaration(\n  name: RootKey,\n  type: RootBodyType,\n  options: TransformOptions,\n): IrDeclaration {\n  return options.exportType || type.kind === \"intersection\"\n    ? { kind: \"typeAlias\", name, isExported: true, type, comments: [] }\n    : { kind: \"interface\", name, isExported: true, members: type.members, comments: [] };\n}\n\n/**\n * The declarations of one root. A root that is missing, or whose type has no members, is\n * `Record<string, never>`. Only an object type (or the `paths` intersection) counts as having\n * members: a callback type the IR keeps as raw text does not (ADR-004).\n */\nfunction rootDeclarations(\n  root: RootKey,\n  document: DocumentObject,\n  context: TransformContext,\n): IrDeclaration[] {\n  const node: unknown = document[root];\n  if (!node || typeof node !== \"object\") {\n    context.diagnostics.debug(`${root} done (skipped)`, 0);\n    return [emptyAlias(root)];\n  }\n  const startedAt = context.diagnostics.now();\n  const { type, aliases } = ROOT_TRANSFORMS[root](node, context, document);\n  if (!isRootBody(type)) {\n    context.diagnostics.debug(`${root} done (skipped)`, 0);\n    return [emptyAlias(root), ...aliases];\n  }\n  const declaration = rootDeclaration(root, type, context.options);\n  context.diagnostics.debug(`${root} done`, context.diagnostics.now() - startedAt);\n  return [declaration, ...aliases];\n}\n\n/**\n * The `inject` text as written (ADR-010, decision 4), without the blank lines around it. The\n * original reprinted it with the TypeScript printer; text without code printed nothing then.\n */\nfunction withoutBlankLinesAround(text: string): string {\n  return text.replace(/^(?:[ \\t]*\\r?\\n)+/, \"\").trimEnd();\n}\n\n/**\n * The document's declarations before the footer: helper types, injected code, then one root type\n * per root key with the aliases that follow it.\n */\nexport function documentBody(document: DocumentObject, context: TransformContext): IrDeclaration[] {\n  const declarations: IrDeclaration[] = [];\n  if (context.options.readWriteMarkers) {\n    declarations.push({ kind: \"rawDeclaration\", text: READ_WRITE_MARKER_TYPES });\n  }\n  const inject = withoutBlankLinesAround(context.options.inject ?? \"\");\n  if (inject !== \"\") {\n    declarations.push({ kind: \"rawDeclaration\", text: inject });\n  }\n  for (const root of ROOT_KEYS) {\n    declarations.push(...rootDeclarations(root, document, context));\n  }\n  return declarations;\n}\n\n/**\n * The declarations after the footer: an empty `operations` type when the footer has no\n * operations, and the `--make-paths-enum` enum.\n */\nexport function documentClosing(\n  document: DocumentObject,\n  context: TransformContext,\n  hasOperations: boolean,\n): IrDeclaration[] {\n  const declarations: IrDeclaration[] = [];\n  if (!hasOperations) {\n    declarations.push(emptyAlias(OPERATIONS_NAME));\n  }\n  if (context.options.makePathsEnum && document.paths) {\n    declarations.push(apiPathsEnumDeclaration(document.paths));\n  }\n  return declarations;\n}\n"],"names":[],"mappings":";;;;;;;;;AAqBA,MAAM,SAAA,GAAY,OAAO,MAAA,CAAO,CAAC,SAAS,UAAA,EAAY,YAAA,EAAc,OAAO,CAAU,CAAA;AAGrF,MAAM,eAAA,GAAkB,YAAA;AAExB,MAAM,kBAAkB,QAAA,CAAS,SAAA,CAAU,QAAQ,CAAA,EAAG,SAAA,CAAU,OAAO,CAAC,CAAA;AAexE,SAAS,cAAA,CAAe,UAA0B,OAAA,EAAgD;AAChG,EAAA,OAAO,OAAA,CAAQ,QAAQ,iBAAA,GACnB,wBAAA,CAAyB,UAAU,OAAA,CAAQ,IAAI,CAAA,mBAC/C,IAAI,GAAA,EAAI;AACd;AAEA,MAAM,eAAA,GAA4D;AAAA,EAChE,KAAA,EAAO,CAAC,IAAA,EAAM,OAAA,MAAa,EAAE,IAAA,EAAM,SAAA,CAAU,IAAA,EAAqB,OAAO,CAAA,EAAG,OAAA,EAAS,EAAC,EAAE,CAAA;AAAA,EACxF,QAAA,EAAU,CAAC,IAAA,EAAM,OAAA,MAAa,EAAE,IAAA,EAAM,YAAA,CAAa,IAAA,EAAqB,OAAO,CAAA,EAAG,OAAA,EAAS,EAAC,EAAE,CAAA;AAAA,EAC9F,UAAA,EAAY,CAAC,IAAA,EAAM,OAAA,EAAS,QAAA,KAAa;AACvC,IAAA,MAAM,IAAA,GAAO,cAAA,CAAe,QAAA,EAAU,OAAO,CAAA;AAC7C,IAAA,MAAM,EAAE,IAAA,EAAM,SAAA,KAAc,cAAA,CAAe,IAAA,EAA0B,SAAS,IAAI,CAAA;AAClF,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,SAAA,EAAU;AAAA,EACpC,CAAA;AAAA,EACA,KAAA,EAAO,CAAC,IAAA,EAAM,OAAA,MAAa;AAAA,IACzB,IAAA,EAAM,YAAA,CAAa,IAAA,EAA8C,OAAO,CAAA;AAAA,IACxE,SAAS;AAAC,GACZ;AACF,CAAA;AAEA,SAAS,WAAW,IAAA,EAAsC;AACxD,EAAA,OAAO,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,MAAM,IAAA,EAAM,eAAA,EAAiB,QAAA,EAAU,EAAC,EAAE;AAC1F;AAKA,SAAS,WAAW,IAAA,EAAoC;AACtD,EAAA,OAAQ,IAAA,CAAK,SAAS,QAAA,IAAY,IAAA,CAAK,QAAQ,MAAA,GAAS,CAAA,IAAM,KAAK,IAAA,KAAS,cAAA;AAC9E;AAMA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,OAAA,EACe;AACf,EAAA,OAAO,OAAA,CAAQ,UAAA,IAAc,IAAA,CAAK,IAAA,KAAS,cAAA,GACvC,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,EAAC,EAAE,GAChE,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,EAAS,QAAA,EAAU,EAAC,EAAE;AACvF;AAOA,SAAS,gBAAA,CACP,IAAA,EACA,QAAA,EACA,OAAA,EACiB;AACjB,EAAA,MAAM,IAAA,GAAgB,SAAS,IAAI,CAAA;AACnC,EAAA,IAAI,CAAC,IAAA,IAAQ,OAAO,IAAA,KAAS,QAAA,EAAU;AACrC,IAAA,OAAA,CAAQ,WAAA,CAAY,KAAA,CAAM,CAAA,EAAG,IAAI,mBAAmB,CAAC,CAAA;AACrD,IAAA,OAAO,CAAC,UAAA,CAAW,IAAI,CAAC,CAAA;AAAA,EAC1B;AACA,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,EAAA,MAAM,EAAE,MAAM,OAAA,EAAQ,GAAI,gBAAgB,IAAI,CAAA,CAAE,IAAA,EAAM,OAAA,EAAS,QAAQ,CAAA;AACvE,EAAA,IAAI,CAAC,UAAA,CAAW,IAAI,CAAA,EAAG;AACrB,IAAA,OAAA,CAAQ,WAAA,CAAY,KAAA,CAAM,CAAA,EAAG,IAAI,mBAAmB,CAAC,CAAA;AACrD,IAAA,OAAO,CAAC,UAAA,CAAW,IAAI,CAAA,EAAG,GAAG,OAAO,CAAA;AAAA,EACtC;AACA,EAAA,MAAM,WAAA,GAAc,eAAA,CAAgB,IAAA,EAAM,IAAA,EAAM,QAAQ,OAAO,CAAA;AAC/D,EAAA,OAAA,CAAQ,WAAA,CAAY,MAAM,CAAA,EAAG,IAAI,SAAS,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI,SAAS,CAAA;AAC/E,EAAA,OAAO,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA;AACjC;AAMA,SAAS,wBAAwB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,mBAAA,EAAqB,EAAE,EAAE,OAAA,EAAQ;AACvD;AAMO,SAAS,YAAA,CAAa,UAA0B,OAAA,EAA4C;AACjG,EAAA,MAAM,eAAgC,EAAC;AACvC,EAAA,IAAI,OAAA,CAAQ,QAAQ,gBAAA,EAAkB;AACpC,IAAA,YAAA,CAAa,KAAK,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,yBAAyB,CAAA;AAAA,EAC7E;AACA,EAAA,MAAM,MAAA,GAAS,uBAAA,CAAwB,OAAA,CAAQ,OAAA,CAAQ,UAAU,EAAE,CAAA;AACnE,EAAA,IAAI,WAAW,EAAA,EAAI;AACjB,IAAA,YAAA,CAAa,KAAK,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,QAAQ,CAAA;AAAA,EAC5D;AACA,EAAA,KAAA,MAAW,QAAQ,SAAA,EAAW;AAC5B,IAAA,YAAA,CAAa,KAAK,GAAG,gBAAA,CAAiB,IAAA,EAAM,QAAA,EAAU,OAAO,CAAC,CAAA;AAAA,EAChE;AACA,EAAA,OAAO,YAAA;AACT;AAMO,SAAS,eAAA,CACd,QAAA,EACA,OAAA,EACA,aAAA,EACiB;AACjB,EAAA,MAAM,eAAgC,EAAC;AACvC,EAAA,IAAI,CAAC,aAAA,EAAe;AAClB,IAAA,YAAA,CAAa,IAAA,CAAK,UAAA,CAAW,eAAe,CAAC,CAAA;AAAA,EAC/C;AACA,EAAA,IAAI,OAAA,CAAQ,OAAA,CAAQ,aAAA,IAAiB,QAAA,CAAS,KAAA,EAAO;AACnD,IAAA,YAAA,CAAa,IAAA,CAAK,uBAAA,CAAwB,QAAA,CAAS,KAAK,CAAC,CAAA;AAAA,EAC3D;AACA,EAAA,OAAO,YAAA;AACT;;"}
+{"version":3,"file":"document.mjs","sources":["../../../../src/application/transform/document/document.ts"],"sourcesContent":["import { irKeyword, irObject, irRecord } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrDeclaration,\n  IrIntersectionType,\n  IrObjectType,\n  IrType,\n  IrTypeAliasDeclaration,\n} from \"../../../domain/ir/nodes.js\";\nimport type { ComponentsObject } from \"../../../domain/openapi/components-object.js\";\nimport type { DocumentObject } from \"../../../domain/openapi/document-object.js\";\nimport type { PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { READ_WRITE_MARKER_TYPES } from \"../helper-types.js\";\nimport type { TransformContext, TransformOptions } from \"../transform-context.js\";\nimport { componentsType } from \"./components.js\";\nimport { type DeclaredTypeLookup, declaredTypeLookup } from \"./declared-types.js\";\nimport { defsRootType } from \"./defs-root.js\";\nimport { keptDeprecatedComponents } from \"./kept-deprecated.js\";\nimport { pathMembers, pathsObjectType } from \"./paths.js\";\nimport { apiPathsEnumDeclaration } from \"./paths-enum.js\";\nimport { webhooksType } from \"./webhooks.js\";\n\n/** The root types, in output order. */\nconst ROOT_KEYS = Object.freeze([\"paths\", \"webhooks\", \"components\", \"$defs\"] as const);\ntype RootKey = (typeof ROOT_KEYS)[number];\n\nconst OPERATIONS_NAME = \"operations\";\n/** The type of a root without members: `Record<string, never>`. */\nconst EMPTY_ROOT_TYPE = irRecord(irKeyword(\"string\"), irKeyword(\"never\"));\n\n/** A root's type and the declarations that follow it (the `--root-types` aliases). */\ninterface RootResult {\n  readonly type: IrType;\n  readonly aliases: readonly IrTypeAliasDeclaration[];\n  /**\n   * The root's final type, for a root that reads the types the whole file declares (`paths`, whose\n   * overlap check follows references). `type` then only tells whether the root has members.\n   */\n  readonly withDeclaredTypes?: (lookup: DeclaredTypeLookup) => IrType;\n}\n\ntype RootTransform = (\n  node: object,\n  context: TransformContext,\n  document: DocumentObject,\n) => RootResult;\n\n/** Without `--exclude-deprecated` nothing is left out, so the scan is skipped. */\nfunction keptDeprecated(document: DocumentObject, context: TransformContext): ReadonlySet<object> {\n  return context.options.excludeDeprecated\n    ? keptDeprecatedComponents(document, context.refs)\n    : new Set();\n}\n\nconst ROOT_TRANSFORMS: Readonly<Record<RootKey, RootTransform>> = {\n  paths: (node, context) => {\n    const members = pathMembers(node as PathsObject, context);\n    return {\n      type: irObject(members.map(({ member }) => member)),\n      aliases: [],\n      withDeclaredTypes: (lookup) => pathsObjectType(members, lookup),\n    };\n  },\n  webhooks: (node, context) => ({ type: webhooksType(node as PathsObject, context), aliases: [] }),\n  components: (node, context, document) => {\n    const kept = keptDeprecated(document, context);\n    const { type, rootTypes } = componentsType(node as ComponentsObject, context, kept);\n    return { type, aliases: rootTypes };\n  },\n  $defs: (node, context) => ({\n    type: defsRootType(node as NonNullable<DocumentObject[\"$defs\"]>, context),\n    aliases: [],\n  }),\n};\n\nfunction emptyAlias(name: string): IrTypeAliasDeclaration {\n  return { kind: \"typeAlias\", name, isExported: true, type: EMPTY_ROOT_TYPE, comments: [] };\n}\n\n/** A root type that declares something: an object with members, or an intersection of them. */\ntype RootBodyType = IrObjectType | IrIntersectionType;\n\nfunction isRootBody(type: IrType): type is RootBodyType {\n  return (type.kind === \"object\" && type.members.length > 0) || type.kind === \"intersection\";\n}\n\n/**\n * A root with members: an interface, or a type alias with `--export-type`. An intersection (the\n * `paths` of overlapping `--path-params-as-types` keys) can only be a type alias.\n */\nfunction rootDeclaration(\n  name: RootKey,\n  type: RootBodyType,\n  options: TransformOptions,\n): IrDeclaration {\n  return options.exportType || type.kind === \"intersection\"\n    ? { kind: \"typeAlias\", name, isExported: true, type, comments: [] }\n    : { kind: \"interface\", name, isExported: true, members: type.members, comments: [] };\n}\n\n/**\n * The declarations of one root: its type, then its aliases. `finish` gives the root's declaration\n * again from the types the whole file declares, for a root with `withDeclaredTypes`.\n */\ninterface RootDeclarations {\n  readonly declarations: readonly IrDeclaration[];\n  readonly finish?: (lookup: DeclaredTypeLookup) => IrDeclaration;\n}\n\n/**\n * The declarations of one root. A root that is missing, or whose type has no members, is\n * `Record<string, never>`. Only an object type (or the `paths` intersection) counts as having\n * members: a callback type the IR keeps as raw text does not (ADR-004).\n */\nfunction rootDeclarations(\n  root: RootKey,\n  document: DocumentObject,\n  context: TransformContext,\n): RootDeclarations {\n  const node: unknown = document[root];\n  if (!node || typeof node !== \"object\") {\n    context.diagnostics.debug(`${root} done (skipped)`, 0);\n    return { declarations: [emptyAlias(root)] };\n  }\n  const startedAt = context.diagnostics.now();\n  const { type, aliases, withDeclaredTypes } = ROOT_TRANSFORMS[root](node, context, document);\n  if (!isRootBody(type)) {\n    context.diagnostics.debug(`${root} done (skipped)`, 0);\n    return { declarations: [emptyAlias(root), ...aliases] };\n  }\n  const declaration = rootDeclaration(root, type, context.options);\n  context.diagnostics.debug(`${root} done`, context.diagnostics.now() - startedAt);\n  const finish =\n    withDeclaredTypes &&\n    ((lookup: DeclaredTypeLookup) => {\n      const finished = withDeclaredTypes(lookup);\n      return isRootBody(finished) ? rootDeclaration(root, finished, context.options) : declaration;\n    });\n  return { declarations: [declaration, ...aliases], ...(finish ? { finish } : {}) };\n}\n\n/**\n * Every root's declarations in output order. A root with `finish` gets its declaration from the\n * types of the other roots and of the footer (the `operations` interface), which exist only once\n * every root is transformed.\n */\nfunction rootsDeclarations(\n  document: DocumentObject,\n  context: TransformContext,\n  footer: () => readonly IrDeclaration[],\n): IrDeclaration[] {\n  const roots = ROOT_KEYS.map((root) => rootDeclarations(root, document, context));\n  const transformed = roots.flatMap(({ declarations }) => declarations);\n  if (roots.every(({ finish }) => finish === undefined)) {\n    return transformed;\n  }\n  const lookup = declaredTypeLookup([...transformed, ...footer()]);\n  return roots.flatMap(({ declarations, finish }) => {\n    const [declaration, ...aliases] = declarations;\n    return finish === undefined || declaration === undefined\n      ? declarations\n      : [finish(lookup), ...aliases];\n  });\n}\n\n/**\n * The `inject` text as written (ADR-010, decision 4), without the blank lines around it. The\n * original reprinted it with the TypeScript printer; text without code printed nothing then.\n */\nfunction withoutBlankLinesAround(text: string): string {\n  return text.replace(/^(?:[ \\t]*\\r?\\n)+/, \"\").trimEnd();\n}\n\n/** No footer declarations: the roots' references to `operations` stay unresolved. */\nconst NO_FOOTER = (): readonly IrDeclaration[] => [];\n\n/**\n * The document's declarations before the footer: helper types, injected code, then one root type\n * per root key with the aliases that follow it. `footer` reads the footer's declarations once the\n * roots are transformed.\n */\nexport function documentBody(\n  document: DocumentObject,\n  context: TransformContext,\n  footer: () => readonly IrDeclaration[] = NO_FOOTER,\n): IrDeclaration[] {\n  const declarations: IrDeclaration[] = [];\n  if (context.options.readWriteMarkers) {\n    declarations.push({ kind: \"rawDeclaration\", text: READ_WRITE_MARKER_TYPES });\n  }\n  const inject = withoutBlankLinesAround(context.options.inject ?? \"\");\n  if (inject !== \"\") {\n    declarations.push({ kind: \"rawDeclaration\", text: inject });\n  }\n  declarations.push(...rootsDeclarations(document, context, footer));\n  return declarations;\n}\n\n/**\n * The declarations after the footer: an empty `operations` type when the footer has no\n * operations, and the `--make-paths-enum` enum.\n */\nexport function documentClosing(\n  document: DocumentObject,\n  context: TransformContext,\n  hasOperations: boolean,\n): IrDeclaration[] {\n  const declarations: IrDeclaration[] = [];\n  if (!hasOperations) {\n    declarations.push(emptyAlias(OPERATIONS_NAME));\n  }\n  if (context.options.makePathsEnum && document.paths) {\n    declarations.push(apiPathsEnumDeclaration(document.paths));\n  }\n  return declarations;\n}\n"],"names":[],"mappings":";;;;;;;;;;AAsBA,MAAM,SAAA,GAAY,OAAO,MAAA,CAAO,CAAC,SAAS,UAAA,EAAY,YAAA,EAAc,OAAO,CAAU,CAAA;AAGrF,MAAM,eAAA,GAAkB,YAAA;AAExB,MAAM,kBAAkB,QAAA,CAAS,SAAA,CAAU,QAAQ,CAAA,EAAG,SAAA,CAAU,OAAO,CAAC,CAAA;AAoBxE,SAAS,cAAA,CAAe,UAA0B,OAAA,EAAgD;AAChG,EAAA,OAAO,OAAA,CAAQ,QAAQ,iBAAA,GACnB,wBAAA,CAAyB,UAAU,OAAA,CAAQ,IAAI,CAAA,mBAC/C,IAAI,GAAA,EAAI;AACd;AAEA,MAAM,eAAA,GAA4D;AAAA,EAChE,KAAA,EAAO,CAAC,IAAA,EAAM,OAAA,KAAY;AACxB,IAAA,MAAM,OAAA,GAAU,WAAA,CAAY,IAAA,EAAqB,OAAO,CAAA;AACxD,IAAA,OAAO;AAAA,MACL,IAAA,EAAM,SAAS,OAAA,CAAQ,GAAA,CAAI,CAAC,EAAE,MAAA,EAAO,KAAM,MAAM,CAAC,CAAA;AAAA,MAClD,SAAS,EAAC;AAAA,MACV,iBAAA,EAAmB,CAAC,MAAA,KAAW,eAAA,CAAgB,SAAS,MAAM;AAAA,KAChE;AAAA,EACF,CAAA;AAAA,EACA,QAAA,EAAU,CAAC,IAAA,EAAM,OAAA,MAAa,EAAE,IAAA,EAAM,YAAA,CAAa,IAAA,EAAqB,OAAO,CAAA,EAAG,OAAA,EAAS,EAAC,EAAE,CAAA;AAAA,EAC9F,UAAA,EAAY,CAAC,IAAA,EAAM,OAAA,EAAS,QAAA,KAAa;AACvC,IAAA,MAAM,IAAA,GAAO,cAAA,CAAe,QAAA,EAAU,OAAO,CAAA;AAC7C,IAAA,MAAM,EAAE,IAAA,EAAM,SAAA,KAAc,cAAA,CAAe,IAAA,EAA0B,SAAS,IAAI,CAAA;AAClF,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,SAAA,EAAU;AAAA,EACpC,CAAA;AAAA,EACA,KAAA,EAAO,CAAC,IAAA,EAAM,OAAA,MAAa;AAAA,IACzB,IAAA,EAAM,YAAA,CAAa,IAAA,EAA8C,OAAO,CAAA;AAAA,IACxE,SAAS;AAAC,GACZ;AACF,CAAA;AAEA,SAAS,WAAW,IAAA,EAAsC;AACxD,EAAA,OAAO,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,MAAM,IAAA,EAAM,eAAA,EAAiB,QAAA,EAAU,EAAC,EAAE;AAC1F;AAKA,SAAS,WAAW,IAAA,EAAoC;AACtD,EAAA,OAAQ,IAAA,CAAK,SAAS,QAAA,IAAY,IAAA,CAAK,QAAQ,MAAA,GAAS,CAAA,IAAM,KAAK,IAAA,KAAS,cAAA;AAC9E;AAMA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,OAAA,EACe;AACf,EAAA,OAAO,OAAA,CAAQ,UAAA,IAAc,IAAA,CAAK,IAAA,KAAS,cAAA,GACvC,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,EAAC,EAAE,GAChE,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,EAAS,QAAA,EAAU,EAAC,EAAE;AACvF;AAgBA,SAAS,gBAAA,CACP,IAAA,EACA,QAAA,EACA,OAAA,EACkB;AAClB,EAAA,MAAM,IAAA,GAAgB,SAAS,IAAI,CAAA;AACnC,EAAA,IAAI,CAAC,IAAA,IAAQ,OAAO,IAAA,KAAS,QAAA,EAAU;AACrC,IAAA,OAAA,CAAQ,WAAA,CAAY,KAAA,CAAM,CAAA,EAAG,IAAI,mBAAmB,CAAC,CAAA;AACrD,IAAA,OAAO,EAAE,YAAA,EAAc,CAAC,UAAA,CAAW,IAAI,CAAC,CAAA,EAAE;AAAA,EAC5C;AACA,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,EAAA,MAAM,EAAE,IAAA,EAAM,OAAA,EAAS,iBAAA,EAAkB,GAAI,gBAAgB,IAAI,CAAA,CAAE,IAAA,EAAM,OAAA,EAAS,QAAQ,CAAA;AAC1F,EAAA,IAAI,CAAC,UAAA,CAAW,IAAI,CAAA,EAAG;AACrB,IAAA,OAAA,CAAQ,WAAA,CAAY,KAAA,CAAM,CAAA,EAAG,IAAI,mBAAmB,CAAC,CAAA;AACrD,IAAA,OAAO,EAAE,cAAc,CAAC,UAAA,CAAW,IAAI,CAAA,EAAG,GAAG,OAAO,CAAA,EAAE;AAAA,EACxD;AACA,EAAA,MAAM,WAAA,GAAc,eAAA,CAAgB,IAAA,EAAM,IAAA,EAAM,QAAQ,OAAO,CAAA;AAC/D,EAAA,OAAA,CAAQ,WAAA,CAAY,MAAM,CAAA,EAAG,IAAI,SAAS,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI,SAAS,CAAA;AAC/E,EAAA,MAAM,MAAA,GACJ,iBAAA,KACC,CAAC,MAAA,KAA+B;AAC/B,IAAA,MAAM,QAAA,GAAW,kBAAkB,MAAM,CAAA;AACzC,IAAA,OAAO,UAAA,CAAW,QAAQ,CAAA,GAAI,eAAA,CAAgB,MAAM,QAAA,EAAU,OAAA,CAAQ,OAAO,CAAA,GAAI,WAAA;AAAA,EACnF,CAAA,CAAA;AACF,EAAA,OAAO,EAAE,YAAA,EAAc,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,EAAG,GAAI,MAAA,GAAS,EAAE,MAAA,EAAO,GAAI,EAAC,EAAG;AAClF;AAOA,SAAS,iBAAA,CACP,QAAA,EACA,OAAA,EACA,MAAA,EACiB;AACjB,EAAA,MAAM,KAAA,GAAQ,UAAU,GAAA,CAAI,CAAC,SAAS,gBAAA,CAAiB,IAAA,EAAM,QAAA,EAAU,OAAO,CAAC,CAAA;AAC/E,EAAA,MAAM,cAAc,KAAA,CAAM,OAAA,CAAQ,CAAC,EAAE,YAAA,OAAmB,YAAY,CAAA;AACpE,EAAA,IAAI,KAAA,CAAM,MAAM,CAAC,EAAE,QAAO,KAAM,MAAA,KAAW,MAAS,CAAA,EAAG;AACrD,IAAA,OAAO,WAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,mBAAmB,CAAC,GAAG,aAAa,GAAG,MAAA,EAAQ,CAAC,CAAA;AAC/D,EAAA,OAAO,MAAM,OAAA,CAAQ,CAAC,EAAE,YAAA,EAAc,QAAO,KAAM;AACjD,IAAA,MAAM,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,GAAI,YAAA;AAClC,IAAA,OAAO,MAAA,KAAW,MAAA,IAAa,WAAA,KAAgB,MAAA,GAC3C,YAAA,GACA,CAAC,MAAA,CAAO,MAAM,CAAA,EAAG,GAAG,OAAO,CAAA;AAAA,EACjC,CAAC,CAAA;AACH;AAMA,SAAS,wBAAwB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,mBAAA,EAAqB,EAAE,EAAE,OAAA,EAAQ;AACvD;AAGA,MAAM,SAAA,GAAY,MAAgC,EAAC;AAO5C,SAAS,YAAA,CACd,QAAA,EACA,OAAA,EACA,MAAA,GAAyC,SAAA,EACxB;AACjB,EAAA,MAAM,eAAgC,EAAC;AACvC,EAAA,IAAI,OAAA,CAAQ,QAAQ,gBAAA,EAAkB;AACpC,IAAA,YAAA,CAAa,KAAK,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,yBAAyB,CAAA;AAAA,EAC7E;AACA,EAAA,MAAM,MAAA,GAAS,uBAAA,CAAwB,OAAA,CAAQ,OAAA,CAAQ,UAAU,EAAE,CAAA;AACnE,EAAA,IAAI,WAAW,EAAA,EAAI;AACjB,IAAA,YAAA,CAAa,KAAK,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,QAAQ,CAAA;AAAA,EAC5D;AACA,EAAA,YAAA,CAAa,KAAK,GAAG,iBAAA,CAAkB,QAAA,EAAU,OAAA,EAAS,MAAM,CAAC,CAAA;AACjE,EAAA,OAAO,YAAA;AACT;AAMO,SAAS,eAAA,CACd,QAAA,EACA,OAAA,EACA,aAAA,EACiB;AACjB,EAAA,MAAM,eAAgC,EAAC;AACvC,EAAA,IAAI,CAAC,aAAA,EAAe;AAClB,IAAA,YAAA,CAAa,IAAA,CAAK,UAAA,CAAW,eAAe,CAAC,CAAA;AAAA,EAC/C;AACA,EAAA,IAAI,OAAA,CAAQ,OAAA,CAAQ,aAAA,IAAiB,QAAA,CAAS,KAAA,EAAO;AACnD,IAAA,YAAA,CAAa,IAAA,CAAK,uBAAA,CAAwB,QAAA,CAAS,KAAK,CAAC,CAAA;AAAA,EAC3D;AACA,EAAA,OAAO,YAAA;AACT;;"}

package/dist/application/transform/document/exploded-query.cjs

@@ -0,0 +1,46 @@
+'use strict';
+
+const FORM_STYLE = "form";
+function resolvedSchema(schema, refs, seen) {
+  if (typeof schema !== "object" || schema === null) {
+    return null;
+  }
+  if (!("$ref" in schema)) {
+    return schema;
+  }
+  if (seen.has(schema.$ref)) {
+    return null;
+  }
+  const target = refs.resolve(schema.$ref);
+  return target === void 0 ? null : resolvedSchema(target, refs, /* @__PURE__ */ new Set([...seen, schema.$ref]));
+}
+function nonNullTypes(schema) {
+  const types = Array.isArray(schema.type) ? schema.type : [schema.type];
+  return types.filter((type) => type !== void 0 && type !== null && type !== "null");
+}
+function isObjectComposition(members, refs, seen) {
+  return members !== void 0 && members.length > 0 && members.every((member) => isObjectSchemaWith(member, refs, seen));
+}
+function isObjectSchemaWith(schema, refs, seen) {
+  const resolved = resolvedSchema(schema, refs, seen);
+  if (resolved === null) {
+    return false;
+  }
+  const types = nonNullTypes(resolved);
+  if (types.length > 0) {
+    return types.every((type) => type === "object");
+  }
+  return resolved.properties !== void 0 || resolved.additionalProperties !== void 0 || resolved.patternProperties !== void 0 || isObjectComposition(resolved.allOf, refs, seen) || isObjectComposition(resolved.oneOf, refs, seen) || isObjectComposition(resolved.anyOf, refs, seen);
+}
+function isObjectSchema(schema, refs) {
+  return isObjectSchemaWith(schema, refs, /* @__PURE__ */ new Set());
+}
+function isExplodedQueryObject(parameter, refs) {
+  const style = parameter.style ?? FORM_STYLE;
+  const explode = parameter.explode ?? style === FORM_STYLE;
+  return parameter.in === "query" && style === FORM_STYLE && explode && parameter.schema !== void 0 && isObjectSchema(parameter.schema, refs);
+}
+
+exports.isExplodedQueryObject = isExplodedQueryObject;
+exports.isObjectSchema = isObjectSchema;
+//# sourceMappingURL=exploded-query.cjs.map

package/dist/application/transform/document/exploded-query.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"exploded-query.cjs","sources":["../../../../src/application/transform/document/exploded-query.ts"],"sourcesContent":["import type { ParameterObject } from \"../../../domain/openapi/parameter-object.js\";\nimport type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\n\n/**\n * Exploded object query parameters (OpenAPI 3.2 §4.8.12.4, upstream #2361). A query parameter has\n * `style: form` and, with it, `explode: true` by default. An object value is then sent as its own\n * `key=value` pairs, `?page=1&limit=10`: the parameter's name is not in the URL. So with the\n * `exploded-query-objects` fix, the object's properties are keys of `query`, not one key named\n * after the parameter.\n */\n\nconst FORM_STYLE = \"form\";\n\n/** Whether a `$ref` chain has been followed already, so a cycle ends. */\ntype SeenRefs = ReadonlySet<string>;\n\nfunction resolvedSchema(schema: Schema, refs: RefResolver, seen: SeenRefs): SchemaObject | null {\n  if (typeof schema !== \"object\" || schema === null) {\n    return null;\n  }\n  if (!(\"$ref\" in schema)) {\n    return schema;\n  }\n  if (seen.has(schema.$ref)) {\n    return null;\n  }\n  const target = refs.resolve(schema.$ref) as Schema | undefined;\n  return target === undefined\n    ? null\n    : resolvedSchema(target, refs, new Set([...seen, schema.$ref]));\n}\n\n/** The types of a `type` keyword other than `null`; empty when it has none. */\nfunction nonNullTypes(schema: SchemaObject): readonly unknown[] {\n  const types = Array.isArray(schema.type) ? schema.type : [schema.type];\n  return types.filter((type) => type !== undefined && type !== null && type !== \"null\");\n}\n\n/** Whether every member of a composition is an object schema; false for an empty list. */\nfunction isObjectComposition(\n  members: readonly Schema[] | undefined,\n  refs: RefResolver,\n  seen: SeenRefs,\n): boolean {\n  return (\n    members !== undefined &&\n    members.length > 0 &&\n    members.every((member) => isObjectSchemaWith(member, refs, seen))\n  );\n}\n\nfunction isObjectSchemaWith(schema: Schema, refs: RefResolver, seen: SeenRefs): boolean {\n  const resolved = resolvedSchema(schema, refs, seen);\n  if (resolved === null) {\n    return false;\n  }\n  const types = nonNullTypes(resolved);\n  if (types.length > 0) {\n    return types.every((type) => type === \"object\");\n  }\n  return (\n    resolved.properties !== undefined ||\n    resolved.additionalProperties !== undefined ||\n    resolved.patternProperties !== undefined ||\n    isObjectComposition(resolved.allOf, refs, seen) ||\n    isObjectComposition(resolved.oneOf, refs, seen) ||\n    isObjectComposition(resolved.anyOf, refs, seen)\n  );\n}\n\n/**\n * Whether the schema describes only objects: `type: object` (with `null` or not), or no `type`\n * and object keywords, or a composition of such schemas. A `$ref` is followed.\n */\nexport function isObjectSchema(schema: Schema, refs: RefResolver): boolean {\n  return isObjectSchemaWith(schema, refs, new Set());\n}\n\n/** Whether an `in: query` parameter sends its object value as the object's own keys. */\nexport function isExplodedQueryObject(parameter: ParameterObject, refs: RefResolver): boolean {\n  const style = parameter.style ?? FORM_STYLE;\n  const explode = parameter.explode ?? style === FORM_STYLE;\n  return (\n    parameter.in === \"query\" &&\n    style === FORM_STYLE &&\n    explode &&\n    parameter.schema !== undefined &&\n    isObjectSchema(parameter.schema, refs)\n  );\n}\n"],"names":[],"mappings":";;AAYA,MAAM,UAAA,GAAa,MAAA;AAKnB,SAAS,cAAA,CAAe,MAAA,EAAgB,IAAA,EAAmB,IAAA,EAAqC;AAC9F,EAAA,IAAI,OAAO,MAAA,KAAW,QAAA,IAAY,MAAA,KAAW,IAAA,EAAM;AACjD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,EAAE,UAAU,MAAA,CAAA,EAAS;AACvB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,MAAA,CAAO,IAAI,CAAA,EAAG;AACzB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,MAAA,CAAO,IAAI,CAAA;AACvC,EAAA,OAAO,MAAA,KAAW,MAAA,GACd,IAAA,GACA,cAAA,CAAe,QAAQ,IAAA,kBAAM,IAAI,GAAA,CAAI,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,IAAI,CAAC,CAAC,CAAA;AAClE;AAGA,SAAS,aAAa,MAAA,EAA0C;AAC9D,EAAA,MAAM,KAAA,GAAQ,KAAA,CAAM,OAAA,CAAQ,MAAA,CAAO,IAAI,IAAI,MAAA,CAAO,IAAA,GAAO,CAAC,MAAA,CAAO,IAAI,CAAA;AACrE,EAAA,OAAO,KAAA,CAAM,OAAO,CAAC,IAAA,KAAS,SAAS,MAAA,IAAa,IAAA,KAAS,IAAA,IAAQ,IAAA,KAAS,MAAM,CAAA;AACtF;AAGA,SAAS,mBAAA,CACP,OAAA,EACA,IAAA,EACA,IAAA,EACS;AACT,EAAA,OACE,OAAA,KAAY,MAAA,IACZ,OAAA,CAAQ,MAAA,GAAS,CAAA,IACjB,OAAA,CAAQ,KAAA,CAAM,CAAC,MAAA,KAAW,kBAAA,CAAmB,MAAA,EAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAEpE;AAEA,SAAS,kBAAA,CAAmB,MAAA,EAAgB,IAAA,EAAmB,IAAA,EAAyB;AACtF,EAAA,MAAM,QAAA,GAAW,cAAA,CAAe,MAAA,EAAQ,IAAA,EAAM,IAAI,CAAA;AAClD,EAAA,IAAI,aAAa,IAAA,EAAM;AACrB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,aAAa,QAAQ,CAAA;AACnC,EAAA,IAAI,KAAA,CAAM,SAAS,CAAA,EAAG;AACpB,IAAA,OAAO,KAAA,CAAM,KAAA,CAAM,CAAC,IAAA,KAAS,SAAS,QAAQ,CAAA;AAAA,EAChD;AACA,EAAA,OACE,QAAA,CAAS,UAAA,KAAe,MAAA,IACxB,QAAA,CAAS,oBAAA,KAAyB,UAClC,QAAA,CAAS,iBAAA,KAAsB,MAAA,IAC/B,mBAAA,CAAoB,QAAA,CAAS,KAAA,EAAO,MAAM,IAAI,CAAA,IAC9C,mBAAA,CAAoB,QAAA,CAAS,KAAA,EAAO,IAAA,EAAM,IAAI,CAAA,IAC9C,mBAAA,CAAoB,QAAA,CAAS,KAAA,EAAO,IAAA,EAAM,IAAI,CAAA;AAElD;AAMO,SAAS,cAAA,CAAe,QAAgB,IAAA,EAA4B;AACzE,EAAA,OAAO,kBAAA,CAAmB,MAAA,EAAQ,IAAA,kBAAM,IAAI,KAAK,CAAA;AACnD;AAGO,SAAS,qBAAA,CAAsB,WAA4B,IAAA,EAA4B;AAC5F,EAAA,MAAM,KAAA,GAAQ,UAAU,KAAA,IAAS,UAAA;AACjC,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,OAAA,IAAW,KAAA,KAAU,UAAA;AAC/C,EAAA,OACE,SAAA,CAAU,EAAA,KAAO,OAAA,IACjB,KAAA,KAAU,UAAA,IACV,OAAA,IACA,SAAA,CAAU,MAAA,KAAW,MAAA,IACrB,cAAA,CAAe,SAAA,CAAU,MAAA,EAAQ,IAAI,CAAA;AAEzC;;;"}

package/dist/application/transform/document/exploded-query.mjs

@@ -0,0 +1,43 @@
+const FORM_STYLE = "form";
+function resolvedSchema(schema, refs, seen) {
+  if (typeof schema !== "object" || schema === null) {
+    return null;
+  }
+  if (!("$ref" in schema)) {
+    return schema;
+  }
+  if (seen.has(schema.$ref)) {
+    return null;
+  }
+  const target = refs.resolve(schema.$ref);
+  return target === void 0 ? null : resolvedSchema(target, refs, /* @__PURE__ */ new Set([...seen, schema.$ref]));
+}
+function nonNullTypes(schema) {
+  const types = Array.isArray(schema.type) ? schema.type : [schema.type];
+  return types.filter((type) => type !== void 0 && type !== null && type !== "null");
+}
+function isObjectComposition(members, refs, seen) {
+  return members !== void 0 && members.length > 0 && members.every((member) => isObjectSchemaWith(member, refs, seen));
+}
+function isObjectSchemaWith(schema, refs, seen) {
+  const resolved = resolvedSchema(schema, refs, seen);
+  if (resolved === null) {
+    return false;
+  }
+  const types = nonNullTypes(resolved);
+  if (types.length > 0) {
+    return types.every((type) => type === "object");
+  }
+  return resolved.properties !== void 0 || resolved.additionalProperties !== void 0 || resolved.patternProperties !== void 0 || isObjectComposition(resolved.allOf, refs, seen) || isObjectComposition(resolved.oneOf, refs, seen) || isObjectComposition(resolved.anyOf, refs, seen);
+}
+function isObjectSchema(schema, refs) {
+  return isObjectSchemaWith(schema, refs, /* @__PURE__ */ new Set());
+}
+function isExplodedQueryObject(parameter, refs) {
+  const style = parameter.style ?? FORM_STYLE;
+  const explode = parameter.explode ?? style === FORM_STYLE;
+  return parameter.in === "query" && style === FORM_STYLE && explode && parameter.schema !== void 0 && isObjectSchema(parameter.schema, refs);
+}
+
+export { isExplodedQueryObject, isObjectSchema };
+//# sourceMappingURL=exploded-query.mjs.map

package/dist/application/transform/document/exploded-query.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"exploded-query.mjs","sources":["../../../../src/application/transform/document/exploded-query.ts"],"sourcesContent":["import type { ParameterObject } from \"../../../domain/openapi/parameter-object.js\";\nimport type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\n\n/**\n * Exploded object query parameters (OpenAPI 3.2 §4.8.12.4, upstream #2361). A query parameter has\n * `style: form` and, with it, `explode: true` by default. An object value is then sent as its own\n * `key=value` pairs, `?page=1&limit=10`: the parameter's name is not in the URL. So with the\n * `exploded-query-objects` fix, the object's properties are keys of `query`, not one key named\n * after the parameter.\n */\n\nconst FORM_STYLE = \"form\";\n\n/** Whether a `$ref` chain has been followed already, so a cycle ends. */\ntype SeenRefs = ReadonlySet<string>;\n\nfunction resolvedSchema(schema: Schema, refs: RefResolver, seen: SeenRefs): SchemaObject | null {\n  if (typeof schema !== \"object\" || schema === null) {\n    return null;\n  }\n  if (!(\"$ref\" in schema)) {\n    return schema;\n  }\n  if (seen.has(schema.$ref)) {\n    return null;\n  }\n  const target = refs.resolve(schema.$ref) as Schema | undefined;\n  return target === undefined\n    ? null\n    : resolvedSchema(target, refs, new Set([...seen, schema.$ref]));\n}\n\n/** The types of a `type` keyword other than `null`; empty when it has none. */\nfunction nonNullTypes(schema: SchemaObject): readonly unknown[] {\n  const types = Array.isArray(schema.type) ? schema.type : [schema.type];\n  return types.filter((type) => type !== undefined && type !== null && type !== \"null\");\n}\n\n/** Whether every member of a composition is an object schema; false for an empty list. */\nfunction isObjectComposition(\n  members: readonly Schema[] | undefined,\n  refs: RefResolver,\n  seen: SeenRefs,\n): boolean {\n  return (\n    members !== undefined &&\n    members.length > 0 &&\n    members.every((member) => isObjectSchemaWith(member, refs, seen))\n  );\n}\n\nfunction isObjectSchemaWith(schema: Schema, refs: RefResolver, seen: SeenRefs): boolean {\n  const resolved = resolvedSchema(schema, refs, seen);\n  if (resolved === null) {\n    return false;\n  }\n  const types = nonNullTypes(resolved);\n  if (types.length > 0) {\n    return types.every((type) => type === \"object\");\n  }\n  return (\n    resolved.properties !== undefined ||\n    resolved.additionalProperties !== undefined ||\n    resolved.patternProperties !== undefined ||\n    isObjectComposition(resolved.allOf, refs, seen) ||\n    isObjectComposition(resolved.oneOf, refs, seen) ||\n    isObjectComposition(resolved.anyOf, refs, seen)\n  );\n}\n\n/**\n * Whether the schema describes only objects: `type: object` (with `null` or not), or no `type`\n * and object keywords, or a composition of such schemas. A `$ref` is followed.\n */\nexport function isObjectSchema(schema: Schema, refs: RefResolver): boolean {\n  return isObjectSchemaWith(schema, refs, new Set());\n}\n\n/** Whether an `in: query` parameter sends its object value as the object's own keys. */\nexport function isExplodedQueryObject(parameter: ParameterObject, refs: RefResolver): boolean {\n  const style = parameter.style ?? FORM_STYLE;\n  const explode = parameter.explode ?? style === FORM_STYLE;\n  return (\n    parameter.in === \"query\" &&\n    style === FORM_STYLE &&\n    explode &&\n    parameter.schema !== undefined &&\n    isObjectSchema(parameter.schema, refs)\n  );\n}\n"],"names":[],"mappings":"AAYA,MAAM,UAAA,GAAa,MAAA;AAKnB,SAAS,cAAA,CAAe,MAAA,EAAgB,IAAA,EAAmB,IAAA,EAAqC;AAC9F,EAAA,IAAI,OAAO,MAAA,KAAW,QAAA,IAAY,MAAA,KAAW,IAAA,EAAM;AACjD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,EAAE,UAAU,MAAA,CAAA,EAAS;AACvB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,MAAA,CAAO,IAAI,CAAA,EAAG;AACzB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,MAAA,CAAO,IAAI,CAAA;AACvC,EAAA,OAAO,MAAA,KAAW,MAAA,GACd,IAAA,GACA,cAAA,CAAe,QAAQ,IAAA,kBAAM,IAAI,GAAA,CAAI,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,IAAI,CAAC,CAAC,CAAA;AAClE;AAGA,SAAS,aAAa,MAAA,EAA0C;AAC9D,EAAA,MAAM,KAAA,GAAQ,KAAA,CAAM,OAAA,CAAQ,MAAA,CAAO,IAAI,IAAI,MAAA,CAAO,IAAA,GAAO,CAAC,MAAA,CAAO,IAAI,CAAA;AACrE,EAAA,OAAO,KAAA,CAAM,OAAO,CAAC,IAAA,KAAS,SAAS,MAAA,IAAa,IAAA,KAAS,IAAA,IAAQ,IAAA,KAAS,MAAM,CAAA;AACtF;AAGA,SAAS,mBAAA,CACP,OAAA,EACA,IAAA,EACA,IAAA,EACS;AACT,EAAA,OACE,OAAA,KAAY,MAAA,IACZ,OAAA,CAAQ,MAAA,GAAS,CAAA,IACjB,OAAA,CAAQ,KAAA,CAAM,CAAC,MAAA,KAAW,kBAAA,CAAmB,MAAA,EAAQ,IAAA,EAAM,IAAI,CAAC,CAAA;AAEpE;AAEA,SAAS,kBAAA,CAAmB,MAAA,EAAgB,IAAA,EAAmB,IAAA,EAAyB;AACtF,EAAA,MAAM,QAAA,GAAW,cAAA,CAAe,MAAA,EAAQ,IAAA,EAAM,IAAI,CAAA;AAClD,EAAA,IAAI,aAAa,IAAA,EAAM;AACrB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,aAAa,QAAQ,CAAA;AACnC,EAAA,IAAI,KAAA,CAAM,SAAS,CAAA,EAAG;AACpB,IAAA,OAAO,KAAA,CAAM,KAAA,CAAM,CAAC,IAAA,KAAS,SAAS,QAAQ,CAAA;AAAA,EAChD;AACA,EAAA,OACE,QAAA,CAAS,UAAA,KAAe,MAAA,IACxB,QAAA,CAAS,oBAAA,KAAyB,UAClC,QAAA,CAAS,iBAAA,KAAsB,MAAA,IAC/B,mBAAA,CAAoB,QAAA,CAAS,KAAA,EAAO,MAAM,IAAI,CAAA,IAC9C,mBAAA,CAAoB,QAAA,CAAS,KAAA,EAAO,IAAA,EAAM,IAAI,CAAA,IAC9C,mBAAA,CAAoB,QAAA,CAAS,KAAA,EAAO,IAAA,EAAM,IAAI,CAAA;AAElD;AAMO,SAAS,cAAA,CAAe,QAAgB,IAAA,EAA4B;AACzE,EAAA,OAAO,kBAAA,CAAmB,MAAA,EAAQ,IAAA,kBAAM,IAAI,KAAK,CAAA;AACnD;AAGO,SAAS,qBAAA,CAAsB,WAA4B,IAAA,EAA4B;AAC5F,EAAA,MAAM,KAAA,GAAQ,UAAU,KAAA,IAAS,UAAA;AACjC,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,OAAA,IAAW,KAAA,KAAU,UAAA;AAC/C,EAAA,OACE,SAAA,CAAU,EAAA,KAAO,OAAA,IACjB,KAAA,KAAU,UAAA,IACV,OAAA,IACA,SAAA,CAAU,MAAA,KAAW,MAAA,IACrB,cAAA,CAAe,SAAA,CAAU,MAAA,EAAQ,IAAI,CAAA;AAEzC;;"}

package/dist/application/transform/document/global-type-references.cjs

@@ -0,0 +1,63 @@
+'use strict';
+
+const GLOBAL_TYPE_NAMES = /* @__PURE__ */ new Set([
+  "Array",
+  "Blob",
+  "Exclude",
+  "Extract",
+  "NonNullable",
+  "Omit",
+  "Partial",
+  "Pick",
+  "Readonly",
+  "ReadonlyArray",
+  "Record",
+  "Required"
+]);
+const GENERIC_USE = /\b([A-Z][A-Za-z]*)\s*</g;
+const SKIPPED_KEYS = /* @__PURE__ */ new Set(["origin", "comments"]);
+function isObject(value) {
+  return typeof value === "object" && value !== null;
+}
+function addTextUses(text, used) {
+  for (const match of text.matchAll(GENERIC_USE)) {
+    const name = match[1] ?? "";
+    if (GLOBAL_TYPE_NAMES.has(name)) {
+      used.add(name);
+    }
+  }
+}
+function addNodeUses(node, used) {
+  if (node.kind === "reference" && typeof node.name === "string") {
+    if (GLOBAL_TYPE_NAMES.has(node.name)) {
+      used.add(node.name);
+    }
+  } else if ((node.kind === "raw" || node.kind === "rawDeclaration") && typeof node.text === "string") {
+    addTextUses(node.text, used);
+  }
+}
+function visit(value, used) {
+  if (Array.isArray(value)) {
+    for (const item of value) {
+      visit(item, used);
+    }
+    return;
+  }
+  if (!isObject(value)) {
+    return;
+  }
+  addNodeUses(value, used);
+  for (const [key, child] of Object.entries(value)) {
+    if (!SKIPPED_KEYS.has(key)) {
+      visit(child, used);
+    }
+  }
+}
+function globalTypeReferences(declarations) {
+  const used = /* @__PURE__ */ new Set();
+  visit(declarations, used);
+  return used;
+}
+
+exports.globalTypeReferences = globalTypeReferences;
+//# sourceMappingURL=global-type-references.cjs.map