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

package/dist/application/transform/document/type-resolution.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"type-resolution.cjs","sources":["../../../../src/application/transform/document/type-resolution.ts"],"sourcesContent":["import type {\n  IrIndexSignature,\n  IrMember,\n  IrObjectType,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport type { DeclaredTypeLookup } from \"./declared-types.js\";\n\n/**\n * The types the `--path-params-as-types` overlap check compares, as TypeScript sees them:\n * references followed to the declarations of the document, `T[\"key\"]` and `T[number]` read from\n * `T`, and an intersection of object types merged into one object.\n */\n\nconst UNDEFINED: IrType = { kind: \"keyword\", keyword: \"undefined\" };\n\nexport function nameOf(member: IrPropertySignature): string {\n  return member.name.kind === \"string\" ? member.name.value : member.name.text;\n}\n\nexport function propertiesOf(type: IrObjectType): Map<string, IrPropertySignature> {\n  const properties = type.members.filter(\n    (member: IrMember): member is IrPropertySignature => member.kind === \"property\",\n  );\n  return new Map(properties.map((property) => [nameOf(property), property]));\n}\n\nexport function indexSignaturesOf(type: IrObjectType): IrIndexSignature[] {\n  return type.members.filter(\n    (member: IrMember): member is IrIndexSignature => member.kind === \"indexSignature\",\n  );\n}\n\n/** The type read from a property: an optional one may be `undefined`. */\nexport function readType(property: IrPropertySignature): IrType {\n  return property.isOptional ? { kind: \"union\", types: [property.type, UNDEFINED] } : property.type;\n}\n\n/**\n * `T[number]` for an array `T`, as the generator writes for an item of an array response: the\n * element type, readonly or not. A tuple's is the union of its elements, which is not modelled.\n */\nfunction arrayElement(type: IrType): IrType | null {\n  const list = type.kind === \"readonly\" ? type.type : type;\n  return list.kind === \"array\" ? list.element : null;\n}\n\n/** One property for two of the same name in an intersection. */\nfunction mergedProperty(\n  first: IrPropertySignature,\n  second: IrPropertySignature,\n): IrPropertySignature {\n  return {\n    ...first,\n    type: { kind: \"intersection\", types: [first.type, second.type] },\n    isOptional: first.isOptional && second.isOptional,\n    isReadonly: first.isReadonly || second.isReadonly,\n  };\n}\n\n/** Resolves types once each, for one comparison. */\nexport class TypeResolution {\n  private readonly lookup: DeclaredTypeLookup;\n  private readonly resolvedTypes = new Map<IrType, IrType>();\n\n  constructor(lookup: DeclaredTypeLookup) {\n    this.lookup = lookup;\n  }\n\n  /** The type a reference names, followed through references to references; computed once. */\n  resolved(type: IrType): IrType {\n    const known = this.resolvedTypes.get(type);\n    if (known !== undefined) {\n      return known;\n    }\n    // A type that reaches itself while it is resolved stays as it is written there.\n    this.resolvedTypes.set(type, type);\n    const seen = new Set<IrType>();\n    let current = type;\n    while (!seen.has(current)) {\n      seen.add(current);\n      const named = this.lookup(current) ?? this.indexedProperty(current);\n      if (named === null) {\n        break;\n      }\n      current = named;\n    }\n    const result = current.kind === \"intersection\" ? (this.merged(current) ?? current) : current;\n    this.resolvedTypes.set(type, result);\n    return result;\n  }\n\n  /**\n   * `T[\"key\"]` read from the object type `T` resolves to, which the lookup does not do for an\n   * object it reached through another lookup (`paths[\"/a/{id}\"][\"get\"]`). An optional property\n   * reads as `T | undefined`; `T[number]` is the element of the array `T`.\n   */\n  private indexedProperty(type: IrType): IrType | null {\n    if (type.kind !== \"indexedAccess\") {\n      return null;\n    }\n    const { index } = type;\n    if (index.kind === \"keyword\" && index.keyword === \"number\") {\n      return arrayElement(this.resolved(type.object));\n    }\n    const object = this.resolved(type.object);\n    if (index.kind !== \"stringLiteral\" || object.kind !== \"object\") {\n      return null;\n    }\n    const property = propertiesOf(object).get(index.value);\n    return property === undefined ? null : readType(property);\n  }\n\n  /**\n   * An intersection of object types as the one object TypeScript makes of it: a property in\n   * several parts has the intersection of their types, and is optional only when it is in each.\n   * Null when a part is no object type.\n   */\n  private merged(type: IrType): IrObjectType | null {\n    const parts = this.objectParts(type);\n    if (parts === null) {\n      return null;\n    }\n    const properties = new Map<string, IrPropertySignature>();\n    const indexes: IrIndexSignature[] = [];\n    for (const member of parts.flatMap((part) => part.members)) {\n      if (member.kind === \"indexSignature\") {\n        indexes.push(member);\n        continue;\n      }\n      const name = nameOf(member);\n      const other = properties.get(name);\n      properties.set(name, other === undefined ? member : mergedProperty(other, member));\n    }\n    return { kind: \"object\", members: [...properties.values(), ...indexes] };\n  }\n\n  /**\n   * The object types an intersection is made of, nested ones flattened; null for any other, and\n   * for an intersection that contains itself, which TypeScript does not merge either.\n   */\n  private objectParts(\n    type: IrType,\n    visiting: ReadonlySet<IrType> = new Set(),\n  ): IrObjectType[] | null {\n    if (type.kind === \"object\") {\n      return [type];\n    }\n    if (type.kind !== \"intersection\" || visiting.has(type)) {\n      return null;\n    }\n    const parts: IrObjectType[] = [];\n    for (const part of type.types) {\n      const objects = this.objectParts(this.resolved(part), new Set([...visiting, type]));\n      if (objects === null) {\n        return null;\n      }\n      parts.push(...objects);\n    }\n    return parts;\n  }\n}\n"],"names":[],"mappings":";;AAeA,MAAM,SAAA,GAAoB,EAAE,IAAA,EAAM,SAAA,EAAW,SAAS,WAAA,EAAY;AAE3D,SAAS,OAAO,MAAA,EAAqC;AAC1D,EAAA,OAAO,MAAA,CAAO,KAAK,IAAA,KAAS,QAAA,GAAW,OAAO,IAAA,CAAK,KAAA,GAAQ,OAAO,IAAA,CAAK,IAAA;AACzE;AAEO,SAAS,aAAa,IAAA,EAAsD;AACjF,EAAA,MAAM,UAAA,GAAa,KAAK,OAAA,CAAQ,MAAA;AAAA,IAC9B,CAAC,MAAA,KAAoD,MAAA,CAAO,IAAA,KAAS;AAAA,GACvE;AACA,EAAA,OAAO,IAAI,GAAA,CAAI,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,KAAa,CAAC,MAAA,CAAO,QAAQ,CAAA,EAAG,QAAQ,CAAC,CAAC,CAAA;AAC3E;AAEO,SAAS,kBAAkB,IAAA,EAAwC;AACxE,EAAA,OAAO,KAAK,OAAA,CAAQ,MAAA;AAAA,IAClB,CAAC,MAAA,KAAiD,MAAA,CAAO,IAAA,KAAS;AAAA,GACpE;AACF;AAGO,SAAS,SAAS,QAAA,EAAuC;AAC9D,EAAA,OAAO,QAAA,CAAS,UAAA,GAAa,EAAE,IAAA,EAAM,OAAA,EAAS,KAAA,EAAO,CAAC,QAAA,CAAS,IAAA,EAAM,SAAS,CAAA,EAAE,GAAI,QAAA,CAAS,IAAA;AAC/F;AAMA,SAAS,aAAa,IAAA,EAA6B;AACjD,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,KAAS,UAAA,GAAa,KAAK,IAAA,GAAO,IAAA;AACpD,EAAA,OAAO,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,IAAA,CAAK,OAAA,GAAU,IAAA;AAChD;AAGA,SAAS,cAAA,CACP,OACA,MAAA,EACqB;AACrB,EAAA,OAAO;AAAA,IACL,GAAG,KAAA;AAAA,IACH,IAAA,EAAM,EAAE,IAAA,EAAM,cAAA,EAAgB,KAAA,EAAO,CAAC,KAAA,CAAM,IAAA,EAAM,MAAA,CAAO,IAAI,CAAA,EAAE;AAAA,IAC/D,UAAA,EAAY,KAAA,CAAM,UAAA,IAAc,MAAA,CAAO,UAAA;AAAA,IACvC,UAAA,EAAY,KAAA,CAAM,UAAA,IAAc,MAAA,CAAO;AAAA,GACzC;AACF;AAGO,MAAM,cAAA,CAAe;AAAA,EACT,MAAA;AAAA,EACA,aAAA,uBAAoB,GAAA,EAAoB;AAAA,EAEzD,YAAY,MAAA,EAA4B;AACtC,IAAA,IAAA,CAAK,MAAA,GAAS,MAAA;AAAA,EAChB;AAAA;AAAA,EAGA,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAI,CAAA;AACzC,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA;AACjC,IAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,IAAA,IAAI,OAAA,GAAU,IAAA;AACd,IAAA,OAAO,CAAC,IAAA,CAAK,GAAA,CAAI,OAAO,CAAA,EAAG;AACzB,MAAA,IAAA,CAAK,IAAI,OAAO,CAAA;AAChB,MAAA,MAAM,QAAQ,IAAA,CAAK,MAAA,CAAO,OAAO,CAAA,IAAK,IAAA,CAAK,gBAAgB,OAAO,CAAA;AAClE,MAAA,IAAI,UAAU,IAAA,EAAM;AAClB,QAAA;AAAA,MACF;AACA,MAAA,OAAA,GAAU,KAAA;AAAA,IACZ;AACA,IAAA,MAAM,MAAA,GAAS,QAAQ,IAAA,KAAS,cAAA,GAAkB,KAAK,MAAA,CAAO,OAAO,KAAK,OAAA,GAAW,OAAA;AACrF,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,MAAM,CAAA;AACnC,IAAA,OAAO,MAAA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOQ,gBAAgB,IAAA,EAA6B;AACnD,IAAA,IAAI,IAAA,CAAK,SAAS,eAAA,EAAiB;AACjC,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,EAAE,OAAM,GAAI,IAAA;AAClB,IAAA,IAAI,KAAA,CAAM,IAAA,KAAS,SAAA,IAAa,KAAA,CAAM,YAAY,QAAA,EAAU;AAC1D,MAAA,OAAO,YAAA,CAAa,IAAA,CAAK,QAAA,CAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AAAA,IAChD;AACA,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA;AACxC,IAAA,IAAI,KAAA,CAAM,IAAA,KAAS,eAAA,IAAmB,MAAA,CAAO,SAAS,QAAA,EAAU;AAC9D,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,WAAW,YAAA,CAAa,MAAM,CAAA,CAAE,GAAA,CAAI,MAAM,KAAK,CAAA;AACrD,IAAA,OAAO,QAAA,KAAa,MAAA,GAAY,IAAA,GAAO,QAAA,CAAS,QAAQ,CAAA;AAAA,EAC1D;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOQ,OAAO,IAAA,EAAmC;AAChD,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,WAAA,CAAY,IAAI,CAAA;AACnC,IAAA,IAAI,UAAU,IAAA,EAAM;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,UAAA,uBAAiB,GAAA,EAAiC;AACxD,IAAA,MAAM,UAA8B,EAAC;AACrC,IAAA,KAAA,MAAW,UAAU,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,KAAS,IAAA,CAAK,OAAO,CAAA,EAAG;AAC1D,MAAA,IAAI,MAAA,CAAO,SAAS,gBAAA,EAAkB;AACpC,QAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,OAAO,MAAM,CAAA;AAC1B,MAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,GAAA,CAAI,IAAI,CAAA;AACjC,MAAA,UAAA,CAAW,GAAA,CAAI,MAAM,KAAA,KAAU,MAAA,GAAY,SAAS,cAAA,CAAe,KAAA,EAAO,MAAM,CAAC,CAAA;AAAA,IACnF;AACA,IAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,CAAC,GAAG,UAAA,CAAW,MAAA,EAAO,EAAG,GAAG,OAAO,CAAA,EAAE;AAAA,EACzE;AAAA;AAAA;AAAA;AAAA;AAAA,EAMQ,WAAA,CACN,IAAA,EACA,QAAA,mBAAgC,IAAI,KAAI,EACjB;AACvB,IAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,MAAA,OAAO,CAAC,IAAI,CAAA;AAAA,IACd;AACA,IAAA,IAAI,KAAK,IAAA,KAAS,cAAA,IAAkB,QAAA,CAAS,GAAA,CAAI,IAAI,CAAA,EAAG;AACtD,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAwB,EAAC;AAC/B,IAAA,KAAA,MAAW,IAAA,IAAQ,KAAK,KAAA,EAAO;AAC7B,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,WAAA,CAAY,IAAA,CAAK,SAAS,IAAI,CAAA,kBAAG,IAAI,GAAA,CAAI,CAAC,GAAG,QAAA,EAAU,IAAI,CAAC,CAAC,CAAA;AAClF,MAAA,IAAI,YAAY,IAAA,EAAM;AACpB,QAAA,OAAO,IAAA;AAAA,MACT;AACA,MAAA,KAAA,CAAM,IAAA,CAAK,GAAG,OAAO,CAAA;AAAA,IACvB;AACA,IAAA,OAAO,KAAA;AAAA,EACT;AACF;;;;;;"}
+{"version":3,"file":"type-resolution.cjs","sources":["../../../../src/application/transform/document/type-resolution.ts"],"sourcesContent":["import { appendAll } from \"../../../domain/append-all.js\";\nimport type {\n  IrIndexSignature,\n  IrMember,\n  IrObjectType,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport type { DeclaredTypeLookup } from \"./declared-types.js\";\n\n/**\n * The types the `--path-params-as-types` overlap check compares, as TypeScript sees them:\n * references followed to the declarations of the document, `T[\"key\"]` and `T[number]` read from\n * `T`, and an intersection of object types merged into one object.\n */\n\nconst UNDEFINED: IrType = { kind: \"keyword\", keyword: \"undefined\" };\n\nexport function nameOf(member: IrPropertySignature): string {\n  return member.name.kind === \"string\" ? member.name.value : member.name.text;\n}\n\nexport function propertiesOf(type: IrObjectType): Map<string, IrPropertySignature> {\n  const properties = type.members.filter(\n    (member: IrMember): member is IrPropertySignature => member.kind === \"property\",\n  );\n  return new Map(properties.map((property) => [nameOf(property), property]));\n}\n\nexport function indexSignaturesOf(type: IrObjectType): IrIndexSignature[] {\n  return type.members.filter(\n    (member: IrMember): member is IrIndexSignature => member.kind === \"indexSignature\",\n  );\n}\n\n/** The type read from a property: an optional one may be `undefined`. */\nexport function readType(property: IrPropertySignature): IrType {\n  return property.isOptional ? { kind: \"union\", types: [property.type, UNDEFINED] } : property.type;\n}\n\n/**\n * `T[number]` for an array `T`, as the generator writes for an item of an array response: the\n * element type, readonly or not. A tuple's is the union of its elements, which is not modelled.\n */\nfunction arrayElement(type: IrType): IrType | null {\n  const list = type.kind === \"readonly\" ? type.type : type;\n  return list.kind === \"array\" ? list.element : null;\n}\n\n/** One property for two of the same name in an intersection. */\nfunction mergedProperty(\n  first: IrPropertySignature,\n  second: IrPropertySignature,\n): IrPropertySignature {\n  return {\n    ...first,\n    type: { kind: \"intersection\", types: [first.type, second.type] },\n    isOptional: first.isOptional && second.isOptional,\n    isReadonly: first.isReadonly || second.isReadonly,\n  };\n}\n\n/** Resolves types once each, for one comparison. */\nexport class TypeResolution {\n  private readonly lookup: DeclaredTypeLookup;\n  private readonly resolvedTypes = new Map<IrType, IrType>();\n\n  constructor(lookup: DeclaredTypeLookup) {\n    this.lookup = lookup;\n  }\n\n  /** The type a reference names, followed through references to references; computed once. */\n  resolved(type: IrType): IrType {\n    const known = this.resolvedTypes.get(type);\n    if (known !== undefined) {\n      return known;\n    }\n    // A type that reaches itself while it is resolved stays as it is written there.\n    this.resolvedTypes.set(type, type);\n    const seen = new Set<IrType>();\n    let current = type;\n    while (!seen.has(current)) {\n      seen.add(current);\n      const named = this.lookup(current) ?? this.indexedProperty(current);\n      if (named === null) {\n        break;\n      }\n      current = named;\n    }\n    const result = current.kind === \"intersection\" ? (this.merged(current) ?? current) : current;\n    this.resolvedTypes.set(type, result);\n    return result;\n  }\n\n  /**\n   * `T[\"key\"]` read from the object type `T` resolves to, which the lookup does not do for an\n   * object it reached through another lookup (`paths[\"/a/{id}\"][\"get\"]`). An optional property\n   * reads as `T | undefined`; `T[number]` is the element of the array `T`.\n   */\n  private indexedProperty(type: IrType): IrType | null {\n    if (type.kind !== \"indexedAccess\") {\n      return null;\n    }\n    const { index } = type;\n    if (index.kind === \"keyword\" && index.keyword === \"number\") {\n      return arrayElement(this.resolved(type.object));\n    }\n    const object = this.resolved(type.object);\n    if (index.kind !== \"stringLiteral\" || object.kind !== \"object\") {\n      return null;\n    }\n    const property = propertiesOf(object).get(index.value);\n    return property === undefined ? null : readType(property);\n  }\n\n  /**\n   * An intersection of object types as the one object TypeScript makes of it: a property in\n   * several parts has the intersection of their types, and is optional only when it is in each.\n   * Null when a part is no object type.\n   */\n  private merged(type: IrType): IrObjectType | null {\n    const parts = this.objectParts(type);\n    if (parts === null) {\n      return null;\n    }\n    const properties = new Map<string, IrPropertySignature>();\n    const indexes: IrIndexSignature[] = [];\n    for (const member of parts.flatMap((part) => part.members)) {\n      if (member.kind === \"indexSignature\") {\n        indexes.push(member);\n        continue;\n      }\n      const name = nameOf(member);\n      const other = properties.get(name);\n      properties.set(name, other === undefined ? member : mergedProperty(other, member));\n    }\n    return { kind: \"object\", members: [...properties.values(), ...indexes] };\n  }\n\n  /**\n   * The object types an intersection is made of, nested ones flattened; null for any other, and\n   * for an intersection that contains itself, which TypeScript does not merge either.\n   */\n  private objectParts(\n    type: IrType,\n    visiting: ReadonlySet<IrType> = new Set(),\n  ): IrObjectType[] | null {\n    if (type.kind === \"object\") {\n      return [type];\n    }\n    if (type.kind !== \"intersection\" || visiting.has(type)) {\n      return null;\n    }\n    const parts: IrObjectType[] = [];\n    for (const part of type.types) {\n      const objects = this.objectParts(this.resolved(part), new Set([...visiting, type]));\n      if (objects === null) {\n        return null;\n      }\n      appendAll(parts, objects);\n    }\n    return parts;\n  }\n}\n"],"names":["appendAll"],"mappings":";;;;AAgBA,MAAM,SAAA,GAAoB,EAAE,IAAA,EAAM,SAAA,EAAW,SAAS,WAAA,EAAY;AAE3D,SAAS,OAAO,MAAA,EAAqC;AAC1D,EAAA,OAAO,MAAA,CAAO,KAAK,IAAA,KAAS,QAAA,GAAW,OAAO,IAAA,CAAK,KAAA,GAAQ,OAAO,IAAA,CAAK,IAAA;AACzE;AAEO,SAAS,aAAa,IAAA,EAAsD;AACjF,EAAA,MAAM,UAAA,GAAa,KAAK,OAAA,CAAQ,MAAA;AAAA,IAC9B,CAAC,MAAA,KAAoD,MAAA,CAAO,IAAA,KAAS;AAAA,GACvE;AACA,EAAA,OAAO,IAAI,GAAA,CAAI,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,KAAa,CAAC,MAAA,CAAO,QAAQ,CAAA,EAAG,QAAQ,CAAC,CAAC,CAAA;AAC3E;AAEO,SAAS,kBAAkB,IAAA,EAAwC;AACxE,EAAA,OAAO,KAAK,OAAA,CAAQ,MAAA;AAAA,IAClB,CAAC,MAAA,KAAiD,MAAA,CAAO,IAAA,KAAS;AAAA,GACpE;AACF;AAGO,SAAS,SAAS,QAAA,EAAuC;AAC9D,EAAA,OAAO,QAAA,CAAS,UAAA,GAAa,EAAE,IAAA,EAAM,OAAA,EAAS,KAAA,EAAO,CAAC,QAAA,CAAS,IAAA,EAAM,SAAS,CAAA,EAAE,GAAI,QAAA,CAAS,IAAA;AAC/F;AAMA,SAAS,aAAa,IAAA,EAA6B;AACjD,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,KAAS,UAAA,GAAa,KAAK,IAAA,GAAO,IAAA;AACpD,EAAA,OAAO,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,IAAA,CAAK,OAAA,GAAU,IAAA;AAChD;AAGA,SAAS,cAAA,CACP,OACA,MAAA,EACqB;AACrB,EAAA,OAAO;AAAA,IACL,GAAG,KAAA;AAAA,IACH,IAAA,EAAM,EAAE,IAAA,EAAM,cAAA,EAAgB,KAAA,EAAO,CAAC,KAAA,CAAM,IAAA,EAAM,MAAA,CAAO,IAAI,CAAA,EAAE;AAAA,IAC/D,UAAA,EAAY,KAAA,CAAM,UAAA,IAAc,MAAA,CAAO,UAAA;AAAA,IACvC,UAAA,EAAY,KAAA,CAAM,UAAA,IAAc,MAAA,CAAO;AAAA,GACzC;AACF;AAGO,MAAM,cAAA,CAAe;AAAA,EACT,MAAA;AAAA,EACA,aAAA,uBAAoB,GAAA,EAAoB;AAAA,EAEzD,YAAY,MAAA,EAA4B;AACtC,IAAA,IAAA,CAAK,MAAA,GAAS,MAAA;AAAA,EAChB;AAAA;AAAA,EAGA,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAI,CAAA;AACzC,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA;AACjC,IAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,IAAA,IAAI,OAAA,GAAU,IAAA;AACd,IAAA,OAAO,CAAC,IAAA,CAAK,GAAA,CAAI,OAAO,CAAA,EAAG;AACzB,MAAA,IAAA,CAAK,IAAI,OAAO,CAAA;AAChB,MAAA,MAAM,QAAQ,IAAA,CAAK,MAAA,CAAO,OAAO,CAAA,IAAK,IAAA,CAAK,gBAAgB,OAAO,CAAA;AAClE,MAAA,IAAI,UAAU,IAAA,EAAM;AAClB,QAAA;AAAA,MACF;AACA,MAAA,OAAA,GAAU,KAAA;AAAA,IACZ;AACA,IAAA,MAAM,MAAA,GAAS,QAAQ,IAAA,KAAS,cAAA,GAAkB,KAAK,MAAA,CAAO,OAAO,KAAK,OAAA,GAAW,OAAA;AACrF,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,MAAM,CAAA;AACnC,IAAA,OAAO,MAAA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOQ,gBAAgB,IAAA,EAA6B;AACnD,IAAA,IAAI,IAAA,CAAK,SAAS,eAAA,EAAiB;AACjC,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,EAAE,OAAM,GAAI,IAAA;AAClB,IAAA,IAAI,KAAA,CAAM,IAAA,KAAS,SAAA,IAAa,KAAA,CAAM,YAAY,QAAA,EAAU;AAC1D,MAAA,OAAO,YAAA,CAAa,IAAA,CAAK,QAAA,CAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AAAA,IAChD;AACA,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA;AACxC,IAAA,IAAI,KAAA,CAAM,IAAA,KAAS,eAAA,IAAmB,MAAA,CAAO,SAAS,QAAA,EAAU;AAC9D,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,WAAW,YAAA,CAAa,MAAM,CAAA,CAAE,GAAA,CAAI,MAAM,KAAK,CAAA;AACrD,IAAA,OAAO,QAAA,KAAa,MAAA,GAAY,IAAA,GAAO,QAAA,CAAS,QAAQ,CAAA;AAAA,EAC1D;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOQ,OAAO,IAAA,EAAmC;AAChD,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,WAAA,CAAY,IAAI,CAAA;AACnC,IAAA,IAAI,UAAU,IAAA,EAAM;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,UAAA,uBAAiB,GAAA,EAAiC;AACxD,IAAA,MAAM,UAA8B,EAAC;AACrC,IAAA,KAAA,MAAW,UAAU,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,KAAS,IAAA,CAAK,OAAO,CAAA,EAAG;AAC1D,MAAA,IAAI,MAAA,CAAO,SAAS,gBAAA,EAAkB;AACpC,QAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,OAAO,MAAM,CAAA;AAC1B,MAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,GAAA,CAAI,IAAI,CAAA;AACjC,MAAA,UAAA,CAAW,GAAA,CAAI,MAAM,KAAA,KAAU,MAAA,GAAY,SAAS,cAAA,CAAe,KAAA,EAAO,MAAM,CAAC,CAAA;AAAA,IACnF;AACA,IAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,CAAC,GAAG,UAAA,CAAW,MAAA,EAAO,EAAG,GAAG,OAAO,CAAA,EAAE;AAAA,EACzE;AAAA;AAAA;AAAA;AAAA;AAAA,EAMQ,WAAA,CACN,IAAA,EACA,QAAA,mBAAgC,IAAI,KAAI,EACjB;AACvB,IAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,MAAA,OAAO,CAAC,IAAI,CAAA;AAAA,IACd;AACA,IAAA,IAAI,KAAK,IAAA,KAAS,cAAA,IAAkB,QAAA,CAAS,GAAA,CAAI,IAAI,CAAA,EAAG;AACtD,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAwB,EAAC;AAC/B,IAAA,KAAA,MAAW,IAAA,IAAQ,KAAK,KAAA,EAAO;AAC7B,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,WAAA,CAAY,IAAA,CAAK,SAAS,IAAI,CAAA,kBAAG,IAAI,GAAA,CAAI,CAAC,GAAG,QAAA,EAAU,IAAI,CAAC,CAAC,CAAA;AAClF,MAAA,IAAI,YAAY,IAAA,EAAM;AACpB,QAAA,OAAO,IAAA;AAAA,MACT;AACA,MAAAA,mBAAA,CAAU,OAAO,OAAO,CAAA;AAAA,IAC1B;AACA,IAAA,OAAO,KAAA;AAAA,EACT;AACF;;;;;;"}

