@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/soundness-gate-cases/inference-diagnostics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-diagnostics.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/inference-diagnostics.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAG3D,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;QACnD,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,KAAK;gCACX,YAAY,EAAE;oCACZ,IAAI,EAAE,cAAc;oCACpB,UAAU,EAAE,EAAE;oCACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACtD;6BACF;4BACD,SAAS,EAAE,EAAE;4BACb,UAAU,EAAE,KAAK;4BACjB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE;gCACN,IAAI,EAAE,cAAc;gCACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE;gCAC5C,QAAQ,EAAE,OAAO;gCACjB,UAAU,EAAE,KAAK;gCACjB,UAAU,EAAE,KAAK;6BAClB;4BACD,SAAS,EAAE;gCACT;oCACE,IAAI,EAAE,SAAS;oCACf,KAAK,EAAE,IAAI;oCACX,GAAG,EAAE,MAAM;oCACX,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACxD;6BACF;4BACD,UAAU,EAAE,KAAK;4BACjB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YACxE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,KAAK;4BACX,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,OAAO;gCACb,YAAY,EAAE;oCACZ,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,OAAO;oCACb,eAAe,EAAE,oBAAoB;iCACtC;6BACF;4BACD,SAAS,EAAE,EAAE;4BACb,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-cases/reference-type-resolution.test.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Tests for IR Soundness Gate – Reference Type Resolvability
+ *
+ * Validates that the soundness gate correctly handles reference types:
+ * - Types with resolvedClrType are allowed
+ * - Known CLR binding types are allowed
+ * - tsbindgen instance aliases are allowed when base alias is known
+ * - Known builtins (Array, Promise, PromiseLike, ReadonlyArray, ArrayLike, AsyncIterable)
+ * - C# primitive types (int, decimal)
+ * - Local types (class, interface, type alias, enum)
+ * - Imported types (CLR, local, aliased, instance companion)
+ * - Unresolved external types are rejected
+ */
+export {};
+//# sourceMappingURL=reference-type-resolution.test.d.ts.map

package/dist/ir/validation/soundness-gate-cases/reference-type-resolution.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-type-resolution.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/reference-type-resolution.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG"}

package/dist/ir/validation/soundness-gate-cases/reference-type-resolution.test.js

