openapi-typesafe 1.0.0-rc.4 → 1.0.0-rc.6

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

@@ -0,0 +1,34 @@
+import { irReference, irKeyword } from '../../domain/ir/constructors.mjs';
+import { HELPER_TYPES } from './helper-types.mjs';
+
+function memberValueTypes(member) {
+  if (member.kind === "indexSignature") {
+    return [member.type];
+  }
+  return member.isOptional ? [member.type, irKeyword("undefined")] : [member.type];
+}
+function declaredValueTypes(type, footer) {
+  switch (type.kind) {
+    case "object":
+      return type.members.flatMap(memberValueTypes);
+    case "union":
+    case "intersection":
+      return type.types.flatMap((member) => declaredValueTypes(member, footer));
+    case "reference":
+    case "indexedAccess":
+    case "raw":
+      footer.requirePropertyValues();
+      return [irReference(HELPER_TYPES.propertyValues.name, [type])];
+    case "keyword":
+    case "stringLiteral":
+    case "numberLiteral":
+    case "booleanLiteral":
+    case "array":
+    case "tuple":
+    case "readonly":
+      return [];
+  }
+}
+
+export { declaredValueTypes };
+//# sourceMappingURL=declared-value-types.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"declared-value-types.mjs","sources":["../../../src/application/transform/declared-value-types.ts"],"sourcesContent":["import { irKeyword, irReference } from \"../../domain/ir/constructors.js\";\nimport type { IrMember, IrType } from \"../../domain/ir/nodes.js\";\nimport { HELPER_TYPES } from \"./helper-types.js\";\nimport type { FooterDeclarations } from \"./schema/schema-context.js\";\n\n/** The footer part that declares the `PropertyValues` helper type. */\nexport type PropertyValuesFooter = Pick<FooterDeclarations, \"requirePropertyValues\">;\n\nfunction memberValueTypes(member: IrMember): IrType[] {\n  if (member.kind === \"indexSignature\") {\n    return [member.type];\n  }\n  return member.isOptional ? [member.type, irKeyword(\"undefined\")] : [member.type];\n}\n\n/**\n * The value types a key of the type can have, read from its IR: the members of object types,\n * through unions and intersections. A reference (a `$ref`, `Omit`, `WithRequired`) or a raw\n * type is read with `PropertyValues`. Primitives, literals and arrays declare no keys.\n */\nexport function declaredValueTypes(type: IrType, footer: PropertyValuesFooter): IrType[] {\n  switch (type.kind) {\n    case \"object\":\n      return type.members.flatMap(memberValueTypes);\n    case \"union\":\n    case \"intersection\":\n      return type.types.flatMap((member) => declaredValueTypes(member, footer));\n    case \"reference\":\n    case \"indexedAccess\":\n    case \"raw\":\n      footer.requirePropertyValues();\n      return [irReference(HELPER_TYPES.propertyValues.name, [type])];\n    case \"keyword\":\n    case \"stringLiteral\":\n    case \"numberLiteral\":\n    case \"booleanLiteral\":\n    case \"array\":\n    case \"tuple\":\n    case \"readonly\":\n      return [];\n  }\n}\n"],"names":[],"mappings":";;;AAQA,SAAS,iBAAiB,MAAA,EAA4B;AACpD,EAAA,IAAI,MAAA,CAAO,SAAS,gBAAA,EAAkB;AACpC,IAAA,OAAO,CAAC,OAAO,IAAI,CAAA;AAAA,EACrB;AACA,EAAA,OAAO,MAAA,CAAO,UAAA,GAAa,CAAC,MAAA,CAAO,IAAA,EAAM,SAAA,CAAU,WAAW,CAAC,CAAA,GAAI,CAAC,MAAA,CAAO,IAAI,CAAA;AACjF;AAOO,SAAS,kBAAA,CAAmB,MAAc,MAAA,EAAwC;AACvF,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,OAAA,CAAQ,gBAAgB,CAAA;AAAA,IAC9C,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,IAAA,CAAK,MAAM,OAAA,CAAQ,CAAC,WAAW,kBAAA,CAAmB,MAAA,EAAQ,MAAM,CAAC,CAAA;AAAA,IAC1E,KAAK,WAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,KAAA;AACH,MAAA,MAAA,CAAO,qBAAA,EAAsB;AAC7B,MAAA,OAAO,CAAC,YAAY,YAAA,CAAa,cAAA,CAAe,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;AAAA,IAC/D,KAAK,SAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,gBAAA;AAAA,IACL,KAAK,OAAA;AAAA,IACL,KAAK,OAAA;AAAA,IACL,KAAK,UAAA;AACH,MAAA,OAAO,EAAC;AAAA;AAEd;;"}

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

@@ -7,6 +7,7 @@ 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 pathItem = require('./path-item.cjs');
 const paths = require('./paths.cjs');
 const pathsEnum = require('./paths-enum.cjs');
 const webhooks = require('./webhooks.cjs');
@@ -100,7 +101,8 @@ function documentClosing(document, context, hasOperations) {
     declarations.push(emptyAlias(OPERATIONS_NAME));
   }
   if (context.options.makePathsEnum && document.paths) {
-    declarations.push(pathsEnum.apiPathsEnumDeclaration(document.paths));
+    const isIncluded = (operation) => pathItem.isIncludedOperation(operation, context);
+    declarations.push(pathsEnum.apiPathsEnumDeclaration(document.paths, isIncluded));
   }
   return declarations;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"document.cjs","sources":["../../../../src/application/transform/document/document.ts"],"sourcesContent":["import { appendAll } from \"../../../domain/append-all.js\";\nimport { 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. */\nexport const ROOT_KEYS = Object.freeze([\"paths\", \"webhooks\", \"components\", \"$defs\"] as const);\ntype RootKey = (typeof ROOT_KEYS)[number];\n\nexport const 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  appendAll(declarations, 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","appendAll","apiPathsEnumDeclaration"],"mappings":";;;;;;;;;;;;;AAuBO,MAAM,SAAA,GAAY,OAAO,MAAA,CAAO,CAAC,SAAS,UAAA,EAAY,YAAA,EAAc,OAAO,CAAU;AAGrF,MAAM,eAAA,GAAkB;AAE/B,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,EAAAC,mBAAA,CAAU,YAAA,EAAc,iBAAA,CAAkB,QAAA,EAAU,OAAA,EAAS,MAAM,CAAC,CAAA;AACpE,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 { appendAll } from \"../../../domain/append-all.js\";\nimport { 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 { OperationEntry, 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 { isIncludedOperation } from \"./path-item.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. */\nexport const ROOT_KEYS = Object.freeze([\"paths\", \"webhooks\", \"components\", \"$defs\"] as const);\ntype RootKey = (typeof ROOT_KEYS)[number];\n\nexport const 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  appendAll(declarations, 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    const isIncluded = (operation: OperationEntry) => isIncludedOperation(operation, context);\n    declarations.push(apiPathsEnumDeclaration(document.paths, isIncluded));\n  }\n  return declarations;\n}\n"],"names":["irRecord","irKeyword","keptDeprecatedComponents","pathMembers","irObject","pathsObjectType","webhooksType","componentsType","defsRootType","declaredTypeLookup","READ_WRITE_MARKER_TYPES","appendAll","isIncludedOperation","apiPathsEnumDeclaration"],"mappings":";;;;;;;;;;;;;;AAwBO,MAAM,SAAA,GAAY,OAAO,MAAA,CAAO,CAAC,SAAS,UAAA,EAAY,YAAA,EAAc,OAAO,CAAU;AAGrF,MAAM,eAAA,GAAkB;AAE/B,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,EAAAC,mBAAA,CAAU,YAAA,EAAc,iBAAA,CAAkB,QAAA,EAAU,OAAA,EAAS,MAAM,CAAC,CAAA;AACpE,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,MAAM,UAAA,GAAa,CAAC,SAAA,KAA8BC,4BAAA,CAAoB,WAAW,OAAO,CAAA;AACxF,IAAA,YAAA,CAAa,IAAA,CAAKC,iCAAA,CAAwB,QAAA,CAAS,KAAA,EAAO,UAAU,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,OAAO,YAAA;AACT;;;;;"}

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