package/dist/application/transform/document/type-resolution.mjs

@@ -1,3 +1,5 @@
+import { appendAll } from '../../../domain/append-all.mjs';
+
 const UNDEFINED = { kind: "keyword", keyword: "undefined" };
 function nameOf(member) {
   return member.name.kind === "string" ? member.name.value : member.name.text;
@@ -115,7 +117,7 @@ class TypeResolution {
       if (objects === null) {
         return null;
       }
-      parts.push(...objects);
+      appendAll(parts, objects);
     }
     return parts;
   }

package/dist/application/transform/document/type-resolution.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"type-resolution.mjs","sources":["../../../../src/application/transform/document/type-resolution.ts"],"sourcesContent":["import type {\n  IrIndexSignature,\n  IrMember,\n  IrObjectType,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport type { DeclaredTypeLookup } from \"./declared-types.js\";\n\n/**\n * The types the `--path-params-as-types` overlap check compares, as TypeScript sees them:\n * references followed to the declarations of the document, `T[\"key\"]` and `T[number]` read from\n * `T`, and an intersection of object types merged into one object.\n */\n\nconst UNDEFINED: IrType = { kind: \"keyword\", keyword: \"undefined\" };\n\nexport function nameOf(member: IrPropertySignature): string {\n  return member.name.kind === \"string\" ? member.name.value : member.name.text;\n}\n\nexport function propertiesOf(type: IrObjectType): Map<string, IrPropertySignature> {\n  const properties = type.members.filter(\n    (member: IrMember): member is IrPropertySignature => member.kind === \"property\",\n  );\n  return new Map(properties.map((property) => [nameOf(property), property]));\n}\n\nexport function indexSignaturesOf(type: IrObjectType): IrIndexSignature[] {\n  return type.members.filter(\n    (member: IrMember): member is IrIndexSignature => member.kind === \"indexSignature\",\n  );\n}\n\n/** The type read from a property: an optional one may be `undefined`. */\nexport function readType(property: IrPropertySignature): IrType {\n  return property.isOptional ? { kind: \"union\", types: [property.type, UNDEFINED] } : property.type;\n}\n\n/**\n * `T[number]` for an array `T`, as the generator writes for an item of an array response: the\n * element type, readonly or not. A tuple's is the union of its elements, which is not modelled.\n */\nfunction arrayElement(type: IrType): IrType | null {\n  const list = type.kind === \"readonly\" ? type.type : type;\n  return list.kind === \"array\" ? list.element : null;\n}\n\n/** One property for two of the same name in an intersection. */\nfunction mergedProperty(\n  first: IrPropertySignature,\n  second: IrPropertySignature,\n): IrPropertySignature {\n  return {\n    ...first,\n    type: { kind: \"intersection\", types: [first.type, second.type] },\n    isOptional: first.isOptional && second.isOptional,\n    isReadonly: first.isReadonly || second.isReadonly,\n  };\n}\n\n/** Resolves types once each, for one comparison. */\nexport class TypeResolution {\n  private readonly lookup: DeclaredTypeLookup;\n  private readonly resolvedTypes = new Map<IrType, IrType>();\n\n  constructor(lookup: DeclaredTypeLookup) {\n    this.lookup = lookup;\n  }\n\n  /** The type a reference names, followed through references to references; computed once. */\n  resolved(type: IrType): IrType {\n    const known = this.resolvedTypes.get(type);\n    if (known !== undefined) {\n      return known;\n    }\n    // A type that reaches itself while it is resolved stays as it is written there.\n    this.resolvedTypes.set(type, type);\n    const seen = new Set<IrType>();\n    let current = type;\n    while (!seen.has(current)) {\n      seen.add(current);\n      const named = this.lookup(current) ?? this.indexedProperty(current);\n      if (named === null) {\n        break;\n      }\n      current = named;\n    }\n    const result = current.kind === \"intersection\" ? (this.merged(current) ?? current) : current;\n    this.resolvedTypes.set(type, result);\n    return result;\n  }\n\n  /**\n   * `T[\"key\"]` read from the object type `T` resolves to, which the lookup does not do for an\n   * object it reached through another lookup (`paths[\"/a/{id}\"][\"get\"]`). An optional property\n   * reads as `T | undefined`; `T[number]` is the element of the array `T`.\n   */\n  private indexedProperty(type: IrType): IrType | null {\n    if (type.kind !== \"indexedAccess\") {\n      return null;\n    }\n    const { index } = type;\n    if (index.kind === \"keyword\" && index.keyword === \"number\") {\n      return arrayElement(this.resolved(type.object));\n    }\n    const object = this.resolved(type.object);\n    if (index.kind !== \"stringLiteral\" || object.kind !== \"object\") {\n      return null;\n    }\n    const property = propertiesOf(object).get(index.value);\n    return property === undefined ? null : readType(property);\n  }\n\n  /**\n   * An intersection of object types as the one object TypeScript makes of it: a property in\n   * several parts has the intersection of their types, and is optional only when it is in each.\n   * Null when a part is no object type.\n   */\n  private merged(type: IrType): IrObjectType | null {\n    const parts = this.objectParts(type);\n    if (parts === null) {\n      return null;\n    }\n    const properties = new Map<string, IrPropertySignature>();\n    const indexes: IrIndexSignature[] = [];\n    for (const member of parts.flatMap((part) => part.members)) {\n      if (member.kind === \"indexSignature\") {\n        indexes.push(member);\n        continue;\n      }\n      const name = nameOf(member);\n      const other = properties.get(name);\n      properties.set(name, other === undefined ? member : mergedProperty(other, member));\n    }\n    return { kind: \"object\", members: [...properties.values(), ...indexes] };\n  }\n\n  /**\n   * The object types an intersection is made of, nested ones flattened; null for any other, and\n   * for an intersection that contains itself, which TypeScript does not merge either.\n   */\n  private objectParts(\n    type: IrType,\n    visiting: ReadonlySet<IrType> = new Set(),\n  ): IrObjectType[] | null {\n    if (type.kind === \"object\") {\n      return [type];\n    }\n    if (type.kind !== \"intersection\" || visiting.has(type)) {\n      return null;\n    }\n    const parts: IrObjectType[] = [];\n    for (const part of type.types) {\n      const objects = this.objectParts(this.resolved(part), new Set([...visiting, type]));\n      if (objects === null) {\n        return null;\n      }\n      parts.push(...objects);\n    }\n    return parts;\n  }\n}\n"],"names":[],"mappings":"AAeA,MAAM,SAAA,GAAoB,EAAE,IAAA,EAAM,SAAA,EAAW,SAAS,WAAA,EAAY;AAE3D,SAAS,OAAO,MAAA,EAAqC;AAC1D,EAAA,OAAO,MAAA,CAAO,KAAK,IAAA,KAAS,QAAA,GAAW,OAAO,IAAA,CAAK,KAAA,GAAQ,OAAO,IAAA,CAAK,IAAA;AACzE;AAEO,SAAS,aAAa,IAAA,EAAsD;AACjF,EAAA,MAAM,UAAA,GAAa,KAAK,OAAA,CAAQ,MAAA;AAAA,IAC9B,CAAC,MAAA,KAAoD,MAAA,CAAO,IAAA,KAAS;AAAA,GACvE;AACA,EAAA,OAAO,IAAI,GAAA,CAAI,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,KAAa,CAAC,MAAA,CAAO,QAAQ,CAAA,EAAG,QAAQ,CAAC,CAAC,CAAA;AAC3E;AAEO,SAAS,kBAAkB,IAAA,EAAwC;AACxE,EAAA,OAAO,KAAK,OAAA,CAAQ,MAAA;AAAA,IAClB,CAAC,MAAA,KAAiD,MAAA,CAAO,IAAA,KAAS;AAAA,GACpE;AACF;AAGO,SAAS,SAAS,QAAA,EAAuC;AAC9D,EAAA,OAAO,QAAA,CAAS,UAAA,GAAa,EAAE,IAAA,EAAM,OAAA,EAAS,KAAA,EAAO,CAAC,QAAA,CAAS,IAAA,EAAM,SAAS,CAAA,EAAE,GAAI,QAAA,CAAS,IAAA;AAC/F;AAMA,SAAS,aAAa,IAAA,EAA6B;AACjD,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,KAAS,UAAA,GAAa,KAAK,IAAA,GAAO,IAAA;AACpD,EAAA,OAAO,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,IAAA,CAAK,OAAA,GAAU,IAAA;AAChD;AAGA,SAAS,cAAA,CACP,OACA,MAAA,EACqB;AACrB,EAAA,OAAO;AAAA,IACL,GAAG,KAAA;AAAA,IACH,IAAA,EAAM,EAAE,IAAA,EAAM,cAAA,EAAgB,KAAA,EAAO,CAAC,KAAA,CAAM,IAAA,EAAM,MAAA,CAAO,IAAI,CAAA,EAAE;AAAA,IAC/D,UAAA,EAAY,KAAA,CAAM,UAAA,IAAc,MAAA,CAAO,UAAA;AAAA,IACvC,UAAA,EAAY,KAAA,CAAM,UAAA,IAAc,MAAA,CAAO;AAAA,GACzC;AACF;AAGO,MAAM,cAAA,CAAe;AAAA,EACT,MAAA;AAAA,EACA,aAAA,uBAAoB,GAAA,EAAoB;AAAA,EAEzD,YAAY,MAAA,EAA4B;AACtC,IAAA,IAAA,CAAK,MAAA,GAAS,MAAA;AAAA,EAChB;AAAA;AAAA,EAGA,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAI,CAAA;AACzC,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA;AACjC,IAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,IAAA,IAAI,OAAA,GAAU,IAAA;AACd,IAAA,OAAO,CAAC,IAAA,CAAK,GAAA,CAAI,OAAO,CAAA,EAAG;AACzB,MAAA,IAAA,CAAK,IAAI,OAAO,CAAA;AAChB,MAAA,MAAM,QAAQ,IAAA,CAAK,MAAA,CAAO,OAAO,CAAA,IAAK,IAAA,CAAK,gBAAgB,OAAO,CAAA;AAClE,MAAA,IAAI,UAAU,IAAA,EAAM;AAClB,QAAA;AAAA,MACF;AACA,MAAA,OAAA,GAAU,KAAA;AAAA,IACZ;AACA,IAAA,MAAM,MAAA,GAAS,QAAQ,IAAA,KAAS,cAAA,GAAkB,KAAK,MAAA,CAAO,OAAO,KAAK,OAAA,GAAW,OAAA;AACrF,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,MAAM,CAAA;AACnC,IAAA,OAAO,MAAA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOQ,gBAAgB,IAAA,EAA6B;AACnD,IAAA,IAAI,IAAA,CAAK,SAAS,eAAA,EAAiB;AACjC,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,EAAE,OAAM,GAAI,IAAA;AAClB,IAAA,IAAI,KAAA,CAAM,IAAA,KAAS,SAAA,IAAa,KAAA,CAAM,YAAY,QAAA,EAAU;AAC1D,MAAA,OAAO,YAAA,CAAa,IAAA,CAAK,QAAA,CAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AAAA,IAChD;AACA,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA;AACxC,IAAA,IAAI,KAAA,CAAM,IAAA,KAAS,eAAA,IAAmB,MAAA,CAAO,SAAS,QAAA,EAAU;AAC9D,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,WAAW,YAAA,CAAa,MAAM,CAAA,CAAE,GAAA,CAAI,MAAM,KAAK,CAAA;AACrD,IAAA,OAAO,QAAA,KAAa,MAAA,GAAY,IAAA,GAAO,QAAA,CAAS,QAAQ,CAAA;AAAA,EAC1D;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOQ,OAAO,IAAA,EAAmC;AAChD,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,WAAA,CAAY,IAAI,CAAA;AACnC,IAAA,IAAI,UAAU,IAAA,EAAM;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,UAAA,uBAAiB,GAAA,EAAiC;AACxD,IAAA,MAAM,UAA8B,EAAC;AACrC,IAAA,KAAA,MAAW,UAAU,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,KAAS,IAAA,CAAK,OAAO,CAAA,EAAG;AAC1D,MAAA,IAAI,MAAA,CAAO,SAAS,gBAAA,EAAkB;AACpC,QAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,OAAO,MAAM,CAAA;AAC1B,MAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,GAAA,CAAI,IAAI,CAAA;AACjC,MAAA,UAAA,CAAW,GAAA,CAAI,MAAM,KAAA,KAAU,MAAA,GAAY,SAAS,cAAA,CAAe,KAAA,EAAO,MAAM,CAAC,CAAA;AAAA,IACnF;AACA,IAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,CAAC,GAAG,UAAA,CAAW,MAAA,EAAO,EAAG,GAAG,OAAO,CAAA,EAAE;AAAA,EACzE;AAAA;AAAA;AAAA;AAAA;AAAA,EAMQ,WAAA,CACN,IAAA,EACA,QAAA,mBAAgC,IAAI,KAAI,EACjB;AACvB,IAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,MAAA,OAAO,CAAC,IAAI,CAAA;AAAA,IACd;AACA,IAAA,IAAI,KAAK,IAAA,KAAS,cAAA,IAAkB,QAAA,CAAS,GAAA,CAAI,IAAI,CAAA,EAAG;AACtD,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAwB,EAAC;AAC/B,IAAA,KAAA,MAAW,IAAA,IAAQ,KAAK,KAAA,EAAO;AAC7B,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,WAAA,CAAY,IAAA,CAAK,SAAS,IAAI,CAAA,kBAAG,IAAI,GAAA,CAAI,CAAC,GAAG,QAAA,EAAU,IAAI,CAAC,CAAC,CAAA;AAClF,MAAA,IAAI,YAAY,IAAA,EAAM;AACpB,QAAA,OAAO,IAAA;AAAA,MACT;AACA,MAAA,KAAA,CAAM,IAAA,CAAK,GAAG,OAAO,CAAA;AAAA,IACvB;AACA,IAAA,OAAO,KAAA;AAAA,EACT;AACF;;"}
+{"version":3,"file":"type-resolution.mjs","sources":["../../../../src/application/transform/document/type-resolution.ts"],"sourcesContent":["import { appendAll } from \"../../../domain/append-all.js\";\nimport type {\n  IrIndexSignature,\n  IrMember,\n  IrObjectType,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport type { DeclaredTypeLookup } from \"./declared-types.js\";\n\n/**\n * The types the `--path-params-as-types` overlap check compares, as TypeScript sees them:\n * references followed to the declarations of the document, `T[\"key\"]` and `T[number]` read from\n * `T`, and an intersection of object types merged into one object.\n */\n\nconst UNDEFINED: IrType = { kind: \"keyword\", keyword: \"undefined\" };\n\nexport function nameOf(member: IrPropertySignature): string {\n  return member.name.kind === \"string\" ? member.name.value : member.name.text;\n}\n\nexport function propertiesOf(type: IrObjectType): Map<string, IrPropertySignature> {\n  const properties = type.members.filter(\n    (member: IrMember): member is IrPropertySignature => member.kind === \"property\",\n  );\n  return new Map(properties.map((property) => [nameOf(property), property]));\n}\n\nexport function indexSignaturesOf(type: IrObjectType): IrIndexSignature[] {\n  return type.members.filter(\n    (member: IrMember): member is IrIndexSignature => member.kind === \"indexSignature\",\n  );\n}\n\n/** The type read from a property: an optional one may be `undefined`. */\nexport function readType(property: IrPropertySignature): IrType {\n  return property.isOptional ? { kind: \"union\", types: [property.type, UNDEFINED] } : property.type;\n}\n\n/**\n * `T[number]` for an array `T`, as the generator writes for an item of an array response: the\n * element type, readonly or not. A tuple's is the union of its elements, which is not modelled.\n */\nfunction arrayElement(type: IrType): IrType | null {\n  const list = type.kind === \"readonly\" ? type.type : type;\n  return list.kind === \"array\" ? list.element : null;\n}\n\n/** One property for two of the same name in an intersection. */\nfunction mergedProperty(\n  first: IrPropertySignature,\n  second: IrPropertySignature,\n): IrPropertySignature {\n  return {\n    ...first,\n    type: { kind: \"intersection\", types: [first.type, second.type] },\n    isOptional: first.isOptional && second.isOptional,\n    isReadonly: first.isReadonly || second.isReadonly,\n  };\n}\n\n/** Resolves types once each, for one comparison. */\nexport class TypeResolution {\n  private readonly lookup: DeclaredTypeLookup;\n  private readonly resolvedTypes = new Map<IrType, IrType>();\n\n  constructor(lookup: DeclaredTypeLookup) {\n    this.lookup = lookup;\n  }\n\n  /** The type a reference names, followed through references to references; computed once. */\n  resolved(type: IrType): IrType {\n    const known = this.resolvedTypes.get(type);\n    if (known !== undefined) {\n      return known;\n    }\n    // A type that reaches itself while it is resolved stays as it is written there.\n    this.resolvedTypes.set(type, type);\n    const seen = new Set<IrType>();\n    let current = type;\n    while (!seen.has(current)) {\n      seen.add(current);\n      const named = this.lookup(current) ?? this.indexedProperty(current);\n      if (named === null) {\n        break;\n      }\n      current = named;\n    }\n    const result = current.kind === \"intersection\" ? (this.merged(current) ?? current) : current;\n    this.resolvedTypes.set(type, result);\n    return result;\n  }\n\n  /**\n   * `T[\"key\"]` read from the object type `T` resolves to, which the lookup does not do for an\n   * object it reached through another lookup (`paths[\"/a/{id}\"][\"get\"]`). An optional property\n   * reads as `T | undefined`; `T[number]` is the element of the array `T`.\n   */\n  private indexedProperty(type: IrType): IrType | null {\n    if (type.kind !== \"indexedAccess\") {\n      return null;\n    }\n    const { index } = type;\n    if (index.kind === \"keyword\" && index.keyword === \"number\") {\n      return arrayElement(this.resolved(type.object));\n    }\n    const object = this.resolved(type.object);\n    if (index.kind !== \"stringLiteral\" || object.kind !== \"object\") {\n      return null;\n    }\n    const property = propertiesOf(object).get(index.value);\n    return property === undefined ? null : readType(property);\n  }\n\n  /**\n   * An intersection of object types as the one object TypeScript makes of it: a property in\n   * several parts has the intersection of their types, and is optional only when it is in each.\n   * Null when a part is no object type.\n   */\n  private merged(type: IrType): IrObjectType | null {\n    const parts = this.objectParts(type);\n    if (parts === null) {\n      return null;\n    }\n    const properties = new Map<string, IrPropertySignature>();\n    const indexes: IrIndexSignature[] = [];\n    for (const member of parts.flatMap((part) => part.members)) {\n      if (member.kind === \"indexSignature\") {\n        indexes.push(member);\n        continue;\n      }\n      const name = nameOf(member);\n      const other = properties.get(name);\n      properties.set(name, other === undefined ? member : mergedProperty(other, member));\n    }\n    return { kind: \"object\", members: [...properties.values(), ...indexes] };\n  }\n\n  /**\n   * The object types an intersection is made of, nested ones flattened; null for any other, and\n   * for an intersection that contains itself, which TypeScript does not merge either.\n   */\n  private objectParts(\n    type: IrType,\n    visiting: ReadonlySet<IrType> = new Set(),\n  ): IrObjectType[] | null {\n    if (type.kind === \"object\") {\n      return [type];\n    }\n    if (type.kind !== \"intersection\" || visiting.has(type)) {\n      return null;\n    }\n    const parts: IrObjectType[] = [];\n    for (const part of type.types) {\n      const objects = this.objectParts(this.resolved(part), new Set([...visiting, type]));\n      if (objects === null) {\n        return null;\n      }\n      appendAll(parts, objects);\n    }\n    return parts;\n  }\n}\n"],"names":[],"mappings":";;AAgBA,MAAM,SAAA,GAAoB,EAAE,IAAA,EAAM,SAAA,EAAW,SAAS,WAAA,EAAY;AAE3D,SAAS,OAAO,MAAA,EAAqC;AAC1D,EAAA,OAAO,MAAA,CAAO,KAAK,IAAA,KAAS,QAAA,GAAW,OAAO,IAAA,CAAK,KAAA,GAAQ,OAAO,IAAA,CAAK,IAAA;AACzE;AAEO,SAAS,aAAa,IAAA,EAAsD;AACjF,EAAA,MAAM,UAAA,GAAa,KAAK,OAAA,CAAQ,MAAA;AAAA,IAC9B,CAAC,MAAA,KAAoD,MAAA,CAAO,IAAA,KAAS;AAAA,GACvE;AACA,EAAA,OAAO,IAAI,GAAA,CAAI,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,KAAa,CAAC,MAAA,CAAO,QAAQ,CAAA,EAAG,QAAQ,CAAC,CAAC,CAAA;AAC3E;AAEO,SAAS,kBAAkB,IAAA,EAAwC;AACxE,EAAA,OAAO,KAAK,OAAA,CAAQ,MAAA;AAAA,IAClB,CAAC,MAAA,KAAiD,MAAA,CAAO,IAAA,KAAS;AAAA,GACpE;AACF;AAGO,SAAS,SAAS,QAAA,EAAuC;AAC9D,EAAA,OAAO,QAAA,CAAS,UAAA,GAAa,EAAE,IAAA,EAAM,OAAA,EAAS,KAAA,EAAO,CAAC,QAAA,CAAS,IAAA,EAAM,SAAS,CAAA,EAAE,GAAI,QAAA,CAAS,IAAA;AAC/F;AAMA,SAAS,aAAa,IAAA,EAA6B;AACjD,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,KAAS,UAAA,GAAa,KAAK,IAAA,GAAO,IAAA;AACpD,EAAA,OAAO,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,IAAA,CAAK,OAAA,GAAU,IAAA;AAChD;AAGA,SAAS,cAAA,CACP,OACA,MAAA,EACqB;AACrB,EAAA,OAAO;AAAA,IACL,GAAG,KAAA;AAAA,IACH,IAAA,EAAM,EAAE,IAAA,EAAM,cAAA,EAAgB,KAAA,EAAO,CAAC,KAAA,CAAM,IAAA,EAAM,MAAA,CAAO,IAAI,CAAA,EAAE;AAAA,IAC/D,UAAA,EAAY,KAAA,CAAM,UAAA,IAAc,MAAA,CAAO,UAAA;AAAA,IACvC,UAAA,EAAY,KAAA,CAAM,UAAA,IAAc,MAAA,CAAO;AAAA,GACzC;AACF;AAGO,MAAM,cAAA,CAAe;AAAA,EACT,MAAA;AAAA,EACA,aAAA,uBAAoB,GAAA,EAAoB;AAAA,EAEzD,YAAY,MAAA,EAA4B;AACtC,IAAA,IAAA,CAAK,MAAA,GAAS,MAAA;AAAA,EAChB;AAAA;AAAA,EAGA,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAI,CAAA;AACzC,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA;AACjC,IAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,IAAA,IAAI,OAAA,GAAU,IAAA;AACd,IAAA,OAAO,CAAC,IAAA,CAAK,GAAA,CAAI,OAAO,CAAA,EAAG;AACzB,MAAA,IAAA,CAAK,IAAI,OAAO,CAAA;AAChB,MAAA,MAAM,QAAQ,IAAA,CAAK,MAAA,CAAO,OAAO,CAAA,IAAK,IAAA,CAAK,gBAAgB,OAAO,CAAA;AAClE,MAAA,IAAI,UAAU,IAAA,EAAM;AAClB,QAAA;AAAA,MACF;AACA,MAAA,OAAA,GAAU,KAAA;AAAA,IACZ;AACA,IAAA,MAAM,MAAA,GAAS,QAAQ,IAAA,KAAS,cAAA,GAAkB,KAAK,MAAA,CAAO,OAAO,KAAK,OAAA,GAAW,OAAA;AACrF,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,MAAM,CAAA;AACnC,IAAA,OAAO,MAAA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOQ,gBAAgB,IAAA,EAA6B;AACnD,IAAA,IAAI,IAAA,CAAK,SAAS,eAAA,EAAiB;AACjC,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,EAAE,OAAM,GAAI,IAAA;AAClB,IAAA,IAAI,KAAA,CAAM,IAAA,KAAS,SAAA,IAAa,KAAA,CAAM,YAAY,QAAA,EAAU;AAC1D,MAAA,OAAO,YAAA,CAAa,IAAA,CAAK,QAAA,CAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AAAA,IAChD;AACA,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA;AACxC,IAAA,IAAI,KAAA,CAAM,IAAA,KAAS,eAAA,IAAmB,MAAA,CAAO,SAAS,QAAA,EAAU;AAC9D,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,WAAW,YAAA,CAAa,MAAM,CAAA,CAAE,GAAA,CAAI,MAAM,KAAK,CAAA;AACrD,IAAA,OAAO,QAAA,KAAa,MAAA,GAAY,IAAA,GAAO,QAAA,CAAS,QAAQ,CAAA;AAAA,EAC1D;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOQ,OAAO,IAAA,EAAmC;AAChD,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,WAAA,CAAY,IAAI,CAAA;AACnC,IAAA,IAAI,UAAU,IAAA,EAAM;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,UAAA,uBAAiB,GAAA,EAAiC;AACxD,IAAA,MAAM,UAA8B,EAAC;AACrC,IAAA,KAAA,MAAW,UAAU,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,KAAS,IAAA,CAAK,OAAO,CAAA,EAAG;AAC1D,MAAA,IAAI,MAAA,CAAO,SAAS,gBAAA,EAAkB;AACpC,QAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,OAAO,MAAM,CAAA;AAC1B,MAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,GAAA,CAAI,IAAI,CAAA;AACjC,MAAA,UAAA,CAAW,GAAA,CAAI,MAAM,KAAA,KAAU,MAAA,GAAY,SAAS,cAAA,CAAe,KAAA,EAAO,MAAM,CAAC,CAAA;AAAA,IACnF;AACA,IAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,CAAC,GAAG,UAAA,CAAW,MAAA,EAAO,EAAG,GAAG,OAAO,CAAA,EAAE;AAAA,EACzE;AAAA;AAAA;AAAA;AAAA;AAAA,EAMQ,WAAA,CACN,IAAA,EACA,QAAA,mBAAgC,IAAI,KAAI,EACjB;AACvB,IAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,MAAA,OAAO,CAAC,IAAI,CAAA;AAAA,IACd;AACA,IAAA,IAAI,KAAK,IAAA,KAAS,cAAA,IAAkB,QAAA,CAAS,GAAA,CAAI,IAAI,CAAA,EAAG;AACtD,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAwB,EAAC;AAC/B,IAAA,KAAA,MAAW,IAAA,IAAQ,KAAK,KAAA,EAAO;AAC7B,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,WAAA,CAAY,IAAA,CAAK,SAAS,IAAI,CAAA,kBAAG,IAAI,GAAA,CAAI,CAAC,GAAG,QAAA,EAAU,IAAI,CAAC,CAAC,CAAA;AAClF,MAAA,IAAI,YAAY,IAAA,EAAM;AACpB,QAAA,OAAO,IAAA;AAAA,MACT;AACA,MAAA,SAAA,CAAU,OAAO,OAAO,CAAA;AAAA,IAC1B;AACA,IAAA,OAAO,KAAA;AAAA,EACT;AACF;;"}

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

