@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/anon-type-shape-serialization.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Anonymous Type Shape Analysis — Serialization & Hashing
+ *
+ * Type serialization, shape computation, and hash generation for
+ * anonymous type lowering. Split from anon-type-shape-analysis.ts
+ * for file-size compliance.
+ */
+import type { IrType, IrObjectType, IrReferenceType } from "../types.js";
+export type SerializeState = {
+    readonly seen: WeakMap<object, number>;
+    nextId: number;
+};
+export declare const beginSerializeNode: (state: SerializeState, node: object) => {
+    readonly id: number;
+    readonly seenBefore: boolean;
+};
+/**
+ * Serialize an IrType to a stable string for shape signature.
+ *
+ * This must be cycle-safe because source ports can legitimately contain
+ * recursive alias/object graphs (for example handler arrays that reference
+ * themselves transitively).
+ */
+export declare const serializeType: (type: IrType, state?: SerializeState) => string;
+/**
+ * Compute shape signature for an objectType
+ */
+export declare const computeShapeSignature: (objectType: IrObjectType) => string;
+/**
+ * Generate a short hash from shape signature
+ */
+export declare const generateShapeHash: (signature: string) => string;
+/**
+ * Generate a module-unique hash from file path
+ */
+export declare const generateModuleHash: (filePath: string) => string;
+export declare const getReferenceLoweringStableKey: (type: IrReferenceType) => string | undefined;
+//# sourceMappingURL=anon-type-shape-serialization.d.ts.map

package/dist/ir/validation/anon-type-shape-serialization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-shape-serialization.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-shape-serialization.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAIzE,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC7B,OAAO,cAAc,EACrB,MAAM,MAAM,KACX;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAUrD,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,EAAE,QAAQ,cAAc,KAAG,MA2MpE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAAI,YAAY,YAAY,KAAG,MAEhE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,WAAW,MAAM,KAAG,MAErD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,UAAU,MAAM,KAAG,MAErD,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,MAAM,eAAe,KACpB,MAAM,GAAG,SAcX,CAAC"}

package/dist/ir/validation/anon-type-shape-serialization.js