@@ -5,6 +5,7 @@ import { componentsType } from './components.mjs';
 import { declaredTypeLookup } from './declared-types.mjs';
 import { defsRootType } from './defs-root.mjs';
 import { keptDeprecatedComponents } from './kept-deprecated.mjs';
+import { isIncludedOperation } from './path-item.mjs';
 import { pathMembers, pathsObjectType } from './paths.mjs';
 import { apiPathsEnumDeclaration } from './paths-enum.mjs';
 import { webhooksType } from './webhooks.mjs';
@@ -98,7 +99,8 @@ function documentClosing(document, context, hasOperations) {
     declarations.push(emptyAlias(OPERATIONS_NAME));
   }
   if (context.options.makePathsEnum && document.paths) {
-    declarations.push(apiPathsEnumDeclaration(document.paths));
+    const isIncluded = (operation) => isIncludedOperation(operation, context);
+    declarations.push(apiPathsEnumDeclaration(document.paths, isIncluded));
   }
   return declarations;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"document.mjs","sources":["../../../../src/application/transform/document/document.ts"],"sourcesContent":["import { appendAll } from \"../../../domain/append-all.js\";\nimport { 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. */\nexport const ROOT_KEYS = Object.freeze([\"paths\", \"webhooks\", \"components\", \"$defs\"] as const);\ntype RootKey = (typeof ROOT_KEYS)[number];\n\nexport const 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  appendAll(declarations, 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":";;;;;;;;;;;AAuBO,MAAM,SAAA,GAAY,OAAO,MAAA,CAAO,CAAC,SAAS,UAAA,EAAY,YAAA,EAAc,OAAO,CAAU;AAGrF,MAAM,eAAA,GAAkB;AAE/B,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,SAAA,CAAU,YAAA,EAAc,iBAAA,CAAkB,QAAA,EAAU,OAAA,EAAS,MAAM,CAAC,CAAA;AACpE,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 { appendAll } from \"../../../domain/append-all.js\";\nimport { 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 { OperationEntry, 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 { isIncludedOperation } from \"./path-item.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. */\nexport const ROOT_KEYS = Object.freeze([\"paths\", \"webhooks\", \"components\", \"$defs\"] as const);\ntype RootKey = (typeof ROOT_KEYS)[number];\n\nexport const 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  appendAll(declarations, 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    const isIncluded = (operation: OperationEntry) => isIncludedOperation(operation, context);\n    declarations.push(apiPathsEnumDeclaration(document.paths, isIncluded));\n  }\n  return declarations;\n}\n"],"names":[],"mappings":";;;;;;;;;;;;AAwBO,MAAM,SAAA,GAAY,OAAO,MAAA,CAAO,CAAC,SAAS,UAAA,EAAY,YAAA,EAAc,OAAO,CAAU;AAGrF,MAAM,eAAA,GAAkB;AAE/B,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,SAAA,CAAU,YAAA,EAAc,iBAAA,CAAkB,QAAA,EAAU,OAAA,EAAS,MAAM,CAAC,CAAA;AACpE,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,MAAM,UAAA,GAAa,CAAC,SAAA,KAA8B,mBAAA,CAAoB,WAAW,OAAO,CAAA;AACxF,IAAA,YAAA,CAAa,IAAA,CAAK,uBAAA,CAAwB,QAAA,CAAS,KAAA,EAAO,UAAU,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,OAAO,YAAA;AACT;;"}

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

