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

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

@@ -1 +1 @@
-{"version":3,"file":"paths.cjs","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 { documentEntries } from \"../document-entries.js\";\nimport { refType } from \"../ref-type.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { pathItemType } from \"./path-item.js\";\nimport { isCoveredPathItemRejected } from \"./path-item-conflicts.js\";\nimport {\n  coveringTemplateKeys,\n  type PathKey,\n  type PathKeyPart,\n  type PathPlaceholder,\n} from \"./path-key-overlaps.js\";\n\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\n/** `${type}`: the text of a template literal type placeholder. */\nfunction placeholderText(type: PathPlaceholder): string {\n  return `\\${${type}}`;\n}\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/**\n * `--path-params-as-types`: the URL as template parts, each `{name}` replaced by a placeholder for\n * its parameter's type. 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 matches = url.match(PATH_PARAMETER_RE);\n  if (!matches) {\n    return null;\n  }\n  const parameters = pathParameters(pathItem, context);\n  const placeholders = matches.map((match) => {\n    const schema = parameters.get(match.slice(1, -1))?.schema as SchemaObject | undefined;\n    return PLACEHOLDERS.get(schema?.type) ?? STRING_PLACEHOLDER;\n  });\n  return url.split(PATH_PARAMETER_RE).flatMap((text, index): PathKeyPart[] => {\n    const type = placeholders[index];\n    const textPart: PathKeyPart = { kind: \"text\", text };\n    return type === undefined ? [textPart] : [textPart, { kind: \"placeholder\", type }];\n  });\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. */\ninterface PathMember {\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 { 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 { member, key: { kind: \"template\", parts }, type };\n}\n\nfunction literalKey(url: string): PathKey {\n  return { kind: \"literal\", url };\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.\n */\nfunction pathsObjectType(paths: readonly PathMember[]): IrType {\n  const covering = coveringTemplateKeys(\n    paths.map(({ key }) => key),\n    (coveringIndex, coveredIndex) => {\n      const coveringPath = paths[coveringIndex];\n      const coveredPath = paths[coveredIndex];\n      return (\n        coveringPath !== undefined &&\n        coveredPath !== undefined &&\n        isCoveredPathItemRejected(coveredPath.type, coveringPath.type)\n      );\n    },\n  );\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 `paths` interface body (OpenAPI 3.1 §4.8.8): one member per path, by URL. */\nexport function pathsType(paths: PathsObject, context: TransformContext): IrType {\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({ 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 pathsObjectType(members);\n}\n"],"names":["pathItemOperations","escapeTemplateText","pathItem","pathItemType","createRef","member","irProperty","toPropertyName","irRaw","coveringTemplateKeys","isCoveredPathItemRejected","irObject","irIntersection","documentEntries","documentMember","refType"],"mappings":";;;;;;;;;;;;;;AA6BA,MAAM,iBAAA,GAAoB,YAAA;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;AAG5C,SAAS,gBAAgB,IAAA,EAA+B;AACtD,EAAA,OAAO,MAAM,IAAI,CAAA,CAAA,CAAA;AACnB;AAEA,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,IAAKA,iCAAA,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;AAMA,SAAS,iBAAA,CACP,GAAA,EACA,QAAA,EACA,OAAA,EACsB;AACtB,EAAA,MAAM,OAAA,GAAU,GAAA,CAAI,KAAA,CAAM,iBAAiB,CAAA;AAC3C,EAAA,IAAI,CAAC,OAAA,EAAS;AACZ,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,cAAA,CAAe,QAAA,EAAU,OAAO,CAAA;AACnD,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,GAAA,CAAI,CAAC,KAAA,KAAU;AAC1C,IAAA,MAAM,MAAA,GAAS,WAAW,GAAA,CAAI,KAAA,CAAM,MAAM,CAAA,EAAG,EAAE,CAAC,CAAA,EAAG,MAAA;AACnD,IAAA,OAAO,YAAA,CAAa,GAAA,CAAI,MAAA,EAAQ,IAAI,CAAA,IAAK,kBAAA;AAAA,EAC3C,CAAC,CAAA;AACD,EAAA,OAAO,IAAI,KAAA,CAAM,iBAAiB,EAAE,OAAA,CAAQ,CAAC,MAAM,KAAA,KAAyB;AAC1E,IAAA,MAAM,IAAA,GAAO,aAAa,KAAK,CAAA;AAC/B,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,aAAa,KAAA,EAAuC;AAC3D,EAAA,MAAM,OAAO,KAAA,CACV,GAAA;AAAA,IAAI,CAAC,IAAA,KACJ,IAAA,CAAK,IAAA,KAAS,MAAA,GAASC,iCAAA,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;AASA,SAAS,cAAA,CACP,GAAA,EACAC,UAAA,EACA,OAAA,EACY;AACZ,EAAA,MAAM,UAAA,GAAa,QAAQ,OAAA,CAAQ,SAAA;AACnC,EAAA,MAAM,IAAA,GAAOC,qBAAA,CAAaD,UAAA,EAAU,EAAE,IAAA,EAAME,qBAAA,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,EAAKF,UAAA,EAAU,OAAO,CAAA,GACxC,IAAA;AACN,EAAA,IAAI,UAAU,IAAA,EAAM;AAClB,IAAA,MAAMG,OAAAA,GAASC,wBAAWC,2BAAA,CAAe,GAAG,GAAG,IAAA,EAAM,EAAE,YAAY,CAAA;AACnE,IAAA,OAAO,EAAE,MAAA,EAAAF,OAAAA,EAAQ,KAAK,UAAA,CAAW,GAAG,GAAG,IAAA,EAAK;AAAA,EAC9C;AACA,EAAA,MAAM,MAAA,GAAmB;AAAA,IACvB,IAAA,EAAM,gBAAA;AAAA,IACN,aAAA,EAAe,MAAA;AAAA,IACf,aAAA,EAAeG,kBAAA,CAAM,YAAA,CAAa,KAAK,CAAC,CAAA;AAAA,IACxC,IAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAU;AAAC,GACb;AACA,EAAA,OAAO,EAAE,QAAQ,GAAA,EAAK,EAAE,MAAM,UAAA,EAAY,KAAA,IAAS,IAAA,EAAK;AAC1D;AAEA,SAAS,WAAW,GAAA,EAAsB;AACxC,EAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,GAAA,EAAI;AAChC;AASA,SAAS,gBAAgB,KAAA,EAAsC;AAC7D,EAAA,MAAM,QAAA,GAAWC,oCAAA;AAAA,IACf,MAAM,GAAA,CAAI,CAAC,EAAE,GAAA,OAAU,GAAG,CAAA;AAAA,IAC1B,CAAC,eAAe,YAAA,KAAiB;AAC/B,MAAA,MAAM,YAAA,GAAe,MAAM,aAAa,CAAA;AACxC,MAAA,MAAM,WAAA,GAAc,MAAM,YAAY,CAAA;AACtC,MAAA,OACE,YAAA,KAAiB,UACjB,WAAA,KAAgB,MAAA,IAChBC,4CAA0B,WAAA,CAAY,IAAA,EAAM,aAAa,IAAI,CAAA;AAAA,IAEjE;AAAA,GACF;AACA,EAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,IAAA,OAAOC,qBAAA,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,KAAMA,sBAAS,CAAC,MAAM,CAAC,CAAC,CAAA;AACzC,EAAA,OAAOC,4BAAe,CAACD,qBAAA,CAAS,IAAI,CAAA,EAAG,GAAG,GAAG,CAAC,CAAA;AAChD;AAGO,SAAS,SAAA,CAAU,OAAoB,OAAA,EAAmC;AAC/E,EAAA,MAAM,UAAwB,EAAC;AAC/B,EAAA,KAAA,MAAW,CAAC,KAAK,QAAQ,CAAA,IAAKE,gCAAgB,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,GAASC,8BAAe,GAAA,EAAKC,eAAA,CAAQ,SAAS,IAAI,CAAA,EAAG,UAAU,OAAO,CAAA;AAC5E,MAAA,OAAA,CAAQ,IAAA,CAAK,EAAE,MAAA,EAAQ,GAAA,EAAK,UAAA,CAAW,GAAG,CAAA,EAAG,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,CAAA;AAChE,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,gBAAgB,OAAO,CAAA;AAChC;;"}
+{"version":3,"file":"paths.cjs","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 { OutputFix } 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\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(OutputFix.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":["pathItemOperations","OutputFix","replacedTemplateParts","escapeTemplateText","placeholderText","pathItem","pathItemType","createRef","member","irProperty","toPropertyName","irRaw","assignabilityProof","NO_DECLARED_TYPES","coveringTemplateKeys","irObject","irIntersection","documentEntries","documentMember","refType"],"mappings":";;;;;;;;;;;;;;;;;AAqCA,MAAM,iBAAA,GAAoB,YAAA;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,IAAKA,iCAAA,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,CAAIC,qBAAA,CAAU,qBAAqB,CAAA,GAC5D,kBAAA,CAAmB,GAAA,EAAK,OAAO,CAAA,GAC/BC,yCAAA,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,GAASC,iCAAA,CAAmB,IAAA,CAAK,IAAI,CAAA,GAAIC,mCAAA,CAAgB,IAAA,CAAK,IAAI;AAAA,GAClF,CACC,KAAK,EAAE,CAAA;AACV,EAAA,OAAO,KAAK,IAAI,CAAA,EAAA,CAAA;AAClB;AAUA,SAAS,cAAA,CACP,GAAA,EACAC,UAAA,EACA,OAAA,EACY;AACZ,EAAA,MAAM,UAAA,GAAa,QAAQ,OAAA,CAAQ,SAAA;AACnC,EAAA,MAAM,IAAA,GAAOC,qBAAA,CAAaD,UAAA,EAAU,EAAE,IAAA,EAAME,qBAAA,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,EAAKF,UAAA,EAAU,OAAO,CAAA,GACxC,IAAA;AACN,EAAA,IAAI,UAAU,IAAA,EAAM;AAClB,IAAA,MAAMG,OAAAA,GAASC,wBAAWC,2BAAA,CAAe,GAAG,GAAG,IAAA,EAAM,EAAE,YAAY,CAAA;AACnE,IAAA,OAAO,EAAE,KAAK,MAAA,EAAAF,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,EAAeG,kBAAA,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,GAASC,oCAAA,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,GAA6BC,+BAAA,EACrB;AACR,EAAA,MAAM,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,EAAE,GAAA,OAAU,GAAG,CAAA;AACvC,EAAA,MAAM,WAAWC,oCAAA,CAAqB,IAAA,EAAM,WAAA,CAAY,KAAA,EAAO,MAAM,CAAC,CAAA;AACtE,EAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,IAAA,OAAOC,qBAAA,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,KAAMA,sBAAS,CAAC,MAAM,CAAC,CAAC,CAAA;AACzC,EAAA,OAAOC,4BAAe,CAACD,qBAAA,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,IAAKE,gCAAgB,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,GAASC,8BAAe,GAAA,EAAKC,eAAA,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;;;;"}

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