@@ -0,0 +1,292 @@
+/**
+ * Tests for IR Soundness Gate – Reference Type Resolvability
+ *
+ * Validates that the soundness gate correctly handles reference types:
+ * - Types with resolvedClrType are allowed
+ * - Known CLR binding types are allowed
+ * - tsbindgen instance aliases are allowed when base alias is known
+ * - Known builtins (Array, Promise, PromiseLike, ReadonlyArray, ArrayLike, AsyncIterable)
+ * - C# primitive types (int, decimal)
+ * - Local types (class, interface, type alias, enum)
+ * - Imported types (CLR, local, aliased, instance companion)
+ * - Unresolved external types are rejected
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { validateIrSoundness } from "../soundness-gate.js";
+import { createModuleWithType } from "./test-helpers.js";
+describe("IR Soundness Gate", () => {
+    describe("Reference Type Resolvability", () => {
+        it("should allow referenceType with resolvedClrType", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Action",
+                resolvedClrType: "global::System.Action",
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow known CLR binding type when provided", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Dictionary_2",
+            });
+            const result = validateIrSoundness([module], {
+                knownReferenceTypes: new Set(["Dictionary_2"]),
+            });
+            expect(result.ok).to.be.true;
+        });
+        it("should allow tsbindgen instance aliases when the base alias is known", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "MkdirOptions$instance",
+            });
+            const result = validateIrSoundness([module], {
+                knownReferenceTypes: new Set(["MkdirOptions"]),
+            });
+            expect(result.ok).to.be.true;
+        });
+        it("should allow known builtin Array", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "primitiveType", name: "number" }],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow known builtin Promise", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Promise",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow known builtin PromiseLike", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "PromiseLike",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow known builtin ReadonlyArray", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "ReadonlyArray",
+                typeArguments: [{ kind: "primitiveType", name: "number" }],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow compiler-synthesized ArrayLike", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "ArrayLike",
+                typeArguments: [{ kind: "primitiveType", name: "number" }],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow known builtin AsyncIterable", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "AsyncIterable",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow C# primitive int", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "int",
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow C# primitive decimal", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "decimal",
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow local class type", () => {
+            const module = createModuleWithType({ kind: "referenceType", name: "User" }, {
+                additionalBody: [
+                    {
+                        kind: "classDeclaration",
+                        name: "User",
+                        isExported: false,
+                        isStruct: false,
+                        typeParameters: [],
+                        implements: [],
+                        members: [],
+                    },
+                ],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow local interface type", () => {
+            const module = createModuleWithType({ kind: "referenceType", name: "IUser" }, {
+                additionalBody: [
+                    {
+                        kind: "interfaceDeclaration",
+                        name: "IUser",
+                        isExported: false,
+                        isStruct: false,
+                        typeParameters: [],
+                        extends: [],
+                        members: [],
+                    },
+                ],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow local type alias", () => {
+            const module = createModuleWithType({ kind: "referenceType", name: "UserId" }, {
+                additionalBody: [
+                    {
+                        kind: "typeAliasDeclaration",
+                        name: "UserId",
+                        isExported: false,
+                        isStruct: false,
+                        typeParameters: [],
+                        type: { kind: "primitiveType", name: "string" },
+                    },
+                ],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow local enum type", () => {
+            const module = createModuleWithType({ kind: "referenceType", name: "Status" }, {
+                additionalBody: [
+                    {
+                        kind: "enumDeclaration",
+                        name: "Status",
+                        isExported: false,
+                        members: [{ kind: "enumMember", name: "Active" }],
+                    },
+                ],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow imported type", () => {
+            const module = createModuleWithType({ kind: "referenceType", name: "Console" }, {
+                imports: [
+                    {
+                        kind: "import",
+                        source: "@tsonic/dotnet/System",
+                        specifiers: [
+                            {
+                                kind: "named",
+                                name: "Console",
+                                localName: "Console",
+                                isType: true,
+                            },
+                        ],
+                        isLocal: false,
+                        isClr: true,
+                        resolvedNamespace: "System",
+                    },
+                ],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow imported tsbindgen instance companion types", () => {
+            const module = createModuleWithType({ kind: "referenceType", name: "IncomingMessage$instance" }, {
+                imports: [
+                    {
+                        kind: "import",
+                        source: "node:http",
+                        specifiers: [
+                            {
+                                kind: "named",
+                                name: "IncomingMessage",
+                                localName: "IncomingMessage",
+                                isType: true,
+                            },
+                        ],
+                        isLocal: false,
+                        isClr: true,
+                        resolvedNamespace: "nodejs.Http",
+                    },
+                ],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow imported aliased types when IR normalizes to the exported name", () => {
+            const module = createModuleWithType({ kind: "referenceType", name: "Event" }, {
+                imports: [
+                    {
+                        kind: "import",
+                        source: "./entities.ts",
+                        specifiers: [
+                            {
+                                kind: "named",
+                                name: "Event",
+                                localName: "EventEntity",
+                                isType: true,
+                            },
+                        ],
+                        isLocal: true,
+                        isClr: false,
+                        resolvedPath: "/src/entities.ts",
+                        resolvedNamespace: "Test.entities",
+                        targetContainerName: "entities",
+                    },
+                ],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow imported aliased instance companion types when IR normalizes to the exported name", () => {
+            const module = createModuleWithType({ kind: "referenceType", name: "Event$instance" }, {
+                imports: [
+                    {
+                        kind: "import",
+                        source: "./entities.ts",
+                        specifiers: [
+                            {
+                                kind: "named",
+                                name: "Event",
+                                localName: "EventEntity",
+                                isType: true,
+                            },
+                        ],
+                        isLocal: true,
+                        isClr: false,
+                        resolvedPath: "/src/entities.ts",
+                        resolvedNamespace: "Test.entities",
+                        targetContainerName: "entities",
+                    },
+                ],
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should reject unresolved external type", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "UnknownExternalType",
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN7414");
+            expect(result.diagnostics[0]?.message).to.include("UnknownExternalType");
+        });
+    });
+});
+//# sourceMappingURL=reference-type-resolution.test.js.map

package/dist/ir/validation/soundness-gate-cases/reference-type-resolution.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-type-resolution.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/reference-type-resolution.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAEzD,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,eAAe,EAAE,uBAAuB;aACzC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,cAAc;aACrB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAE;gBAC3C,mBAAmB,EAAE,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;aAC/C,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,uBAAuB;aAC9B,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAE;gBAC3C,mBAAmB,EAAE,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;aAC/C,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,aAAa;gBACnB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,eAAe;gBACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,eAAe;gBACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EACvC;gBACE,cAAc,EAAE;oBACd;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,MAAM;wBACZ,UAAU,EAAE,KAAK;wBACjB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,UAAU,EAAE,EAAE;wBACd,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EACxC;gBACE,cAAc,EAAE;oBACd;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,IAAI,EAAE,OAAO;wBACb,UAAU,EAAE,KAAK;wBACjB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC;gBACE,cAAc,EAAE;oBACd;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAE,KAAK;wBACjB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC;gBACE,cAAc,EAAE;oBACd;wBACE,IAAI,EAAE,iBAAiB;wBACvB,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAE,KAAK;wBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;qBAClD;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,EAC1C;gBACE,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,uBAAuB;wBAC/B,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,SAAS;gCACf,SAAS,EAAE,SAAS;gCACpB,MAAM,EAAE,IAAI;6BACb;yBACF;wBACD,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,IAAI;wBACX,iBAAiB,EAAE,QAAQ;qBAC5B;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,0BAA0B,EAAE,EAC3D;gBACE,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,WAAW;wBACnB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,iBAAiB;gCACvB,SAAS,EAAE,iBAAiB;gCAC5B,MAAM,EAAE,IAAI;6BACb;yBACF;wBACD,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,IAAI;wBACX,iBAAiB,EAAE,aAAa;qBACjC;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;YACrF,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EACxC;gBACE,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,eAAe;wBACvB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,OAAO;gCACb,SAAS,EAAE,aAAa;gCACxB,MAAM,EAAE,IAAI;6BACb;yBACF;wBACD,OAAO,EAAE,IAAI;wBACb,KAAK,EAAE,KAAK;wBACZ,YAAY,EAAE,kBAAkB;wBAChC,iBAAiB,EAAE,eAAe;wBAClC,mBAAmB,EAAE,UAAU;qBAChC;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gGAAgG,EAAE,GAAG,EAAE;YACxG,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE,EACjD;gBACE,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,eAAe;wBACvB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,OAAO;gCACb,SAAS,EAAE,aAAa;gCACxB,MAAM,EAAE,IAAI;6BACb;yBACF;wBACD,OAAO,EAAE,IAAI;wBACb,KAAK,EAAE,KAAK;wBACZ,YAAY,EAAE,kBAAkB;wBAChC,iBAAiB,EAAE,eAAe;wBAClC,mBAAmB,EAAE,UAAU;qBAChC;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,qBAAqB;aAC5B,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-cases/test-helpers.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Shared helpers for soundness-gate tests.
+ */
+import { IrModule, IrType } from "../../types.js";
+/**
+ * Helper to create a minimal module with a variable declaration of a given type
+ */
+export declare const createModuleWithType: (varType: IrType, options?: {
+    imports?: IrModule["imports"];
+    additionalBody?: IrModule["body"];
+}) => IrModule;
+//# sourceMappingURL=test-helpers.d.ts.map