@@ -0,0 +1,63 @@
+'use strict';
+
+const schemaTransform = require('../schema/schema-transform.cjs');
+const typeCombinators = require('../type-combinators.cjs');
+
+function refOf(value) {
+  const ref = value?.$ref;
+  return typeof ref === "string" ? ref : void 0;
+}
+function declaredSchema(schema, ref, context) {
+  let declared = { schema, path: ref };
+  const seen = /* @__PURE__ */ new Set();
+  for (let next = refOf(schema); next !== void 0 && !seen.has(next); ) {
+    seen.add(next);
+    declared = { schema: context.refs.resolve(next), path: next };
+    next = refOf(declared.schema);
+  }
+  return declared;
+}
+function declaredObjectType(entry, context) {
+  const { original, resolved } = entry;
+  const schemaRef = refOf(resolved.schema);
+  if (schemaRef !== void 0) {
+    const { schema, path } = declaredSchema(resolved.schema, schemaRef, context);
+    return schemaTransform.transformSchema(schema, { path, schema }, context);
+  }
+  const parameterRef = refOf(original);
+  return parameterRef === void 0 ? null : schemaTransform.transformSchema(resolved.schema, { path: parameterRef, schema: resolved }, context);
+}
+function isIndexSignature(member) {
+  return member.kind === "indexSignature";
+}
+function hasIndexSignature(type) {
+  switch (type.kind) {
+    case "object":
+      return type.members.some(isIndexSignature);
+    case "union":
+    case "intersection":
+      return type.types.some(hasIndexSignature);
+    default:
+      return false;
+  }
+}
+function widenedMember(member, values) {
+  const isUnknown = member.type.kind === "keyword" && member.type.keyword === "unknown";
+  return isIndexSignature(member) && !isUnknown ? { ...member, type: typeCombinators.unionOf([member.type, ...values]) } : member;
+}
+function withIndexValues(type, values) {
+  switch (type.kind) {
+    case "object":
+      return { ...type, members: type.members.map((member) => widenedMember(member, values)) };
+    case "union":
+    case "intersection":
+      return { ...type, types: type.types.map((member) => withIndexValues(member, values)) };
+    default:
+      return type;
+  }
+}
+
+exports.declaredObjectType = declaredObjectType;
+exports.hasIndexSignature = hasIndexSignature;
+exports.withIndexValues = withIndexValues;
+//# sourceMappingURL=exploded-query-values.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"exploded-query-values.cjs","sources":["../../../../src/application/transform/document/exploded-query-values.ts"],"sourcesContent":["import type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport type { Schema } from \"../../../domain/openapi/schema-object.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport type { ResolvedEntry } from \"./parameter-entries.js\";\n\n/**\n * `exploded-query-objects` and index signatures. The keys of an exploded object are keys of\n * `query`, next to the other parameters. TypeScript checks an index signature against every key\n * of a value, so `{ page?: number } & { [key: string]: string }` admits no `page`, and no value\n * with another parameter at all. An index signature of an exploded object therefore also takes\n * the value types of the other keys of `query`: those keys carry their own values.\n */\n\nfunction refOf(value: unknown): string | undefined {\n  const ref = (value as { $ref?: unknown } | undefined)?.$ref;\n  return typeof ref === \"string\" ? ref : undefined;\n}\n\n/** A schema `$ref` chain followed to its end, with the pointer where that schema is declared. */\nfunction declaredSchema(schema: Schema | undefined, ref: string, context: TransformContext) {\n  let declared = { schema, path: ref };\n  const seen = new Set<string>();\n  for (let next = refOf(schema); next !== undefined && !seen.has(next); ) {\n    seen.add(next);\n    declared = { schema: context.refs.resolve(next) as Schema | undefined, path: next };\n    next = refOf(declared.schema);\n  }\n  return declared;\n}\n\n/**\n * The type of an exploded parameter whose own type is a reference (its `$ref`, or the `$ref` of\n * its schema), written out where its schema is declared: the index signature of a referenced type\n * cannot be changed. The location is the one `components` types it at, so the enums it declares\n * are the ones the reference names. Null when no `$ref` is involved.\n */\nexport function declaredObjectType(entry: ResolvedEntry, context: TransformContext): IrType | null {\n  const { original, resolved } = entry;\n  const schemaRef = refOf(resolved.schema);\n  if (schemaRef !== undefined) {\n    const { schema, path } = declaredSchema(resolved.schema, schemaRef, context);\n    return transformSchema(schema, { path, schema }, context);\n  }\n  const parameterRef = refOf(original);\n  return parameterRef === undefined\n    ? null\n    : transformSchema(resolved.schema, { path: parameterRef, schema: resolved }, context);\n}\n\nfunction isIndexSignature(member: IrMember): boolean {\n  return member.kind === \"indexSignature\";\n}\n\n/** Whether the type has an index signature in its objects, through unions and intersections. */\nexport function hasIndexSignature(type: IrType): boolean {\n  switch (type.kind) {\n    case \"object\":\n      return type.members.some(isIndexSignature);\n    case \"union\":\n    case \"intersection\":\n      return type.types.some(hasIndexSignature);\n    default:\n      return false;\n  }\n}\n\nfunction widenedMember(member: IrMember, values: readonly IrType[]): IrMember {\n  // `unknown` takes every value already.\n  const isUnknown = member.type.kind === \"keyword\" && member.type.keyword === \"unknown\";\n  return isIndexSignature(member) && !isUnknown\n    ? { ...member, type: unionOf([member.type, ...values]) }\n    : member;\n}\n\n/** The type with the values added to each index signature of its objects. */\nexport function withIndexValues(type: IrType, values: readonly IrType[]): IrType {\n  switch (type.kind) {\n    case \"object\":\n      return { ...type, members: type.members.map((member) => widenedMember(member, values)) };\n    case \"union\":\n    case \"intersection\":\n      return { ...type, types: type.types.map((member) => withIndexValues(member, values)) };\n    default:\n      return type;\n  }\n}\n"],"names":["transformSchema","unionOf"],"mappings":";;;;;AAeA,SAAS,MAAM,KAAA,EAAoC;AACjD,EAAA,MAAM,MAAO,KAAA,EAA0C,IAAA;AACvD,EAAA,OAAO,OAAO,GAAA,KAAQ,QAAA,GAAW,GAAA,GAAM,MAAA;AACzC;AAGA,SAAS,cAAA,CAAe,MAAA,EAA4B,GAAA,EAAa,OAAA,EAA2B;AAC1F,EAAA,IAAI,QAAA,GAAW,EAAE,MAAA,EAAQ,IAAA,EAAM,GAAA,EAAI;AACnC,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,KAAA,IAAS,IAAA,GAAO,KAAA,CAAM,MAAM,CAAA,EAAG,IAAA,KAAS,UAAa,CAAC,IAAA,CAAK,GAAA,CAAI,IAAI,CAAA,IAAK;AACtE,IAAA,IAAA,CAAK,IAAI,IAAI,CAAA;AACb,IAAA,QAAA,GAAW,EAAE,QAAQ,OAAA,CAAQ,IAAA,CAAK,QAAQ,IAAI,CAAA,EAAyB,MAAM,IAAA,EAAK;AAClF,IAAA,IAAA,GAAO,KAAA,CAAM,SAAS,MAAM,CAAA;AAAA,EAC9B;AACA,EAAA,OAAO,QAAA;AACT;AAQO,SAAS,kBAAA,CAAmB,OAAsB,OAAA,EAA0C;AACjG,EAAA,MAAM,EAAE,QAAA,EAAU,QAAA,EAAS,GAAI,KAAA;AAC/B,EAAA,MAAM,SAAA,GAAY,KAAA,CAAM,QAAA,CAAS,MAAM,CAAA;AACvC,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,MAAM,EAAE,QAAQ,IAAA,EAAK,GAAI,eAAe,QAAA,CAAS,MAAA,EAAQ,WAAW,OAAO,CAAA;AAC3E,IAAA,OAAOA,gCAAgB,MAAA,EAAQ,EAAE,IAAA,EAAM,MAAA,IAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,MAAM,YAAA,GAAe,MAAM,QAAQ,CAAA;AACnC,EAAA,OAAO,YAAA,KAAiB,MAAA,GACpB,IAAA,GACAA,+BAAA,CAAgB,QAAA,CAAS,MAAA,EAAQ,EAAE,IAAA,EAAM,YAAA,EAAc,MAAA,EAAQ,QAAA,EAAS,EAAG,OAAO,CAAA;AACxF;AAEA,SAAS,iBAAiB,MAAA,EAA2B;AACnD,EAAA,OAAO,OAAO,IAAA,KAAS,gBAAA;AACzB;AAGO,SAAS,kBAAkB,IAAA,EAAuB;AACvD,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,IAAA,CAAK,gBAAgB,CAAA;AAAA,IAC3C,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,IAAA,CAAK,KAAA,CAAM,IAAA,CAAK,iBAAiB,CAAA;AAAA,IAC1C;AACE,MAAA,OAAO,KAAA;AAAA;AAEb;AAEA,SAAS,aAAA,CAAc,QAAkB,MAAA,EAAqC;AAE5E,EAAA,MAAM,YAAY,MAAA,CAAO,IAAA,CAAK,SAAS,SAAA,IAAa,MAAA,CAAO,KAAK,OAAA,KAAY,SAAA;AAC5E,EAAA,OAAO,iBAAiB,MAAM,CAAA,IAAK,CAAC,SAAA,GAChC,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAMC,uBAAA,CAAQ,CAAC,MAAA,CAAO,IAAA,EAAM,GAAG,MAAM,CAAC,GAAE,GACrD,MAAA;AACN;AAGO,SAAS,eAAA,CAAgB,MAAc,MAAA,EAAmC;AAC/E,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAA,KAAW,aAAA,CAAc,MAAA,EAAQ,MAAM,CAAC,CAAA,EAAE;AAAA,IACzF,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,KAAA,EAAO,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,CAAC,MAAA,KAAW,eAAA,CAAgB,MAAA,EAAQ,MAAM,CAAC,CAAA,EAAE;AAAA,IACvF;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;;;;"}

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

