@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/converters/expressions/numeric-recovery-cases/call-return-and-intent.test.js

@@ -0,0 +1,124 @@
+/**
+ * Tests for Declaration-Based Numeric Intent Recovery -- Call Return Type & Intent
+ *
+ * - Call return type recovery (string.IndexOf() -> int)
+ * - Intent honored at source site (assigned to number variable)
+ * - Chained call type recovery
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { compileWithGlobals, compileWithJsSurface, findExpression, } from "./test-helpers.js";
+describe("Declaration-Based Numeric Intent Recovery", function () {
+    this.timeout(60000);
+    describe("Call Return Type Recovery", () => {
+        it("should recover 'int' from string.IndexOf() return type", () => {
+            // Note: Using string.IndexOf() because .NET arrays don't have indexOf method
+            // (use Array.IndexOf static method or LINQ instead)
+            const code = `
+        export function findIndex(str: string, search: string): number {
+          return str.IndexOf(search);
+        }
+      `;
+            const { modules, ok } = compileWithGlobals(code);
+            expect(ok).to.be.true;
+            // Find str.indexOf() call expression
+            const indexOfCall = findExpression(modules, (expr) => {
+                if (expr.kind !== "call")
+                    return false;
+                if (expr.callee.kind !== "memberAccess")
+                    return false;
+                return expr.callee.property === "IndexOf";
+            });
+            expect(indexOfCall).to.not.be.undefined;
+            // CLR numeric types are represented as primitiveType in IR
+            // (see primitives.ts: "When user writes `: int`, it becomes primitiveType(name='int')")
+            expect(indexOfCall?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+        it("keeps js-surface string.indexOf() as int", () => {
+            const code = `
+        export function findIndex(source: string, value: string): number {
+          return source.indexOf(value);
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const indexOfCall = findExpression(modules, (expr) => {
+                if (expr.kind !== "call")
+                    return false;
+                if (expr.callee.kind !== "memberAccess")
+                    return false;
+                return expr.callee.property === "indexOf";
+            });
+            expect(indexOfCall).to.not.be.undefined;
+            expect(indexOfCall?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+        it("recovers 'int' from explicit String.indexOf() receiver type", () => {
+            const code = `
+        export function findIndex(str: String, search: string): number {
+          return str.indexOf(search);
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const indexOfCall = findExpression(modules, (expr) => {
+                if (expr.kind !== "call")
+                    return false;
+                if (expr.callee.kind !== "memberAccess")
+                    return false;
+                return expr.callee.property === "indexOf";
+            });
+            expect(indexOfCall).to.not.be.undefined;
+            expect(indexOfCall?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+    });
+    describe("Intent Honored at Source Site", () => {
+        it("should recover 'int' even when assigned to number variable", () => {
+            const code = `
+        export function assignToNumber(arr: string[]): void {
+          const len: number = arr.Length;
+        }
+      `;
+            const { modules, ok } = compileWithGlobals(code);
+            expect(ok).to.be.true;
+            // Find arr.length member expression
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "Length");
+            expect(lengthExpr).to.not.be.undefined;
+            // The arr.length expression itself should have int, regardless of target
+            // CLR numeric types are represented as primitiveType in IR
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+    });
+    describe("Chained Call Type Recovery", () => {
+        it("should recover correct type through method chain", () => {
+            // str.Substring() returns string, then .Length returns int
+            // Note: .Length is declared as int in globals, no import needed
+            const code = `
+        export function getSubLength(s: string): number {
+          return s.Substring(0, 5).Length;
+        }
+      `;
+            const { modules, ok, error } = compileWithGlobals(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            // Find .length member expression at end of chain
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "Length");
+            expect(lengthExpr).to.not.be.undefined;
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+    });
+});
+//# sourceMappingURL=call-return-and-intent.test.js.map

package/dist/ir/converters/expressions/numeric-recovery-cases/call-return-and-intent.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-return-and-intent.test.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/numeric-recovery-cases/call-return-and-intent.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GACf,MAAM,mBAAmB,CAAC;AAG3B,QAAQ,CAAC,2CAA2C,EAAE;IACpD,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IACrB,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,6EAA6E;YAC7E,oDAAoD;YACpD,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,qCAAqC;YACrC,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACvC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,KAAK,CAAC;gBACtD,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;YAC5C,CAAC,CAAC,CAAC;YAEH,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACxC,2DAA2D;YAC3D,wFAAwF;YACxF,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC9C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACvC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,KAAK,CAAC;gBACtD,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;YAC5C,CAAC,CAAC,CAAC;YAEH,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACxC,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC9C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACvC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,KAAK,CAAC;gBACtD,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;YAC5C,CAAC,CAAC,CAAC;YAEH,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACxC,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC9C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,oCAAoC;YACpC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,yEAAyE;YACzE,2DAA2D;YAC3D,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,2DAA2D;YAC3D,gEAAgE;YAChE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,iDAAiD;YACjD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Tests for Declaration-Based Numeric Intent Recovery -- End-to-End Integration
+ *
+ * These tests verify arr[arr.Length - 1] and similar patterns pass numeric
+ * proof validation without TSN5107 errors.
+ */
+export {};
+//# sourceMappingURL=e2e-integration.test.d.ts.map

