ajsc 5.2.3 → 7.0.0

package/dist/converter/discriminatedUnions.js

@@ -0,0 +1,168 @@
+import { toPascalCase } from "../utils/to-pascal-case.js";
+import { walkIR } from "./walk.js";
+/**
+ * Collects all property names (in first-seen order) and shared property names
+ * across union options.
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export function collectUnionPropertyNames(options) {
+    const allPropNames = [];
+    const seenProps = new Set();
+    for (const opt of options) {
+        if (opt.properties) {
+            for (const key of Object.keys(opt.properties)) {
+                if (!seenProps.has(key)) {
+                    seenProps.add(key);
+                    allPropNames.push(key);
+                }
+            }
+        }
+    }
+    const sharedPropNames = allPropNames.filter((propName) => options.every((opt) => opt.properties?.[propName] !== undefined));
+    return { allPropNames, sharedPropNames };
+}
+/**
+ * Extracts a single const string value from an IR node (literal with string
+ * value or single-value string enum).
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export function getConstStringValue(ir) {
+    if (!ir)
+        return undefined;
+    if (ir.type === "literal" && typeof ir.constraints?.value === "string") {
+        return ir.constraints.value;
+    }
+    if (ir.type === "enum" &&
+        ir.values?.length === 1 &&
+        typeof ir.values[0] === "string") {
+        return ir.values[0];
+    }
+    return undefined;
+}
+/**
+ * Finds the discriminator property among shared properties: a property where
+ * each option has a distinct const or single-value-enum string value.
+ */
+export function findDiscriminatorProperty(options, sharedPropNames) {
+    for (const propName of sharedPropNames) {
+        const values = options.map((opt) => getConstStringValue(opt.properties?.[propName]));
+        if (values.every((v) => v !== undefined)) {
+            const uniqueValues = new Set(values);
+            if (uniqueValues.size === options.length) {
+                return propName;
+            }
+        }
+    }
+    return null;
+}
+/**
+ * Returns the parent-context name used when generating discriminated-union
+ * variant names (e.g. for a `Shape` union, returning `"shape"` yields variant
+ * names like `CircleShape`/`SquareShape`).
+ *
+ * Default: the last non-numeric segment of the union's path. Languages may
+ * override via `languageProfile.getDiscriminatedVariantParentName` to apply
+ * a fallback (e.g. Kotlin falls back to `ir.name || ir.title` for root-level
+ * unions) or to disable the parent suffix entirely (e.g. Swift emits variants
+ * nested in the enum, so `Circle` is unambiguous and bare).
+ */
+function defaultVariantParentName(ir) {
+    const pathSegments = ir.path.split(".").filter((x) => !/^\d+$/.test(x));
+    return pathSegments[pathSegments.length - 1] || "";
+}
+/**
+ * Walks the IR tree and applies discriminated union enhancements
+ * to anyOf unions that survived merging. Subclasses may opt in to also
+ * process `oneOf` unions via the `processOneOfAsDiscriminatedUnion`
+ * field on `languageProfile`.
+ */
+export function enhanceDiscriminatedUnions(c, ir) {
+    walkIR(ir, (node) => {
+        if (node.type === "union" &&
+            node.options &&
+            node.options.length > 1) {
+            const isAnyOf = node.constraints?.combinator === "anyOf";
+            const isOneOf = node.constraints?.combinator === "oneOf";
+            if (isAnyOf || (isOneOf && (c.languageProfile.processOneOfAsDiscriminatedUnion ?? false))) {
+                applyDiscriminatedUnionEnhancements(c, node);
+            }
+        }
+    });
+}
+/**
+ * Enhances an unmerged anyOf union that has a discriminator property.
+ * Sets `ir.name` on each variant to a discriminator-derived name and
+ * populates `discriminatorInfo` for consolidated enum emission.
+ */
+export function applyDiscriminatedUnionEnhancements(c, ir) {
+    const options = ir.options;
+    if (!options || !options.every((opt) => opt.type === "object"))
+        return;
+    // Compute shared property names
+    const { sharedPropNames } = collectUnionPropertyNames(options);
+    const discriminator = findDiscriminatorProperty(options, sharedPropNames);
+    if (!discriminator)
+        return;
+    const parentName = c.languageProfile.getDiscriminatedVariantParentName?.(ir)
+        ?? defaultVariantParentName(ir);
+    // Collect all discriminator values in order
+    const allValues = [];
+    for (const opt of options) {
+        const val = getConstStringValue(opt.properties[discriminator]);
+        if (val)
+            allValues.push(val);
+    }
+    // Collect signatures of object/array properties across all variants
+    // for cross-variant deduplication. If the same signature appears at
+    // different property names across variants, it should be deduplicated.
+    const signatureCounts = new Map();
+    for (const opt of options) {
+        if (!opt.properties)
+            continue;
+        for (const prop of Object.values(opt.properties)) {
+            if (prop.signature) {
+                signatureCounts.set(prop.signature, (signatureCounts.get(prop.signature) ?? 0) + 1);
+            }
+        }
+    }
+    for (const [sig, count] of signatureCounts) {
+        if (count > 1)
+            c.dedupSignatures.add(sig);
+    }
+    for (const opt of options) {
+        const val = getConstStringValue(opt.properties[discriminator]);
+        if (!val)
+            continue;
+        // Compute discriminator-derived variant name and stash it for downstream emitters.
+        const variantName = toPascalCase(val) + toPascalCase(parentName);
+        c.variantNames.set(opt, variantName);
+        // Populate discriminator info — subclasses opt in via the profile
+        if (c.languageProfile.shouldPopulateDiscriminatorInfo ?? false) {
+            const discProp = opt.properties[discriminator];
+            c.discriminatorInfo.set(discProp, { allValues, thisValue: val });
+        }
+    }
+}
+/**
+ * Returns a copy of the variant IR node with the discriminator property removed
+ * when `languageProfile.shouldEraseDiscriminator` is true. Otherwise returns the original.
+ *
+ * Used by language emitters that hoist the discriminator into a sealed-interface
+ * annotation (Kotlin `@JsonClassDiscriminator`) or a Codable plumbing block (Swift
+ * generated `init(from:)`/`encode(to:)`), where carrying the field on the variant
+ * struct would cause a duplicate-key error during decode.
+ */
+export function stripDiscriminatorField(c, opt, discriminator) {
+    if (!(c.languageProfile.shouldEraseDiscriminator ?? false))
+        return opt;
+    const propsToEmit = {};
+    for (const [k, v] of Object.entries(opt.properties ?? {})) {
+        if (k === discriminator)
+            continue;
+        propsToEmit[k] = v;
+    }
+    return { ...opt, properties: propsToEmit };
+}
+//# sourceMappingURL=discriminatedUnions.js.map

