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

package/src/domain/warnings.ts

@@ -0,0 +1,28 @@
+/**
+ * Typed warnings. A warning does not stop the run: the output is written and the CLI exits with 0.
+ * Each one ends with a stable machine-readable code in parentheses, as the CLI prints errors
+ * (`message (CODE)`), so a script or a person can search for it.
+ */
+
+/** Every warning code. */
+export const WARNING_CODES = {
+  CLI_INPUT_IGNORED: "CLI_INPUT_IGNORED",
+  CONFIG_SETTING_UNKNOWN: "CONFIG_SETTING_UNKNOWN",
+  DISCRIMINATOR_MAPPING_INVALID: "DISCRIMINATOR_MAPPING_INVALID",
+  DISCRIMINATOR_VALUE_NOT_ALLOWED: "DISCRIMINATOR_VALUE_NOT_ALLOWED",
+  ENUM_VALUES_EXCLUDED: "ENUM_VALUES_EXCLUDED",
+  FIX_NEEDS_OPTION: "FIX_NEEDS_OPTION",
+  LEGACY_CALLBACK_DEPRECATED: "LEGACY_CALLBACK_DEPRECATED",
+  LINT_PROBLEM: "LINT_PROBLEM",
+  PATH_TEMPLATES_IDENTICAL: "PATH_TEMPLATES_IDENTICAL",
+  QUERYSTRING_NEXT_TO_QUERY: "QUERYSTRING_NEXT_TO_QUERY",
+  REF_CIRCULAR: "REF_CIRCULAR",
+  REF_NOT_FOUND: "REF_NOT_FOUND",
+} as const;
+
+export type WarningCode = (typeof WARNING_CODES)[keyof typeof WARNING_CODES];
+
+/** The warning line for people, with its code at the end. */
+export function warningText(message: string, code: WarningCode): string {
+  return `${message} (${code})`;
+}

package/src/index.ts

@@ -48,6 +48,7 @@ export {
   OutputFix,
   type OutputFixName,
 } from "./domain/output-fixes.js";
+export { WARNING_CODES, type WarningCode } from "./domain/warnings.js";
 export { default as transformComponentsObject } from "./transform/components-object.js";
 export { default as transformHeaderObject } from "./transform/header-object.js";
 export { default as transformMediaTypeObject } from "./transform/media-type-object.js";

package/src/transform/components-object.ts

@@ -1,5 +1,6 @@
 import { createTransformContext } from "../api/transform-context.js";
 import { componentsType } from "../application/transform/document/components.js";
+import { renameTakenAliases } from "../application/transform/document/root-type-aliases.js";
 import type { IrType, IrTypeAliasDeclaration } from "../domain/ir/nodes.js";
 import { isEnumSchema, singularizeComponentKind } from "../domain/openapi/components-object.js";
 import type { ComponentsObject, GlobalContext } from "../types.js";
@@ -21,5 +22,6 @@ export default function transformComponentsObject(
   ctx: GlobalContext,
 ): (IrType | IrTypeAliasDeclaration)[] {
   const { type, rootTypes } = componentsType(componentsObject, createTransformContext(ctx));
-  return [type, ...rootTypes];
+  // No footer here: only the aliases the `root-type-numbering` fix keeps get numbers.
+  return [type, ...renameTakenAliases(rootTypes, [])];
 }

package/src/transform/path-item-object.ts

@@ -1,10 +1,14 @@
 import { createTransformContext, schemaLocation } from "../api/transform-context.js";
 import { pathItemType } from "../application/transform/document/path-item.js";
 import type { IrType } from "../domain/ir/nodes.js";
-import type { HttpMethod } from "../domain/openapi/path-item-object.js";
+import type { PathItemMethod } from "../domain/openapi/path-item-object.js";
 import type { PathItemObject, TransformNodeOptions } from "../types.js";
 