package/dist/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"e2e-integration.test.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.js

@@ -0,0 +1,117 @@
+/**
+ * Tests for Declaration-Based Numeric Intent Recovery -- End-to-End Integration
+ *
+ * These tests verify arr[arr.Length - 1] and similar patterns pass numeric
+ * proof validation without TSN5107 errors.
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { compileWithGlobals, compileWithJsSurface, runNumericProofPass, } from "./test-helpers.js";
+describe("Declaration-Based Numeric Intent Recovery", function () {
+    this.timeout(60000);
+    describe("End-to-End Integration: arr[arr.Length - 1]", () => {
+        it("should pass numeric proof validation for arr[arr.Length - 1] pattern", () => {
+            // This is the specific regression guard for the original issue.
+            // The pattern arr[arr.Length - 1] must:
+            // 1. Compile successfully
+            // 2. Build IR with arr.Length having int intent
+            // 3. Pass numeric proof pass without TSN5107
+            const code = `
+        export function getLast(arr: string[]): string {
+          return arr[arr.Length - 1];
+        }
+      `;
+            const { modules, ok, error } = compileWithGlobals(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            expect(modules.length).to.be.greaterThan(0);
+            // Run numeric proof pass - this should NOT produce TSN5107
+            const proofResult = runNumericProofPass(modules);
+            // Check for TSN5107 specifically (cannot prove int for array index)
+            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
+            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
+            // The proof pass should succeed (or have only non-blocking diagnostics)
+            expect(proofResult.ok, `Proof pass failed: ${proofResult.diagnostics.map((d) => `${d.code}: ${d.message}`).join("; ")}`).to.be.true;
+        });
+        it("should pass numeric proof for string.IndexOf() as index", () => {
+            // Using string.IndexOf() result as string char index
+            // Note: .NET arrays don't have indexOf method, use string instead
+            const code = `
+        export function getCharAtIndex(str: string, search: string): string {
+          const idx = str.IndexOf(search);
+          return str[idx];
+        }
+      `;
+            const { modules, ok, error } = compileWithGlobals(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const proofResult = runNumericProofPass(modules);
+            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
+            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
+            expect(proofResult.ok).to.be.true;
+        });
+        it("should pass numeric proof for length-based arithmetic", () => {
+            // Pattern: arr.Length in subtraction (common for last element access)
+            const code = `
+        export function getSecondLast(arr: string[]): string {
+          return arr[arr.Length - 2];
+        }
+      `;
+            const { modules, ok, error } = compileWithGlobals(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const proofResult = runNumericProofPass(modules);
+            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
+            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
+            expect(proofResult.ok).to.be.true;
+        });
+        it("should pass numeric proof for explicit CLR array .length on js surface", () => {
+            const code = `
+        import { Encoding } from "@tsonic/dotnet/System.Text.js";
+        import { Console } from "@tsonic/dotnet/System.js";
+
+        export function writeBytes(value: string): void {
+          const buffer = Encoding.UTF8.GetBytes(value);
+          Console.WriteLine(buffer[buffer.length - 1]);
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const proofResult = runNumericProofPass(modules);
+            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
+            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
+            expect(proofResult.ok).to.be.true;
+        });
+        it("should pass numeric proof for JS string length indexing on js surface", () => {
+            const code = `
+        export function getLastChar(value: string): string {
+          return value[value.length - 1];
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const proofResult = runNumericProofPass(modules);
+            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
+            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
+            expect(proofResult.ok).to.be.true;
+        });
+        it("should pass numeric proof for JS string trimming loops on js surface", () => {
+            const code = `
+        export function trimTrailingSlashes(value: string): string {
+          let end = value.length;
+          while (end > 1 && value[end - 1] === "/") {
+            end -= 1;
+          }
+          return value.slice(0, end);
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const proofResult = runNumericProofPass(modules);
+            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
+            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
+            expect(proofResult.ok).to.be.true;
+        });
+    });
+    // Note: User-defined function return type recovery is tested through E2E tests
+    // (test/fixtures/*) which have proper node_modules setup for @tsonic/core imports.
+    // The unit tests here focus on built-in globals (arr.Length, string.IndexOf, etc.)
+});
+//# sourceMappingURL=e2e-integration.test.js.map

package/dist/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"e2e-integration.test.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAE3B,QAAQ,CAAC,2CAA2C,EAAE;IACpD,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IACrB,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,gEAAgE;YAChE,wCAAwC;YACxC,0BAA0B;YAC1B,gDAAgD;YAChD,6CAA6C;YAC7C,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAClD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YAE5C,2DAA2D;YAC3D,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,oEAAoE;YACpE,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,wEAAwE;YACxE,MAAM,CACJ,WAAW,CAAC,EAAE,EACd,sBAAsB,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,qDAAqD;YACrD,kEAAkE;YAClE,MAAM,IAAI,GAAG;;;;;OAKZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,sEAAsE;YACtE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAChF,MAAM,IAAI,GAAG;;;;;;;;OAQZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YACjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;YAC/E,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YACjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,IAAI,GAAG;;;;;;;;OAQZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YACjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,mFAAmF;IACnF,mFAAmF;AACrF,CAAC,CAAC,CAAC"}

package/dist/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Tests for Declaration-Based Numeric Intent Recovery -- Property Access Recovery
+ *
+ * When TypeScript normalizes type aliases like `int` to plain `number`,
+ * we recover the original numeric intent from the declaration AST.
+ */
+export {};
+//# sourceMappingURL=property-access-recovery.test.d.ts.map