@@ -0,0 +1,241 @@
+/**
+ * Anonymous Type Shape Analysis — Serialization & Hashing
+ *
+ * Type serialization, shape computation, and hash generation for
+ * anonymous type lowering. Split from anon-type-shape-analysis.ts
+ * for file-size compliance.
+ */
+import { createHash } from "crypto";
+import { referenceTypeIdentity } from "../types/type-ops.js";
+import { normalizeStructuralPropertySignature } from "./anon-type-shape-collectors.js";
+export const beginSerializeNode = (state, node) => {
+    const existing = state.seen.get(node);
+    if (existing !== undefined) {
+        return { id: existing, seenBefore: true };
+    }
+    const id = state.nextId;
+    state.nextId += 1;
+    state.seen.set(node, id);
+    return { id, seenBefore: false };
+};
+const endSerializeNode = (state, node) => {
+    state.seen.delete(node);
+};
+/**
+ * Serialize an IrType to a stable string for shape signature.
+ *
+ * This must be cycle-safe because source ports can legitimately contain
+ * recursive alias/object graphs (for example handler arrays that reference
+ * themselves transitively).
+ */
+export const serializeType = (type, state) => {
+    const currentState = state ?? {
+        seen: new WeakMap(),
+        nextId: 0,
+    };
+    switch (type.kind) {
+        case "primitiveType":
+            return type.name;
+        case "literalType":
+            return `lit:${typeof type.value}:${String(type.value)}`;
+        case "referenceType": {
+            const visit = beginSerializeNode(currentState, type);
+            if (visit.seenBefore) {
+                return `refcycle:${visit.id}`;
+            }
+            try {
+                const args = type.typeArguments && type.typeArguments.length > 0
+                    ? `<${type.typeArguments
+                        .map((arg) => serializeType(arg, currentState))
+                        .join(",")}>`
+                    : "";
+                const identity = referenceTypeIdentity(type);
+                if (identity) {
+                    return `ref:${identity}${args}`;
+                }
+                if (!type.structuralMembers) {
+                    throw new Error(`Cannot serialize identity-less reference type '${type.name}'`);
+                }
+                const members = type.structuralMembers
+                    .map((member) => {
+                    if (member.kind === "propertySignature") {
+                        const normalizedMember = normalizeStructuralPropertySignature(member);
+                        return `prop:${normalizedMember.isReadonly ? "ro:" : ""}${normalizedMember.name}${normalizedMember.isOptional ? "?" : ""}:${serializeType(normalizedMember.type, currentState)}`;
+                    }
+                    const params = member.parameters
+                        .map((p) => (p.type ? serializeType(p.type, currentState) : "any"))
+                        .join(",");
+                    const ret = member.returnType
+                        ? serializeType(member.returnType, currentState)
+                        : "void";
+                    return `method:${member.name}(${params})=>${ret}`;
+                })
+                    .sort()
+                    .join(";");
+                return `refstruct${args}:{${members}}`;
+            }
+            finally {
+                endSerializeNode(currentState, type);
+            }
+        }
+        case "arrayType": {
+            const visit = beginSerializeNode(currentState, type);
+            if (visit.seenBefore) {
+                return `arrcycle:${visit.id}`;
+            }
+            try {
+                return `arr:${serializeType(type.elementType, currentState)}`;
+            }
+            finally {
+                endSerializeNode(currentState, type);
+            }
+        }
+        case "tupleType": {
+            const visit = beginSerializeNode(currentState, type);
+            if (visit.seenBefore) {
+                return `tupcycle:${visit.id}`;
+            }
+            try {
+                return `tup:[${type.elementTypes
+                    .map((elementType) => serializeType(elementType, currentState))
+                    .join(",")}]`;
+            }
+            finally {
+                endSerializeNode(currentState, type);
+            }
+        }
+        case "functionType": {
+            const visit = beginSerializeNode(currentState, type);
+            if (visit.seenBefore) {
+                return `fncycle:${visit.id}`;
+            }
+            try {
+                const params = type.parameters
+                    .map((p) => (p.type ? serializeType(p.type, currentState) : "any"))
+                    .join(",");
+                return `fn:(${params})=>${serializeType(type.returnType, currentState)}`;
+            }
+            finally {
+                endSerializeNode(currentState, type);
+            }
+        }
+        case "unionType": {
+            const visit = beginSerializeNode(currentState, type);
+            if (visit.seenBefore) {
+                return `unioncycle:${visit.id}`;
+            }
+            try {
+                const members = type.types.map((member) => serializeType(member, currentState));
+                const orderedMembers = type.preserveRuntimeLayout
+                    ? members
+                    : [...members].sort();
+                return `union:[${orderedMembers.join("|")}]`;
+            }
+            finally {
+                endSerializeNode(currentState, type);
+            }
+        }
+        case "typeParameterType":
+            return `tp:${type.name}`;
+        case "voidType":
+            return "void";
+        case "anyType":
+            return "any";
+        case "unknownType":
+            return "unknown";
+        case "neverType":
+            return "never";
+        case "objectType": {
+            const visit = beginSerializeNode(currentState, type);
+            if (visit.seenBefore) {
+                return `objcycle:${visit.id}`;
+            }
+            try {
+                // Serialize property signatures
+                const propMembers = type.members
+                    .filter((m) => m.kind === "propertySignature")
+                    .map((m) => {
+                    const normalizedMember = normalizeStructuralPropertySignature(m);
+                    return `prop:${normalizedMember.isReadonly ? "ro:" : ""}${normalizedMember.name}${normalizedMember.isOptional ? "?" : ""}:${serializeType(normalizedMember.type, currentState)}`;
+                });
+                // Serialize method signatures
+                const methodMembers = type.members
+                    .filter((m) => m.kind === "methodSignature")
+                    .map((m) => {
+                    const params = m.parameters
+                        .map((p) => (p.type ? serializeType(p.type, currentState) : "any"))
+                        .join(",");
+                    const ret = m.returnType
+                        ? serializeType(m.returnType, currentState)
+                        : "void";
+                    return `method:${m.name}(${params})=>${ret}`;
+                });
+                const allMembers = [...propMembers, ...methodMembers].sort().join(";");
+                return `obj:{${allMembers}}`;
+            }
+            finally {
+                endSerializeNode(currentState, type);
+            }
+        }
+        case "dictionaryType": {
+            const visit = beginSerializeNode(currentState, type);
+            if (visit.seenBefore) {
+                return `dictcycle:${visit.id}`;
+            }
+            try {
+                return `dict:[${serializeType(type.keyType, currentState)}]:${serializeType(type.valueType, currentState)}`;
+            }
+            finally {
+                endSerializeNode(currentState, type);
+            }
+        }
+        case "intersectionType": {
+            const visit = beginSerializeNode(currentState, type);
+            if (visit.seenBefore) {
+                return `intersectioncycle:${visit.id}`;
+            }
+            try {
+                return `intersection:[${type.types
+                    .map((member) => serializeType(member, currentState))
+                    .sort()
+                    .join("&")}]`;
+            }
+            finally {
+                endSerializeNode(currentState, type);
+            }
+        }
+        default:
+            return "unknown";
+    }
+};
+/**
+ * Compute shape signature for an objectType
+ */
+export const computeShapeSignature = (objectType) => {
+    return serializeType(objectType);
+};
+/**
+ * Generate a short hash from shape signature
+ */
+export const generateShapeHash = (signature) => {
+    return createHash("md5").update(signature).digest("hex").slice(0, 8);
+};
+/**
+ * Generate a module-unique hash from file path
+ */
+export const generateModuleHash = (filePath) => {
+    return createHash("md5").update(filePath).digest("hex").slice(0, 4);
+};
+export const getReferenceLoweringStableKey = (type) => {
+    const baseKey = type.typeId?.stableId ??
+        type.typeId?.clrName ??
+        type.resolvedClrType ??
+        undefined;
+    if (!baseKey)
+        return undefined;
+    const typeArgsKey = type.typeArguments && type.typeArguments.length > 0
+        ? `<${type.typeArguments.map((arg) => serializeType(arg)).join(",")}>`
+        : "";
+    return `${baseKey}${typeArgsKey}`;
+};
+//# sourceMappingURL=anon-type-shape-serialization.js.map