package/dist/ir/validation/soundness-gate-cases/test-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-helpers.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/test-helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAElD;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,MAAM,EACf,UAAS;IACP,OAAO,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC9B,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CAC9B,KACL,QA4BD,CAAC"}

package/dist/ir/validation/soundness-gate-cases/test-helpers.js

@@ -0,0 +1,36 @@
+/**
+ * Shared helpers for soundness-gate tests.
+ */
+/**
+ * Helper to create a minimal module with a variable declaration of a given type
+ */
+export const createModuleWithType = (varType, options = {}) => ({
+    kind: "module",
+    filePath: "/src/test.ts",
+    namespace: "Test",
+    className: "test",
+    isStaticContainer: true,
+    imports: options.imports ?? [],
+    body: [
+        ...(options.additionalBody ?? []),
+        {
+            kind: "variableDeclaration",
+            declarationKind: "const",
+            isExported: false,
+            declarations: [
+                {
+                    kind: "variableDeclarator",
+                    name: { kind: "identifierPattern", name: "x" },
+                    type: varType,
+                    initializer: {
+                        kind: "literal",
+                        value: null,
+                        raw: "null",
+                    },
+                },
+            ],
+        },
+    ],
+    exports: [],
+});
+//# sourceMappingURL=test-helpers.js.map