-export type Method = HttpMethod;
+/**
+ * The operation methods of a path item: openapi-typescript's eight, plus the OpenAPI 3.2 `query`
+ * (ADR-020), as `HttpMethod` of openapi-typesafe-helpers lists them.
+ */
+export type Method = PathItemMethod;
 
 /**
  * Transform PathItem nodes (4.8.9)

package/src/types/generator-options.ts

@@ -3,8 +3,6 @@ import type { Readable } from "node:stream";
 import type { Config as RedoclyConfig } from "@redocly/openapi-core";
 import type { ts } from "../adapters/type-ast-bridge/typescript-types.js";
 import type { FooterEntry } from "../api/footer-entry.js";
-import type { Logger } from "../application/ports/logger.js";
-import type { DocumentFooter } from "../application/transform/transform-context.js";
 import type { IrPropertySignature, IrType } from "../domain/ir/nodes.js";
 import type { OutputFix, OutputFixName } from "../domain/output-fixes.js";
 import type { ReferenceObject } from "./openapi-common.js";
@@ -74,7 +72,7 @@ export interface OpenAPITSBaseOptions {
   lint?: boolean;
   /** (optional) Should logging be suppressed? (necessary for STDOUT) */
   silent?: boolean;
-  /** (optional) OpenAPI version. Must be present if parsing raw schema */
+  /** Accepted for compatibility with openapi-typescript; not read. */
   version?: number;
   /** (optional) Export type instead of interface */
   exportType?: boolean;
@@ -197,13 +195,18 @@ export interface OpenAPITSIrOptions extends OpenAPITSBaseOptions, IrCallbackOpti
 /** Either form of the generator options. */
 export type GeneratorOptions = OpenAPITSOptions | OpenAPITSIrOptions;
 