package/dist/ir/validation/anon-type-shape-serialization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-shape-serialization.js","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-shape-serialization.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,oCAAoC,EAAE,MAAM,iCAAiC,CAAC;AAOvF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAqB,EACrB,IAAY,EAC2C,EAAE;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC;IAED,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACxB,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACzB,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,KAAqB,EAAE,IAAY,EAAQ,EAAE;IACrE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,KAAsB,EAAU,EAAE;IAC5E,MAAM,YAAY,GAAG,KAAK,IAAI;QAC5B,IAAI,EAAE,IAAI,OAAO,EAAkB;QACnC,MAAM,EAAE,CAAC;KACV,CAAC;IAEF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,aAAa;YAChB,OAAO,OAAO,OAAO,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,YAAY,KAAK,CAAC,EAAE,EAAE,CAAC;YAChC,CAAC;YAED,IAAI,CAAC;gBACH,MAAM,IAAI,GACR,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;oBACjD,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa;yBACnB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;yBAC9C,IAAI,CAAC,GAAG,CAAC,GAAG;oBACjB,CAAC,CAAC,EAAE,CAAC;gBACT,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBAC7C,IAAI,QAAQ,EAAE,CAAC;oBACb,OAAO,OAAO,QAAQ,GAAG,IAAI,EAAE,CAAC;gBAClC,CAAC;gBAED,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;oBAC5B,MAAM,IAAI,KAAK,CACb,kDAAkD,IAAI,CAAC,IAAI,GAAG,CAC/D,CAAC;gBACJ,CAAC;gBAED,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB;qBACnC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;oBACd,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,MAAM,gBAAgB,GACpB,oCAAoC,CAAC,MAAM,CAAC,CAAC;wBAC/C,OAAO,QAAQ,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,gBAAgB,CAAC,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,aAAa,CACvI,gBAAgB,CAAC,IAAI,EACrB,YAAY,CACb,EAAE,CAAC;oBACN,CAAC;oBAED,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU;yBAC7B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;yBAClE,IAAI,CAAC,GAAG,CAAC,CAAC;oBACb,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU;wBAC3B,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC;wBAChD,CAAC,CAAC,MAAM,CAAC;oBACX,OAAO,UAAU,MAAM,CAAC,IAAI,IAAI,MAAM,MAAM,GAAG,EAAE,CAAC;gBACpD,CAAC,CAAC;qBACD,IAAI,EAAE;qBACN,IAAI,CAAC,GAAG,CAAC,CAAC;gBACb,OAAO,YAAY,IAAI,KAAK,OAAO,GAAG,CAAC;YACzC,CAAC;oBAAS,CAAC;gBACT,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,YAAY,KAAK,CAAC,EAAE,EAAE,CAAC;YAChC,CAAC;YACD,IAAI,CAAC;gBACH,OAAO,OAAO,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC;YAChE,CAAC;oBAAS,CAAC;gBACT,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,YAAY,KAAK,CAAC,EAAE,EAAE,CAAC;YAChC,CAAC;YACD,IAAI,CAAC;gBACH,OAAO,QAAQ,IAAI,CAAC,YAAY;qBAC7B,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;qBAC9D,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAClB,CAAC;oBAAS,CAAC;gBACT,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,WAAW,KAAK,CAAC,EAAE,EAAE,CAAC;YAC/B,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU;qBAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;qBAClE,IAAI,CAAC,GAAG,CAAC,CAAC;gBACb,OAAO,OAAO,MAAM,MAAM,aAAa,CACrC,IAAI,CAAC,UAAU,EACf,YAAY,CACb,EAAE,CAAC;YACN,CAAC;oBAAS,CAAC;gBACT,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,cAAc,KAAK,CAAC,EAAE,EAAE,CAAC;YAClC,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACxC,aAAa,CAAC,MAAM,EAAE,YAAY,CAAC,CACpC,CAAC;gBACF,MAAM,cAAc,GAAG,IAAI,CAAC,qBAAqB;oBAC/C,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;gBACxB,OAAO,UAAU,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAC/C,CAAC;oBAAS,CAAC;gBACT,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,KAAK,mBAAmB;YACtB,OAAO,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;QACnB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC;QACjB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,YAAY,KAAK,CAAC,EAAE,EAAE,CAAC;YAChC,CAAC;YAED,IAAI,CAAC;gBACH,gCAAgC;gBAChC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO;qBAC7B,MAAM,CACL,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,CACjC;qBACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACT,MAAM,gBAAgB,GAAG,oCAAoC,CAAC,CAAC,CAAC,CAAC;oBACjE,OAAO,QAAQ,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,gBAAgB,CAAC,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,aAAa,CACvI,gBAAgB,CAAC,IAAI,EACrB,YAAY,CACb,EAAE,CAAC;gBACN,CAAC,CAAC,CAAC;gBAEL,8BAA8B;gBAC9B,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO;qBAC/B,MAAM,CACL,CAAC,CAAC,EAAuD,EAAE,CACzD,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAC/B;qBACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACT,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU;yBACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;yBAClE,IAAI,CAAC,GAAG,CAAC,CAAC;oBACb,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU;wBACtB,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC;wBAC3C,CAAC,CAAC,MAAM,CAAC;oBACX,OAAO,UAAU,CAAC,CAAC,IAAI,IAAI,MAAM,MAAM,GAAG,EAAE,CAAC;gBAC/C,CAAC,CAAC,CAAC;gBAEL,MAAM,UAAU,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACvE,OAAO,QAAQ,UAAU,GAAG,CAAC;YAC/B,CAAC;oBAAS,CAAC;gBACT,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,aAAa,KAAK,CAAC,EAAE,EAAE,CAAC;YACjC,CAAC;YACD,IAAI,CAAC;gBACH,OAAO,SAAS,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,KAAK,aAAa,CACzE,IAAI,CAAC,SAAS,EACd,YAAY,CACb,EAAE,CAAC;YACN,CAAC;oBAAS,CAAC;gBACT,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,qBAAqB,KAAK,CAAC,EAAE,EAAE,CAAC;YACzC,CAAC;YACD,IAAI,CAAC;gBACH,OAAO,iBAAiB,IAAI,CAAC,KAAK;qBAC/B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;qBACpD,IAAI,EAAE;qBACN,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAClB,CAAC;oBAAS,CAAC;gBACT,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,UAAwB,EAAU,EAAE;IACxE,OAAO,aAAa,CAAC,UAAU,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,SAAiB,EAAU,EAAE;IAC7D,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAgB,EAAU,EAAE;IAC7D,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAqB,EACD,EAAE;IACtB,MAAM,OAAO,GACX,IAAI,CAAC,MAAM,EAAE,QAAQ;QACrB,IAAI,CAAC,MAAM,EAAE,OAAO;QACpB,IAAI,CAAC,eAAe;QACpB,SAAS,CAAC;IACZ,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,WAAW,GACf,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;QACtE,CAAC,CAAC,EAAE,CAAC;IAET,OAAO,GAAG,OAAO,GAAG,WAAW,EAAE,CAAC;AACpC,CAAC,CAAC"}