package/dist/ir/validation/soundness-gate-cases/test-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-helpers.js","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/test-helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAe,EACf,UAGI,EAAE,EACI,EAAE,CAAC,CAAC;IACd,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,cAAc;IACxB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IACjB,iBAAiB,EAAE,IAAI;IACvB,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;IAC9B,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QACjC;YACE,IAAI,EAAE,qBAAqB;YAC3B,eAAe,EAAE,OAAO;YACxB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE;gBACZ;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC9C,IAAI,EAAE,OAAO;oBACb,WAAW,EAAE;wBACX,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,IAAI;wBACX,GAAG,EAAE,MAAM;qBACZ;iBACF;aACF;SACF;KACF;IACD,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Tests for IR Soundness Gate – Type Parameters, Intrinsics, and Cross-module Resolution
+ *
+ * Validates that the soundness gate correctly handles:
+ * - Type parameters in generic functions
+ * - Core intrinsic call rejection (TSN7442) for asinterface, trycast, stackalloc
+ * - Lowered nameof and sizeof intrinsics are allowed
+ * - Cross-module local reference resolution (same namespace vs different namespace)
+ */
+export {};
+//# sourceMappingURL=type-params-and-intrinsics.test.d.ts.map

package/dist/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-params-and-intrinsics.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}

package/dist/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.js