package/dist/converter/discriminatedUnions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminatedUnions.js","sourceRoot":"","sources":["../../src/converter/discriminatedUnions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAAiB;IAIzD,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACnB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxB,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACnB,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,eAAe,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CACvD,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,CACjE,CAAC;IACF,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAsB;IACxD,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC1B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvE,OAAO,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;IAC9B,CAAC;IACD,IACE,EAAE,CAAC,IAAI,KAAK,MAAM;QAClB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC;QACvB,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,EAChC,CAAC;QACD,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAAiB,EACjB,eAAyB;IAEzB,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,MAAM,MAAM,GAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACzD,mBAAmB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,CAAC,CAChD,CAAC;QACF,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YACzC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;gBACzC,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,wBAAwB,CAAC,EAAU;IAC1C,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,CAAuB,EACvB,EAAU;IAEV,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAClB,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,OAAO;YACZ,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EACvB,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,KAAK,OAAO,CAAC;YACzD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,KAAK,OAAO,CAAC;YACzD,IAAI,OAAO,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,gCAAgC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC1F,mCAAmC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mCAAmC,CACjD,CAAuB,EACvB,EAAU;IAEV,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;IAC3B,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QAAE,OAAO;IAEvE,gCAAgC;IAChC,MAAM,EAAE,eAAe,EAAE,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAE/D,MAAM,aAAa,GAAG,yBAAyB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAC1E,IAAI,CAAC,aAAa;QAAE,OAAO;IAE3B,MAAM,UAAU,GAAG,CAAC,CAAC,eAAe,CAAC,iCAAiC,EAAE,CAAC,EAAE,CAAC;WACvE,wBAAwB,CAAC,EAAE,CAAC,CAAC;IAElC,4CAA4C;IAC5C,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,UAAW,CAAC,aAAa,CAAC,CAAC,CAAC;QAChE,IAAI,GAAG;YAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,oEAAoE;IACpE,oEAAoE;IACpE,uEAAuE;IACvE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,CAAC,UAAU;YAAE,SAAS;QAC9B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACjD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,eAAe,CAAC,GAAG,CACjB,IAAI,CAAC,SAAS,EACd,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAC/C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;QAC3C,IAAI,KAAK,GAAG,CAAC;YAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,UAAW,CAAC,aAAa,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,GAAG;YAAE,SAAS;QAEnB,mFAAmF;QACnF,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;QACjE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAErC,kEAAkE;QAClE,IAAI,CAAC,CAAC,eAAe,CAAC,+BAA+B,IAAI,KAAK,EAAE,CAAC;YAC/D,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAW,CAAC,aAAa,CAAC,CAAC;YAChD,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CACrC,CAAuB,EACvB,GAAW,EACX,aAAqB;IAErB,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,wBAAwB,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACvE,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,KAAK,aAAa;YAAE,SAAS;QAClC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AAC7C,CAAC"}