package/dist/ir/validation/anon-type-template-inference.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Anonymous Type Template Inference & Carrier Reuse
+ *
+ * Template argument inference for matching object types against existing
+ * structural carriers, and object type reference creation/reuse logic.
+ */
+import type { IrType, IrObjectType, IrReferenceType } from "../types.js";
+import type { LoweringContext } from "./anon-type-ir-rewriting.js";
+export declare const inferTemplateTypeArguments: (template: IrType, concrete: IrType, substitution: Map<string, IrType>) => boolean;
+export declare const tryInstantiateReusableStructuralCarrier: (objectType: IrObjectType, ctx: LoweringContext) => IrReferenceType | undefined;
+export declare const getOrCreateObjectTypeReference: (objectType: IrObjectType, ctx: LoweringContext) => IrReferenceType;
+//# sourceMappingURL=anon-type-template-inference.d.ts.map

package/dist/ir/validation/anon-type-template-inference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-template-inference.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-template-inference.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AASzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAOnE,eAAO,MAAM,0BAA0B,GACrC,UAAU,MAAM,EAChB,UAAU,MAAM,EAChB,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KAChC,OAiRF,CAAC;AAEF,eAAO,MAAM,uCAAuC,GAClD,YAAY,YAAY,EACxB,KAAK,eAAe,KACnB,eAAe,GAAG,SAgDpB,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,YAAY,YAAY,EACxB,KAAK,eAAe,KACnB,eA6DF,CAAC"}

package/dist/ir/validation/anon-type-template-inference.js