@@ -0,0 +1,59 @@
+import { transformSchema } from '../schema/schema-transform.mjs';
+import { unionOf } from '../type-combinators.mjs';
+
+function refOf(value) {
+  const ref = value?.$ref;
+  return typeof ref === "string" ? ref : void 0;
+}
+function declaredSchema(schema, ref, context) {
+  let declared = { schema, path: ref };
+  const seen = /* @__PURE__ */ new Set();
+  for (let next = refOf(schema); next !== void 0 && !seen.has(next); ) {
+    seen.add(next);
+    declared = { schema: context.refs.resolve(next), path: next };
+    next = refOf(declared.schema);
+  }
+  return declared;
+}
+function declaredObjectType(entry, context) {
+  const { original, resolved } = entry;
+  const schemaRef = refOf(resolved.schema);
+  if (schemaRef !== void 0) {
+    const { schema, path } = declaredSchema(resolved.schema, schemaRef, context);
+    return transformSchema(schema, { path, schema }, context);
+  }
+  const parameterRef = refOf(original);
+  return parameterRef === void 0 ? null : transformSchema(resolved.schema, { path: parameterRef, schema: resolved }, context);
+}
+function isIndexSignature(member) {
+  return member.kind === "indexSignature";
+}
+function hasIndexSignature(type) {
+  switch (type.kind) {
+    case "object":
+      return type.members.some(isIndexSignature);
+    case "union":
+    case "intersection":
+      return type.types.some(hasIndexSignature);
+    default:
+      return false;
+  }
+}
+function widenedMember(member, values) {
+  const isUnknown = member.type.kind === "keyword" && member.type.keyword === "unknown";
+  return isIndexSignature(member) && !isUnknown ? { ...member, type: unionOf([member.type, ...values]) } : member;
+}
+function withIndexValues(type, values) {
+  switch (type.kind) {
+    case "object":
+      return { ...type, members: type.members.map((member) => widenedMember(member, values)) };
+    case "union":
+    case "intersection":
+      return { ...type, types: type.types.map((member) => withIndexValues(member, values)) };
+    default:
+      return type;
+  }
+}
+
+export { declaredObjectType, hasIndexSignature, withIndexValues };
+//# sourceMappingURL=exploded-query-values.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"exploded-query-values.mjs","sources":["../../../../src/application/transform/document/exploded-query-values.ts"],"sourcesContent":["import type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport type { Schema } from \"../../../domain/openapi/schema-object.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport type { ResolvedEntry } from \"./parameter-entries.js\";\n\n/**\n * `exploded-query-objects` and index signatures. The keys of an exploded object are keys of\n * `query`, next to the other parameters. TypeScript checks an index signature against every key\n * of a value, so `{ page?: number } & { [key: string]: string }` admits no `page`, and no value\n * with another parameter at all. An index signature of an exploded object therefore also takes\n * the value types of the other keys of `query`: those keys carry their own values.\n */\n\nfunction refOf(value: unknown): string | undefined {\n  const ref = (value as { $ref?: unknown } | undefined)?.$ref;\n  return typeof ref === \"string\" ? ref : undefined;\n}\n\n/** A schema `$ref` chain followed to its end, with the pointer where that schema is declared. */\nfunction declaredSchema(schema: Schema | undefined, ref: string, context: TransformContext) {\n  let declared = { schema, path: ref };\n  const seen = new Set<string>();\n  for (let next = refOf(schema); next !== undefined && !seen.has(next); ) {\n    seen.add(next);\n    declared = { schema: context.refs.resolve(next) as Schema | undefined, path: next };\n    next = refOf(declared.schema);\n  }\n  return declared;\n}\n\n/**\n * The type of an exploded parameter whose own type is a reference (its `$ref`, or the `$ref` of\n * its schema), written out where its schema is declared: the index signature of a referenced type\n * cannot be changed. The location is the one `components` types it at, so the enums it declares\n * are the ones the reference names. Null when no `$ref` is involved.\n */\nexport function declaredObjectType(entry: ResolvedEntry, context: TransformContext): IrType | null {\n  const { original, resolved } = entry;\n  const schemaRef = refOf(resolved.schema);\n  if (schemaRef !== undefined) {\n    const { schema, path } = declaredSchema(resolved.schema, schemaRef, context);\n    return transformSchema(schema, { path, schema }, context);\n  }\n  const parameterRef = refOf(original);\n  return parameterRef === undefined\n    ? null\n    : transformSchema(resolved.schema, { path: parameterRef, schema: resolved }, context);\n}\n\nfunction isIndexSignature(member: IrMember): boolean {\n  return member.kind === \"indexSignature\";\n}\n\n/** Whether the type has an index signature in its objects, through unions and intersections. */\nexport function hasIndexSignature(type: IrType): boolean {\n  switch (type.kind) {\n    case \"object\":\n      return type.members.some(isIndexSignature);\n    case \"union\":\n    case \"intersection\":\n      return type.types.some(hasIndexSignature);\n    default:\n      return false;\n  }\n}\n\nfunction widenedMember(member: IrMember, values: readonly IrType[]): IrMember {\n  // `unknown` takes every value already.\n  const isUnknown = member.type.kind === \"keyword\" && member.type.keyword === \"unknown\";\n  return isIndexSignature(member) && !isUnknown\n    ? { ...member, type: unionOf([member.type, ...values]) }\n    : member;\n}\n\n/** The type with the values added to each index signature of its objects. */\nexport function withIndexValues(type: IrType, values: readonly IrType[]): IrType {\n  switch (type.kind) {\n    case \"object\":\n      return { ...type, members: type.members.map((member) => widenedMember(member, values)) };\n    case \"union\":\n    case \"intersection\":\n      return { ...type, types: type.types.map((member) => withIndexValues(member, values)) };\n    default:\n      return type;\n  }\n}\n"],"names":[],"mappings":";;;AAeA,SAAS,MAAM,KAAA,EAAoC;AACjD,EAAA,MAAM,MAAO,KAAA,EAA0C,IAAA;AACvD,EAAA,OAAO,OAAO,GAAA,KAAQ,QAAA,GAAW,GAAA,GAAM,MAAA;AACzC;AAGA,SAAS,cAAA,CAAe,MAAA,EAA4B,GAAA,EAAa,OAAA,EAA2B;AAC1F,EAAA,IAAI,QAAA,GAAW,EAAE,MAAA,EAAQ,IAAA,EAAM,GAAA,EAAI;AACnC,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,KAAA,IAAS,IAAA,GAAO,KAAA,CAAM,MAAM,CAAA,EAAG,IAAA,KAAS,UAAa,CAAC,IAAA,CAAK,GAAA,CAAI,IAAI,CAAA,IAAK;AACtE,IAAA,IAAA,CAAK,IAAI,IAAI,CAAA;AACb,IAAA,QAAA,GAAW,EAAE,QAAQ,OAAA,CAAQ,IAAA,CAAK,QAAQ,IAAI,CAAA,EAAyB,MAAM,IAAA,EAAK;AAClF,IAAA,IAAA,GAAO,KAAA,CAAM,SAAS,MAAM,CAAA;AAAA,EAC9B;AACA,EAAA,OAAO,QAAA;AACT;AAQO,SAAS,kBAAA,CAAmB,OAAsB,OAAA,EAA0C;AACjG,EAAA,MAAM,EAAE,QAAA,EAAU,QAAA,EAAS,GAAI,KAAA;AAC/B,EAAA,MAAM,SAAA,GAAY,KAAA,CAAM,QAAA,CAAS,MAAM,CAAA;AACvC,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,MAAM,EAAE,QAAQ,IAAA,EAAK,GAAI,eAAe,QAAA,CAAS,MAAA,EAAQ,WAAW,OAAO,CAAA;AAC3E,IAAA,OAAO,gBAAgB,MAAA,EAAQ,EAAE,IAAA,EAAM,MAAA,IAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,MAAM,YAAA,GAAe,MAAM,QAAQ,CAAA;AACnC,EAAA,OAAO,YAAA,KAAiB,MAAA,GACpB,IAAA,GACA,eAAA,CAAgB,QAAA,CAAS,MAAA,EAAQ,EAAE,IAAA,EAAM,YAAA,EAAc,MAAA,EAAQ,QAAA,EAAS,EAAG,OAAO,CAAA;AACxF;AAEA,SAAS,iBAAiB,MAAA,EAA2B;AACnD,EAAA,OAAO,OAAO,IAAA,KAAS,gBAAA;AACzB;AAGO,SAAS,kBAAkB,IAAA,EAAuB;AACvD,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,IAAA,CAAK,gBAAgB,CAAA;AAAA,IAC3C,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,IAAA,CAAK,KAAA,CAAM,IAAA,CAAK,iBAAiB,CAAA;AAAA,IAC1C;AACE,MAAA,OAAO,KAAA;AAAA;AAEb;AAEA,SAAS,aAAA,CAAc,QAAkB,MAAA,EAAqC;AAE5E,EAAA,MAAM,YAAY,MAAA,CAAO,IAAA,CAAK,SAAS,SAAA,IAAa,MAAA,CAAO,KAAK,OAAA,KAAY,SAAA;AAC5E,EAAA,OAAO,iBAAiB,MAAM,CAAA,IAAK,CAAC,SAAA,GAChC,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,OAAA,CAAQ,CAAC,MAAA,CAAO,IAAA,EAAM,GAAG,MAAM,CAAC,GAAE,GACrD,MAAA;AACN;AAGO,SAAS,eAAA,CAAgB,MAAc,MAAA,EAAmC;AAC/E,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAA,KAAW,aAAA,CAAc,MAAA,EAAQ,MAAM,CAAC,CAAA,EAAE;AAAA,IACzF,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,KAAA,EAAO,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,CAAC,MAAA,KAAW,eAAA,CAAgB,MAAA,EAAQ,MAAM,CAAC,CAAA,EAAE;AAAA,IACvF;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;;"}

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