@@ -8,7 +8,7 @@ const pathItem = require('./path-item.cjs');
 
 function webhooksType(webhooks, context) {
   const members = documentEntries.documentEntries(webhooks, context.options).map(([name, pathItem$1]) => {
-    const location = { path: jsonPointer.createRef(["webhooks", name]) };
+    const location = { path: jsonPointer.appendPointer(jsonPointer.ROOT_POINTER, ["webhooks", name]) };
     const type = pathItem.pathItemType(pathItem$1, location, context);
     return constructors.irProperty(propertyName.toPropertyName(name), type, { isReadonly: context.options.immutable });
   });

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

@@ -1 +1 @@
-{"version":3,"file":"webhooks.cjs","sources":["../../../../src/application/transform/document/webhooks.ts"],"sourcesContent":["import { irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { PathItemObject, PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { pathItemType } from \"./path-item.js\";\n\n/**\n * The `webhooks` interface body (OpenAPI 3.1 §4.8.1): one path item per webhook name. Unlike\n * `paths`, a `$ref` entry is read as a path item (so every method is `never`), as in the original,\n * and members carry no JSDoc.\n */\nexport function webhooksType(webhooks: PathsObject, context: TransformContext): IrType {\n  const members = documentEntries(webhooks, context.options).map(([name, pathItem]) => {\n    const location = { path: createRef([\"webhooks\", name]) };\n    const type = pathItemType(pathItem as PathItemObject, location, context);\n    return irProperty(toPropertyName(name), type, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n"],"names":["documentEntries","pathItem","createRef","pathItemType","irProperty","toPropertyName","irObject"],"mappings":";;;;;;;;AAcO,SAAS,YAAA,CAAa,UAAuB,OAAA,EAAmC;AACrF,EAAA,MAAM,OAAA,GAAUA,+BAAA,CAAgB,QAAA,EAAU,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,IAAA,EAAMC,UAAQ,CAAA,KAAM;AACnF,IAAA,MAAM,QAAA,GAAW,EAAE,IAAA,EAAMC,qBAAA,CAAU,CAAC,UAAA,EAAY,IAAI,CAAC,CAAA,EAAE;AACvD,IAAA,MAAM,IAAA,GAAOC,qBAAA,CAAaF,UAAA,EAA4B,QAAA,EAAU,OAAO,CAAA;AACvE,IAAA,OAAOG,uBAAA,CAAWC,2BAAA,CAAe,IAAI,CAAA,EAAG,IAAA,EAAM,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EACzF,CAAC,CAAA;AACD,EAAA,OAAOC,sBAAS,OAAO,CAAA;AACzB;;"}
+{"version":3,"file":"webhooks.cjs","sources":["../../../../src/application/transform/document/webhooks.ts"],"sourcesContent":["import { irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer, ROOT_POINTER } from \"../../../domain/openapi/json-pointer.js\";\nimport type { PathItemObject, PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { pathItemType } from \"./path-item.js\";\n\n/**\n * The `webhooks` interface body (OpenAPI 3.1 §4.8.1): one path item per webhook name. Unlike\n * `paths`, a `$ref` entry is read as a path item (so every method is `never`), as in the original,\n * and members carry no JSDoc.\n */\nexport function webhooksType(webhooks: PathsObject, context: TransformContext): IrType {\n  const members = documentEntries(webhooks, context.options).map(([name, pathItem]) => {\n    const location = { path: appendPointer(ROOT_POINTER, [\"webhooks\", name]) };\n    const type = pathItemType(pathItem as PathItemObject, location, context);\n    return irProperty(toPropertyName(name), type, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n"],"names":["documentEntries","pathItem","appendPointer","ROOT_POINTER","pathItemType","irProperty","toPropertyName","irObject"],"mappings":";;;;;;;;AAcO,SAAS,YAAA,CAAa,UAAuB,OAAA,EAAmC;AACrF,EAAA,MAAM,OAAA,GAAUA,+BAAA,CAAgB,QAAA,EAAU,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,IAAA,EAAMC,UAAQ,CAAA,KAAM;AACnF,IAAA,MAAM,QAAA,GAAW,EAAE,IAAA,EAAMC,yBAAA,CAAcC,0BAAc,CAAC,UAAA,EAAY,IAAI,CAAC,CAAA,EAAE;AACzE,IAAA,MAAM,IAAA,GAAOC,qBAAA,CAAaH,UAAA,EAA4B,QAAA,EAAU,OAAO,CAAA;AACvE,IAAA,OAAOI,uBAAA,CAAWC,2BAAA,CAAe,IAAI,CAAA,EAAG,IAAA,EAAM,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EACzF,CAAC,CAAA;AACD,EAAA,OAAOC,sBAAS,OAAO,CAAA;AACzB;;"}

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

@@ -1,12 +1,12 @@
 import { irProperty, irObject } from '../../../domain/ir/constructors.mjs';
 import { toPropertyName } from '../../../domain/ir/property-name.mjs';
-import { createRef } from '../../../domain/openapi/json-pointer.mjs';
+import { appendPointer, ROOT_POINTER } from '../../../domain/openapi/json-pointer.mjs';
 import { documentEntries } from '../document-entries.mjs';
 import { pathItemType } from './path-item.mjs';
 
 function webhooksType(webhooks, context) {
   const members = documentEntries(webhooks, context.options).map(([name, pathItem]) => {
-    const location = { path: createRef(["webhooks", name]) };
+    const location = { path: appendPointer(ROOT_POINTER, ["webhooks", name]) };
     const type = pathItemType(pathItem, location, context);
     return irProperty(toPropertyName(name), type, { isReadonly: context.options.immutable });
   });

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

@@ -1 +1 @@
-{"version":3,"file":"webhooks.mjs","sources":["../../../../src/application/transform/document/webhooks.ts"],"sourcesContent":["import { irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { PathItemObject, PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { pathItemType } from \"./path-item.js\";\n\n/**\n * The `webhooks` interface body (OpenAPI 3.1 §4.8.1): one path item per webhook name. Unlike\n * `paths`, a `$ref` entry is read as a path item (so every method is `never`), as in the original,\n * and members carry no JSDoc.\n */\nexport function webhooksType(webhooks: PathsObject, context: TransformContext): IrType {\n  const members = documentEntries(webhooks, context.options).map(([name, pathItem]) => {\n    const location = { path: createRef([\"webhooks\", name]) };\n    const type = pathItemType(pathItem as PathItemObject, location, context);\n    return irProperty(toPropertyName(name), type, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n"],"names":[],"mappings":";;;;;;AAcO,SAAS,YAAA,CAAa,UAAuB,OAAA,EAAmC;AACrF,EAAA,MAAM,OAAA,GAAU,eAAA,CAAgB,QAAA,EAAU,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,IAAA,EAAM,QAAQ,CAAA,KAAM;AACnF,IAAA,MAAM,QAAA,GAAW,EAAE,IAAA,EAAM,SAAA,CAAU,CAAC,UAAA,EAAY,IAAI,CAAC,CAAA,EAAE;AACvD,IAAA,MAAM,IAAA,GAAO,YAAA,CAAa,QAAA,EAA4B,QAAA,EAAU,OAAO,CAAA;AACvE,IAAA,OAAO,UAAA,CAAW,cAAA,CAAe,IAAI,CAAA,EAAG,IAAA,EAAM,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EACzF,CAAC,CAAA;AACD,EAAA,OAAO,SAAS,OAAO,CAAA;AACzB;;"}
+{"version":3,"file":"webhooks.mjs","sources":["../../../../src/application/transform/document/webhooks.ts"],"sourcesContent":["import { irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer, ROOT_POINTER } from \"../../../domain/openapi/json-pointer.js\";\nimport type { PathItemObject, PathsObject } from \"../../../domain/openapi/path-item-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { pathItemType } from \"./path-item.js\";\n\n/**\n * The `webhooks` interface body (OpenAPI 3.1 §4.8.1): one path item per webhook name. Unlike\n * `paths`, a `$ref` entry is read as a path item (so every method is `never`), as in the original,\n * and members carry no JSDoc.\n */\nexport function webhooksType(webhooks: PathsObject, context: TransformContext): IrType {\n  const members = documentEntries(webhooks, context.options).map(([name, pathItem]) => {\n    const location = { path: appendPointer(ROOT_POINTER, [\"webhooks\", name]) };\n    const type = pathItemType(pathItem as PathItemObject, location, context);\n    return irProperty(toPropertyName(name), type, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n"],"names":[],"mappings":";;;;;;AAcO,SAAS,YAAA,CAAa,UAAuB,OAAA,EAAmC;AACrF,EAAA,MAAM,OAAA,GAAU,eAAA,CAAgB,QAAA,EAAU,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,IAAA,EAAM,QAAQ,CAAA,KAAM;AACnF,IAAA,MAAM,QAAA,GAAW,EAAE,IAAA,EAAM,aAAA,CAAc,cAAc,CAAC,UAAA,EAAY,IAAI,CAAC,CAAA,EAAE;AACzE,IAAA,MAAM,IAAA,GAAO,YAAA,CAAa,QAAA,EAA4B,QAAA,EAAU,OAAO,CAAA;AACvE,IAAA,OAAO,UAAA,CAAW,cAAA,CAAe,IAAI,CAAA,EAAG,IAAA,EAAM,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EACzF,CAAC,CAAA;AACD,EAAA,OAAO,SAAS,OAAO,CAAA;AACzB;;"}

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

@@ -2,7 +2,9 @@
 
 const constructors = require('../../../domain/ir/constructors.cjs');
 const helperTypes = require('../helper-types.cjs');
+const enumNameClaims = require('./enum-name-claims.cjs');
 const enumNaming = require('./enum-naming.cjs');
+const operationKeys = require('./operation-keys.cjs');
 const sharedEnumNames = require('./shared-enum-names.cjs');
 
 function dedupeKey(request) {
@@ -39,19 +41,22 @@ class RunFooter {
   sink;
   isDedupingEnums;
   sharedNames;
-  constructor(sink, isDedupingEnums, sharedNames = sharedEnumNames.FIRST_SCHEMA_NAMES) {
+  names;
+  constructor(sink, isDedupingEnums, sharedNames = sharedEnumNames.FIRST_SCHEMA_NAMES, names = { enums: new enumNameClaims.EnumNameClaims(), operations: new operationKeys.OperationKeys() }) {
     this.sink = sink;
     this.isDedupingEnums = isDedupingEnums;
     this.sharedNames = sharedNames;
+    this.names = names;
   }
   addEnum(request) {
     const ownName = this.naming.enumName(request.name);
     const key = this.isDedupingEnums ? dedupeKey(request) : null;
-    const name = key === null ? ownName : this.sharedNames.nameOf(key, ownName, request);
+    const sharedName = key === null ? ownName : this.sharedNames.nameOf(key, ownName, request);
     const known = key === null ? void 0 : this.enumNamesByKey.get(key);
     if (known !== void 0) {
       return known;
     }
+    const name = this.names.enums.nameFor(sharedName, request.name);
     const declared = request.values.length > 0 ? declarationKey(name, request) : null;
     if (declared !== null && this.declaredEnums.has(declared)) {
       return name;
@@ -136,6 +141,9 @@ class RunFooter {
   addOperation(build) {
     this.sink.addOperation(build);
   }
+  operationKey(operationId) {
+    return this.names.operations.keyFor(operationId);
+  }
   require(helper) {
     if (!this.sink.hasTypeAlias(helper.name)) {
       this.sink.add({ kind: "rawDeclaration", name: helper.name, text: helper.text });

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

@@ -1 +1 @@
-{"version":3,"file":"document-footer.cjs","sources":["../../../../src/application/transform/footer/document-footer.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrDeclaration,\n  IrEnumDeclaration,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport { HELPER_TYPES, type HelperType } from \"../helper-types.js\";\nimport type {\n  EnumDeclarationRequest,\n  EnumMemberMetadata,\n  EnumValuesRequest,\n} from \"../schema/schema-context.js\";\nimport type { DocumentFooter } from \"../transform-context.js\";\nimport {\n  type DeclaredMembers,\n  EnumNaming,\n  enumDeclaration,\n  withoutDeclaredMembers,\n} from \"./enum-naming.js\";\nimport { FIRST_SCHEMA_NAMES, type SharedEnumNames } from \"./shared-enum-names.js\";\n\n/** Where footer declarations go, in order: the run's `ctx.injectFooter`, open to user code. */\nexport interface FooterSink {\n  /** Whether a type alias with this name is declared already (by the generator or a user). */\n  hasTypeAlias(name: string): boolean;\n  add(declaration: IrDeclaration): void;\n  /** Add a member to the `operations` interface, declared first if needed; see `DocumentFooter`. */\n  addOperation(build: () => IrPropertySignature): void;\n}\n\n/**\n * The `--dedupe-enums` key of the original: the values in default sort order, each paired with\n * the metadata at its sorted position (not the value's own metadata), as the original does.\n */\nfunction dedupeKey(request: EnumDeclarationRequest): string {\n  return [...request.values]\n    .sort(compareAsStrings)\n    .map((value, index) => metadataKey(String(value), request.metadata[index]))\n    .join(\",\");\n}\n\n/** `Array.prototype.sort` without a comparator: compares the values as strings. */\nfunction compareAsStrings(left: string | number, right: string | number): number {\n  const leftText = String(left);\n  const rightText = String(right);\n  if (leftText === rightText) {\n    return 0;\n  }\n  return leftText < rightText ? -1 : 1;\n}\n\nfunction metadataKey(value: string, metadata: EnumMemberMetadata | undefined): string {\n  return `${metadata?.name ?? value}:${metadata?.description || \"\"}`;\n}\n\n/** Separates a repeated `--enum-values` array name from its number, as root type aliases do. */\nconst ENUM_VALUES_NUMBER_SEPARATOR = \"_\";\n\n/** The whole declaration: an equal key means the same enum, member for member. */\nfunction declarationKey(name: string, request: EnumDeclarationRequest): string {\n  return JSON.stringify([name, request.values, request.metadata]);\n}\n\n/**\n * The footer of one run: enums (deduplicated with `--dedupe-enums`), `--enum-values` arrays, the\n * helper types they need, and the `operations` interface. Replaces the original's module-level\n * `enumCache`, so runs no longer share enums (research/legacy-bugs.md, item 3).\n */\nexport class RunFooter implements DocumentFooter {\n  private readonly naming = new EnumNaming();\n  private readonly enumNamesByKey = new Map<string, string>();\n  /** Declarations added already: the same one twice fails with \"Duplicate identifier\". */\n  private readonly declaredEnums = new Set<string>();\n  /** The member names of each declared enum, by value. */\n  private readonly membersByEnum = new Map<string, Map<string | number, string>>();\n  /** The members of each declared enum name, by member name. */\n  private readonly declaredMembers = new Map<string, Map<string, string | number>>();\n  /** `--enum-values` arrays added already: their declared name by name, type and values. */\n  private readonly declaredEnumValues = new Map<string, string>();\n  /** The declared `--enum-values` array names. */\n  private readonly enumValuesNames = new Set<string>();\n  private readonly sink: FooterSink;\n  private readonly isDedupingEnums: boolean;\n  private readonly sharedNames: SharedEnumNames;\n\n  constructor(\n    sink: FooterSink,\n    isDedupingEnums: boolean,\n    sharedNames: SharedEnumNames = FIRST_SCHEMA_NAMES,\n  ) {\n    this.sink = sink;\n    this.isDedupingEnums = isDedupingEnums;\n    this.sharedNames = sharedNames;\n  }\n\n  addEnum(request: EnumDeclarationRequest): string {\n    // The name is built before the cache lookup: it advances the naming state either way.\n    const ownName = this.naming.enumName(request.name);\n    const key = this.isDedupingEnums ? dedupeKey(request) : null;\n    // Every schema of a shared enum goes to `sharedNames`, the later ones too.\n    const name = key === null ? ownName : this.sharedNames.nameOf(key, ownName, request);\n    const known = key === null ? undefined : this.enumNamesByKey.get(key);\n    if (known !== undefined) {\n      return known;\n    }\n    // Only a repeated member fails to compile; two empty declarations merge, so they stay.\n    const declared = request.values.length > 0 ? declarationKey(name, request) : null;\n    if (declared !== null && this.declaredEnums.has(declared)) {\n      return name;\n    }\n    if (declared !== null) {\n      this.declaredEnums.add(declared);\n    }\n    const declaration = this.withoutRepeats(enumDeclaration(name, request, this.naming));\n    if (declaration !== null) {\n      this.record(declaration);\n      this.sink.add(declaration);\n    }\n    if (key !== null) {\n      this.enumNamesByKey.set(key, name);\n    }\n    return name;\n  }\n\n  /** The declaration without members an earlier one of the name has; null when none is left. */\n  private withoutRepeats(declaration: IrEnumDeclaration): IrEnumDeclaration | null {\n    const earlier: DeclaredMembers | undefined = this.declaredMembers.get(declaration.name);\n    if (earlier === undefined) {\n      return declaration;\n    }\n    const merged = withoutDeclaredMembers(declaration, earlier);\n    // Two empty declarations merge into one empty enum, which compiles, so the second stays.\n    return merged.members.length === 0 && declaration.members.length > 0 ? null : merged;\n  }\n\n  /** The members of a declaration; the first member of a value names it. */\n  private record(declaration: IrEnumDeclaration): void {\n    const byName = this.declaredMembers.get(declaration.name) ?? new Map();\n    const byValue = this.membersByEnum.get(declaration.name) ?? new Map();\n    for (const member of declaration.members) {\n      byName.set(member.name, member.value);\n      if (!byValue.has(member.value)) {\n        byValue.set(member.value, member.name);\n      }\n    }\n    this.declaredMembers.set(declaration.name, byName);\n    this.membersByEnum.set(declaration.name, byValue);\n  }\n\n  enumMembers(name: string): ReadonlyMap<string | number, string> {\n    return this.membersByEnum.get(name) ?? new Map();\n  }\n\n  addEnumValues(request: EnumValuesRequest): void {\n    const baseName = this.naming.arrayName(request.name);\n    // The same array twice fails with \"Cannot redeclare\"; a schema typed twice adds it twice.\n    const declared = JSON.stringify([baseName, request.type, request.values]);\n    if (this.declaredEnumValues.has(declared)) {\n      return;\n    }\n    const name = this.freeEnumValuesName(baseName);\n    this.declaredEnumValues.set(declared, name);\n    this.enumValuesNames.add(name);\n    this.require(HELPER_TYPES.flattenedDeepRequired);\n    this.require(HELPER_TYPES.readonlyArray);\n    this.sink.add({\n      kind: \"constArray\",\n      name,\n      isExported: true,\n      type: readonlyArrayOf(request.type),\n      values: request.values,\n      comments: [],\n    });\n  }\n\n  /**\n   * Another array may have the name: `Discount/type` and `discount/type`, or a property and an\n   * inline `allOf` item of one schema, typed at one location. A redeclared `const` does not\n   * compile, so a later one gets the next number (`discountTypeValues_2`). Every unnumbered name\n   * ends with `Values`, so a number never takes a name that a later array needs.\n   */\n  private freeEnumValuesName(name: string): string {\n    let candidate = name;\n    for (let count = 2; this.enumValuesNames.has(candidate); count++) {\n      candidate = `${name}${ENUM_VALUES_NUMBER_SEPARATOR}${count}`;\n    }\n    return candidate;\n  }\n\n  requireWithRequired(): void {\n    this.require(HELPER_TYPES.withRequired);\n  }\n\n  requirePropertyValues(): void {\n    this.require(HELPER_TYPES.propertyValues);\n  }\n\n  addOperation(build: () => IrPropertySignature): void {\n    this.sink.addOperation(build);\n  }\n\n  private require(helper: HelperType): void {\n    if (!this.sink.hasTypeAlias(helper.name)) {\n      this.sink.add({ kind: \"rawDeclaration\", name: helper.name, text: helper.text });\n    }\n  }\n}\n\nfunction readonlyArrayOf(type: IrType): IrType {\n  return irReference(HELPER_TYPES.readonlyArray.name, [type]);\n}\n"],"names":["EnumNaming","FIRST_SCHEMA_NAMES","enumDeclaration","withoutDeclaredMembers","HELPER_TYPES","irReference"],"mappings":";;;;;;;AAmCA,SAAS,UAAU,OAAA,EAAyC;AAC1D,EAAA,OAAO,CAAC,GAAG,OAAA,CAAQ,MAAM,EACtB,IAAA,CAAK,gBAAgB,CAAA,CACrB,GAAA,CAAI,CAAC,KAAA,EAAO,UAAU,WAAA,CAAY,MAAA,CAAO,KAAK,CAAA,EAAG,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC,CAAC,CAAA,CACzE,IAAA,CAAK,GAAG,CAAA;AACb;AAGA,SAAS,gBAAA,CAAiB,MAAuB,KAAA,EAAgC;AAC/E,EAAA,MAAM,QAAA,GAAW,OAAO,IAAI,CAAA;AAC5B,EAAA,MAAM,SAAA,GAAY,OAAO,KAAK,CAAA;AAC9B,EAAA,IAAI,aAAa,SAAA,EAAW;AAC1B,IAAA,OAAO,CAAA;AAAA,EACT;AACA,EAAA,OAAO,QAAA,GAAW,YAAY,EAAA,GAAK,CAAA;AACrC;AAEA,SAAS,WAAA,CAAY,OAAe,QAAA,EAAkD;AACpF,EAAA,OAAO,GAAG,QAAA,EAAU,IAAA,IAAQ,KAAK,CAAA,CAAA,EAAI,QAAA,EAAU,eAAe,EAAE,CAAA,CAAA;AAClE;AAGA,MAAM,4BAAA,GAA+B,GAAA;AAGrC,SAAS,cAAA,CAAe,MAAc,OAAA,EAAyC;AAC7E,EAAA,OAAO,IAAA,CAAK,UAAU,CAAC,IAAA,EAAM,QAAQ,MAAA,EAAQ,OAAA,CAAQ,QAAQ,CAAC,CAAA;AAChE;AAOO,MAAM,SAAA,CAAoC;AAAA,EAC9B,MAAA,GAAS,IAAIA,qBAAA,EAAW;AAAA,EACxB,cAAA,uBAAqB,GAAA,EAAoB;AAAA;AAAA,EAEzC,aAAA,uBAAoB,GAAA,EAAY;AAAA;AAAA,EAEhC,aAAA,uBAAoB,GAAA,EAA0C;AAAA;AAAA,EAE9D,eAAA,uBAAsB,GAAA,EAA0C;AAAA;AAAA,EAEhE,kBAAA,uBAAyB,GAAA,EAAoB;AAAA;AAAA,EAE7C,eAAA,uBAAsB,GAAA,EAAY;AAAA,EAClC,IAAA;AAAA,EACA,eAAA;AAAA,EACA,WAAA;AAAA,EAEjB,WAAA,CACE,IAAA,EACA,eAAA,EACA,WAAA,GAA+BC,kCAAA,EAC/B;AACA,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,eAAA,GAAkB,eAAA;AACvB,IAAA,IAAA,CAAK,WAAA,GAAc,WAAA;AAAA,EACrB;AAAA,EAEA,QAAQ,OAAA,EAAyC;AAE/C,IAAA,MAAM,OAAA,GAAU,IAAA,CAAK,MAAA,CAAO,QAAA,CAAS,QAAQ,IAAI,CAAA;AACjD,IAAA,MAAM,GAAA,GAAM,IAAA,CAAK,eAAA,GAAkB,SAAA,CAAU,OAAO,CAAA,GAAI,IAAA;AAExD,IAAA,MAAM,IAAA,GAAO,QAAQ,IAAA,GAAO,OAAA,GAAU,KAAK,WAAA,CAAY,MAAA,CAAO,GAAA,EAAK,OAAA,EAAS,OAAO,CAAA;AACnF,IAAA,MAAM,QAAQ,GAAA,KAAQ,IAAA,GAAO,SAAY,IAAA,CAAK,cAAA,CAAe,IAAI,GAAG,CAAA;AACpE,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AAEA,IAAA,MAAM,QAAA,GAAW,QAAQ,MAAA,CAAO,MAAA,GAAS,IAAI,cAAA,CAAe,IAAA,EAAM,OAAO,CAAA,GAAI,IAAA;AAC7E,IAAA,IAAI,aAAa,IAAA,IAAQ,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzD,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,aAAa,IAAA,EAAM;AACrB,MAAA,IAAA,CAAK,aAAA,CAAc,IAAI,QAAQ,CAAA;AAAA,IACjC;AACA,IAAA,MAAM,WAAA,GAAc,KAAK,cAAA,CAAeC,0BAAA,CAAgB,MAAM,OAAA,EAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AACnF,IAAA,IAAI,gBAAgB,IAAA,EAAM;AACxB,MAAA,IAAA,CAAK,OAAO,WAAW,CAAA;AACvB,MAAA,IAAA,CAAK,IAAA,CAAK,IAAI,WAAW,CAAA;AAAA,IAC3B;AACA,IAAA,IAAI,QAAQ,IAAA,EAAM;AAChB,MAAA,IAAA,CAAK,cAAA,CAAe,GAAA,CAAI,GAAA,EAAK,IAAI,CAAA;AAAA,IACnC;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AAAA;AAAA,EAGQ,eAAe,WAAA,EAA0D;AAC/E,IAAA,MAAM,OAAA,GAAuC,IAAA,CAAK,eAAA,CAAgB,GAAA,CAAI,YAAY,IAAI,CAAA;AACtF,IAAA,IAAI,YAAY,MAAA,EAAW;AACzB,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAASC,iCAAA,CAAuB,WAAA,EAAa,OAAO,CAAA;AAE1D,IAAA,OAAO,MAAA,CAAO,QAAQ,MAAA,KAAW,CAAA,IAAK,YAAY,OAAA,CAAQ,MAAA,GAAS,IAAI,IAAA,GAAO,MAAA;AAAA,EAChF;AAAA;AAAA,EAGQ,OAAO,WAAA,EAAsC;AACnD,IAAA,MAAM,MAAA,GAAS,KAAK,eAAA,CAAgB,GAAA,CAAI,YAAY,IAAI,CAAA,wBAAS,GAAA,EAAI;AACrE,IAAA,MAAM,OAAA,GAAU,KAAK,aAAA,CAAc,GAAA,CAAI,YAAY,IAAI,CAAA,wBAAS,GAAA,EAAI;AACpE,IAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,MAAA,MAAA,CAAO,GAAA,CAAI,MAAA,CAAO,IAAA,EAAM,MAAA,CAAO,KAAK,CAAA;AACpC,MAAA,IAAI,CAAC,OAAA,CAAQ,GAAA,CAAI,MAAA,CAAO,KAAK,CAAA,EAAG;AAC9B,QAAA,OAAA,CAAQ,GAAA,CAAI,MAAA,CAAO,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA;AAAA,MACvC;AAAA,IACF;AACA,IAAA,IAAA,CAAK,eAAA,CAAgB,GAAA,CAAI,WAAA,CAAY,IAAA,EAAM,MAAM,CAAA;AACjD,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,WAAA,CAAY,IAAA,EAAM,OAAO,CAAA;AAAA,EAClD;AAAA,EAEA,YAAY,IAAA,EAAoD;AAC9D,IAAA,OAAO,KAAK,aAAA,CAAc,GAAA,CAAI,IAAI,CAAA,wBAAS,GAAA,EAAI;AAAA,EACjD;AAAA,EAEA,cAAc,OAAA,EAAkC;AAC9C,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,MAAA,CAAO,SAAA,CAAU,QAAQ,IAAI,CAAA;AAEnD,IAAA,MAAM,QAAA,GAAW,KAAK,SAAA,CAAU,CAAC,UAAU,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,MAAM,CAAC,CAAA;AACxE,IAAA,IAAI,IAAA,CAAK,kBAAA,CAAmB,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzC,MAAA;AAAA,IACF;AACA,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,kBAAA,CAAmB,QAAQ,CAAA;AAC7C,IAAA,IAAA,CAAK,kBAAA,CAAmB,GAAA,CAAI,QAAA,EAAU,IAAI,CAAA;AAC1C,IAAA,IAAA,CAAK,eAAA,CAAgB,IAAI,IAAI,CAAA;AAC7B,IAAA,IAAA,CAAK,OAAA,CAAQC,yBAAa,qBAAqB,CAAA;AAC/C,IAAA,IAAA,CAAK,OAAA,CAAQA,yBAAa,aAAa,CAAA;AACvC,IAAA,IAAA,CAAK,KAAK,GAAA,CAAI;AAAA,MACZ,IAAA,EAAM,YAAA;AAAA,MACN,IAAA;AAAA,MACA,UAAA,EAAY,IAAA;AAAA,MACZ,IAAA,EAAM,eAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA;AAAA,MAClC,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,UAAU;AAAC,KACZ,CAAA;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQQ,mBAAmB,IAAA,EAAsB;AAC/C,IAAA,IAAI,SAAA,GAAY,IAAA;AAChB,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,IAAA,CAAK,gBAAgB,GAAA,CAAI,SAAS,GAAG,KAAA,EAAA,EAAS;AAChE,MAAA,SAAA,GAAY,CAAA,EAAG,IAAI,CAAA,EAAG,4BAA4B,GAAG,KAAK,CAAA,CAAA;AAAA,IAC5D;AACA,IAAA,OAAO,SAAA;AAAA,EACT;AAAA,EAEA,mBAAA,GAA4B;AAC1B,IAAA,IAAA,CAAK,OAAA,CAAQA,yBAAa,YAAY,CAAA;AAAA,EACxC;AAAA,EAEA,qBAAA,GAA8B;AAC5B,IAAA,IAAA,CAAK,OAAA,CAAQA,yBAAa,cAAc,CAAA;AAAA,EAC1C;AAAA,EAEA,aAAa,KAAA,EAAwC;AACnD,IAAA,IAAA,CAAK,IAAA,CAAK,aAAa,KAAK,CAAA;AAAA,EAC9B;AAAA,EAEQ,QAAQ,MAAA,EAA0B;AACxC,IAAA,IAAI,CAAC,IAAA,CAAK,IAAA,CAAK,YAAA,CAAa,MAAA,CAAO,IAAI,CAAA,EAAG;AACxC,MAAA,IAAA,CAAK,IAAA,CAAK,GAAA,CAAI,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,CAAA;AAAA,IAChF;AAAA,EACF;AACF;AAEA,SAAS,gBAAgB,IAAA,EAAsB;AAC7C,EAAA,OAAOC,yBAAYD,wBAAA,CAAa,aAAA,CAAc,IAAA,EAAM,CAAC,IAAI,CAAC,CAAA;AAC5D;;"}
+{"version":3,"file":"document-footer.cjs","sources":["../../../../src/application/transform/footer/document-footer.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrDeclaration,\n  IrEnumDeclaration,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport { HELPER_TYPES, type HelperType } from \"../helper-types.js\";\nimport type {\n  EnumDeclarationRequest,\n  EnumMemberMetadata,\n  EnumValuesRequest,\n} from \"../schema/schema-context.js\";\nimport type { DocumentFooter } from \"../transform-context.js\";\nimport { EnumNameClaims } from \"./enum-name-claims.js\";\nimport {\n  type DeclaredMembers,\n  EnumNaming,\n  enumDeclaration,\n  withoutDeclaredMembers,\n} from \"./enum-naming.js\";\nimport { OperationKeys } from \"./operation-keys.js\";\nimport { FIRST_SCHEMA_NAMES, type SharedEnumNames } from \"./shared-enum-names.js\";\n\n/** Where footer declarations go, in order: the run's `ctx.injectFooter`, open to user code. */\nexport interface FooterSink {\n  /** Whether a type alias with this name is declared already (by the generator or a user). */\n  hasTypeAlias(name: string): boolean;\n  add(declaration: IrDeclaration): void;\n  /** Add a member to the `operations` interface, declared first if needed; see `DocumentFooter`. */\n  addOperation(build: () => IrPropertySignature): void;\n}\n\n/**\n * The `--dedupe-enums` key of the original: the values in default sort order, each paired with\n * the metadata at its sorted position (not the value's own metadata), as the original does.\n */\nfunction dedupeKey(request: EnumDeclarationRequest): string {\n  return [...request.values]\n    .sort(compareAsStrings)\n    .map((value, index) => metadataKey(String(value), request.metadata[index]))\n    .join(\",\");\n}\n\n/** `Array.prototype.sort` without a comparator: compares the values as strings. */\nfunction compareAsStrings(left: string | number, right: string | number): number {\n  const leftText = String(left);\n  const rightText = String(right);\n  if (leftText === rightText) {\n    return 0;\n  }\n  return leftText < rightText ? -1 : 1;\n}\n\nfunction metadataKey(value: string, metadata: EnumMemberMetadata | undefined): string {\n  return `${metadata?.name ?? value}:${metadata?.description || \"\"}`;\n}\n\n/** Separates a repeated `--enum-values` array name from its number, as root type aliases do. */\nconst ENUM_VALUES_NUMBER_SEPARATOR = \"_\";\n\n/** The whole declaration: an equal key means the same enum, member for member. */\nfunction declarationKey(name: string, request: EnumDeclarationRequest): string {\n  return JSON.stringify([name, request.values, request.metadata]);\n}\n\n/** The naming state a run's footer shares with the rest of the run. */\nexport interface RunFooterNames {\n  readonly enums: EnumNameClaims;\n  readonly operations: OperationKeys;\n}\n\n/**\n * The footer of one run: enums (deduplicated with `--dedupe-enums`), `--enum-values` arrays, the\n * helper types they need, and the `operations` interface. Replaces the original's module-level\n * `enumCache`, so runs no longer share enums (research/legacy-bugs.md, item 3).\n */\nexport class RunFooter implements DocumentFooter {\n  private readonly naming = new EnumNaming();\n  private readonly enumNamesByKey = new Map<string, string>();\n  /** Declarations added already: the same one twice fails with \"Duplicate identifier\". */\n  private readonly declaredEnums = new Set<string>();\n  /** The member names of each declared enum, by value. */\n  private readonly membersByEnum = new Map<string, Map<string | number, string>>();\n  /** The members of each declared enum name, by member name. */\n  private readonly declaredMembers = new Map<string, Map<string, string | number>>();\n  /** `--enum-values` arrays added already: their declared name by name, type and values. */\n  private readonly declaredEnumValues = new Map<string, string>();\n  /** The declared `--enum-values` array names. */\n  private readonly enumValuesNames = new Set<string>();\n  private readonly sink: FooterSink;\n  private readonly isDedupingEnums: boolean;\n  private readonly sharedNames: SharedEnumNames;\n  private readonly names: RunFooterNames;\n\n  constructor(\n    sink: FooterSink,\n    isDedupingEnums: boolean,\n    sharedNames: SharedEnumNames = FIRST_SCHEMA_NAMES,\n    names: RunFooterNames = { enums: new EnumNameClaims(), operations: new OperationKeys() },\n  ) {\n    this.sink = sink;\n    this.isDedupingEnums = isDedupingEnums;\n    this.sharedNames = sharedNames;\n    this.names = names;\n  }\n\n  addEnum(request: EnumDeclarationRequest): string {\n    // The name is built before the cache lookup: it advances the naming state either way.\n    const ownName = this.naming.enumName(request.name);\n    const key = this.isDedupingEnums ? dedupeKey(request) : null;\n    // Every schema of a shared enum goes to `sharedNames`, the later ones too.\n    const sharedName = key === null ? ownName : this.sharedNames.nameOf(key, ownName, request);\n    const known = key === null ? undefined : this.enumNamesByKey.get(key);\n    if (known !== undefined) {\n      return known;\n    }\n    // The owner is the schema location: its requests share one enum, with `--dedupe-enums` too.\n    const name = this.names.enums.nameFor(sharedName, request.name);\n    // Only a repeated member fails to compile; two empty declarations merge, so they stay.\n    const declared = request.values.length > 0 ? declarationKey(name, request) : null;\n    if (declared !== null && this.declaredEnums.has(declared)) {\n      return name;\n    }\n    if (declared !== null) {\n      this.declaredEnums.add(declared);\n    }\n    const declaration = this.withoutRepeats(enumDeclaration(name, request, this.naming));\n    if (declaration !== null) {\n      this.record(declaration);\n      this.sink.add(declaration);\n    }\n    if (key !== null) {\n      this.enumNamesByKey.set(key, name);\n    }\n    return name;\n  }\n\n  /** The declaration without members an earlier one of the name has; null when none is left. */\n  private withoutRepeats(declaration: IrEnumDeclaration): IrEnumDeclaration | null {\n    const earlier: DeclaredMembers | undefined = this.declaredMembers.get(declaration.name);\n    if (earlier === undefined) {\n      return declaration;\n    }\n    const merged = withoutDeclaredMembers(declaration, earlier);\n    // Two empty declarations merge into one empty enum, which compiles, so the second stays.\n    return merged.members.length === 0 && declaration.members.length > 0 ? null : merged;\n  }\n\n  /** The members of a declaration; the first member of a value names it. */\n  private record(declaration: IrEnumDeclaration): void {\n    const byName = this.declaredMembers.get(declaration.name) ?? new Map();\n    const byValue = this.membersByEnum.get(declaration.name) ?? new Map();\n    for (const member of declaration.members) {\n      byName.set(member.name, member.value);\n      if (!byValue.has(member.value)) {\n        byValue.set(member.value, member.name);\n      }\n    }\n    this.declaredMembers.set(declaration.name, byName);\n    this.membersByEnum.set(declaration.name, byValue);\n  }\n\n  enumMembers(name: string): ReadonlyMap<string | number, string> {\n    return this.membersByEnum.get(name) ?? new Map();\n  }\n\n  addEnumValues(request: EnumValuesRequest): void {\n    const baseName = this.naming.arrayName(request.name);\n    // The same array twice fails with \"Cannot redeclare\"; a schema typed twice adds it twice.\n    const declared = JSON.stringify([baseName, request.type, request.values]);\n    if (this.declaredEnumValues.has(declared)) {\n      return;\n    }\n    const name = this.freeEnumValuesName(baseName);\n    this.declaredEnumValues.set(declared, name);\n    this.enumValuesNames.add(name);\n    this.require(HELPER_TYPES.flattenedDeepRequired);\n    this.require(HELPER_TYPES.readonlyArray);\n    this.sink.add({\n      kind: \"constArray\",\n      name,\n      isExported: true,\n      type: readonlyArrayOf(request.type),\n      values: request.values,\n      comments: [],\n    });\n  }\n\n  /**\n   * Another array may have the name: `Discount/type` and `discount/type`, or a property and an\n   * inline `allOf` item of one schema, typed at one location. A redeclared `const` does not\n   * compile, so a later one gets the next number (`discountTypeValues_2`). Every unnumbered name\n   * ends with `Values`, so a number never takes a name that a later array needs.\n   */\n  private freeEnumValuesName(name: string): string {\n    let candidate = name;\n    for (let count = 2; this.enumValuesNames.has(candidate); count++) {\n      candidate = `${name}${ENUM_VALUES_NUMBER_SEPARATOR}${count}`;\n    }\n    return candidate;\n  }\n\n  requireWithRequired(): void {\n    this.require(HELPER_TYPES.withRequired);\n  }\n\n  requirePropertyValues(): void {\n    this.require(HELPER_TYPES.propertyValues);\n  }\n\n  addOperation(build: () => IrPropertySignature): void {\n    this.sink.addOperation(build);\n  }\n\n  operationKey(operationId: string): string {\n    return this.names.operations.keyFor(operationId);\n  }\n\n  private require(helper: HelperType): void {\n    if (!this.sink.hasTypeAlias(helper.name)) {\n      this.sink.add({ kind: \"rawDeclaration\", name: helper.name, text: helper.text });\n    }\n  }\n}\n\nfunction readonlyArrayOf(type: IrType): IrType {\n  return irReference(HELPER_TYPES.readonlyArray.name, [type]);\n}\n"],"names":["EnumNaming","FIRST_SCHEMA_NAMES","EnumNameClaims","OperationKeys","enumDeclaration","withoutDeclaredMembers","HELPER_TYPES","irReference"],"mappings":";;;;;;;;;AAqCA,SAAS,UAAU,OAAA,EAAyC;AAC1D,EAAA,OAAO,CAAC,GAAG,OAAA,CAAQ,MAAM,EACtB,IAAA,CAAK,gBAAgB,CAAA,CACrB,GAAA,CAAI,CAAC,KAAA,EAAO,UAAU,WAAA,CAAY,MAAA,CAAO,KAAK,CAAA,EAAG,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC,CAAC,CAAA,CACzE,IAAA,CAAK,GAAG,CAAA;AACb;AAGA,SAAS,gBAAA,CAAiB,MAAuB,KAAA,EAAgC;AAC/E,EAAA,MAAM,QAAA,GAAW,OAAO,IAAI,CAAA;AAC5B,EAAA,MAAM,SAAA,GAAY,OAAO,KAAK,CAAA;AAC9B,EAAA,IAAI,aAAa,SAAA,EAAW;AAC1B,IAAA,OAAO,CAAA;AAAA,EACT;AACA,EAAA,OAAO,QAAA,GAAW,YAAY,EAAA,GAAK,CAAA;AACrC;AAEA,SAAS,WAAA,CAAY,OAAe,QAAA,EAAkD;AACpF,EAAA,OAAO,GAAG,QAAA,EAAU,IAAA,IAAQ,KAAK,CAAA,CAAA,EAAI,QAAA,EAAU,eAAe,EAAE,CAAA,CAAA;AAClE;AAGA,MAAM,4BAAA,GAA+B,GAAA;AAGrC,SAAS,cAAA,CAAe,MAAc,OAAA,EAAyC;AAC7E,EAAA,OAAO,IAAA,CAAK,UAAU,CAAC,IAAA,EAAM,QAAQ,MAAA,EAAQ,OAAA,CAAQ,QAAQ,CAAC,CAAA;AAChE;AAaO,MAAM,SAAA,CAAoC;AAAA,EAC9B,MAAA,GAAS,IAAIA,qBAAA,EAAW;AAAA,EACxB,cAAA,uBAAqB,GAAA,EAAoB;AAAA;AAAA,EAEzC,aAAA,uBAAoB,GAAA,EAAY;AAAA;AAAA,EAEhC,aAAA,uBAAoB,GAAA,EAA0C;AAAA;AAAA,EAE9D,eAAA,uBAAsB,GAAA,EAA0C;AAAA;AAAA,EAEhE,kBAAA,uBAAyB,GAAA,EAAoB;AAAA;AAAA,EAE7C,eAAA,uBAAsB,GAAA,EAAY;AAAA,EAClC,IAAA;AAAA,EACA,eAAA;AAAA,EACA,WAAA;AAAA,EACA,KAAA;AAAA,EAEjB,WAAA,CACE,IAAA,EACA,eAAA,EACA,WAAA,GAA+BC,oCAC/B,KAAA,GAAwB,EAAE,KAAA,EAAO,IAAIC,+BAAe,EAAG,UAAA,EAAY,IAAIC,2BAAA,IAAgB,EACvF;AACA,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,eAAA,GAAkB,eAAA;AACvB,IAAA,IAAA,CAAK,WAAA,GAAc,WAAA;AACnB,IAAA,IAAA,CAAK,KAAA,GAAQ,KAAA;AAAA,EACf;AAAA,EAEA,QAAQ,OAAA,EAAyC;AAE/C,IAAA,MAAM,OAAA,GAAU,IAAA,CAAK,MAAA,CAAO,QAAA,CAAS,QAAQ,IAAI,CAAA;AACjD,IAAA,MAAM,GAAA,GAAM,IAAA,CAAK,eAAA,GAAkB,SAAA,CAAU,OAAO,CAAA,GAAI,IAAA;AAExD,IAAA,MAAM,UAAA,GAAa,QAAQ,IAAA,GAAO,OAAA,GAAU,KAAK,WAAA,CAAY,MAAA,CAAO,GAAA,EAAK,OAAA,EAAS,OAAO,CAAA;AACzF,IAAA,MAAM,QAAQ,GAAA,KAAQ,IAAA,GAAO,SAAY,IAAA,CAAK,cAAA,CAAe,IAAI,GAAG,CAAA;AACpE,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AAEA,IAAA,MAAM,OAAO,IAAA,CAAK,KAAA,CAAM,MAAM,OAAA,CAAQ,UAAA,EAAY,QAAQ,IAAI,CAAA;AAE9D,IAAA,MAAM,QAAA,GAAW,QAAQ,MAAA,CAAO,MAAA,GAAS,IAAI,cAAA,CAAe,IAAA,EAAM,OAAO,CAAA,GAAI,IAAA;AAC7E,IAAA,IAAI,aAAa,IAAA,IAAQ,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzD,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,aAAa,IAAA,EAAM;AACrB,MAAA,IAAA,CAAK,aAAA,CAAc,IAAI,QAAQ,CAAA;AAAA,IACjC;AACA,IAAA,MAAM,WAAA,GAAc,KAAK,cAAA,CAAeC,0BAAA,CAAgB,MAAM,OAAA,EAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AACnF,IAAA,IAAI,gBAAgB,IAAA,EAAM;AACxB,MAAA,IAAA,CAAK,OAAO,WAAW,CAAA;AACvB,MAAA,IAAA,CAAK,IAAA,CAAK,IAAI,WAAW,CAAA;AAAA,IAC3B;AACA,IAAA,IAAI,QAAQ,IAAA,EAAM;AAChB,MAAA,IAAA,CAAK,cAAA,CAAe,GAAA,CAAI,GAAA,EAAK,IAAI,CAAA;AAAA,IACnC;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AAAA;AAAA,EAGQ,eAAe,WAAA,EAA0D;AAC/E,IAAA,MAAM,OAAA,GAAuC,IAAA,CAAK,eAAA,CAAgB,GAAA,CAAI,YAAY,IAAI,CAAA;AACtF,IAAA,IAAI,YAAY,MAAA,EAAW;AACzB,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAASC,iCAAA,CAAuB,WAAA,EAAa,OAAO,CAAA;AAE1D,IAAA,OAAO,MAAA,CAAO,QAAQ,MAAA,KAAW,CAAA,IAAK,YAAY,OAAA,CAAQ,MAAA,GAAS,IAAI,IAAA,GAAO,MAAA;AAAA,EAChF;AAAA;AAAA,EAGQ,OAAO,WAAA,EAAsC;AACnD,IAAA,MAAM,MAAA,GAAS,KAAK,eAAA,CAAgB,GAAA,CAAI,YAAY,IAAI,CAAA,wBAAS,GAAA,EAAI;AACrE,IAAA,MAAM,OAAA,GAAU,KAAK,aAAA,CAAc,GAAA,CAAI,YAAY,IAAI,CAAA,wBAAS,GAAA,EAAI;AACpE,IAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,MAAA,MAAA,CAAO,GAAA,CAAI,MAAA,CAAO,IAAA,EAAM,MAAA,CAAO,KAAK,CAAA;AACpC,MAAA,IAAI,CAAC,OAAA,CAAQ,GAAA,CAAI,MAAA,CAAO,KAAK,CAAA,EAAG;AAC9B,QAAA,OAAA,CAAQ,GAAA,CAAI,MAAA,CAAO,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA;AAAA,MACvC;AAAA,IACF;AACA,IAAA,IAAA,CAAK,eAAA,CAAgB,GAAA,CAAI,WAAA,CAAY,IAAA,EAAM,MAAM,CAAA;AACjD,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,WAAA,CAAY,IAAA,EAAM,OAAO,CAAA;AAAA,EAClD;AAAA,EAEA,YAAY,IAAA,EAAoD;AAC9D,IAAA,OAAO,KAAK,aAAA,CAAc,GAAA,CAAI,IAAI,CAAA,wBAAS,GAAA,EAAI;AAAA,EACjD;AAAA,EAEA,cAAc,OAAA,EAAkC;AAC9C,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,MAAA,CAAO,SAAA,CAAU,QAAQ,IAAI,CAAA;AAEnD,IAAA,MAAM,QAAA,GAAW,KAAK,SAAA,CAAU,CAAC,UAAU,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,MAAM,CAAC,CAAA;AACxE,IAAA,IAAI,IAAA,CAAK,kBAAA,CAAmB,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzC,MAAA;AAAA,IACF;AACA,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,kBAAA,CAAmB,QAAQ,CAAA;AAC7C,IAAA,IAAA,CAAK,kBAAA,CAAmB,GAAA,CAAI,QAAA,EAAU,IAAI,CAAA;AAC1C,IAAA,IAAA,CAAK,eAAA,CAAgB,IAAI,IAAI,CAAA;AAC7B,IAAA,IAAA,CAAK,OAAA,CAAQC,yBAAa,qBAAqB,CAAA;AAC/C,IAAA,IAAA,CAAK,OAAA,CAAQA,yBAAa,aAAa,CAAA;AACvC,IAAA,IAAA,CAAK,KAAK,GAAA,CAAI;AAAA,MACZ,IAAA,EAAM,YAAA;AAAA,MACN,IAAA;AAAA,MACA,UAAA,EAAY,IAAA;AAAA,MACZ,IAAA,EAAM,eAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA;AAAA,MAClC,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,UAAU;AAAC,KACZ,CAAA;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQQ,mBAAmB,IAAA,EAAsB;AAC/C,IAAA,IAAI,SAAA,GAAY,IAAA;AAChB,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,IAAA,CAAK,gBAAgB,GAAA,CAAI,SAAS,GAAG,KAAA,EAAA,EAAS;AAChE,MAAA,SAAA,GAAY,CAAA,EAAG,IAAI,CAAA,EAAG,4BAA4B,GAAG,KAAK,CAAA,CAAA;AAAA,IAC5D;AACA,IAAA,OAAO,SAAA;AAAA,EACT;AAAA,EAEA,mBAAA,GAA4B;AAC1B,IAAA,IAAA,CAAK,OAAA,CAAQA,yBAAa,YAAY,CAAA;AAAA,EACxC;AAAA,EAEA,qBAAA,GAA8B;AAC5B,IAAA,IAAA,CAAK,OAAA,CAAQA,yBAAa,cAAc,CAAA;AAAA,EAC1C;AAAA,EAEA,aAAa,KAAA,EAAwC;AACnD,IAAA,IAAA,CAAK,IAAA,CAAK,aAAa,KAAK,CAAA;AAAA,EAC9B;AAAA,EAEA,aAAa,WAAA,EAA6B;AACxC,IAAA,OAAO,IAAA,CAAK,KAAA,CAAM,UAAA,CAAW,MAAA,CAAO,WAAW,CAAA;AAAA,EACjD;AAAA,EAEQ,QAAQ,MAAA,EAA0B;AACxC,IAAA,IAAI,CAAC,IAAA,CAAK,IAAA,CAAK,YAAA,CAAa,MAAA,CAAO,IAAI,CAAA,EAAG;AACxC,MAAA,IAAA,CAAK,IAAA,CAAK,GAAA,CAAI,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,CAAA;AAAA,IAChF;AAAA,EACF;AACF;AAEA,SAAS,gBAAgB,IAAA,EAAsB;AAC7C,EAAA,OAAOC,yBAAYD,wBAAA,CAAa,aAAA,CAAc,IAAA,EAAM,CAAC,IAAI,CAAC,CAAA;AAC5D;;"}

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

@@ -1,6 +1,8 @@
 import { irReference } from '../../../domain/ir/constructors.mjs';
 import { HELPER_TYPES } from '../helper-types.mjs';
+import { EnumNameClaims } from './enum-name-claims.mjs';
 import { EnumNaming, enumDeclaration, withoutDeclaredMembers } from './enum-naming.mjs';
+import { OperationKeys } from './operation-keys.mjs';
 import { FIRST_SCHEMA_NAMES } from './shared-enum-names.mjs';
 
 function dedupeKey(request) {
@@ -37,19 +39,22 @@ class RunFooter {
   sink;
   isDedupingEnums;
   sharedNames;
-  constructor(sink, isDedupingEnums, sharedNames = FIRST_SCHEMA_NAMES) {
+  names;
+  constructor(sink, isDedupingEnums, sharedNames = FIRST_SCHEMA_NAMES, names = { enums: new EnumNameClaims(), operations: new OperationKeys() }) {
     this.sink = sink;
     this.isDedupingEnums = isDedupingEnums;
     this.sharedNames = sharedNames;
+    this.names = names;
   }
   addEnum(request) {
     const ownName = this.naming.enumName(request.name);
     const key = this.isDedupingEnums ? dedupeKey(request) : null;
-    const name = key === null ? ownName : this.sharedNames.nameOf(key, ownName, request);
+    const sharedName = key === null ? ownName : this.sharedNames.nameOf(key, ownName, request);
     const known = key === null ? void 0 : this.enumNamesByKey.get(key);
     if (known !== void 0) {
       return known;
     }
+    const name = this.names.enums.nameFor(sharedName, request.name);
     const declared = request.values.length > 0 ? declarationKey(name, request) : null;
     if (declared !== null && this.declaredEnums.has(declared)) {
       return name;
@@ -134,6 +139,9 @@ class RunFooter {
   addOperation(build) {
     this.sink.addOperation(build);
   }
+  operationKey(operationId) {
+    return this.names.operations.keyFor(operationId);
+  }
   require(helper) {
     if (!this.sink.hasTypeAlias(helper.name)) {
       this.sink.add({ kind: "rawDeclaration", name: helper.name, text: helper.text });

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

@@ -1 +1 @@
-{"version":3,"file":"document-footer.mjs","sources":["../../../../src/application/transform/footer/document-footer.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrDeclaration,\n  IrEnumDeclaration,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport { HELPER_TYPES, type HelperType } from \"../helper-types.js\";\nimport type {\n  EnumDeclarationRequest,\n  EnumMemberMetadata,\n  EnumValuesRequest,\n} from \"../schema/schema-context.js\";\nimport type { DocumentFooter } from \"../transform-context.js\";\nimport {\n  type DeclaredMembers,\n  EnumNaming,\n  enumDeclaration,\n  withoutDeclaredMembers,\n} from \"./enum-naming.js\";\nimport { FIRST_SCHEMA_NAMES, type SharedEnumNames } from \"./shared-enum-names.js\";\n\n/** Where footer declarations go, in order: the run's `ctx.injectFooter`, open to user code. */\nexport interface FooterSink {\n  /** Whether a type alias with this name is declared already (by the generator or a user). */\n  hasTypeAlias(name: string): boolean;\n  add(declaration: IrDeclaration): void;\n  /** Add a member to the `operations` interface, declared first if needed; see `DocumentFooter`. */\n  addOperation(build: () => IrPropertySignature): void;\n}\n\n/**\n * The `--dedupe-enums` key of the original: the values in default sort order, each paired with\n * the metadata at its sorted position (not the value's own metadata), as the original does.\n */\nfunction dedupeKey(request: EnumDeclarationRequest): string {\n  return [...request.values]\n    .sort(compareAsStrings)\n    .map((value, index) => metadataKey(String(value), request.metadata[index]))\n    .join(\",\");\n}\n\n/** `Array.prototype.sort` without a comparator: compares the values as strings. */\nfunction compareAsStrings(left: string | number, right: string | number): number {\n  const leftText = String(left);\n  const rightText = String(right);\n  if (leftText === rightText) {\n    return 0;\n  }\n  return leftText < rightText ? -1 : 1;\n}\n\nfunction metadataKey(value: string, metadata: EnumMemberMetadata | undefined): string {\n  return `${metadata?.name ?? value}:${metadata?.description || \"\"}`;\n}\n\n/** Separates a repeated `--enum-values` array name from its number, as root type aliases do. */\nconst ENUM_VALUES_NUMBER_SEPARATOR = \"_\";\n\n/** The whole declaration: an equal key means the same enum, member for member. */\nfunction declarationKey(name: string, request: EnumDeclarationRequest): string {\n  return JSON.stringify([name, request.values, request.metadata]);\n}\n\n/**\n * The footer of one run: enums (deduplicated with `--dedupe-enums`), `--enum-values` arrays, the\n * helper types they need, and the `operations` interface. Replaces the original's module-level\n * `enumCache`, so runs no longer share enums (research/legacy-bugs.md, item 3).\n */\nexport class RunFooter implements DocumentFooter {\n  private readonly naming = new EnumNaming();\n  private readonly enumNamesByKey = new Map<string, string>();\n  /** Declarations added already: the same one twice fails with \"Duplicate identifier\". */\n  private readonly declaredEnums = new Set<string>();\n  /** The member names of each declared enum, by value. */\n  private readonly membersByEnum = new Map<string, Map<string | number, string>>();\n  /** The members of each declared enum name, by member name. */\n  private readonly declaredMembers = new Map<string, Map<string, string | number>>();\n  /** `--enum-values` arrays added already: their declared name by name, type and values. */\n  private readonly declaredEnumValues = new Map<string, string>();\n  /** The declared `--enum-values` array names. */\n  private readonly enumValuesNames = new Set<string>();\n  private readonly sink: FooterSink;\n  private readonly isDedupingEnums: boolean;\n  private readonly sharedNames: SharedEnumNames;\n\n  constructor(\n    sink: FooterSink,\n    isDedupingEnums: boolean,\n    sharedNames: SharedEnumNames = FIRST_SCHEMA_NAMES,\n  ) {\n    this.sink = sink;\n    this.isDedupingEnums = isDedupingEnums;\n    this.sharedNames = sharedNames;\n  }\n\n  addEnum(request: EnumDeclarationRequest): string {\n    // The name is built before the cache lookup: it advances the naming state either way.\n    const ownName = this.naming.enumName(request.name);\n    const key = this.isDedupingEnums ? dedupeKey(request) : null;\n    // Every schema of a shared enum goes to `sharedNames`, the later ones too.\n    const name = key === null ? ownName : this.sharedNames.nameOf(key, ownName, request);\n    const known = key === null ? undefined : this.enumNamesByKey.get(key);\n    if (known !== undefined) {\n      return known;\n    }\n    // Only a repeated member fails to compile; two empty declarations merge, so they stay.\n    const declared = request.values.length > 0 ? declarationKey(name, request) : null;\n    if (declared !== null && this.declaredEnums.has(declared)) {\n      return name;\n    }\n    if (declared !== null) {\n      this.declaredEnums.add(declared);\n    }\n    const declaration = this.withoutRepeats(enumDeclaration(name, request, this.naming));\n    if (declaration !== null) {\n      this.record(declaration);\n      this.sink.add(declaration);\n    }\n    if (key !== null) {\n      this.enumNamesByKey.set(key, name);\n    }\n    return name;\n  }\n\n  /** The declaration without members an earlier one of the name has; null when none is left. */\n  private withoutRepeats(declaration: IrEnumDeclaration): IrEnumDeclaration | null {\n    const earlier: DeclaredMembers | undefined = this.declaredMembers.get(declaration.name);\n    if (earlier === undefined) {\n      return declaration;\n    }\n    const merged = withoutDeclaredMembers(declaration, earlier);\n    // Two empty declarations merge into one empty enum, which compiles, so the second stays.\n    return merged.members.length === 0 && declaration.members.length > 0 ? null : merged;\n  }\n\n  /** The members of a declaration; the first member of a value names it. */\n  private record(declaration: IrEnumDeclaration): void {\n    const byName = this.declaredMembers.get(declaration.name) ?? new Map();\n    const byValue = this.membersByEnum.get(declaration.name) ?? new Map();\n    for (const member of declaration.members) {\n      byName.set(member.name, member.value);\n      if (!byValue.has(member.value)) {\n        byValue.set(member.value, member.name);\n      }\n    }\n    this.declaredMembers.set(declaration.name, byName);\n    this.membersByEnum.set(declaration.name, byValue);\n  }\n\n  enumMembers(name: string): ReadonlyMap<string | number, string> {\n    return this.membersByEnum.get(name) ?? new Map();\n  }\n\n  addEnumValues(request: EnumValuesRequest): void {\n    const baseName = this.naming.arrayName(request.name);\n    // The same array twice fails with \"Cannot redeclare\"; a schema typed twice adds it twice.\n    const declared = JSON.stringify([baseName, request.type, request.values]);\n    if (this.declaredEnumValues.has(declared)) {\n      return;\n    }\n    const name = this.freeEnumValuesName(baseName);\n    this.declaredEnumValues.set(declared, name);\n    this.enumValuesNames.add(name);\n    this.require(HELPER_TYPES.flattenedDeepRequired);\n    this.require(HELPER_TYPES.readonlyArray);\n    this.sink.add({\n      kind: \"constArray\",\n      name,\n      isExported: true,\n      type: readonlyArrayOf(request.type),\n      values: request.values,\n      comments: [],\n    });\n  }\n\n  /**\n   * Another array may have the name: `Discount/type` and `discount/type`, or a property and an\n   * inline `allOf` item of one schema, typed at one location. A redeclared `const` does not\n   * compile, so a later one gets the next number (`discountTypeValues_2`). Every unnumbered name\n   * ends with `Values`, so a number never takes a name that a later array needs.\n   */\n  private freeEnumValuesName(name: string): string {\n    let candidate = name;\n    for (let count = 2; this.enumValuesNames.has(candidate); count++) {\n      candidate = `${name}${ENUM_VALUES_NUMBER_SEPARATOR}${count}`;\n    }\n    return candidate;\n  }\n\n  requireWithRequired(): void {\n    this.require(HELPER_TYPES.withRequired);\n  }\n\n  requirePropertyValues(): void {\n    this.require(HELPER_TYPES.propertyValues);\n  }\n\n  addOperation(build: () => IrPropertySignature): void {\n    this.sink.addOperation(build);\n  }\n\n  private require(helper: HelperType): void {\n    if (!this.sink.hasTypeAlias(helper.name)) {\n      this.sink.add({ kind: \"rawDeclaration\", name: helper.name, text: helper.text });\n    }\n  }\n}\n\nfunction readonlyArrayOf(type: IrType): IrType {\n  return irReference(HELPER_TYPES.readonlyArray.name, [type]);\n}\n"],"names":[],"mappings":";;;;;AAmCA,SAAS,UAAU,OAAA,EAAyC;AAC1D,EAAA,OAAO,CAAC,GAAG,OAAA,CAAQ,MAAM,EACtB,IAAA,CAAK,gBAAgB,CAAA,CACrB,GAAA,CAAI,CAAC,KAAA,EAAO,UAAU,WAAA,CAAY,MAAA,CAAO,KAAK,CAAA,EAAG,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC,CAAC,CAAA,CACzE,IAAA,CAAK,GAAG,CAAA;AACb;AAGA,SAAS,gBAAA,CAAiB,MAAuB,KAAA,EAAgC;AAC/E,EAAA,MAAM,QAAA,GAAW,OAAO,IAAI,CAAA;AAC5B,EAAA,MAAM,SAAA,GAAY,OAAO,KAAK,CAAA;AAC9B,EAAA,IAAI,aAAa,SAAA,EAAW;AAC1B,IAAA,OAAO,CAAA;AAAA,EACT;AACA,EAAA,OAAO,QAAA,GAAW,YAAY,EAAA,GAAK,CAAA;AACrC;AAEA,SAAS,WAAA,CAAY,OAAe,QAAA,EAAkD;AACpF,EAAA,OAAO,GAAG,QAAA,EAAU,IAAA,IAAQ,KAAK,CAAA,CAAA,EAAI,QAAA,EAAU,eAAe,EAAE,CAAA,CAAA;AAClE;AAGA,MAAM,4BAAA,GAA+B,GAAA;AAGrC,SAAS,cAAA,CAAe,MAAc,OAAA,EAAyC;AAC7E,EAAA,OAAO,IAAA,CAAK,UAAU,CAAC,IAAA,EAAM,QAAQ,MAAA,EAAQ,OAAA,CAAQ,QAAQ,CAAC,CAAA;AAChE;AAOO,MAAM,SAAA,CAAoC;AAAA,EAC9B,MAAA,GAAS,IAAI,UAAA,EAAW;AAAA,EACxB,cAAA,uBAAqB,GAAA,EAAoB;AAAA;AAAA,EAEzC,aAAA,uBAAoB,GAAA,EAAY;AAAA;AAAA,EAEhC,aAAA,uBAAoB,GAAA,EAA0C;AAAA;AAAA,EAE9D,eAAA,uBAAsB,GAAA,EAA0C;AAAA;AAAA,EAEhE,kBAAA,uBAAyB,GAAA,EAAoB;AAAA;AAAA,EAE7C,eAAA,uBAAsB,GAAA,EAAY;AAAA,EAClC,IAAA;AAAA,EACA,eAAA;AAAA,EACA,WAAA;AAAA,EAEjB,WAAA,CACE,IAAA,EACA,eAAA,EACA,WAAA,GAA+B,kBAAA,EAC/B;AACA,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,eAAA,GAAkB,eAAA;AACvB,IAAA,IAAA,CAAK,WAAA,GAAc,WAAA;AAAA,EACrB;AAAA,EAEA,QAAQ,OAAA,EAAyC;AAE/C,IAAA,MAAM,OAAA,GAAU,IAAA,CAAK,MAAA,CAAO,QAAA,CAAS,QAAQ,IAAI,CAAA;AACjD,IAAA,MAAM,GAAA,GAAM,IAAA,CAAK,eAAA,GAAkB,SAAA,CAAU,OAAO,CAAA,GAAI,IAAA;AAExD,IAAA,MAAM,IAAA,GAAO,QAAQ,IAAA,GAAO,OAAA,GAAU,KAAK,WAAA,CAAY,MAAA,CAAO,GAAA,EAAK,OAAA,EAAS,OAAO,CAAA;AACnF,IAAA,MAAM,QAAQ,GAAA,KAAQ,IAAA,GAAO,SAAY,IAAA,CAAK,cAAA,CAAe,IAAI,GAAG,CAAA;AACpE,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AAEA,IAAA,MAAM,QAAA,GAAW,QAAQ,MAAA,CAAO,MAAA,GAAS,IAAI,cAAA,CAAe,IAAA,EAAM,OAAO,CAAA,GAAI,IAAA;AAC7E,IAAA,IAAI,aAAa,IAAA,IAAQ,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzD,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,aAAa,IAAA,EAAM;AACrB,MAAA,IAAA,CAAK,aAAA,CAAc,IAAI,QAAQ,CAAA;AAAA,IACjC;AACA,IAAA,MAAM,WAAA,GAAc,KAAK,cAAA,CAAe,eAAA,CAAgB,MAAM,OAAA,EAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AACnF,IAAA,IAAI,gBAAgB,IAAA,EAAM;AACxB,MAAA,IAAA,CAAK,OAAO,WAAW,CAAA;AACvB,MAAA,IAAA,CAAK,IAAA,CAAK,IAAI,WAAW,CAAA;AAAA,IAC3B;AACA,IAAA,IAAI,QAAQ,IAAA,EAAM;AAChB,MAAA,IAAA,CAAK,cAAA,CAAe,GAAA,CAAI,GAAA,EAAK,IAAI,CAAA;AAAA,IACnC;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AAAA;AAAA,EAGQ,eAAe,WAAA,EAA0D;AAC/E,IAAA,MAAM,OAAA,GAAuC,IAAA,CAAK,eAAA,CAAgB,GAAA,CAAI,YAAY,IAAI,CAAA;AACtF,IAAA,IAAI,YAAY,MAAA,EAAW;AACzB,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAAS,sBAAA,CAAuB,WAAA,EAAa,OAAO,CAAA;AAE1D,IAAA,OAAO,MAAA,CAAO,QAAQ,MAAA,KAAW,CAAA,IAAK,YAAY,OAAA,CAAQ,MAAA,GAAS,IAAI,IAAA,GAAO,MAAA;AAAA,EAChF;AAAA;AAAA,EAGQ,OAAO,WAAA,EAAsC;AACnD,IAAA,MAAM,MAAA,GAAS,KAAK,eAAA,CAAgB,GAAA,CAAI,YAAY,IAAI,CAAA,wBAAS,GAAA,EAAI;AACrE,IAAA,MAAM,OAAA,GAAU,KAAK,aAAA,CAAc,GAAA,CAAI,YAAY,IAAI,CAAA,wBAAS,GAAA,EAAI;AACpE,IAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,MAAA,MAAA,CAAO,GAAA,CAAI,MAAA,CAAO,IAAA,EAAM,MAAA,CAAO,KAAK,CAAA;AACpC,MAAA,IAAI,CAAC,OAAA,CAAQ,GAAA,CAAI,MAAA,CAAO,KAAK,CAAA,EAAG;AAC9B,QAAA,OAAA,CAAQ,GAAA,CAAI,MAAA,CAAO,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA;AAAA,MACvC;AAAA,IACF;AACA,IAAA,IAAA,CAAK,eAAA,CAAgB,GAAA,CAAI,WAAA,CAAY,IAAA,EAAM,MAAM,CAAA;AACjD,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,WAAA,CAAY,IAAA,EAAM,OAAO,CAAA;AAAA,EAClD;AAAA,EAEA,YAAY,IAAA,EAAoD;AAC9D,IAAA,OAAO,KAAK,aAAA,CAAc,GAAA,CAAI,IAAI,CAAA,wBAAS,GAAA,EAAI;AAAA,EACjD;AAAA,EAEA,cAAc,OAAA,EAAkC;AAC9C,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,MAAA,CAAO,SAAA,CAAU,QAAQ,IAAI,CAAA;AAEnD,IAAA,MAAM,QAAA,GAAW,KAAK,SAAA,CAAU,CAAC,UAAU,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,MAAM,CAAC,CAAA;AACxE,IAAA,IAAI,IAAA,CAAK,kBAAA,CAAmB,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzC,MAAA;AAAA,IACF;AACA,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,kBAAA,CAAmB,QAAQ,CAAA;AAC7C,IAAA,IAAA,CAAK,kBAAA,CAAmB,GAAA,CAAI,QAAA,EAAU,IAAI,CAAA;AAC1C,IAAA,IAAA,CAAK,eAAA,CAAgB,IAAI,IAAI,CAAA;AAC7B,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAa,qBAAqB,CAAA;AAC/C,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAa,aAAa,CAAA;AACvC,IAAA,IAAA,CAAK,KAAK,GAAA,CAAI;AAAA,MACZ,IAAA,EAAM,YAAA;AAAA,MACN,IAAA;AAAA,MACA,UAAA,EAAY,IAAA;AAAA,MACZ,IAAA,EAAM,eAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA;AAAA,MAClC,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,UAAU;AAAC,KACZ,CAAA;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQQ,mBAAmB,IAAA,EAAsB;AAC/C,IAAA,IAAI,SAAA,GAAY,IAAA;AAChB,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,IAAA,CAAK,gBAAgB,GAAA,CAAI,SAAS,GAAG,KAAA,EAAA,EAAS;AAChE,MAAA,SAAA,GAAY,CAAA,EAAG,IAAI,CAAA,EAAG,4BAA4B,GAAG,KAAK,CAAA,CAAA;AAAA,IAC5D;AACA,IAAA,OAAO,SAAA;AAAA,EACT;AAAA,EAEA,mBAAA,GAA4B;AAC1B,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAa,YAAY,CAAA;AAAA,EACxC;AAAA,EAEA,qBAAA,GAA8B;AAC5B,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAa,cAAc,CAAA;AAAA,EAC1C;AAAA,EAEA,aAAa,KAAA,EAAwC;AACnD,IAAA,IAAA,CAAK,IAAA,CAAK,aAAa,KAAK,CAAA;AAAA,EAC9B;AAAA,EAEQ,QAAQ,MAAA,EAA0B;AACxC,IAAA,IAAI,CAAC,IAAA,CAAK,IAAA,CAAK,YAAA,CAAa,MAAA,CAAO,IAAI,CAAA,EAAG;AACxC,MAAA,IAAA,CAAK,IAAA,CAAK,GAAA,CAAI,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,CAAA;AAAA,IAChF;AAAA,EACF;AACF;AAEA,SAAS,gBAAgB,IAAA,EAAsB;AAC7C,EAAA,OAAO,YAAY,YAAA,CAAa,aAAA,CAAc,IAAA,EAAM,CAAC,IAAI,CAAC,CAAA;AAC5D;;"}
+{"version":3,"file":"document-footer.mjs","sources":["../../../../src/application/transform/footer/document-footer.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrDeclaration,\n  IrEnumDeclaration,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport { HELPER_TYPES, type HelperType } from \"../helper-types.js\";\nimport type {\n  EnumDeclarationRequest,\n  EnumMemberMetadata,\n  EnumValuesRequest,\n} from \"../schema/schema-context.js\";\nimport type { DocumentFooter } from \"../transform-context.js\";\nimport { EnumNameClaims } from \"./enum-name-claims.js\";\nimport {\n  type DeclaredMembers,\n  EnumNaming,\n  enumDeclaration,\n  withoutDeclaredMembers,\n} from \"./enum-naming.js\";\nimport { OperationKeys } from \"./operation-keys.js\";\nimport { FIRST_SCHEMA_NAMES, type SharedEnumNames } from \"./shared-enum-names.js\";\n\n/** Where footer declarations go, in order: the run's `ctx.injectFooter`, open to user code. */\nexport interface FooterSink {\n  /** Whether a type alias with this name is declared already (by the generator or a user). */\n  hasTypeAlias(name: string): boolean;\n  add(declaration: IrDeclaration): void;\n  /** Add a member to the `operations` interface, declared first if needed; see `DocumentFooter`. */\n  addOperation(build: () => IrPropertySignature): void;\n}\n\n/**\n * The `--dedupe-enums` key of the original: the values in default sort order, each paired with\n * the metadata at its sorted position (not the value's own metadata), as the original does.\n */\nfunction dedupeKey(request: EnumDeclarationRequest): string {\n  return [...request.values]\n    .sort(compareAsStrings)\n    .map((value, index) => metadataKey(String(value), request.metadata[index]))\n    .join(\",\");\n}\n\n/** `Array.prototype.sort` without a comparator: compares the values as strings. */\nfunction compareAsStrings(left: string | number, right: string | number): number {\n  const leftText = String(left);\n  const rightText = String(right);\n  if (leftText === rightText) {\n    return 0;\n  }\n  return leftText < rightText ? -1 : 1;\n}\n\nfunction metadataKey(value: string, metadata: EnumMemberMetadata | undefined): string {\n  return `${metadata?.name ?? value}:${metadata?.description || \"\"}`;\n}\n\n/** Separates a repeated `--enum-values` array name from its number, as root type aliases do. */\nconst ENUM_VALUES_NUMBER_SEPARATOR = \"_\";\n\n/** The whole declaration: an equal key means the same enum, member for member. */\nfunction declarationKey(name: string, request: EnumDeclarationRequest): string {\n  return JSON.stringify([name, request.values, request.metadata]);\n}\n\n/** The naming state a run's footer shares with the rest of the run. */\nexport interface RunFooterNames {\n  readonly enums: EnumNameClaims;\n  readonly operations: OperationKeys;\n}\n\n/**\n * The footer of one run: enums (deduplicated with `--dedupe-enums`), `--enum-values` arrays, the\n * helper types they need, and the `operations` interface. Replaces the original's module-level\n * `enumCache`, so runs no longer share enums (research/legacy-bugs.md, item 3).\n */\nexport class RunFooter implements DocumentFooter {\n  private readonly naming = new EnumNaming();\n  private readonly enumNamesByKey = new Map<string, string>();\n  /** Declarations added already: the same one twice fails with \"Duplicate identifier\". */\n  private readonly declaredEnums = new Set<string>();\n  /** The member names of each declared enum, by value. */\n  private readonly membersByEnum = new Map<string, Map<string | number, string>>();\n  /** The members of each declared enum name, by member name. */\n  private readonly declaredMembers = new Map<string, Map<string, string | number>>();\n  /** `--enum-values` arrays added already: their declared name by name, type and values. */\n  private readonly declaredEnumValues = new Map<string, string>();\n  /** The declared `--enum-values` array names. */\n  private readonly enumValuesNames = new Set<string>();\n  private readonly sink: FooterSink;\n  private readonly isDedupingEnums: boolean;\n  private readonly sharedNames: SharedEnumNames;\n  private readonly names: RunFooterNames;\n\n  constructor(\n    sink: FooterSink,\n    isDedupingEnums: boolean,\n    sharedNames: SharedEnumNames = FIRST_SCHEMA_NAMES,\n    names: RunFooterNames = { enums: new EnumNameClaims(), operations: new OperationKeys() },\n  ) {\n    this.sink = sink;\n    this.isDedupingEnums = isDedupingEnums;\n    this.sharedNames = sharedNames;\n    this.names = names;\n  }\n\n  addEnum(request: EnumDeclarationRequest): string {\n    // The name is built before the cache lookup: it advances the naming state either way.\n    const ownName = this.naming.enumName(request.name);\n    const key = this.isDedupingEnums ? dedupeKey(request) : null;\n    // Every schema of a shared enum goes to `sharedNames`, the later ones too.\n    const sharedName = key === null ? ownName : this.sharedNames.nameOf(key, ownName, request);\n    const known = key === null ? undefined : this.enumNamesByKey.get(key);\n    if (known !== undefined) {\n      return known;\n    }\n    // The owner is the schema location: its requests share one enum, with `--dedupe-enums` too.\n    const name = this.names.enums.nameFor(sharedName, request.name);\n    // Only a repeated member fails to compile; two empty declarations merge, so they stay.\n    const declared = request.values.length > 0 ? declarationKey(name, request) : null;\n    if (declared !== null && this.declaredEnums.has(declared)) {\n      return name;\n    }\n    if (declared !== null) {\n      this.declaredEnums.add(declared);\n    }\n    const declaration = this.withoutRepeats(enumDeclaration(name, request, this.naming));\n    if (declaration !== null) {\n      this.record(declaration);\n      this.sink.add(declaration);\n    }\n    if (key !== null) {\n      this.enumNamesByKey.set(key, name);\n    }\n    return name;\n  }\n\n  /** The declaration without members an earlier one of the name has; null when none is left. */\n  private withoutRepeats(declaration: IrEnumDeclaration): IrEnumDeclaration | null {\n    const earlier: DeclaredMembers | undefined = this.declaredMembers.get(declaration.name);\n    if (earlier === undefined) {\n      return declaration;\n    }\n    const merged = withoutDeclaredMembers(declaration, earlier);\n    // Two empty declarations merge into one empty enum, which compiles, so the second stays.\n    return merged.members.length === 0 && declaration.members.length > 0 ? null : merged;\n  }\n\n  /** The members of a declaration; the first member of a value names it. */\n  private record(declaration: IrEnumDeclaration): void {\n    const byName = this.declaredMembers.get(declaration.name) ?? new Map();\n    const byValue = this.membersByEnum.get(declaration.name) ?? new Map();\n    for (const member of declaration.members) {\n      byName.set(member.name, member.value);\n      if (!byValue.has(member.value)) {\n        byValue.set(member.value, member.name);\n      }\n    }\n    this.declaredMembers.set(declaration.name, byName);\n    this.membersByEnum.set(declaration.name, byValue);\n  }\n\n  enumMembers(name: string): ReadonlyMap<string | number, string> {\n    return this.membersByEnum.get(name) ?? new Map();\n  }\n\n  addEnumValues(request: EnumValuesRequest): void {\n    const baseName = this.naming.arrayName(request.name);\n    // The same array twice fails with \"Cannot redeclare\"; a schema typed twice adds it twice.\n    const declared = JSON.stringify([baseName, request.type, request.values]);\n    if (this.declaredEnumValues.has(declared)) {\n      return;\n    }\n    const name = this.freeEnumValuesName(baseName);\n    this.declaredEnumValues.set(declared, name);\n    this.enumValuesNames.add(name);\n    this.require(HELPER_TYPES.flattenedDeepRequired);\n    this.require(HELPER_TYPES.readonlyArray);\n    this.sink.add({\n      kind: \"constArray\",\n      name,\n      isExported: true,\n      type: readonlyArrayOf(request.type),\n      values: request.values,\n      comments: [],\n    });\n  }\n\n  /**\n   * Another array may have the name: `Discount/type` and `discount/type`, or a property and an\n   * inline `allOf` item of one schema, typed at one location. A redeclared `const` does not\n   * compile, so a later one gets the next number (`discountTypeValues_2`). Every unnumbered name\n   * ends with `Values`, so a number never takes a name that a later array needs.\n   */\n  private freeEnumValuesName(name: string): string {\n    let candidate = name;\n    for (let count = 2; this.enumValuesNames.has(candidate); count++) {\n      candidate = `${name}${ENUM_VALUES_NUMBER_SEPARATOR}${count}`;\n    }\n    return candidate;\n  }\n\n  requireWithRequired(): void {\n    this.require(HELPER_TYPES.withRequired);\n  }\n\n  requirePropertyValues(): void {\n    this.require(HELPER_TYPES.propertyValues);\n  }\n\n  addOperation(build: () => IrPropertySignature): void {\n    this.sink.addOperation(build);\n  }\n\n  operationKey(operationId: string): string {\n    return this.names.operations.keyFor(operationId);\n  }\n\n  private require(helper: HelperType): void {\n    if (!this.sink.hasTypeAlias(helper.name)) {\n      this.sink.add({ kind: \"rawDeclaration\", name: helper.name, text: helper.text });\n    }\n  }\n}\n\nfunction readonlyArrayOf(type: IrType): IrType {\n  return irReference(HELPER_TYPES.readonlyArray.name, [type]);\n}\n"],"names":[],"mappings":";;;;;;;AAqCA,SAAS,UAAU,OAAA,EAAyC;AAC1D,EAAA,OAAO,CAAC,GAAG,OAAA,CAAQ,MAAM,EACtB,IAAA,CAAK,gBAAgB,CAAA,CACrB,GAAA,CAAI,CAAC,KAAA,EAAO,UAAU,WAAA,CAAY,MAAA,CAAO,KAAK,CAAA,EAAG,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC,CAAC,CAAA,CACzE,IAAA,CAAK,GAAG,CAAA;AACb;AAGA,SAAS,gBAAA,CAAiB,MAAuB,KAAA,EAAgC;AAC/E,EAAA,MAAM,QAAA,GAAW,OAAO,IAAI,CAAA;AAC5B,EAAA,MAAM,SAAA,GAAY,OAAO,KAAK,CAAA;AAC9B,EAAA,IAAI,aAAa,SAAA,EAAW;AAC1B,IAAA,OAAO,CAAA;AAAA,EACT;AACA,EAAA,OAAO,QAAA,GAAW,YAAY,EAAA,GAAK,CAAA;AACrC;AAEA,SAAS,WAAA,CAAY,OAAe,QAAA,EAAkD;AACpF,EAAA,OAAO,GAAG,QAAA,EAAU,IAAA,IAAQ,KAAK,CAAA,CAAA,EAAI,QAAA,EAAU,eAAe,EAAE,CAAA,CAAA;AAClE;AAGA,MAAM,4BAAA,GAA+B,GAAA;AAGrC,SAAS,cAAA,CAAe,MAAc,OAAA,EAAyC;AAC7E,EAAA,OAAO,IAAA,CAAK,UAAU,CAAC,IAAA,EAAM,QAAQ,MAAA,EAAQ,OAAA,CAAQ,QAAQ,CAAC,CAAA;AAChE;AAaO,MAAM,SAAA,CAAoC;AAAA,EAC9B,MAAA,GAAS,IAAI,UAAA,EAAW;AAAA,EACxB,cAAA,uBAAqB,GAAA,EAAoB;AAAA;AAAA,EAEzC,aAAA,uBAAoB,GAAA,EAAY;AAAA;AAAA,EAEhC,aAAA,uBAAoB,GAAA,EAA0C;AAAA;AAAA,EAE9D,eAAA,uBAAsB,GAAA,EAA0C;AAAA;AAAA,EAEhE,kBAAA,uBAAyB,GAAA,EAAoB;AAAA;AAAA,EAE7C,eAAA,uBAAsB,GAAA,EAAY;AAAA,EAClC,IAAA;AAAA,EACA,eAAA;AAAA,EACA,WAAA;AAAA,EACA,KAAA;AAAA,EAEjB,WAAA,CACE,IAAA,EACA,eAAA,EACA,WAAA,GAA+B,oBAC/B,KAAA,GAAwB,EAAE,KAAA,EAAO,IAAI,gBAAe,EAAG,UAAA,EAAY,IAAI,aAAA,IAAgB,EACvF;AACA,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,eAAA,GAAkB,eAAA;AACvB,IAAA,IAAA,CAAK,WAAA,GAAc,WAAA;AACnB,IAAA,IAAA,CAAK,KAAA,GAAQ,KAAA;AAAA,EACf;AAAA,EAEA,QAAQ,OAAA,EAAyC;AAE/C,IAAA,MAAM,OAAA,GAAU,IAAA,CAAK,MAAA,CAAO,QAAA,CAAS,QAAQ,IAAI,CAAA;AACjD,IAAA,MAAM,GAAA,GAAM,IAAA,CAAK,eAAA,GAAkB,SAAA,CAAU,OAAO,CAAA,GAAI,IAAA;AAExD,IAAA,MAAM,UAAA,GAAa,QAAQ,IAAA,GAAO,OAAA,GAAU,KAAK,WAAA,CAAY,MAAA,CAAO,GAAA,EAAK,OAAA,EAAS,OAAO,CAAA;AACzF,IAAA,MAAM,QAAQ,GAAA,KAAQ,IAAA,GAAO,SAAY,IAAA,CAAK,cAAA,CAAe,IAAI,GAAG,CAAA;AACpE,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AAEA,IAAA,MAAM,OAAO,IAAA,CAAK,KAAA,CAAM,MAAM,OAAA,CAAQ,UAAA,EAAY,QAAQ,IAAI,CAAA;AAE9D,IAAA,MAAM,QAAA,GAAW,QAAQ,MAAA,CAAO,MAAA,GAAS,IAAI,cAAA,CAAe,IAAA,EAAM,OAAO,CAAA,GAAI,IAAA;AAC7E,IAAA,IAAI,aAAa,IAAA,IAAQ,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzD,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,aAAa,IAAA,EAAM;AACrB,MAAA,IAAA,CAAK,aAAA,CAAc,IAAI,QAAQ,CAAA;AAAA,IACjC;AACA,IAAA,MAAM,WAAA,GAAc,KAAK,cAAA,CAAe,eAAA,CAAgB,MAAM,OAAA,EAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AACnF,IAAA,IAAI,gBAAgB,IAAA,EAAM;AACxB,MAAA,IAAA,CAAK,OAAO,WAAW,CAAA;AACvB,MAAA,IAAA,CAAK,IAAA,CAAK,IAAI,WAAW,CAAA;AAAA,IAC3B;AACA,IAAA,IAAI,QAAQ,IAAA,EAAM;AAChB,MAAA,IAAA,CAAK,cAAA,CAAe,GAAA,CAAI,GAAA,EAAK,IAAI,CAAA;AAAA,IACnC;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AAAA;AAAA,EAGQ,eAAe,WAAA,EAA0D;AAC/E,IAAA,MAAM,OAAA,GAAuC,IAAA,CAAK,eAAA,CAAgB,GAAA,CAAI,YAAY,IAAI,CAAA;AACtF,IAAA,IAAI,YAAY,MAAA,EAAW;AACzB,MAAA,OAAO,WAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAAS,sBAAA,CAAuB,WAAA,EAAa,OAAO,CAAA;AAE1D,IAAA,OAAO,MAAA,CAAO,QAAQ,MAAA,KAAW,CAAA,IAAK,YAAY,OAAA,CAAQ,MAAA,GAAS,IAAI,IAAA,GAAO,MAAA;AAAA,EAChF;AAAA;AAAA,EAGQ,OAAO,WAAA,EAAsC;AACnD,IAAA,MAAM,MAAA,GAAS,KAAK,eAAA,CAAgB,GAAA,CAAI,YAAY,IAAI,CAAA,wBAAS,GAAA,EAAI;AACrE,IAAA,MAAM,OAAA,GAAU,KAAK,aAAA,CAAc,GAAA,CAAI,YAAY,IAAI,CAAA,wBAAS,GAAA,EAAI;AACpE,IAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,MAAA,MAAA,CAAO,GAAA,CAAI,MAAA,CAAO,IAAA,EAAM,MAAA,CAAO,KAAK,CAAA;AACpC,MAAA,IAAI,CAAC,OAAA,CAAQ,GAAA,CAAI,MAAA,CAAO,KAAK,CAAA,EAAG;AAC9B,QAAA,OAAA,CAAQ,GAAA,CAAI,MAAA,CAAO,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA;AAAA,MACvC;AAAA,IACF;AACA,IAAA,IAAA,CAAK,eAAA,CAAgB,GAAA,CAAI,WAAA,CAAY,IAAA,EAAM,MAAM,CAAA;AACjD,IAAA,IAAA,CAAK,aAAA,CAAc,GAAA,CAAI,WAAA,CAAY,IAAA,EAAM,OAAO,CAAA;AAAA,EAClD;AAAA,EAEA,YAAY,IAAA,EAAoD;AAC9D,IAAA,OAAO,KAAK,aAAA,CAAc,GAAA,CAAI,IAAI,CAAA,wBAAS,GAAA,EAAI;AAAA,EACjD;AAAA,EAEA,cAAc,OAAA,EAAkC;AAC9C,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,MAAA,CAAO,SAAA,CAAU,QAAQ,IAAI,CAAA;AAEnD,IAAA,MAAM,QAAA,GAAW,KAAK,SAAA,CAAU,CAAC,UAAU,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,MAAM,CAAC,CAAA;AACxE,IAAA,IAAI,IAAA,CAAK,kBAAA,CAAmB,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzC,MAAA;AAAA,IACF;AACA,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,kBAAA,CAAmB,QAAQ,CAAA;AAC7C,IAAA,IAAA,CAAK,kBAAA,CAAmB,GAAA,CAAI,QAAA,EAAU,IAAI,CAAA;AAC1C,IAAA,IAAA,CAAK,eAAA,CAAgB,IAAI,IAAI,CAAA;AAC7B,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAa,qBAAqB,CAAA;AAC/C,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAa,aAAa,CAAA;AACvC,IAAA,IAAA,CAAK,KAAK,GAAA,CAAI;AAAA,MACZ,IAAA,EAAM,YAAA;AAAA,MACN,IAAA;AAAA,MACA,UAAA,EAAY,IAAA;AAAA,MACZ,IAAA,EAAM,eAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA;AAAA,MAClC,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,UAAU;AAAC,KACZ,CAAA;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQQ,mBAAmB,IAAA,EAAsB;AAC/C,IAAA,IAAI,SAAA,GAAY,IAAA;AAChB,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,IAAA,CAAK,gBAAgB,GAAA,CAAI,SAAS,GAAG,KAAA,EAAA,EAAS;AAChE,MAAA,SAAA,GAAY,CAAA,EAAG,IAAI,CAAA,EAAG,4BAA4B,GAAG,KAAK,CAAA,CAAA;AAAA,IAC5D;AACA,IAAA,OAAO,SAAA;AAAA,EACT;AAAA,EAEA,mBAAA,GAA4B;AAC1B,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAa,YAAY,CAAA;AAAA,EACxC;AAAA,EAEA,qBAAA,GAA8B;AAC5B,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAa,cAAc,CAAA;AAAA,EAC1C;AAAA,EAEA,aAAa,KAAA,EAAwC;AACnD,IAAA,IAAA,CAAK,IAAA,CAAK,aAAa,KAAK,CAAA;AAAA,EAC9B;AAAA,EAEA,aAAa,WAAA,EAA6B;AACxC,IAAA,OAAO,IAAA,CAAK,KAAA,CAAM,UAAA,CAAW,MAAA,CAAO,WAAW,CAAA;AAAA,EACjD;AAAA,EAEQ,QAAQ,MAAA,EAA0B;AACxC,IAAA,IAAI,CAAC,IAAA,CAAK,IAAA,CAAK,YAAA,CAAa,MAAA,CAAO,IAAI,CAAA,EAAG;AACxC,MAAA,IAAA,CAAK,IAAA,CAAK,GAAA,CAAI,EAAE,IAAA,EAAM,gBAAA,EAAkB,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,CAAA;AAAA,IAChF;AAAA,EACF;AACF;AAEA,SAAS,gBAAgB,IAAA,EAAsB;AAC7C,EAAA,OAAO,YAAY,YAAA,CAAa,aAAA,CAAc,IAAA,EAAM,CAAC,IAAI,CAAC,CAAA;AAC5D;;"}

package/dist/application/transform/footer/enum-name-claims.cjs

@@ -0,0 +1,48 @@
+'use strict';
+
+const numberedNames = require('../numbered-names.cjs');
+
+class EnumNameClaims {
+  mayBeNeeded;
+  /** The first owner of each name an enum asked for. */
+  owners = /* @__PURE__ */ new Map();
+  /** The name given to each owner, by name asked for and owner. */
+  given = /* @__PURE__ */ new Map();
+  /** Every name given, and every name the output may need. */
+  taken;
+  /** A numbered name given only because the output may need the name asked for: that name. */
+  standIns = /* @__PURE__ */ new Map();
+  /** `mayBeNeeded`: the names an enum avoids until the end of the run; empty outside a run. */
+  constructor(mayBeNeeded = /* @__PURE__ */ new Set()) {
+    this.mayBeNeeded = mayBeNeeded;
+    this.taken = new Set(mayBeNeeded);
+  }
+  /** The declaration name of the enum `owner` asks to name `name`; the same for every request. */
+  nameFor(name, owner) {
+    const key = JSON.stringify([name, owner]);
+    const known = this.given.get(key);
+    if (known !== void 0) {
+      return known;
+    }
+    const isFirstOwner = (this.owners.get(name) ?? owner) === owner;
+    this.owners.set(name, this.owners.get(name) ?? owner);
+    const isFree = isFirstOwner && !this.taken.has(name);
+    const declared = isFree ? name : numberedNames.freeNumberedName(name, this.taken);
+    if (isFirstOwner && this.mayBeNeeded.has(name)) {
+      this.standIns.set(declared, name);
+    }
+    this.taken.add(declared);
+    this.given.set(key, declared);
+    return declared;
+  }
+  /**
+   * The numbered names to rename back to the name asked for, because `needed` (the names the
+   * finished output declares or refers to) does not hold that name.
+   */
+  givenBack(needed) {
+    return new Map([...this.standIns].filter(([, name]) => !needed.has(name)));
+  }
+}
+
+exports.EnumNameClaims = EnumNameClaims;
+//# sourceMappingURL=enum-name-claims.cjs.map

package/dist/application/transform/footer/enum-name-claims.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum-name-claims.cjs","sources":["../../../../src/application/transform/footer/enum-name-claims.ts"],"sourcesContent":["import { freeNumberedName } from \"../numbered-names.js\";\n\n/**\n * The names of the `--enum` declarations of one run, unique across the enums and apart from the\n * names the rest of the output may need.\n *\n * Every enum has an owner: the schema location it is named after, or with `--dedupe-enums` its\n * members. Two owners whose names come out the same (`status` and `Status`) merged into one enum\n * before, so each accepted the values of the other (upstream behavior). Now the first owner keeps\n * the name and each later one gets the next free `Name_2`, `Name_3`, …; requests of one owner (a\n * property and an inline `allOf` item of one schema) still share one enum.\n *\n * An enum also gives way to a name the output may need, which is only known at the end: a global\n * type the output refers to (the `Blob` of `--binary-as-blob`, the `Record` of\n * `Record<string, never>`), a helper type, or `ApiPaths`. Until then it takes the numbered name;\n * `givenBack` lists the ones whose own name the output turned out not to need, so output that\n * compiled before keeps its names (ADR-021).\n */\nexport class EnumNameClaims {\n  private readonly mayBeNeeded: ReadonlySet<string>;\n  /** The first owner of each name an enum asked for. */\n  private readonly owners = new Map<string, string>();\n  /** The name given to each owner, by name asked for and owner. */\n  private readonly given = new Map<string, string>();\n  /** Every name given, and every name the output may need. */\n  private readonly taken: Set<string>;\n  /** A numbered name given only because the output may need the name asked for: that name. */\n  private readonly standIns = new Map<string, string>();\n\n  /** `mayBeNeeded`: the names an enum avoids until the end of the run; empty outside a run. */\n  constructor(mayBeNeeded: ReadonlySet<string> = new Set()) {\n    this.mayBeNeeded = mayBeNeeded;\n    this.taken = new Set(mayBeNeeded);\n  }\n\n  /** The declaration name of the enum `owner` asks to name `name`; the same for every request. */\n  nameFor(name: string, owner: string): string {\n    const key = JSON.stringify([name, owner]);\n    const known = this.given.get(key);\n    if (known !== undefined) {\n      return known;\n    }\n    const isFirstOwner = (this.owners.get(name) ?? owner) === owner;\n    this.owners.set(name, this.owners.get(name) ?? owner);\n    const isFree = isFirstOwner && !this.taken.has(name);\n    const declared = isFree ? name : freeNumberedName(name, this.taken);\n    if (isFirstOwner && this.mayBeNeeded.has(name)) {\n      this.standIns.set(declared, name);\n    }\n    this.taken.add(declared);\n    this.given.set(key, declared);\n    return declared;\n  }\n\n  /**\n   * The numbered names to rename back to the name asked for, because `needed` (the names the\n   * finished output declares or refers to) does not hold that name.\n   */\n  givenBack(needed: ReadonlySet<string>): ReadonlyMap<string, string> {\n    return new Map([...this.standIns].filter(([, name]) => !needed.has(name)));\n  }\n}\n"],"names":["freeNumberedName"],"mappings":";;;;AAkBO,MAAM,cAAA,CAAe;AAAA,EACT,WAAA;AAAA;AAAA,EAEA,MAAA,uBAAa,GAAA,EAAoB;AAAA;AAAA,EAEjC,KAAA,uBAAY,GAAA,EAAoB;AAAA;AAAA,EAEhC,KAAA;AAAA;AAAA,EAEA,QAAA,uBAAe,GAAA,EAAoB;AAAA;AAAA,EAGpD,WAAA,CAAY,WAAA,mBAAmC,IAAI,GAAA,EAAI,EAAG;AACxD,IAAA,IAAA,CAAK,WAAA,GAAc,WAAA;AACnB,IAAA,IAAA,CAAK,KAAA,GAAQ,IAAI,GAAA,CAAI,WAAW,CAAA;AAAA,EAClC;AAAA;AAAA,EAGA,OAAA,CAAQ,MAAc,KAAA,EAAuB;AAC3C,IAAA,MAAM,MAAM,IAAA,CAAK,SAAA,CAAU,CAAC,IAAA,EAAM,KAAK,CAAC,CAAA;AACxC,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,GAAG,CAAA;AAChC,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,MAAM,gBAAgB,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,IAAI,KAAK,KAAA,MAAW,KAAA;AAC1D,IAAA,IAAA,CAAK,MAAA,CAAO,IAAI,IAAA,EAAM,IAAA,CAAK,OAAO,GAAA,CAAI,IAAI,KAAK,KAAK,CAAA;AACpD,IAAA,MAAM,SAAS,YAAA,IAAgB,CAAC,IAAA,CAAK,KAAA,CAAM,IAAI,IAAI,CAAA;AACnD,IAAA,MAAM,WAAW,MAAA,GAAS,IAAA,GAAOA,8BAAA,CAAiB,IAAA,EAAM,KAAK,KAAK,CAAA;AAClE,IAAA,IAAI,YAAA,IAAgB,IAAA,CAAK,WAAA,CAAY,GAAA,CAAI,IAAI,CAAA,EAAG;AAC9C,MAAA,IAAA,CAAK,QAAA,CAAS,GAAA,CAAI,QAAA,EAAU,IAAI,CAAA;AAAA,IAClC;AACA,IAAA,IAAA,CAAK,KAAA,CAAM,IAAI,QAAQ,CAAA;AACvB,IAAA,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,GAAA,EAAK,QAAQ,CAAA;AAC5B,IAAA,OAAO,QAAA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,UAAU,MAAA,EAA0D;AAClE,IAAA,OAAO,IAAI,GAAA,CAAI,CAAC,GAAG,IAAA,CAAK,QAAQ,EAAE,MAAA,CAAO,CAAC,GAAG,IAAI,CAAA,KAAM,CAAC,OAAO,GAAA,CAAI,IAAI,CAAC,CAAC,CAAA;AAAA,EAC3E;AACF;;"}

package/dist/application/transform/footer/enum-name-claims.mjs

@@ -0,0 +1,46 @@
+import { freeNumberedName } from '../numbered-names.mjs';
+
+class EnumNameClaims {
+  mayBeNeeded;
+  /** The first owner of each name an enum asked for. */
+  owners = /* @__PURE__ */ new Map();
+  /** The name given to each owner, by name asked for and owner. */
+  given = /* @__PURE__ */ new Map();
+  /** Every name given, and every name the output may need. */
+  taken;
+  /** A numbered name given only because the output may need the name asked for: that name. */
+  standIns = /* @__PURE__ */ new Map();
+  /** `mayBeNeeded`: the names an enum avoids until the end of the run; empty outside a run. */
+  constructor(mayBeNeeded = /* @__PURE__ */ new Set()) {
+    this.mayBeNeeded = mayBeNeeded;
+    this.taken = new Set(mayBeNeeded);
+  }
+  /** The declaration name of the enum `owner` asks to name `name`; the same for every request. */
+  nameFor(name, owner) {
+    const key = JSON.stringify([name, owner]);
+    const known = this.given.get(key);
+    if (known !== void 0) {
+      return known;
+    }
+    const isFirstOwner = (this.owners.get(name) ?? owner) === owner;
+    this.owners.set(name, this.owners.get(name) ?? owner);
+    const isFree = isFirstOwner && !this.taken.has(name);
+    const declared = isFree ? name : freeNumberedName(name, this.taken);
+    if (isFirstOwner && this.mayBeNeeded.has(name)) {
+      this.standIns.set(declared, name);
+    }
+    this.taken.add(declared);
+    this.given.set(key, declared);
+    return declared;
+  }
+  /**
+   * The numbered names to rename back to the name asked for, because `needed` (the names the
+   * finished output declares or refers to) does not hold that name.
+   */
+  givenBack(needed) {
+    return new Map([...this.standIns].filter(([, name]) => !needed.has(name)));
+  }
+}
+
+export { EnumNameClaims };
+//# sourceMappingURL=enum-name-claims.mjs.map

package/dist/application/transform/footer/enum-name-claims.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum-name-claims.mjs","sources":["../../../../src/application/transform/footer/enum-name-claims.ts"],"sourcesContent":["import { freeNumberedName } from \"../numbered-names.js\";\n\n/**\n * The names of the `--enum` declarations of one run, unique across the enums and apart from the\n * names the rest of the output may need.\n *\n * Every enum has an owner: the schema location it is named after, or with `--dedupe-enums` its\n * members. Two owners whose names come out the same (`status` and `Status`) merged into one enum\n * before, so each accepted the values of the other (upstream behavior). Now the first owner keeps\n * the name and each later one gets the next free `Name_2`, `Name_3`, …; requests of one owner (a\n * property and an inline `allOf` item of one schema) still share one enum.\n *\n * An enum also gives way to a name the output may need, which is only known at the end: a global\n * type the output refers to (the `Blob` of `--binary-as-blob`, the `Record` of\n * `Record<string, never>`), a helper type, or `ApiPaths`. Until then it takes the numbered name;\n * `givenBack` lists the ones whose own name the output turned out not to need, so output that\n * compiled before keeps its names (ADR-021).\n */\nexport class EnumNameClaims {\n  private readonly mayBeNeeded: ReadonlySet<string>;\n  /** The first owner of each name an enum asked for. */\n  private readonly owners = new Map<string, string>();\n  /** The name given to each owner, by name asked for and owner. */\n  private readonly given = new Map<string, string>();\n  /** Every name given, and every name the output may need. */\n  private readonly taken: Set<string>;\n  /** A numbered name given only because the output may need the name asked for: that name. */\n  private readonly standIns = new Map<string, string>();\n\n  /** `mayBeNeeded`: the names an enum avoids until the end of the run; empty outside a run. */\n  constructor(mayBeNeeded: ReadonlySet<string> = new Set()) {\n    this.mayBeNeeded = mayBeNeeded;\n    this.taken = new Set(mayBeNeeded);\n  }\n\n  /** The declaration name of the enum `owner` asks to name `name`; the same for every request. */\n  nameFor(name: string, owner: string): string {\n    const key = JSON.stringify([name, owner]);\n    const known = this.given.get(key);\n    if (known !== undefined) {\n      return known;\n    }\n    const isFirstOwner = (this.owners.get(name) ?? owner) === owner;\n    this.owners.set(name, this.owners.get(name) ?? owner);\n    const isFree = isFirstOwner && !this.taken.has(name);\n    const declared = isFree ? name : freeNumberedName(name, this.taken);\n    if (isFirstOwner && this.mayBeNeeded.has(name)) {\n      this.standIns.set(declared, name);\n    }\n    this.taken.add(declared);\n    this.given.set(key, declared);\n    return declared;\n  }\n\n  /**\n   * The numbered names to rename back to the name asked for, because `needed` (the names the\n   * finished output declares or refers to) does not hold that name.\n   */\n  givenBack(needed: ReadonlySet<string>): ReadonlyMap<string, string> {\n    return new Map([...this.standIns].filter(([, name]) => !needed.has(name)));\n  }\n}\n"],"names":[],"mappings":";;AAkBO,MAAM,cAAA,CAAe;AAAA,EACT,WAAA;AAAA;AAAA,EAEA,MAAA,uBAAa,GAAA,EAAoB;AAAA;AAAA,EAEjC,KAAA,uBAAY,GAAA,EAAoB;AAAA;AAAA,EAEhC,KAAA;AAAA;AAAA,EAEA,QAAA,uBAAe,GAAA,EAAoB;AAAA;AAAA,EAGpD,WAAA,CAAY,WAAA,mBAAmC,IAAI,GAAA,EAAI,EAAG;AACxD,IAAA,IAAA,CAAK,WAAA,GAAc,WAAA;AACnB,IAAA,IAAA,CAAK,KAAA,GAAQ,IAAI,GAAA,CAAI,WAAW,CAAA;AAAA,EAClC;AAAA;AAAA,EAGA,OAAA,CAAQ,MAAc,KAAA,EAAuB;AAC3C,IAAA,MAAM,MAAM,IAAA,CAAK,SAAA,CAAU,CAAC,IAAA,EAAM,KAAK,CAAC,CAAA;AACxC,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,GAAG,CAAA;AAChC,IAAA,IAAI,UAAU,MAAA,EAAW;AACvB,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,MAAM,gBAAgB,IAAA,CAAK,MAAA,CAAO,GAAA,CAAI,IAAI,KAAK,KAAA,MAAW,KAAA;AAC1D,IAAA,IAAA,CAAK,MAAA,CAAO,IAAI,IAAA,EAAM,IAAA,CAAK,OAAO,GAAA,CAAI,IAAI,KAAK,KAAK,CAAA;AACpD,IAAA,MAAM,SAAS,YAAA,IAAgB,CAAC,IAAA,CAAK,KAAA,CAAM,IAAI,IAAI,CAAA;AACnD,IAAA,MAAM,WAAW,MAAA,GAAS,IAAA,GAAO,gBAAA,CAAiB,IAAA,EAAM,KAAK,KAAK,CAAA;AAClE,IAAA,IAAI,YAAA,IAAgB,IAAA,CAAK,WAAA,CAAY,GAAA,CAAI,IAAI,CAAA,EAAG;AAC9C,MAAA,IAAA,CAAK,QAAA,CAAS,GAAA,CAAI,QAAA,EAAU,IAAI,CAAA;AAAA,IAClC;AACA,IAAA,IAAA,CAAK,KAAA,CAAM,IAAI,QAAQ,CAAA;AACvB,IAAA,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,GAAA,EAAK,QAAQ,CAAA;AAC5B,IAAA,OAAO,QAAA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,UAAU,MAAA,EAA0D;AAClE,IAAA,OAAO,IAAI,GAAA,CAAI,CAAC,GAAG,IAAA,CAAK,QAAQ,EAAE,MAAA,CAAO,CAAC,GAAG,IAAI,CAAA,KAAM,CAAC,OAAO,GAAA,CAAI,IAAI,CAAC,CAAC,CAAA;AAAA,EAC3E;AACF;;"}

package/dist/application/transform/footer/operation-keys.cjs

@@ -0,0 +1,23 @@
+'use strict';
+
+class OperationKeys {
+  written;
+  taken = /* @__PURE__ */ new Set();
+  /** `written`: every operation key of the document; empty outside a document run. */
+  constructor(written = /* @__PURE__ */ new Set()) {
+    this.written = written;
+  }
+  /** The key of the next operation with this key, written or numbered. */
+  keyFor(key) {
+    let unique = key;
+    for (let count = 2; this.taken.has(unique); count += 1) {
+      const candidate = `${key}${count}`;
+      unique = this.written.has(candidate) ? unique : candidate;
+    }
+    this.taken.add(unique);
+    return unique;
+  }
+}
+
+exports.OperationKeys = OperationKeys;
+//# sourceMappingURL=operation-keys.cjs.map

package/dist/application/transform/footer/operation-keys.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation-keys.cjs","sources":["../../../../src/application/transform/footer/operation-keys.ts"],"sourcesContent":["/**\n * The keys of the `operations` interface in one run. A repeated `operationId` (Redocly warns\n * about it) gave the interface two members of one name, which did not compile (TS2300). Now the\n * first operation with an ID keeps it, and each later one gets the lowest number from 2 whose key\n * no operation of the document has: the second `listItems` is `listItems2`, the name\n * `--make-paths-enum` gives it in `ApiPaths` too. Keys follow the order the operations are\n * transformed in, which is the document order (or the `--alphabetize` order).\n */\nexport class OperationKeys {\n  private readonly written: ReadonlySet<string>;\n  private readonly taken = new Set<string>();\n\n  /** `written`: every operation key of the document; empty outside a document run. */\n  constructor(written: ReadonlySet<string> = new Set()) {\n    this.written = written;\n  }\n\n  /** The key of the next operation with this key, written or numbered. */\n  keyFor(key: string): string {\n    let unique = key;\n    for (let count = 2; this.taken.has(unique); count += 1) {\n      const candidate = `${key}${count}`;\n      unique = this.written.has(candidate) ? unique : candidate;\n    }\n    this.taken.add(unique);\n    return unique;\n  }\n}\n"],"names":[],"mappings":";;AAQO,MAAM,aAAA,CAAc;AAAA,EACR,OAAA;AAAA,EACA,KAAA,uBAAY,GAAA,EAAY;AAAA;AAAA,EAGzC,WAAA,CAAY,OAAA,mBAA+B,IAAI,GAAA,EAAI,EAAG;AACpD,IAAA,IAAA,CAAK,OAAA,GAAU,OAAA;AAAA,EACjB;AAAA;AAAA,EAGA,OAAO,GAAA,EAAqB;AAC1B,IAAA,IAAI,MAAA,GAAS,GAAA;AACb,IAAA,KAAA,IAAS,KAAA,GAAQ,GAAG,IAAA,CAAK,KAAA,CAAM,IAAI,MAAM,CAAA,EAAG,SAAS,CAAA,EAAG;AACtD,MAAA,MAAM,SAAA,GAAY,CAAA,EAAG,GAAG,CAAA,EAAG,KAAK,CAAA,CAAA;AAChC,MAAA,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,SAAS,IAAI,MAAA,GAAS,SAAA;AAAA,IAClD;AACA,IAAA,IAAA,CAAK,KAAA,CAAM,IAAI,MAAM,CAAA;AACrB,IAAA,OAAO,MAAA;AAAA,EACT;AACF;;"}

package/dist/application/transform/footer/operation-keys.mjs

@@ -0,0 +1,21 @@
+class OperationKeys {
+  written;
+  taken = /* @__PURE__ */ new Set();
+  /** `written`: every operation key of the document; empty outside a document run. */
+  constructor(written = /* @__PURE__ */ new Set()) {
+    this.written = written;
+  }
+  /** The key of the next operation with this key, written or numbered. */
+  keyFor(key) {
+    let unique = key;
+    for (let count = 2; this.taken.has(unique); count += 1) {
+      const candidate = `${key}${count}`;
+      unique = this.written.has(candidate) ? unique : candidate;
+    }
+    this.taken.add(unique);
+    return unique;
+  }
+}
+
+export { OperationKeys };
+//# sourceMappingURL=operation-keys.mjs.map

package/dist/application/transform/footer/operation-keys.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation-keys.mjs","sources":["../../../../src/application/transform/footer/operation-keys.ts"],"sourcesContent":["/**\n * The keys of the `operations` interface in one run. A repeated `operationId` (Redocly warns\n * about it) gave the interface two members of one name, which did not compile (TS2300). Now the\n * first operation with an ID keeps it, and each later one gets the lowest number from 2 whose key\n * no operation of the document has: the second `listItems` is `listItems2`, the name\n * `--make-paths-enum` gives it in `ApiPaths` too. Keys follow the order the operations are\n * transformed in, which is the document order (or the `--alphabetize` order).\n */\nexport class OperationKeys {\n  private readonly written: ReadonlySet<string>;\n  private readonly taken = new Set<string>();\n\n  /** `written`: every operation key of the document; empty outside a document run. */\n  constructor(written: ReadonlySet<string> = new Set()) {\n    this.written = written;\n  }\n\n  /** The key of the next operation with this key, written or numbered. */\n  keyFor(key: string): string {\n    let unique = key;\n    for (let count = 2; this.taken.has(unique); count += 1) {\n      const candidate = `${key}${count}`;\n      unique = this.written.has(candidate) ? unique : candidate;\n    }\n    this.taken.add(unique);\n    return unique;\n  }\n}\n"],"names":[],"mappings":"AAQO,MAAM,aAAA,CAAc;AAAA,EACR,OAAA;AAAA,EACA,KAAA,uBAAY,GAAA,EAAY;AAAA;AAAA,EAGzC,WAAA,CAAY,OAAA,mBAA+B,IAAI,GAAA,EAAI,EAAG;AACpD,IAAA,IAAA,CAAK,OAAA,GAAU,OAAA;AAAA,EACjB;AAAA;AAAA,EAGA,OAAO,GAAA,EAAqB;AAC1B,IAAA,IAAI,MAAA,GAAS,GAAA;AACb,IAAA,KAAA,IAAS,KAAA,GAAQ,GAAG,IAAA,CAAK,KAAA,CAAM,IAAI,MAAM,CAAA,EAAG,SAAS,CAAA,EAAG;AACtD,MAAA,MAAM,SAAA,GAAY,CAAA,EAAG,GAAG,CAAA,EAAG,KAAK,CAAA,CAAA;AAChC,MAAA,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,SAAS,IAAI,MAAA,GAAS,SAAA;AAAA,IAClD;AACA,IAAA,IAAA,CAAK,KAAA,CAAM,IAAI,MAAM,CAAA;AACrB,IAAA,OAAO,MAAA;AAAA,EACT;AACF;;"}