@@ -0,0 +1,296 @@
+/**
+ * Anonymous Type Template Inference & Carrier Reuse
+ *
+ * Template argument inference for matching object types against existing
+ * structural carriers, and object type reference creation/reuse logic.
+ */
+import { referenceTypeIdentity } from "../types/type-ops.js";
+import { collectTypeParameterNames, computeShapeSignature, serializeType, } from "./anon-type-shape-analysis.js";
+import { isReusableStructuralCarrierName, getOrCreateTypeName, } from "./anon-type-naming.js";
+export const inferTemplateTypeArguments = (template, concrete, substitution) => {
+    if (template.kind === "typeParameterType") {
+        const existing = substitution.get(template.name);
+        if (!existing) {
+            substitution.set(template.name, concrete);
+            return true;
+        }
+        return serializeType(existing) === serializeType(concrete);
+    }
+    if (template.kind !== concrete.kind) {
+        return false;
+    }
+    switch (template.kind) {
+        case "primitiveType":
+            return (concrete.kind === "primitiveType" && template.name === concrete.name);
+        case "literalType":
+            return (concrete.kind === "literalType" && template.value === concrete.value);
+        case "voidType":
+        case "unknownType":
+        case "anyType":
+        case "neverType":
+            return true;
+        case "referenceType": {
+            if (concrete.kind !== "referenceType") {
+                return false;
+            }
+            const templateIdentity = referenceTypeIdentity(template);
+            const concreteIdentity = referenceTypeIdentity(concrete);
+            if (templateIdentity === undefined ||
+                concreteIdentity === undefined ||
+                templateIdentity !== concreteIdentity) {
+                return false;
+            }
+            const templateArgs = template.typeArguments ?? [];
+            const concreteArgs = concrete.typeArguments ?? [];
+            if (templateArgs.length !== concreteArgs.length) {
+                return false;
+            }
+            for (let index = 0; index < templateArgs.length; index += 1) {
+                const templateArg = templateArgs[index];
+                const concreteArg = concreteArgs[index];
+                if (!templateArg || !concreteArg) {
+                    return false;
+                }
+                if (!inferTemplateTypeArguments(templateArg, concreteArg, substitution)) {
+                    return false;
+                }
+            }
+            return true;
+        }
+        case "arrayType":
+            if (concrete.kind !== "arrayType") {
+                return false;
+            }
+            return inferTemplateTypeArguments(template.elementType, concrete.elementType, substitution);
+        case "tupleType":
+            if (concrete.kind !== "tupleType") {
+                return false;
+            }
+            if (template.elementTypes.length !== concrete.elementTypes.length) {
+                return false;
+            }
+            for (let index = 0; index < template.elementTypes.length; index += 1) {
+                const templateElement = template.elementTypes[index];
+                const concreteElement = concrete.elementTypes[index];
+                if (!templateElement || !concreteElement) {
+                    return false;
+                }
+                if (!inferTemplateTypeArguments(templateElement, concreteElement, substitution)) {
+                    return false;
+                }
+            }
+            return true;
+        case "unionType":
+        case "intersectionType":
+            if (concrete.kind !== template.kind) {
+                return false;
+            }
+            if (template.types.length !== concrete.types.length) {
+                return false;
+            }
+            for (let index = 0; index < template.types.length; index += 1) {
+                const templateMember = template.types[index];
+                const concreteMember = concrete.types[index];
+                if (!templateMember || !concreteMember) {
+                    return false;
+                }
+                if (!inferTemplateTypeArguments(templateMember, concreteMember, substitution)) {
+                    return false;
+                }
+            }
+            return true;
+        case "functionType":
+            if (concrete.kind !== "functionType") {
+                return false;
+            }
+            if (template.parameters.length !== concrete.parameters.length) {
+                return false;
+            }
+            for (let index = 0; index < template.parameters.length; index += 1) {
+                const templateParam = template.parameters[index];
+                const concreteParam = concrete.parameters[index];
+                if (!templateParam || !concreteParam) {
+                    return false;
+                }
+                if (templateParam.isOptional !== concreteParam.isOptional ||
+                    templateParam.isRest !== concreteParam.isRest ||
+                    templateParam.passing !== concreteParam.passing) {
+                    return false;
+                }
+                if (templateParam.type && concreteParam.type) {
+                    if (!inferTemplateTypeArguments(templateParam.type, concreteParam.type, substitution)) {
+                        return false;
+                    }
+                }
+                else if (templateParam.type || concreteParam.type) {
+                    return false;
+                }
+            }
+            return inferTemplateTypeArguments(template.returnType, concrete.returnType, substitution);
+        case "objectType":
+            if (concrete.kind !== "objectType") {
+                return false;
+            }
+            if (template.members.length !== concrete.members.length) {
+                return false;
+            }
+            for (let index = 0; index < template.members.length; index += 1) {
+                const templateMember = template.members[index];
+                const concreteMember = concrete.members[index];
+                if (!templateMember || !concreteMember) {
+                    return false;
+                }
+                if (templateMember.kind !== concreteMember.kind ||
+                    templateMember.name !== concreteMember.name) {
+                    return false;
+                }
+                if (templateMember.kind === "propertySignature" &&
+                    concreteMember.kind === "propertySignature") {
+                    if (templateMember.isOptional !== concreteMember.isOptional ||
+                        templateMember.isReadonly !== concreteMember.isReadonly) {
+                        return false;
+                    }
+                    if (!inferTemplateTypeArguments(templateMember.type, concreteMember.type, substitution)) {
+                        return false;
+                    }
+                    continue;
+                }
+                if (templateMember.kind !== "methodSignature" ||
+                    concreteMember.kind !== "methodSignature") {
+                    return false;
+                }
+                if (templateMember.parameters.length !== concreteMember.parameters.length) {
+                    return false;
+                }
+                for (let paramIndex = 0; paramIndex < templateMember.parameters.length; paramIndex += 1) {
+                    const templateParam = templateMember.parameters[paramIndex];
+                    const concreteParam = concreteMember.parameters[paramIndex];
+                    if (!templateParam || !concreteParam) {
+                        return false;
+                    }
+                    if (templateParam.isOptional !== concreteParam.isOptional ||
+                        templateParam.isRest !== concreteParam.isRest ||
+                        templateParam.passing !== concreteParam.passing) {
+                        return false;
+                    }
+                    if (templateParam.type && concreteParam.type) {
+                        if (!inferTemplateTypeArguments(templateParam.type, concreteParam.type, substitution)) {
+                            return false;
+                        }
+                    }
+                    else if (templateParam.type || concreteParam.type) {
+                        return false;
+                    }
+                }
+                if (templateMember.returnType && concreteMember.returnType) {
+                    if (!inferTemplateTypeArguments(templateMember.returnType, concreteMember.returnType, substitution)) {
+                        return false;
+                    }
+                }
+                else if (templateMember.returnType || concreteMember.returnType) {
+                    return false;
+                }
+            }
+            return true;
+        case "dictionaryType":
+            if (concrete.kind !== "dictionaryType") {
+                return false;
+            }
+            return (inferTemplateTypeArguments(template.keyType, concrete.keyType, substitution) &&
+                inferTemplateTypeArguments(template.valueType, concrete.valueType, substitution));
+        default:
+            return false;
+    }
+};
+export const tryInstantiateReusableStructuralCarrier = (objectType, ctx) => {
+    for (const templateRef of ctx.shapeToExistingReference.values()) {
+        if (!isReusableStructuralCarrierName(templateRef.name)) {
+            continue;
+        }
+        const templateMembers = templateRef.structuralMembers;
+        if (!templateMembers || templateMembers.length === 0) {
+            continue;
+        }
+        const substitution = new Map();
+        const matches = inferTemplateTypeArguments({ kind: "objectType", members: templateMembers }, objectType, substitution);
+        if (!matches) {
+            continue;
+        }
+        const templateTypeArgs = templateRef.typeArguments ?? [];
+        const instantiatedTypeArgs = [];
+        for (const typeArg of templateTypeArgs) {
+            if (typeArg.kind !== "typeParameterType") {
+                instantiatedTypeArgs.push(typeArg);
+                continue;
+            }
+            const resolved = substitution.get(typeArg.name);
+            if (!resolved) {
+                instantiatedTypeArgs.length = 0;
+                break;
+            }
+            instantiatedTypeArgs.push(resolved);
+        }
+        if (templateTypeArgs.length > 0 && instantiatedTypeArgs.length === 0) {
+            continue;
+        }
+        return {
+            ...templateRef,
+            typeArguments: instantiatedTypeArgs.length > 0 ? instantiatedTypeArgs : undefined,
+            structuralMembers: objectType.members,
+        };
+    }
+    return undefined;
+};
+export const getOrCreateObjectTypeReference = (objectType, ctx) => {
+    const signature = computeShapeSignature(objectType);
+    const existingReference = ctx.shapeToExistingReference.get(signature);
+    const typeParamNames = new Set();
+    for (const member of objectType.members) {
+        if (member.kind === "propertySignature") {
+            collectTypeParameterNames(member.type, typeParamNames);
+        }
+        else if (member.kind === "methodSignature") {
+            for (const p of member.parameters) {
+                if (p.type)
+                    collectTypeParameterNames(p.type, typeParamNames);
+            }
+            if (member.returnType) {
+                collectTypeParameterNames(member.returnType, typeParamNames);
+            }
+        }
+    }
+    const orderedTypeParams = Array.from(typeParamNames).sort();
+    if (existingReference) {
+        return {
+            ...existingReference,
+            typeArguments: existingReference.typeArguments &&
+                existingReference.typeArguments.length > 0
+                ? existingReference.typeArguments
+                : orderedTypeParams.length > 0
+                    ? orderedTypeParams.map((tp) => ({
+                        kind: "typeParameterType",
+                        name: tp,
+                    }))
+                    : undefined,
+            structuralMembers: objectType.members,
+        };
+    }
+    const reusableCarrier = tryInstantiateReusableStructuralCarrier(objectType, ctx);
+    if (reusableCarrier) {
+        return reusableCarrier;
+    }
+    const typeName = getOrCreateTypeName(objectType, ctx);
+    return {
+        kind: "referenceType",
+        name: typeName,
+        typeArguments: orderedTypeParams.length > 0
+            ? orderedTypeParams.map((tp) => ({
+                kind: "typeParameterType",
+                name: tp,
+            }))
+            : undefined,
+        resolvedClrType: undefined,
+        structuralMembers: objectType.members,
+    };
+};
+//# sourceMappingURL=anon-type-template-inference.js.map