package/dist/converter/formatDefault.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Formats a JSON Schema `default` value as a literal usable in target-language
+ * inline property initialization (Kotlin `val`, Swift `let`).
+ *
+ * Returns `undefined` when the value cannot be safely emitted as an inline
+ * literal — caller should treat that as "no default."
+ *
+ * Supported:
+ *   - strings (escaped via JSON.stringify, which produces double-quoted form
+ *     valid in both Kotlin and Swift for printable ASCII; verify if your
+ *     fixtures contain unusual characters)
+ *   - finite numbers
+ *   - booleans
+ *
+ * Not supported (returns undefined):
+ *   - null / undefined
+ *   - arrays, objects (require language-specific literal syntax)
+ *   - non-finite numbers
+ */
+export declare function formatPrimitiveDefault(value: unknown): string | undefined;

package/dist/converter/formatDefault.js

@@ -0,0 +1,31 @@
+/**
+ * Formats a JSON Schema `default` value as a literal usable in target-language
+ * inline property initialization (Kotlin `val`, Swift `let`).
+ *
+ * Returns `undefined` when the value cannot be safely emitted as an inline
+ * literal — caller should treat that as "no default."
+ *
+ * Supported:
+ *   - strings (escaped via JSON.stringify, which produces double-quoted form
+ *     valid in both Kotlin and Swift for printable ASCII; verify if your
+ *     fixtures contain unusual characters)
+ *   - finite numbers
+ *   - booleans
+ *
+ * Not supported (returns undefined):
+ *   - null / undefined
+ *   - arrays, objects (require language-specific literal syntax)
+ *   - non-finite numbers
+ */
+export function formatPrimitiveDefault(value) {
+    if (value === null || value === undefined)
+        return undefined;
+    if (typeof value === "string")
+        return JSON.stringify(value);
+    if (typeof value === "boolean")
+        return String(value);
+    if (typeof value === "number" && Number.isFinite(value))
+        return String(value);
+    return undefined;
+}
+//# sourceMappingURL=formatDefault.js.map

package/dist/converter/formatDefault.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatDefault.js","sourceRoot":"","sources":["../../src/converter/formatDefault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/converter/index.d.ts

@@ -0,0 +1,2 @@
+export { BaseConverter, walkIR } from "./BaseConverter.js";
+export type { BaseConverterOpts, RefTypeNamingConfig, RefTypeEntry, GenerateTypeUtils, LanguageProfile, } from "./BaseConverter.js";

package/dist/converter/index.js

@@ -0,0 +1,2 @@
+export { BaseConverter, walkIR } from "./BaseConverter.js";
+//# sourceMappingURL=index.js.map

package/dist/converter/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/converter/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/converter/mergeUnions.d.ts

