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

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

@@ -1,77 +1,24 @@
 import { irObject, irIntersection, irProperty, irRaw } from '../../../domain/ir/constructors.mjs';
 import { toPropertyName } from '../../../domain/ir/property-name.mjs';
-import { escapeTemplateText } from '../../../domain/ir/raw-text-escapes.mjs';
-import { createRef } from '../../../domain/openapi/json-pointer.mjs';
-import { pathItemOperations } from '../../../domain/openapi/path-item-object.mjs';
-import { FIX } from '../../../domain/output-fixes.mjs';
+import { appendPointer, ROOT_POINTER } from '../../../domain/openapi/json-pointer.mjs';
 import { documentEntries } from '../document-entries.mjs';
 import { refType } from '../ref-type.mjs';
 import { NO_DECLARED_TYPES } from './declared-types.mjs';
 import { documentMember } from './document-member.mjs';
 import { pathItemType } from './path-item.mjs';
 import { coveringTemplateKeys } from './path-key-overlaps.mjs';
-import { replacedTemplateParts, placeholderText } from './path-template-replace.mjs';
+import { plainUrlOf, pathTemplateParts, booleanExpandedKeys, templateText } from './path-template-key.mjs';
 import { assignabilityProof } from './type-assignability.mjs';
 
-const PATH_PARAMETER_RE = /\{[^{}]+\}/g;
-const PLACEHOLDERS = /* @__PURE__ */ new Map([
-  ["number", "number"],
-  ["integer", "number"],
-  ["boolean", "boolean"]
-]);
-const STRING_PLACEHOLDER = "string";
-function resolvedParameter(parameter, context) {
-  return "$ref" in parameter && parameter.$ref ? context.refs.resolve(parameter.$ref) : parameter;
+function pathKeyOf(parts) {
+  const plainUrl = plainUrlOf(parts);
+  return plainUrl === null ? { kind: "template", parts } : literalKey(plainUrl);
 }
-function addPathParameters(parameters, byName, context) {
-  for (const parameter of parameters) {
-    const resolved = resolvedParameter(parameter, context);
-    if (resolved && resolved.in === "path") {
-      byName.set(resolved.name, resolved);
-    }
-  }
-}
-function pathParameters(pathItem, context) {
-  const byName = /* @__PURE__ */ new Map();
-  addPathParameters(pathItem.parameters ?? [], byName, context);
-  for (const { operation: entry } of pathItemOperations(pathItem)) {
-    const operation = entry.$ref ? context.refs.resolve(entry.$ref) : entry;
-    addPathParameters(operation?.parameters ?? [], byName, context);
-  }
-  return byName;
-}
-function splitTemplateParts(url, matches) {
-  return url.split(PATH_PARAMETER_RE).flatMap((text, index) => {
-    const type = matches[index]?.type;
-    const textPart = { kind: "text", text };
-    return type === void 0 ? [textPart] : [textPart, { kind: "placeholder", type }];
-  });
-}
-function pathTemplateParts(url, pathItem, context) {
-  const found = url.match(PATH_PARAMETER_RE);
-  if (!found) {
-    return null;
-  }
-  const parameters = pathParameters(pathItem, context);
-  const matches = found.map((match) => {
-    const schema = parameters.get(match.slice(1, -1))?.schema;
-    return { match, type: PLACEHOLDERS.get(schema?.type) ?? STRING_PLACEHOLDER };
-  });
-  return context.options.fixes.has(FIX.PATH_PARAM_TYPE_NAMES) ? splitTemplateParts(url, matches) : replacedTemplateParts(url, matches);
-}
-function templateText(parts) {
-  const text = parts.map(
-    (part) => part.kind === "text" ? escapeTemplateText(part.text) : placeholderText(part.type)
-  ).join("");
-  return `\`${text}\``;
-}
-function pathItemMember(url, pathItem, context) {
-  const isReadonly = context.options.immutable;
-  const type = pathItemType(pathItem, { path: createRef(["paths", url]) }, context);
-  const parts = context.options.pathParamsAsTypes && url.includes("{") ? pathTemplateParts(url, pathItem, context) : null;
-  if (parts === null) {
-    const member2 = irProperty(toPropertyName(url), type, { isReadonly });
-    return { url, member: member2, key: literalKey(url), type };
+function keyMember(url, parts, type, isReadonly) {
+  const key = pathKeyOf(parts);
+  if (key.kind === "literal") {
+    const member2 = irProperty(toPropertyName(key.url), type, { isReadonly });
+    return { url, member: member2, key, type };
   }
   const member = {
     kind: "indexSignature",
@@ -81,7 +28,33 @@ function pathItemMember(url, pathItem, context) {
     isReadonly,
     comments: []
   };
-  return { url, member, key: { kind: "template", parts }, type };
+  return { url, member, key, type };
+}
+function isUntakenKey(url, key, takenUrls) {
+  const isExpandedUrl = key.kind === "literal" && key.url !== url;
+  if (!isExpandedUrl) {
+    return true;
+  }
+  const isTaken = takenUrls.has(key.url);
+  takenUrls.add(key.url);
+  return !isTaken;
+}
+function withoutTakenUrls(url, members, takenUrls) {
+  return members.filter(({ key }) => isUntakenKey(url, key, takenUrls));
+}
+function pathItemMembers(url, pathItem, context) {
+  const isReadonly = context.options.immutable;
+  const type = pathItemType(
+    pathItem,
+    { path: appendPointer(ROOT_POINTER, ["paths", url]) },
+    context
+  );
+  const parts = context.options.pathParamsAsTypes && url.includes("{") ? pathTemplateParts(url, pathItem, context) : null;
+  if (parts === null) {
+    const member = irProperty(toPropertyName(url), type, { isReadonly });
+    return [{ url, member, key: literalKey(url), type }];
+  }
+  return booleanExpandedKeys(parts).map((key) => keyMember(url, key, type, isReadonly));
 }
 function literalKey(url) {
   return { kind: "literal", url };
@@ -122,6 +95,7 @@ function pathsObjectType(paths, lookup = NO_DECLARED_TYPES) {
 }
 function pathMembers(paths, context) {
   const members = [];
+  const takenUrls = new Set(Object.keys(paths));
   for (const [url, pathItem] of documentEntries(paths, context.options)) {
     if (!pathItem || typeof pathItem !== "object") {
       continue;
@@ -133,9 +107,9 @@ function pathMembers(paths, context) {
       continue;
     }
     const startedAt = context.diagnostics.now();
-    const path = pathItemMember(url, pathItem, context);
-    members.push(path);
-    if (path.member.kind === "property") {
+    const pathMembersOfUrl = pathItemMembers(url, pathItem, context);
+    members.push(...withoutTakenUrls(url, pathMembersOfUrl, takenUrls));
+    if (pathMembersOfUrl[0]?.key.kind === "literal" && pathMembersOfUrl[0].key.url === url) {
       context.diagnostics.debug(`Transformed path "${url}"`, context.diagnostics.now() - startedAt);
     }
   }
@@ -145,5 +119,5 @@ function pathsType(paths, context) {
   return pathsObjectType(pathMembers(paths, context));
 }
 
-export { pathMembers, pathsObjectType, pathsType };
+export { isUntakenKey, pathKeyOf, pathMembers, pathsObjectType, pathsType };
 //# sourceMappingURL=paths.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"paths.mjs","sources":["../../../../src/application/transform/document/paths.ts"],"sourcesContent":["import { irIntersection, irObject, irProperty, irRaw } from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { escapeTemplateText } from \"../../../domain/ir/raw-text-escapes.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { OperationObject } from \"../../../domain/openapi/operation-object.js\";\nimport type {\n  ParameterObject,\n  ParameterOrReference,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport {\n  type PathItemObject,\n  type PathsObject,\n  pathItemOperations,\n} from \"../../../domain/openapi/path-item-object.js\";\nimport type { ReferenceSchema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport { refType } from \"../ref-type.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { type DeclaredTypeLookup, NO_DECLARED_TYPES } from \"./declared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { pathItemType } from \"./path-item.js\";\nimport {\n  type CoverRejection,\n  coveringTemplateKeys,\n  type PathKey,\n  type PathKeyPart,\n  type PathPlaceholder,\n} from \"./path-key-overlaps.js\";\nimport {\n  type PathParameterMatch,\n  placeholderText,\n  replacedTemplateParts,\n} from \"./path-template-replace.js\";\nimport { assignabilityProof } from \"./type-assignability.js\";\n\n/** `[^{}]` keeps the scan linear: `[^}]` retried from every `{` of a long run of them. */\nconst PATH_PARAMETER_RE = /\\{[^{}]+\\}/g;\n\n/** Placeholders by parameter schema type; anything else is a string placeholder. */\nconst PLACEHOLDERS: ReadonlyMap<unknown, PathPlaceholder> = new Map([\n  [\"number\", \"number\"],\n  [\"integer\", \"number\"],\n  [\"boolean\", \"boolean\"],\n]);\nconst STRING_PLACEHOLDER: PathPlaceholder = \"string\";\n\nfunction resolvedParameter(\n  parameter: ParameterOrReference,\n  context: TransformContext,\n): ParameterObject | undefined {\n  return \"$ref\" in parameter && parameter.$ref\n    ? (context.refs.resolve(parameter.$ref) as ParameterObject | undefined)\n    : (parameter as ParameterObject);\n}\n\nfunction addPathParameters(\n  parameters: readonly ParameterOrReference[],\n  byName: Map<string, ParameterObject>,\n  context: TransformContext,\n): void {\n  for (const parameter of parameters) {\n    const resolved = resolvedParameter(parameter, context);\n    if (resolved && resolved.in === \"path\") {\n      byName.set(resolved.name, resolved);\n    }\n  }\n}\n\n/** Path parameters of the path item and of its operations; later definitions win. */\nfunction pathParameters(\n  pathItem: PathItemObject,\n  context: TransformContext,\n): Map<string, ParameterObject> {\n  const byName = new Map<string, ParameterObject>();\n  addPathParameters(pathItem.parameters ?? [], byName, context);\n  for (const { operation: entry } of pathItemOperations(pathItem)) {\n    const operation = (entry as ReferenceSchema).$ref\n      ? (context.refs.resolve((entry as ReferenceSchema).$ref) as OperationObject | undefined)\n      : (entry as OperationObject);\n    addPathParameters(operation?.parameters ?? [], byName, context);\n  }\n  return byName;\n}\n\n/** Each `{name}` of the URL and its own placeholder, from the URL split at the matches. */\nfunction splitTemplateParts(url: string, matches: readonly PathParameterMatch[]): PathKeyPart[] {\n  return url.split(PATH_PARAMETER_RE).flatMap((text, index): PathKeyPart[] => {\n    const type = matches[index]?.type;\n    const textPart: PathKeyPart = { kind: \"text\", text };\n    return type === undefined ? [textPart] : [textPart, { kind: \"placeholder\", type }];\n  });\n}\n\n/**\n * `--path-params-as-types`: the URL as template parts, each `{name}` replaced by a placeholder for\n * its parameter's type, the way the original replaces them unless the `path-param-type-names` fix\n * is on (see `replacedTemplateParts`). Null when the URL has no complete `{…}` placeholder.\n */\nfunction pathTemplateParts(\n  url: string,\n  pathItem: PathItemObject,\n  context: TransformContext,\n): PathKeyPart[] | null {\n  const found = url.match(PATH_PARAMETER_RE);\n  if (!found) {\n    return null;\n  }\n  const parameters = pathParameters(pathItem, context);\n  const matches = found.map((match): PathParameterMatch => {\n    const schema = parameters.get(match.slice(1, -1))?.schema as SchemaObject | undefined;\n    return { match, type: PLACEHOLDERS.get(schema?.type) ?? STRING_PLACEHOLDER };\n  });\n  return context.options.fixes.has(FIX.PATH_PARAM_TYPE_NAMES)\n    ? splitTemplateParts(url, matches)\n    : replacedTemplateParts(url, matches);\n}\n\n/**\n * The template literal type of the parts. The original escaped only backticks: a backslash or\n * `${` in the URL could end the literal or open a placeholder, and add code to the generated file\n * (intentional fix). So the text parts are escaped.\n */\nfunction templateText(parts: readonly PathKeyPart[]): string {\n  const text = parts\n    .map((part) =>\n      part.kind === \"text\" ? escapeTemplateText(part.text) : placeholderText(part.type),\n    )\n    .join(\"\");\n  return `\\`${text}\\``;\n}\n\n/** A path's member, its key and its path item type for the overlap check. */\nexport interface PathMember {\n  readonly url: string;\n  readonly member: IrMember;\n  readonly key: PathKey;\n  readonly type: IrType;\n}\n\nfunction pathItemMember(\n  url: string,\n  pathItem: PathItemObject,\n  context: TransformContext,\n): PathMember {\n  const isReadonly = context.options.immutable;\n  const type = pathItemType(pathItem, { path: createRef([\"paths\", url]) }, context);\n  const parts =\n    context.options.pathParamsAsTypes && url.includes(\"{\")\n      ? pathTemplateParts(url, pathItem, context)\n      : null;\n  if (parts === null) {\n    const member = irProperty(toPropertyName(url), type, { isReadonly });\n    return { url, member, key: literalKey(url), type };\n  }\n  const member: IrMember = {\n    kind: \"indexSignature\",\n    parameterName: \"path\",\n    parameterType: irRaw(templateText(parts)),\n    type,\n    isReadonly,\n    comments: [],\n  };\n  return { url, member, key: { kind: \"template\", parts }, type };\n}\n\nfunction literalKey(url: string): PathKey {\n  return { kind: \"literal\", url };\n}\n\nconst PATHS_TYPE_NAME = \"paths\";\n\n/** The URL of `paths[\"/apps/{id}\"]`, or null for any other type. */\nfunction pathsIndexOf(type: IrType): string | null {\n  if (type.kind !== \"indexedAccess\" || type.index.kind !== \"stringLiteral\") {\n    return null;\n  }\n  const { object } = type;\n  const isPaths =\n    object.kind === \"reference\" &&\n    object.name === PATHS_TYPE_NAME &&\n    object.typeArguments.length === 0;\n  return isPaths ? type.index.value : null;\n}\n\n/**\n * The lookup, and `paths[\"/apps/{id}\"]` as that path's item. The declarations cannot read it: a\n * templated path is no property of `paths`, and TypeScript finds it through the signature.\n */\nfunction withPathItems(\n  paths: readonly PathMember[],\n  lookup: DeclaredTypeLookup,\n): DeclaredTypeLookup {\n  const byUrl = new Map(paths.map((path) => [path.url, path.type]));\n  return (type) => {\n    const url = pathsIndexOf(type);\n    return (url === null ? undefined : byUrl.get(url)) ?? lookup(type);\n  };\n}\n\n/**\n * The rejection of a covered path item: only one proven not assignable to the signature's type\n * counts (ADR-028). A pair the proof cannot decide keeps the original output, which may well\n * compile (`Record<string, never>` fits `{ [key: string]: unknown }`).\n */\nfunction rejectionOf(paths: readonly PathMember[], lookup: DeclaredTypeLookup): CoverRejection {\n  const relate = assignabilityProof(withPathItems(paths, lookup));\n  return (coveringIndex, coveredIndex) => {\n    const coveringPath = paths[coveringIndex];\n    const coveredPath = paths[coveredIndex];\n    return (\n      coveringPath !== undefined &&\n      coveredPath !== undefined &&\n      relate(coveredPath.type, coveringPath.type) === \"rejected\"\n    );\n  };\n}\n\n/**\n * The members as one object type. When an index signature covers another key, TypeScript checks\n * the covered key's type against it. Where that check surely fails (TS2411, TS2413), each such\n * signature gets an object of its own in an intersection: an intersection does not check its parts\n * against each other, and every key has the type it had in the one object. Output that compiles\n * keeps the one object. The lookup reads the types that path items reference; without it, a\n * reference decides nothing.\n */\nexport function pathsObjectType(\n  paths: readonly PathMember[],\n  lookup: DeclaredTypeLookup = NO_DECLARED_TYPES,\n): IrType {\n  const keys = paths.map(({ key }) => key);\n  const covering = coveringTemplateKeys(keys, rejectionOf(paths, lookup));\n  if (covering.size === 0) {\n    return irObject(paths.map(({ member }) => member));\n  }\n  const rest = paths.filter((_, index) => !covering.has(index)).map(({ member }) => member);\n  const own = paths\n    .filter((_, index) => covering.has(index))\n    .map(({ member }) => irObject([member]));\n  return irIntersection([irObject(rest), ...own]);\n}\n\n/** The members of the `paths` interface (OpenAPI 3.1 §4.8.8): one per path, by URL. */\nexport function pathMembers(paths: PathsObject, context: TransformContext): PathMember[] {\n  const members: PathMember[] = [];\n  for (const [url, pathItem] of documentEntries(paths, context.options)) {\n    if (!pathItem || typeof pathItem !== \"object\") {\n      continue;\n    }\n    if (\"$ref\" in pathItem) {\n      const options = { isReadonly: context.options.immutable };\n      const member = documentMember(url, refType(pathItem.$ref), pathItem, options);\n      members.push({ url, member, key: literalKey(url), type: member.type });\n      continue;\n    }\n    const startedAt = context.diagnostics.now();\n    const path = pathItemMember(url, pathItem, context);\n    members.push(path);\n    // The original reports only paths written as properties.\n    if (path.member.kind === \"property\") {\n      context.diagnostics.debug(`Transformed path \"${url}\"`, context.diagnostics.now() - startedAt);\n    }\n  }\n  return members;\n}\n\n/**\n * The `paths` interface body, with only the path items' own types for the overlap check. The\n * document transform checks the overlaps again once the referenced types are declared.\n */\nexport function pathsType(paths: PathsObject, context: TransformContext): IrType {\n  return pathsObjectType(pathMembers(paths, context));\n}\n"],"names":["member"],"mappings":";;;;;;;;;;;;;;;AAsCA,MAAM,iBAAA,GAAoB,aAAA;AAG1B,MAAM,YAAA,uBAA0D,GAAA,CAAI;AAAA,EAClE,CAAC,UAAU,QAAQ,CAAA;AAAA,EACnB,CAAC,WAAW,QAAQ,CAAA;AAAA,EACpB,CAAC,WAAW,SAAS;AACvB,CAAC,CAAA;AACD,MAAM,kBAAA,GAAsC,QAAA;AAE5C,SAAS,iBAAA,CACP,WACA,OAAA,EAC6B;AAC7B,EAAA,OAAO,MAAA,IAAU,aAAa,SAAA,CAAU,IAAA,GACnC,QAAQ,IAAA,CAAK,OAAA,CAAQ,SAAA,CAAU,IAAI,CAAA,GACnC,SAAA;AACP;AAEA,SAAS,iBAAA,CACP,UAAA,EACA,MAAA,EACA,OAAA,EACM;AACN,EAAA,KAAA,MAAW,aAAa,UAAA,EAAY;AAClC,IAAA,MAAM,QAAA,GAAW,iBAAA,CAAkB,SAAA,EAAW,OAAO,CAAA;AACrD,IAAA,IAAI,QAAA,IAAY,QAAA,CAAS,EAAA,KAAO,MAAA,EAAQ;AACtC,MAAA,MAAA,CAAO,GAAA,CAAI,QAAA,CAAS,IAAA,EAAM,QAAQ,CAAA;AAAA,IACpC;AAAA,EACF;AACF;AAGA,SAAS,cAAA,CACP,UACA,OAAA,EAC8B;AAC9B,EAAA,MAAM,MAAA,uBAAa,GAAA,EAA6B;AAChD,EAAA,iBAAA,CAAkB,QAAA,CAAS,UAAA,IAAc,EAAC,EAAG,QAAQ,OAAO,CAAA;AAC5D,EAAA,KAAA,MAAW,EAAE,SAAA,EAAW,KAAA,EAAM,IAAK,kBAAA,CAAmB,QAAQ,CAAA,EAAG;AAC/D,IAAA,MAAM,SAAA,GAAa,MAA0B,IAAA,GACxC,OAAA,CAAQ,KAAK,OAAA,CAAS,KAAA,CAA0B,IAAI,CAAA,GACpD,KAAA;AACL,IAAA,iBAAA,CAAkB,SAAA,EAAW,UAAA,IAAc,EAAC,EAAG,QAAQ,OAAO,CAAA;AAAA,EAChE;AACA,EAAA,OAAO,MAAA;AACT;AAGA,SAAS,kBAAA,CAAmB,KAAa,OAAA,EAAuD;AAC9F,EAAA,OAAO,IAAI,KAAA,CAAM,iBAAiB,EAAE,OAAA,CAAQ,CAAC,MAAM,KAAA,KAAyB;AAC1E,IAAA,MAAM,IAAA,GAAO,OAAA,CAAQ,KAAK,CAAA,EAAG,IAAA;AAC7B,IAAA,MAAM,QAAA,GAAwB,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAK;AACnD,IAAA,OAAO,IAAA,KAAS,MAAA,GAAY,CAAC,QAAQ,CAAA,GAAI,CAAC,QAAA,EAAU,EAAE,IAAA,EAAM,aAAA,EAAe,IAAA,EAAM,CAAA;AAAA,EACnF,CAAC,CAAA;AACH;AAOA,SAAS,iBAAA,CACP,GAAA,EACA,QAAA,EACA,OAAA,EACsB;AACtB,EAAA,MAAM,KAAA,GAAQ,GAAA,CAAI,KAAA,CAAM,iBAAiB,CAAA;AACzC,EAAA,IAAI,CAAC,KAAA,EAAO;AACV,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,cAAA,CAAe,QAAA,EAAU,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,GAAA,CAAI,CAAC,KAAA,KAA8B;AACvD,IAAA,MAAM,MAAA,GAAS,WAAW,GAAA,CAAI,KAAA,CAAM,MAAM,CAAA,EAAG,EAAE,CAAC,CAAA,EAAG,MAAA;AACnD,IAAA,OAAO,EAAE,OAAO,IAAA,EAAM,YAAA,CAAa,IAAI,MAAA,EAAQ,IAAI,KAAK,kBAAA,EAAmB;AAAA,EAC7E,CAAC,CAAA;AACD,EAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,qBAAqB,CAAA,GACtD,kBAAA,CAAmB,GAAA,EAAK,OAAO,CAAA,GAC/B,qBAAA,CAAsB,KAAK,OAAO,CAAA;AACxC;AAOA,SAAS,aAAa,KAAA,EAAuC;AAC3D,EAAA,MAAM,OAAO,KAAA,CACV,GAAA;AAAA,IAAI,CAAC,IAAA,KACJ,IAAA,CAAK,IAAA,KAAS,MAAA,GAAS,kBAAA,CAAmB,IAAA,CAAK,IAAI,CAAA,GAAI,eAAA,CAAgB,IAAA,CAAK,IAAI;AAAA,GAClF,CACC,KAAK,EAAE,CAAA;AACV,EAAA,OAAO,KAAK,IAAI,CAAA,EAAA,CAAA;AAClB;AAUA,SAAS,cAAA,CACP,GAAA,EACA,QAAA,EACA,OAAA,EACY;AACZ,EAAA,MAAM,UAAA,GAAa,QAAQ,OAAA,CAAQ,SAAA;AACnC,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,QAAA,EAAU,EAAE,IAAA,EAAM,SAAA,CAAU,CAAC,OAAA,EAAS,GAAG,CAAC,CAAA,EAAE,EAAG,OAAO,CAAA;AAChF,EAAA,MAAM,KAAA,GACJ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,IAAqB,GAAA,CAAI,QAAA,CAAS,GAAG,CAAA,GACjD,iBAAA,CAAkB,GAAA,EAAK,QAAA,EAAU,OAAO,CAAA,GACxC,IAAA;AACN,EAAA,IAAI,UAAU,IAAA,EAAM;AAClB,IAAA,MAAMA,OAAAA,GAAS,WAAW,cAAA,CAAe,GAAG,GAAG,IAAA,EAAM,EAAE,YAAY,CAAA;AACnE,IAAA,OAAO,EAAE,KAAK,MAAA,EAAAA,OAAAA,EAAQ,KAAK,UAAA,CAAW,GAAG,GAAG,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,MAAA,GAAmB;AAAA,IACvB,IAAA,EAAM,gBAAA;AAAA,IACN,aAAA,EAAe,MAAA;AAAA,IACf,aAAA,EAAe,KAAA,CAAM,YAAA,CAAa,KAAK,CAAC,CAAA;AAAA,IACxC,IAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAU;AAAC,GACb;AACA,EAAA,OAAO,EAAE,KAAK,MAAA,EAAQ,GAAA,EAAK,EAAE,IAAA,EAAM,UAAA,EAAY,KAAA,EAAM,EAAG,IAAA,EAAK;AAC/D;AAEA,SAAS,WAAW,GAAA,EAAsB;AACxC,EAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,GAAA,EAAI;AAChC;AAEA,MAAM,eAAA,GAAkB,OAAA;AAGxB,SAAS,aAAa,IAAA,EAA6B;AACjD,EAAA,IAAI,KAAK,IAAA,KAAS,eAAA,IAAmB,IAAA,CAAK,KAAA,CAAM,SAAS,eAAA,EAAiB;AACxE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,QAAO,GAAI,IAAA;AACnB,EAAA,MAAM,OAAA,GACJ,OAAO,IAAA,KAAS,WAAA,IAChB,OAAO,IAAA,KAAS,eAAA,IAChB,MAAA,CAAO,aAAA,CAAc,MAAA,KAAW,CAAA;AAClC,EAAA,OAAO,OAAA,GAAU,IAAA,CAAK,KAAA,CAAM,KAAA,GAAQ,IAAA;AACtC;AAMA,SAAS,aAAA,CACP,OACA,MAAA,EACoB;AACpB,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,GAAA,EAAK,IAAA,CAAK,IAAI,CAAC,CAAC,CAAA;AAChE,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,MAAM,GAAA,GAAM,aAAa,IAAI,CAAA;AAC7B,IAAA,OAAA,CAAQ,GAAA,KAAQ,OAAO,MAAA,GAAY,KAAA,CAAM,IAAI,GAAG,CAAA,KAAM,OAAO,IAAI,CAAA;AAAA,EACnE,CAAA;AACF;AAOA,SAAS,WAAA,CAAY,OAA8B,MAAA,EAA4C;AAC7F,EAAA,MAAM,MAAA,GAAS,kBAAA,CAAmB,aAAA,CAAc,KAAA,EAAO,MAAM,CAAC,CAAA;AAC9D,EAAA,OAAO,CAAC,eAAe,YAAA,KAAiB;AACtC,IAAA,MAAM,YAAA,GAAe,MAAM,aAAa,CAAA;AACxC,IAAA,MAAM,WAAA,GAAc,MAAM,YAAY,CAAA;AACtC,IAAA,OACE,YAAA,KAAiB,UACjB,WAAA,KAAgB,MAAA,IAChB,OAAO,WAAA,CAAY,IAAA,EAAM,YAAA,CAAa,IAAI,CAAA,KAAM,UAAA;AAAA,EAEpD,CAAA;AACF;AAUO,SAAS,eAAA,CACd,KAAA,EACA,MAAA,GAA6B,iBAAA,EACrB;AACR,EAAA,MAAM,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,EAAE,GAAA,OAAU,GAAG,CAAA;AACvC,EAAA,MAAM,WAAW,oBAAA,CAAqB,IAAA,EAAM,WAAA,CAAY,KAAA,EAAO,MAAM,CAAC,CAAA;AACtE,EAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,IAAA,OAAO,QAAA,CAAS,MAAM,GAAA,CAAI,CAAC,EAAE,MAAA,EAAO,KAAM,MAAM,CAAC,CAAA;AAAA,EACnD;AACA,EAAA,MAAM,OAAO,KAAA,CAAM,MAAA,CAAO,CAAC,CAAA,EAAG,UAAU,CAAC,QAAA,CAAS,GAAA,CAAI,KAAK,CAAC,CAAA,CAAE,GAAA,CAAI,CAAC,EAAE,MAAA,OAAa,MAAM,CAAA;AACxF,EAAA,MAAM,GAAA,GAAM,MACT,MAAA,CAAO,CAAC,GAAG,KAAA,KAAU,QAAA,CAAS,IAAI,KAAK,CAAC,EACxC,GAAA,CAAI,CAAC,EAAE,MAAA,EAAO,KAAM,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;AACzC,EAAA,OAAO,eAAe,CAAC,QAAA,CAAS,IAAI,CAAA,EAAG,GAAG,GAAG,CAAC,CAAA;AAChD;AAGO,SAAS,WAAA,CAAY,OAAoB,OAAA,EAAyC;AACvF,EAAA,MAAM,UAAwB,EAAC;AAC/B,EAAA,KAAA,MAAW,CAAC,KAAK,QAAQ,CAAA,IAAK,gBAAgB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA,EAAG;AACrE,IAAA,IAAI,CAAC,QAAA,IAAY,OAAO,QAAA,KAAa,QAAA,EAAU;AAC7C,MAAA;AAAA,IACF;AACA,IAAA,IAAI,UAAU,QAAA,EAAU;AACtB,MAAA,MAAM,OAAA,GAAU,EAAE,UAAA,EAAY,OAAA,CAAQ,QAAQ,SAAA,EAAU;AACxD,MAAA,MAAM,MAAA,GAAS,eAAe,GAAA,EAAK,OAAA,CAAQ,SAAS,IAAI,CAAA,EAAG,UAAU,OAAO,CAAA;AAC5E,MAAA,OAAA,CAAQ,IAAA,CAAK,EAAE,GAAA,EAAK,MAAA,EAAQ,GAAA,EAAK,UAAA,CAAW,GAAG,CAAA,EAAG,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,CAAA;AACrE,MAAA;AAAA,IACF;AACA,IAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,IAAA,MAAM,IAAA,GAAO,cAAA,CAAe,GAAA,EAAK,QAAA,EAAU,OAAO,CAAA;AAClD,IAAA,OAAA,CAAQ,KAAK,IAAI,CAAA;AAEjB,IAAA,IAAI,IAAA,CAAK,MAAA,CAAO,IAAA,KAAS,UAAA,EAAY;AACnC,MAAA,OAAA,CAAQ,WAAA,CAAY,MAAM,CAAA,kBAAA,EAAqB,GAAG,KAAK,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI,SAAS,CAAA;AAAA,IAC9F;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAMO,SAAS,SAAA,CAAU,OAAoB,OAAA,EAAmC;AAC/E,EAAA,OAAO,eAAA,CAAgB,WAAA,CAAY,KAAA,EAAO,OAAO,CAAC,CAAA;AACpD;;"}
+{"version":3,"file":"paths.mjs","sources":["../../../../src/application/transform/document/paths.ts"],"sourcesContent":["import { irIntersection, irObject, irProperty, irRaw } from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer, ROOT_POINTER } from \"../../../domain/openapi/json-pointer.js\";\nimport type { PathItemObject, PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport { refType } from \"../ref-type.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { type DeclaredTypeLookup, NO_DECLARED_TYPES } from \"./declared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { pathItemType } from \"./path-item.js\";\nimport {\n  type CoverRejection,\n  coveringTemplateKeys,\n  type PathKey,\n  type PathKeyPart,\n} from \"./path-key-overlaps.js\";\nimport {\n  booleanExpandedKeys,\n  pathTemplateParts,\n  plainUrlOf,\n  templateText,\n} from \"./path-template-key.js\";\nimport { assignabilityProof } from \"./type-assignability.js\";\n\n/** A path's member, its key and its path item type for the overlap check. */\nexport interface PathMember {\n  readonly url: string;\n  readonly member: IrMember;\n  readonly key: PathKey;\n  readonly type: IrType;\n}\n\n/** The key of the parts: a plain URL, or a template with placeholders left. */\nexport function pathKeyOf(parts: readonly PathKeyPart[]): PathKey {\n  const plainUrl = plainUrlOf(parts);\n  return plainUrl === null ? { kind: \"template\", parts } : literalKey(plainUrl);\n}\n\n/** The member of one key of a path: a property for a plain URL, else an index signature. */\nfunction keyMember(url: string, parts: readonly PathKeyPart[], type: IrType, isReadonly: boolean) {\n  const key = pathKeyOf(parts);\n  if (key.kind === \"literal\") {\n    const member = irProperty(toPropertyName(key.url), type, { isReadonly });\n    return { url, member, key, type };\n  }\n  const member: IrMember = {\n    kind: \"indexSignature\",\n    parameterName: \"path\",\n    parameterType: irRaw(templateText(parts)),\n    type,\n    isReadonly,\n    comments: [],\n  };\n  return { url, member, key, type };\n}\n\n/**\n * Whether a key of the path at `url` is written. A URL that `${boolean}` keys give is not when it\n * is taken already: by a path of the document, which OpenAPI matches before a template (Paths\n * Object), or by the keys of an earlier path. A property written twice does not compile (TS2300).\n * `takenUrls` starts with the document's URLs and gets each expanded URL, in document order.\n */\nexport function isUntakenKey(url: string, key: PathKey, takenUrls: Set<string>): boolean {\n  const isExpandedUrl = key.kind === \"literal\" && key.url !== url;\n  if (!isExpandedUrl) {\n    return true;\n  }\n  const isTaken = takenUrls.has(key.url);\n  takenUrls.add(key.url);\n  return !isTaken;\n}\n\nfunction withoutTakenUrls(url: string, members: readonly PathMember[], takenUrls: Set<string>) {\n  return members.filter(({ key }) => isUntakenKey(url, key, takenUrls));\n}\n\n/** The members of a path: one, or one per key of its `${boolean}` placeholders. */\nfunction pathItemMembers(\n  url: string,\n  pathItem: PathItemObject,\n  context: TransformContext,\n): PathMember[] {\n  const isReadonly = context.options.immutable;\n  const type = pathItemType(\n    pathItem,\n    { path: appendPointer(ROOT_POINTER, [\"paths\", url]) },\n    context,\n  );\n  const parts =\n    context.options.pathParamsAsTypes && url.includes(\"{\")\n      ? pathTemplateParts(url, pathItem, context)\n      : null;\n  if (parts === null) {\n    const member = irProperty(toPropertyName(url), type, { isReadonly });\n    return [{ url, member, key: literalKey(url), type }];\n  }\n  return booleanExpandedKeys(parts).map((key) => keyMember(url, key, type, isReadonly));\n}\n\nfunction literalKey(url: string): PathKey {\n  return { kind: \"literal\", url };\n}\n\nconst PATHS_TYPE_NAME = \"paths\";\n\n/** The URL of `paths[\"/apps/{id}\"]`, or null for any other type. */\nfunction pathsIndexOf(type: IrType): string | null {\n  if (type.kind !== \"indexedAccess\" || type.index.kind !== \"stringLiteral\") {\n    return null;\n  }\n  const { object } = type;\n  const isPaths =\n    object.kind === \"reference\" &&\n    object.name === PATHS_TYPE_NAME &&\n    object.typeArguments.length === 0;\n  return isPaths ? type.index.value : null;\n}\n\n/**\n * The lookup, and `paths[\"/apps/{id}\"]` as that path's item. The declarations cannot read it: a\n * templated path is no property of `paths`, and TypeScript finds it through the signature.\n */\nfunction withPathItems(\n  paths: readonly PathMember[],\n  lookup: DeclaredTypeLookup,\n): DeclaredTypeLookup {\n  const byUrl = new Map(paths.map((path) => [path.url, path.type]));\n  return (type) => {\n    const url = pathsIndexOf(type);\n    return (url === null ? undefined : byUrl.get(url)) ?? lookup(type);\n  };\n}\n\n/**\n * The rejection of a covered path item: only one proven not assignable to the signature's type\n * counts (ADR-028). A pair the proof cannot decide keeps the original output, which may well\n * compile (`Record<string, never>` fits `{ [key: string]: unknown }`).\n */\nfunction rejectionOf(paths: readonly PathMember[], lookup: DeclaredTypeLookup): CoverRejection {\n  const relate = assignabilityProof(withPathItems(paths, lookup));\n  return (coveringIndex, coveredIndex) => {\n    const coveringPath = paths[coveringIndex];\n    const coveredPath = paths[coveredIndex];\n    return (\n      coveringPath !== undefined &&\n      coveredPath !== undefined &&\n      relate(coveredPath.type, coveringPath.type) === \"rejected\"\n    );\n  };\n}\n\n/**\n * The members as one object type. When an index signature covers another key, TypeScript checks\n * the covered key's type against it. Where that check surely fails (TS2411, TS2413), each such\n * signature gets an object of its own in an intersection: an intersection does not check its parts\n * against each other, and every key has the type it had in the one object. Output that compiles\n * keeps the one object. The lookup reads the types that path items reference; without it, a\n * reference decides nothing.\n */\nexport function pathsObjectType(\n  paths: readonly PathMember[],\n  lookup: DeclaredTypeLookup = NO_DECLARED_TYPES,\n): IrType {\n  const keys = paths.map(({ key }) => key);\n  const covering = coveringTemplateKeys(keys, rejectionOf(paths, lookup));\n  if (covering.size === 0) {\n    return irObject(paths.map(({ member }) => member));\n  }\n  const rest = paths.filter((_, index) => !covering.has(index)).map(({ member }) => member);\n  const own = paths\n    .filter((_, index) => covering.has(index))\n    .map(({ member }) => irObject([member]));\n  return irIntersection([irObject(rest), ...own]);\n}\n\n/** The members of the `paths` interface (OpenAPI 3.1 §4.8.8): one per path, by URL. */\nexport function pathMembers(paths: PathsObject, context: TransformContext): PathMember[] {\n  const members: PathMember[] = [];\n  const takenUrls = new Set(Object.keys(paths));\n  for (const [url, pathItem] of documentEntries(paths, context.options)) {\n    if (!pathItem || typeof pathItem !== \"object\") {\n      continue;\n    }\n    if (\"$ref\" in pathItem) {\n      const options = { isReadonly: context.options.immutable };\n      const member = documentMember(url, refType(pathItem.$ref), pathItem, options);\n      members.push({ url, member, key: literalKey(url), type: member.type });\n      continue;\n    }\n    const startedAt = context.diagnostics.now();\n    const pathMembersOfUrl = pathItemMembers(url, pathItem, context);\n    members.push(...withoutTakenUrls(url, pathMembersOfUrl, takenUrls));\n    // The original reports only paths written as properties.\n    if (pathMembersOfUrl[0]?.key.kind === \"literal\" && pathMembersOfUrl[0].key.url === url) {\n      context.diagnostics.debug(`Transformed path \"${url}\"`, context.diagnostics.now() - startedAt);\n    }\n  }\n  return members;\n}\n\n/**\n * The `paths` interface body, with only the path items' own types for the overlap check. The\n * document transform checks the overlaps again once the referenced types are declared.\n */\nexport function pathsType(paths: PathsObject, context: TransformContext): IrType {\n  return pathsObjectType(pathMembers(paths, context));\n}\n"],"names":["member"],"mappings":";;;;;;;;;;;;AAkCO,SAAS,UAAU,KAAA,EAAwC;AAChE,EAAA,MAAM,QAAA,GAAW,WAAW,KAAK,CAAA;AACjC,EAAA,OAAO,QAAA,KAAa,OAAO,EAAE,IAAA,EAAM,YAAY,KAAA,EAAM,GAAI,WAAW,QAAQ,CAAA;AAC9E;AAGA,SAAS,SAAA,CAAU,GAAA,EAAa,KAAA,EAA+B,IAAA,EAAc,UAAA,EAAqB;AAChG,EAAA,MAAM,GAAA,GAAM,UAAU,KAAK,CAAA;AAC3B,EAAA,IAAI,GAAA,CAAI,SAAS,SAAA,EAAW;AAC1B,IAAA,MAAMA,OAAAA,GAAS,WAAW,cAAA,CAAe,GAAA,CAAI,GAAG,CAAA,EAAG,IAAA,EAAM,EAAE,UAAA,EAAY,CAAA;AACvE,IAAA,OAAO,EAAE,GAAA,EAAK,MAAA,EAAAA,OAAAA,EAAQ,KAAK,IAAA,EAAK;AAAA,EAClC;AACA,EAAA,MAAM,MAAA,GAAmB;AAAA,IACvB,IAAA,EAAM,gBAAA;AAAA,IACN,aAAA,EAAe,MAAA;AAAA,IACf,aAAA,EAAe,KAAA,CAAM,YAAA,CAAa,KAAK,CAAC,CAAA;AAAA,IACxC,IAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAU;AAAC,GACb;AACA,EAAA,OAAO,EAAE,GAAA,EAAK,MAAA,EAAQ,GAAA,EAAK,IAAA,EAAK;AAClC;AAQO,SAAS,YAAA,CAAa,GAAA,EAAa,GAAA,EAAc,SAAA,EAAiC;AACvF,EAAA,MAAM,aAAA,GAAgB,GAAA,CAAI,IAAA,KAAS,SAAA,IAAa,IAAI,GAAA,KAAQ,GAAA;AAC5D,EAAA,IAAI,CAAC,aAAA,EAAe;AAClB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,GAAA,CAAI,GAAA,CAAI,GAAG,CAAA;AACrC,EAAA,SAAA,CAAU,GAAA,CAAI,IAAI,GAAG,CAAA;AACrB,EAAA,OAAO,CAAC,OAAA;AACV;AAEA,SAAS,gBAAA,CAAiB,GAAA,EAAa,OAAA,EAAgC,SAAA,EAAwB;AAC7F,EAAA,OAAO,OAAA,CAAQ,MAAA,CAAO,CAAC,EAAE,GAAA,OAAU,YAAA,CAAa,GAAA,EAAK,GAAA,EAAK,SAAS,CAAC,CAAA;AACtE;AAGA,SAAS,eAAA,CACP,GAAA,EACA,QAAA,EACA,OAAA,EACc;AACd,EAAA,MAAM,UAAA,GAAa,QAAQ,OAAA,CAAQ,SAAA;AACnC,EAAA,MAAM,IAAA,GAAO,YAAA;AAAA,IACX,QAAA;AAAA,IACA,EAAE,MAAM,aAAA,CAAc,YAAA,EAAc,CAAC,OAAA,EAAS,GAAG,CAAC,CAAA,EAAE;AAAA,IACpD;AAAA,GACF;AACA,EAAA,MAAM,KAAA,GACJ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,IAAqB,GAAA,CAAI,QAAA,CAAS,GAAG,CAAA,GACjD,iBAAA,CAAkB,GAAA,EAAK,QAAA,EAAU,OAAO,CAAA,GACxC,IAAA;AACN,EAAA,IAAI,UAAU,IAAA,EAAM;AAClB,IAAA,MAAM,MAAA,GAAS,WAAW,cAAA,CAAe,GAAG,GAAG,IAAA,EAAM,EAAE,YAAY,CAAA;AACnE,IAAA,OAAO,CAAC,EAAE,GAAA,EAAK,MAAA,EAAQ,KAAK,UAAA,CAAW,GAAG,CAAA,EAAG,IAAA,EAAM,CAAA;AAAA,EACrD;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,CAAA,CAAE,GAAA,CAAI,CAAC,GAAA,KAAQ,SAAA,CAAU,GAAA,EAAK,GAAA,EAAK,IAAA,EAAM,UAAU,CAAC,CAAA;AACtF;AAEA,SAAS,WAAW,GAAA,EAAsB;AACxC,EAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,GAAA,EAAI;AAChC;AAEA,MAAM,eAAA,GAAkB,OAAA;AAGxB,SAAS,aAAa,IAAA,EAA6B;AACjD,EAAA,IAAI,KAAK,IAAA,KAAS,eAAA,IAAmB,IAAA,CAAK,KAAA,CAAM,SAAS,eAAA,EAAiB;AACxE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,QAAO,GAAI,IAAA;AACnB,EAAA,MAAM,OAAA,GACJ,OAAO,IAAA,KAAS,WAAA,IAChB,OAAO,IAAA,KAAS,eAAA,IAChB,MAAA,CAAO,aAAA,CAAc,MAAA,KAAW,CAAA;AAClC,EAAA,OAAO,OAAA,GAAU,IAAA,CAAK,KAAA,CAAM,KAAA,GAAQ,IAAA;AACtC;AAMA,SAAS,aAAA,CACP,OACA,MAAA,EACoB;AACpB,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,GAAA,EAAK,IAAA,CAAK,IAAI,CAAC,CAAC,CAAA;AAChE,EAAA,OAAO,CAAC,IAAA,KAAS;AACf,IAAA,MAAM,GAAA,GAAM,aAAa,IAAI,CAAA;AAC7B,IAAA,OAAA,CAAQ,GAAA,KAAQ,OAAO,MAAA,GAAY,KAAA,CAAM,IAAI,GAAG,CAAA,KAAM,OAAO,IAAI,CAAA;AAAA,EACnE,CAAA;AACF;AAOA,SAAS,WAAA,CAAY,OAA8B,MAAA,EAA4C;AAC7F,EAAA,MAAM,MAAA,GAAS,kBAAA,CAAmB,aAAA,CAAc,KAAA,EAAO,MAAM,CAAC,CAAA;AAC9D,EAAA,OAAO,CAAC,eAAe,YAAA,KAAiB;AACtC,IAAA,MAAM,YAAA,GAAe,MAAM,aAAa,CAAA;AACxC,IAAA,MAAM,WAAA,GAAc,MAAM,YAAY,CAAA;AACtC,IAAA,OACE,YAAA,KAAiB,UACjB,WAAA,KAAgB,MAAA,IAChB,OAAO,WAAA,CAAY,IAAA,EAAM,YAAA,CAAa,IAAI,CAAA,KAAM,UAAA;AAAA,EAEpD,CAAA;AACF;AAUO,SAAS,eAAA,CACd,KAAA,EACA,MAAA,GAA6B,iBAAA,EACrB;AACR,EAAA,MAAM,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,EAAE,GAAA,OAAU,GAAG,CAAA;AACvC,EAAA,MAAM,WAAW,oBAAA,CAAqB,IAAA,EAAM,WAAA,CAAY,KAAA,EAAO,MAAM,CAAC,CAAA;AACtE,EAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,IAAA,OAAO,QAAA,CAAS,MAAM,GAAA,CAAI,CAAC,EAAE,MAAA,EAAO,KAAM,MAAM,CAAC,CAAA;AAAA,EACnD;AACA,EAAA,MAAM,OAAO,KAAA,CAAM,MAAA,CAAO,CAAC,CAAA,EAAG,UAAU,CAAC,QAAA,CAAS,GAAA,CAAI,KAAK,CAAC,CAAA,CAAE,GAAA,CAAI,CAAC,EAAE,MAAA,OAAa,MAAM,CAAA;AACxF,EAAA,MAAM,GAAA,GAAM,MACT,MAAA,CAAO,CAAC,GAAG,KAAA,KAAU,QAAA,CAAS,IAAI,KAAK,CAAC,EACxC,GAAA,CAAI,CAAC,EAAE,MAAA,EAAO,KAAM,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;AACzC,EAAA,OAAO,eAAe,CAAC,QAAA,CAAS,IAAI,CAAA,EAAG,GAAG,GAAG,CAAC,CAAA;AAChD;AAGO,SAAS,WAAA,CAAY,OAAoB,OAAA,EAAyC;AACvF,EAAA,MAAM,UAAwB,EAAC;AAC/B,EAAA,MAAM,YAAY,IAAI,GAAA,CAAI,MAAA,CAAO,IAAA,CAAK,KAAK,CAAC,CAAA;AAC5C,EAAA,KAAA,MAAW,CAAC,KAAK,QAAQ,CAAA,IAAK,gBAAgB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA,EAAG;AACrE,IAAA,IAAI,CAAC,QAAA,IAAY,OAAO,QAAA,KAAa,QAAA,EAAU;AAC7C,MAAA;AAAA,IACF;AACA,IAAA,IAAI,UAAU,QAAA,EAAU;AACtB,MAAA,MAAM,OAAA,GAAU,EAAE,UAAA,EAAY,OAAA,CAAQ,QAAQ,SAAA,EAAU;AACxD,MAAA,MAAM,MAAA,GAAS,eAAe,GAAA,EAAK,OAAA,CAAQ,SAAS,IAAI,CAAA,EAAG,UAAU,OAAO,CAAA;AAC5E,MAAA,OAAA,CAAQ,IAAA,CAAK,EAAE,GAAA,EAAK,MAAA,EAAQ,GAAA,EAAK,UAAA,CAAW,GAAG,CAAA,EAAG,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,CAAA;AACrE,MAAA;AAAA,IACF;AACA,IAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,IAAA,MAAM,gBAAA,GAAmB,eAAA,CAAgB,GAAA,EAAK,QAAA,EAAU,OAAO,CAAA;AAC/D,IAAA,OAAA,CAAQ,KAAK,GAAG,gBAAA,CAAiB,GAAA,EAAK,gBAAA,EAAkB,SAAS,CAAC,CAAA;AAElE,IAAA,IAAI,gBAAA,CAAiB,CAAC,CAAA,EAAG,GAAA,CAAI,IAAA,KAAS,SAAA,IAAa,gBAAA,CAAiB,CAAC,CAAA,CAAE,GAAA,CAAI,GAAA,KAAQ,GAAA,EAAK;AACtF,MAAA,OAAA,CAAQ,WAAA,CAAY,MAAM,CAAA,kBAAA,EAAqB,GAAG,KAAK,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI,SAAS,CAAA;AAAA,IAC9F;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAMO,SAAS,SAAA,CAAU,OAAoB,OAAA,EAAmC;AAC/E,EAAA,OAAO,eAAA,CAAgB,WAAA,CAAY,KAAA,EAAO,OAAO,CAAC,CAAA;AACpD;;"}

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

@@ -0,0 +1,80 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const parameterObject = require('../../../domain/openapi/parameter-object.cjs');
+const pathItemObject = require('../../../domain/openapi/path-item-object.cjs');
+const refType = require('../ref-type.cjs');
+const parameterEntries = require('./parameter-entries.cjs');
+
+const INDEX_RE = /^\d+$/;
+const OPERATION_KEYS = /* @__PURE__ */ new Set([...pathItemObject.HTTP_METHODS, pathItemObject.QUERY_METHOD]);
+function listPointerOf(ref) {
+  if (!ref.startsWith(`${jsonPointer.ROOT_POINTER}/`)) {
+    return null;
+  }
+  const [root, ...segments] = jsonPointer.parseRefPointer(ref);
+  const [list, position] = segments.slice(-2);
+  const isList = list === "parameters" && position !== void 0 && INDEX_RE.test(position);
+  return root !== void 0 && isList ? { root, owner: segments.slice(0, -2) } : null;
+}
+function pointerTo(root, segments) {
+  return jsonPointer.appendPointer(jsonPointer.ROOT_POINTER, [root, ...segments]);
+}
+function isPathItemAt(root, segments) {
+  const isNamedRoot = root === "paths" || root === "webhooks";
+  return isNamedRoot && segments.length === 1 || root === "components" && segments[0] === "pathItems" && segments.length === 2;
+}
+function pathItemOfOperation(root, owner) {
+  const method = owner.at(-1) ?? "";
+  if (OPERATION_KEYS.has(method) && isPathItemAt(root, owner.slice(0, -1))) {
+    return owner.slice(0, -1);
+  }
+  const isAdditional = owner.at(-2) === pathItemObject.ADDITIONAL_OPERATIONS_KEY;
+  return isAdditional && isPathItemAt(root, owner.slice(0, -2)) ? owner.slice(0, -2) : null;
+}
+function documentNode(refs, root, segments) {
+  const node = refs.resolve(pointerTo(root, segments));
+  const isTypedHere = typeof node === "object" && node !== null && !("$ref" in node);
+  return isTypedHere ? node : null;
+}
+function typedParameters(pointer, refs) {
+  const { root, owner } = pointer;
+  if (isPathItemAt(root, owner)) {
+    return documentNode(refs, root, owner)?.parameters ?? null;
+  }
+  const pathItemSegments = pathItemOfOperation(root, owner);
+  const pathItem = pathItemSegments && documentNode(refs, root, pathItemSegments);
+  const operation = pathItem && documentNode(refs, root, owner);
+  return pathItem && operation ? parameterEntries.mergedParameters(pathItem, operation, refs) : null;
+}
+function isLocationOptional(entries, location) {
+  return entries.filter((entry) => entry.resolved?.in === location).every((entry) => location !== "path" && !entry.resolved?.required);
+}
+function correctedType(listType, entries, parameter) {
+  if (parameter.in === parameterObject.QUERYSTRING_LOCATION) {
+    const isTyped = !entries.some((entry) => entry.resolved?.in === "query");
+    return isTyped ? refType.indexBy(listType, "query") : null;
+  }
+  if (!isLocationOptional(entries, parameter.in)) {
+    return null;
+  }
+  const location = constructors.irReference("NonNullable", [refType.indexBy(listType, parameter.in)]);
+  return refType.indexBy(location, parameter.name);
+}
+function referencedParameterType(ref, resolved, context) {
+  if (resolved.$ref) {
+    return refType.refType(ref, { parameter: null });
+  }
+  const original = refType.refType(ref, { parameter: { in: resolved.in, name: resolved.name } });
+  const pointer = listPointerOf(ref);
+  const parameters = pointer && typedParameters(pointer, context.refs);
+  if (pointer === null || parameters === null) {
+    return original;
+  }
+  const listType = refType.refType(pointerTo(pointer.root, [...pointer.owner, "parameters"]));
+  return correctedType(listType, parameterEntries.parameterEntries(parameters, context), resolved) ?? original;
+}
+
+exports.referencedParameterType = referencedParameterType;
+//# sourceMappingURL=referenced-parameter.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"referenced-parameter.cjs","sources":["../../../../src/application/transform/document/referenced-parameter.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport {\n  appendPointer,\n  parseRefPointer,\n  ROOT_POINTER,\n} from \"../../../domain/openapi/json-pointer.js\";\nimport type { OperationObject } from \"../../../domain/openapi/operation-object.js\";\nimport {\n  type ParameterObject,\n  type ParameterOrReference,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport {\n  ADDITIONAL_OPERATIONS_KEY,\n  HTTP_METHODS,\n  type PathItemObject,\n  QUERY_METHOD,\n} from \"../../../domain/openapi/path-item-object.js\";\nimport { indexBy, refType } from \"../ref-type.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { mergedParameters, type ParameterEntry, parameterEntries } from \"./parameter-entries.js\";\n\n/**\n * The type of a parameter `$ref`. The original indexed the parameter's location and name\n * (`refType`): `#/paths/~1a/get/parameters/0` gave\n * `paths[\"/a\"][\"get\"][\"parameters\"][\"query\"][\"q\"]`.\n * Where the generated type differs, that does not compile, and only there it changes:\n *\n * - A location whose parameters are all optional is an optional member (`query?:`), so indexing it\n *   fails (TS2339); it is wrapped in `NonNullable` before the name is indexed.\n * - An OpenAPI 3.2 `in: querystring` parameter is the whole `query` member (ADR-020), not a member\n *   `querystring`, so the pointer reads `[\"query\"]`.\n *\n * A `$ref` to a component parameter, or into a list the generator types elsewhere (a `$ref` path\n * item or operation, a callback), keeps the original type.\n */\n\nconst INDEX_RE = /^\\d+$/;\nconst OPERATION_KEYS: ReadonlySet<string> = new Set([...HTTP_METHODS, QUERY_METHOD]);\n\n/** A `parameters/N` pointer, split into its root and the segments of the list's owner. */\ninterface ParameterListPointer {\n  readonly root: string;\n  readonly owner: readonly string[];\n}\n\nfunction listPointerOf(ref: string): ParameterListPointer | null {\n  if (!ref.startsWith(`${ROOT_POINTER}/`)) {\n    return null;\n  }\n  const [root, ...segments] = parseRefPointer(ref);\n  const [list, position] = segments.slice(-2);\n  const isList = list === \"parameters\" && position !== undefined && INDEX_RE.test(position);\n  return root !== undefined && isList ? { root, owner: segments.slice(0, -2) } : null;\n}\n\nfunction pointerTo(root: string, segments: readonly string[]): string {\n  return appendPointer(ROOT_POINTER, [root, ...segments]);\n}\n\n/** Whether the segments name a path item that `pathItemType` types in place. */\nfunction isPathItemAt(root: string, segments: readonly string[]): boolean {\n  const isNamedRoot = root === \"paths\" || root === \"webhooks\";\n  return (\n    (isNamedRoot && segments.length === 1) ||\n    (root === \"components\" && segments[0] === \"pathItems\" && segments.length === 2)\n  );\n}\n\n/** The segments of the path item that holds the operation at `owner`, or null. */\nfunction pathItemOfOperation(root: string, owner: readonly string[]): readonly string[] | null {\n  const method = owner.at(-1) ?? \"\";\n  if (OPERATION_KEYS.has(method) && isPathItemAt(root, owner.slice(0, -1))) {\n    return owner.slice(0, -1);\n  }\n  const isAdditional = owner.at(-2) === ADDITIONAL_OPERATIONS_KEY;\n  return isAdditional && isPathItemAt(root, owner.slice(0, -2)) ? owner.slice(0, -2) : null;\n}\n\nfunction documentNode<T>(refs: RefResolver, root: string, segments: readonly string[]): T | null {\n  const node = refs.resolve(pointerTo(root, segments));\n  const isTypedHere = typeof node === \"object\" && node !== null && !(\"$ref\" in node);\n  return isTypedHere ? (node as T) : null;\n}\n\n/** The parameters the generator types at the list's owner; null where it types them elsewhere. */\nfunction typedParameters(\n  pointer: ParameterListPointer,\n  refs: RefResolver,\n): readonly ParameterOrReference[] | null {\n  const { root, owner } = pointer;\n  if (isPathItemAt(root, owner)) {\n    return documentNode<PathItemObject>(refs, root, owner)?.parameters ?? null;\n  }\n  const pathItemSegments = pathItemOfOperation(root, owner);\n  const pathItem = pathItemSegments && documentNode<PathItemObject>(refs, root, pathItemSegments);\n  const operation = pathItem && documentNode<OperationObject>(refs, root, owner);\n  return pathItem && operation ? mergedParameters(pathItem, operation, refs) : null;\n}\n\n/** A location member is optional when none of its parameters is required (`locationParts`). */\nfunction isLocationOptional(entries: readonly ParameterEntry[], location: string): boolean {\n  return entries\n    .filter((entry) => entry.resolved?.in === location)\n    .every((entry) => location !== \"path\" && !entry.resolved?.required);\n}\n\n/** The corrected type, or null where the original type compiles or no correction applies. */\nfunction correctedType(\n  listType: IrType,\n  entries: readonly ParameterEntry[],\n  parameter: ParameterObject,\n): IrType | null {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    // Next to `in: query` parameters it is not in the generated types (QUERYSTRING_NEXT_TO_QUERY).\n    const isTyped = !entries.some((entry) => entry.resolved?.in === \"query\");\n    return isTyped ? indexBy(listType, \"query\") : null;\n  }\n  if (!isLocationOptional(entries, parameter.in)) {\n    return null;\n  }\n  const location = irReference(\"NonNullable\", [indexBy(listType, parameter.in)]);\n  return indexBy(location, parameter.name);\n}\n\n/** The type of a parameter `$ref` whose target resolved to `resolved`; see the module comment. */\nexport function referencedParameterType(\n  ref: string,\n  resolved: ParameterObject,\n  context: TransformContext,\n): IrType {\n  // A `$ref` that resolves to another `$ref` is not a parameter object yet: index it as a path.\n  if ((resolved as { $ref?: unknown }).$ref) {\n    return refType(ref, { parameter: null });\n  }\n  const original = refType(ref, { parameter: { in: resolved.in, name: resolved.name } });\n  const pointer = listPointerOf(ref);\n  const parameters = pointer && typedParameters(pointer, context.refs);\n  if (pointer === null || parameters === null) {\n    return original;\n  }\n  const listType = refType(pointerTo(pointer.root, [...pointer.owner, \"parameters\"]));\n  return correctedType(listType, parameterEntries(parameters, context), resolved) ?? original;\n}\n"],"names":["HTTP_METHODS","QUERY_METHOD","ROOT_POINTER","parseRefPointer","appendPointer","ADDITIONAL_OPERATIONS_KEY","mergedParameters","QUERYSTRING_LOCATION","indexBy","irReference","refType","parameterEntries"],"mappings":";;;;;;;;;AAuCA,MAAM,QAAA,GAAW,OAAA;AACjB,MAAM,iCAAsC,IAAI,GAAA,CAAI,CAAC,GAAGA,2BAAA,EAAcC,2BAAY,CAAC,CAAA;AAQnF,SAAS,cAAc,GAAA,EAA0C;AAC/D,EAAA,IAAI,CAAC,GAAA,CAAI,UAAA,CAAW,CAAA,EAAGC,wBAAY,GAAG,CAAA,EAAG;AACvC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,CAAC,IAAA,EAAM,GAAG,QAAQ,CAAA,GAAIC,4BAAgB,GAAG,CAAA;AAC/C,EAAA,MAAM,CAAC,IAAA,EAAM,QAAQ,CAAA,GAAI,QAAA,CAAS,MAAM,EAAE,CAAA;AAC1C,EAAA,MAAM,SAAS,IAAA,KAAS,YAAA,IAAgB,aAAa,MAAA,IAAa,QAAA,CAAS,KAAK,QAAQ,CAAA;AACxF,EAAA,OAAO,IAAA,KAAS,MAAA,IAAa,MAAA,GAAS,EAAE,IAAA,EAAM,KAAA,EAAO,QAAA,CAAS,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA,EAAE,GAAI,IAAA;AACjF;AAEA,SAAS,SAAA,CAAU,MAAc,QAAA,EAAqC;AACpE,EAAA,OAAOC,0BAAcF,wBAAA,EAAc,CAAC,IAAA,EAAM,GAAG,QAAQ,CAAC,CAAA;AACxD;AAGA,SAAS,YAAA,CAAa,MAAc,QAAA,EAAsC;AACxE,EAAA,MAAM,WAAA,GAAc,IAAA,KAAS,OAAA,IAAW,IAAA,KAAS,UAAA;AACjD,EAAA,OACG,WAAA,IAAe,QAAA,CAAS,MAAA,KAAW,CAAA,IACnC,IAAA,KAAS,YAAA,IAAgB,QAAA,CAAS,CAAC,CAAA,KAAM,WAAA,IAAe,QAAA,CAAS,MAAA,KAAW,CAAA;AAEjF;AAGA,SAAS,mBAAA,CAAoB,MAAc,KAAA,EAAoD;AAC7F,EAAA,MAAM,MAAA,GAAS,KAAA,CAAM,EAAA,CAAG,EAAE,CAAA,IAAK,EAAA;AAC/B,EAAA,IAAI,cAAA,CAAe,GAAA,CAAI,MAAM,CAAA,IAAK,YAAA,CAAa,IAAA,EAAM,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAC,CAAA,EAAG;AACxE,IAAA,OAAO,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA;AAAA,EAC1B;AACA,EAAA,MAAM,YAAA,GAAe,KAAA,CAAM,EAAA,CAAG,EAAE,CAAA,KAAMG,wCAAA;AACtC,EAAA,OAAO,YAAA,IAAgB,YAAA,CAAa,IAAA,EAAM,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAC,CAAA,GAAI,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA,GAAI,IAAA;AACvF;AAEA,SAAS,YAAA,CAAgB,IAAA,EAAmB,IAAA,EAAc,QAAA,EAAuC;AAC/F,EAAA,MAAM,OAAO,IAAA,CAAK,OAAA,CAAQ,SAAA,CAAU,IAAA,EAAM,QAAQ,CAAC,CAAA;AACnD,EAAA,MAAM,cAAc,OAAO,IAAA,KAAS,YAAY,IAAA,KAAS,IAAA,IAAQ,EAAE,MAAA,IAAU,IAAA,CAAA;AAC7E,EAAA,OAAO,cAAe,IAAA,GAAa,IAAA;AACrC;AAGA,SAAS,eAAA,CACP,SACA,IAAA,EACwC;AACxC,EAAA,MAAM,EAAE,IAAA,EAAM,KAAA,EAAM,GAAI,OAAA;AACxB,EAAA,IAAI,YAAA,CAAa,IAAA,EAAM,KAAK,CAAA,EAAG;AAC7B,IAAA,OAAO,YAAA,CAA6B,IAAA,EAAM,IAAA,EAAM,KAAK,GAAG,UAAA,IAAc,IAAA;AAAA,EACxE;AACA,EAAA,MAAM,gBAAA,GAAmB,mBAAA,CAAoB,IAAA,EAAM,KAAK,CAAA;AACxD,EAAA,MAAM,QAAA,GAAW,gBAAA,IAAoB,YAAA,CAA6B,IAAA,EAAM,MAAM,gBAAgB,CAAA;AAC9F,EAAA,MAAM,SAAA,GAAY,QAAA,IAAY,YAAA,CAA8B,IAAA,EAAM,MAAM,KAAK,CAAA;AAC7E,EAAA,OAAO,YAAY,SAAA,GAAYC,iCAAA,CAAiB,QAAA,EAAU,SAAA,EAAW,IAAI,CAAA,GAAI,IAAA;AAC/E;AAGA,SAAS,kBAAA,CAAmB,SAAoC,QAAA,EAA2B;AACzF,EAAA,OAAO,QACJ,MAAA,CAAO,CAAC,KAAA,KAAU,KAAA,CAAM,UAAU,EAAA,KAAO,QAAQ,CAAA,CACjD,KAAA,CAAM,CAAC,KAAA,KAAU,QAAA,KAAa,UAAU,CAAC,KAAA,CAAM,UAAU,QAAQ,CAAA;AACtE;AAGA,SAAS,aAAA,CACP,QAAA,EACA,OAAA,EACA,SAAA,EACe;AACf,EAAA,IAAI,SAAA,CAAU,OAAOC,oCAAA,EAAsB;AAEzC,IAAA,MAAM,OAAA,GAAU,CAAC,OAAA,CAAQ,IAAA,CAAK,CAAC,KAAA,KAAU,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO,OAAO,CAAA;AACvE,IAAA,OAAO,OAAA,GAAUC,eAAA,CAAQ,QAAA,EAAU,OAAO,CAAA,GAAI,IAAA;AAAA,EAChD;AACA,EAAA,IAAI,CAAC,kBAAA,CAAmB,OAAA,EAAS,SAAA,CAAU,EAAE,CAAA,EAAG;AAC9C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAWC,yBAAY,aAAA,EAAe,CAACD,gBAAQ,QAAA,EAAU,SAAA,CAAU,EAAE,CAAC,CAAC,CAAA;AAC7E,EAAA,OAAOA,eAAA,CAAQ,QAAA,EAAU,SAAA,CAAU,IAAI,CAAA;AACzC;AAGO,SAAS,uBAAA,CACd,GAAA,EACA,QAAA,EACA,OAAA,EACQ;AAER,EAAA,IAAK,SAAgC,IAAA,EAAM;AACzC,IAAA,OAAOE,eAAA,CAAQ,GAAA,EAAK,EAAE,SAAA,EAAW,MAAM,CAAA;AAAA,EACzC;AACA,EAAA,MAAM,QAAA,GAAWA,eAAA,CAAQ,GAAA,EAAK,EAAE,SAAA,EAAW,EAAE,EAAA,EAAI,QAAA,CAAS,EAAA,EAAI,IAAA,EAAM,QAAA,CAAS,IAAA,IAAQ,CAAA;AACrF,EAAA,MAAM,OAAA,GAAU,cAAc,GAAG,CAAA;AACjC,EAAA,MAAM,UAAA,GAAa,OAAA,IAAW,eAAA,CAAgB,OAAA,EAAS,QAAQ,IAAI,CAAA;AACnE,EAAA,IAAI,OAAA,KAAY,IAAA,IAAQ,UAAA,KAAe,IAAA,EAAM;AAC3C,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAWA,eAAA,CAAQ,SAAA,CAAU,OAAA,CAAQ,IAAA,EAAM,CAAC,GAAG,OAAA,CAAQ,KAAA,EAAO,YAAY,CAAC,CAAC,CAAA;AAClF,EAAA,OAAO,cAAc,QAAA,EAAUC,iCAAA,CAAiB,YAAY,OAAO,CAAA,EAAG,QAAQ,CAAA,IAAK,QAAA;AACrF;;"}

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

@@ -0,0 +1,78 @@
+import { irReference } from '../../../domain/ir/constructors.mjs';
+import { ROOT_POINTER, parseRefPointer, appendPointer } from '../../../domain/openapi/json-pointer.mjs';
+import { QUERYSTRING_LOCATION } from '../../../domain/openapi/parameter-object.mjs';
+import { HTTP_METHODS, QUERY_METHOD, ADDITIONAL_OPERATIONS_KEY } from '../../../domain/openapi/path-item-object.mjs';
+import { refType, indexBy } from '../ref-type.mjs';
+import { parameterEntries, mergedParameters } from './parameter-entries.mjs';
+
+const INDEX_RE = /^\d+$/;
+const OPERATION_KEYS = /* @__PURE__ */ new Set([...HTTP_METHODS, QUERY_METHOD]);
+function listPointerOf(ref) {
+  if (!ref.startsWith(`${ROOT_POINTER}/`)) {
+    return null;
+  }
+  const [root, ...segments] = parseRefPointer(ref);
+  const [list, position] = segments.slice(-2);
+  const isList = list === "parameters" && position !== void 0 && INDEX_RE.test(position);
+  return root !== void 0 && isList ? { root, owner: segments.slice(0, -2) } : null;
+}
+function pointerTo(root, segments) {
+  return appendPointer(ROOT_POINTER, [root, ...segments]);
+}
+function isPathItemAt(root, segments) {
+  const isNamedRoot = root === "paths" || root === "webhooks";
+  return isNamedRoot && segments.length === 1 || root === "components" && segments[0] === "pathItems" && segments.length === 2;
+}
+function pathItemOfOperation(root, owner) {
+  const method = owner.at(-1) ?? "";
+  if (OPERATION_KEYS.has(method) && isPathItemAt(root, owner.slice(0, -1))) {
+    return owner.slice(0, -1);
+  }
+  const isAdditional = owner.at(-2) === ADDITIONAL_OPERATIONS_KEY;
+  return isAdditional && isPathItemAt(root, owner.slice(0, -2)) ? owner.slice(0, -2) : null;
+}
+function documentNode(refs, root, segments) {
+  const node = refs.resolve(pointerTo(root, segments));
+  const isTypedHere = typeof node === "object" && node !== null && !("$ref" in node);
+  return isTypedHere ? node : null;
+}
+function typedParameters(pointer, refs) {
+  const { root, owner } = pointer;
+  if (isPathItemAt(root, owner)) {
+    return documentNode(refs, root, owner)?.parameters ?? null;
+  }
+  const pathItemSegments = pathItemOfOperation(root, owner);
+  const pathItem = pathItemSegments && documentNode(refs, root, pathItemSegments);
+  const operation = pathItem && documentNode(refs, root, owner);
+  return pathItem && operation ? mergedParameters(pathItem, operation, refs) : null;
+}
+function isLocationOptional(entries, location) {
+  return entries.filter((entry) => entry.resolved?.in === location).every((entry) => location !== "path" && !entry.resolved?.required);
+}
+function correctedType(listType, entries, parameter) {
+  if (parameter.in === QUERYSTRING_LOCATION) {
+    const isTyped = !entries.some((entry) => entry.resolved?.in === "query");
+    return isTyped ? indexBy(listType, "query") : null;
+  }
+  if (!isLocationOptional(entries, parameter.in)) {
+    return null;
+  }
+  const location = irReference("NonNullable", [indexBy(listType, parameter.in)]);
+  return indexBy(location, parameter.name);
+}
+function referencedParameterType(ref, resolved, context) {
+  if (resolved.$ref) {
+    return refType(ref, { parameter: null });
+  }
+  const original = refType(ref, { parameter: { in: resolved.in, name: resolved.name } });
+  const pointer = listPointerOf(ref);
+  const parameters = pointer && typedParameters(pointer, context.refs);
+  if (pointer === null || parameters === null) {
+    return original;
+  }
+  const listType = refType(pointerTo(pointer.root, [...pointer.owner, "parameters"]));
+  return correctedType(listType, parameterEntries(parameters, context), resolved) ?? original;
+}
+
+export { referencedParameterType };
+//# sourceMappingURL=referenced-parameter.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"referenced-parameter.mjs","sources":["../../../../src/application/transform/document/referenced-parameter.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport {\n  appendPointer,\n  parseRefPointer,\n  ROOT_POINTER,\n} from \"../../../domain/openapi/json-pointer.js\";\nimport type { OperationObject } from \"../../../domain/openapi/operation-object.js\";\nimport {\n  type ParameterObject,\n  type ParameterOrReference,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport {\n  ADDITIONAL_OPERATIONS_KEY,\n  HTTP_METHODS,\n  type PathItemObject,\n  QUERY_METHOD,\n} from \"../../../domain/openapi/path-item-object.js\";\nimport { indexBy, refType } from \"../ref-type.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { mergedParameters, type ParameterEntry, parameterEntries } from \"./parameter-entries.js\";\n\n/**\n * The type of a parameter `$ref`. The original indexed the parameter's location and name\n * (`refType`): `#/paths/~1a/get/parameters/0` gave\n * `paths[\"/a\"][\"get\"][\"parameters\"][\"query\"][\"q\"]`.\n * Where the generated type differs, that does not compile, and only there it changes:\n *\n * - A location whose parameters are all optional is an optional member (`query?:`), so indexing it\n *   fails (TS2339); it is wrapped in `NonNullable` before the name is indexed.\n * - An OpenAPI 3.2 `in: querystring` parameter is the whole `query` member (ADR-020), not a member\n *   `querystring`, so the pointer reads `[\"query\"]`.\n *\n * A `$ref` to a component parameter, or into a list the generator types elsewhere (a `$ref` path\n * item or operation, a callback), keeps the original type.\n */\n\nconst INDEX_RE = /^\\d+$/;\nconst OPERATION_KEYS: ReadonlySet<string> = new Set([...HTTP_METHODS, QUERY_METHOD]);\n\n/** A `parameters/N` pointer, split into its root and the segments of the list's owner. */\ninterface ParameterListPointer {\n  readonly root: string;\n  readonly owner: readonly string[];\n}\n\nfunction listPointerOf(ref: string): ParameterListPointer | null {\n  if (!ref.startsWith(`${ROOT_POINTER}/`)) {\n    return null;\n  }\n  const [root, ...segments] = parseRefPointer(ref);\n  const [list, position] = segments.slice(-2);\n  const isList = list === \"parameters\" && position !== undefined && INDEX_RE.test(position);\n  return root !== undefined && isList ? { root, owner: segments.slice(0, -2) } : null;\n}\n\nfunction pointerTo(root: string, segments: readonly string[]): string {\n  return appendPointer(ROOT_POINTER, [root, ...segments]);\n}\n\n/** Whether the segments name a path item that `pathItemType` types in place. */\nfunction isPathItemAt(root: string, segments: readonly string[]): boolean {\n  const isNamedRoot = root === \"paths\" || root === \"webhooks\";\n  return (\n    (isNamedRoot && segments.length === 1) ||\n    (root === \"components\" && segments[0] === \"pathItems\" && segments.length === 2)\n  );\n}\n\n/** The segments of the path item that holds the operation at `owner`, or null. */\nfunction pathItemOfOperation(root: string, owner: readonly string[]): readonly string[] | null {\n  const method = owner.at(-1) ?? \"\";\n  if (OPERATION_KEYS.has(method) && isPathItemAt(root, owner.slice(0, -1))) {\n    return owner.slice(0, -1);\n  }\n  const isAdditional = owner.at(-2) === ADDITIONAL_OPERATIONS_KEY;\n  return isAdditional && isPathItemAt(root, owner.slice(0, -2)) ? owner.slice(0, -2) : null;\n}\n\nfunction documentNode<T>(refs: RefResolver, root: string, segments: readonly string[]): T | null {\n  const node = refs.resolve(pointerTo(root, segments));\n  const isTypedHere = typeof node === \"object\" && node !== null && !(\"$ref\" in node);\n  return isTypedHere ? (node as T) : null;\n}\n\n/** The parameters the generator types at the list's owner; null where it types them elsewhere. */\nfunction typedParameters(\n  pointer: ParameterListPointer,\n  refs: RefResolver,\n): readonly ParameterOrReference[] | null {\n  const { root, owner } = pointer;\n  if (isPathItemAt(root, owner)) {\n    return documentNode<PathItemObject>(refs, root, owner)?.parameters ?? null;\n  }\n  const pathItemSegments = pathItemOfOperation(root, owner);\n  const pathItem = pathItemSegments && documentNode<PathItemObject>(refs, root, pathItemSegments);\n  const operation = pathItem && documentNode<OperationObject>(refs, root, owner);\n  return pathItem && operation ? mergedParameters(pathItem, operation, refs) : null;\n}\n\n/** A location member is optional when none of its parameters is required (`locationParts`). */\nfunction isLocationOptional(entries: readonly ParameterEntry[], location: string): boolean {\n  return entries\n    .filter((entry) => entry.resolved?.in === location)\n    .every((entry) => location !== \"path\" && !entry.resolved?.required);\n}\n\n/** The corrected type, or null where the original type compiles or no correction applies. */\nfunction correctedType(\n  listType: IrType,\n  entries: readonly ParameterEntry[],\n  parameter: ParameterObject,\n): IrType | null {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    // Next to `in: query` parameters it is not in the generated types (QUERYSTRING_NEXT_TO_QUERY).\n    const isTyped = !entries.some((entry) => entry.resolved?.in === \"query\");\n    return isTyped ? indexBy(listType, \"query\") : null;\n  }\n  if (!isLocationOptional(entries, parameter.in)) {\n    return null;\n  }\n  const location = irReference(\"NonNullable\", [indexBy(listType, parameter.in)]);\n  return indexBy(location, parameter.name);\n}\n\n/** The type of a parameter `$ref` whose target resolved to `resolved`; see the module comment. */\nexport function referencedParameterType(\n  ref: string,\n  resolved: ParameterObject,\n  context: TransformContext,\n): IrType {\n  // A `$ref` that resolves to another `$ref` is not a parameter object yet: index it as a path.\n  if ((resolved as { $ref?: unknown }).$ref) {\n    return refType(ref, { parameter: null });\n  }\n  const original = refType(ref, { parameter: { in: resolved.in, name: resolved.name } });\n  const pointer = listPointerOf(ref);\n  const parameters = pointer && typedParameters(pointer, context.refs);\n  if (pointer === null || parameters === null) {\n    return original;\n  }\n  const listType = refType(pointerTo(pointer.root, [...pointer.owner, \"parameters\"]));\n  return correctedType(listType, parameterEntries(parameters, context), resolved) ?? original;\n}\n"],"names":[],"mappings":";;;;;;;AAuCA,MAAM,QAAA,GAAW,OAAA;AACjB,MAAM,iCAAsC,IAAI,GAAA,CAAI,CAAC,GAAG,YAAA,EAAc,YAAY,CAAC,CAAA;AAQnF,SAAS,cAAc,GAAA,EAA0C;AAC/D,EAAA,IAAI,CAAC,GAAA,CAAI,UAAA,CAAW,CAAA,EAAG,YAAY,GAAG,CAAA,EAAG;AACvC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,CAAC,IAAA,EAAM,GAAG,QAAQ,CAAA,GAAI,gBAAgB,GAAG,CAAA;AAC/C,EAAA,MAAM,CAAC,IAAA,EAAM,QAAQ,CAAA,GAAI,QAAA,CAAS,MAAM,EAAE,CAAA;AAC1C,EAAA,MAAM,SAAS,IAAA,KAAS,YAAA,IAAgB,aAAa,MAAA,IAAa,QAAA,CAAS,KAAK,QAAQ,CAAA;AACxF,EAAA,OAAO,IAAA,KAAS,MAAA,IAAa,MAAA,GAAS,EAAE,IAAA,EAAM,KAAA,EAAO,QAAA,CAAS,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA,EAAE,GAAI,IAAA;AACjF;AAEA,SAAS,SAAA,CAAU,MAAc,QAAA,EAAqC;AACpE,EAAA,OAAO,cAAc,YAAA,EAAc,CAAC,IAAA,EAAM,GAAG,QAAQ,CAAC,CAAA;AACxD;AAGA,SAAS,YAAA,CAAa,MAAc,QAAA,EAAsC;AACxE,EAAA,MAAM,WAAA,GAAc,IAAA,KAAS,OAAA,IAAW,IAAA,KAAS,UAAA;AACjD,EAAA,OACG,WAAA,IAAe,QAAA,CAAS,MAAA,KAAW,CAAA,IACnC,IAAA,KAAS,YAAA,IAAgB,QAAA,CAAS,CAAC,CAAA,KAAM,WAAA,IAAe,QAAA,CAAS,MAAA,KAAW,CAAA;AAEjF;AAGA,SAAS,mBAAA,CAAoB,MAAc,KAAA,EAAoD;AAC7F,EAAA,MAAM,MAAA,GAAS,KAAA,CAAM,EAAA,CAAG,EAAE,CAAA,IAAK,EAAA;AAC/B,EAAA,IAAI,cAAA,CAAe,GAAA,CAAI,MAAM,CAAA,IAAK,YAAA,CAAa,IAAA,EAAM,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAC,CAAA,EAAG;AACxE,IAAA,OAAO,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA;AAAA,EAC1B;AACA,EAAA,MAAM,YAAA,GAAe,KAAA,CAAM,EAAA,CAAG,EAAE,CAAA,KAAM,yBAAA;AACtC,EAAA,OAAO,YAAA,IAAgB,YAAA,CAAa,IAAA,EAAM,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAC,CAAA,GAAI,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA,GAAI,IAAA;AACvF;AAEA,SAAS,YAAA,CAAgB,IAAA,EAAmB,IAAA,EAAc,QAAA,EAAuC;AAC/F,EAAA,MAAM,OAAO,IAAA,CAAK,OAAA,CAAQ,SAAA,CAAU,IAAA,EAAM,QAAQ,CAAC,CAAA;AACnD,EAAA,MAAM,cAAc,OAAO,IAAA,KAAS,YAAY,IAAA,KAAS,IAAA,IAAQ,EAAE,MAAA,IAAU,IAAA,CAAA;AAC7E,EAAA,OAAO,cAAe,IAAA,GAAa,IAAA;AACrC;AAGA,SAAS,eAAA,CACP,SACA,IAAA,EACwC;AACxC,EAAA,MAAM,EAAE,IAAA,EAAM,KAAA,EAAM,GAAI,OAAA;AACxB,EAAA,IAAI,YAAA,CAAa,IAAA,EAAM,KAAK,CAAA,EAAG;AAC7B,IAAA,OAAO,YAAA,CAA6B,IAAA,EAAM,IAAA,EAAM,KAAK,GAAG,UAAA,IAAc,IAAA;AAAA,EACxE;AACA,EAAA,MAAM,gBAAA,GAAmB,mBAAA,CAAoB,IAAA,EAAM,KAAK,CAAA;AACxD,EAAA,MAAM,QAAA,GAAW,gBAAA,IAAoB,YAAA,CAA6B,IAAA,EAAM,MAAM,gBAAgB,CAAA;AAC9F,EAAA,MAAM,SAAA,GAAY,QAAA,IAAY,YAAA,CAA8B,IAAA,EAAM,MAAM,KAAK,CAAA;AAC7E,EAAA,OAAO,YAAY,SAAA,GAAY,gBAAA,CAAiB,QAAA,EAAU,SAAA,EAAW,IAAI,CAAA,GAAI,IAAA;AAC/E;AAGA,SAAS,kBAAA,CAAmB,SAAoC,QAAA,EAA2B;AACzF,EAAA,OAAO,QACJ,MAAA,CAAO,CAAC,KAAA,KAAU,KAAA,CAAM,UAAU,EAAA,KAAO,QAAQ,CAAA,CACjD,KAAA,CAAM,CAAC,KAAA,KAAU,QAAA,KAAa,UAAU,CAAC,KAAA,CAAM,UAAU,QAAQ,CAAA;AACtE;AAGA,SAAS,aAAA,CACP,QAAA,EACA,OAAA,EACA,SAAA,EACe;AACf,EAAA,IAAI,SAAA,CAAU,OAAO,oBAAA,EAAsB;AAEzC,IAAA,MAAM,OAAA,GAAU,CAAC,OAAA,CAAQ,IAAA,CAAK,CAAC,KAAA,KAAU,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO,OAAO,CAAA;AACvE,IAAA,OAAO,OAAA,GAAU,OAAA,CAAQ,QAAA,EAAU,OAAO,CAAA,GAAI,IAAA;AAAA,EAChD;AACA,EAAA,IAAI,CAAC,kBAAA,CAAmB,OAAA,EAAS,SAAA,CAAU,EAAE,CAAA,EAAG;AAC9C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,YAAY,aAAA,EAAe,CAAC,QAAQ,QAAA,EAAU,SAAA,CAAU,EAAE,CAAC,CAAC,CAAA;AAC7E,EAAA,OAAO,OAAA,CAAQ,QAAA,EAAU,SAAA,CAAU,IAAI,CAAA;AACzC;AAGO,SAAS,uBAAA,CACd,GAAA,EACA,QAAA,EACA,OAAA,EACQ;AAER,EAAA,IAAK,SAAgC,IAAA,EAAM;AACzC,IAAA,OAAO,OAAA,CAAQ,GAAA,EAAK,EAAE,SAAA,EAAW,MAAM,CAAA;AAAA,EACzC;AACA,EAAA,MAAM,QAAA,GAAW,OAAA,CAAQ,GAAA,EAAK,EAAE,SAAA,EAAW,EAAE,EAAA,EAAI,QAAA,CAAS,EAAA,EAAI,IAAA,EAAM,QAAA,CAAS,IAAA,IAAQ,CAAA;AACrF,EAAA,MAAM,OAAA,GAAU,cAAc,GAAG,CAAA;AACjC,EAAA,MAAM,UAAA,GAAa,OAAA,IAAW,eAAA,CAAgB,OAAA,EAAS,QAAQ,IAAI,CAAA;AACnE,EAAA,IAAI,OAAA,KAAY,IAAA,IAAQ,UAAA,KAAe,IAAA,EAAM;AAC3C,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,OAAA,CAAQ,SAAA,CAAU,OAAA,CAAQ,IAAA,EAAM,CAAC,GAAG,OAAA,CAAQ,KAAA,EAAO,YAAY,CAAC,CAAC,CAAA;AAClF,EAAA,OAAO,cAAc,QAAA,EAAU,gBAAA,CAAiB,YAAY,OAAO,CAAA,EAAG,QAAQ,CAAA,IAAK,QAAA;AACrF;;"}

package/dist/application/transform/document/request-body.cjs

@@ -11,7 +11,7 @@ const ANY_MEDIA_TYPE = "*/*";
 function contentMembers(requestBody, location, context) {
   const entries = documentEntries.documentEntries(requestBody.content ?? {}, context.options);
   return entries.map(([contentType, entry]) => {
-    const path = jsonPointer.createRef([location.path, "content", contentType]);
+    const path = jsonPointer.appendPointer(location.path, ["content", contentType]);
     const type = mediaType.contentEntryType(entry, { ...location, path }, context);
     return documentMember.documentMember(contentType, type, entry, { isReadonly: context.options.immutable });
   });

package/dist/application/transform/document/request-body.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"request-body.cjs","sources":["../../../../src/application/transform/document/request-body.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RequestBodyObject } from \"../../../domain/openapi/request-body-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType, itemContentMember } from \"./media-type.js\";\n\n/** Stands in for the media types of a body that defines none: `\"*\\/*\"?: never`. */\nconst ANY_MEDIA_TYPE = \"*/*\";\n\nfunction contentMembers(\n  requestBody: RequestBodyObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrMember[] {\n  const entries = documentEntries(requestBody.content ?? {}, context.options);\n  return entries.map(([contentType, entry]) => {\n    const path = createRef([location.path, \"content\", contentType]);\n    const type = contentEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n}\n\n/**\n * A request body (OpenAPI 3.2 §4.8.13): `{ content: { [mediaType]: T } }`, and `itemContent` when a\n * media type has an `itemSchema`.\n */\nexport function requestBodyType(\n  requestBody: RequestBodyObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const members = contentMembers(requestBody, location, context);\n  // The placeholder is never readonly, even with --immutable, as in the original.\n  const placeholder = irProperty(toPropertyName(ANY_MEDIA_TYPE), irKeyword(\"never\"), {\n    isOptional: true,\n  });\n  const content = irObject(members.length > 0 ? members : [placeholder]);\n  const isReadonly = context.options.immutable;\n  const itemContent = itemContentMember(requestBody.content ?? {}, location, context, {\n    isReadonly,\n  });\n  return irObject([\n    irProperty(toPropertyName(\"content\"), content, { isReadonly }),\n    ...(itemContent ? [itemContent] : []),\n  ]);\n}\n"],"names":["documentEntries","createRef","contentEntryType","documentMember","irProperty","toPropertyName","irKeyword","irObject","itemContentMember"],"mappings":";;;;;;;;;AAWA,MAAM,cAAA,GAAiB,KAAA;AAEvB,SAAS,cAAA,CACP,WAAA,EACA,QAAA,EACA,OAAA,EACY;AACZ,EAAA,MAAM,UAAUA,+BAAA,CAAgB,WAAA,CAAY,WAAW,EAAC,EAAG,QAAQ,OAAO,CAAA;AAC1E,EAAA,OAAO,QAAQ,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAC3C,IAAA,MAAM,OAAOC,qBAAA,CAAU,CAAC,SAAS,IAAA,EAAM,SAAA,EAAW,WAAW,CAAC,CAAA;AAC9D,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;AACH;AAMO,SAAS,eAAA,CACd,WAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,OAAA,GAAU,cAAA,CAAe,WAAA,EAAa,QAAA,EAAU,OAAO,CAAA;AAE7D,EAAA,MAAM,cAAcC,uBAAA,CAAWC,2BAAA,CAAe,cAAc,CAAA,EAAGC,sBAAA,CAAU,OAAO,CAAA,EAAG;AAAA,IACjF,UAAA,EAAY;AAAA,GACb,CAAA;AACD,EAAA,MAAM,OAAA,GAAUC,sBAAS,OAAA,CAAQ,MAAA,GAAS,IAAI,OAAA,GAAU,CAAC,WAAW,CAAC,CAAA;AACrE,EAAA,MAAM,UAAA,GAAa,QAAQ,OAAA,CAAQ,SAAA;AACnC,EAAA,MAAM,cAAcC,2BAAA,CAAkB,WAAA,CAAY,WAAW,EAAC,EAAG,UAAU,OAAA,EAAS;AAAA,IAClF;AAAA,GACD,CAAA;AACD,EAAA,OAAOD,qBAAA,CAAS;AAAA,IACdH,wBAAWC,2BAAA,CAAe,SAAS,GAAG,OAAA,EAAS,EAAE,YAAY,CAAA;AAAA,IAC7D,GAAI,WAAA,GAAc,CAAC,WAAW,IAAI;AAAC,GACpC,CAAA;AACH;;"}
+{"version":3,"file":"request-body.cjs","sources":["../../../../src/application/transform/document/request-body.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RequestBodyObject } from \"../../../domain/openapi/request-body-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType, itemContentMember } from \"./media-type.js\";\n\n/** Stands in for the media types of a body that defines none: `\"*\\/*\"?: never`. */\nconst ANY_MEDIA_TYPE = \"*/*\";\n\nfunction contentMembers(\n  requestBody: RequestBodyObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrMember[] {\n  const entries = documentEntries(requestBody.content ?? {}, context.options);\n  return entries.map(([contentType, entry]) => {\n    const path = appendPointer(location.path, [\"content\", contentType]);\n    const type = contentEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n}\n\n/**\n * A request body (OpenAPI 3.2 §4.8.13): `{ content: { [mediaType]: T } }`, and `itemContent` when a\n * media type has an `itemSchema`.\n */\nexport function requestBodyType(\n  requestBody: RequestBodyObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const members = contentMembers(requestBody, location, context);\n  // The placeholder is never readonly, even with --immutable, as in the original.\n  const placeholder = irProperty(toPropertyName(ANY_MEDIA_TYPE), irKeyword(\"never\"), {\n    isOptional: true,\n  });\n  const content = irObject(members.length > 0 ? members : [placeholder]);\n  const isReadonly = context.options.immutable;\n  const itemContent = itemContentMember(requestBody.content ?? {}, location, context, {\n    isReadonly,\n  });\n  return irObject([\n    irProperty(toPropertyName(\"content\"), content, { isReadonly }),\n    ...(itemContent ? [itemContent] : []),\n  ]);\n}\n"],"names":["documentEntries","appendPointer","contentEntryType","documentMember","irProperty","toPropertyName","irKeyword","irObject","itemContentMember"],"mappings":";;;;;;;;;AAWA,MAAM,cAAA,GAAiB,KAAA;AAEvB,SAAS,cAAA,CACP,WAAA,EACA,QAAA,EACA,OAAA,EACY;AACZ,EAAA,MAAM,UAAUA,+BAAA,CAAgB,WAAA,CAAY,WAAW,EAAC,EAAG,QAAQ,OAAO,CAAA;AAC1E,EAAA,OAAO,QAAQ,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAC3C,IAAA,MAAM,OAAOC,yBAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAW,WAAW,CAAC,CAAA;AAClE,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;AACH;AAMO,SAAS,eAAA,CACd,WAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,OAAA,GAAU,cAAA,CAAe,WAAA,EAAa,QAAA,EAAU,OAAO,CAAA;AAE7D,EAAA,MAAM,cAAcC,uBAAA,CAAWC,2BAAA,CAAe,cAAc,CAAA,EAAGC,sBAAA,CAAU,OAAO,CAAA,EAAG;AAAA,IACjF,UAAA,EAAY;AAAA,GACb,CAAA;AACD,EAAA,MAAM,OAAA,GAAUC,sBAAS,OAAA,CAAQ,MAAA,GAAS,IAAI,OAAA,GAAU,CAAC,WAAW,CAAC,CAAA;AACrE,EAAA,MAAM,UAAA,GAAa,QAAQ,OAAA,CAAQ,SAAA;AACnC,EAAA,MAAM,cAAcC,2BAAA,CAAkB,WAAA,CAAY,WAAW,EAAC,EAAG,UAAU,OAAA,EAAS;AAAA,IAClF;AAAA,GACD,CAAA;AACD,EAAA,OAAOD,qBAAA,CAAS;AAAA,IACdH,wBAAWC,2BAAA,CAAe,SAAS,GAAG,OAAA,EAAS,EAAE,YAAY,CAAA;AAAA,IAC7D,GAAI,WAAA,GAAc,CAAC,WAAW,IAAI;AAAC,GACpC,CAAA;AACH;;"}

package/dist/application/transform/document/request-body.mjs

@@ -1,6 +1,6 @@
 import { irProperty, irKeyword, irObject } from '../../../domain/ir/constructors.mjs';
 import { toPropertyName } from '../../../domain/ir/property-name.mjs';
-import { createRef } from '../../../domain/openapi/json-pointer.mjs';
+import { appendPointer } from '../../../domain/openapi/json-pointer.mjs';
 import { documentEntries } from '../document-entries.mjs';
 import { documentMember } from './document-member.mjs';
 import { itemContentMember, contentEntryType } from './media-type.mjs';
@@ -9,7 +9,7 @@ const ANY_MEDIA_TYPE = "*/*";
 function contentMembers(requestBody, location, context) {
   const entries = documentEntries(requestBody.content ?? {}, context.options);
   return entries.map(([contentType, entry]) => {
-    const path = createRef([location.path, "content", contentType]);
+    const path = appendPointer(location.path, ["content", contentType]);
     const type = contentEntryType(entry, { ...location, path }, context);
     return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });
   });

package/dist/application/transform/document/request-body.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"request-body.mjs","sources":["../../../../src/application/transform/document/request-body.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RequestBodyObject } from \"../../../domain/openapi/request-body-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType, itemContentMember } from \"./media-type.js\";\n\n/** Stands in for the media types of a body that defines none: `\"*\\/*\"?: never`. */\nconst ANY_MEDIA_TYPE = \"*/*\";\n\nfunction contentMembers(\n  requestBody: RequestBodyObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrMember[] {\n  const entries = documentEntries(requestBody.content ?? {}, context.options);\n  return entries.map(([contentType, entry]) => {\n    const path = createRef([location.path, \"content\", contentType]);\n    const type = contentEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n}\n\n/**\n * A request body (OpenAPI 3.2 §4.8.13): `{ content: { [mediaType]: T } }`, and `itemContent` when a\n * media type has an `itemSchema`.\n */\nexport function requestBodyType(\n  requestBody: RequestBodyObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const members = contentMembers(requestBody, location, context);\n  // The placeholder is never readonly, even with --immutable, as in the original.\n  const placeholder = irProperty(toPropertyName(ANY_MEDIA_TYPE), irKeyword(\"never\"), {\n    isOptional: true,\n  });\n  const content = irObject(members.length > 0 ? members : [placeholder]);\n  const isReadonly = context.options.immutable;\n  const itemContent = itemContentMember(requestBody.content ?? {}, location, context, {\n    isReadonly,\n  });\n  return irObject([\n    irProperty(toPropertyName(\"content\"), content, { isReadonly }),\n    ...(itemContent ? [itemContent] : []),\n  ]);\n}\n"],"names":[],"mappings":";;;;;;;AAWA,MAAM,cAAA,GAAiB,KAAA;AAEvB,SAAS,cAAA,CACP,WAAA,EACA,QAAA,EACA,OAAA,EACY;AACZ,EAAA,MAAM,UAAU,eAAA,CAAgB,WAAA,CAAY,WAAW,EAAC,EAAG,QAAQ,OAAO,CAAA;AAC1E,EAAA,OAAO,QAAQ,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAC3C,IAAA,MAAM,OAAO,SAAA,CAAU,CAAC,SAAS,IAAA,EAAM,SAAA,EAAW,WAAW,CAAC,CAAA;AAC9D,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;AACH;AAMO,SAAS,eAAA,CACd,WAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,OAAA,GAAU,cAAA,CAAe,WAAA,EAAa,QAAA,EAAU,OAAO,CAAA;AAE7D,EAAA,MAAM,cAAc,UAAA,CAAW,cAAA,CAAe,cAAc,CAAA,EAAG,SAAA,CAAU,OAAO,CAAA,EAAG;AAAA,IACjF,UAAA,EAAY;AAAA,GACb,CAAA;AACD,EAAA,MAAM,OAAA,GAAU,SAAS,OAAA,CAAQ,MAAA,GAAS,IAAI,OAAA,GAAU,CAAC,WAAW,CAAC,CAAA;AACrE,EAAA,MAAM,UAAA,GAAa,QAAQ,OAAA,CAAQ,SAAA;AACnC,EAAA,MAAM,cAAc,iBAAA,CAAkB,WAAA,CAAY,WAAW,EAAC,EAAG,UAAU,OAAA,EAAS;AAAA,IAClF;AAAA,GACD,CAAA;AACD,EAAA,OAAO,QAAA,CAAS;AAAA,IACd,WAAW,cAAA,CAAe,SAAS,GAAG,OAAA,EAAS,EAAE,YAAY,CAAA;AAAA,IAC7D,GAAI,WAAA,GAAc,CAAC,WAAW,IAAI;AAAC,GACpC,CAAA;AACH;;"}
+{"version":3,"file":"request-body.mjs","sources":["../../../../src/application/transform/document/request-body.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RequestBodyObject } from \"../../../domain/openapi/request-body-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType, itemContentMember } from \"./media-type.js\";\n\n/** Stands in for the media types of a body that defines none: `\"*\\/*\"?: never`. */\nconst ANY_MEDIA_TYPE = \"*/*\";\n\nfunction contentMembers(\n  requestBody: RequestBodyObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrMember[] {\n  const entries = documentEntries(requestBody.content ?? {}, context.options);\n  return entries.map(([contentType, entry]) => {\n    const path = appendPointer(location.path, [\"content\", contentType]);\n    const type = contentEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n}\n\n/**\n * A request body (OpenAPI 3.2 §4.8.13): `{ content: { [mediaType]: T } }`, and `itemContent` when a\n * media type has an `itemSchema`.\n */\nexport function requestBodyType(\n  requestBody: RequestBodyObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const members = contentMembers(requestBody, location, context);\n  // The placeholder is never readonly, even with --immutable, as in the original.\n  const placeholder = irProperty(toPropertyName(ANY_MEDIA_TYPE), irKeyword(\"never\"), {\n    isOptional: true,\n  });\n  const content = irObject(members.length > 0 ? members : [placeholder]);\n  const isReadonly = context.options.immutable;\n  const itemContent = itemContentMember(requestBody.content ?? {}, location, context, {\n    isReadonly,\n  });\n  return irObject([\n    irProperty(toPropertyName(\"content\"), content, { isReadonly }),\n    ...(itemContent ? [itemContent] : []),\n  ]);\n}\n"],"names":[],"mappings":";;;;;;;AAWA,MAAM,cAAA,GAAiB,KAAA;AAEvB,SAAS,cAAA,CACP,WAAA,EACA,QAAA,EACA,OAAA,EACY;AACZ,EAAA,MAAM,UAAU,eAAA,CAAgB,WAAA,CAAY,WAAW,EAAC,EAAG,QAAQ,OAAO,CAAA;AAC1E,EAAA,OAAO,QAAQ,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAC3C,IAAA,MAAM,OAAO,aAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAW,WAAW,CAAC,CAAA;AAClE,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;AACH;AAMO,SAAS,eAAA,CACd,WAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,OAAA,GAAU,cAAA,CAAe,WAAA,EAAa,QAAA,EAAU,OAAO,CAAA;AAE7D,EAAA,MAAM,cAAc,UAAA,CAAW,cAAA,CAAe,cAAc,CAAA,EAAG,SAAA,CAAU,OAAO,CAAA,EAAG;AAAA,IACjF,UAAA,EAAY;AAAA,GACb,CAAA;AACD,EAAA,MAAM,OAAA,GAAU,SAAS,OAAA,CAAQ,MAAA,GAAS,IAAI,OAAA,GAAU,CAAC,WAAW,CAAC,CAAA;AACrE,EAAA,MAAM,UAAA,GAAa,QAAQ,OAAA,CAAQ,SAAA;AACnC,EAAA,MAAM,cAAc,iBAAA,CAAkB,WAAA,CAAY,WAAW,EAAC,EAAG,UAAU,OAAA,EAAS;AAAA,IAClF;AAAA,GACD,CAAA;AACD,EAAA,OAAO,QAAA,CAAS;AAAA,IACd,WAAW,cAAA,CAAe,SAAS,GAAG,OAAA,EAAS,EAAE,YAAY,CAAA;AAAA,IAC7D,GAAI,WAAA,GAAc,CAAC,WAAW,IAAI;AAAC,GACpC,CAAA;AACH;;"}

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

@@ -15,7 +15,7 @@ function headerMember(name, header$1, location, context) {
   const isReference = "$ref" in header$1;
   const type = isReference ? refType.refType(header$1.$ref) : header.headerType(
     header$1,
-    { ...location, path: jsonPointer.createRef([location.path, "headers", name]) },
+    { ...location, path: jsonPointer.appendPointer(location.path, ["headers", name]) },
     context
   );
   return documentMember.documentMember(name, type, header$1, {
@@ -37,7 +37,7 @@ function mediaTypeEntryType(entry, location, context) {
 function contentMember(response, location, context) {
   const entries = documentEntries.documentEntries(response.content ?? {}, context.options);
   const members = entries.map(([contentType, entry]) => {
-    const path = jsonPointer.createRef([location.path, "content", contentType]);
+    const path = jsonPointer.appendPointer(location.path, ["content", contentType]);
     const type = mediaTypeEntryType(entry, { ...location, path }, context);
     return documentMember.documentMember(contentType, type, entry, { isReadonly: context.options.immutable });
   });

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

@@ -1 +1 @@
-{"version":3,"file":"response.cjs","sources":["../../../../src/application/transform/document/response.ts"],"sourcesContent":["import {\n  irKeyword,\n  irObject,\n  irProperty,\n  irStringIndexSignature,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  isMediaTypeComponentRef,\n  type MediaTypeObject,\n} from \"../../../domain/openapi/media-type-object.js\";\nimport type { ResponseObject } from \"../../../domain/openapi/response-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport { refType } from \"../ref-type.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { headerType } from \"./header.js\";\nimport { contentEntryType, itemContentMember, mediaTypeType } from \"./media-type.js\";\n\ntype HeaderEntry = NonNullable<ResponseObject[\"headers\"]>[string];\n\nfunction headerMember(\n  name: string,\n  header: HeaderEntry,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrPropertySignature {\n  // A referenced header counts as required: the reference does not say otherwise.\n  const isReference = \"$ref\" in header;\n  const type = isReference\n    ? refType(header.$ref)\n    : headerType(\n        header,\n        { ...location, path: createRef([location.path, \"headers\", name]) },\n        context,\n      );\n  return documentMember(name, type, header, {\n    isReadonly: context.options.immutable,\n    isOptional: !isReference && !header.required,\n  });\n}\n\n/** The listed headers, then `[name: string]: unknown`, because servers may send others. */\nfunction headersMember(\n  response: ResponseObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrPropertySignature {\n  const entries = documentEntries(response.headers ?? {}, context.options);\n  const members: IrMember[] = entries.map(([name, header]) =>\n    headerMember(name, header, location, context),\n  );\n  members.push(irStringIndexSignature(\"name\", UNKNOWN_TYPE, context.options.immutable));\n  return irProperty(toPropertyName(\"headers\"), irObject(members));\n}\n\n/**\n * One media type of a response. The original reads a `$ref` entry as a media type without a\n * schema, so it is `unknown`; a `$ref` to an OpenAPI 3.2 media type component is typed as it.\n */\nfunction mediaTypeEntryType(\n  entry: NonNullable<ResponseObject[\"content\"]>[string],\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  return \"$ref\" in entry && isMediaTypeComponentRef(entry.$ref)\n    ? contentEntryType(entry, location, context)\n    : mediaTypeType(entry as MediaTypeObject, location, context);\n}\n\n/** `content` with one member per media type, or `content?: never` when there are none. */\nfunction contentMember(\n  response: ResponseObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrPropertySignature {\n  const entries = documentEntries(response.content ?? {}, context.options);\n  const members = entries.map(([contentType, entry]) => {\n    const path = createRef([location.path, \"content\", contentType]);\n    const type = mediaTypeEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  const name = toPropertyName(\"content\");\n  return members.length > 0\n    ? irProperty(name, irObject(members))\n    : irProperty(name, irKeyword(\"never\"), { isOptional: true });\n}\n\n/**\n * A response (OpenAPI 3.2 §4.8.17): `{ headers: {…}; content: {…} }`, and `itemContent` when a\n * media type has an `itemSchema`. No member is readonly, even with --immutable, as in the original.\n */\nexport function responseType(\n  response: ResponseObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const itemContent = itemContentMember(response.content ?? {}, location, context, {\n    isReadonly: false,\n  });\n  return irObject([\n    headersMember(response, location, context),\n    contentMember(response, location, context),\n    ...(itemContent ? [itemContent] : []),\n  ]);\n}\n"],"names":["header","refType","headerType","createRef","documentMember","documentEntries","irStringIndexSignature","UNKNOWN_TYPE","irProperty","toPropertyName","irObject","isMediaTypeComponentRef","contentEntryType","mediaTypeType","irKeyword","itemContentMember"],"mappings":";;;;;;;;;;;;;AAwBA,SAAS,YAAA,CACP,IAAA,EACAA,QAAA,EACA,QAAA,EACA,OAAA,EACqB;AAErB,EAAA,MAAM,cAAc,MAAA,IAAUA,QAAA;AAC9B,EAAA,MAAM,IAAA,GAAO,WAAA,GACTC,eAAA,CAAQD,QAAA,CAAO,IAAI,CAAA,GACnBE,iBAAA;AAAA,IACEF,QAAA;AAAA,IACA,EAAE,GAAG,QAAA,EAAU,IAAA,EAAMG,qBAAA,CAAU,CAAC,QAAA,CAAS,IAAA,EAAM,SAAA,EAAW,IAAI,CAAC,CAAA,EAAE;AAAA,IACjE;AAAA,GACF;AACJ,EAAA,OAAOC,6BAAA,CAAe,IAAA,EAAM,IAAA,EAAMJ,QAAA,EAAQ;AAAA,IACxC,UAAA,EAAY,QAAQ,OAAA,CAAQ,SAAA;AAAA,IAC5B,UAAA,EAAY,CAAC,WAAA,IAAe,CAACA,QAAA,CAAO;AAAA,GACrC,CAAA;AACH;AAGA,SAAS,aAAA,CACP,QAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAUK,+BAAA,CAAgB,QAAA,CAAS,WAAW,EAAC,EAAG,QAAQ,OAAO,CAAA;AACvE,EAAA,MAAM,UAAsB,OAAA,CAAQ,GAAA;AAAA,IAAI,CAAC,CAAC,IAAA,EAAM,MAAM,MACpD,YAAA,CAAa,IAAA,EAAM,MAAA,EAAQ,QAAA,EAAU,OAAO;AAAA,GAC9C;AACA,EAAA,OAAA,CAAQ,KAAKC,mCAAA,CAAuB,MAAA,EAAQC,0BAAc,OAAA,CAAQ,OAAA,CAAQ,SAAS,CAAC,CAAA;AACpF,EAAA,OAAOC,wBAAWC,2BAAA,CAAe,SAAS,CAAA,EAAGC,qBAAA,CAAS,OAAO,CAAC,CAAA;AAChE;AAMA,SAAS,kBAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,OAAO,MAAA,IAAU,KAAA,IAASC,uCAAA,CAAwB,KAAA,CAAM,IAAI,CAAA,GACxDC,0BAAA,CAAiB,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA,GACzCC,uBAAA,CAAc,KAAA,EAA0B,UAAU,OAAO,CAAA;AAC/D;AAGA,SAAS,aAAA,CACP,QAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAUR,+BAAA,CAAgB,QAAA,CAAS,WAAW,EAAC,EAAG,QAAQ,OAAO,CAAA;AACvE,EAAA,MAAM,UAAU,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AACpD,IAAA,MAAM,OAAOF,qBAAA,CAAU,CAAC,SAAS,IAAA,EAAM,SAAA,EAAW,WAAW,CAAC,CAAA;AAC9D,IAAA,MAAM,IAAA,GAAO,mBAAmB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AACrE,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,MAAM,IAAA,GAAOK,4BAAe,SAAS,CAAA;AACrC,EAAA,OAAO,QAAQ,MAAA,GAAS,CAAA,GACpBD,uBAAA,CAAW,IAAA,EAAME,sBAAS,OAAO,CAAC,CAAA,GAClCF,uBAAA,CAAW,MAAMM,sBAAA,CAAU,OAAO,GAAG,EAAE,UAAA,EAAY,MAAM,CAAA;AAC/D;AAMO,SAAS,YAAA,CACd,QAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,cAAcC,2BAAA,CAAkB,QAAA,CAAS,WAAW,EAAC,EAAG,UAAU,OAAA,EAAS;AAAA,IAC/E,UAAA,EAAY;AAAA,GACb,CAAA;AACD,EAAA,OAAOL,qBAAA,CAAS;AAAA,IACd,aAAA,CAAc,QAAA,EAAU,QAAA,EAAU,OAAO,CAAA;AAAA,IACzC,aAAA,CAAc,QAAA,EAAU,QAAA,EAAU,OAAO,CAAA;AAAA,IACzC,GAAI,WAAA,GAAc,CAAC,WAAW,IAAI;AAAC,GACpC,CAAA;AACH;;"}
+{"version":3,"file":"response.cjs","sources":["../../../../src/application/transform/document/response.ts"],"sourcesContent":["import {\n  irKeyword,\n  irObject,\n  irProperty,\n  irStringIndexSignature,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  isMediaTypeComponentRef,\n  type MediaTypeObject,\n} from \"../../../domain/openapi/media-type-object.js\";\nimport type { ResponseObject } from \"../../../domain/openapi/response-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport { refType } from \"../ref-type.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { headerType } from \"./header.js\";\nimport { contentEntryType, itemContentMember, mediaTypeType } from \"./media-type.js\";\n\ntype HeaderEntry = NonNullable<ResponseObject[\"headers\"]>[string];\n\nfunction headerMember(\n  name: string,\n  header: HeaderEntry,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrPropertySignature {\n  // A referenced header counts as required: the reference does not say otherwise.\n  const isReference = \"$ref\" in header;\n  const type = isReference\n    ? refType(header.$ref)\n    : headerType(\n        header,\n        { ...location, path: appendPointer(location.path, [\"headers\", name]) },\n        context,\n      );\n  return documentMember(name, type, header, {\n    isReadonly: context.options.immutable,\n    isOptional: !isReference && !header.required,\n  });\n}\n\n/** The listed headers, then `[name: string]: unknown`, because servers may send others. */\nfunction headersMember(\n  response: ResponseObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrPropertySignature {\n  const entries = documentEntries(response.headers ?? {}, context.options);\n  const members: IrMember[] = entries.map(([name, header]) =>\n    headerMember(name, header, location, context),\n  );\n  members.push(irStringIndexSignature(\"name\", UNKNOWN_TYPE, context.options.immutable));\n  return irProperty(toPropertyName(\"headers\"), irObject(members));\n}\n\n/**\n * One media type of a response. The original reads a `$ref` entry as a media type without a\n * schema, so it is `unknown`; a `$ref` to an OpenAPI 3.2 media type component is typed as it.\n */\nfunction mediaTypeEntryType(\n  entry: NonNullable<ResponseObject[\"content\"]>[string],\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  return \"$ref\" in entry && isMediaTypeComponentRef(entry.$ref)\n    ? contentEntryType(entry, location, context)\n    : mediaTypeType(entry as MediaTypeObject, location, context);\n}\n\n/** `content` with one member per media type, or `content?: never` when there are none. */\nfunction contentMember(\n  response: ResponseObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrPropertySignature {\n  const entries = documentEntries(response.content ?? {}, context.options);\n  const members = entries.map(([contentType, entry]) => {\n    const path = appendPointer(location.path, [\"content\", contentType]);\n    const type = mediaTypeEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  const name = toPropertyName(\"content\");\n  return members.length > 0\n    ? irProperty(name, irObject(members))\n    : irProperty(name, irKeyword(\"never\"), { isOptional: true });\n}\n\n/**\n * A response (OpenAPI 3.2 §4.8.17): `{ headers: {…}; content: {…} }`, and `itemContent` when a\n * media type has an `itemSchema`. No member is readonly, even with --immutable, as in the original.\n */\nexport function responseType(\n  response: ResponseObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const itemContent = itemContentMember(response.content ?? {}, location, context, {\n    isReadonly: false,\n  });\n  return irObject([\n    headersMember(response, location, context),\n    contentMember(response, location, context),\n    ...(itemContent ? [itemContent] : []),\n  ]);\n}\n"],"names":["header","refType","headerType","appendPointer","documentMember","documentEntries","irStringIndexSignature","UNKNOWN_TYPE","irProperty","toPropertyName","irObject","isMediaTypeComponentRef","contentEntryType","mediaTypeType","irKeyword","itemContentMember"],"mappings":";;;;;;;;;;;;;AAwBA,SAAS,YAAA,CACP,IAAA,EACAA,QAAA,EACA,QAAA,EACA,OAAA,EACqB;AAErB,EAAA,MAAM,cAAc,MAAA,IAAUA,QAAA;AAC9B,EAAA,MAAM,IAAA,GAAO,WAAA,GACTC,eAAA,CAAQD,QAAA,CAAO,IAAI,CAAA,GACnBE,iBAAA;AAAA,IACEF,QAAA;AAAA,IACA,EAAE,GAAG,QAAA,EAAU,IAAA,EAAMG,yBAAA,CAAc,QAAA,CAAS,IAAA,EAAM,CAAC,SAAA,EAAW,IAAI,CAAC,CAAA,EAAE;AAAA,IACrE;AAAA,GACF;AACJ,EAAA,OAAOC,6BAAA,CAAe,IAAA,EAAM,IAAA,EAAMJ,QAAA,EAAQ;AAAA,IACxC,UAAA,EAAY,QAAQ,OAAA,CAAQ,SAAA;AAAA,IAC5B,UAAA,EAAY,CAAC,WAAA,IAAe,CAACA,QAAA,CAAO;AAAA,GACrC,CAAA;AACH;AAGA,SAAS,aAAA,CACP,QAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAUK,+BAAA,CAAgB,QAAA,CAAS,WAAW,EAAC,EAAG,QAAQ,OAAO,CAAA;AACvE,EAAA,MAAM,UAAsB,OAAA,CAAQ,GAAA;AAAA,IAAI,CAAC,CAAC,IAAA,EAAM,MAAM,MACpD,YAAA,CAAa,IAAA,EAAM,MAAA,EAAQ,QAAA,EAAU,OAAO;AAAA,GAC9C;AACA,EAAA,OAAA,CAAQ,KAAKC,mCAAA,CAAuB,MAAA,EAAQC,0BAAc,OAAA,CAAQ,OAAA,CAAQ,SAAS,CAAC,CAAA;AACpF,EAAA,OAAOC,wBAAWC,2BAAA,CAAe,SAAS,CAAA,EAAGC,qBAAA,CAAS,OAAO,CAAC,CAAA;AAChE;AAMA,SAAS,kBAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,OAAO,MAAA,IAAU,KAAA,IAASC,uCAAA,CAAwB,KAAA,CAAM,IAAI,CAAA,GACxDC,0BAAA,CAAiB,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA,GACzCC,uBAAA,CAAc,KAAA,EAA0B,UAAU,OAAO,CAAA;AAC/D;AAGA,SAAS,aAAA,CACP,QAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAUR,+BAAA,CAAgB,QAAA,CAAS,WAAW,EAAC,EAAG,QAAQ,OAAO,CAAA;AACvE,EAAA,MAAM,UAAU,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AACpD,IAAA,MAAM,OAAOF,yBAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAW,WAAW,CAAC,CAAA;AAClE,IAAA,MAAM,IAAA,GAAO,mBAAmB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AACrE,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,MAAM,IAAA,GAAOK,4BAAe,SAAS,CAAA;AACrC,EAAA,OAAO,QAAQ,MAAA,GAAS,CAAA,GACpBD,uBAAA,CAAW,IAAA,EAAME,sBAAS,OAAO,CAAC,CAAA,GAClCF,uBAAA,CAAW,MAAMM,sBAAA,CAAU,OAAO,GAAG,EAAE,UAAA,EAAY,MAAM,CAAA;AAC/D;AAMO,SAAS,YAAA,CACd,QAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,cAAcC,2BAAA,CAAkB,QAAA,CAAS,WAAW,EAAC,EAAG,UAAU,OAAA,EAAS;AAAA,IAC/E,UAAA,EAAY;AAAA,GACb,CAAA;AACD,EAAA,OAAOL,qBAAA,CAAS;AAAA,IACd,aAAA,CAAc,QAAA,EAAU,QAAA,EAAU,OAAO,CAAA;AAAA,IACzC,aAAA,CAAc,QAAA,EAAU,QAAA,EAAU,OAAO,CAAA;AAAA,IACzC,GAAI,WAAA,GAAc,CAAC,WAAW,IAAI;AAAC,GACpC,CAAA;AACH;;"}

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

@@ -1,6 +1,6 @@
 import { irObject, irStringIndexSignature, irProperty, irKeyword } from '../../../domain/ir/constructors.mjs';
 import { toPropertyName } from '../../../domain/ir/property-name.mjs';
-import { createRef } from '../../../domain/openapi/json-pointer.mjs';
+import { appendPointer } from '../../../domain/openapi/json-pointer.mjs';
 import { isMediaTypeComponentRef } from '../../../domain/openapi/media-type-object.mjs';
 import { documentEntries } from '../document-entries.mjs';
 import { refType } from '../ref-type.mjs';
@@ -13,7 +13,7 @@ function headerMember(name, header, location, context) {
   const isReference = "$ref" in header;
   const type = isReference ? refType(header.$ref) : headerType(
     header,
-    { ...location, path: createRef([location.path, "headers", name]) },
+    { ...location, path: appendPointer(location.path, ["headers", name]) },
     context
   );
   return documentMember(name, type, header, {
@@ -35,7 +35,7 @@ function mediaTypeEntryType(entry, location, context) {
 function contentMember(response, location, context) {
   const entries = documentEntries(response.content ?? {}, context.options);
   const members = entries.map(([contentType, entry]) => {
-    const path = createRef([location.path, "content", contentType]);
+    const path = appendPointer(location.path, ["content", contentType]);
     const type = mediaTypeEntryType(entry, { ...location, path }, context);
     return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });
   });