@@ -2,11 +2,12 @@
 
 const constructors = require('../../../domain/ir/constructors.cjs');
 const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const outputFixes = require('../../../domain/output-fixes.cjs');
 const documentEntries = require('../document-entries.cjs');
 const schemaTransform = require('../schema/schema-transform.cjs');
 const sharedTypes = require('../shared-types.cjs');
 const documentMember = require('./document-member.cjs');
-const mediaType = require('./media-type.cjs');
+const mediaType$1 = require('./media-type.cjs');
 
 function headerType(header, location, context) {
   if (header.schema) {
@@ -15,13 +16,20 @@ function headerType(header, location, context) {
   if (!header.content) {
     return sharedTypes.UNKNOWN_TYPE;
   }
+  if (context.options.fixes.has(outputFixes.FIX.PARAMETER_HEADER_CONTENT)) {
+    const first = Object.entries(header.content)[0];
+    return first === void 0 ? sharedTypes.UNKNOWN_TYPE : mediaType(...first, location, context);
+  }
   const members = documentEntries.documentEntries(header.content, context.options).map(([contentType, entry]) => {
-    const path = `${location.path ?? "#"}/${jsonPointer.escapePointerSegment(contentType)}`;
-    const type = mediaType.contentEntryType(entry, { ...location, path }, context);
+    const type = mediaType(contentType, entry, location, context);
     return documentMember.documentMember(contentType, type, entry, { isReadonly: context.options.immutable });
   });
   return constructors.irObject(members);
 }
+function mediaType(contentType, entry, location, context) {
+  const path = `${location.path ?? "#"}/${jsonPointer.escapePointerSegment(contentType)}`;
+  return mediaType$1.contentEntryType(entry, { ...location, path }, context);
+}
 
 exports.headerType = headerType;
 //# sourceMappingURL=header.cjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"header.cjs","sources":["../../../../src/application/transform/document/header.ts"],"sourcesContent":["import { irObject } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport type { HeaderObject } from \"../../../domain/openapi/header-object.js\";\nimport { escapePointerSegment } from \"../../../domain/openapi/json-pointer.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A header's type (OpenAPI 3.1 §4.8.21): its schema, else an object with one property per media\n * type in `content`, else `unknown`.\n */\nexport function headerType(\n  header: HeaderObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (header.schema) {\n    return transformSchema(header.schema, location, context);\n  }\n  if (!header.content) {\n    return UNKNOWN_TYPE;\n  }\n  const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {\n    // Unlike other content maps, the original joins this path by hand: a missing path is `#`.\n    const path = `${location.path ?? \"#\"}/${escapePointerSegment(contentType)}`;\n    const type = contentEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n"],"names":["transformSchema","UNKNOWN_TYPE","documentEntries","escapePointerSegment","contentEntryType","documentMember","irObject"],"mappings":";;;;;;;;;;AAeO,SAAS,UAAA,CACd,MAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,OAAO,MAAA,EAAQ;AACjB,IAAA,OAAOA,+BAAA,CAAgB,MAAA,CAAO,MAAA,EAAQ,QAAA,EAAU,OAAO,CAAA;AAAA,EACzD;AACA,EAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,IAAA,OAAOC,wBAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAUC,+BAAA,CAAgB,MAAA,CAAO,OAAA,EAAS,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAE7F,IAAA,MAAM,IAAA,GAAO,GAAG,QAAA,CAAS,IAAA,IAAQ,GAAG,CAAA,CAAA,EAAIC,gCAAA,CAAqB,WAAW,CAAC,CAAA,CAAA;AACzE,IAAA,MAAM,IAAA,GAAOC,2BAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AACnE,IAAA,OAAOC,6BAAA,CAAe,aAAa,IAAA,EAAM,KAAA,EAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EAC3F,CAAC,CAAA;AACD,EAAA,OAAOC,sBAAS,OAAO,CAAA;AACzB;;"}
+{"version":3,"file":"header.cjs","sources":["../../../../src/application/transform/document/header.ts"],"sourcesContent":["import { irObject } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport type { HeaderObject } from \"../../../domain/openapi/header-object.js\";\nimport { escapePointerSegment } from \"../../../domain/openapi/json-pointer.js\";\nimport type { ContentMap } from \"../../../domain/openapi/media-type-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A header's type (OpenAPI 3.1 §4.8.21): its schema, else the type of its `content`, else\n * `unknown`. `content` holds one media type whose schema describes the value; the original typed\n * it as an object with one property per media type, which the `parameter-header-content` fix\n * replaces by the media type's type, as for a parameter.\n */\nexport function headerType(\n  header: HeaderObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (header.schema) {\n    return transformSchema(header.schema, location, context);\n  }\n  if (!header.content) {\n    return UNKNOWN_TYPE;\n  }\n  if (context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT)) {\n    // The first media type in document order, as for a parameter: `--alphabetize` sorts only\n    // the members it writes.\n    const first = Object.entries(header.content)[0];\n    return first === undefined ? UNKNOWN_TYPE : mediaType(...first, location, context);\n  }\n  const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {\n    const type = mediaType(contentType, entry, location, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n\n/** The type of one media type of a header, at the path the original gave it. */\nfunction mediaType(\n  contentType: string,\n  entry: ContentMap[string],\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  // Unlike other content maps, the original joins this path by hand: a missing path is `#`.\n  const path = `${location.path ?? \"#\"}/${escapePointerSegment(contentType)}`;\n  return contentEntryType(entry, { ...location, path }, context);\n}\n"],"names":["transformSchema","UNKNOWN_TYPE","FIX","documentEntries","documentMember","irObject","escapePointerSegment","contentEntryType"],"mappings":";;;;;;;;;;;AAmBO,SAAS,UAAA,CACd,MAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,OAAO,MAAA,EAAQ;AACjB,IAAA,OAAOA,+BAAA,CAAgB,MAAA,CAAO,MAAA,EAAQ,QAAA,EAAU,OAAO,CAAA;AAAA,EACzD;AACA,EAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,IAAA,OAAOC,wBAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIC,eAAA,CAAI,wBAAwB,CAAA,EAAG;AAG3D,IAAA,MAAM,QAAQ,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,OAAO,EAAE,CAAC,CAAA;AAC9C,IAAA,OAAO,UAAU,MAAA,GAAYD,wBAAA,GAAe,UAAU,GAAG,KAAA,EAAO,UAAU,OAAO,CAAA;AAAA,EACnF;AACA,EAAA,MAAM,OAAA,GAAUE,+BAAA,CAAgB,MAAA,CAAO,OAAA,EAAS,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAC7F,IAAA,MAAM,IAAA,GAAO,SAAA,CAAU,WAAA,EAAa,KAAA,EAAO,UAAU,OAAO,CAAA;AAC5D,IAAA,OAAOC,6BAAA,CAAe,aAAa,IAAA,EAAM,KAAA,EAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EAC3F,CAAC,CAAA;AACD,EAAA,OAAOC,sBAAS,OAAO,CAAA;AACzB;AAGA,SAAS,SAAA,CACP,WAAA,EACA,KAAA,EACA,QAAA,EACA,OAAA,EACQ;AAER,EAAA,MAAM,IAAA,GAAO,GAAG,QAAA,CAAS,IAAA,IAAQ,GAAG,CAAA,CAAA,EAAIC,gCAAA,CAAqB,WAAW,CAAC,CAAA,CAAA;AACzE,EAAA,OAAOC,6BAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;;"}

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

@@ -1,5 +1,6 @@
 import { irObject } from '../../../domain/ir/constructors.mjs';
 import { escapePointerSegment } from '../../../domain/openapi/json-pointer.mjs';
+import { FIX } from '../../../domain/output-fixes.mjs';
 import { documentEntries } from '../document-entries.mjs';
 import { transformSchema } from '../schema/schema-transform.mjs';
 import { UNKNOWN_TYPE } from '../shared-types.mjs';
@@ -13,13 +14,20 @@ function headerType(header, location, context) {
   if (!header.content) {
     return UNKNOWN_TYPE;
   }
+  if (context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT)) {
+    const first = Object.entries(header.content)[0];
+    return first === void 0 ? UNKNOWN_TYPE : mediaType(...first, location, context);
+  }
   const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {
-    const path = `${location.path ?? "#"}/${escapePointerSegment(contentType)}`;
-    const type = contentEntryType(entry, { ...location, path }, context);
+    const type = mediaType(contentType, entry, location, context);
     return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });
   });
   return irObject(members);
 }