package/dist/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-access-recovery.test.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.js

@@ -0,0 +1,170 @@
+/**
+ * Tests for Declaration-Based Numeric Intent Recovery -- Property Access Recovery
+ *
+ * When TypeScript normalizes type aliases like `int` to plain `number`,
+ * we recover the original numeric intent from the declaration AST.
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { compileWithGlobals, compileWithJsSurface, findExpression, unwrapTransparentExpression, } from "./test-helpers.js";
+describe("Declaration-Based Numeric Intent Recovery", function () {
+    this.timeout(60000);
+    describe("Property Access Recovery", () => {
+        it("should recover 'int' from arr.Length property declaration", () => {
+            const code = `
+        export function getLen(arr: string[]): number {
+          return arr.Length;
+        }
+      `;
+            const { modules, ok } = compileWithGlobals(code);
+            expect(ok).to.be.true;
+            // Find arr.length member expression
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "Length");
+            expect(lengthExpr).to.not.be.undefined;
+            // CLR numeric types are represented as primitiveType in IR
+            // (see primitives.ts: "When user writes `: int`, it becomes primitiveType(name='int')")
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+        it("should recover 'int' from string.Length property declaration", () => {
+            const code = `
+        export function getLen(s: string): number {
+          return s.Length;
+        }
+      `;
+            const { modules, ok } = compileWithGlobals(code);
+            expect(ok).to.be.true;
+            // Find s.length member expression
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "Length");
+            expect(lengthExpr).to.not.be.undefined;
+            // CLR numeric types are represented as primitiveType in IR
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+        it("should recover 'int' from arr.length property declaration on js surface", () => {
+            const code = `
+        export function getLen(arr: string[]): number {
+          return arr.length;
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "length");
+            expect(lengthExpr).to.not.be.undefined;
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+        it("should recover 'int' from explicit CLR array .length on js surface", () => {
+            const code = `
+        import { Encoding } from "@tsonic/dotnet/System.Text.js";
+
+        export function getBytesLen(value: string): number {
+          return Encoding.UTF8.GetBytes(value).length;
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "length");
+            expect(lengthExpr).to.not.be.undefined;
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+        it("should recover 'int' from string.length property declaration on js surface", () => {
+            const code = `
+        export function getLen(value: string): number {
+          return value.length;
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" &&
+                expr.property === "length" &&
+                expr.object.kind === "identifier" &&
+                expr.object.name === "value");
+            expect(lengthExpr).to.not.be.undefined;
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+        it("should attach a concrete member binding for readonly array length on js surface", () => {
+            const code = `
+        export function getLen(arr: readonly string[]): number {
+          return arr.length;
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" &&
+                expr.property === "length" &&
+                expr.object.kind === "identifier" &&
+                expr.object.name === "arr");
+            expect(lengthExpr).to.not.be.undefined;
+            expect(lengthExpr?.kind).to.equal("memberAccess");
+            if (!lengthExpr || lengthExpr.kind !== "memberAccess")
+                return;
+            expect(lengthExpr.memberBinding).to.not.equal(undefined);
+            expect(lengthExpr.memberBinding?.kind).to.equal("property");
+            expect(lengthExpr.memberBinding?.member.toLowerCase()).to.equal("length");
+        });
+        it("should attach a concrete member binding for nullish readonly property length on js surface", () => {
+            const code = `
+        export type Query = {
+          readonly paths?: readonly string[];
+        };
+
+        export function hasPaths(query: Query): boolean {
+          return query.paths !== undefined && query.paths.length > 0;
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const lengthExpr = findExpression(modules, (expr) => {
+                if (expr.kind !== "memberAccess" || expr.property !== "length") {
+                    return false;
+                }
+                const target = unwrapTransparentExpression(expr.object);
+                return target.kind === "memberAccess" && target.property === "paths";
+            });
+            expect(lengthExpr).to.not.be.undefined;
+            expect(lengthExpr?.kind).to.equal("memberAccess");
+            if (!lengthExpr || lengthExpr.kind !== "memberAccess")
+                return;
+            const target = unwrapTransparentExpression(lengthExpr.object);
+            expect(target.kind).to.equal("memberAccess");
+            if (target.kind !== "memberAccess")
+                return;
+            expect(target.property).to.equal("paths");
+            expect(lengthExpr.memberBinding).to.not.equal(undefined);
+            expect(lengthExpr.memberBinding?.kind).to.equal("property");
+            expect(lengthExpr.memberBinding?.member.toLowerCase()).to.equal("length");
+        });
+        it("keeps js-surface array length as int", () => {
+            const code = `
+        export function getLen<T>(values: T[]): number {
+          return values.length;
+        }
+      `;
+            const { modules, ok, error } = compileWithJsSurface(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" &&
+                expr.property === "length" &&
+                expr.object.kind === "identifier" &&
+                expr.object.name === "values");
+            expect(lengthExpr).to.not.be.undefined;
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+    });
+});
+//# sourceMappingURL=property-access-recovery.test.js.map

package/dist/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-access-recovery.test.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,EACd,2BAA2B,GAC5B,MAAM,mBAAmB,CAAC;AAG3B,QAAQ,CAAC,2CAA2C,EAAE;IACpD,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IACrB,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,oCAAoC;YACpC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,2DAA2D;YAC3D,wFAAwF;YACxF,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,kCAAkC;YAClC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,2DAA2D;YAC3D,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;YACjF,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,IAAI,GAAG;;;;;;OAMZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;YACpF,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc;gBAC5B,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;gBACjC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAC/B,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc;gBAC5B,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;gBACjC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAC7B,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAClD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,cAAc;gBAAE,OAAO;YAC9D,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACzD,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC5D,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;YACpG,MAAM,IAAI,GAAG;;;;;;;;OAQZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBAC/D,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxD,OAAO,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC;YACvE,CAAC,CACF,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAClD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,cAAc;gBAAE,OAAO;YAC9D,MAAM,MAAM,GAAG,2BAA2B,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC9D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;gBAAE,OAAO;YAC3C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC1C,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACzD,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC5D,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc;gBAC5B,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;gBACjC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAChC,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/converters/expressions/numeric-recovery-cases/test-helpers.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Shared helpers for Declaration-Based Numeric Intent Recovery tests.
+ */
+import { runNumericProofPass } from "../../../../index.js";
+import { IrModule, IrExpression, IrMemberExpression } from "../../../types.js";
+/**
+ * Helper to compile TypeScript code with globals and extract IR
+ */
+export declare const compileWithTypeRoots: (code: string, typeRoots: readonly string[], surface?: string) => {
+    modules: readonly IrModule[];
+    ok: boolean;
+    error?: string;
+};
+export declare const compileWithGlobals: (code: string) => {
+    modules: readonly IrModule[];
+    ok: boolean;
+    error?: string;
+};
+export declare const compileWithJsSurface: (code: string) => {
+    modules: readonly IrModule[];
+    ok: boolean;
+    error?: string;
+};
+/**
+ * Helper to find an expression in the IR by predicate
+ */
+export declare const findExpression: (modules: readonly IrModule[], predicate: (expr: IrExpression) => boolean) => IrExpression | undefined;
+export declare const unwrapTransparentExpression: (expr: IrExpression) => IrExpression;
+export { runNumericProofPass };
+export type { IrMemberExpression };
+//# sourceMappingURL=test-helpers.d.ts.map

package/dist/ir/converters/expressions/numeric-recovery-cases/test-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-helpers.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/numeric-recovery-cases/test-helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,OAAO,EAAW,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAEpE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAwC/E;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,MAAM,EACZ,WAAW,SAAS,MAAM,EAAE,EAC5B,UAAU,MAAM,KACf;IAAE,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAuE7D,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,KACX;IAAE,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACT,CAAC;AAEtD,eAAO,MAAM,oBAAoB,GAC/B,MAAM,MAAM,KACX;IAAE,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACA,CAAC;AAE/D;;GAEG;AACH,eAAO,MAAM,cAAc,GACzB,SAAS,SAAS,QAAQ,EAAE,EAC5B,WAAW,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,KACzC,YAAY,GAAG,SAsEjB,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,MAAM,YAAY,KACjB,YAUF,CAAC;AAEF,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAC/B,YAAY,EAAE,kBAAkB,EAAE,CAAC"}