@@ -0,0 +1,36 @@
+import { IRNode } from "../types.js";
+import type { BaseConverterContext } from "./BaseConverter.js";
+/**
+ * Recursively walks the IR tree (bottom-up) and merges anyOf unions
+ * whose options are all objects with compatible property types.
+ * Merged enums collect values from all options; properties missing
+ * from some options become optional in the merged type.
+ */
+export declare function mergeCompatibleUnions(c: BaseConverterContext, ir: IRNode): IRNode;
+/**
+ * Attempts to merge all options of an anyOf union into a single object type.
+ * Returns the merged IRNode, or null if the options are not compatible.
+ */
+export declare function tryMergeObjectUnion(c: BaseConverterContext, ir: IRNode): IRNode | null;
+/**
+ * Tries to merge multiple instances of the same property across union options.
+ * Returns the merged IRNode, or null if incompatible.
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export declare function tryMergeProperty(instances: IRNode[]): IRNode | null;
+/**
+ * Detects discriminated union patterns where merging would lose
+ * semantic precision. A discriminated union requires:
+ * 1. A shared property with distinct const/single-value-enum per option
+ *    (the "discriminator")
+ * 2. Every option has at least one property exclusive to only that option
+ *    (variant-specific fields tied to the discriminator value)
+ *
+ * This distinguishes true tagged unions (circle+radius vs square+side)
+ * from schemas where single-value enums represent different values of
+ * the same field that should be merged (past/current/future → Timeframe).
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export declare function isDiscriminatedUnion(options: IRNode[], sharedPropNames: string[], allPropNames: string[]): boolean;

package/dist/converter/mergeUnions.js

@@ -0,0 +1,189 @@
+import { collectUnionPropertyNames, findDiscriminatorProperty, } from "./discriminatedUnions.js";
+import { walkIR } from "./walk.js";
+/**
+ * Recursively walks the IR tree (bottom-up) and merges anyOf unions
+ * whose options are all objects with compatible property types.
+ * Merged enums collect values from all options; properties missing
+ * from some options become optional in the merged type.
+ */
+export function mergeCompatibleUnions(c, ir) {
+    return walkIR(ir, (node) => {
+        if (node.type === "union" &&
+            node.constraints?.combinator === "anyOf" &&
+            node.options &&
+            node.options.length > 1) {
+            return tryMergeObjectUnion(c, node);
+        }
+        return undefined;
+    });
+}
+/**
+ * Attempts to merge all options of an anyOf union into a single object type.
+ * Returns the merged IRNode, or null if the options are not compatible.
+ */
+export function tryMergeObjectUnion(c, ir) {
+    const options = ir.options;
+    // All options must be objects
+    if (!options.every((opt) => opt.type === "object")) {
+        return null;
+    }
+    // Bail if any option has patternProperties
+    if (options.some((opt) => opt.patternProperties)) {
+        return null;
+    }
+    // Bail if options have conflicting additionalProperties values.
+    // Identical values (all false, all true, all same schema) are fine.
+    const apValues = options.map((opt) => opt.additionalProperties);
+    const hasAp = apValues.some((v) => v !== undefined);
+    if (hasAp) {
+        const serialized = apValues.map((v) => JSON.stringify(v ?? null));
+        if (!serialized.every((s) => s === serialized[0])) {
+            return null;
+        }
+    }
+    // Collect all property names in first-seen order across options
+    const { allPropNames, sharedPropNames } = collectUnionPropertyNames(options);
+    if (allPropNames.length === 0) {
+        return null;
+    }
+    // Only merge when options share at least one property name —
+    // disjoint objects should remain as a union to preserve semantics.
+    if (sharedPropNames.length === 0) {
+        return null;
+    }
+    // Detect discriminated unions: if a shared property has different
+    // const/single-value-enum values across options AND there are
+    // option-specific (non-shared) properties, this is a tagged union
+    // where merging would lose the correlation between discriminator
+    // and variant-specific fields.
+    if (isDiscriminatedUnion(options, sharedPropNames, allPropNames)) {
+        return null;
+    }
+    // Try to merge each property across all options
+    const mergedProperties = {};
+    for (const propName of allPropNames) {
+        const instances = [];
+        for (const opt of options) {
+            if (opt.properties?.[propName]) {
+                instances.push(opt.properties[propName]);
+            }
+        }
+        const merged = tryMergeProperty(instances);
+        if (!merged) {
+            return null; // Incompatible — bail out, keep as union
+        }
+        // Required only if property exists in ALL options AND required in all
+        const existsInAll = options.every((opt) => opt.properties?.[propName] !== undefined);
+        const requiredInAll = instances.every((inst) => inst.required === true);
+        merged.required = existsInAll && requiredInAll;
+        mergedProperties[propName] = merged;
+    }
+    // Derive a name from the union's path
+    const pathSegments = ir.path.split(".").filter((x) => !/^\d+$/.test(x));
+    const name = pathSegments[pathSegments.length - 1] || ir.title || "Merged";
+    const merged = {
+        ...ir,
+        type: "object",
+        properties: mergedProperties,
+        signature: `merged:${++c.mergeCounter}`,
+        // explicitly nullify fields that don't apply to a merged object
+        options: undefined,
+        constraints: undefined,
+    };
+    if (name)
+        merged.name = name;
+    // Propagate additionalProperties when all options agree on the same value
+    if (hasAp) {
+        merged.additionalProperties = options[0].additionalProperties;
+    }
+    return merged;
+}
+/**
+ * Tries to merge multiple instances of the same property across union options.
+ * Returns the merged IRNode, or null if incompatible.
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export function tryMergeProperty(instances) {
+    if (instances.length === 0)
+        return null;
+    if (instances.length === 1)
+        return { ...instances[0] };
+    const isStringEnum = (ir) => ir.type === "enum" &&
+        ir.values?.every((v) => typeof v === "string");
+    const isStringLiteral = (ir) => ir.type === "literal" && typeof ir.constraints?.value === "string";
+    // Merge string enums and/or string literals into a single enum
+    if (instances.every((inst) => isStringEnum(inst) || isStringLiteral(inst))) {
+        const seen = new Set();
+        const mergedValues = [];
+        for (const inst of instances) {
+            const values = isStringEnum(inst)
+                ? inst.values
+                : [inst.constraints.value];
+            for (const v of values) {
+                if (!seen.has(v)) {
+                    seen.add(v);
+                    mergedValues.push(v);
+                }
+            }
+        }
+        return {
+            type: "enum",
+            values: mergedValues,
+            path: instances[0].path,
+        };
+    }
+    // Same primitive type across all instances
+    const firstType = instances[0].type;
+    if (instances.every((inst) => inst.type === firstType) &&
+        ["string", "number", "integer", "boolean", "null"].includes(firstType)) {
+        return { ...instances[0] };
+    }
+    // Same object signature across all instances
+    if (instances.every((inst) => inst.type === "object" && inst.signature) &&
+        instances.every((inst) => inst.signature === instances[0].signature)) {
+        return { ...instances[0] };
+    }
+    // Incompatible types
+    return null;
+}
+/**
+ * Detects discriminated union patterns where merging would lose
+ * semantic precision. A discriminated union requires:
+ * 1. A shared property with distinct const/single-value-enum per option
+ *    (the "discriminator")
+ * 2. Every option has at least one property exclusive to only that option
+ *    (variant-specific fields tied to the discriminator value)
+ *
+ * This distinguishes true tagged unions (circle+radius vs square+side)
+ * from schemas where single-value enums represent different values of
+ * the same field that should be merged (past/current/future → Timeframe).
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export function isDiscriminatedUnion(options, sharedPropNames, allPropNames) {
+    const hasOptionSpecificProps = allPropNames.length > sharedPropNames.length;
+    if (!hasOptionSpecificProps) {
+        return false;
+    }
+    // Reuse findDiscriminatorProperty instead of inline loop
+    const discriminator = findDiscriminatorProperty(options, sharedPropNames);
+    if (!discriminator) {
+        return false;
+    }
+    // For a true discriminated union, every option must have at least one
+    // property that is exclusive to ONLY that option (no other option has it).
+    // This distinguishes { kind:"circle", radius } | { kind:"square", side }
+    // from { timeframe:"past", title } | { timeframe:"current", title } | { timeframe:"future" }
+    const sharedSet = new Set(sharedPropNames);
+    return options.every((opt) => {
+        const optProps = Object.keys(opt.properties ?? {});
+        return optProps.some((propName) => {
+            if (sharedSet.has(propName))
+                return false;
+            // Check if this prop appears in any other option
+            return !options.some((other) => other !== opt && other.properties?.[propName] !== undefined);
+        });
+    });
+}
+//# sourceMappingURL=mergeUnions.js.map

package/dist/converter/mergeUnions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mergeUnions.js","sourceRoot":"","sources":["../../src/converter/mergeUnions.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,CAAuB,EACvB,EAAU;IAEV,OAAO,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,WAAW,EAAE,UAAU,KAAK,OAAO;YACxC,IAAI,CAAC,OAAO;YACZ,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EACvB,CAAC;YACD,OAAO,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,CAAuB,EACvB,EAAU;IAEV,MAAM,OAAO,GAAG,EAAE,CAAC,OAAQ,CAAC;IAE5B,8BAA8B;IAC9B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2CAA2C;IAC3C,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gEAAgE;IAChE,oEAAoE;IACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACpD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAE7E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6DAA6D;IAC7D,mEAAmE;IACnE,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kEAAkE;IAClE,8DAA8D;IAC9D,kEAAkE;IAClE,iEAAiE;IACjE,+BAA+B;IAC/B,IAAI,oBAAoB,CAAC,OAAO,EAAE,eAAe,EAAE,YAAY,CAAC,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gDAAgD;IAChD,MAAM,gBAAgB,GAA8B,EAAE,CAAC;IAEvD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,IAAI,CAAC,CAAC,yCAAyC;QACxD,CAAC;QAED,sEAAsE;QACtE,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAC/B,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS,CAClD,CAAC;QACF,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,QAAQ,GAAG,WAAW,IAAI,aAAa,CAAC;QAE/C,gBAAgB,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC;IACtC,CAAC;IAED,sCAAsC;IACtC,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,QAAQ,CAAC;IAE3E,MAAM,MAAM,GAAW;QACrB,GAAG,EAAE;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,gBAAgB;QAC5B,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,YAAY,EAAE;QACvC,gEAAgE;QAChE,OAAO,EAAE,SAAS;QAClB,WAAW,EAAE,SAAS;KACvB,CAAC;IACF,IAAI,IAAI;QAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IAE7B,0EAA0E;IAC1E,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,CAAC,oBAAoB,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC;IAChE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAmB;IAClD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvD,MAAM,YAAY,GAAG,CAAC,EAAU,EAAE,EAAE,CAClC,EAAE,CAAC,IAAI,KAAK,MAAM;QAClB,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,CAAC,EAAU,EAAE,EAAE,CACrC,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,QAAQ,CAAC;IAErE,+DAA+D;IAC/D,IACE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,EACtE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC;gBAC/B,CAAC,CAAE,IAAI,CAAC,MAAmB;gBAC3B,CAAC,CAAC,CAAC,IAAI,CAAC,WAAY,CAAC,KAAe,CAAC,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACZ,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,YAAY;YACpB,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;SACxB,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,IACE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAClD,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtE,CAAC;QACD,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7B,CAAC;IAED,6CAA6C;IAC7C,IACE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC;QACnE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EACpE,CAAC;QACD,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7B,CAAC;IAED,qBAAqB;IACrB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAiB,EACjB,eAAyB,EACzB,YAAsB;IAEtB,MAAM,sBAAsB,GAAG,YAAY,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC;IAC5E,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yDAAyD;IACzD,MAAM,aAAa,GAAG,yBAAyB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAC1E,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,sEAAsE;IACtE,2EAA2E;IAC3E,yEAAyE;IACzE,6FAA6F;IAC7F,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACnD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE;YAChC,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,iDAAiD;YACjD,OAAO,CAAC,OAAO,CAAC,IAAI,CAClB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS,CAC9D,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/converter/naming.d.ts

@@ -0,0 +1,29 @@
+import { IRNode } from "../types.js";
+import type { BaseConverterContext, RefTypeName, RefTypeNamingConfig } from "./BaseConverter.js";
+/** Pure helper: singularize a word, respecting uncountable allow-lists. */
+export declare function singularize(word: string, extraUncountable?: string[]): string;
+/** Default ref-type naming configuration shared by all language converters. */
+export declare function defaultRefTypeNamingConfig(): RefTypeNamingConfig;
+/**
+ * Returns the effective ref-type naming config for the given context: the
+ * default merged shallow with the language profile's `refTypeNamingConfig` overrides.
+ */
+export declare function getRefTypeNamingConfig(c: BaseConverterContext): RefTypeNamingConfig;
+/**
+ * Computes a path-derived, collision-free ref type name for a (signature, nodePath) pair.
+ *
+ * Algorithm:
+ * 1. Parse the path into segments and pick the array-item / `*` / regular postfix list.
+ * 2. Try increasingly more parent segments combined with each postfix.
+ * 3. If a refType already exists for (signature, proposedName), reuse it.
+ * 4. If no name is free after exhausting postfixes, fall back to `<base><N>` with a
+ *    deterministic instance-scoped counter on `c.fallbackCounter`.
+ */
+export declare function getUniqueRefTypeName(c: BaseConverterContext, signature: string, nodePath: string): RefTypeName;
+/** Default resolver for a ref-type name from an IR node and signature. */
+export declare function defaultResolveRefTypeName(c: BaseConverterContext, ir: IRNode, signature: string): string;
+/**
+ * Returns names of all extracted ref types in declaration order.
+ * Subclasses may filter further (e.g. to exclude the root type).
+ */
+export declare function computeExtractedTypeNames(c: BaseConverterContext): string[];