+function mediaType(contentType, entry, location, context) {
+  const path = `${location.path ?? "#"}/${escapePointerSegment(contentType)}`;
+  return contentEntryType(entry, { ...location, path }, context);
+}
 
 export { headerType };
 //# sourceMappingURL=header.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"header.mjs","sources":["../../../../src/application/transform/document/header.ts"],"sourcesContent":["import { irObject } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport type { HeaderObject } from \"../../../domain/openapi/header-object.js\";\nimport { escapePointerSegment } from \"../../../domain/openapi/json-pointer.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A header's type (OpenAPI 3.1 §4.8.21): its schema, else an object with one property per media\n * type in `content`, else `unknown`.\n */\nexport function headerType(\n  header: HeaderObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (header.schema) {\n    return transformSchema(header.schema, location, context);\n  }\n  if (!header.content) {\n    return UNKNOWN_TYPE;\n  }\n  const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {\n    // Unlike other content maps, the original joins this path by hand: a missing path is `#`.\n    const path = `${location.path ?? \"#\"}/${escapePointerSegment(contentType)}`;\n    const type = contentEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n"],"names":[],"mappings":";;;;;;;;AAeO,SAAS,UAAA,CACd,MAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,OAAO,MAAA,EAAQ;AACjB,IAAA,OAAO,eAAA,CAAgB,MAAA,CAAO,MAAA,EAAQ,QAAA,EAAU,OAAO,CAAA;AAAA,EACzD;AACA,EAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAU,eAAA,CAAgB,MAAA,CAAO,OAAA,EAAS,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAE7F,IAAA,MAAM,IAAA,GAAO,GAAG,QAAA,CAAS,IAAA,IAAQ,GAAG,CAAA,CAAA,EAAI,oBAAA,CAAqB,WAAW,CAAC,CAAA,CAAA;AACzE,IAAA,MAAM,IAAA,GAAO,iBAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AACnE,IAAA,OAAO,cAAA,CAAe,aAAa,IAAA,EAAM,KAAA,EAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EAC3F,CAAC,CAAA;AACD,EAAA,OAAO,SAAS,OAAO,CAAA;AACzB;;"}
+{"version":3,"file":"header.mjs","sources":["../../../../src/application/transform/document/header.ts"],"sourcesContent":["import { irObject } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport type { HeaderObject } from \"../../../domain/openapi/header-object.js\";\nimport { escapePointerSegment } from \"../../../domain/openapi/json-pointer.js\";\nimport type { ContentMap } from \"../../../domain/openapi/media-type-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A header's type (OpenAPI 3.1 §4.8.21): its schema, else the type of its `content`, else\n * `unknown`. `content` holds one media type whose schema describes the value; the original typed\n * it as an object with one property per media type, which the `parameter-header-content` fix\n * replaces by the media type's type, as for a parameter.\n */\nexport function headerType(\n  header: HeaderObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (header.schema) {\n    return transformSchema(header.schema, location, context);\n  }\n  if (!header.content) {\n    return UNKNOWN_TYPE;\n  }\n  if (context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT)) {\n    // The first media type in document order, as for a parameter: `--alphabetize` sorts only\n    // the members it writes.\n    const first = Object.entries(header.content)[0];\n    return first === undefined ? UNKNOWN_TYPE : mediaType(...first, location, context);\n  }\n  const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {\n    const type = mediaType(contentType, entry, location, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n\n/** The type of one media type of a header, at the path the original gave it. */\nfunction mediaType(\n  contentType: string,\n  entry: ContentMap[string],\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  // Unlike other content maps, the original joins this path by hand: a missing path is `#`.\n  const path = `${location.path ?? \"#\"}/${escapePointerSegment(contentType)}`;\n  return contentEntryType(entry, { ...location, path }, context);\n}\n"],"names":[],"mappings":";;;;;;;;;AAmBO,SAAS,UAAA,CACd,MAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,OAAO,MAAA,EAAQ;AACjB,IAAA,OAAO,eAAA,CAAgB,MAAA,CAAO,MAAA,EAAQ,QAAA,EAAU,OAAO,CAAA;AAAA,EACzD;AACA,EAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,wBAAwB,CAAA,EAAG;AAG3D,IAAA,MAAM,QAAQ,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,OAAO,EAAE,CAAC,CAAA;AAC9C,IAAA,OAAO,UAAU,MAAA,GAAY,YAAA,GAAe,UAAU,GAAG,KAAA,EAAO,UAAU,OAAO,CAAA;AAAA,EACnF;AACA,EAAA,MAAM,OAAA,GAAU,eAAA,CAAgB,MAAA,CAAO,OAAA,EAAS,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAC7F,IAAA,MAAM,IAAA,GAAO,SAAA,CAAU,WAAA,EAAa,KAAA,EAAO,UAAU,OAAO,CAAA;AAC5D,IAAA,OAAO,cAAA,CAAe,aAAa,IAAA,EAAM,KAAA,EAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EAC3F,CAAC,CAAA;AACD,EAAA,OAAO,SAAS,OAAO,CAAA;AACzB;AAGA,SAAS,SAAA,CACP,WAAA,EACA,KAAA,EACA,QAAA,EACA,OAAA,EACQ;AAER,EAAA,MAAM,IAAA,GAAO,GAAG,QAAA,CAAS,IAAA,IAAQ,GAAG,CAAA,CAAA,EAAI,oBAAA,CAAqB,WAAW,CAAC,CAAA,CAAA;AACzE,EAAA,OAAO,iBAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;;"}

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

@@ -20,7 +20,7 @@ function isTypedByContent(parameter, context) {
     return true;
   }
   const hasContent = parameter.schema === void 0 && parameter.content !== void 0;
