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

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

@@ -1,6 +1,7 @@
 import { irReference } from '../../../domain/ir/constructors.mjs';
 import { HELPER_TYPES } from '../helper-types.mjs';
-import { EnumNaming, enumDeclaration } from './enum-naming.mjs';
+import { EnumNaming, enumDeclaration, withoutDeclaredMembers } from './enum-naming.mjs';
+import { FIRST_SCHEMA_NAMES } from './shared-enum-names.mjs';
 
 function dedupeKey(request) {
   return [...request.values].sort(compareAsStrings).map((value, index) => metadataKey(String(value), request.metadata[index])).join(",");
@@ -16,6 +17,7 @@ function compareAsStrings(left, right) {
 function metadataKey(value, metadata) {
   return `${metadata?.name ?? value}:${metadata?.description || ""}`;
 }
+const ENUM_VALUES_NUMBER_SEPARATOR = "_";
 function declarationKey(name, request) {
   return JSON.stringify([name, request.values, request.metadata]);
 }
@@ -24,15 +26,26 @@ class RunFooter {
   enumNamesByKey = /* @__PURE__ */ new Map();
   /** Declarations added already: the same one twice fails with "Duplicate identifier". */
   declaredEnums = /* @__PURE__ */ new Set();
+  /** The member names of each declared enum, by value. */
+  membersByEnum = /* @__PURE__ */ new Map();
+  /** The members of each declared enum name, by member name. */
+  declaredMembers = /* @__PURE__ */ new Map();
+  /** `--enum-values` arrays added already: their declared name by name, type and values. */
+  declaredEnumValues = /* @__PURE__ */ new Map();
+  /** The declared `--enum-values` array names. */
+  enumValuesNames = /* @__PURE__ */ new Set();
   sink;
   isDedupingEnums;
-  constructor(sink, isDedupingEnums) {
+  sharedNames;
+  constructor(sink, isDedupingEnums, sharedNames = FIRST_SCHEMA_NAMES) {
     this.sink = sink;
     this.isDedupingEnums = isDedupingEnums;
+    this.sharedNames = sharedNames;
   }
   addEnum(request) {
-    const name = this.naming.enumName(request.name);
+    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 known = key === null ? void 0 : this.enumNamesByKey.get(key);
     if (known !== void 0) {
       return known;
@@ -44,14 +57,50 @@ class RunFooter {
     if (declared !== null) {
       this.declaredEnums.add(declared);
     }
-    this.sink.add(enumDeclaration(name, request, this.naming));
+    const declaration = this.withoutRepeats(enumDeclaration(name, request, this.naming));
+    if (declaration !== null) {
+      this.record(declaration);
+      this.sink.add(declaration);
+    }
     if (key !== null) {
       this.enumNamesByKey.set(key, name);
     }
     return name;
   }
+  /** The declaration without members an earlier one of the name has; null when none is left. */
+  withoutRepeats(declaration) {
+    const earlier = this.declaredMembers.get(declaration.name);
+    if (earlier === void 0) {
+      return declaration;
+    }
+    const merged = withoutDeclaredMembers(declaration, earlier);
+    return merged.members.length === 0 && declaration.members.length > 0 ? null : merged;
+  }
+  /** The members of a declaration; the first member of a value names it. */
+  record(declaration) {
+    const byName = this.declaredMembers.get(declaration.name) ?? /* @__PURE__ */ new Map();
+    const byValue = this.membersByEnum.get(declaration.name) ?? /* @__PURE__ */ new Map();
+    for (const member of declaration.members) {
+      byName.set(member.name, member.value);
+      if (!byValue.has(member.value)) {
+        byValue.set(member.value, member.name);
+      }
+    }
+    this.declaredMembers.set(declaration.name, byName);
+    this.membersByEnum.set(declaration.name, byValue);
+  }
+  enumMembers(name) {
+    return this.membersByEnum.get(name) ?? /* @__PURE__ */ new Map();
+  }
   addEnumValues(request) {
-    const name = this.naming.arrayName(request.name);
+    const baseName = this.naming.arrayName(request.name);
+    const declared = JSON.stringify([baseName, request.type, request.values]);
+    if (this.declaredEnumValues.has(declared)) {
+      return;
+    }
+    const name = this.freeEnumValuesName(baseName);
+    this.declaredEnumValues.set(declared, name);
+    this.enumValuesNames.add(name);
     this.require(HELPER_TYPES.flattenedDeepRequired);
     this.require(HELPER_TYPES.readonlyArray);
     this.sink.add({
@@ -63,6 +112,19 @@ class RunFooter {
       comments: []
     });
   }
+  /**
+   * Another array may have the name: `Discount/type` and `discount/type`, or a property and an
+   * inline `allOf` item of one schema, typed at one location. A redeclared `const` does not
+   * compile, so a later one gets the next number (`discountTypeValues_2`). Every unnumbered name
+   * ends with `Values`, so a number never takes a name that a later array needs.
+   */
+  freeEnumValuesName(name) {
+    let candidate = name;
+    for (let count = 2; this.enumValuesNames.has(candidate); count++) {
+      candidate = `${name}${ENUM_VALUES_NUMBER_SEPARATOR}${count}`;
+    }
+    return candidate;
+  }
   requireWithRequired() {
     this.require(HELPER_TYPES.withRequired);
   }

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 { IrDeclaration, IrPropertySignature, IrType } 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 { EnumNaming, enumDeclaration } from \"./enum-naming.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/** 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  private readonly sink: FooterSink;\n  private readonly isDedupingEnums: boolean;\n\n  constructor(sink: FooterSink, isDedupingEnums: boolean) {\n    this.sink = sink;\n    this.isDedupingEnums = isDedupingEnums;\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 name = this.naming.enumName(request.name);\n    const key = this.isDedupingEnums ? dedupeKey(request) : null;\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    this.sink.add(enumDeclaration(name, request, this.naming));\n    if (key !== null) {\n      this.enumNamesByKey.set(key, name);\n    }\n    return name;\n  }\n\n  addEnumValues(request: EnumValuesRequest): void {\n    const name = this.naming.arrayName(request.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  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":";;;;AAwBA,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,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,EAChC,IAAA;AAAA,EACA,eAAA;AAAA,EAEjB,WAAA,CAAY,MAAkB,eAAA,EAA0B;AACtD,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,eAAA,GAAkB,eAAA;AAAA,EACzB;AAAA,EAEA,QAAQ,OAAA,EAAyC;AAE/C,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,MAAA,CAAO,QAAA,CAAS,QAAQ,IAAI,CAAA;AAC9C,IAAA,MAAM,GAAA,GAAM,IAAA,CAAK,eAAA,GAAkB,SAAA,CAAU,OAAO,CAAA,GAAI,IAAA;AACxD,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,IAAA,CAAK,KAAK,GAAA,CAAI,eAAA,CAAgB,MAAM,OAAA,EAAS,IAAA,CAAK,MAAM,CAAC,CAAA;AACzD,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,EAEA,cAAc,OAAA,EAAkC;AAC9C,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,MAAA,CAAO,SAAA,CAAU,QAAQ,IAAI,CAAA;AAC/C,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,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 {\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;;"}

package/dist/application/transform/footer/enum-naming.cjs

@@ -112,10 +112,27 @@ function enumDeclaration(name, members, naming) {
     comments: []
   };
 }
+function withoutDeclaredMembers(declaration, declared) {
+  const taken = new Set(declared.keys());
+  const members = [];
+  for (const member of declaration.members) {
+    if (declared.get(member.name) === member.value) {
+      continue;
+    }
+    let name = member.name;
+    for (let count = 2; taken.has(name); count++) {
+      name = numberedMemberName(member.name, count);
+    }
+    taken.add(name);
+    members.push(name === member.name ? member : { ...member, name });
+  }
+  return { ...declaration, members };
+}
 
 exports.EmptyEnumNameError = EmptyEnumNameError;
 exports.EnumNaming = EnumNaming;
 exports.enumDeclaration = enumDeclaration;
 exports.enumMemberDescription = enumMemberDescription;
 exports.quotedMemberName = quotedMemberName;
+exports.withoutDeclaredMembers = withoutDeclaredMembers;
 //# sourceMappingURL=enum-naming.cjs.map

package/dist/application/transform/footer/enum-naming.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"enum-naming.cjs","sources":["../../../../src/application/transform/footer/enum-naming.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport type { IrComment, IrEnumDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { withNumberedRepeats } from \"../numbered-names.js\";\n\nconst IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z_$0-9]*$/;\n/** A run of invalid characters and the character after it, which starts the next word. */\nconst INVALID_RUN_THEN_CHARACTER_RE = /[^A-Za-z_$0-9]+(.)?/g;\nconst INVALID_RUN_RE = /[^A-Za-z_$0-9]+/;\nconst INVALID_RUNS_RE = /[^A-Za-z_$0-9]+/g;\nconst INVALID_CHARACTER_RE = /[^A-Za-z_$0-9]/;\nconst STARTS_WITH_DIGIT_RE = /^[0-9]/;\n/** Invalid character runs with a readable replacement; any other run becomes `_`. */\nconst SPECIAL_CHARACTERS: ReadonlyMap<string, string> = new Map([[\"+\", \"Plus\"]]);\nconst NUMBER_PREFIX = \"Value\";\nconst NEGATIVE_PREFIX = \"ValueMinus\";\n\nexport class EmptyEnumNameError extends OpenAPITypesafeError {\n  constructor(name: string) {\n    super({\n      code: ERROR_CODES.ENUM_NAME_EMPTY,\n      message: `Cannot build an enum or enum values name from \"${name}\": no valid characters`,\n      details: { name },\n    });\n    this.name = \"EmptyEnumNameError\";\n  }\n}\n\n/** Metadata of one enum member (`x-enum-varnames`, `x-enum-descriptions`). */\nexport interface EnumMemberNaming {\n  readonly name?: string | undefined;\n  readonly description?: string | null | undefined;\n}\n\n/**\n * Names of `--enum` declarations, their members and `--enum-values` arrays, as the original\n * builds them. One instance per run.\n *\n * The original checks the character after an invalid run with a global regex and `.test()`,\n * which keeps `lastIndex`: after a check that finds an invalid character, the next check fails,\n * and a later member name with invalid characters resets it. `isNextCheckSkipped` keeps that\n * behavior within a run (research/legacy-bugs.md, item 2; fixed in Phase 7).\n */\nexport class EnumNaming {\n  private isNextCheckSkipped = false;\n\n  /** `my-status` → `MyStatus`. */\n  enumName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toUpperCase()}${sanitized.substring(1)}`;\n  }\n\n  /** `MyStatusValues` → `myStatusValues`. */\n  arrayName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toLowerCase()}${sanitized.substring(1)}`;\n  }\n\n  /** A member name: a valid identifier, a rewritten one, or a quoted name. */\n  memberName(value: string | number, metadata: EnumMemberNaming = {}): string {\n    const name = metadata.name ?? String(value);\n    if (IDENTIFIER_RE.test(name)) {\n      return name;\n    }\n    // The original runs a global `match` here, which resets the regex state.\n    this.isNextCheckSkipped = false;\n    const prefixed = prefixedMemberName(name);\n    const invalidRun = INVALID_RUN_RE.exec(prefixed);\n    if (!invalidRun) {\n      // Only the empty name has no invalid run and is no identifier (upstream #2807).\n      return prefixed === \"\" ? quotedMemberName(prefixed) : prefixed;\n    }\n    return invalidRun[0] === prefixed\n      ? quotedMemberName(prefixed)\n      : prefixed.replace(INVALID_RUNS_RE, (run) => SPECIAL_CHARACTERS.get(run) ?? \"_\");\n  }\n\n  private sanitize(name: string): string {\n    const sanitized = name.replace(INVALID_RUN_THEN_CHARACTER_RE, (run) => {\n      const next = run.charAt(run.length - 1);\n      return this.isInvalid(next) ? \"\" : next.toUpperCase();\n    });\n    // The original prefixed the unsanitized name, which kept invalid characters after a leading\n    // digit, and missed a digit that only became first after sanitizing (research/legacy-bugs.md,\n    // item 15). Prefixing the sanitized name gives the same name wherever the original was valid.\n    return STARTS_WITH_DIGIT_RE.test(sanitized) ? `${NUMBER_PREFIX}${sanitized}` : sanitized;\n  }\n\n  private isInvalid(character: string): boolean {\n    if (this.isNextCheckSkipped) {\n      this.isNextCheckSkipped = false;\n      return false;\n    }\n    this.isNextCheckSkipped = INVALID_CHARACTER_RE.test(character);\n    return this.isNextCheckSkipped;\n  }\n}\n\nfunction firstCharacter(sanitized: string, name: string): string {\n  const first = sanitized[0];\n  if (first === undefined) {\n    throw new EmptyEnumNameError(name);\n  }\n  return first;\n}\n\n/**\n * A string-literal member name. The original wrapped the name in quotes without escaping, so `\\`\n * and `\"` gave invalid output (upstream #2614); a JSON string is a valid TypeScript string.\n */\nexport function quotedMemberName(name: string): string {\n  return JSON.stringify(name);\n}\n\nfunction prefixedMemberName(name: string): string {\n  if (Number(name[0]) >= 0) {\n    // Only the first dot: `1.5` → `Value1_5`.\n    return `${NUMBER_PREFIX}${name}`.replace(\".\", \"_\");\n  }\n  return name[0] === \"-\" ? `${NEGATIVE_PREFIX}${name.slice(1)}` : name;\n}\n\n/** Every line terminator of JavaScript, which would end a `//` comment. */\nconst LINE_TERMINATORS_RE = /\\r\\n|[\\n\\r\\u2028\\u2029]/g;\n\n/** The text of a member's `//` comment: trimmed, on one line; empty when there is none. */\nexport function enumMemberDescription(description: string | null | undefined): string {\n  return description?.trim().replace(LINE_TERMINATORS_RE, \" \") ?? \"\";\n}\n\n/**\n * The member comment: the trimmed description as a line comment, as in the original. Line breaks\n * become spaces: in a `//` comment they ended the comment early (upstream #2838).\n */\nfunction enumMemberComments(metadata: EnumMemberNaming = {}): IrComment[] {\n  const description = enumMemberDescription(metadata.description);\n  return description ? [{ kind: \"line\", text: ` ${description}` }] : [];\n}\n\n/** The members of an enum, by value, with optional metadata at the same index. */\nexport interface EnumMembers {\n  readonly values: readonly (string | number)[];\n  readonly metadata: readonly (EnumMemberNaming | undefined)[];\n}\n\n/** Separates a repeated member name from its number: `reactions_1` → `reactions_1_2`. */\nconst MEMBER_NUMBER_SEPARATOR = \"_\";\n\n/** The `count`-th use of a member name; a quoted name gets the number inside the quotes. */\nfunction numberedMemberName(name: string, count: number): string {\n  const isQuoted = name.startsWith('\"');\n  const raw = isQuoted ? (JSON.parse(name) as string) : name;\n  const numbered = `${raw}${MEMBER_NUMBER_SEPARATOR}${count}`;\n  return isQuoted ? quotedMemberName(numbered) : numbered;\n}\n\n/**\n * An exported enum with an already built `name`; member names advance the naming state. Values\n * whose names come out the same (`reactions-+1` and `reactions--1` are both `reactions_1`) would\n * not compile, so a repeated name gets a number (`reactions_1_2`).\n */\nexport function enumDeclaration(\n  name: string,\n  members: EnumMembers,\n  naming: EnumNaming,\n): IrEnumDeclaration {\n  const names = members.values.map((value, index) =>\n    naming.memberName(value, members.metadata[index]),\n  );\n  const uniqueNames = withNumberedRepeats(names, numberedMemberName);\n  return {\n    kind: \"enum\",\n    name,\n    isExported: true,\n    members: members.values.map((value, index) => ({\n      name: uniqueNames[index] as string,\n      value,\n      comments: enumMemberComments(members.metadata[index]),\n    })),\n    comments: [],\n  };\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES","withNumberedRepeats"],"mappings":";;;;;AAIA,MAAM,aAAA,GAAgB,4BAAA;AAEtB,MAAM,6BAAA,GAAgC,sBAAA;AACtC,MAAM,cAAA,GAAiB,iBAAA;AACvB,MAAM,eAAA,GAAkB,kBAAA;AACxB,MAAM,oBAAA,GAAuB,gBAAA;AAC7B,MAAM,oBAAA,GAAuB,QAAA;AAE7B,MAAM,kBAAA,uBAAsD,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,MAAM,CAAC,CAAC,CAAA;AAC/E,MAAM,aAAA,GAAgB,OAAA;AACtB,MAAM,eAAA,GAAkB,YAAA;AAEjB,MAAM,2BAA2BA,2BAAA,CAAqB;AAAA,EAC3D,YAAY,IAAA,EAAc;AACxB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAMC,kBAAA,CAAY,eAAA;AAAA,MAClB,OAAA,EAAS,kDAAkD,IAAI,CAAA,sBAAA,CAAA;AAAA,MAC/D,OAAA,EAAS,EAAE,IAAA;AAAK,KACjB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AAAA,EACd;AACF;AAiBO,MAAM,UAAA,CAAW;AAAA,EACd,kBAAA,GAAqB,KAAA;AAAA;AAAA,EAG7B,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAU,IAAA,EAAsB;AAC9B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAA,CAAW,KAAA,EAAwB,QAAA,GAA6B,EAAC,EAAW;AAC1E,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,IAAA,IAAQ,MAAA,CAAO,KAAK,CAAA;AAC1C,IAAA,IAAI,aAAA,CAAc,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,IAAA,MAAM,QAAA,GAAW,mBAAmB,IAAI,CAAA;AACxC,IAAA,MAAM,UAAA,GAAa,cAAA,CAAe,IAAA,CAAK,QAAQ,CAAA;AAC/C,IAAA,IAAI,CAAC,UAAA,EAAY;AAEf,MAAA,OAAO,QAAA,KAAa,EAAA,GAAK,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AAAA,IACxD;AACA,IAAA,OAAO,WAAW,CAAC,CAAA,KAAM,QAAA,GACrB,gBAAA,CAAiB,QAAQ,CAAA,GACzB,QAAA,CAAS,OAAA,CAAQ,eAAA,EAAiB,CAAC,GAAA,KAAQ,kBAAA,CAAmB,GAAA,CAAI,GAAG,KAAK,GAAG,CAAA;AAAA,EACnF;AAAA,EAEQ,SAAS,IAAA,EAAsB;AACrC,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,OAAA,CAAQ,6BAAA,EAA+B,CAAC,GAAA,KAAQ;AACrE,MAAA,MAAM,IAAA,GAAO,GAAA,CAAI,MAAA,CAAO,GAAA,CAAI,SAAS,CAAC,CAAA;AACtC,MAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,GAAI,EAAA,GAAK,KAAK,WAAA,EAAY;AAAA,IACtD,CAAC,CAAA;AAID,IAAA,OAAO,oBAAA,CAAqB,KAAK,SAAS,CAAA,GAAI,GAAG,aAAa,CAAA,EAAG,SAAS,CAAA,CAAA,GAAK,SAAA;AAAA,EACjF;AAAA,EAEQ,UAAU,SAAA,EAA4B;AAC5C,IAAA,IAAI,KAAK,kBAAA,EAAoB;AAC3B,MAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,IAAA,CAAK,kBAAA,GAAqB,oBAAA,CAAqB,IAAA,CAAK,SAAS,CAAA;AAC7D,IAAA,OAAO,IAAA,CAAK,kBAAA;AAAA,EACd;AACF;AAEA,SAAS,cAAA,CAAe,WAAmB,IAAA,EAAsB;AAC/D,EAAA,MAAM,KAAA,GAAQ,UAAU,CAAC,CAAA;AACzB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,mBAAmB,IAAI,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,iBAAiB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,UAAU,IAAI,CAAA;AAC5B;AAEA,SAAS,mBAAmB,IAAA,EAAsB;AAChD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,CAAC,CAAC,KAAK,CAAA,EAAG;AAExB,IAAA,OAAO,GAAG,aAAa,CAAA,EAAG,IAAI,CAAA,CAAA,CAAG,OAAA,CAAQ,KAAK,GAAG,CAAA;AAAA,EACnD;AACA,EAAA,OAAO,IAAA,CAAK,CAAC,CAAA,KAAM,GAAA,GAAM,CAAA,EAAG,eAAe,CAAA,EAAG,IAAA,CAAK,KAAA,CAAM,CAAC,CAAC,CAAA,CAAA,GAAK,IAAA;AAClE;AAGA,MAAM,mBAAA,GAAsB,0BAAA;AAGrB,SAAS,sBAAsB,WAAA,EAAgD;AACpF,EAAA,OAAO,aAAa,IAAA,EAAK,CAAE,OAAA,CAAQ,mBAAA,EAAqB,GAAG,CAAA,IAAK,EAAA;AAClE;AAMA,SAAS,kBAAA,CAAmB,QAAA,GAA6B,EAAC,EAAgB;AACxE,EAAA,MAAM,WAAA,GAAc,qBAAA,CAAsB,QAAA,CAAS,WAAW,CAAA;AAC9D,EAAA,OAAO,WAAA,GAAc,CAAC,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,CAAA,CAAA,EAAI,WAAW,CAAA,CAAA,EAAI,CAAA,GAAI,EAAC;AACtE;AASA,MAAM,uBAAA,GAA0B,GAAA;AAGhC,SAAS,kBAAA,CAAmB,MAAc,KAAA,EAAuB;AAC/D,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,UAAA,CAAW,GAAG,CAAA;AACpC,EAAA,MAAM,GAAA,GAAM,QAAA,GAAY,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA,GAAe,IAAA;AACtD,EAAA,MAAM,WAAW,CAAA,EAAG,GAAG,CAAA,EAAG,uBAAuB,GAAG,KAAK,CAAA,CAAA;AACzD,EAAA,OAAO,QAAA,GAAW,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AACjD;AAOO,SAAS,eAAA,CACd,IAAA,EACA,OAAA,EACA,MAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,QAAQ,MAAA,CAAO,GAAA;AAAA,IAAI,CAAC,OAAO,KAAA,KACvC,MAAA,CAAO,WAAW,KAAA,EAAO,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,GAClD;AACA,EAAA,MAAM,WAAA,GAAcC,iCAAA,CAAoB,KAAA,EAAO,kBAAkB,CAAA;AACjE,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,MAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA,IACZ,SAAS,OAAA,CAAQ,MAAA,CAAO,GAAA,CAAI,CAAC,OAAO,KAAA,MAAW;AAAA,MAC7C,IAAA,EAAM,YAAY,KAAK,CAAA;AAAA,MACvB,KAAA;AAAA,MACA,QAAA,EAAU,kBAAA,CAAmB,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,KACtD,CAAE,CAAA;AAAA,IACF,UAAU;AAAC,GACb;AACF;;;;;;"}
+{"version":3,"file":"enum-naming.cjs","sources":["../../../../src/application/transform/footer/enum-naming.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport type { IrComment, IrEnumDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { withNumberedRepeats } from \"../numbered-names.js\";\n\nconst IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z_$0-9]*$/;\n/** A run of invalid characters and the character after it, which starts the next word. */\nconst INVALID_RUN_THEN_CHARACTER_RE = /[^A-Za-z_$0-9]+(.)?/g;\nconst INVALID_RUN_RE = /[^A-Za-z_$0-9]+/;\nconst INVALID_RUNS_RE = /[^A-Za-z_$0-9]+/g;\nconst INVALID_CHARACTER_RE = /[^A-Za-z_$0-9]/;\nconst STARTS_WITH_DIGIT_RE = /^[0-9]/;\n/** Invalid character runs with a readable replacement; any other run becomes `_`. */\nconst SPECIAL_CHARACTERS: ReadonlyMap<string, string> = new Map([[\"+\", \"Plus\"]]);\nconst NUMBER_PREFIX = \"Value\";\nconst NEGATIVE_PREFIX = \"ValueMinus\";\n\nexport class EmptyEnumNameError extends OpenAPITypesafeError {\n  constructor(name: string) {\n    super({\n      code: ERROR_CODES.ENUM_NAME_EMPTY,\n      message: `Cannot build an enum or enum values name from \"${name}\": no valid characters`,\n      details: { name },\n    });\n    this.name = \"EmptyEnumNameError\";\n  }\n}\n\n/** Metadata of one enum member (`x-enum-varnames`, `x-enum-descriptions`). */\nexport interface EnumMemberNaming {\n  readonly name?: string | undefined;\n  readonly description?: string | null | undefined;\n}\n\n/**\n * Names of `--enum` declarations, their members and `--enum-values` arrays, as the original\n * builds them. One instance per run.\n *\n * The original checks the character after an invalid run with a global regex and `.test()`,\n * which keeps `lastIndex`: after a check that finds an invalid character, the next check fails,\n * and a later member name with invalid characters resets it. `isNextCheckSkipped` keeps that\n * behavior within a run (research/legacy-bugs.md, item 2; fixed in Phase 7).\n */\nexport class EnumNaming {\n  private isNextCheckSkipped = false;\n\n  /** `my-status` → `MyStatus`. */\n  enumName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toUpperCase()}${sanitized.substring(1)}`;\n  }\n\n  /** `MyStatusValues` → `myStatusValues`. */\n  arrayName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toLowerCase()}${sanitized.substring(1)}`;\n  }\n\n  /** A member name: a valid identifier, a rewritten one, or a quoted name. */\n  memberName(value: string | number, metadata: EnumMemberNaming = {}): string {\n    const name = metadata.name ?? String(value);\n    if (IDENTIFIER_RE.test(name)) {\n      return name;\n    }\n    // The original runs a global `match` here, which resets the regex state.\n    this.isNextCheckSkipped = false;\n    const prefixed = prefixedMemberName(name);\n    const invalidRun = INVALID_RUN_RE.exec(prefixed);\n    if (!invalidRun) {\n      // Only the empty name has no invalid run and is no identifier (upstream #2807).\n      return prefixed === \"\" ? quotedMemberName(prefixed) : prefixed;\n    }\n    return invalidRun[0] === prefixed\n      ? quotedMemberName(prefixed)\n      : prefixed.replace(INVALID_RUNS_RE, (run) => SPECIAL_CHARACTERS.get(run) ?? \"_\");\n  }\n\n  private sanitize(name: string): string {\n    const sanitized = name.replace(INVALID_RUN_THEN_CHARACTER_RE, (run) => {\n      const next = run.charAt(run.length - 1);\n      return this.isInvalid(next) ? \"\" : next.toUpperCase();\n    });\n    // The original prefixed the unsanitized name, which kept invalid characters after a leading\n    // digit, and missed a digit that only became first after sanitizing (research/legacy-bugs.md,\n    // item 15). Prefixing the sanitized name gives the same name wherever the original was valid.\n    return STARTS_WITH_DIGIT_RE.test(sanitized) ? `${NUMBER_PREFIX}${sanitized}` : sanitized;\n  }\n\n  private isInvalid(character: string): boolean {\n    if (this.isNextCheckSkipped) {\n      this.isNextCheckSkipped = false;\n      return false;\n    }\n    this.isNextCheckSkipped = INVALID_CHARACTER_RE.test(character);\n    return this.isNextCheckSkipped;\n  }\n}\n\nfunction firstCharacter(sanitized: string, name: string): string {\n  const first = sanitized[0];\n  if (first === undefined) {\n    throw new EmptyEnumNameError(name);\n  }\n  return first;\n}\n\n/**\n * A string-literal member name. The original wrapped the name in quotes without escaping, so `\\`\n * and `\"` gave invalid output (upstream #2614); a JSON string is a valid TypeScript string.\n */\nexport function quotedMemberName(name: string): string {\n  return JSON.stringify(name);\n}\n\nfunction prefixedMemberName(name: string): string {\n  if (Number(name[0]) >= 0) {\n    // Only the first dot: `1.5` → `Value1_5`.\n    return `${NUMBER_PREFIX}${name}`.replace(\".\", \"_\");\n  }\n  return name[0] === \"-\" ? `${NEGATIVE_PREFIX}${name.slice(1)}` : name;\n}\n\n/** Every line terminator of JavaScript, which would end a `//` comment. */\nconst LINE_TERMINATORS_RE = /\\r\\n|[\\n\\r\\u2028\\u2029]/g;\n\n/** The text of a member's `//` comment: trimmed, on one line; empty when there is none. */\nexport function enumMemberDescription(description: string | null | undefined): string {\n  return description?.trim().replace(LINE_TERMINATORS_RE, \" \") ?? \"\";\n}\n\n/**\n * The member comment: the trimmed description as a line comment, as in the original. Line breaks\n * become spaces: in a `//` comment they ended the comment early (upstream #2838).\n */\nfunction enumMemberComments(metadata: EnumMemberNaming = {}): IrComment[] {\n  const description = enumMemberDescription(metadata.description);\n  return description ? [{ kind: \"line\", text: ` ${description}` }] : [];\n}\n\n/** The members of an enum, by value, with optional metadata at the same index. */\nexport interface EnumMembers {\n  readonly values: readonly (string | number)[];\n  readonly metadata: readonly (EnumMemberNaming | undefined)[];\n}\n\n/** Separates a repeated member name from its number: `reactions_1` → `reactions_1_2`. */\nconst MEMBER_NUMBER_SEPARATOR = \"_\";\n\n/** The `count`-th use of a member name; a quoted name gets the number inside the quotes. */\nfunction numberedMemberName(name: string, count: number): string {\n  const isQuoted = name.startsWith('\"');\n  const raw = isQuoted ? (JSON.parse(name) as string) : name;\n  const numbered = `${raw}${MEMBER_NUMBER_SEPARATOR}${count}`;\n  return isQuoted ? quotedMemberName(numbered) : numbered;\n}\n\n/**\n * An exported enum with an already built `name`; member names advance the naming state. Values\n * whose names come out the same (`reactions-+1` and `reactions--1` are both `reactions_1`) would\n * not compile, so a repeated name gets a number (`reactions_1_2`).\n */\nexport function enumDeclaration(\n  name: string,\n  members: EnumMembers,\n  naming: EnumNaming,\n): IrEnumDeclaration {\n  const names = members.values.map((value, index) =>\n    naming.memberName(value, members.metadata[index]),\n  );\n  const uniqueNames = withNumberedRepeats(names, numberedMemberName);\n  return {\n    kind: \"enum\",\n    name,\n    isExported: true,\n    members: members.values.map((value, index) => ({\n      name: uniqueNames[index] as string,\n      value,\n      comments: enumMemberComments(members.metadata[index]),\n    })),\n    comments: [],\n  };\n}\n\n/** The member names an enum name has so far, with their values. */\nexport type DeclaredMembers = ReadonlyMap<string, string | number>;\n\n/**\n * A later declaration of an enum name merges with the earlier ones, and a member name declared\n * twice does not compile (TS2300): a property and an inline `allOf` item of one schema give one\n * name. A member that repeats one by name and value is left out; one whose name another value has\n * gets the next free number (`a_b_2`).\n */\nexport function withoutDeclaredMembers(\n  declaration: IrEnumDeclaration,\n  declared: DeclaredMembers,\n): IrEnumDeclaration {\n  const taken = new Set(declared.keys());\n  const members: IrEnumDeclaration[\"members\"][number][] = [];\n  for (const member of declaration.members) {\n    if (declared.get(member.name) === member.value) {\n      continue;\n    }\n    let name = member.name;\n    for (let count = 2; taken.has(name); count++) {\n      name = numberedMemberName(member.name, count);\n    }\n    taken.add(name);\n    members.push(name === member.name ? member : { ...member, name });\n  }\n  return { ...declaration, members };\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES","withNumberedRepeats"],"mappings":";;;;;AAIA,MAAM,aAAA,GAAgB,4BAAA;AAEtB,MAAM,6BAAA,GAAgC,sBAAA;AACtC,MAAM,cAAA,GAAiB,iBAAA;AACvB,MAAM,eAAA,GAAkB,kBAAA;AACxB,MAAM,oBAAA,GAAuB,gBAAA;AAC7B,MAAM,oBAAA,GAAuB,QAAA;AAE7B,MAAM,kBAAA,uBAAsD,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,MAAM,CAAC,CAAC,CAAA;AAC/E,MAAM,aAAA,GAAgB,OAAA;AACtB,MAAM,eAAA,GAAkB,YAAA;AAEjB,MAAM,2BAA2BA,2BAAA,CAAqB;AAAA,EAC3D,YAAY,IAAA,EAAc;AACxB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAMC,kBAAA,CAAY,eAAA;AAAA,MAClB,OAAA,EAAS,kDAAkD,IAAI,CAAA,sBAAA,CAAA;AAAA,MAC/D,OAAA,EAAS,EAAE,IAAA;AAAK,KACjB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AAAA,EACd;AACF;AAiBO,MAAM,UAAA,CAAW;AAAA,EACd,kBAAA,GAAqB,KAAA;AAAA;AAAA,EAG7B,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAU,IAAA,EAAsB;AAC9B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAA,CAAW,KAAA,EAAwB,QAAA,GAA6B,EAAC,EAAW;AAC1E,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,IAAA,IAAQ,MAAA,CAAO,KAAK,CAAA;AAC1C,IAAA,IAAI,aAAA,CAAc,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,IAAA,MAAM,QAAA,GAAW,mBAAmB,IAAI,CAAA;AACxC,IAAA,MAAM,UAAA,GAAa,cAAA,CAAe,IAAA,CAAK,QAAQ,CAAA;AAC/C,IAAA,IAAI,CAAC,UAAA,EAAY;AAEf,MAAA,OAAO,QAAA,KAAa,EAAA,GAAK,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AAAA,IACxD;AACA,IAAA,OAAO,WAAW,CAAC,CAAA,KAAM,QAAA,GACrB,gBAAA,CAAiB,QAAQ,CAAA,GACzB,QAAA,CAAS,OAAA,CAAQ,eAAA,EAAiB,CAAC,GAAA,KAAQ,kBAAA,CAAmB,GAAA,CAAI,GAAG,KAAK,GAAG,CAAA;AAAA,EACnF;AAAA,EAEQ,SAAS,IAAA,EAAsB;AACrC,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,OAAA,CAAQ,6BAAA,EAA+B,CAAC,GAAA,KAAQ;AACrE,MAAA,MAAM,IAAA,GAAO,GAAA,CAAI,MAAA,CAAO,GAAA,CAAI,SAAS,CAAC,CAAA;AACtC,MAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,GAAI,EAAA,GAAK,KAAK,WAAA,EAAY;AAAA,IACtD,CAAC,CAAA;AAID,IAAA,OAAO,oBAAA,CAAqB,KAAK,SAAS,CAAA,GAAI,GAAG,aAAa,CAAA,EAAG,SAAS,CAAA,CAAA,GAAK,SAAA;AAAA,EACjF;AAAA,EAEQ,UAAU,SAAA,EAA4B;AAC5C,IAAA,IAAI,KAAK,kBAAA,EAAoB;AAC3B,MAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,IAAA,CAAK,kBAAA,GAAqB,oBAAA,CAAqB,IAAA,CAAK,SAAS,CAAA;AAC7D,IAAA,OAAO,IAAA,CAAK,kBAAA;AAAA,EACd;AACF;AAEA,SAAS,cAAA,CAAe,WAAmB,IAAA,EAAsB;AAC/D,EAAA,MAAM,KAAA,GAAQ,UAAU,CAAC,CAAA;AACzB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,mBAAmB,IAAI,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,iBAAiB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,UAAU,IAAI,CAAA;AAC5B;AAEA,SAAS,mBAAmB,IAAA,EAAsB;AAChD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,CAAC,CAAC,KAAK,CAAA,EAAG;AAExB,IAAA,OAAO,GAAG,aAAa,CAAA,EAAG,IAAI,CAAA,CAAA,CAAG,OAAA,CAAQ,KAAK,GAAG,CAAA;AAAA,EACnD;AACA,EAAA,OAAO,IAAA,CAAK,CAAC,CAAA,KAAM,GAAA,GAAM,CAAA,EAAG,eAAe,CAAA,EAAG,IAAA,CAAK,KAAA,CAAM,CAAC,CAAC,CAAA,CAAA,GAAK,IAAA;AAClE;AAGA,MAAM,mBAAA,GAAsB,0BAAA;AAGrB,SAAS,sBAAsB,WAAA,EAAgD;AACpF,EAAA,OAAO,aAAa,IAAA,EAAK,CAAE,OAAA,CAAQ,mBAAA,EAAqB,GAAG,CAAA,IAAK,EAAA;AAClE;AAMA,SAAS,kBAAA,CAAmB,QAAA,GAA6B,EAAC,EAAgB;AACxE,EAAA,MAAM,WAAA,GAAc,qBAAA,CAAsB,QAAA,CAAS,WAAW,CAAA;AAC9D,EAAA,OAAO,WAAA,GAAc,CAAC,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,CAAA,CAAA,EAAI,WAAW,CAAA,CAAA,EAAI,CAAA,GAAI,EAAC;AACtE;AASA,MAAM,uBAAA,GAA0B,GAAA;AAGhC,SAAS,kBAAA,CAAmB,MAAc,KAAA,EAAuB;AAC/D,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,UAAA,CAAW,GAAG,CAAA;AACpC,EAAA,MAAM,GAAA,GAAM,QAAA,GAAY,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA,GAAe,IAAA;AACtD,EAAA,MAAM,WAAW,CAAA,EAAG,GAAG,CAAA,EAAG,uBAAuB,GAAG,KAAK,CAAA,CAAA;AACzD,EAAA,OAAO,QAAA,GAAW,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AACjD;AAOO,SAAS,eAAA,CACd,IAAA,EACA,OAAA,EACA,MAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,QAAQ,MAAA,CAAO,GAAA;AAAA,IAAI,CAAC,OAAO,KAAA,KACvC,MAAA,CAAO,WAAW,KAAA,EAAO,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,GAClD;AACA,EAAA,MAAM,WAAA,GAAcC,iCAAA,CAAoB,KAAA,EAAO,kBAAkB,CAAA;AACjE,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,MAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA,IACZ,SAAS,OAAA,CAAQ,MAAA,CAAO,GAAA,CAAI,CAAC,OAAO,KAAA,MAAW;AAAA,MAC7C,IAAA,EAAM,YAAY,KAAK,CAAA;AAAA,MACvB,KAAA;AAAA,MACA,QAAA,EAAU,kBAAA,CAAmB,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,KACtD,CAAE,CAAA;AAAA,IACF,UAAU;AAAC,GACb;AACF;AAWO,SAAS,sBAAA,CACd,aACA,QAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,QAAA,CAAS,MAAM,CAAA;AACrC,EAAA,MAAM,UAAkD,EAAC;AACzD,EAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,IAAA,IAAI,SAAS,GAAA,CAAI,MAAA,CAAO,IAAI,CAAA,KAAM,OAAO,KAAA,EAAO;AAC9C,MAAA;AAAA,IACF;AACA,IAAA,IAAI,OAAO,MAAA,CAAO,IAAA;AAClB,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,IAAI,GAAG,KAAA,EAAA,EAAS;AAC5C,MAAA,IAAA,GAAO,kBAAA,CAAmB,MAAA,CAAO,IAAA,EAAM,KAAK,CAAA;AAAA,IAC9C;AACA,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAA,CAAQ,IAAA,CAAK,SAAS,MAAA,CAAO,IAAA,GAAO,SAAS,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,CAAA;AAAA,EAClE;AACA,EAAA,OAAO,EAAE,GAAG,WAAA,EAAa,OAAA,EAAQ;AACnC;;;;;;;"}

package/dist/application/transform/footer/enum-naming.mjs

@@ -110,6 +110,22 @@ function enumDeclaration(name, members, naming) {
     comments: []
   };
 }
+function withoutDeclaredMembers(declaration, declared) {
+  const taken = new Set(declared.keys());
+  const members = [];
+  for (const member of declaration.members) {
+    if (declared.get(member.name) === member.value) {
+      continue;
+    }
+    let name = member.name;
+    for (let count = 2; taken.has(name); count++) {
+      name = numberedMemberName(member.name, count);
+    }
+    taken.add(name);
+    members.push(name === member.name ? member : { ...member, name });
+  }
+  return { ...declaration, members };
+}
 
-export { EmptyEnumNameError, EnumNaming, enumDeclaration, enumMemberDescription, quotedMemberName };
+export { EmptyEnumNameError, EnumNaming, enumDeclaration, enumMemberDescription, quotedMemberName, withoutDeclaredMembers };
 //# sourceMappingURL=enum-naming.mjs.map

package/dist/application/transform/footer/enum-naming.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"enum-naming.mjs","sources":["../../../../src/application/transform/footer/enum-naming.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport type { IrComment, IrEnumDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { withNumberedRepeats } from \"../numbered-names.js\";\n\nconst IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z_$0-9]*$/;\n/** A run of invalid characters and the character after it, which starts the next word. */\nconst INVALID_RUN_THEN_CHARACTER_RE = /[^A-Za-z_$0-9]+(.)?/g;\nconst INVALID_RUN_RE = /[^A-Za-z_$0-9]+/;\nconst INVALID_RUNS_RE = /[^A-Za-z_$0-9]+/g;\nconst INVALID_CHARACTER_RE = /[^A-Za-z_$0-9]/;\nconst STARTS_WITH_DIGIT_RE = /^[0-9]/;\n/** Invalid character runs with a readable replacement; any other run becomes `_`. */\nconst SPECIAL_CHARACTERS: ReadonlyMap<string, string> = new Map([[\"+\", \"Plus\"]]);\nconst NUMBER_PREFIX = \"Value\";\nconst NEGATIVE_PREFIX = \"ValueMinus\";\n\nexport class EmptyEnumNameError extends OpenAPITypesafeError {\n  constructor(name: string) {\n    super({\n      code: ERROR_CODES.ENUM_NAME_EMPTY,\n      message: `Cannot build an enum or enum values name from \"${name}\": no valid characters`,\n      details: { name },\n    });\n    this.name = \"EmptyEnumNameError\";\n  }\n}\n\n/** Metadata of one enum member (`x-enum-varnames`, `x-enum-descriptions`). */\nexport interface EnumMemberNaming {\n  readonly name?: string | undefined;\n  readonly description?: string | null | undefined;\n}\n\n/**\n * Names of `--enum` declarations, their members and `--enum-values` arrays, as the original\n * builds them. One instance per run.\n *\n * The original checks the character after an invalid run with a global regex and `.test()`,\n * which keeps `lastIndex`: after a check that finds an invalid character, the next check fails,\n * and a later member name with invalid characters resets it. `isNextCheckSkipped` keeps that\n * behavior within a run (research/legacy-bugs.md, item 2; fixed in Phase 7).\n */\nexport class EnumNaming {\n  private isNextCheckSkipped = false;\n\n  /** `my-status` → `MyStatus`. */\n  enumName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toUpperCase()}${sanitized.substring(1)}`;\n  }\n\n  /** `MyStatusValues` → `myStatusValues`. */\n  arrayName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toLowerCase()}${sanitized.substring(1)}`;\n  }\n\n  /** A member name: a valid identifier, a rewritten one, or a quoted name. */\n  memberName(value: string | number, metadata: EnumMemberNaming = {}): string {\n    const name = metadata.name ?? String(value);\n    if (IDENTIFIER_RE.test(name)) {\n      return name;\n    }\n    // The original runs a global `match` here, which resets the regex state.\n    this.isNextCheckSkipped = false;\n    const prefixed = prefixedMemberName(name);\n    const invalidRun = INVALID_RUN_RE.exec(prefixed);\n    if (!invalidRun) {\n      // Only the empty name has no invalid run and is no identifier (upstream #2807).\n      return prefixed === \"\" ? quotedMemberName(prefixed) : prefixed;\n    }\n    return invalidRun[0] === prefixed\n      ? quotedMemberName(prefixed)\n      : prefixed.replace(INVALID_RUNS_RE, (run) => SPECIAL_CHARACTERS.get(run) ?? \"_\");\n  }\n\n  private sanitize(name: string): string {\n    const sanitized = name.replace(INVALID_RUN_THEN_CHARACTER_RE, (run) => {\n      const next = run.charAt(run.length - 1);\n      return this.isInvalid(next) ? \"\" : next.toUpperCase();\n    });\n    // The original prefixed the unsanitized name, which kept invalid characters after a leading\n    // digit, and missed a digit that only became first after sanitizing (research/legacy-bugs.md,\n    // item 15). Prefixing the sanitized name gives the same name wherever the original was valid.\n    return STARTS_WITH_DIGIT_RE.test(sanitized) ? `${NUMBER_PREFIX}${sanitized}` : sanitized;\n  }\n\n  private isInvalid(character: string): boolean {\n    if (this.isNextCheckSkipped) {\n      this.isNextCheckSkipped = false;\n      return false;\n    }\n    this.isNextCheckSkipped = INVALID_CHARACTER_RE.test(character);\n    return this.isNextCheckSkipped;\n  }\n}\n\nfunction firstCharacter(sanitized: string, name: string): string {\n  const first = sanitized[0];\n  if (first === undefined) {\n    throw new EmptyEnumNameError(name);\n  }\n  return first;\n}\n\n/**\n * A string-literal member name. The original wrapped the name in quotes without escaping, so `\\`\n * and `\"` gave invalid output (upstream #2614); a JSON string is a valid TypeScript string.\n */\nexport function quotedMemberName(name: string): string {\n  return JSON.stringify(name);\n}\n\nfunction prefixedMemberName(name: string): string {\n  if (Number(name[0]) >= 0) {\n    // Only the first dot: `1.5` → `Value1_5`.\n    return `${NUMBER_PREFIX}${name}`.replace(\".\", \"_\");\n  }\n  return name[0] === \"-\" ? `${NEGATIVE_PREFIX}${name.slice(1)}` : name;\n}\n\n/** Every line terminator of JavaScript, which would end a `//` comment. */\nconst LINE_TERMINATORS_RE = /\\r\\n|[\\n\\r\\u2028\\u2029]/g;\n\n/** The text of a member's `//` comment: trimmed, on one line; empty when there is none. */\nexport function enumMemberDescription(description: string | null | undefined): string {\n  return description?.trim().replace(LINE_TERMINATORS_RE, \" \") ?? \"\";\n}\n\n/**\n * The member comment: the trimmed description as a line comment, as in the original. Line breaks\n * become spaces: in a `//` comment they ended the comment early (upstream #2838).\n */\nfunction enumMemberComments(metadata: EnumMemberNaming = {}): IrComment[] {\n  const description = enumMemberDescription(metadata.description);\n  return description ? [{ kind: \"line\", text: ` ${description}` }] : [];\n}\n\n/** The members of an enum, by value, with optional metadata at the same index. */\nexport interface EnumMembers {\n  readonly values: readonly (string | number)[];\n  readonly metadata: readonly (EnumMemberNaming | undefined)[];\n}\n\n/** Separates a repeated member name from its number: `reactions_1` → `reactions_1_2`. */\nconst MEMBER_NUMBER_SEPARATOR = \"_\";\n\n/** The `count`-th use of a member name; a quoted name gets the number inside the quotes. */\nfunction numberedMemberName(name: string, count: number): string {\n  const isQuoted = name.startsWith('\"');\n  const raw = isQuoted ? (JSON.parse(name) as string) : name;\n  const numbered = `${raw}${MEMBER_NUMBER_SEPARATOR}${count}`;\n  return isQuoted ? quotedMemberName(numbered) : numbered;\n}\n\n/**\n * An exported enum with an already built `name`; member names advance the naming state. Values\n * whose names come out the same (`reactions-+1` and `reactions--1` are both `reactions_1`) would\n * not compile, so a repeated name gets a number (`reactions_1_2`).\n */\nexport function enumDeclaration(\n  name: string,\n  members: EnumMembers,\n  naming: EnumNaming,\n): IrEnumDeclaration {\n  const names = members.values.map((value, index) =>\n    naming.memberName(value, members.metadata[index]),\n  );\n  const uniqueNames = withNumberedRepeats(names, numberedMemberName);\n  return {\n    kind: \"enum\",\n    name,\n    isExported: true,\n    members: members.values.map((value, index) => ({\n      name: uniqueNames[index] as string,\n      value,\n      comments: enumMemberComments(members.metadata[index]),\n    })),\n    comments: [],\n  };\n}\n"],"names":[],"mappings":";;;AAIA,MAAM,aAAA,GAAgB,4BAAA;AAEtB,MAAM,6BAAA,GAAgC,sBAAA;AACtC,MAAM,cAAA,GAAiB,iBAAA;AACvB,MAAM,eAAA,GAAkB,kBAAA;AACxB,MAAM,oBAAA,GAAuB,gBAAA;AAC7B,MAAM,oBAAA,GAAuB,QAAA;AAE7B,MAAM,kBAAA,uBAAsD,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,MAAM,CAAC,CAAC,CAAA;AAC/E,MAAM,aAAA,GAAgB,OAAA;AACtB,MAAM,eAAA,GAAkB,YAAA;AAEjB,MAAM,2BAA2B,oBAAA,CAAqB;AAAA,EAC3D,YAAY,IAAA,EAAc;AACxB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAM,WAAA,CAAY,eAAA;AAAA,MAClB,OAAA,EAAS,kDAAkD,IAAI,CAAA,sBAAA,CAAA;AAAA,MAC/D,OAAA,EAAS,EAAE,IAAA;AAAK,KACjB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AAAA,EACd;AACF;AAiBO,MAAM,UAAA,CAAW;AAAA,EACd,kBAAA,GAAqB,KAAA;AAAA;AAAA,EAG7B,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAU,IAAA,EAAsB;AAC9B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAA,CAAW,KAAA,EAAwB,QAAA,GAA6B,EAAC,EAAW;AAC1E,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,IAAA,IAAQ,MAAA,CAAO,KAAK,CAAA;AAC1C,IAAA,IAAI,aAAA,CAAc,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,IAAA,MAAM,QAAA,GAAW,mBAAmB,IAAI,CAAA;AACxC,IAAA,MAAM,UAAA,GAAa,cAAA,CAAe,IAAA,CAAK,QAAQ,CAAA;AAC/C,IAAA,IAAI,CAAC,UAAA,EAAY;AAEf,MAAA,OAAO,QAAA,KAAa,EAAA,GAAK,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AAAA,IACxD;AACA,IAAA,OAAO,WAAW,CAAC,CAAA,KAAM,QAAA,GACrB,gBAAA,CAAiB,QAAQ,CAAA,GACzB,QAAA,CAAS,OAAA,CAAQ,eAAA,EAAiB,CAAC,GAAA,KAAQ,kBAAA,CAAmB,GAAA,CAAI,GAAG,KAAK,GAAG,CAAA;AAAA,EACnF;AAAA,EAEQ,SAAS,IAAA,EAAsB;AACrC,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,OAAA,CAAQ,6BAAA,EAA+B,CAAC,GAAA,KAAQ;AACrE,MAAA,MAAM,IAAA,GAAO,GAAA,CAAI,MAAA,CAAO,GAAA,CAAI,SAAS,CAAC,CAAA;AACtC,MAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,GAAI,EAAA,GAAK,KAAK,WAAA,EAAY;AAAA,IACtD,CAAC,CAAA;AAID,IAAA,OAAO,oBAAA,CAAqB,KAAK,SAAS,CAAA,GAAI,GAAG,aAAa,CAAA,EAAG,SAAS,CAAA,CAAA,GAAK,SAAA;AAAA,EACjF;AAAA,EAEQ,UAAU,SAAA,EAA4B;AAC5C,IAAA,IAAI,KAAK,kBAAA,EAAoB;AAC3B,MAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,IAAA,CAAK,kBAAA,GAAqB,oBAAA,CAAqB,IAAA,CAAK,SAAS,CAAA;AAC7D,IAAA,OAAO,IAAA,CAAK,kBAAA;AAAA,EACd;AACF;AAEA,SAAS,cAAA,CAAe,WAAmB,IAAA,EAAsB;AAC/D,EAAA,MAAM,KAAA,GAAQ,UAAU,CAAC,CAAA;AACzB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,mBAAmB,IAAI,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,iBAAiB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,UAAU,IAAI,CAAA;AAC5B;AAEA,SAAS,mBAAmB,IAAA,EAAsB;AAChD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,CAAC,CAAC,KAAK,CAAA,EAAG;AAExB,IAAA,OAAO,GAAG,aAAa,CAAA,EAAG,IAAI,CAAA,CAAA,CAAG,OAAA,CAAQ,KAAK,GAAG,CAAA;AAAA,EACnD;AACA,EAAA,OAAO,IAAA,CAAK,CAAC,CAAA,KAAM,GAAA,GAAM,CAAA,EAAG,eAAe,CAAA,EAAG,IAAA,CAAK,KAAA,CAAM,CAAC,CAAC,CAAA,CAAA,GAAK,IAAA;AAClE;AAGA,MAAM,mBAAA,GAAsB,0BAAA;AAGrB,SAAS,sBAAsB,WAAA,EAAgD;AACpF,EAAA,OAAO,aAAa,IAAA,EAAK,CAAE,OAAA,CAAQ,mBAAA,EAAqB,GAAG,CAAA,IAAK,EAAA;AAClE;AAMA,SAAS,kBAAA,CAAmB,QAAA,GAA6B,EAAC,EAAgB;AACxE,EAAA,MAAM,WAAA,GAAc,qBAAA,CAAsB,QAAA,CAAS,WAAW,CAAA;AAC9D,EAAA,OAAO,WAAA,GAAc,CAAC,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,CAAA,CAAA,EAAI,WAAW,CAAA,CAAA,EAAI,CAAA,GAAI,EAAC;AACtE;AASA,MAAM,uBAAA,GAA0B,GAAA;AAGhC,SAAS,kBAAA,CAAmB,MAAc,KAAA,EAAuB;AAC/D,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,UAAA,CAAW,GAAG,CAAA;AACpC,EAAA,MAAM,GAAA,GAAM,QAAA,GAAY,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA,GAAe,IAAA;AACtD,EAAA,MAAM,WAAW,CAAA,EAAG,GAAG,CAAA,EAAG,uBAAuB,GAAG,KAAK,CAAA,CAAA;AACzD,EAAA,OAAO,QAAA,GAAW,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AACjD;AAOO,SAAS,eAAA,CACd,IAAA,EACA,OAAA,EACA,MAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,QAAQ,MAAA,CAAO,GAAA;AAAA,IAAI,CAAC,OAAO,KAAA,KACvC,MAAA,CAAO,WAAW,KAAA,EAAO,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,GAClD;AACA,EAAA,MAAM,WAAA,GAAc,mBAAA,CAAoB,KAAA,EAAO,kBAAkB,CAAA;AACjE,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,MAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA,IACZ,SAAS,OAAA,CAAQ,MAAA,CAAO,GAAA,CAAI,CAAC,OAAO,KAAA,MAAW;AAAA,MAC7C,IAAA,EAAM,YAAY,KAAK,CAAA;AAAA,MACvB,KAAA;AAAA,MACA,QAAA,EAAU,kBAAA,CAAmB,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,KACtD,CAAE,CAAA;AAAA,IACF,UAAU;AAAC,GACb;AACF;;"}
+{"version":3,"file":"enum-naming.mjs","sources":["../../../../src/application/transform/footer/enum-naming.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport type { IrComment, IrEnumDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { withNumberedRepeats } from \"../numbered-names.js\";\n\nconst IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z_$0-9]*$/;\n/** A run of invalid characters and the character after it, which starts the next word. */\nconst INVALID_RUN_THEN_CHARACTER_RE = /[^A-Za-z_$0-9]+(.)?/g;\nconst INVALID_RUN_RE = /[^A-Za-z_$0-9]+/;\nconst INVALID_RUNS_RE = /[^A-Za-z_$0-9]+/g;\nconst INVALID_CHARACTER_RE = /[^A-Za-z_$0-9]/;\nconst STARTS_WITH_DIGIT_RE = /^[0-9]/;\n/** Invalid character runs with a readable replacement; any other run becomes `_`. */\nconst SPECIAL_CHARACTERS: ReadonlyMap<string, string> = new Map([[\"+\", \"Plus\"]]);\nconst NUMBER_PREFIX = \"Value\";\nconst NEGATIVE_PREFIX = \"ValueMinus\";\n\nexport class EmptyEnumNameError extends OpenAPITypesafeError {\n  constructor(name: string) {\n    super({\n      code: ERROR_CODES.ENUM_NAME_EMPTY,\n      message: `Cannot build an enum or enum values name from \"${name}\": no valid characters`,\n      details: { name },\n    });\n    this.name = \"EmptyEnumNameError\";\n  }\n}\n\n/** Metadata of one enum member (`x-enum-varnames`, `x-enum-descriptions`). */\nexport interface EnumMemberNaming {\n  readonly name?: string | undefined;\n  readonly description?: string | null | undefined;\n}\n\n/**\n * Names of `--enum` declarations, their members and `--enum-values` arrays, as the original\n * builds them. One instance per run.\n *\n * The original checks the character after an invalid run with a global regex and `.test()`,\n * which keeps `lastIndex`: after a check that finds an invalid character, the next check fails,\n * and a later member name with invalid characters resets it. `isNextCheckSkipped` keeps that\n * behavior within a run (research/legacy-bugs.md, item 2; fixed in Phase 7).\n */\nexport class EnumNaming {\n  private isNextCheckSkipped = false;\n\n  /** `my-status` → `MyStatus`. */\n  enumName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toUpperCase()}${sanitized.substring(1)}`;\n  }\n\n  /** `MyStatusValues` → `myStatusValues`. */\n  arrayName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toLowerCase()}${sanitized.substring(1)}`;\n  }\n\n  /** A member name: a valid identifier, a rewritten one, or a quoted name. */\n  memberName(value: string | number, metadata: EnumMemberNaming = {}): string {\n    const name = metadata.name ?? String(value);\n    if (IDENTIFIER_RE.test(name)) {\n      return name;\n    }\n    // The original runs a global `match` here, which resets the regex state.\n    this.isNextCheckSkipped = false;\n    const prefixed = prefixedMemberName(name);\n    const invalidRun = INVALID_RUN_RE.exec(prefixed);\n    if (!invalidRun) {\n      // Only the empty name has no invalid run and is no identifier (upstream #2807).\n      return prefixed === \"\" ? quotedMemberName(prefixed) : prefixed;\n    }\n    return invalidRun[0] === prefixed\n      ? quotedMemberName(prefixed)\n      : prefixed.replace(INVALID_RUNS_RE, (run) => SPECIAL_CHARACTERS.get(run) ?? \"_\");\n  }\n\n  private sanitize(name: string): string {\n    const sanitized = name.replace(INVALID_RUN_THEN_CHARACTER_RE, (run) => {\n      const next = run.charAt(run.length - 1);\n      return this.isInvalid(next) ? \"\" : next.toUpperCase();\n    });\n    // The original prefixed the unsanitized name, which kept invalid characters after a leading\n    // digit, and missed a digit that only became first after sanitizing (research/legacy-bugs.md,\n    // item 15). Prefixing the sanitized name gives the same name wherever the original was valid.\n    return STARTS_WITH_DIGIT_RE.test(sanitized) ? `${NUMBER_PREFIX}${sanitized}` : sanitized;\n  }\n\n  private isInvalid(character: string): boolean {\n    if (this.isNextCheckSkipped) {\n      this.isNextCheckSkipped = false;\n      return false;\n    }\n    this.isNextCheckSkipped = INVALID_CHARACTER_RE.test(character);\n    return this.isNextCheckSkipped;\n  }\n}\n\nfunction firstCharacter(sanitized: string, name: string): string {\n  const first = sanitized[0];\n  if (first === undefined) {\n    throw new EmptyEnumNameError(name);\n  }\n  return first;\n}\n\n/**\n * A string-literal member name. The original wrapped the name in quotes without escaping, so `\\`\n * and `\"` gave invalid output (upstream #2614); a JSON string is a valid TypeScript string.\n */\nexport function quotedMemberName(name: string): string {\n  return JSON.stringify(name);\n}\n\nfunction prefixedMemberName(name: string): string {\n  if (Number(name[0]) >= 0) {\n    // Only the first dot: `1.5` → `Value1_5`.\n    return `${NUMBER_PREFIX}${name}`.replace(\".\", \"_\");\n  }\n  return name[0] === \"-\" ? `${NEGATIVE_PREFIX}${name.slice(1)}` : name;\n}\n\n/** Every line terminator of JavaScript, which would end a `//` comment. */\nconst LINE_TERMINATORS_RE = /\\r\\n|[\\n\\r\\u2028\\u2029]/g;\n\n/** The text of a member's `//` comment: trimmed, on one line; empty when there is none. */\nexport function enumMemberDescription(description: string | null | undefined): string {\n  return description?.trim().replace(LINE_TERMINATORS_RE, \" \") ?? \"\";\n}\n\n/**\n * The member comment: the trimmed description as a line comment, as in the original. Line breaks\n * become spaces: in a `//` comment they ended the comment early (upstream #2838).\n */\nfunction enumMemberComments(metadata: EnumMemberNaming = {}): IrComment[] {\n  const description = enumMemberDescription(metadata.description);\n  return description ? [{ kind: \"line\", text: ` ${description}` }] : [];\n}\n\n/** The members of an enum, by value, with optional metadata at the same index. */\nexport interface EnumMembers {\n  readonly values: readonly (string | number)[];\n  readonly metadata: readonly (EnumMemberNaming | undefined)[];\n}\n\n/** Separates a repeated member name from its number: `reactions_1` → `reactions_1_2`. */\nconst MEMBER_NUMBER_SEPARATOR = \"_\";\n\n/** The `count`-th use of a member name; a quoted name gets the number inside the quotes. */\nfunction numberedMemberName(name: string, count: number): string {\n  const isQuoted = name.startsWith('\"');\n  const raw = isQuoted ? (JSON.parse(name) as string) : name;\n  const numbered = `${raw}${MEMBER_NUMBER_SEPARATOR}${count}`;\n  return isQuoted ? quotedMemberName(numbered) : numbered;\n}\n\n/**\n * An exported enum with an already built `name`; member names advance the naming state. Values\n * whose names come out the same (`reactions-+1` and `reactions--1` are both `reactions_1`) would\n * not compile, so a repeated name gets a number (`reactions_1_2`).\n */\nexport function enumDeclaration(\n  name: string,\n  members: EnumMembers,\n  naming: EnumNaming,\n): IrEnumDeclaration {\n  const names = members.values.map((value, index) =>\n    naming.memberName(value, members.metadata[index]),\n  );\n  const uniqueNames = withNumberedRepeats(names, numberedMemberName);\n  return {\n    kind: \"enum\",\n    name,\n    isExported: true,\n    members: members.values.map((value, index) => ({\n      name: uniqueNames[index] as string,\n      value,\n      comments: enumMemberComments(members.metadata[index]),\n    })),\n    comments: [],\n  };\n}\n\n/** The member names an enum name has so far, with their values. */\nexport type DeclaredMembers = ReadonlyMap<string, string | number>;\n\n/**\n * A later declaration of an enum name merges with the earlier ones, and a member name declared\n * twice does not compile (TS2300): a property and an inline `allOf` item of one schema give one\n * name. A member that repeats one by name and value is left out; one whose name another value has\n * gets the next free number (`a_b_2`).\n */\nexport function withoutDeclaredMembers(\n  declaration: IrEnumDeclaration,\n  declared: DeclaredMembers,\n): IrEnumDeclaration {\n  const taken = new Set(declared.keys());\n  const members: IrEnumDeclaration[\"members\"][number][] = [];\n  for (const member of declaration.members) {\n    if (declared.get(member.name) === member.value) {\n      continue;\n    }\n    let name = member.name;\n    for (let count = 2; taken.has(name); count++) {\n      name = numberedMemberName(member.name, count);\n    }\n    taken.add(name);\n    members.push(name === member.name ? member : { ...member, name });\n  }\n  return { ...declaration, members };\n}\n"],"names":[],"mappings":";;;AAIA,MAAM,aAAA,GAAgB,4BAAA;AAEtB,MAAM,6BAAA,GAAgC,sBAAA;AACtC,MAAM,cAAA,GAAiB,iBAAA;AACvB,MAAM,eAAA,GAAkB,kBAAA;AACxB,MAAM,oBAAA,GAAuB,gBAAA;AAC7B,MAAM,oBAAA,GAAuB,QAAA;AAE7B,MAAM,kBAAA,uBAAsD,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,MAAM,CAAC,CAAC,CAAA;AAC/E,MAAM,aAAA,GAAgB,OAAA;AACtB,MAAM,eAAA,GAAkB,YAAA;AAEjB,MAAM,2BAA2B,oBAAA,CAAqB;AAAA,EAC3D,YAAY,IAAA,EAAc;AACxB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAM,WAAA,CAAY,eAAA;AAAA,MAClB,OAAA,EAAS,kDAAkD,IAAI,CAAA,sBAAA,CAAA;AAAA,MAC/D,OAAA,EAAS,EAAE,IAAA;AAAK,KACjB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AAAA,EACd;AACF;AAiBO,MAAM,UAAA,CAAW;AAAA,EACd,kBAAA,GAAqB,KAAA;AAAA;AAAA,EAG7B,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAU,IAAA,EAAsB;AAC9B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAA,CAAW,KAAA,EAAwB,QAAA,GAA6B,EAAC,EAAW;AAC1E,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,IAAA,IAAQ,MAAA,CAAO,KAAK,CAAA;AAC1C,IAAA,IAAI,aAAA,CAAc,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,IAAA,MAAM,QAAA,GAAW,mBAAmB,IAAI,CAAA;AACxC,IAAA,MAAM,UAAA,GAAa,cAAA,CAAe,IAAA,CAAK,QAAQ,CAAA;AAC/C,IAAA,IAAI,CAAC,UAAA,EAAY;AAEf,MAAA,OAAO,QAAA,KAAa,EAAA,GAAK,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AAAA,IACxD;AACA,IAAA,OAAO,WAAW,CAAC,CAAA,KAAM,QAAA,GACrB,gBAAA,CAAiB,QAAQ,CAAA,GACzB,QAAA,CAAS,OAAA,CAAQ,eAAA,EAAiB,CAAC,GAAA,KAAQ,kBAAA,CAAmB,GAAA,CAAI,GAAG,KAAK,GAAG,CAAA;AAAA,EACnF;AAAA,EAEQ,SAAS,IAAA,EAAsB;AACrC,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,OAAA,CAAQ,6BAAA,EAA+B,CAAC,GAAA,KAAQ;AACrE,MAAA,MAAM,IAAA,GAAO,GAAA,CAAI,MAAA,CAAO,GAAA,CAAI,SAAS,CAAC,CAAA;AACtC,MAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,GAAI,EAAA,GAAK,KAAK,WAAA,EAAY;AAAA,IACtD,CAAC,CAAA;AAID,IAAA,OAAO,oBAAA,CAAqB,KAAK,SAAS,CAAA,GAAI,GAAG,aAAa,CAAA,EAAG,SAAS,CAAA,CAAA,GAAK,SAAA;AAAA,EACjF;AAAA,EAEQ,UAAU,SAAA,EAA4B;AAC5C,IAAA,IAAI,KAAK,kBAAA,EAAoB;AAC3B,MAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,IAAA,CAAK,kBAAA,GAAqB,oBAAA,CAAqB,IAAA,CAAK,SAAS,CAAA;AAC7D,IAAA,OAAO,IAAA,CAAK,kBAAA;AAAA,EACd;AACF;AAEA,SAAS,cAAA,CAAe,WAAmB,IAAA,EAAsB;AAC/D,EAAA,MAAM,KAAA,GAAQ,UAAU,CAAC,CAAA;AACzB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,mBAAmB,IAAI,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,iBAAiB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,UAAU,IAAI,CAAA;AAC5B;AAEA,SAAS,mBAAmB,IAAA,EAAsB;AAChD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,CAAC,CAAC,KAAK,CAAA,EAAG;AAExB,IAAA,OAAO,GAAG,aAAa,CAAA,EAAG,IAAI,CAAA,CAAA,CAAG,OAAA,CAAQ,KAAK,GAAG,CAAA;AAAA,EACnD;AACA,EAAA,OAAO,IAAA,CAAK,CAAC,CAAA,KAAM,GAAA,GAAM,CAAA,EAAG,eAAe,CAAA,EAAG,IAAA,CAAK,KAAA,CAAM,CAAC,CAAC,CAAA,CAAA,GAAK,IAAA;AAClE;AAGA,MAAM,mBAAA,GAAsB,0BAAA;AAGrB,SAAS,sBAAsB,WAAA,EAAgD;AACpF,EAAA,OAAO,aAAa,IAAA,EAAK,CAAE,OAAA,CAAQ,mBAAA,EAAqB,GAAG,CAAA,IAAK,EAAA;AAClE;AAMA,SAAS,kBAAA,CAAmB,QAAA,GAA6B,EAAC,EAAgB;AACxE,EAAA,MAAM,WAAA,GAAc,qBAAA,CAAsB,QAAA,CAAS,WAAW,CAAA;AAC9D,EAAA,OAAO,WAAA,GAAc,CAAC,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,CAAA,CAAA,EAAI,WAAW,CAAA,CAAA,EAAI,CAAA,GAAI,EAAC;AACtE;AASA,MAAM,uBAAA,GAA0B,GAAA;AAGhC,SAAS,kBAAA,CAAmB,MAAc,KAAA,EAAuB;AAC/D,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,UAAA,CAAW,GAAG,CAAA;AACpC,EAAA,MAAM,GAAA,GAAM,QAAA,GAAY,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA,GAAe,IAAA;AACtD,EAAA,MAAM,WAAW,CAAA,EAAG,GAAG,CAAA,EAAG,uBAAuB,GAAG,KAAK,CAAA,CAAA;AACzD,EAAA,OAAO,QAAA,GAAW,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AACjD;AAOO,SAAS,eAAA,CACd,IAAA,EACA,OAAA,EACA,MAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,QAAQ,MAAA,CAAO,GAAA;AAAA,IAAI,CAAC,OAAO,KAAA,KACvC,MAAA,CAAO,WAAW,KAAA,EAAO,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,GAClD;AACA,EAAA,MAAM,WAAA,GAAc,mBAAA,CAAoB,KAAA,EAAO,kBAAkB,CAAA;AACjE,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,MAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA,IACZ,SAAS,OAAA,CAAQ,MAAA,CAAO,GAAA,CAAI,CAAC,OAAO,KAAA,MAAW;AAAA,MAC7C,IAAA,EAAM,YAAY,KAAK,CAAA;AAAA,MACvB,KAAA;AAAA,MACA,QAAA,EAAU,kBAAA,CAAmB,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,KACtD,CAAE,CAAA;AAAA,IACF,UAAU;AAAC,GACb;AACF;AAWO,SAAS,sBAAA,CACd,aACA,QAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,QAAA,CAAS,MAAM,CAAA;AACrC,EAAA,MAAM,UAAkD,EAAC;AACzD,EAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,IAAA,IAAI,SAAS,GAAA,CAAI,MAAA,CAAO,IAAI,CAAA,KAAM,OAAO,KAAA,EAAO;AAC9C,MAAA;AAAA,IACF;AACA,IAAA,IAAI,OAAO,MAAA,CAAO,IAAA;AAClB,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,IAAI,GAAG,KAAA,EAAA,EAAS;AAC5C,MAAA,IAAA,GAAO,kBAAA,CAAmB,MAAA,CAAO,IAAA,EAAM,KAAK,CAAA;AAAA,IAC9C;AACA,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAA,CAAQ,IAAA,CAAK,SAAS,MAAA,CAAO,IAAA,GAAO,SAAS,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,CAAA;AAAA,EAClE;AACA,EAAA,OAAO,EAAE,GAAG,WAAA,EAAa,OAAA,EAAQ;AACnC;;"}

package/dist/application/transform/footer/enum-values-check.cjs

@@ -0,0 +1,129 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const helperTypes = require('../helper-types.cjs');
+const literalType = require('../literal-type.cjs');
+const typeCombinators = require('../type-combinators.cjs');
+const evaluation = require('./evaluation.cjs');
+const typeEvaluation = require('./type-evaluation.cjs');
+
+function literalAdmission(type, value) {
+  switch (type.kind) {
+    case "stringLiteral":
+    case "numberLiteral":
+      return type.value === value ? "yes" : "no";
+    case "booleanLiteral":
+      return "no";
+    case "keyword":
+      if (type.keyword === "unknown") {
+        return "yes";
+      }
+      return type.keyword === typeof value ? "yes" : "no";
+    case "object":
+      return type.members.length === 0 ? "yes" : "no";
+    case "array":
+      return "no";
+    default:
+      return "opaque";
+  }
+}
+function admission(evaluator, value, item) {
+  const { type } = value;
+  if (type.kind === "union" || type.kind === "intersection") {
+    const parts = type.types.map((part) => {
+      const expanded = evaluator.expand({ ...value, type: part });
+      return expanded.kind === "type" ? admission(evaluator, expanded, item) : "opaque";
+    });
+    const decisive = type.kind === "union" ? "yes" : "no";
+    if (parts.includes(decisive)) {
+      return decisive;
+    }
+    return parts.includes("opaque") ? "opaque" : decisive === "yes" ? "no" : "yes";
+  }
+  return literalAdmission(type, item);
+}
+function elementOf(evaluator, value) {
+  const members = evaluator.membersOf(value);
+  const elements = members.map(
+    (member) => member.kind === "type" && member.type.kind === "array" ? member.type.element : null
+  );
+  if (members.length === 0 || elements.some((element) => element === null)) {
+    return value;
+  }
+  return evaluator.expand({ ...value, type: typeCombinators.unionOf(elements) });
+}
+const LITERAL_KINDS = /* @__PURE__ */ new Set([
+  "stringLiteral",
+  "numberLiteral",
+  "booleanLiteral"
+]);
+function isFiniteType(evaluator, value) {
+  const { type } = value;
+  if (type.kind === "union" || type.kind === "intersection") {
+    return type.types.every((part) => {
+      const expanded = evaluator.expand({ ...value, type: part });
+      return expanded.kind === "type" && isFiniteType(evaluator, expanded);
+    });
+  }
+  return LITERAL_KINDS.has(type.kind) || type.kind === "keyword" && type.keyword === "never";
+}
+function locationType(declaration) {
+  const { type } = declaration;
+  const isTyped = type.kind === "reference" && type.name === helperTypes.HELPER_TYPES.readonlyArray.name;
+  return isTyped ? type.typeArguments[0] ?? null : null;
+}
+function retypeOf(evaluator, declaration) {
+  const location = locationType(declaration);
+  const evaluated = location === null ? null : evaluator.evaluate(location);
+  if (evaluated === null || evaluated.kind === "opaque") {
+    return null;
+  }
+  if (evaluated.kind === "missing") {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const element = elementOf(evaluator, evaluated);
+  if (element.kind !== "type") {
+    return element.kind === "missing" ? { kind: "untyped", name: declaration.name } : null;
+  }
+  if (declaration.values.length === 0 && isNever(element.type)) {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const results = declaration.values.map((value) => admission(evaluator, element, value));
+  if (!results.includes("no")) {
+    return null;
+  }
+  if (!isFiniteType(evaluator, element)) {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const excluded = declaration.values.filter((_, index) => results[index] === "no");
+  return { kind: "excluded", name: declaration.name, excluded };
+}
+function isNever(type) {
+  return type.kind === "keyword" && type.keyword === "never";
+}
+function ownValuesType(declaration) {
+  if (declaration.values.length === 0) {
+    return constructors.irReadonly(constructors.irArray(evaluation.NEVER));
+  }
+  const values = typeCombinators.unionOf(declaration.values.map((value) => literalType.literalType(value)));
+  return constructors.irReference(helperTypes.HELPER_TYPES.readonlyArray.name, [values]);
+}
+function checkedEnumValues(footer, declarations, isDeclaration) {
+  const evaluator = new typeEvaluation.TypeEvaluator([...declarations, ...footer.filter(isDeclaration)]);
+  const retyped = [];
+  const checked = footer.map((entry) => {
+    if (!isDeclaration(entry) || entry.kind !== "constArray") {
+      return entry;
+    }
+    const retype = retypeOf(evaluator, entry);
+    if (retype === null) {
+      return entry;
+    }
+    retyped.push(retype);
+    return { ...entry, type: ownValuesType(entry) };
+  });
+  return { footer: checked, retyped };
+}
+
+exports.checkedEnumValues = checkedEnumValues;
+//# sourceMappingURL=enum-values-check.cjs.map

package/dist/application/transform/footer/enum-values-check.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum-values-check.cjs","sources":["../../../../src/application/transform/footer/enum-values-check.ts"],"sourcesContent":["import { irArray, irReadonly, irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrConstArrayDeclaration, IrDeclaration, IrType } from \"../../../domain/ir/nodes.js\";\nimport { HELPER_TYPES } from \"../helper-types.js\";\nimport { literalType } from \"../literal-type.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport { type Evaluated, type Evaluation, NEVER } from \"./evaluation.js\";\nimport { TypeEvaluator } from \"./type-evaluation.js\";\n\n/**\n * `--enum-values` arrays are typed by the location of their schema in the generated types\n * (`FlattenedDeepRequired<components>[\"schemas\"][\"A\"][\"status\"]`). Where that type surely does not\n * hold the values (ADR-027), the array is typed by its own values instead, so it compiles:\n * - the location indexes a key the generated type does not have (`definitions`, `allOf`, a\n *   property of `unknown`), or\n * - the type there does not admit a listed value (an `allOf` of different enums, a discriminator\n *   value the property enum does not list, an array next to other `anyOf` members).\n * Everything else stays as it was.\n */\n\n/** Why an array got its own values as its type. */\nexport type EnumValuesRetype =\n  /** The location's type admits only other values, or none: the document contradicts itself. */\n  | { readonly kind: \"excluded\"; readonly name: string; readonly excluded: readonly unknown[] }\n  /** The location could not be typed; nothing to report, the array is right now. */\n  | { readonly kind: \"untyped\"; readonly name: string };\n\ntype Admission = \"yes\" | \"no\" | \"opaque\";\n\nfunction literalAdmission(type: IrType, value: string | number): Admission {\n  switch (type.kind) {\n    case \"stringLiteral\":\n    case \"numberLiteral\":\n      return type.value === value ? \"yes\" : \"no\";\n    case \"booleanLiteral\":\n      return \"no\";\n    case \"keyword\":\n      if (type.keyword === \"unknown\") {\n        return \"yes\";\n      }\n      return type.keyword === typeof value ? \"yes\" : \"no\";\n    case \"object\":\n      // `{}` (as in `string & {}`) admits every value but `null` and `undefined`.\n      return type.members.length === 0 ? \"yes\" : \"no\";\n    case \"array\":\n      return \"no\";\n    default:\n      return \"opaque\";\n  }\n}\n\nfunction admission(evaluator: TypeEvaluator, value: Evaluated, item: string | number): Admission {\n  const { type } = value;\n  if (type.kind === \"union\" || type.kind === \"intersection\") {\n    const parts = type.types.map((part) => {\n      const expanded = evaluator.expand({ ...value, type: part });\n      return expanded.kind === \"type\" ? admission(evaluator, expanded, item) : \"opaque\";\n    });\n    // A union admits a value one member admits; an intersection excludes one a part excludes.\n    const decisive: Admission = type.kind === \"union\" ? \"yes\" : \"no\";\n    if (parts.includes(decisive)) {\n      return decisive;\n    }\n    return parts.includes(\"opaque\") ? \"opaque\" : decisive === \"yes\" ? \"no\" : \"yes\";\n  }\n  return literalAdmission(type, item);\n}\n\n/** `ReadonlyArray<T>`: an array type `T` is the array itself, so its elements are checked. */\nfunction elementOf(evaluator: TypeEvaluator, value: Evaluated): Evaluation {\n  const members = evaluator.membersOf(value);\n  const elements = members.map((member) =>\n    member.kind === \"type\" && member.type.kind === \"array\" ? member.type.element : null,\n  );\n  if (members.length === 0 || elements.some((element) => element === null)) {\n    return value;\n  }\n  return evaluator.expand({ ...value, type: unionOf(elements as IrType[]) });\n}\n\nconst LITERAL_KINDS: ReadonlySet<string> = new Set([\n  \"stringLiteral\",\n  \"numberLiteral\",\n  \"booleanLiteral\",\n]);\n\n/** Whether a type is made of literals only (or `never`): a finite set of values. */\nfunction isFiniteType(evaluator: TypeEvaluator, value: Evaluated): boolean {\n  const { type } = value;\n  if (type.kind === \"union\" || type.kind === \"intersection\") {\n    return type.types.every((part) => {\n      const expanded = evaluator.expand({ ...value, type: part });\n      return expanded.kind === \"type\" && isFiniteType(evaluator, expanded);\n    });\n  }\n  return LITERAL_KINDS.has(type.kind) || (type.kind === \"keyword\" && type.keyword === \"never\");\n}\n\nfunction locationType(declaration: IrConstArrayDeclaration): IrType | null {\n  const { type } = declaration;\n  const isTyped = type.kind === \"reference\" && type.name === HELPER_TYPES.readonlyArray.name;\n  return isTyped ? (type.typeArguments[0] ?? null) : null;\n}\n\nfunction retypeOf(\n  evaluator: TypeEvaluator,\n  declaration: IrConstArrayDeclaration,\n): EnumValuesRetype | null {\n  const location = locationType(declaration);\n  const evaluated = location === null ? null : evaluator.evaluate(location);\n  if (evaluated === null || evaluated.kind === \"opaque\") {\n    return null;\n  }\n  if (evaluated.kind === \"missing\") {\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const element = elementOf(evaluator, evaluated);\n  if (element.kind !== \"type\") {\n    return element.kind === \"missing\" ? { kind: \"untyped\", name: declaration.name } : null;\n  }\n  if (declaration.values.length === 0 && isNever(element.type)) {\n    // The `ReadonlyArray` helper of `never` is `never` (`never` extends an array): not even `[]`.\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const results = declaration.values.map((value) => admission(evaluator, element, value));\n  if (!results.includes(\"no\")) {\n    return null;\n  }\n  if (!isFiniteType(evaluator, element)) {\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const excluded = declaration.values.filter((_, index) => results[index] === \"no\");\n  return { kind: \"excluded\", name: declaration.name, excluded };\n}\n\nfunction isNever(type: IrType): boolean {\n  return type.kind === \"keyword\" && type.keyword === \"never\";\n}\n\n/** The values' own type; with no values `readonly never[]` (`ReadonlyArray<never>` is never). */\nfunction ownValuesType(declaration: IrConstArrayDeclaration): IrType {\n  if (declaration.values.length === 0) {\n    return irReadonly(irArray(NEVER));\n  }\n  const values = unionOf(declaration.values.map((value) => literalType(value)));\n  return irReference(HELPER_TYPES.readonlyArray.name, [values]);\n}\n\n/**\n * The footer with each `--enum-values` array whose location type does not hold its values typed\n * by its own values, and why each one changed. `declarations` are the document's types.\n */\nexport function checkedEnumValues<T>(\n  footer: readonly (T | IrDeclaration)[],\n  declarations: readonly IrDeclaration[],\n  isDeclaration: (entry: T | IrDeclaration) => entry is IrDeclaration,\n): { footer: (T | IrDeclaration)[]; retyped: EnumValuesRetype[] } {\n  const evaluator = new TypeEvaluator([...declarations, ...footer.filter(isDeclaration)]);\n  const retyped: EnumValuesRetype[] = [];\n  const checked = footer.map((entry) => {\n    if (!isDeclaration(entry) || entry.kind !== \"constArray\") {\n      return entry;\n    }\n    const retype = retypeOf(evaluator, entry);\n    if (retype === null) {\n      return entry;\n    }\n    retyped.push(retype);\n    return { ...entry, type: ownValuesType(entry) };\n  });\n  return { footer: checked, retyped };\n}\n"],"names":["unionOf","HELPER_TYPES","irReadonly","irArray","NEVER","literalType","irReference","TypeEvaluator"],"mappings":";;;;;;;;;AA4BA,SAAS,gBAAA,CAAiB,MAAc,KAAA,EAAmC;AACzE,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,eAAA;AAAA,IACL,KAAK,eAAA;AACH,MAAA,OAAO,IAAA,CAAK,KAAA,KAAU,KAAA,GAAQ,KAAA,GAAQ,IAAA;AAAA,IACxC,KAAK,gBAAA;AACH,MAAA,OAAO,IAAA;AAAA,IACT,KAAK,SAAA;AACH,MAAA,IAAI,IAAA,CAAK,YAAY,SAAA,EAAW;AAC9B,QAAA,OAAO,KAAA;AAAA,MACT;AACA,MAAA,OAAO,IAAA,CAAK,OAAA,KAAY,OAAO,KAAA,GAAQ,KAAA,GAAQ,IAAA;AAAA,IACjD,KAAK,QAAA;AAEH,MAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,MAAA,KAAW,CAAA,GAAI,KAAA,GAAQ,IAAA;AAAA,IAC7C,KAAK,OAAA;AACH,MAAA,OAAO,IAAA;AAAA,IACT;AACE,MAAA,OAAO,QAAA;AAAA;AAEb;AAEA,SAAS,SAAA,CAAU,SAAA,EAA0B,KAAA,EAAkB,IAAA,EAAkC;AAC/F,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,OAAA,IAAW,IAAA,CAAK,SAAS,cAAA,EAAgB;AACzD,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS;AACrC,MAAA,MAAM,QAAA,GAAW,UAAU,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AAC1D,MAAA,OAAO,SAAS,IAAA,KAAS,MAAA,GAAS,UAAU,SAAA,EAAW,QAAA,EAAU,IAAI,CAAA,GAAI,QAAA;AAAA,IAC3E,CAAC,CAAA;AAED,IAAA,MAAM,QAAA,GAAsB,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,KAAA,GAAQ,IAAA;AAC5D,IAAA,IAAI,KAAA,CAAM,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC5B,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,MAAM,QAAA,CAAS,QAAQ,IAAI,QAAA,GAAW,QAAA,KAAa,QAAQ,IAAA,GAAO,KAAA;AAAA,EAC3E;AACA,EAAA,OAAO,gBAAA,CAAiB,MAAM,IAAI,CAAA;AACpC;AAGA,SAAS,SAAA,CAAU,WAA0B,KAAA,EAA8B;AACzE,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,SAAA,CAAU,KAAK,CAAA;AACzC,EAAA,MAAM,WAAW,OAAA,CAAQ,GAAA;AAAA,IAAI,CAAC,MAAA,KAC5B,MAAA,CAAO,IAAA,KAAS,MAAA,IAAU,MAAA,CAAO,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAA,GAAU;AAAA,GACjF;AACA,EAAA,IAAI,OAAA,CAAQ,WAAW,CAAA,IAAK,QAAA,CAAS,KAAK,CAAC,OAAA,KAAY,OAAA,KAAY,IAAI,CAAA,EAAG;AACxE,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAA,CAAU,OAAO,EAAE,GAAG,OAAO,IAAA,EAAMA,uBAAA,CAAQ,QAAoB,CAAA,EAAG,CAAA;AAC3E;AAEA,MAAM,aAAA,uBAAyC,GAAA,CAAI;AAAA,EACjD,eAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF,CAAC,CAAA;AAGD,SAAS,YAAA,CAAa,WAA0B,KAAA,EAA2B;AACzE,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,OAAA,IAAW,IAAA,CAAK,SAAS,cAAA,EAAgB;AACzD,IAAA,OAAO,IAAA,CAAK,KAAA,CAAM,KAAA,CAAM,CAAC,IAAA,KAAS;AAChC,MAAA,MAAM,QAAA,GAAW,UAAU,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AAC1D,MAAA,OAAO,QAAA,CAAS,IAAA,KAAS,MAAA,IAAU,YAAA,CAAa,WAAW,QAAQ,CAAA;AAAA,IACrE,CAAC,CAAA;AAAA,EACH;AACA,EAAA,OAAO,aAAA,CAAc,IAAI,IAAA,CAAK,IAAI,KAAM,IAAA,CAAK,IAAA,KAAS,SAAA,IAAa,IAAA,CAAK,OAAA,KAAY,OAAA;AACtF;AAEA,SAAS,aAAa,WAAA,EAAqD;AACzE,EAAA,MAAM,EAAE,MAAK,GAAI,WAAA;AACjB,EAAA,MAAM,UAAU,IAAA,CAAK,IAAA,KAAS,eAAe,IAAA,CAAK,IAAA,KAASC,yBAAa,aAAA,CAAc,IAAA;AACtF,EAAA,OAAO,OAAA,GAAW,IAAA,CAAK,aAAA,CAAc,CAAC,KAAK,IAAA,GAAQ,IAAA;AACrD;AAEA,SAAS,QAAA,CACP,WACA,WAAA,EACyB;AACzB,EAAA,MAAM,QAAA,GAAW,aAAa,WAAW,CAAA;AACzC,EAAA,MAAM,YAAY,QAAA,KAAa,IAAA,GAAO,IAAA,GAAO,SAAA,CAAU,SAAS,QAAQ,CAAA;AACxE,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,SAAA,CAAU,IAAA,KAAS,QAAA,EAAU;AACrD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,CAAU,SAAS,SAAA,EAAW;AAChC,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,SAAA,EAAW,SAAS,CAAA;AAC9C,EAAA,IAAI,OAAA,CAAQ,SAAS,MAAA,EAAQ;AAC3B,IAAA,OAAO,OAAA,CAAQ,SAAS,SAAA,GAAY,EAAE,MAAM,SAAA,EAAW,IAAA,EAAM,WAAA,CAAY,IAAA,EAAK,GAAI,IAAA;AAAA,EACpF;AACA,EAAA,IAAI,YAAY,MAAA,CAAO,MAAA,KAAW,KAAK,OAAA,CAAQ,OAAA,CAAQ,IAAI,CAAA,EAAG;AAE5D,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,OAAA,GAAU,WAAA,CAAY,MAAA,CAAO,GAAA,CAAI,CAAC,UAAU,SAAA,CAAU,SAAA,EAAW,OAAA,EAAS,KAAK,CAAC,CAAA;AACtF,EAAA,IAAI,CAAC,OAAA,CAAQ,QAAA,CAAS,IAAI,CAAA,EAAG;AAC3B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,CAAC,YAAA,CAAa,SAAA,EAAW,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,QAAA,GAAW,WAAA,CAAY,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,KAAA,KAAU,OAAA,CAAQ,KAAK,CAAA,KAAM,IAAI,CAAA;AAChF,EAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,WAAA,CAAY,MAAM,QAAA,EAAS;AAC9D;AAEA,SAAS,QAAQ,IAAA,EAAuB;AACtC,EAAA,OAAO,IAAA,CAAK,IAAA,KAAS,SAAA,IAAa,IAAA,CAAK,OAAA,KAAY,OAAA;AACrD;AAGA,SAAS,cAAc,WAAA,EAA8C;AACnE,EAAA,IAAI,WAAA,CAAY,MAAA,CAAO,MAAA,KAAW,CAAA,EAAG;AACnC,IAAA,OAAOC,uBAAA,CAAWC,oBAAA,CAAQC,gBAAK,CAAC,CAAA;AAAA,EAClC;AACA,EAAA,MAAM,MAAA,GAASJ,uBAAA,CAAQ,WAAA,CAAY,MAAA,CAAO,GAAA,CAAI,CAAC,KAAA,KAAUK,uBAAA,CAAY,KAAK,CAAC,CAAC,CAAA;AAC5E,EAAA,OAAOC,yBAAYL,wBAAA,CAAa,aAAA,CAAc,IAAA,EAAM,CAAC,MAAM,CAAC,CAAA;AAC9D;AAMO,SAAS,iBAAA,CACd,MAAA,EACA,YAAA,EACA,aAAA,EACgE;AAChE,EAAA,MAAM,SAAA,GAAY,IAAIM,4BAAA,CAAc,CAAC,GAAG,YAAA,EAAc,GAAG,MAAA,CAAO,MAAA,CAAO,aAAa,CAAC,CAAC,CAAA;AACtF,EAAA,MAAM,UAA8B,EAAC;AACrC,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,GAAA,CAAI,CAAC,KAAA,KAAU;AACpC,IAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,IAAK,KAAA,CAAM,SAAS,YAAA,EAAc;AACxD,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,EAAW,KAAK,CAAA;AACxC,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,IAAA,OAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,aAAA,CAAc,KAAK,CAAA,EAAE;AAAA,EAChD,CAAC,CAAA;AACD,EAAA,OAAO,EAAE,MAAA,EAAQ,OAAA,EAAS,OAAA,EAAQ;AACpC;;"}

package/dist/application/transform/footer/enum-values-check.mjs

@@ -0,0 +1,127 @@
+import { irReadonly, irReference, irArray } from '../../../domain/ir/constructors.mjs';
+import { HELPER_TYPES } from '../helper-types.mjs';
+import { literalType } from '../literal-type.mjs';
+import { unionOf } from '../type-combinators.mjs';
+import { NEVER } from './evaluation.mjs';
+import { TypeEvaluator } from './type-evaluation.mjs';
+
+function literalAdmission(type, value) {
+  switch (type.kind) {
+    case "stringLiteral":
+    case "numberLiteral":
+      return type.value === value ? "yes" : "no";
+    case "booleanLiteral":
+      return "no";
+    case "keyword":
+      if (type.keyword === "unknown") {
+        return "yes";
+      }
+      return type.keyword === typeof value ? "yes" : "no";
+    case "object":
+      return type.members.length === 0 ? "yes" : "no";
+    case "array":
+      return "no";
+    default:
+      return "opaque";
+  }
+}
+function admission(evaluator, value, item) {
+  const { type } = value;
+  if (type.kind === "union" || type.kind === "intersection") {
+    const parts = type.types.map((part) => {
+      const expanded = evaluator.expand({ ...value, type: part });
+      return expanded.kind === "type" ? admission(evaluator, expanded, item) : "opaque";
+    });
+    const decisive = type.kind === "union" ? "yes" : "no";
+    if (parts.includes(decisive)) {
+      return decisive;
+    }
+    return parts.includes("opaque") ? "opaque" : decisive === "yes" ? "no" : "yes";
+  }
+  return literalAdmission(type, item);
+}
+function elementOf(evaluator, value) {
+  const members = evaluator.membersOf(value);
+  const elements = members.map(
+    (member) => member.kind === "type" && member.type.kind === "array" ? member.type.element : null
+  );
+  if (members.length === 0 || elements.some((element) => element === null)) {
+    return value;
+  }
+  return evaluator.expand({ ...value, type: unionOf(elements) });
+}
+const LITERAL_KINDS = /* @__PURE__ */ new Set([
+  "stringLiteral",
+  "numberLiteral",
+  "booleanLiteral"
+]);
+function isFiniteType(evaluator, value) {
+  const { type } = value;
+  if (type.kind === "union" || type.kind === "intersection") {
+    return type.types.every((part) => {
+      const expanded = evaluator.expand({ ...value, type: part });
+      return expanded.kind === "type" && isFiniteType(evaluator, expanded);
+    });
+  }
+  return LITERAL_KINDS.has(type.kind) || type.kind === "keyword" && type.keyword === "never";
+}
+function locationType(declaration) {
+  const { type } = declaration;
+  const isTyped = type.kind === "reference" && type.name === HELPER_TYPES.readonlyArray.name;
+  return isTyped ? type.typeArguments[0] ?? null : null;
+}
+function retypeOf(evaluator, declaration) {
+  const location = locationType(declaration);
+  const evaluated = location === null ? null : evaluator.evaluate(location);
+  if (evaluated === null || evaluated.kind === "opaque") {
+    return null;
+  }
+  if (evaluated.kind === "missing") {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const element = elementOf(evaluator, evaluated);
+  if (element.kind !== "type") {
+    return element.kind === "missing" ? { kind: "untyped", name: declaration.name } : null;
+  }
+  if (declaration.values.length === 0 && isNever(element.type)) {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const results = declaration.values.map((value) => admission(evaluator, element, value));
+  if (!results.includes("no")) {
+    return null;
+  }
+  if (!isFiniteType(evaluator, element)) {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const excluded = declaration.values.filter((_, index) => results[index] === "no");
+  return { kind: "excluded", name: declaration.name, excluded };
+}
+function isNever(type) {
+  return type.kind === "keyword" && type.keyword === "never";
+}
+function ownValuesType(declaration) {
+  if (declaration.values.length === 0) {
+    return irReadonly(irArray(NEVER));
+  }
+  const values = unionOf(declaration.values.map((value) => literalType(value)));
+  return irReference(HELPER_TYPES.readonlyArray.name, [values]);
+}
+function checkedEnumValues(footer, declarations, isDeclaration) {
+  const evaluator = new TypeEvaluator([...declarations, ...footer.filter(isDeclaration)]);
+  const retyped = [];
+  const checked = footer.map((entry) => {
+    if (!isDeclaration(entry) || entry.kind !== "constArray") {
+      return entry;
+    }
+    const retype = retypeOf(evaluator, entry);
+    if (retype === null) {
+      return entry;
+    }
+    retyped.push(retype);
+    return { ...entry, type: ownValuesType(entry) };
+  });
+  return { footer: checked, retyped };
+}
+
+export { checkedEnumValues };
+//# sourceMappingURL=enum-values-check.mjs.map