-/** Context passed to all submodules */
+/**
+ * Context passed to all submodules, and to the callbacks as `options.ctx`. To call an exported
+ * transformer outside a run, build one with the fields of openapi-typescript's context; the
+ * fields openapi-typesafe added are optional.
+ */
 export interface GlobalContext {
   // user options
   additionalProperties: boolean;
   alphabetize: boolean;
   arrayLength: boolean;
-  binaryAsBlob: boolean;
+  /** `format: binary` and `contentMediaType` strings become `Blob` (default: false). */
+  binaryAsBlob?: boolean;
   defaultNonNullable: boolean;
   discriminators: {
     objects: Record<string, DiscriminatorObject>;
@@ -224,24 +227,12 @@ export interface GlobalContext {
    * callbacks may add IR declarations or TypeScript nodes.
    */
   injectFooter: FooterEntry[];
+  pathParamsAsTypes: boolean;
   /**
-   * @internal Footer state of this run (enum registry and enum naming), created on first use by
-   * the transform context adapter. Not an option; do not set it.
-   */
-  runFooter?: DocumentFooter;
-  /**
-   * @internal The deprecated callback forms this run has warned about (once each). Not an
-   * option; do not set it.
-   */
-  legacyCallbackWarnings?: Set<LegacyCallbackName>;
-  /**
-   * @internal Where this run reports warnings and debug output. Not an option; a context without
-   * it logs to the terminal.
+   * Whether the callbacks below take IR (`OpenAPITSIrOptions`) or TypeScript nodes
+   * (default: false, TypeScript nodes).
    */
-  logger?: Logger;
-  pathParamsAsTypes: boolean;
-  /** Whether the callbacks below take IR (`OpenAPITSIrOptions`) or TypeScript nodes. */
-  irCallbacks: boolean;
+  irCallbacks?: boolean;
   postTransform: GeneratorOptions["postTransform"];
   propertiesRequiredByDefault: boolean;
   rootTypes: boolean;

package/src/types/openapi-common.ts

@@ -7,6 +7,7 @@
 // for ways schemas _can_ be written, not necessarily how they _should_ be.
 
 export interface Extensable {
+  // biome-ignore lint/suspicious/noExplicitAny: public type under semver (ADR-034)
   [key: `x-${string}`]: any;
 }
 

package/src/types/openapi-request.ts

@@ -67,6 +67,7 @@ export interface ParameterObject extends Extensable {
   /** The schema defining the type used for the parameter. */
   schema?: SchemaObject;
   /** Example of the parameter’s potential value. */
+  // biome-ignore lint/suspicious/noExplicitAny: public type under semver (ADR-034)
   example?: any;
   /** Examples of the parameter’s potential value. */
   examples?: { [name: string]: ExampleObject | ReferenceObject };
@@ -111,6 +112,7 @@ export interface MediaTypeObject extends Extensable {
    * referencing a schema which contains an example, the example value SHALL override the example
    * provided by the schema.
    */
+  // biome-ignore lint/suspicious/noExplicitAny: public type under semver (ADR-034)
   example?: any;
   /**
    * Examples of the media type. Each example object SHOULD match the media type and specified
@@ -188,6 +190,7 @@ export interface ExampleObject extends Extensable {
    * represent examples of media types that cannot naturally represented in JSON or YAML, use a
    * string value to contain the example, escaping where necessary.
    */
+  // biome-ignore lint/suspicious/noExplicitAny: public type under semver (ADR-034)
   value?: any;
   /**
    * A URI that points to the literal example. This provides the capability to reference examples

package/src/types/openapi-schema.ts

@@ -21,6 +21,7 @@ export type SchemaObject = {
   /** Additional external documentation for this schema. */
   externalDocs?: ExternalDocumentationObject;
   /** @deprecated */
+  // biome-ignore lint/suspicious/noExplicitAny: public type under semver (ADR-034)
   example?: any;
   title?: string;
   description?: string;
@@ -47,6 +48,7 @@ export type SchemaObject = {
   allOf?: (SchemaObject | ReferenceObject)[];
   anyOf?: (SchemaObject | ReferenceObject)[];
   required?: string[];
+  // biome-ignore lint/suspicious/noExplicitAny: public type under semver (ADR-034)
   [key: `x-${string}`]: any;
 } & (
   | StringSubtype

package/src/types/openapi-security.ts

@@ -10,6 +10,7 @@ export type SecuritySchemeObject = {
    * A description for security scheme. CommonMark syntax MAY be used for rich text representation.
    */
   description?: string;
+  // biome-ignore lint/suspicious/noExplicitAny: public type under semver (ADR-034)
   [key: `x-${string}`]: any;
 } & (
   | {

package/dist/application/transform/document/path-item-conflicts.cjs

@@ -1,51 +0,0 @@
-'use strict';
-
-function nameOf(member) {
-  return member.name.kind === "string" ? member.name.value : member.name.text;
-}
-function presenceOf(member) {
-  if (member === void 0) {
-    return "absent";
-  }
-  if (member.type.kind === "keyword" && member.type.keyword === "never") {
-    return member.isOptional ? "never" : "unknown";
-  }
-  return member.isOptional ? "optional" : "required";
-}
-function propertiesOf(type) {
-  if (type.kind !== "object") {
-    return null;
-  }
-  const properties = type.members.filter((member) => {
-    return member.kind === "property";
-  });
-  return new Map(properties.map((property) => [nameOf(property), property]));
-}
-function isPresenceRejected(covering, covered) {
-  if (covered === "unknown") {
-    return false;
-  }
-  if (covering === "required") {
-    return covered !== "required";
-  }
-  return covering === "never" && (covered === "optional" || covered === "required");
-}
-function isPropertyRejected(covering, covered) {
-  if (isPresenceRejected(presenceOf(covering), presenceOf(covered))) {
-    return true;
-  }
-  return covered !== void 0 && isCoveredPathItemRejected(covered.type, covering.type);
-}
-function isCoveredPathItemRejected(covered, covering) {
-  const coveredProperties = propertiesOf(covered);
-  const coveringProperties = propertiesOf(covering);
-  if (coveredProperties === null || coveringProperties === null) {
-    return false;
-  }
-  return [...coveringProperties].some(
-    ([name, property]) => isPropertyRejected(property, coveredProperties.get(name))
-  );
-}
-
-exports.isCoveredPathItemRejected = isCoveredPathItemRejected;
-//# sourceMappingURL=path-item-conflicts.cjs.map

package/dist/application/transform/document/path-item-conflicts.cjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"path-item-conflicts.cjs","sources":["../../../../src/application/transform/document/path-item-conflicts.ts"],"sourcesContent":["import type { IrMember, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\n\n/**\n * Whether TypeScript surely rejects a covered path item for the index signature that covers it\n * (roadmap R10.2). The original output compiles when every covered type is assignable to the\n * signature's type, and that output must stay the same, so a signature is only moved when this\n * check proves the error. It compares object types property by property, as the checker does: a\n * property the signature needs and the covered type may lack, or a value where the signature has\n * the `?: never` of an empty slot (a missing method, an empty parameter location), proves it. Two\n * object properties are compared the same way, inside. Any other pair of types (references,\n * unions, keywords) decides nothing, and that output is left as it was.\n */\n\n/**\n * How a property is written. `never` is the `?: never` of an empty slot; a required `never`\n * (assignable to every type) is `unknown` and decides nothing.\n */\ntype Presence = \"absent\" | \"never\" | \"optional\" | \"required\" | \"unknown\";\n\nfunction nameOf(member: IrPropertySignature): string {\n  return member.name.kind === \"string\" ? member.name.value : member.name.text;\n}\n\nfunction presenceOf(member: IrPropertySignature | undefined): Presence {\n  if (member === undefined) {\n    return \"absent\";\n  }\n  if (member.type.kind === \"keyword\" && member.type.keyword === \"never\") {\n    return member.isOptional ? \"never\" : \"unknown\";\n  }\n  return member.isOptional ? \"optional\" : \"required\";\n}\n\nfunction propertiesOf(type: IrType): ReadonlyMap<string, IrPropertySignature> | null {\n  if (type.kind !== \"object\") {\n    return null;\n  }\n  const properties = type.members.filter((member: IrMember): member is IrPropertySignature => {\n    return member.kind === \"property\";\n  });\n  return new Map(properties.map((property) => [nameOf(property), property]));\n}\n\n/**\n * Whether the covered property's presence fails the signature's: a required value it may lack, or\n * a value where the signature has `never` (an object is not `undefined`).\n */\nfunction isPresenceRejected(covering: Presence, covered: Presence): boolean {\n  if (covered === \"unknown\") {\n    return false;\n  }\n  if (covering === \"required\") {\n    return covered !== \"required\";\n  }\n  return covering === \"never\" && (covered === \"optional\" || covered === \"required\");\n}\n\nfunction isPropertyRejected(\n  covering: IrPropertySignature,\n  covered: IrPropertySignature | undefined,\n): boolean {\n  if (isPresenceRejected(presenceOf(covering), presenceOf(covered))) {\n    return true;\n  }\n  // A `never` is not an object type, so a slot that is empty on either side decides nothing here.\n  return covered !== undefined && isCoveredPathItemRejected(covered.type, covering.type);\n}\n\n/** Whether the covered type is surely not assignable to the covering signature's type. */\nexport function isCoveredPathItemRejected(covered: IrType, covering: IrType): boolean {\n  const coveredProperties = propertiesOf(covered);\n  const coveringProperties = propertiesOf(covering);\n  if (coveredProperties === null || coveringProperties === null) {\n    return false;\n  }\n  return [...coveringProperties].some(([name, property]) =>\n    isPropertyRejected(property, coveredProperties.get(name)),\n  );\n}\n"],"names":[],"mappings":";;AAmBA,SAAS,OAAO,MAAA,EAAqC;AACnD,EAAA,OAAO,MAAA,CAAO,KAAK,IAAA,KAAS,QAAA,GAAW,OAAO,IAAA,CAAK,KAAA,GAAQ,OAAO,IAAA,CAAK,IAAA;AACzE;AAEA,SAAS,WAAW,MAAA,EAAmD;AACrE,EAAA,IAAI,WAAW,MAAA,EAAW;AACxB,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,aAAa,MAAA,CAAO,IAAA,CAAK,YAAY,OAAA,EAAS;AACrE,IAAA,OAAO,MAAA,CAAO,aAAa,OAAA,GAAU,SAAA;AAAA,EACvC;AACA,EAAA,OAAO,MAAA,CAAO,aAAa,UAAA,GAAa,UAAA;AAC1C;AAEA,SAAS,aAAa,IAAA,EAA+D;AACnF,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,OAAA,CAAQ,MAAA,CAAO,CAAC,MAAA,KAAoD;AAC1F,IAAA,OAAO,OAAO,IAAA,KAAS,UAAA;AAAA,EACzB,CAAC,CAAA;AACD,EAAA,OAAO,IAAI,GAAA,CAAI,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,KAAa,CAAC,MAAA,CAAO,QAAQ,CAAA,EAAG,QAAQ,CAAC,CAAC,CAAA;AAC3E;AAMA,SAAS,kBAAA,CAAmB,UAAoB,OAAA,EAA4B;AAC1E,EAAA,IAAI,YAAY,SAAA,EAAW;AACzB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,aAAa,UAAA,EAAY;AAC3B,IAAA,OAAO,OAAA,KAAY,UAAA;AAAA,EACrB;AACA,EAAA,OAAO,QAAA,KAAa,OAAA,KAAY,OAAA,KAAY,UAAA,IAAc,OAAA,KAAY,UAAA,CAAA;AACxE;AAEA,SAAS,kBAAA,CACP,UACA,OAAA,EACS;AACT,EAAA,IAAI,mBAAmB,UAAA,CAAW,QAAQ,GAAG,UAAA,CAAW,OAAO,CAAC,CAAA,EAAG;AACjE,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,OAAO,YAAY,MAAA,IAAa,yBAAA,CAA0B,OAAA,CAAQ,IAAA,EAAM,SAAS,IAAI,CAAA;AACvF;AAGO,SAAS,yBAAA,CAA0B,SAAiB,QAAA,EAA2B;AACpF,EAAA,MAAM,iBAAA,GAAoB,aAAa,OAAO,CAAA;AAC9C,EAAA,MAAM,kBAAA,GAAqB,aAAa,QAAQ,CAAA;AAChD,EAAA,IAAI,iBAAA,KAAsB,IAAA,IAAQ,kBAAA,KAAuB,IAAA,EAAM;AAC7D,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,CAAC,GAAG,kBAAkB,CAAA,CAAE,IAAA;AAAA,IAAK,CAAC,CAAC,IAAA,EAAM,QAAQ,CAAA,KAClD,mBAAmB,QAAA,EAAU,iBAAA,CAAkB,GAAA,CAAI,IAAI,CAAC;AAAA,GAC1D;AACF;;"}

package/dist/application/transform/document/path-item-conflicts.mjs

@@ -1,49 +0,0 @@
-function nameOf(member) {
-  return member.name.kind === "string" ? member.name.value : member.name.text;
-}
-function presenceOf(member) {
-  if (member === void 0) {
-    return "absent";
-  }
-  if (member.type.kind === "keyword" && member.type.keyword === "never") {
-    return member.isOptional ? "never" : "unknown";
-  }
-  return member.isOptional ? "optional" : "required";
-}
-function propertiesOf(type) {
-  if (type.kind !== "object") {
-    return null;
-  }
-  const properties = type.members.filter((member) => {
-    return member.kind === "property";
-  });
-  return new Map(properties.map((property) => [nameOf(property), property]));
-}
-function isPresenceRejected(covering, covered) {
-  if (covered === "unknown") {
-    return false;
-  }
-  if (covering === "required") {
-    return covered !== "required";
-  }
-  return covering === "never" && (covered === "optional" || covered === "required");
-}
-function isPropertyRejected(covering, covered) {
-  if (isPresenceRejected(presenceOf(covering), presenceOf(covered))) {
-    return true;
-  }
-  return covered !== void 0 && isCoveredPathItemRejected(covered.type, covering.type);
-}
-function isCoveredPathItemRejected(covered, covering) {
-  const coveredProperties = propertiesOf(covered);
-  const coveringProperties = propertiesOf(covering);
-  if (coveredProperties === null || coveringProperties === null) {
-    return false;
-  }
-  return [...coveringProperties].some(
-    ([name, property]) => isPropertyRejected(property, coveredProperties.get(name))
-  );
-}
-
-export { isCoveredPathItemRejected };
-//# sourceMappingURL=path-item-conflicts.mjs.map

package/dist/application/transform/document/path-item-conflicts.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"path-item-conflicts.mjs","sources":["../../../../src/application/transform/document/path-item-conflicts.ts"],"sourcesContent":["import type { IrMember, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\n\n/**\n * Whether TypeScript surely rejects a covered path item for the index signature that covers it\n * (roadmap R10.2). The original output compiles when every covered type is assignable to the\n * signature's type, and that output must stay the same, so a signature is only moved when this\n * check proves the error. It compares object types property by property, as the checker does: a\n * property the signature needs and the covered type may lack, or a value where the signature has\n * the `?: never` of an empty slot (a missing method, an empty parameter location), proves it. Two\n * object properties are compared the same way, inside. Any other pair of types (references,\n * unions, keywords) decides nothing, and that output is left as it was.\n */\n\n/**\n * How a property is written. `never` is the `?: never` of an empty slot; a required `never`\n * (assignable to every type) is `unknown` and decides nothing.\n */\ntype Presence = \"absent\" | \"never\" | \"optional\" | \"required\" | \"unknown\";\n\nfunction nameOf(member: IrPropertySignature): string {\n  return member.name.kind === \"string\" ? member.name.value : member.name.text;\n}\n\nfunction presenceOf(member: IrPropertySignature | undefined): Presence {\n  if (member === undefined) {\n    return \"absent\";\n  }\n  if (member.type.kind === \"keyword\" && member.type.keyword === \"never\") {\n    return member.isOptional ? \"never\" : \"unknown\";\n  }\n  return member.isOptional ? \"optional\" : \"required\";\n}\n\nfunction propertiesOf(type: IrType): ReadonlyMap<string, IrPropertySignature> | null {\n  if (type.kind !== \"object\") {\n    return null;\n  }\n  const properties = type.members.filter((member: IrMember): member is IrPropertySignature => {\n    return member.kind === \"property\";\n  });\n  return new Map(properties.map((property) => [nameOf(property), property]));\n}\n\n/**\n * Whether the covered property's presence fails the signature's: a required value it may lack, or\n * a value where the signature has `never` (an object is not `undefined`).\n */\nfunction isPresenceRejected(covering: Presence, covered: Presence): boolean {\n  if (covered === \"unknown\") {\n    return false;\n  }\n  if (covering === \"required\") {\n    return covered !== \"required\";\n  }\n  return covering === \"never\" && (covered === \"optional\" || covered === \"required\");\n}\n\nfunction isPropertyRejected(\n  covering: IrPropertySignature,\n  covered: IrPropertySignature | undefined,\n): boolean {\n  if (isPresenceRejected(presenceOf(covering), presenceOf(covered))) {\n    return true;\n  }\n  // A `never` is not an object type, so a slot that is empty on either side decides nothing here.\n  return covered !== undefined && isCoveredPathItemRejected(covered.type, covering.type);\n}\n\n/** Whether the covered type is surely not assignable to the covering signature's type. */\nexport function isCoveredPathItemRejected(covered: IrType, covering: IrType): boolean {\n  const coveredProperties = propertiesOf(covered);\n  const coveringProperties = propertiesOf(covering);\n  if (coveredProperties === null || coveringProperties === null) {\n    return false;\n  }\n  return [...coveringProperties].some(([name, property]) =>\n    isPropertyRejected(property, coveredProperties.get(name)),\n  );\n}\n"],"names":[],"mappings":"AAmBA,SAAS,OAAO,MAAA,EAAqC;AACnD,EAAA,OAAO,MAAA,CAAO,KAAK,IAAA,KAAS,QAAA,GAAW,OAAO,IAAA,CAAK,KAAA,GAAQ,OAAO,IAAA,CAAK,IAAA;AACzE;AAEA,SAAS,WAAW,MAAA,EAAmD;AACrE,EAAA,IAAI,WAAW,MAAA,EAAW;AACxB,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,aAAa,MAAA,CAAO,IAAA,CAAK,YAAY,OAAA,EAAS;AACrE,IAAA,OAAO,MAAA,CAAO,aAAa,OAAA,GAAU,SAAA;AAAA,EACvC;AACA,EAAA,OAAO,MAAA,CAAO,aAAa,UAAA,GAAa,UAAA;AAC1C;AAEA,SAAS,aAAa,IAAA,EAA+D;AACnF,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,OAAA,CAAQ,MAAA,CAAO,CAAC,MAAA,KAAoD;AAC1F,IAAA,OAAO,OAAO,IAAA,KAAS,UAAA;AAAA,EACzB,CAAC,CAAA;AACD,EAAA,OAAO,IAAI,GAAA,CAAI,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,KAAa,CAAC,MAAA,CAAO,QAAQ,CAAA,EAAG,QAAQ,CAAC,CAAC,CAAA;AAC3E;AAMA,SAAS,kBAAA,CAAmB,UAAoB,OAAA,EAA4B;AAC1E,EAAA,IAAI,YAAY,SAAA,EAAW;AACzB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,aAAa,UAAA,EAAY;AAC3B,IAAA,OAAO,OAAA,KAAY,UAAA;AAAA,EACrB;AACA,EAAA,OAAO,QAAA,KAAa,OAAA,KAAY,OAAA,KAAY,UAAA,IAAc,OAAA,KAAY,UAAA,CAAA;AACxE;AAEA,SAAS,kBAAA,CACP,UACA,OAAA,EACS;AACT,EAAA,IAAI,mBAAmB,UAAA,CAAW,QAAQ,GAAG,UAAA,CAAW,OAAO,CAAC,CAAA,EAAG;AACjE,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,OAAO,YAAY,MAAA,IAAa,yBAAA,CAA0B,OAAA,CAAQ,IAAA,EAAM,SAAS,IAAI,CAAA;AACvF;AAGO,SAAS,yBAAA,CAA0B,SAAiB,QAAA,EAA2B;AACpF,EAAA,MAAM,iBAAA,GAAoB,aAAa,OAAO,CAAA;AAC9C,EAAA,MAAM,kBAAA,GAAqB,aAAa,QAAQ,CAAA;AAChD,EAAA,IAAI,iBAAA,KAAsB,IAAA,IAAQ,kBAAA,KAAuB,IAAA,EAAM;AAC7D,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,CAAC,GAAG,kBAAkB,CAAA,CAAE,IAAA;AAAA,IAAK,CAAC,CAAC,IAAA,EAAM,QAAQ,CAAA,KAClD,mBAAmB,QAAA,EAAU,iBAAA,CAAkB,GAAA,CAAI,IAAI,CAAC;AAAA,GAC1D;AACF;;"}

package/src/application/transform/document/path-item-conflicts.ts

@@ -1,79 +0,0 @@
-import type { IrMember, IrPropertySignature, IrType } from "../../../domain/ir/nodes.js";
-
-/**
- * Whether TypeScript surely rejects a covered path item for the index signature that covers it
- * (roadmap R10.2). The original output compiles when every covered type is assignable to the
- * signature's type, and that output must stay the same, so a signature is only moved when this
- * check proves the error. It compares object types property by property, as the checker does: a
- * property the signature needs and the covered type may lack, or a value where the signature has
- * the `?: never` of an empty slot (a missing method, an empty parameter location), proves it. Two
- * object properties are compared the same way, inside. Any other pair of types (references,
- * unions, keywords) decides nothing, and that output is left as it was.
- */
-
-/**
- * How a property is written. `never` is the `?: never` of an empty slot; a required `never`
- * (assignable to every type) is `unknown` and decides nothing.
- */
-type Presence = "absent" | "never" | "optional" | "required" | "unknown";
-
-function nameOf(member: IrPropertySignature): string {
-  return member.name.kind === "string" ? member.name.value : member.name.text;
-}
-
-function presenceOf(member: IrPropertySignature | undefined): Presence {
-  if (member === undefined) {
-    return "absent";
-  }
-  if (member.type.kind === "keyword" && member.type.keyword === "never") {
-    return member.isOptional ? "never" : "unknown";
-  }
-  return member.isOptional ? "optional" : "required";
-}
-
-function propertiesOf(type: IrType): ReadonlyMap<string, IrPropertySignature> | null {
-  if (type.kind !== "object") {
-    return null;
-  }
-  const properties = type.members.filter((member: IrMember): member is IrPropertySignature => {
-    return member.kind === "property";
-  });
-  return new Map(properties.map((property) => [nameOf(property), property]));
-}
-
-/**
- * Whether the covered property's presence fails the signature's: a required value it may lack, or
- * a value where the signature has `never` (an object is not `undefined`).
- */
-function isPresenceRejected(covering: Presence, covered: Presence): boolean {
-  if (covered === "unknown") {
-    return false;
-  }
-  if (covering === "required") {
-    return covered !== "required";
-  }
-  return covering === "never" && (covered === "optional" || covered === "required");
-}
-
-function isPropertyRejected(
-  covering: IrPropertySignature,
-  covered: IrPropertySignature | undefined,
-): boolean {
-  if (isPresenceRejected(presenceOf(covering), presenceOf(covered))) {
-    return true;
-  }
-  // A `never` is not an object type, so a slot that is empty on either side decides nothing here.
-  return covered !== undefined && isCoveredPathItemRejected(covered.type, covering.type);
-}
-
-/** Whether the covered type is surely not assignable to the covering signature's type. */
-export function isCoveredPathItemRejected(covered: IrType, covering: IrType): boolean {
-  const coveredProperties = propertiesOf(covered);
-  const coveringProperties = propertiesOf(covering);
-  if (coveredProperties === null || coveringProperties === null) {
-    return false;
-  }
-  return [...coveringProperties].some(([name, property]) =>
-    isPropertyRejected(property, coveredProperties.get(name)),
-  );
-}