-  return hasContent && context.options.fixes.has(outputFixes.FIX.PARAMETER_CONTENT);
+  return hasContent && context.options.fixes.has(outputFixes.FIX.PARAMETER_HEADER_CONTENT);
 }
 function parameterType(parameter, location, context) {
   if (isTypedByContent(parameter, context)) {

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

@@ -1 +1 @@
-{"version":3,"file":"parameter.cjs","sources":["../../../../src/application/transform/document/parameter.ts"],"sourcesContent":["import { irKeyword } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  type ParameterObject,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A parameter typed by the schema of its one `content` media type. An `in: querystring` parameter\n * (OpenAPI 3.2) is the whole query string (ADR-020); without a media type it is `string`, the\n * query string as text. With the `parameter-content` fix, any other parameter with `content`\n * (OpenAPI 3.0 and later, for a JSON value in a query parameter) is typed the same way.\n */\nfunction contentParameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const [mediaType, entry] = Object.entries(parameter.content ?? {})[0] ?? [];\n  if (mediaType === undefined || entry === undefined) {\n    return irKeyword(\"string\");\n  }\n  const path = appendPointer(location.path, [\"content\", mediaType]);\n  return contentEntryType(entry, { ...location, path }, context);\n}\n\nfunction isTypedByContent(parameter: ParameterObject, context: SchemaContext): boolean {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    return true;\n  }\n  const hasContent = parameter.schema === undefined && parameter.content !== undefined;\n  return hasContent && context.options.fixes.has(FIX.PARAMETER_CONTENT);\n}\n\n/**\n * A parameter's type (OpenAPI 3.2 §4.8.12). Without a schema it is `string`, not `unknown`:\n * query, path, header and cookie values all arrive as text. `content` is read for\n * `in: querystring`, and with the `parameter-content` fix for every parameter; without the fix\n * other parameters with `content` keep the original's `string`.\n */\nexport function parameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (isTypedByContent(parameter, context)) {\n    return contentParameterType(parameter, location, context);\n  }\n  return parameter.schema\n    ? transformSchema(parameter.schema, location, context)\n    : irKeyword(\"string\");\n}\n"],"names":["mediaType","irKeyword","appendPointer","contentEntryType","QUERYSTRING_LOCATION","FIX","transformSchema"],"mappings":";;;;;;;;;AAkBA,SAAS,oBAAA,CACP,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,CAACA,WAAA,EAAW,KAAK,CAAA,GAAI,MAAA,CAAO,OAAA,CAAQ,SAAA,CAAU,OAAA,IAAW,EAAE,CAAA,CAAE,CAAC,KAAK,EAAC;AAC1E,EAAA,IAAIA,WAAA,KAAc,MAAA,IAAa,KAAA,KAAU,MAAA,EAAW;AAClD,IAAA,OAAOC,uBAAU,QAAQ,CAAA;AAAA,EAC3B;AACA,EAAA,MAAM,OAAOC,yBAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAWF,WAAS,CAAC,CAAA;AAChE,EAAA,OAAOG,2BAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;AAEA,SAAS,gBAAA,CAAiB,WAA4B,OAAA,EAAiC;AACrF,EAAA,IAAI,SAAA,CAAU,OAAOC,oCAAA,EAAsB;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,MAAA,KAAW,MAAA,IAAa,UAAU,OAAA,KAAY,MAAA;AAC3E,EAAA,OAAO,cAAc,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIC,gBAAI,iBAAiB,CAAA;AACtE;AAQO,SAAS,aAAA,CACd,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,gBAAA,CAAiB,SAAA,EAAW,OAAO,CAAA,EAAG;AACxC,IAAA,OAAO,oBAAA,CAAqB,SAAA,EAAW,QAAA,EAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,OAAO,SAAA,CAAU,SACbC,+BAAA,CAAgB,SAAA,CAAU,QAAQ,QAAA,EAAU,OAAO,CAAA,GACnDL,sBAAA,CAAU,QAAQ,CAAA;AACxB;;"}
+{"version":3,"file":"parameter.cjs","sources":["../../../../src/application/transform/document/parameter.ts"],"sourcesContent":["import { irKeyword } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  type ParameterObject,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A parameter typed by the schema of its one `content` media type. An `in: querystring` parameter\n * (OpenAPI 3.2) is the whole query string (ADR-020); without a media type it is `string`, the\n * query string as text. With the `parameter-header-content` fix, any other parameter with `content`\n * (OpenAPI 3.0 and later, for a JSON value in a query parameter) is typed the same way.\n */\nfunction contentParameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const [mediaType, entry] = Object.entries(parameter.content ?? {})[0] ?? [];\n  if (mediaType === undefined || entry === undefined) {\n    return irKeyword(\"string\");\n  }\n  const path = appendPointer(location.path, [\"content\", mediaType]);\n  return contentEntryType(entry, { ...location, path }, context);\n}\n\nfunction isTypedByContent(parameter: ParameterObject, context: SchemaContext): boolean {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    return true;\n  }\n  const hasContent = parameter.schema === undefined && parameter.content !== undefined;\n  return hasContent && context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT);\n}\n\n/**\n * A parameter's type (OpenAPI 3.2 §4.8.12). Without a schema it is `string`, not `unknown`:\n * query, path, header and cookie values all arrive as text. `content` is read for\n * `in: querystring`, and with the `parameter-header-content` fix for every parameter; without\n * the fix other parameters with `content` keep the original's `string`.\n */\nexport function parameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (isTypedByContent(parameter, context)) {\n    return contentParameterType(parameter, location, context);\n  }\n  return parameter.schema\n    ? transformSchema(parameter.schema, location, context)\n    : irKeyword(\"string\");\n}\n"],"names":["mediaType","irKeyword","appendPointer","contentEntryType","QUERYSTRING_LOCATION","FIX","transformSchema"],"mappings":";;;;;;;;;AAkBA,SAAS,oBAAA,CACP,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,CAACA,WAAA,EAAW,KAAK,CAAA,GAAI,MAAA,CAAO,OAAA,CAAQ,SAAA,CAAU,OAAA,IAAW,EAAE,CAAA,CAAE,CAAC,KAAK,EAAC;AAC1E,EAAA,IAAIA,WAAA,KAAc,MAAA,IAAa,KAAA,KAAU,MAAA,EAAW;AAClD,IAAA,OAAOC,uBAAU,QAAQ,CAAA;AAAA,EAC3B;AACA,EAAA,MAAM,OAAOC,yBAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAWF,WAAS,CAAC,CAAA;AAChE,EAAA,OAAOG,2BAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;AAEA,SAAS,gBAAA,CAAiB,WAA4B,OAAA,EAAiC;AACrF,EAAA,IAAI,SAAA,CAAU,OAAOC,oCAAA,EAAsB;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,MAAA,KAAW,MAAA,IAAa,UAAU,OAAA,KAAY,MAAA;AAC3E,EAAA,OAAO,cAAc,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIC,gBAAI,wBAAwB,CAAA;AAC7E;AAQO,SAAS,aAAA,CACd,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,gBAAA,CAAiB,SAAA,EAAW,OAAO,CAAA,EAAG;AACxC,IAAA,OAAO,oBAAA,CAAqB,SAAA,EAAW,QAAA,EAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,OAAO,SAAA,CAAU,SACbC,+BAAA,CAAgB,SAAA,CAAU,QAAQ,QAAA,EAAU,OAAO,CAAA,GACnDL,sBAAA,CAAU,QAAQ,CAAA;AACxB;;"}

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

@@ -18,7 +18,7 @@ function isTypedByContent(parameter, context) {
     return true;
   }
   const hasContent = parameter.schema === void 0 && parameter.content !== void 0;
-  return hasContent && context.options.fixes.has(FIX.PARAMETER_CONTENT);
+  return hasContent && context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT);
 }
 function parameterType(parameter, location, context) {
   if (isTypedByContent(parameter, context)) {

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

@@ -1 +1 @@
-{"version":3,"file":"parameter.mjs","sources":["../../../../src/application/transform/document/parameter.ts"],"sourcesContent":["import { irKeyword } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  type ParameterObject,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A parameter typed by the schema of its one `content` media type. An `in: querystring` parameter\n * (OpenAPI 3.2) is the whole query string (ADR-020); without a media type it is `string`, the\n * query string as text. With the `parameter-content` fix, any other parameter with `content`\n * (OpenAPI 3.0 and later, for a JSON value in a query parameter) is typed the same way.\n */\nfunction contentParameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const [mediaType, entry] = Object.entries(parameter.content ?? {})[0] ?? [];\n  if (mediaType === undefined || entry === undefined) {\n    return irKeyword(\"string\");\n  }\n  const path = appendPointer(location.path, [\"content\", mediaType]);\n  return contentEntryType(entry, { ...location, path }, context);\n}\n\nfunction isTypedByContent(parameter: ParameterObject, context: SchemaContext): boolean {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    return true;\n  }\n  const hasContent = parameter.schema === undefined && parameter.content !== undefined;\n  return hasContent && context.options.fixes.has(FIX.PARAMETER_CONTENT);\n}\n\n/**\n * A parameter's type (OpenAPI 3.2 §4.8.12). Without a schema it is `string`, not `unknown`:\n * query, path, header and cookie values all arrive as text. `content` is read for\n * `in: querystring`, and with the `parameter-content` fix for every parameter; without the fix\n * other parameters with `content` keep the original's `string`.\n */\nexport function parameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (isTypedByContent(parameter, context)) {\n    return contentParameterType(parameter, location, context);\n  }\n  return parameter.schema\n    ? transformSchema(parameter.schema, location, context)\n    : irKeyword(\"string\");\n}\n"],"names":[],"mappings":";;;;;;;AAkBA,SAAS,oBAAA,CACP,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,CAAC,SAAA,EAAW,KAAK,CAAA,GAAI,MAAA,CAAO,OAAA,CAAQ,SAAA,CAAU,OAAA,IAAW,EAAE,CAAA,CAAE,CAAC,KAAK,EAAC;AAC1E,EAAA,IAAI,SAAA,KAAc,MAAA,IAAa,KAAA,KAAU,MAAA,EAAW;AAClD,IAAA,OAAO,UAAU,QAAQ,CAAA;AAAA,EAC3B;AACA,EAAA,MAAM,OAAO,aAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAW,SAAS,CAAC,CAAA;AAChE,EAAA,OAAO,iBAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;AAEA,SAAS,gBAAA,CAAiB,WAA4B,OAAA,EAAiC;AACrF,EAAA,IAAI,SAAA,CAAU,OAAO,oBAAA,EAAsB;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,MAAA,KAAW,MAAA,IAAa,UAAU,OAAA,KAAY,MAAA;AAC3E,EAAA,OAAO,cAAc,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,IAAI,iBAAiB,CAAA;AACtE;AAQO,SAAS,aAAA,CACd,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,gBAAA,CAAiB,SAAA,EAAW,OAAO,CAAA,EAAG;AACxC,IAAA,OAAO,oBAAA,CAAqB,SAAA,EAAW,QAAA,EAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,OAAO,SAAA,CAAU,SACb,eAAA,CAAgB,SAAA,CAAU,QAAQ,QAAA,EAAU,OAAO,CAAA,GACnD,SAAA,CAAU,QAAQ,CAAA;AACxB;;"}
+{"version":3,"file":"parameter.mjs","sources":["../../../../src/application/transform/document/parameter.ts"],"sourcesContent":["import { irKeyword } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  type ParameterObject,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A parameter typed by the schema of its one `content` media type. An `in: querystring` parameter\n * (OpenAPI 3.2) is the whole query string (ADR-020); without a media type it is `string`, the\n * query string as text. With the `parameter-header-content` fix, any other parameter with `content`\n * (OpenAPI 3.0 and later, for a JSON value in a query parameter) is typed the same way.\n */\nfunction contentParameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const [mediaType, entry] = Object.entries(parameter.content ?? {})[0] ?? [];\n  if (mediaType === undefined || entry === undefined) {\n    return irKeyword(\"string\");\n  }\n  const path = appendPointer(location.path, [\"content\", mediaType]);\n  return contentEntryType(entry, { ...location, path }, context);\n}\n\nfunction isTypedByContent(parameter: ParameterObject, context: SchemaContext): boolean {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    return true;\n  }\n  const hasContent = parameter.schema === undefined && parameter.content !== undefined;\n  return hasContent && context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT);\n}\n\n/**\n * A parameter's type (OpenAPI 3.2 §4.8.12). Without a schema it is `string`, not `unknown`:\n * query, path, header and cookie values all arrive as text. `content` is read for\n * `in: querystring`, and with the `parameter-header-content` fix for every parameter; without\n * the fix other parameters with `content` keep the original's `string`.\n */\nexport function parameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (isTypedByContent(parameter, context)) {\n    return contentParameterType(parameter, location, context);\n  }\n  return parameter.schema\n    ? transformSchema(parameter.schema, location, context)\n    : irKeyword(\"string\");\n}\n"],"names":[],"mappings":";;;;;;;AAkBA,SAAS,oBAAA,CACP,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,CAAC,SAAA,EAAW,KAAK,CAAA,GAAI,MAAA,CAAO,OAAA,CAAQ,SAAA,CAAU,OAAA,IAAW,EAAE,CAAA,CAAE,CAAC,KAAK,EAAC;AAC1E,EAAA,IAAI,SAAA,KAAc,MAAA,IAAa,KAAA,KAAU,MAAA,EAAW;AAClD,IAAA,OAAO,UAAU,QAAQ,CAAA;AAAA,EAC3B;AACA,EAAA,MAAM,OAAO,aAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAW,SAAS,CAAC,CAAA;AAChE,EAAA,OAAO,iBAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;AAEA,SAAS,gBAAA,CAAiB,WAA4B,OAAA,EAAiC;AACrF,EAAA,IAAI,SAAA,CAAU,OAAO,oBAAA,EAAsB;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,MAAA,KAAW,MAAA,IAAa,UAAU,OAAA,KAAY,MAAA;AAC3E,EAAA,OAAO,cAAc,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,IAAI,wBAAwB,CAAA;AAC7E;AAQO,SAAS,aAAA,CACd,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,gBAAA,CAAiB,SAAA,EAAW,OAAO,CAAA,EAAG;AACxC,IAAA,OAAO,oBAAA,CAAqB,SAAA,EAAW,QAAA,EAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,OAAO,SAAA,CAAU,SACb,eAAA,CAAgB,SAAA,CAAU,QAAQ,QAAA,EAAU,OAAO,CAAA,GACnD,SAAA,CAAU,QAAQ,CAAA;AACxB;;"}

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

@@ -5,8 +5,10 @@ const propertyName = require('../../../domain/ir/property-name.cjs');
 const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
 const parameterObject = require('../../../domain/openapi/parameter-object.cjs');
 const outputFixes = require('../../../domain/output-fixes.cjs');
+const declaredValueTypes = require('../declared-value-types.cjs');
 const schemaComment = require('../schema-comment.cjs');
 const explodedQuery = require('./exploded-query.cjs');
+const explodedQueryValues = require('./exploded-query-values.cjs');
 const parameter = require('./parameter.cjs');
 const parameterEntries = require('./parameter-entries.cjs');
 const referencedParameter = require('./referenced-parameter.cjs');
@@ -67,9 +69,25 @@ function querystringMember(entries, location, context) {
 function isExplodedEntry(entry, context) {
   return context.options.fixes.has(outputFixes.FIX.EXPLODED_QUERY_OBJECTS) && explodedQuery.isExplodedQueryObject(entry.resolved, context.refs);
 }
-function explodedPart(entry, location, context) {
-  const type = entryType(entry, location, context);
-  return entry.resolved.required ? type : constructors.irReference("Partial", [type]);
+function explodedObjectType({ entry, type }, hasOtherKeys, context) {
+  if (!hasOtherKeys) {
+    return type;
+  }
+  const declared = explodedQueryValues.declaredObjectType(entry, context);
+  return declared !== null && explodedQueryValues.hasIndexSignature(declared) ? declared : type;
+}
+function explodedParts(exploded, members, context) {
+  const hasOtherKeys = members.length > 0 || exploded.length > 1;
+  const types = exploded.map((part) => explodedObjectType(part, hasOtherKeys, context));
+  const others = (index) => [
+    ...members.length > 0 ? [constructors.irObject(members)] : [],
+    ...types.filter((_type, other) => other !== index)
+  ];
+  return types.map((type, index) => {
+    const values = others(index).flatMap((other) => declaredValueTypes.declaredValueTypes(other, context.footer));
+    const widened = explodedQueryValues.withIndexValues(type, values);
+    return exploded[index]?.entry.resolved.required ? widened : constructors.irReference("Partial", [widened]);
+  });
 }
 function locationParts(entries, location, context) {
   const members = [];
@@ -77,7 +95,7 @@ function locationParts(entries, location, context) {
   let isOptional = true;
   for (const entry of entries) {
     if (isExplodedEntry(entry, context)) {
-      exploded.push(explodedPart(entry, location, context));
+      exploded.push({ entry, type: entryType(entry, location, context) });
       isOptional &&= !entry.resolved.required;
       continue;
     }
@@ -85,7 +103,7 @@ function locationParts(entries, location, context) {
     members.push(member);
     isOptional &&= member.isOptional;
   }
-  return { members, exploded, isOptional };
+  return { members, exploded: explodedParts(exploded, members, context), isOptional };
 }
 function locationType({ members, exploded }) {
   const types = [...members.length > 0 ? [constructors.irObject(members)] : [], ...exploded];