package/dist/ir/validation/anon-type-template-inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-template-inference.js","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-template-inference.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,aAAa,GACd,MAAM,+BAA+B,CAAC;AAIvC,OAAO,EACL,+BAA+B,EAC/B,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,QAAgB,EAChB,QAAgB,EAChB,YAAiC,EACxB,EAAE;IACX,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,aAAa,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CACrE,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,aAAa,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,CACrE,CAAC;QACJ,KAAK,UAAU,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACtC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;YACzD,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;YACzD,IACE,gBAAgB,KAAK,SAAS;gBAC9B,gBAAgB,KAAK,SAAS;gBAC9B,gBAAgB,KAAK,gBAAgB,EACrC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;YAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;YAClD,IAAI,YAAY,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;gBAChD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC5D,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;gBACxC,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;gBACxC,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;oBACjC,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IACE,CAAC,0BAA0B,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,CAAC,EACnE,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,WAAW;YACd,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAClC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,0BAA0B,CAC/B,QAAQ,CAAC,WAAW,EACpB,QAAQ,CAAC,WAAW,EACpB,YAAY,CACb,CAAC;QACJ,KAAK,WAAW;YACd,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAClC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;gBAClE,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACrE,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACrD,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACrD,IAAI,CAAC,eAAe,IAAI,CAAC,eAAe,EAAE,CAAC;oBACzC,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IACE,CAAC,0BAA0B,CACzB,eAAe,EACf,eAAe,EACf,YAAY,CACb,EACD,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACpC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;gBACpD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC9D,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC7C,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC7C,IAAI,CAAC,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;oBACvC,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IACE,CAAC,0BAA0B,CACzB,cAAc,EACd,cAAc,EACd,YAAY,CACb,EACD,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,KAAK,cAAc;YACjB,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBACrC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC9D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACnE,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACjD,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACjD,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;oBACrC,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IACE,aAAa,CAAC,UAAU,KAAK,aAAa,CAAC,UAAU;oBACrD,aAAa,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM;oBAC7C,aAAa,CAAC,OAAO,KAAK,aAAa,CAAC,OAAO,EAC/C,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,aAAa,CAAC,IAAI,IAAI,aAAa,CAAC,IAAI,EAAE,CAAC;oBAC7C,IACE,CAAC,0BAA0B,CACzB,aAAa,CAAC,IAAI,EAClB,aAAa,CAAC,IAAI,EAClB,YAAY,CACb,EACD,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;qBAAM,IAAI,aAAa,CAAC,IAAI,IAAI,aAAa,CAAC,IAAI,EAAE,CAAC;oBACpD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,0BAA0B,CAC/B,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,UAAU,EACnB,YAAY,CACb,CAAC;QACJ,KAAK,YAAY;YACf,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACnC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBACxD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBAChE,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC/C,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC/C,IAAI,CAAC,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;oBACvC,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IACE,cAAc,CAAC,IAAI,KAAK,cAAc,CAAC,IAAI;oBAC3C,cAAc,CAAC,IAAI,KAAK,cAAc,CAAC,IAAI,EAC3C,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IACE,cAAc,CAAC,IAAI,KAAK,mBAAmB;oBAC3C,cAAc,CAAC,IAAI,KAAK,mBAAmB,EAC3C,CAAC;oBACD,IACE,cAAc,CAAC,UAAU,KAAK,cAAc,CAAC,UAAU;wBACvD,cAAc,CAAC,UAAU,KAAK,cAAc,CAAC,UAAU,EACvD,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IACE,CAAC,0BAA0B,CACzB,cAAc,CAAC,IAAI,EACnB,cAAc,CAAC,IAAI,EACnB,YAAY,CACb,EACD,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,IACE,cAAc,CAAC,IAAI,KAAK,iBAAiB;oBACzC,cAAc,CAAC,IAAI,KAAK,iBAAiB,EACzC,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IACE,cAAc,CAAC,UAAU,CAAC,MAAM,KAAK,cAAc,CAAC,UAAU,CAAC,MAAM,EACrE,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,KACE,IAAI,UAAU,GAAG,CAAC,EAClB,UAAU,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,EAC7C,UAAU,IAAI,CAAC,EACf,CAAC;oBACD,MAAM,aAAa,GAAG,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;oBAC5D,MAAM,aAAa,GAAG,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;oBAC5D,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;wBACrC,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IACE,aAAa,CAAC,UAAU,KAAK,aAAa,CAAC,UAAU;wBACrD,aAAa,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM;wBAC7C,aAAa,CAAC,OAAO,KAAK,aAAa,CAAC,OAAO,EAC/C,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IAAI,aAAa,CAAC,IAAI,IAAI,aAAa,CAAC,IAAI,EAAE,CAAC;wBAC7C,IACE,CAAC,0BAA0B,CACzB,aAAa,CAAC,IAAI,EAClB,aAAa,CAAC,IAAI,EAClB,YAAY,CACb,EACD,CAAC;4BACD,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;yBAAM,IAAI,aAAa,CAAC,IAAI,IAAI,aAAa,CAAC,IAAI,EAAE,CAAC;wBACpD,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;gBACD,IAAI,cAAc,CAAC,UAAU,IAAI,cAAc,CAAC,UAAU,EAAE,CAAC;oBAC3D,IACE,CAAC,0BAA0B,CACzB,cAAc,CAAC,UAAU,EACzB,cAAc,CAAC,UAAU,EACzB,YAAY,CACb,EACD,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;qBAAM,IAAI,cAAc,CAAC,UAAU,IAAI,cAAc,CAAC,UAAU,EAAE,CAAC;oBAClE,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,KAAK,gBAAgB;YACnB,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACvC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,CACL,0BAA0B,CACxB,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,OAAO,EAChB,YAAY,CACb;gBACD,0BAA0B,CACxB,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,SAAS,EAClB,YAAY,CACb,CACF,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,UAAwB,EACxB,GAAoB,EACS,EAAE;IAC/B,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,wBAAwB,CAAC,MAAM,EAAE,EAAE,CAAC;QAChE,IAAI,CAAC,+BAA+B,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,SAAS;QACX,CAAC;QAED,MAAM,eAAe,GAAG,WAAW,CAAC,iBAAiB,CAAC;QACtD,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrD,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,MAAM,OAAO,GAAG,0BAA0B,CACxC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,eAAe,EAAE,EAChD,UAAU,EACV,YAAY,CACb,CAAC;QACF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,SAAS;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,WAAW,CAAC,aAAa,IAAI,EAAE,CAAC;QACzD,MAAM,oBAAoB,GAAa,EAAE,CAAC;QAC1C,KAAK,MAAM,OAAO,IAAI,gBAAgB,EAAE,CAAC;YACvC,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACzC,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnC,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC;gBAChC,MAAM;YACR,CAAC;YACD,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrE,SAAS;QACX,CAAC;QAED,OAAO;YACL,GAAG,WAAW;YACd,aAAa,EACX,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS;YACpE,iBAAiB,EAAE,UAAU,CAAC,OAAO;SACtC,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,UAAwB,EACxB,GAAoB,EACH,EAAE;IACnB,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,iBAAiB,GAAG,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACtE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAClC,IAAI,CAAC,CAAC,IAAI;oBAAE,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YAChE,CAAC;YACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtB,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC;IAE5D,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO;YACL,GAAG,iBAAiB;YACpB,aAAa,EACX,iBAAiB,CAAC,aAAa;gBAC/B,iBAAiB,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBACxC,CAAC,CAAC,iBAAiB,CAAC,aAAa;gBACjC,CAAC,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;oBAC5B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CACnB,CAAC,EAAE,EAAU,EAAE,CAAC,CAAC;wBACf,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,EAAE;qBACT,CAAC,CACH;oBACH,CAAC,CAAC,SAAS;YACjB,iBAAiB,EAAE,UAAU,CAAC,OAAO;SACtC,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,uCAAuC,CAC7D,UAAU,EACV,GAAG,CACJ,CAAC;IACF,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACtD,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,aAAa,EACX,iBAAiB,CAAC,MAAM,GAAG,CAAC;YAC1B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CACnB,CAAC,EAAE,EAAU,EAAE,CAAC,CAAC;gBACf,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,EAAE;aACT,CAAC,CACH;YACH,CAAC,CAAC,SAAS;QACf,eAAe,EAAE,SAAS;QAC1B,iBAAiB,EAAE,UAAU,CAAC,OAAO;KACtC,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/anonymous-type-lowering-pass.d.ts