package/dist/converter/naming.js

@@ -0,0 +1,130 @@
+import pluralize from "pluralize";
+import { PathUtils } from "../utils/path-utils.js";
+import { toPascalCase } from "../utils/to-pascal-case.js";
+/** Default words that should not be singularized (common programming/API terms). */
+const DEFAULT_UNCOUNTABLE_WORDS = ["data", "metadata"];
+/** Pure helper: singularize a word, respecting uncountable allow-lists. */
+export function singularize(word, extraUncountable) {
+    const uncountable = [...DEFAULT_UNCOUNTABLE_WORDS, ...(extraUncountable ?? [])];
+    if (uncountable.some((u) => word.toLowerCase().endsWith(u.toLowerCase()))) {
+        return word;
+    }
+    return pluralize.singular(word);
+}
+/** Default ref-type naming configuration shared by all language converters. */
+export function defaultRefTypeNamingConfig() {
+    return {
+        postfixes: [
+            "Type", "Element", "Schema", "Object", "Shape", "Definition",
+            "Item", "Entry", "One", "Two", "Three", "Four", "Five",
+            "Six", "Seven", "Eight", "Nine", "Ten",
+        ],
+        handleAnySymbol: true,
+        stripLeadingAnySymbol: true,
+        depluralize: true,
+        arrayItemNaming: false,
+    };
+}
+/**
+ * Returns the effective ref-type naming config for the given context: the
+ * default merged shallow with the language profile's `refTypeNamingConfig` overrides.
+ */
+export function getRefTypeNamingConfig(c) {
+    return { ...defaultRefTypeNamingConfig(), ...c.languageProfile.refTypeNamingConfig };
+}
+/**
+ * Computes a path-derived, collision-free ref type name for a (signature, nodePath) pair.
+ *
+ * Algorithm:
+ * 1. Parse the path into segments and pick the array-item / `*` / regular postfix list.
+ * 2. Try increasingly more parent segments combined with each postfix.
+ * 3. If a refType already exists for (signature, proposedName), reuse it.
+ * 4. If no name is free after exhausting postfixes, fall back to `<base><N>` with a
+ *    deterministic instance-scoped counter on `c.fallbackCounter`.
+ */
+export function getUniqueRefTypeName(c, signature, nodePath) {
+    const config = getRefTypeNamingConfig(c);
+    const path = PathUtils.parsePath(nodePath);
+    const lastPathItem = nodePath.split(".").slice(-1)[0];
+    const isArrayItem = lastPathItem === "0";
+    const isAnySymbol = lastPathItem === "*";
+    const postFixes = [...config.postfixes];
+    if (isArrayItem) {
+        if (config.arrayItemNaming !== false) {
+            postFixes.unshift(config.arrayItemNaming ?? "Item");
+        }
+        else {
+            postFixes.unshift("");
+        }
+        // When path is empty (root-level array), use the root schema name as context
+        if (path.length === 0 && c.rootName) {
+            path.push(c.rootName);
+        }
+        if (config.depluralize && path.length > 0 && path[path.length - 1]) {
+            path[path.length - 1] = singularize(path[path.length - 1], config.uncountableWords);
+        }
+    }
+    else if (config.handleAnySymbol && isAnySymbol) {
+        postFixes.unshift("AnyKey", "AnyProperty", "AnyField", "AnyIdentifier");
+    }
+    else {
+        postFixes.unshift("");
+    }
+    let pathsSegmentsToInclude = 1;
+    let name = "";
+    let postFixIndexToTry = 0;
+    while (!name) {
+        let proposedName = path.slice(-pathsSegmentsToInclude).map(toPascalCase).join("") +
+            postFixes[postFixIndexToTry];
+        if (config.stripLeadingAnySymbol && proposedName[0] === "*") {
+            proposedName = proposedName.slice(1);
+        }
+        const foundSignatureMatch = c.refTypes.find((entry) => entry.signature === signature && entry.name === proposedName);
+        if (foundSignatureMatch) {
+            return foundSignatureMatch.name;
+        }
+        // Skip empty proposed names (e.g. empty path with no postfix)
+        if (!proposedName) {
+            postFixIndexToTry++;
+            if (postFixIndexToTry >= postFixes.length) {
+                do {
+                    c.fallbackCounter++;
+                    name = "Type" + c.fallbackCounter;
+                } while (c.usedDeclarationNames.has(name));
+            }
+            continue;
+        }
+        const nameAlreadyUsed = c.usedDeclarationNames.has(proposedName);
+        if (nameAlreadyUsed) {
+            pathsSegmentsToInclude++;
+            if (pathsSegmentsToInclude >= path.length) {
+                postFixIndexToTry++;
+                pathsSegmentsToInclude = 1;
+                if (postFixIndexToTry === postFixes.length) {
+                    // Deterministic instance-scoped fallback
+                    do {
+                        c.fallbackCounter++;
+                        name = proposedName + c.fallbackCounter;
+                    } while (c.usedDeclarationNames.has(name));
+                }
+            }
+        }
+        else {
+            name = proposedName;
+        }
+    }
+    c.usedDeclarationNames.add(name);
+    return name;
+}
+/** Default resolver for a ref-type name from an IR node and signature. */
+export function defaultResolveRefTypeName(c, ir, signature) {
+    return getUniqueRefTypeName(c, signature, ir.path);
+}
+/**
+ * Returns names of all extracted ref types in declaration order.
+ * Subclasses may filter further (e.g. to exclude the root type).
+ */
+export function computeExtractedTypeNames(c) {
+    return c.refTypes.map((entry) => entry.name);
+}
+//# sourceMappingURL=naming.js.map