@@ -1,14 +1,17 @@
-import { irProperty, irRaw, irObject, irIntersection } from '../../../domain/ir/constructors.mjs';
+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 { OutputFix } from '../../../domain/output-fixes.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 { isCoveredPathItemRejected } from './path-item-conflicts.mjs';
 import { coveringTemplateKeys } from './path-key-overlaps.mjs';
+import { replacedTemplateParts, placeholderText } from './path-template-replace.mjs';
+import { assignabilityProof } from './type-assignability.mjs';
 
 const PATH_PARAMETER_RE = /\{[^}]+\}/g;
 const PLACEHOLDERS = /* @__PURE__ */ new Map([
@@ -17,9 +20,6 @@ const PLACEHOLDERS = /* @__PURE__ */ new Map([
   ["boolean", "boolean"]
 ]);
 const STRING_PLACEHOLDER = "string";
-function placeholderText(type) {
-  return `\${${type}}`;
-}
 function resolvedParameter(parameter, context) {
   return "$ref" in parameter && parameter.$ref ? context.refs.resolve(parameter.$ref) : parameter;
 }
@@ -40,21 +40,24 @@ function pathParameters(pathItem, 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 matches = url.match(PATH_PARAMETER_RE);
-  if (!matches) {
+  const found = url.match(PATH_PARAMETER_RE);
+  if (!found) {
     return null;
   }
   const parameters = pathParameters(pathItem, context);
-  const placeholders = matches.map((match) => {
+  const matches = found.map((match) => {
     const schema = parameters.get(match.slice(1, -1))?.schema;
-    return PLACEHOLDERS.get(schema?.type) ?? STRING_PLACEHOLDER;
-  });
-  return url.split(PATH_PARAMETER_RE).flatMap((text, index) => {
-    const type = placeholders[index];
-    const textPart = { kind: "text", text };
-    return type === void 0 ? [textPart] : [textPart, { kind: "placeholder", type }];
+    return { match, type: PLACEHOLDERS.get(schema?.type) ?? STRING_PLACEHOLDER };
   });
+  return context.options.fixes.has(OutputFix.PATH_PARAM_TYPE_NAMES) ? splitTemplateParts(url, matches) : replacedTemplateParts(url, matches);
 }
 function templateText(parts) {
   const text = parts.map(
@@ -68,7 +71,7 @@ function pathItemMember(url, pathItem, context) {
   const parts = context.options.pathParamsAsTypes && url.includes("{") ? pathTemplateParts(url, pathItem, context) : null;
   if (parts === null) {
     const member2 = irProperty(toPropertyName(url), type, { isReadonly });
-    return { member: member2, key: literalKey(url), type };
+    return { url, member: member2, key: literalKey(url), type };
   }
   const member = {
     kind: "indexSignature",
@@ -78,20 +81,38 @@ function pathItemMember(url, pathItem, context) {
     isReadonly,
     comments: []
   };
-  return { member, key: { kind: "template", parts }, type };
+  return { url, member, key: { kind: "template", parts }, type };
 }
 function literalKey(url) {
   return { kind: "literal", url };
 }
-function pathsObjectType(paths) {
-  const covering = coveringTemplateKeys(
-    paths.map(({ key }) => key),
-    (coveringIndex, coveredIndex) => {
-      const coveringPath = paths[coveringIndex];
-      const coveredPath = paths[coveredIndex];
-      return coveringPath !== void 0 && coveredPath !== void 0 && isCoveredPathItemRejected(coveredPath.type, coveringPath.type);
-    }
-  );
+const PATHS_TYPE_NAME = "paths";
+function pathsIndexOf(type) {
+  if (type.kind !== "indexedAccess" || type.index.kind !== "stringLiteral") {
+    return null;
+  }
+  const { object } = type;
+  const isPaths = object.kind === "reference" && object.name === PATHS_TYPE_NAME && object.typeArguments.length === 0;
+  return isPaths ? type.index.value : null;
+}
+function withPathItems(paths, lookup) {
+  const byUrl = new Map(paths.map((path) => [path.url, path.type]));
+  return (type) => {
+    const url = pathsIndexOf(type);
+    return (url === null ? void 0 : byUrl.get(url)) ?? lookup(type);
+  };
+}
+function rejectionOf(paths, lookup) {
+  const relate = assignabilityProof(withPathItems(paths, lookup));
+  return (coveringIndex, coveredIndex) => {
+    const coveringPath = paths[coveringIndex];
+    const coveredPath = paths[coveredIndex];
+    return coveringPath !== void 0 && coveredPath !== void 0 && relate(coveredPath.type, coveringPath.type) === "rejected";
+  };
+}
+function pathsObjectType(paths, lookup = NO_DECLARED_TYPES) {
+  const keys = paths.map(({ key }) => key);
+  const covering = coveringTemplateKeys(keys, rejectionOf(paths, lookup));
   if (covering.size === 0) {
     return irObject(paths.map(({ member }) => member));
   }
@@ -99,7 +120,7 @@ function pathsObjectType(paths) {
   const own = paths.filter((_, index) => covering.has(index)).map(({ member }) => irObject([member]));
   return irIntersection([irObject(rest), ...own]);
 }
-function pathsType(paths, context) {
+function pathMembers(paths, context) {
   const members = [];
   for (const [url, pathItem] of documentEntries(paths, context.options)) {
     if (!pathItem || typeof pathItem !== "object") {
@@ -108,7 +129,7 @@ function pathsType(paths, context) {
     if ("$ref" in pathItem) {
       const options = { isReadonly: context.options.immutable };
       const member = documentMember(url, refType(pathItem.$ref), pathItem, options);
-      members.push({ member, key: literalKey(url), type: member.type });
+      members.push({ url, member, key: literalKey(url), type: member.type });
       continue;
     }
     const startedAt = context.diagnostics.now();
@@ -118,8 +139,11 @@ function pathsType(paths, context) {
       context.diagnostics.debug(`Transformed path "${url}"`, context.diagnostics.now() - startedAt);
     }
   }
-  return pathsObjectType(members);
+  return members;
+}
+function pathsType(paths, context) {
+  return pathsObjectType(pathMembers(paths, context));
 }
 
-export { pathsType };
+export { 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 { documentEntries } from \"../document-entries.js\";\nimport { refType } from \"../ref-type.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { pathItemType } from \"./path-item.js\";\nimport { isCoveredPathItemRejected } from \"./path-item-conflicts.js\";\nimport {\n  coveringTemplateKeys,\n  type PathKey,\n  type PathKeyPart,\n  type PathPlaceholder,\n} from \"./path-key-overlaps.js\";\n\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\n/** `${type}`: the text of a template literal type placeholder. */\nfunction placeholderText(type: PathPlaceholder): string {\n  return `\\${${type}}`;\n}\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/**\n * `--path-params-as-types`: the URL as template parts, each `{name}` replaced by a placeholder for\n * its parameter's type. 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 matches = url.match(PATH_PARAMETER_RE);\n  if (!matches) {\n    return null;\n  }\n  const parameters = pathParameters(pathItem, context);\n  const placeholders = matches.map((match) => {\n    const schema = parameters.get(match.slice(1, -1))?.schema as SchemaObject | undefined;\n    return PLACEHOLDERS.get(schema?.type) ?? STRING_PLACEHOLDER;\n  });\n  return url.split(PATH_PARAMETER_RE).flatMap((text, index): PathKeyPart[] => {\n    const type = placeholders[index];\n    const textPart: PathKeyPart = { kind: \"text\", text };\n    return type === undefined ? [textPart] : [textPart, { kind: \"placeholder\", type }];\n  });\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. */\ninterface PathMember {\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 { 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 { member, key: { kind: \"template\", parts }, type };\n}\n\nfunction literalKey(url: string): PathKey {\n  return { kind: \"literal\", url };\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.\n */\nfunction pathsObjectType(paths: readonly PathMember[]): IrType {\n  const covering = coveringTemplateKeys(\n    paths.map(({ key }) => key),\n    (coveringIndex, coveredIndex) => {\n      const coveringPath = paths[coveringIndex];\n      const coveredPath = paths[coveredIndex];\n      return (\n        coveringPath !== undefined &&\n        coveredPath !== undefined &&\n        isCoveredPathItemRejected(coveredPath.type, coveringPath.type)\n      );\n    },\n  );\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 `paths` interface body (OpenAPI 3.1 §4.8.8): one member per path, by URL. */\nexport function pathsType(paths: PathsObject, context: TransformContext): IrType {\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({ 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 pathsObjectType(members);\n}\n"],"names":["member"],"mappings":";;;;;;;;;;;;AA6BA,MAAM,iBAAA,GAAoB,YAAA;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;AAG5C,SAAS,gBAAgB,IAAA,EAA+B;AACtD,EAAA,OAAO,MAAM,IAAI,CAAA,CAAA,CAAA;AACnB;AAEA,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;AAMA,SAAS,iBAAA,CACP,GAAA,EACA,QAAA,EACA,OAAA,EACsB;AACtB,EAAA,MAAM,OAAA,GAAU,GAAA,CAAI,KAAA,CAAM,iBAAiB,CAAA;AAC3C,EAAA,IAAI,CAAC,OAAA,EAAS;AACZ,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,cAAA,CAAe,QAAA,EAAU,OAAO,CAAA;AACnD,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,GAAA,CAAI,CAAC,KAAA,KAAU;AAC1C,IAAA,MAAM,MAAA,GAAS,WAAW,GAAA,CAAI,KAAA,CAAM,MAAM,CAAA,EAAG,EAAE,CAAC,CAAA,EAAG,MAAA;AACnD,IAAA,OAAO,YAAA,CAAa,GAAA,CAAI,MAAA,EAAQ,IAAI,CAAA,IAAK,kBAAA;AAAA,EAC3C,CAAC,CAAA;AACD,EAAA,OAAO,IAAI,KAAA,CAAM,iBAAiB,EAAE,OAAA,CAAQ,CAAC,MAAM,KAAA,KAAyB;AAC1E,IAAA,MAAM,IAAA,GAAO,aAAa,KAAK,CAAA;AAC/B,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,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;AASA,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,MAAA,EAAAA,OAAAA,EAAQ,KAAK,UAAA,CAAW,GAAG,GAAG,IAAA,EAAK;AAAA,EAC9C;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,QAAQ,GAAA,EAAK,EAAE,MAAM,UAAA,EAAY,KAAA,IAAS,IAAA,EAAK;AAC1D;AAEA,SAAS,WAAW,GAAA,EAAsB;AACxC,EAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,GAAA,EAAI;AAChC;AASA,SAAS,gBAAgB,KAAA,EAAsC;AAC7D,EAAA,MAAM,QAAA,GAAW,oBAAA;AAAA,IACf,MAAM,GAAA,CAAI,CAAC,EAAE,GAAA,OAAU,GAAG,CAAA;AAAA,IAC1B,CAAC,eAAe,YAAA,KAAiB;AAC/B,MAAA,MAAM,YAAA,GAAe,MAAM,aAAa,CAAA;AACxC,MAAA,MAAM,WAAA,GAAc,MAAM,YAAY,CAAA;AACtC,MAAA,OACE,YAAA,KAAiB,UACjB,WAAA,KAAgB,MAAA,IAChB,0BAA0B,WAAA,CAAY,IAAA,EAAM,aAAa,IAAI,CAAA;AAAA,IAEjE;AAAA,GACF;AACA,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,SAAA,CAAU,OAAoB,OAAA,EAAmC;AAC/E,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,MAAA,EAAQ,GAAA,EAAK,UAAA,CAAW,GAAG,CAAA,EAAG,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,CAAA;AAChE,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,gBAAgB,OAAO,CAAA;AAChC;;"}
+{"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 { OutputFix } 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\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(OutputFix.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":";;;;;;;;;;;;;;;AAqCA,MAAM,iBAAA,GAAoB,YAAA;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,SAAA,CAAU,qBAAqB,CAAA,GAC5D,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;;"}

package/dist/application/transform/document/root-type-aliases.cjs

@@ -2,6 +2,7 @@
 
 const constructors = require('../../../domain/ir/constructors.cjs');
 const rawTextEscapes = require('../../../domain/ir/raw-text-escapes.cjs');
+const globalTypeReferences = require('./global-type-references.cjs');
 
 const REFERENCE_PREFIX = "components['";
 function rootTypeAlias(name, kind, item) {
@@ -42,19 +43,20 @@ function freeName(name, taken) {
   }
   return candidate;
 }
-function numberDisplacedAliases(displaced, kept) {
-  const taken = new Set(kept.map((alias) => alias.name));
-  return displaced.map((alias) => {
-    const name = freeName(alias.name, taken);
-    taken.add(name);
-    return { ...alias, name };
-  });
-}
-function renameAliasesTakenByFooter(body, footer) {
-  const footerNames = footerTypeNames(footer);
-  const taken = declaredNames([...body, ...footer]);
+function renameTakenAliases(body, footer, closing = []) {
+  const reserved = footerTypeNames(footer);
+  for (const name of globalTypeReferences.globalTypeReferences([...body, ...footer, ...closing])) {
+    reserved.add(name);
+  }
+  const taken = declaredNames([...body, ...footer, ...closing]);
+  const aliasNames = /* @__PURE__ */ new Set();
   return body.map((declaration) => {
-    if (!isRootTypeAlias(declaration) || !footerNames.has(declaration.name)) {
+    if (!isRootTypeAlias(declaration)) {
+      return declaration;
+    }
+    const isRepeated = aliasNames.has(declaration.name);
+    aliasNames.add(declaration.name);
+    if (!isRepeated && !reserved.has(declaration.name)) {
       return declaration;
     }
     const name = freeName(declaration.name, taken);
@@ -63,7 +65,6 @@ function renameAliasesTakenByFooter(body, footer) {
   });
 }
 
-exports.numberDisplacedAliases = numberDisplacedAliases;
-exports.renameAliasesTakenByFooter = renameAliasesTakenByFooter;
+exports.renameTakenAliases = renameTakenAliases;
 exports.rootTypeAlias = rootTypeAlias;
 //# sourceMappingURL=root-type-aliases.cjs.map

package/dist/application/transform/document/root-type-aliases.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"root-type-aliases.cjs","sources":["../../../../src/application/transform/document/root-type-aliases.ts"],"sourcesContent":["import { irRaw } from \"../../../domain/ir/constructors.js\";\nimport type { IrDeclaration, IrTypeAliasDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { escapeSingleQuotedText } from \"../../../domain/ir/raw-text-escapes.js\";\nimport type { ComponentKind } from \"../../../domain/openapi/components-object.js\";\n\n/** The `--root-types` aliases: `export type Pet = components['schemas']['Pet'];`. */\n\nconst REFERENCE_PREFIX = \"components['\";\n\n/** The alias of one component. */\nexport function rootTypeAlias(\n  name: string,\n  kind: ComponentKind,\n  item: string,\n): IrTypeAliasDeclaration {\n  return {\n    kind: \"typeAlias\",\n    name,\n    isExported: true,\n    // The original writes the reference as text, with single quotes, and did not escape the\n    // name: a quote in it could add code to the generated file (intentional fix).\n    type: irRaw(`${REFERENCE_PREFIX}${kind}']['${escapeSingleQuotedText(item)}']`),\n    comments: [],\n  };\n}\n\nfunction isRootTypeAlias(declaration: IrDeclaration): declaration is IrTypeAliasDeclaration {\n  return (\n    declaration.kind === \"typeAlias\" &&\n    declaration.type.kind === \"raw\" &&\n    declaration.type.text.startsWith(REFERENCE_PREFIX)\n  );\n}\n\n/**\n * The type names the footer declares that an alias must not take: enums, and helper types such as\n * `WithRequired`. Value declarations (`--enum-values` arrays) live in another namespace.\n */\nfunction footerTypeNames(declarations: readonly IrDeclaration[]): Set<string> {\n  return new Set(\n    declarations.flatMap((declaration) => {\n      if (declaration.kind === \"enum\") {\n        return [declaration.name];\n      }\n      return declaration.kind === \"rawDeclaration\" && declaration.name !== undefined\n        ? [declaration.name]\n        : [];\n    }),\n  );\n}\n\nfunction declaredNames(declarations: readonly IrDeclaration[]): Set<string> {\n  return new Set(\n    declarations.flatMap((declaration) =>\n      \"name\" in declaration && declaration.name !== undefined ? [declaration.name] : [],\n    ),\n  );\n}\n\nfunction freeName(name: string, taken: ReadonlySet<string>): string {\n  let candidate = `${name}_2`;\n  for (let counter = 3; taken.has(candidate); counter++) {\n    candidate = `${name}_${counter}`;\n  }\n  return candidate;\n}\n\n/**\n * With the `root-type-numbering` fix (ADR-021, roadmap R13, backlog 30): the aliases that a later\n * schema of one exported name took the name from, numbered `Name_2`, `Name_3`, … in document order\n * with the next free number. The later schema keeps the name, so the fix only adds exports.\n */\nexport function numberDisplacedAliases(\n  displaced: readonly IrTypeAliasDeclaration[],\n  kept: readonly IrTypeAliasDeclaration[],\n): IrTypeAliasDeclaration[] {\n  const taken = new Set(kept.map((alias) => alias.name));\n  return displaced.map((alias) => {\n    const name = freeName(alias.name, taken);\n    taken.add(name);\n    return { ...alias, name };\n  });\n}\n\n/**\n * Rename each root alias whose name an enum or a helper type of the footer also declares, to the\n * next free `Name_2`, `Name_3`, … (the suffix `--root-types` uses for its own conflicts). The\n * footer keeps its names, because the generated types refer to them. Before, both were declared\n * under one name, which does not compile (enums: upstream #2099, #2341, #2206; helpers: a schema\n * named `WithRequired`, roadmap R11). Other declarations are returned unchanged.\n */\nexport function renameAliasesTakenByFooter(\n  body: readonly IrDeclaration[],\n  footer: readonly IrDeclaration[],\n): IrDeclaration[] {\n  const footerNames = footerTypeNames(footer);\n  const taken = declaredNames([...body, ...footer]);\n  return body.map((declaration) => {\n    if (!isRootTypeAlias(declaration) || !footerNames.has(declaration.name)) {\n      return declaration;\n    }\n    const name = freeName(declaration.name, taken);\n    taken.add(name);\n    return { ...declaration, name };\n  });\n}\n"],"names":["irRaw","escapeSingleQuotedText"],"mappings":";;;;;AAOA,MAAM,gBAAA,GAAmB,cAAA;AAGlB,SAAS,aAAA,CACd,IAAA,EACA,IAAA,EACA,IAAA,EACwB;AACxB,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,WAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA;AAAA;AAAA,IAGZ,IAAA,EAAMA,kBAAA,CAAM,CAAA,EAAG,gBAAgB,CAAA,EAAG,IAAI,CAAA,IAAA,EAAOC,qCAAA,CAAuB,IAAI,CAAC,CAAA,EAAA,CAAI,CAAA;AAAA,IAC7E,UAAU;AAAC,GACb;AACF;AAEA,SAAS,gBAAgB,WAAA,EAAmE;AAC1F,EAAA,OACE,WAAA,CAAY,IAAA,KAAS,WAAA,IACrB,WAAA,CAAY,IAAA,CAAK,IAAA,KAAS,KAAA,IAC1B,WAAA,CAAY,IAAA,CAAK,IAAA,CAAK,UAAA,CAAW,gBAAgB,CAAA;AAErD;AAMA,SAAS,gBAAgB,YAAA,EAAqD;AAC5E,EAAA,OAAO,IAAI,GAAA;AAAA,IACT,YAAA,CAAa,OAAA,CAAQ,CAAC,WAAA,KAAgB;AACpC,MAAA,IAAI,WAAA,CAAY,SAAS,MAAA,EAAQ;AAC/B,QAAA,OAAO,CAAC,YAAY,IAAI,CAAA;AAAA,MAC1B;AACA,MAAA,OAAO,WAAA,CAAY,IAAA,KAAS,gBAAA,IAAoB,WAAA,CAAY,IAAA,KAAS,SACjE,CAAC,WAAA,CAAY,IAAI,CAAA,GACjB,EAAC;AAAA,IACP,CAAC;AAAA,GACH;AACF;AAEA,SAAS,cAAc,YAAA,EAAqD;AAC1E,EAAA,OAAO,IAAI,GAAA;AAAA,IACT,YAAA,CAAa,OAAA;AAAA,MAAQ,CAAC,WAAA,KACpB,MAAA,IAAU,WAAA,IAAe,WAAA,CAAY,IAAA,KAAS,MAAA,GAAY,CAAC,WAAA,CAAY,IAAI,CAAA,GAAI;AAAC;AAClF,GACF;AACF;AAEA,SAAS,QAAA,CAAS,MAAc,KAAA,EAAoC;AAClE,EAAA,IAAI,SAAA,GAAY,GAAG,IAAI,CAAA,EAAA,CAAA;AACvB,EAAA,KAAA,IAAS,UAAU,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,SAAS,GAAG,OAAA,EAAA,EAAW;AACrD,IAAA,SAAA,GAAY,CAAA,EAAG,IAAI,CAAA,CAAA,EAAI,OAAO,CAAA,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,SAAA;AACT;AAOO,SAAS,sBAAA,CACd,WACA,IAAA,EAC0B;AAC1B,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,IAAA,CAAK,IAAI,CAAC,KAAA,KAAU,KAAA,CAAM,IAAI,CAAC,CAAA;AACrD,EAAA,OAAO,SAAA,CAAU,GAAA,CAAI,CAAC,KAAA,KAAU;AAC9B,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,KAAA,CAAM,IAAA,EAAM,KAAK,CAAA;AACvC,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAK;AAAA,EAC1B,CAAC,CAAA;AACH;AASO,SAAS,0BAAA,CACd,MACA,MAAA,EACiB;AACjB,EAAA,MAAM,WAAA,GAAc,gBAAgB,MAAM,CAAA;AAC1C,EAAA,MAAM,QAAQ,aAAA,CAAc,CAAC,GAAG,IAAA,EAAM,GAAG,MAAM,CAAC,CAAA;AAChD,EAAA,OAAO,IAAA,CAAK,GAAA,CAAI,CAAC,WAAA,KAAgB;AAC/B,IAAA,IAAI,CAAC,gBAAgB,WAAW,CAAA,IAAK,CAAC,WAAA,CAAY,GAAA,CAAI,WAAA,CAAY,IAAI,CAAA,EAAG;AACvE,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,WAAA,CAAY,IAAA,EAAM,KAAK,CAAA;AAC7C,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAO,EAAE,GAAG,WAAA,EAAa,IAAA,EAAK;AAAA,EAChC,CAAC,CAAA;AACH;;;;"}
+{"version":3,"file":"root-type-aliases.cjs","sources":["../../../../src/application/transform/document/root-type-aliases.ts"],"sourcesContent":["import { irRaw } from \"../../../domain/ir/constructors.js\";\nimport type { IrDeclaration, IrTypeAliasDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { escapeSingleQuotedText } from \"../../../domain/ir/raw-text-escapes.js\";\nimport type { ComponentKind } from \"../../../domain/openapi/components-object.js\";\nimport { globalTypeReferences } from \"./global-type-references.js\";\n\n/** The `--root-types` aliases: `export type Pet = components['schemas']['Pet'];`. */\n\nconst REFERENCE_PREFIX = \"components['\";\n\n/** The alias of one component. */\nexport function rootTypeAlias(\n  name: string,\n  kind: ComponentKind,\n  item: string,\n): IrTypeAliasDeclaration {\n  return {\n    kind: \"typeAlias\",\n    name,\n    isExported: true,\n    // The original writes the reference as text, with single quotes, and did not escape the\n    // name: a quote in it could add code to the generated file (intentional fix).\n    type: irRaw(`${REFERENCE_PREFIX}${kind}']['${escapeSingleQuotedText(item)}']`),\n    comments: [],\n  };\n}\n\nfunction isRootTypeAlias(declaration: IrDeclaration): declaration is IrTypeAliasDeclaration {\n  return (\n    declaration.kind === \"typeAlias\" &&\n    declaration.type.kind === \"raw\" &&\n    declaration.type.text.startsWith(REFERENCE_PREFIX)\n  );\n}\n\n/**\n * The type names the footer declares that an alias must not take: enums, and helper types such as\n * `WithRequired`. Value declarations (`--enum-values` arrays) live in another namespace.\n */\nfunction footerTypeNames(declarations: readonly IrDeclaration[]): Set<string> {\n  return new Set(\n    declarations.flatMap((declaration) => {\n      if (declaration.kind === \"enum\") {\n        return [declaration.name];\n      }\n      return declaration.kind === \"rawDeclaration\" && declaration.name !== undefined\n        ? [declaration.name]\n        : [];\n    }),\n  );\n}\n\nfunction declaredNames(declarations: readonly IrDeclaration[]): Set<string> {\n  return new Set(\n    declarations.flatMap((declaration) =>\n      \"name\" in declaration && declaration.name !== undefined ? [declaration.name] : [],\n    ),\n  );\n}\n\nfunction freeName(name: string, taken: ReadonlySet<string>): string {\n  let candidate = `${name}_2`;\n  for (let counter = 3; taken.has(candidate); counter++) {\n    candidate = `${name}_${counter}`;\n  }\n  return candidate;\n}\n\n/**\n * Rename each root alias whose name an enum or a helper type of the footer also declares, or that\n * shadows a TypeScript global type the output refers to (`Record` in `Record<string, never>`), to\n * the next free `Name_2`, `Name_3`, … (the suffix `--root-types` uses for its own conflicts). The\n * footer and the globals keep their names, because the generated types refer to them. Before, the\n * output did not compile (enums: upstream #2099, #2341, #2206; helpers: a schema named\n * `WithRequired`, roadmap R11; globals: TS2315). Other declarations are returned unchanged.\n *\n * With the `root-type-numbering` fix (ADR-021, roadmap R13, backlog 30) the body also holds the\n * aliases a later schema of one exported name took the name from, after the other aliases and\n * under that same name. Each gets the next free number in body order, after the alias that kept\n * the name got its own: so the fix only adds exports, and every other alias keeps the name it has\n * without the fix.\n */\nexport function renameTakenAliases<T extends IrDeclaration>(\n  body: readonly T[],\n  footer: readonly IrDeclaration[],\n  closing: readonly IrDeclaration[] = [],\n): T[] {\n  const reserved = footerTypeNames(footer);\n  for (const name of globalTypeReferences([...body, ...footer, ...closing])) {\n    reserved.add(name);\n  }\n  const taken = declaredNames([...body, ...footer, ...closing]);\n  const aliasNames = new Set<string>();\n  return body.map((declaration) => {\n    if (!isRootTypeAlias(declaration)) {\n      return declaration;\n    }\n    const isRepeated = aliasNames.has(declaration.name);\n    aliasNames.add(declaration.name);\n    if (!isRepeated && !reserved.has(declaration.name)) {\n      return declaration;\n    }\n    const name = freeName(declaration.name, taken);\n    taken.add(name);\n    return { ...declaration, name };\n  });\n}\n"],"names":["irRaw","escapeSingleQuotedText","globalTypeReferences"],"mappings":";;;;;;AAQA,MAAM,gBAAA,GAAmB,cAAA;AAGlB,SAAS,aAAA,CACd,IAAA,EACA,IAAA,EACA,IAAA,EACwB;AACxB,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,WAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA;AAAA;AAAA,IAGZ,IAAA,EAAMA,kBAAA,CAAM,CAAA,EAAG,gBAAgB,CAAA,EAAG,IAAI,CAAA,IAAA,EAAOC,qCAAA,CAAuB,IAAI,CAAC,CAAA,EAAA,CAAI,CAAA;AAAA,IAC7E,UAAU;AAAC,GACb;AACF;AAEA,SAAS,gBAAgB,WAAA,EAAmE;AAC1F,EAAA,OACE,WAAA,CAAY,IAAA,KAAS,WAAA,IACrB,WAAA,CAAY,IAAA,CAAK,IAAA,KAAS,KAAA,IAC1B,WAAA,CAAY,IAAA,CAAK,IAAA,CAAK,UAAA,CAAW,gBAAgB,CAAA;AAErD;AAMA,SAAS,gBAAgB,YAAA,EAAqD;AAC5E,EAAA,OAAO,IAAI,GAAA;AAAA,IACT,YAAA,CAAa,OAAA,CAAQ,CAAC,WAAA,KAAgB;AACpC,MAAA,IAAI,WAAA,CAAY,SAAS,MAAA,EAAQ;AAC/B,QAAA,OAAO,CAAC,YAAY,IAAI,CAAA;AAAA,MAC1B;AACA,MAAA,OAAO,WAAA,CAAY,IAAA,KAAS,gBAAA,IAAoB,WAAA,CAAY,IAAA,KAAS,SACjE,CAAC,WAAA,CAAY,IAAI,CAAA,GACjB,EAAC;AAAA,IACP,CAAC;AAAA,GACH;AACF;AAEA,SAAS,cAAc,YAAA,EAAqD;AAC1E,EAAA,OAAO,IAAI,GAAA;AAAA,IACT,YAAA,CAAa,OAAA;AAAA,MAAQ,CAAC,WAAA,KACpB,MAAA,IAAU,WAAA,IAAe,WAAA,CAAY,IAAA,KAAS,MAAA,GAAY,CAAC,WAAA,CAAY,IAAI,CAAA,GAAI;AAAC;AAClF,GACF;AACF;AAEA,SAAS,QAAA,CAAS,MAAc,KAAA,EAAoC;AAClE,EAAA,IAAI,SAAA,GAAY,GAAG,IAAI,CAAA,EAAA,CAAA;AACvB,EAAA,KAAA,IAAS,UAAU,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,SAAS,GAAG,OAAA,EAAA,EAAW;AACrD,IAAA,SAAA,GAAY,CAAA,EAAG,IAAI,CAAA,CAAA,EAAI,OAAO,CAAA,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,SAAA;AACT;AAgBO,SAAS,kBAAA,CACd,IAAA,EACA,MAAA,EACA,OAAA,GAAoC,EAAC,EAChC;AACL,EAAA,MAAM,QAAA,GAAW,gBAAgB,MAAM,CAAA;AACvC,EAAA,KAAA,MAAW,IAAA,IAAQC,yCAAA,CAAqB,CAAC,GAAG,IAAA,EAAM,GAAG,MAAA,EAAQ,GAAG,OAAO,CAAC,CAAA,EAAG;AACzE,IAAA,QAAA,CAAS,IAAI,IAAI,CAAA;AAAA,EACnB;AACA,EAAA,MAAM,KAAA,GAAQ,cAAc,CAAC,GAAG,MAAM,GAAG,MAAA,EAAQ,GAAG,OAAO,CAAC,CAAA;AAC5D,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAY;AACnC,EAAA,OAAO,IAAA,CAAK,GAAA,CAAI,CAAC,WAAA,KAAgB;AAC/B,IAAA,IAAI,CAAC,eAAA,CAAgB,WAAW,CAAA,EAAG;AACjC,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,UAAA,GAAa,UAAA,CAAW,GAAA,CAAI,WAAA,CAAY,IAAI,CAAA;AAClD,IAAA,UAAA,CAAW,GAAA,CAAI,YAAY,IAAI,CAAA;AAC/B,IAAA,IAAI,CAAC,UAAA,IAAc,CAAC,SAAS,GAAA,CAAI,WAAA,CAAY,IAAI,CAAA,EAAG;AAClD,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,WAAA,CAAY,IAAA,EAAM,KAAK,CAAA;AAC7C,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAO,EAAE,GAAG,WAAA,EAAa,IAAA,EAAK;AAAA,EAChC,CAAC,CAAA;AACH;;;"}

package/dist/application/transform/document/root-type-aliases.mjs

@@ -1,5 +1,6 @@
 import { irRaw } from '../../../domain/ir/constructors.mjs';
 import { escapeSingleQuotedText } from '../../../domain/ir/raw-text-escapes.mjs';
+import { globalTypeReferences } from './global-type-references.mjs';
 
 const REFERENCE_PREFIX = "components['";
 function rootTypeAlias(name, kind, item) {
@@ -40,19 +41,20 @@ function freeName(name, taken) {
   }
   return candidate;
 }
-function numberDisplacedAliases(displaced, kept) {
-  const taken = new Set(kept.map((alias) => alias.name));
-  return displaced.map((alias) => {
-    const name = freeName(alias.name, taken);
-    taken.add(name);
-    return { ...alias, name };
-  });
-}
-function renameAliasesTakenByFooter(body, footer) {
-  const footerNames = footerTypeNames(footer);
-  const taken = declaredNames([...body, ...footer]);
+function renameTakenAliases(body, footer, closing = []) {
+  const reserved = footerTypeNames(footer);
+  for (const name of globalTypeReferences([...body, ...footer, ...closing])) {
+    reserved.add(name);
+  }
+  const taken = declaredNames([...body, ...footer, ...closing]);
+  const aliasNames = /* @__PURE__ */ new Set();
   return body.map((declaration) => {
-    if (!isRootTypeAlias(declaration) || !footerNames.has(declaration.name)) {
+    if (!isRootTypeAlias(declaration)) {
+      return declaration;
+    }
+    const isRepeated = aliasNames.has(declaration.name);
+    aliasNames.add(declaration.name);
+    if (!isRepeated && !reserved.has(declaration.name)) {
       return declaration;
     }
     const name = freeName(declaration.name, taken);
@@ -61,5 +63,5 @@ function renameAliasesTakenByFooter(body, footer) {
   });
 }
 
-export { numberDisplacedAliases, renameAliasesTakenByFooter, rootTypeAlias };
+export { renameTakenAliases, rootTypeAlias };
 //# sourceMappingURL=root-type-aliases.mjs.map

package/dist/application/transform/document/root-type-aliases.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"root-type-aliases.mjs","sources":["../../../../src/application/transform/document/root-type-aliases.ts"],"sourcesContent":["import { irRaw } from \"../../../domain/ir/constructors.js\";\nimport type { IrDeclaration, IrTypeAliasDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { escapeSingleQuotedText } from \"../../../domain/ir/raw-text-escapes.js\";\nimport type { ComponentKind } from \"../../../domain/openapi/components-object.js\";\n\n/** The `--root-types` aliases: `export type Pet = components['schemas']['Pet'];`. */\n\nconst REFERENCE_PREFIX = \"components['\";\n\n/** The alias of one component. */\nexport function rootTypeAlias(\n  name: string,\n  kind: ComponentKind,\n  item: string,\n): IrTypeAliasDeclaration {\n  return {\n    kind: \"typeAlias\",\n    name,\n    isExported: true,\n    // The original writes the reference as text, with single quotes, and did not escape the\n    // name: a quote in it could add code to the generated file (intentional fix).\n    type: irRaw(`${REFERENCE_PREFIX}${kind}']['${escapeSingleQuotedText(item)}']`),\n    comments: [],\n  };\n}\n\nfunction isRootTypeAlias(declaration: IrDeclaration): declaration is IrTypeAliasDeclaration {\n  return (\n    declaration.kind === \"typeAlias\" &&\n    declaration.type.kind === \"raw\" &&\n    declaration.type.text.startsWith(REFERENCE_PREFIX)\n  );\n}\n\n/**\n * The type names the footer declares that an alias must not take: enums, and helper types such as\n * `WithRequired`. Value declarations (`--enum-values` arrays) live in another namespace.\n */\nfunction footerTypeNames(declarations: readonly IrDeclaration[]): Set<string> {\n  return new Set(\n    declarations.flatMap((declaration) => {\n      if (declaration.kind === \"enum\") {\n        return [declaration.name];\n      }\n      return declaration.kind === \"rawDeclaration\" && declaration.name !== undefined\n        ? [declaration.name]\n        : [];\n    }),\n  );\n}\n\nfunction declaredNames(declarations: readonly IrDeclaration[]): Set<string> {\n  return new Set(\n    declarations.flatMap((declaration) =>\n      \"name\" in declaration && declaration.name !== undefined ? [declaration.name] : [],\n    ),\n  );\n}\n\nfunction freeName(name: string, taken: ReadonlySet<string>): string {\n  let candidate = `${name}_2`;\n  for (let counter = 3; taken.has(candidate); counter++) {\n    candidate = `${name}_${counter}`;\n  }\n  return candidate;\n}\n\n/**\n * With the `root-type-numbering` fix (ADR-021, roadmap R13, backlog 30): the aliases that a later\n * schema of one exported name took the name from, numbered `Name_2`, `Name_3`, … in document order\n * with the next free number. The later schema keeps the name, so the fix only adds exports.\n */\nexport function numberDisplacedAliases(\n  displaced: readonly IrTypeAliasDeclaration[],\n  kept: readonly IrTypeAliasDeclaration[],\n): IrTypeAliasDeclaration[] {\n  const taken = new Set(kept.map((alias) => alias.name));\n  return displaced.map((alias) => {\n    const name = freeName(alias.name, taken);\n    taken.add(name);\n    return { ...alias, name };\n  });\n}\n\n/**\n * Rename each root alias whose name an enum or a helper type of the footer also declares, to the\n * next free `Name_2`, `Name_3`, … (the suffix `--root-types` uses for its own conflicts). The\n * footer keeps its names, because the generated types refer to them. Before, both were declared\n * under one name, which does not compile (enums: upstream #2099, #2341, #2206; helpers: a schema\n * named `WithRequired`, roadmap R11). Other declarations are returned unchanged.\n */\nexport function renameAliasesTakenByFooter(\n  body: readonly IrDeclaration[],\n  footer: readonly IrDeclaration[],\n): IrDeclaration[] {\n  const footerNames = footerTypeNames(footer);\n  const taken = declaredNames([...body, ...footer]);\n  return body.map((declaration) => {\n    if (!isRootTypeAlias(declaration) || !footerNames.has(declaration.name)) {\n      return declaration;\n    }\n    const name = freeName(declaration.name, taken);\n    taken.add(name);\n    return { ...declaration, name };\n  });\n}\n"],"names":[],"mappings":";;;AAOA,MAAM,gBAAA,GAAmB,cAAA;AAGlB,SAAS,aAAA,CACd,IAAA,EACA,IAAA,EACA,IAAA,EACwB;AACxB,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,WAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA;AAAA;AAAA,IAGZ,IAAA,EAAM,KAAA,CAAM,CAAA,EAAG,gBAAgB,CAAA,EAAG,IAAI,CAAA,IAAA,EAAO,sBAAA,CAAuB,IAAI,CAAC,CAAA,EAAA,CAAI,CAAA;AAAA,IAC7E,UAAU;AAAC,GACb;AACF;AAEA,SAAS,gBAAgB,WAAA,EAAmE;AAC1F,EAAA,OACE,WAAA,CAAY,IAAA,KAAS,WAAA,IACrB,WAAA,CAAY,IAAA,CAAK,IAAA,KAAS,KAAA,IAC1B,WAAA,CAAY,IAAA,CAAK,IAAA,CAAK,UAAA,CAAW,gBAAgB,CAAA;AAErD;AAMA,SAAS,gBAAgB,YAAA,EAAqD;AAC5E,EAAA,OAAO,IAAI,GAAA;AAAA,IACT,YAAA,CAAa,OAAA,CAAQ,CAAC,WAAA,KAAgB;AACpC,MAAA,IAAI,WAAA,CAAY,SAAS,MAAA,EAAQ;AAC/B,QAAA,OAAO,CAAC,YAAY,IAAI,CAAA;AAAA,MAC1B;AACA,MAAA,OAAO,WAAA,CAAY,IAAA,KAAS,gBAAA,IAAoB,WAAA,CAAY,IAAA,KAAS,SACjE,CAAC,WAAA,CAAY,IAAI,CAAA,GACjB,EAAC;AAAA,IACP,CAAC;AAAA,GACH;AACF;AAEA,SAAS,cAAc,YAAA,EAAqD;AAC1E,EAAA,OAAO,IAAI,GAAA;AAAA,IACT,YAAA,CAAa,OAAA;AAAA,MAAQ,CAAC,WAAA,KACpB,MAAA,IAAU,WAAA,IAAe,WAAA,CAAY,IAAA,KAAS,MAAA,GAAY,CAAC,WAAA,CAAY,IAAI,CAAA,GAAI;AAAC;AAClF,GACF;AACF;AAEA,SAAS,QAAA,CAAS,MAAc,KAAA,EAAoC;AAClE,EAAA,IAAI,SAAA,GAAY,GAAG,IAAI,CAAA,EAAA,CAAA;AACvB,EAAA,KAAA,IAAS,UAAU,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,SAAS,GAAG,OAAA,EAAA,EAAW;AACrD,IAAA,SAAA,GAAY,CAAA,EAAG,IAAI,CAAA,CAAA,EAAI,OAAO,CAAA,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,SAAA;AACT;AAOO,SAAS,sBAAA,CACd,WACA,IAAA,EAC0B;AAC1B,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,IAAA,CAAK,IAAI,CAAC,KAAA,KAAU,KAAA,CAAM,IAAI,CAAC,CAAA;AACrD,EAAA,OAAO,SAAA,CAAU,GAAA,CAAI,CAAC,KAAA,KAAU;AAC9B,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,KAAA,CAAM,IAAA,EAAM,KAAK,CAAA;AACvC,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAK;AAAA,EAC1B,CAAC,CAAA;AACH;AASO,SAAS,0BAAA,CACd,MACA,MAAA,EACiB;AACjB,EAAA,MAAM,WAAA,GAAc,gBAAgB,MAAM,CAAA;AAC1C,EAAA,MAAM,QAAQ,aAAA,CAAc,CAAC,GAAG,IAAA,EAAM,GAAG,MAAM,CAAC,CAAA;AAChD,EAAA,OAAO,IAAA,CAAK,GAAA,CAAI,CAAC,WAAA,KAAgB;AAC/B,IAAA,IAAI,CAAC,gBAAgB,WAAW,CAAA,IAAK,CAAC,WAAA,CAAY,GAAA,CAAI,WAAA,CAAY,IAAI,CAAA,EAAG;AACvE,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,WAAA,CAAY,IAAA,EAAM,KAAK,CAAA;AAC7C,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAO,EAAE,GAAG,WAAA,EAAa,IAAA,EAAK;AAAA,EAChC,CAAC,CAAA;AACH;;"}
+{"version":3,"file":"root-type-aliases.mjs","sources":["../../../../src/application/transform/document/root-type-aliases.ts"],"sourcesContent":["import { irRaw } from \"../../../domain/ir/constructors.js\";\nimport type { IrDeclaration, IrTypeAliasDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { escapeSingleQuotedText } from \"../../../domain/ir/raw-text-escapes.js\";\nimport type { ComponentKind } from \"../../../domain/openapi/components-object.js\";\nimport { globalTypeReferences } from \"./global-type-references.js\";\n\n/** The `--root-types` aliases: `export type Pet = components['schemas']['Pet'];`. */\n\nconst REFERENCE_PREFIX = \"components['\";\n\n/** The alias of one component. */\nexport function rootTypeAlias(\n  name: string,\n  kind: ComponentKind,\n  item: string,\n): IrTypeAliasDeclaration {\n  return {\n    kind: \"typeAlias\",\n    name,\n    isExported: true,\n    // The original writes the reference as text, with single quotes, and did not escape the\n    // name: a quote in it could add code to the generated file (intentional fix).\n    type: irRaw(`${REFERENCE_PREFIX}${kind}']['${escapeSingleQuotedText(item)}']`),\n    comments: [],\n  };\n}\n\nfunction isRootTypeAlias(declaration: IrDeclaration): declaration is IrTypeAliasDeclaration {\n  return (\n    declaration.kind === \"typeAlias\" &&\n    declaration.type.kind === \"raw\" &&\n    declaration.type.text.startsWith(REFERENCE_PREFIX)\n  );\n}\n\n/**\n * The type names the footer declares that an alias must not take: enums, and helper types such as\n * `WithRequired`. Value declarations (`--enum-values` arrays) live in another namespace.\n */\nfunction footerTypeNames(declarations: readonly IrDeclaration[]): Set<string> {\n  return new Set(\n    declarations.flatMap((declaration) => {\n      if (declaration.kind === \"enum\") {\n        return [declaration.name];\n      }\n      return declaration.kind === \"rawDeclaration\" && declaration.name !== undefined\n        ? [declaration.name]\n        : [];\n    }),\n  );\n}\n\nfunction declaredNames(declarations: readonly IrDeclaration[]): Set<string> {\n  return new Set(\n    declarations.flatMap((declaration) =>\n      \"name\" in declaration && declaration.name !== undefined ? [declaration.name] : [],\n    ),\n  );\n}\n\nfunction freeName(name: string, taken: ReadonlySet<string>): string {\n  let candidate = `${name}_2`;\n  for (let counter = 3; taken.has(candidate); counter++) {\n    candidate = `${name}_${counter}`;\n  }\n  return candidate;\n}\n\n/**\n * Rename each root alias whose name an enum or a helper type of the footer also declares, or that\n * shadows a TypeScript global type the output refers to (`Record` in `Record<string, never>`), to\n * the next free `Name_2`, `Name_3`, … (the suffix `--root-types` uses for its own conflicts). The\n * footer and the globals keep their names, because the generated types refer to them. Before, the\n * output did not compile (enums: upstream #2099, #2341, #2206; helpers: a schema named\n * `WithRequired`, roadmap R11; globals: TS2315). Other declarations are returned unchanged.\n *\n * With the `root-type-numbering` fix (ADR-021, roadmap R13, backlog 30) the body also holds the\n * aliases a later schema of one exported name took the name from, after the other aliases and\n * under that same name. Each gets the next free number in body order, after the alias that kept\n * the name got its own: so the fix only adds exports, and every other alias keeps the name it has\n * without the fix.\n */\nexport function renameTakenAliases<T extends IrDeclaration>(\n  body: readonly T[],\n  footer: readonly IrDeclaration[],\n  closing: readonly IrDeclaration[] = [],\n): T[] {\n  const reserved = footerTypeNames(footer);\n  for (const name of globalTypeReferences([...body, ...footer, ...closing])) {\n    reserved.add(name);\n  }\n  const taken = declaredNames([...body, ...footer, ...closing]);\n  const aliasNames = new Set<string>();\n  return body.map((declaration) => {\n    if (!isRootTypeAlias(declaration)) {\n      return declaration;\n    }\n    const isRepeated = aliasNames.has(declaration.name);\n    aliasNames.add(declaration.name);\n    if (!isRepeated && !reserved.has(declaration.name)) {\n      return declaration;\n    }\n    const name = freeName(declaration.name, taken);\n    taken.add(name);\n    return { ...declaration, name };\n  });\n}\n"],"names":[],"mappings":";;;;AAQA,MAAM,gBAAA,GAAmB,cAAA;AAGlB,SAAS,aAAA,CACd,IAAA,EACA,IAAA,EACA,IAAA,EACwB;AACxB,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,WAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA;AAAA;AAAA,IAGZ,IAAA,EAAM,KAAA,CAAM,CAAA,EAAG,gBAAgB,CAAA,EAAG,IAAI,CAAA,IAAA,EAAO,sBAAA,CAAuB,IAAI,CAAC,CAAA,EAAA,CAAI,CAAA;AAAA,IAC7E,UAAU;AAAC,GACb;AACF;AAEA,SAAS,gBAAgB,WAAA,EAAmE;AAC1F,EAAA,OACE,WAAA,CAAY,IAAA,KAAS,WAAA,IACrB,WAAA,CAAY,IAAA,CAAK,IAAA,KAAS,KAAA,IAC1B,WAAA,CAAY,IAAA,CAAK,IAAA,CAAK,UAAA,CAAW,gBAAgB,CAAA;AAErD;AAMA,SAAS,gBAAgB,YAAA,EAAqD;AAC5E,EAAA,OAAO,IAAI,GAAA;AAAA,IACT,YAAA,CAAa,OAAA,CAAQ,CAAC,WAAA,KAAgB;AACpC,MAAA,IAAI,WAAA,CAAY,SAAS,MAAA,EAAQ;AAC/B,QAAA,OAAO,CAAC,YAAY,IAAI,CAAA;AAAA,MAC1B;AACA,MAAA,OAAO,WAAA,CAAY,IAAA,KAAS,gBAAA,IAAoB,WAAA,CAAY,IAAA,KAAS,SACjE,CAAC,WAAA,CAAY,IAAI,CAAA,GACjB,EAAC;AAAA,IACP,CAAC;AAAA,GACH;AACF;AAEA,SAAS,cAAc,YAAA,EAAqD;AAC1E,EAAA,OAAO,IAAI,GAAA;AAAA,IACT,YAAA,CAAa,OAAA;AAAA,MAAQ,CAAC,WAAA,KACpB,MAAA,IAAU,WAAA,IAAe,WAAA,CAAY,IAAA,KAAS,MAAA,GAAY,CAAC,WAAA,CAAY,IAAI,CAAA,GAAI;AAAC;AAClF,GACF;AACF;AAEA,SAAS,QAAA,CAAS,MAAc,KAAA,EAAoC;AAClE,EAAA,IAAI,SAAA,GAAY,GAAG,IAAI,CAAA,EAAA,CAAA;AACvB,EAAA,KAAA,IAAS,UAAU,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,SAAS,GAAG,OAAA,EAAA,EAAW;AACrD,IAAA,SAAA,GAAY,CAAA,EAAG,IAAI,CAAA,CAAA,EAAI,OAAO,CAAA,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,SAAA;AACT;AAgBO,SAAS,kBAAA,CACd,IAAA,EACA,MAAA,EACA,OAAA,GAAoC,EAAC,EAChC;AACL,EAAA,MAAM,QAAA,GAAW,gBAAgB,MAAM,CAAA;AACvC,EAAA,KAAA,MAAW,IAAA,IAAQ,oBAAA,CAAqB,CAAC,GAAG,IAAA,EAAM,GAAG,MAAA,EAAQ,GAAG,OAAO,CAAC,CAAA,EAAG;AACzE,IAAA,QAAA,CAAS,IAAI,IAAI,CAAA;AAAA,EACnB;AACA,EAAA,MAAM,KAAA,GAAQ,cAAc,CAAC,GAAG,MAAM,GAAG,MAAA,EAAQ,GAAG,OAAO,CAAC,CAAA;AAC5D,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAY;AACnC,EAAA,OAAO,IAAA,CAAK,GAAA,CAAI,CAAC,WAAA,KAAgB;AAC/B,IAAA,IAAI,CAAC,eAAA,CAAgB,WAAW,CAAA,EAAG;AACjC,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,UAAA,GAAa,UAAA,CAAW,GAAA,CAAI,WAAA,CAAY,IAAI,CAAA;AAClD,IAAA,UAAA,CAAW,GAAA,CAAI,YAAY,IAAI,CAAA;AAC/B,IAAA,IAAI,CAAC,UAAA,IAAc,CAAC,SAAS,GAAA,CAAI,WAAA,CAAY,IAAI,CAAA,EAAG;AAClD,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,WAAA,CAAY,IAAA,EAAM,KAAK,CAAA;AAC7C,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAO,EAAE,GAAG,WAAA,EAAa,IAAA,EAAK;AAAA,EAChC,CAAC,CAAA;AACH;;"}

package/dist/application/transform/document/template-key-match.cjs

@@ -0,0 +1,128 @@
+'use strict';
+
+function textAt(shape, index) {
+  return shape.texts[index];
+}
+function isNumberText(text) {
+  return text !== "" && Number.isFinite(Number(text));
+}
+function isValidMatch(match, placeholder) {
+  if (placeholder === "string") {
+    return true;
+  }
+  if (match.kind === "text") {
+    return isNumberText(match.text);
+  }
+  const { texts, types } = match.shape;
+  return texts.length === 2 && texts[0] === "" && texts[1] === "" && types[0] === "number";
+}
+class LiteralPartsScan {
+  matches = [];
+  cursor;
+  source;
+  lastSourceIndex;
+  remainingEndText;
+  constructor(source, startPosition, endTextLength) {
+    this.source = source;
+    this.lastSourceIndex = source.texts.length - 1;
+    const endText = textAt(source, this.lastSourceIndex);
+    this.remainingEndText = endText.slice(0, endText.length - endTextLength);
+    this.cursor = { segment: 0, position: startPosition };
+  }
+  /** The matches for the target's texts between its first and last; null when one is missing. */
+  run(delimiters) {
+    for (const delimiter of delimiters) {
+      if (!this.matchDelimiter(delimiter)) {
+        return null;
+      }
+    }
+    this.addMatch(this.lastSourceIndex, this.sourceText(this.lastSourceIndex).length);
+    return this.matches;
+  }
+  matchDelimiter(delimiter) {
+    const { segment, position } = this.cursor;
+    if (delimiter.length > 0) {
+      const found = this.find(delimiter);
+      if (found === null) {
+        return false;
+      }
+      this.addMatch(found.segment, found.position);
+      this.cursor = { ...this.cursor, position: this.cursor.position + delimiter.length };
+      return true;
+    }
+    if (position < this.sourceText(segment).length) {
+      this.addMatch(segment, position + 1);
+      return true;
+    }
+    if (segment < this.lastSourceIndex) {
+      this.addMatch(segment + 1, 0);
+      return true;
+    }
+    return false;
+  }
+  /** The first occurrence of the delimiter at or after the cursor, in this or a later text. */
+  find(delimiter) {
+    let { segment, position } = this.cursor;
+    while (segment < this.source.texts.length) {
+      const index = this.sourceText(segment).indexOf(delimiter, position);
+      if (index >= 0) {
+        return { segment, position: index };
+      }
+      segment += 1;
+      position = 0;
+    }
+    return null;
+  }
+  sourceText(index) {
+    return index < this.lastSourceIndex ? textAt(this.source, index) : this.remainingEndText;
+  }
+  addMatch(segment, position) {
+    const start = this.cursor;
+    if (segment === start.segment) {
+      const text = this.sourceText(segment).slice(start.position, position);
+      this.matches.push({ kind: "text", text });
+    } else {
+      const texts = [
+        textAt(this.source, start.segment).slice(start.position),
+        ...this.source.texts.slice(start.segment + 1, segment),
+        this.sourceText(segment).slice(0, position)
+      ];
+      const types = this.source.types.slice(start.segment, segment);
+      this.matches.push({ kind: "template", shape: { texts, types } });
+    }
+    this.cursor = { segment, position };
+  }
+}
+function inferMatches(source, target) {
+  const sourceStart = textAt(source, 0);
+  const sourceEnd = textAt(source, source.texts.length - 1);
+  const targetStart = textAt(target, 0);
+  const targetEnd = textAt(target, target.texts.length - 1);
+  const isTooShort = source.texts.length === 1 && sourceStart.length < targetStart.length + targetEnd.length;
+  if (isTooShort || !sourceStart.startsWith(targetStart) || !sourceEnd.endsWith(targetEnd)) {
+    return null;
+  }
+  const scan = new LiteralPartsScan(source, targetStart.length, targetEnd.length);
+  return scan.run(target.texts.slice(1, -1));
+}
+function haveSameTexts(source, target) {
+  return source.texts.length === target.texts.length && source.texts.every((text, index) => text === target.texts[index]);
+}
+function isAssignableToTemplate(source, target) {
+  if (source.types.length > 0 && haveSameTexts(source, target)) {
+    return source.types.every((type, index) => {
+      const placeholder = target.types[index];
+      return placeholder === "string" || type === placeholder;
+    });
+  }
+  const matches = inferMatches(source, target);
+  const isEveryMatchValid = matches?.every((match, index) => {
+    const placeholder = target.types[index];
+    return placeholder !== void 0 && isValidMatch(match, placeholder);
+  });
+  return isEveryMatchValid === true;
+}
+
+exports.isAssignableToTemplate = isAssignableToTemplate;
+exports.isNumberText = isNumberText;
+//# sourceMappingURL=template-key-match.cjs.map