@@ -0,0 +1,249 @@
+/**
+ * Tests for IR Soundness Gate – Type Parameters, Intrinsics, and Cross-module Resolution
+ *
+ * Validates that the soundness gate correctly handles:
+ * - Type parameters in generic functions
+ * - Core intrinsic call rejection (TSN7442) for asinterface, trycast, stackalloc
+ * - Lowered nameof and sizeof intrinsics are allowed
+ * - Cross-module local reference resolution (same namespace vs different namespace)
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { validateIrSoundness } from "../soundness-gate.js";
+import { createModuleWithType } from "./test-helpers.js";
+describe("IR Soundness Gate", () => {
+    describe("Type Parameter Handling", () => {
+        it("should allow type parameter in generic function", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "functionDeclaration",
+                        name: "identity",
+                        typeParameters: [{ kind: "typeParameter", name: "T" }],
+                        parameters: [
+                            {
+                                kind: "parameter",
+                                pattern: { kind: "identifierPattern", name: "x" },
+                                type: { kind: "typeParameterType", name: "T" },
+                                isOptional: false,
+                                isRest: false,
+                                passing: "value",
+                            },
+                        ],
+                        returnType: { kind: "typeParameterType", name: "T" },
+                        body: {
+                            kind: "blockStatement",
+                            statements: [
+                                {
+                                    kind: "returnStatement",
+                                    expression: {
+                                        kind: "identifier",
+                                        name: "x",
+                                    },
+                                },
+                            ],
+                        },
+                        isExported: false,
+                        isAsync: false,
+                        isGenerator: false,
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+    });
+    describe("Core Intrinsic Calls", () => {
+        const createModuleWithCallTo = (name) => ({
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "Test",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    isExported: false,
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: { kind: "identifierPattern", name: "x" },
+                            type: { kind: "unknownType" },
+                            initializer: {
+                                kind: "call",
+                                callee: { kind: "identifier", name },
+                                arguments: [
+                                    {
+                                        kind: "literal",
+                                        value: null,
+                                        raw: "null",
+                                    },
+                                ],
+                                isOptional: false,
+                            },
+                        },
+                    ],
+                },
+            ],
+            exports: [],
+        });
+        it("should reject asinterface as a normal call (TSN7442)", () => {
+            const module = createModuleWithCallTo("asinterface");
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN7442")).to.be.true;
+        });
+        it("should reject trycast as a normal call (TSN7442)", () => {
+            const module = createModuleWithCallTo("trycast");
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN7442")).to.be.true;
+        });
+        it("should reject stackalloc as a normal call (TSN7442)", () => {
+            const module = createModuleWithCallTo("stackalloc");
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN7442")).to.be.true;
+        });
+        it("should allow lowered nameof and sizeof intrinsics", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "variableDeclaration",
+                        declarationKind: "const",
+                        isExported: false,
+                        declarations: [
+                            {
+                                kind: "variableDeclarator",
+                                name: { kind: "identifierPattern", name: "name" },
+                                type: { kind: "primitiveType", name: "string" },
+                                initializer: {
+                                    kind: "nameof",
+                                    name: "value",
+                                    inferredType: { kind: "primitiveType", name: "string" },
+                                },
+                            },
+                            {
+                                kind: "variableDeclarator",
+                                name: { kind: "identifierPattern", name: "size" },
+                                type: { kind: "primitiveType", name: "int" },
+                                initializer: {
+                                    kind: "sizeof",
+                                    targetType: { kind: "primitiveType", name: "int" },
+                                    inferredType: { kind: "primitiveType", name: "int" },
+                                },
+                            },
+                        ],
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+    });
+    describe("Cross-module local reference resolution", () => {
+        it("allows sibling local types in the same namespace", () => {
+            const appModule = {
+                kind: "module",
+                filePath: "/src/application.ts",
+                namespace: "TestApp",
+                className: "application",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "classDeclaration",
+                        name: "Application",
+                        members: [],
+                        isExported: true,
+                        isStruct: false,
+                        implements: [],
+                        superClass: undefined,
+                    },
+                ],
+                exports: [],
+            };
+            const anonModule = {
+                kind: "module",
+                filePath: "/src/__tsonic_anonymous_types.g.ts",
+                namespace: "TestApp",
+                className: "__tsonic_anonymous_types",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "classDeclaration",
+                        name: "__Anon_1234",
+                        members: [
+                            {
+                                kind: "propertyDeclaration",
+                                name: "owner",
+                                type: { kind: "referenceType", name: "Application" },
+                                initializer: undefined,
+                                emitAsAutoProperty: true,
+                                isStatic: false,
+                                isReadonly: false,
+                                accessibility: "public",
+                                isRequired: true,
+                            },
+                        ],
+                        isExported: true,
+                        isStruct: false,
+                        implements: [],
+                        superClass: undefined,
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([appModule, anonModule]);
+            expect(result.ok).to.equal(true);
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("still rejects sibling local types from a different namespace", () => {
+            const appModule = {
+                kind: "module",
+                filePath: "/src/application.ts",
+                namespace: "TestApp.Runtime",
+                className: "application",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "classDeclaration",
+                        name: "Application",
+                        members: [],
+                        isExported: true,
+                        isStruct: false,
+                        implements: [],
+                        superClass: undefined,
+                    },
+                ],
+                exports: [],
+            };
+            const anonModule = createModuleWithType({
+                kind: "referenceType",
+                name: "Application",
+            });
+            const result = validateIrSoundness([appModule, anonModule]);
+            expect(result.ok).to.equal(false);
+            expect(result.diagnostics.some((d) => d.code === "TSN7414")).to.equal(true);
+        });
+    });
+});
+//# sourceMappingURL=type-params-and-intrinsics.test.js.map