package/dist/converter/naming.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"naming.js","sourceRoot":"","sources":["../../src/converter/naming.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAO1D,oFAAoF;AACpF,MAAM,yBAAyB,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAEvD,2EAA2E;AAC3E,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,gBAA2B;IACnE,MAAM,WAAW,GAAG,CAAC,GAAG,yBAAyB,EAAE,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,CAAC;IAChF,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,0BAA0B;IACxC,OAAO;QACL,SAAS,EAAE;YACT,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY;YAC5D,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;YACtD,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK;SACvC;QACD,eAAe,EAAE,IAAI;QACrB,qBAAqB,EAAE,IAAI;QAC3B,WAAW,EAAE,IAAI;QACjB,eAAe,EAAE,KAAK;KACvB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAuB;IAC5D,OAAO,EAAE,GAAG,0BAA0B,EAAE,EAAE,GAAG,CAAC,CAAC,eAAe,CAAC,mBAAmB,EAAE,CAAC;AACvF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAClC,CAAuB,EACvB,SAAiB,EACjB,QAAgB;IAEhB,MAAM,MAAM,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,WAAW,GAAG,YAAY,KAAK,GAAG,CAAC;IACzC,MAAM,WAAW,GAAG,YAAY,KAAK,GAAG,CAAC;IAEzC,MAAM,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAExC,IAAI,WAAW,EAAE,CAAC;QAChB,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,EAAE,CAAC;YACrC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QACD,6EAA6E;QAC7E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,eAAe,IAAI,WAAW,EAAE,CAAC;QACjD,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;IAC1E,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAE1B,OAAO,CAAC,IAAI,EAAE,CAAC;QACb,IAAI,YAAY,GACd,IAAI,CAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAE/B,IAAI,MAAM,CAAC,qBAAqB,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC5D,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,mBAAmB,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CACzC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CACxE,CAAC;QACF,IAAI,mBAAmB,EAAE,CAAC;YACxB,OAAO,mBAAmB,CAAC,IAAI,CAAC;QAClC,CAAC;QAED,8DAA8D;QAC9D,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,iBAAiB,EAAE,CAAC;YACpB,IAAI,iBAAiB,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;gBAC1C,GAAG,CAAC;oBACF,CAAC,CAAC,eAAe,EAAE,CAAC;oBACpB,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC,eAAe,CAAC;gBACpC,CAAC,QAAQ,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YAC7C,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,eAAe,GAAG,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAEjE,IAAI,eAAe,EAAE,CAAC;YACpB,sBAAsB,EAAE,CAAC;YACzB,IAAI,sBAAsB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC1C,iBAAiB,EAAE,CAAC;gBACpB,sBAAsB,GAAG,CAAC,CAAC;gBAE3B,IAAI,iBAAiB,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;oBAC3C,yCAAyC;oBACzC,GAAG,CAAC;wBACF,CAAC,CAAC,eAAe,EAAE,CAAC;wBACpB,IAAI,GAAG,YAAY,GAAG,CAAC,CAAC,eAAe,CAAC;oBAC1C,CAAC,QAAQ,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;gBAC7C,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,YAAY,CAAC;QACtB,CAAC;IACH,CAAC;IAED,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,yBAAyB,CACvC,CAAuB,EACvB,EAAU,EACV,SAAiB;IAEjB,OAAO,oBAAoB,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,CAAuB;IAC/D,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC"}