@@ -16,8 +16,14 @@
  * interface __Anon_abc123 { value: number }
  * const config: __Anon_abc123 = { value: 42 };
  * ```
+ *
+ * Implementation is split across sub-modules:
+ * - anon-type-shape-analysis.ts: serialization, hashing, reachability
+ * - anon-type-declaration-synthesis.ts: named type generation, carrier reuse
+ * - anon-type-lower-types.ts: type/param/pattern lowering + LoweringContext
+ * - anon-type-ir-rewriting.ts: expression/statement/member lowering
  */
-import { IrModule } from "../types.js";
+import type { IrModule } from "../types.js";
 /**
  * Result of anonymous type lowering pass
  */

package/dist/ir/validation/anonymous-type-lowering-pass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"anonymous-type-lowering-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anonymous-type-lowering-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EACL,QAAQ,EAeT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AA+7CF;;GAEG;AACH,eAAO,MAAM,4BAA4B,GACvC,SAAS,SAAS,QAAQ,EAAE,KAC3B,2BAqDF,CAAC"}
+{"version":3,"file":"anonymous-type-lowering-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anonymous-type-lowering-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EACV,QAAQ,EAKT,MAAM,aAAa,CAAC;AAgBrB;;GAEG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AAmbF;;GAEG;AACH,eAAO,MAAM,4BAA4B,GACvC,SAAS,SAAS,QAAQ,EAAE,KAC3B,2BA0LF,CAAC"}