@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.js

@@ -0,0 +1,364 @@
+/**
+ * Numeric Invariants: Arrow Function and Guard Proof Context
+ *
+ * REGRESSION TESTS: Arrow function and function expression parameter proofs
+ *
+ * These tests guard against the bug where arrow functions and function expressions
+ * did not register their parameters in provenParameters, causing (n: int) => (n * 2) as int
+ * to fail proof validation. This was the root cause of 3 E2E test failures:
+ * - action-func-callbacks
+ * - collections
+ * - linq-dotnet
+ *
+ * Also covers guarded integer range branch proofs for function declarations.
+ */
+import { describe, it, expect, runNumericProofPass, createModule, createVarDecl, numLiteral, narrowTo, ident, logicalExpr, memberCall, compareExpr, block, parameter, booleanType, } from "./helpers.js";
+describe("Numeric Proof Invariants", () => {
+    describe("Arrow Function Parameter Proof Context", () => {
+        /**
+         * Helper to create an arrow function expression
+         */
+        const createArrowFunction = (paramName, paramType, body) => ({
+            kind: "arrowFunction",
+            parameters: [
+                {
+                    kind: "parameter",
+                    pattern: { kind: "identifierPattern", name: paramName },
+                    type: paramType === "int"
+                        ? { kind: "primitiveType", name: "int" }
+                        : { kind: "primitiveType", name: "number" },
+                    isOptional: false,
+                    isRest: false,
+                    passing: "value",
+                },
+            ],
+            body,
+            isAsync: false,
+            inferredType: {
+                kind: "functionType",
+                parameters: [
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: paramName },
+                        type: paramType === "int"
+                            ? { kind: "primitiveType", name: "int" }
+                            : { kind: "primitiveType", name: "number" },
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                ],
+                returnType: paramType === "int"
+                    ? { kind: "primitiveType", name: "int" }
+                    : { kind: "primitiveType", name: "number" },
+            },
+        });
+        /**
+         * Helper to create a binary expression
+         */
+        const createBinary = (left, op, right) => ({
+            kind: "binary",
+            operator: op,
+            left,
+            right,
+            inferredType: { kind: "primitiveType", name: "number" },
+        });
+        it("should ACCEPT (n: int) => (n * 2) as int - parameter proven as Int32", () => {
+            // REGRESSION TEST: This was failing because arrow function parameters
+            // were not registered in provenParameters
+            //
+            // const doubled = mapToInt(numbers, (n: int) => (n * 2) as int);
+            const arrowBody = narrowTo(createBinary(ident("n"), "*", numLiteral(2)), "Int32");
+            const arrow = createArrowFunction("n", "int", arrowBody);
+            const module = createModule([createVarDecl("callback", arrow)]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should ACCEPT nested arrow: (x: int) => (y: int) => (x + y) as int", () => {
+            // Test that nested arrow functions correctly scope parameters
+            const innerBody = narrowTo(createBinary(ident("x"), "+", ident("y")), "Int32");
+            const innerArrow = createArrowFunction("y", "int", innerBody);
+            const outerArrow = createArrowFunction("x", "int", innerArrow);
+            const module = createModule([createVarDecl("curried", outerArrow)]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT (n: number) => (n * 2) as int - parameter not proven as Int32", () => {
+            // When parameter is typed as number (not int), it cannot be proven Int32
+            // The error is TSN5101 (cannot prove identifier) not TSN5103 (binary promotion)
+            // because n itself is not proven as Int32
+            const arrowBody = narrowTo(createBinary(ident("n"), "*", numLiteral(2)), "Int32");
+            const arrow = createArrowFunction("n", "number", arrowBody);
+            const module = createModule([createVarDecl("callback", arrow)]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            // TSN5101: Cannot prove identifier narrowing (n is number, not int)
+            expect(result.diagnostics[0]?.code).to.equal("TSN5101");
+        });
+        it("should propagate outer proven var into arrow function body", () => {
+            // const x = 1 as int;
+            // const fn = (n: int) => (x + n) as int;  // x should be visible inside arrow
+            const module = createModule([
+                createVarDecl("x", narrowTo(numLiteral(1), "Int32")),
+                createVarDecl("fn", createArrowFunction("n", "int", narrowTo(createBinary(ident("x"), "+", ident("n")), "Int32"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should allow parameter shadowing in nested arrows", () => {
+            // Outer n is int, inner n shadows it - both should work
+            // const fn = (n: int) => ((n: int) => (n * 2) as int);
+            const innerBody = narrowTo(createBinary(ident("n"), "*", numLiteral(2)), "Int32");
+            const innerArrow = createArrowFunction("n", "int", innerBody);
+            const outerArrow = createArrowFunction("n", "int", innerArrow);
+            const module = createModule([createVarDecl("fn", outerArrow)]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("proves numeric narrowings in arrow default parameter initializers", () => {
+            const arrow = {
+                kind: "arrowFunction",
+                parameters: [
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "delay" },
+                        type: { kind: "primitiveType", name: "int" },
+                        initializer: narrowTo(numLiteral(1), "Int32"),
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                ],
+                body: ident("delay"),
+                isAsync: false,
+                inferredType: {
+                    kind: "functionType",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "delay" },
+                            type: { kind: "primitiveType", name: "int" },
+                            initializer: narrowTo(numLiteral(1), "Int32"),
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "primitiveType", name: "int" },
+                },
+            };
+            const module = createModule([createVarDecl("timerFactory", arrow)]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const processedArrow = (result.modules[0]?.body[0]).declarations[0].initializer;
+            const initializer = processedArrow.parameters[0]?.initializer;
+            expect(initializer?.kind).to.equal("numericNarrowing");
+            if (initializer?.kind === "numericNarrowing") {
+                expect(initializer.proof?.kind).to.equal("Int32");
+            }
+        });
+        it("proves numeric narrowings in function-expression default parameter initializers", () => {
+            const fn = {
+                kind: "functionExpression",
+                parameters: [
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "delay" },
+                        type: { kind: "primitiveType", name: "int" },
+                        initializer: narrowTo(numLiteral(0), "Int32"),
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                ],
+                returnType: { kind: "primitiveType", name: "int" },
+                body: block([
+                    {
+                        kind: "returnStatement",
+                        expression: ident("delay"),
+                    },
+                ]),
+                isAsync: false,
+                isGenerator: false,
+                inferredType: {
+                    kind: "functionType",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "delay" },
+                            type: { kind: "primitiveType", name: "int" },
+                            initializer: narrowTo(numLiteral(0), "Int32"),
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "primitiveType", name: "int" },
+                },
+            };
+            const module = createModule([createVarDecl("timerFactory", fn)]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const processedFn = (result.modules[0]?.body[0]).declarations[0].initializer;
+            const initializer = processedFn.parameters[0]?.initializer;
+            expect(initializer?.kind).to.equal("numericNarrowing");
+            if (initializer?.kind === "numericNarrowing") {
+                expect(initializer.proof?.kind).to.equal("Int32");
+            }
+        });
+        it("proves Int32 narrowing inside a guarded integer range branch", () => {
+            const guardedCondition = logicalExpr("&&", logicalExpr("&&", memberCall("Number", "isInteger", [ident("value")]), compareExpr(">=", ident("value"), numLiteral(-2147483648, "-2147483648")), booleanType), compareExpr("<=", ident("value"), numLiteral(2147483647, "2147483647")), booleanType);
+            const module = createModule([
+                {
+                    kind: "functionDeclaration",
+                    name: "toInt32",
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                    parameters: [
+                        parameter("value", { kind: "primitiveType", name: "number" }),
+                    ],
+                    returnType: {
+                        kind: "unionType",
+                        types: [
+                            { kind: "primitiveType", name: "int" },
+                            { kind: "primitiveType", name: "undefined" },
+                        ],
+                    },
+                    body: block([
+                        {
+                            kind: "ifStatement",
+                            condition: guardedCondition,
+                            thenStatement: block([
+                                {
+                                    kind: "returnStatement",
+                                    expression: narrowTo(ident("value"), "Int32"),
+                                },
+                            ]),
+                        },
+                        {
+                            kind: "returnStatement",
+                            expression: {
+                                kind: "literal",
+                                value: undefined,
+                                inferredType: { kind: "primitiveType", name: "undefined" },
+                            },
+                        },
+                    ]),
+                },
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("still rejects guarded range checks when integer-ness is not proven", () => {
+            const guardedCondition = logicalExpr("&&", compareExpr(">=", ident("value"), numLiteral(-2147483648, "-2147483648")), compareExpr("<=", ident("value"), numLiteral(2147483647, "2147483647")), booleanType);
+            const module = createModule([
+                {
+                    kind: "functionDeclaration",
+                    name: "toInt32",
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                    parameters: [
+                        parameter("value", { kind: "primitiveType", name: "number" }),
+                    ],
+                    returnType: {
+                        kind: "unionType",
+                        types: [
+                            { kind: "primitiveType", name: "int" },
+                            { kind: "primitiveType", name: "undefined" },
+                        ],
+                    },
+                    body: block([
+                        {
+                            kind: "ifStatement",
+                            condition: guardedCondition,
+                            thenStatement: block([
+                                {
+                                    kind: "returnStatement",
+                                    expression: narrowTo(ident("value"), "Int32"),
+                                },
+                            ]),
+                        },
+                        {
+                            kind: "returnStatement",
+                            expression: {
+                                kind: "literal",
+                                value: undefined,
+                                inferredType: { kind: "primitiveType", name: "undefined" },
+                            },
+                        },
+                    ]),
+                },
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN5101")).to.equal(true);
+        });
+        it("proves numeric narrowings from explicit type-predicate guards", () => {
+            const guardedCondition = {
+                kind: "call",
+                callee: ident("isInt32"),
+                arguments: [ident("value")],
+                isOptional: false,
+                inferredType: booleanType,
+                narrowing: {
+                    kind: "typePredicate",
+                    argIndex: 0,
+                    targetType: { kind: "primitiveType", name: "int" },
+                },
+            };
+            const module = createModule([
+                {
+                    kind: "functionDeclaration",
+                    name: "toInt32",
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                    parameters: [
+                        parameter("value", { kind: "primitiveType", name: "number" }),
+                    ],
+                    returnType: {
+                        kind: "unionType",
+                        types: [
+                            { kind: "primitiveType", name: "int" },
+                            { kind: "primitiveType", name: "undefined" },
+                        ],
+                    },
+                    body: block([
+                        {
+                            kind: "ifStatement",
+                            condition: guardedCondition,
+                            thenStatement: block([
+                                {
+                                    kind: "returnStatement",
+                                    expression: narrowTo(ident("value"), "Int32"),
+                                },
+                            ]),
+                        },
+                        {
+                            kind: "returnStatement",
+                            expression: {
+                                kind: "literal",
+                                value: undefined,
+                                inferredType: { kind: "primitiveType", name: "undefined" },
+                            },
+                        },
+                    ]),
+                },
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+    });
+});
+//# sourceMappingURL=arrow-function-proofs.test.js.map

package/dist/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrow-function-proofs.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,mBAAmB,EACnB,YAAY,EACZ,aAAa,EACb,UAAU,EACV,QAAQ,EACR,KAAK,EACL,WAAW,EACX,UAAU,EACV,WAAW,EACX,KAAK,EACL,SAAS,EACT,WAAW,GACZ,MAAM,cAAc,CAAC;AAItB,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD;;WAEG;QACH,MAAM,mBAAmB,GAAG,CAC1B,SAAiB,EACjB,SAA2B,EAC3B,IAAkB,EACJ,EAAE,CAAC,CAAC;YAClB,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;oBACvD,IAAI,EACF,SAAS,KAAK,KAAK;wBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;wBACxC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,OAAgB;iBAC1B;aACF;YACD,IAAI;YACJ,OAAO,EAAE,KAAK;YACd,YAAY,EAAE;gBACZ,IAAI,EAAE,cAAc;gBACpB,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;wBACvD,IAAI,EACF,SAAS,KAAK,KAAK;4BACjB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BACxC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC/C,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAgB;qBAC1B;iBACF;gBACD,UAAU,EACR,SAAS,KAAK,KAAK;oBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBACxC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAChD;SACF,CAAC,CAAC;QAEH;;WAEG;QACH,MAAM,YAAY,GAAG,CACnB,IAAkB,EAClB,EAAyB,EACzB,KAAmB,EACL,EAAE,CAAC,CAAC;YAClB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,EAAE;YACZ,IAAI;YACJ,KAAK;YACL,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACxD,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,sEAAsE;YACtE,0CAA0C;YAC1C,EAAE;YACF,iEAAiE;YACjE,MAAM,SAAS,GAAG,QAAQ,CACxB,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAC5C,OAAO,CACR,CAAC;YACF,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YAEzD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAEhE,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,8DAA8D;YAC9D,MAAM,SAAS,GAAG,QAAQ,CACxB,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EACzC,OAAO,CACR,CAAC;YACF,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YAC9D,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;YAE/D,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;YAEpE,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;YACrF,yEAAyE;YACzE,gFAAgF;YAChF,0CAA0C;YAC1C,MAAM,SAAS,GAAG,QAAQ,CACxB,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAC5C,OAAO,CACR,CAAC;YACF,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAE5D,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAEhE,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,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACvD,oEAAoE;YACpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,sBAAsB;YACtB,8EAA8E;YAC9E,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBACpD,aAAa,CACX,IAAI,EACJ,mBAAmB,CACjB,GAAG,EACH,KAAK,EACL,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAC7D,CACF;aACF,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;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,wDAAwD;YACxD,uDAAuD;YACvD,MAAM,SAAS,GAAG,QAAQ,CACxB,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAC5C,OAAO,CACR,CAAC;YACF,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YAC9D,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;YAE/D,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;YAE/D,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,KAAK,GAAiB;gBAC1B,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;wBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;wBAC5C,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;wBAC7C,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;iBACF;gBACD,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC;gBACpB,OAAO,EAAE,KAAK;gBACd,YAAY,EAAE;oBACZ,IAAI,EAAE,cAAc;oBACpB,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BAC5C,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;4BAC7C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;iBACnD;aACF,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YACpE,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,cAAc,GAAG,CACrB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAU1B,CAAA,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;YAC9B,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;YAC9D,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACvD,IAAI,WAAW,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAC7C,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACpD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,EAAE,GAAiB;gBACvB,IAAI,EAAE,oBAAoB;gBAC1B,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;wBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;wBAC5C,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;wBAC7C,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;iBACF;gBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBAClD,IAAI,EAAE,KAAK,CAAC;oBACV;wBACE,IAAI,EAAE,iBAAiB;wBACvB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC;qBAC3B;iBACF,CAAC;gBACF,OAAO,EAAE,KAAK;gBACd,WAAW,EAAE,KAAK;gBAClB,YAAY,EAAE;oBACZ,IAAI,EAAE,cAAc;oBACpB,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BAC5C,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;4BAC7C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;iBACnD;aACF,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjE,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,WAAW,GAAG,CAClB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAU1B,CAAA,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;YAC9B,MAAM,WAAW,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;YAC3D,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACvD,IAAI,WAAW,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAC7C,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACpD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,gBAAgB,GAAG,WAAW,CAClC,IAAI,EACJ,WAAW,CACT,IAAI,EACJ,UAAU,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EACnD,WAAW,CACT,IAAI,EACJ,KAAK,CAAC,OAAO,CAAC,EACd,UAAU,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,CACvC,EACD,WAAW,CACZ,EACD,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EACvE,WAAW,CACZ,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE;wBACV,SAAS,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;qBAC9D;oBACD,UAAU,EAAE;wBACV,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;yBAC7C;qBACF;oBACD,IAAI,EAAE,KAAK,CAAC;wBACV;4BACE,IAAI,EAAE,aAAa;4BACnB,SAAS,EAAE,gBAAgB;4BAC3B,aAAa,EAAE,KAAK,CAAC;gCACnB;oCACE,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;iCAC9C;6BACF,CAAC;yBACH;wBACD;4BACE,IAAI,EAAE,iBAAiB;4BACvB,UAAU,EAAE;gCACV,IAAI,EAAE,SAAS;gCACf,KAAK,EAAE,SAAS;gCAChB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;6BAC3D;yBACF;qBACF,CAAC;iBACH;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,gBAAgB,GAAG,WAAW,CAClC,IAAI,EACJ,WAAW,CACT,IAAI,EACJ,KAAK,CAAC,OAAO,CAAC,EACd,UAAU,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,CACvC,EACD,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EACvE,WAAW,CACZ,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE;wBACV,SAAS,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;qBAC9D;oBACD,UAAU,EAAE;wBACV,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;yBAC7C;qBACF;oBACD,IAAI,EAAE,KAAK,CAAC;wBACV;4BACE,IAAI,EAAE,aAAa;4BACnB,SAAS,EAAE,gBAAgB;4BAC3B,aAAa,EAAE,KAAK,CAAC;gCACnB;oCACE,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;iCAC9C;6BACF,CAAC;yBACH;wBACD;4BACE,IAAI,EAAE,iBAAiB;4BACvB,UAAU,EAAE;gCACV,IAAI,EAAE,SAAS;gCACf,KAAK,EAAE,SAAS;gCAChB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;6BAC3D;yBACF;qBACF,CAAC;iBACH;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,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,KAAK,CACnE,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,gBAAgB,GAAiB;gBACrC,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC;gBACxB,SAAS,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC3B,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE,WAAW;gBACzB,SAAS,EAAE;oBACT,IAAI,EAAE,eAAe;oBACrB,QAAQ,EAAE,CAAC;oBACX,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;iBACnD;aACF,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE;wBACV,SAAS,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;qBAC9D;oBACD,UAAU,EAAE;wBACV,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;yBAC7C;qBACF;oBACD,IAAI,EAAE,KAAK,CAAC;wBACV;4BACE,IAAI,EAAE,aAAa;4BACnB,SAAS,EAAE,gBAAgB;4BAC3B,aAAa,EAAE,KAAK,CAAC;gCACnB;oCACE,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;iCAC9C;6BACF,CAAC;yBACH;wBACD;4BACE,IAAI,EAAE,iBAAiB;4BACvB,UAAU,EAAE;gCACV,IAAI,EAAE,SAAS;gCACf,KAAK,EAAE,SAAS;gCAChB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;6BAC3D;yBACF;qBACF,CAAC;iBACH;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/numeric-invariants-cases/binary-promotion.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Numeric Invariants: Binary Operation Type Promotion
+ *
+ * INVARIANT 4: Binary operations follow C# promotion rules (TSN5103)
+ *
+ * Also covers conditional expression branch promotion validation.
+ */
+export {};
+//# sourceMappingURL=binary-promotion.test.d.ts.map

package/dist/ir/validation/numeric-invariants-cases/binary-promotion.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binary-promotion.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/numeric-invariants-cases/binary-promotion.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/ir/validation/numeric-invariants-cases/binary-promotion.test.js

@@ -0,0 +1,119 @@
+/**
+ * Numeric Invariants: Binary Operation Type Promotion
+ *
+ * INVARIANT 4: Binary operations follow C# promotion rules (TSN5103)
+ *
+ * Also covers conditional expression branch promotion validation.
+ */
+import { describe, it, expect, runNumericProofPass, createModule, createVarDecl, numLiteral, narrowTo, binaryExpr, conditionalExpr, } from "./helpers.js";
+describe("Numeric Proof Invariants", () => {
+    describe("INVARIANT 4: Binary operation type promotion (TSN5103)", () => {
+        it("should ACCEPT Int32 + Int32 narrowed to Int32", () => {
+            // const x = (1 as int) + (2 as int) as int;
+            const module = createModule([
+                createVarDecl("x", narrowTo(binaryExpr("+", narrowTo(numLiteral(1), "Int32"), narrowTo(numLiteral(2), "Int32")), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT Int32 + Double narrowed to Int32 (promotes to Double)", () => {
+            // const x = (1 as int) + (2.0 as double) as int;  // ERROR: Double + Int32 = Double
+            const module = createModule([
+                createVarDecl("x", narrowTo(binaryExpr("+", narrowTo(numLiteral(1), "Int32"), narrowTo(numLiteral(2.0, "2.0"), "Double")), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5103");
+        });
+        it("should ACCEPT Int32 + Int64 narrowed to Int64 (promotion)", () => {
+            // const x = (1 as int) + (2 as long) as long;  // Int32 + Int64 = Int64
+            const module = createModule([
+                createVarDecl("x", narrowTo(binaryExpr("+", narrowTo(numLiteral(1), "Int32"), narrowTo(numLiteral(2), "Int64")), "Int64")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should ACCEPT explicit narrowing when binary expression carries numeric inferredType", () => {
+            // Mirrors IR shape from expressions like:
+            //   const age = (Convert.ToDouble(now) - Convert.ToDouble(ts)) as long;
+            // where operand proofs can be opaque but the binary node itself is already
+            // deterministically typed by earlier inference.
+            const numericCall = (name) => ({
+                kind: "call",
+                callee: {
+                    kind: "identifier",
+                    name,
+                    inferredType: { kind: "unknownType" },
+                },
+                arguments: [],
+                isOptional: false,
+                inferredType: { kind: "primitiveType", name: "number" },
+            });
+            const module = createModule([
+                createVarDecl("age", narrowTo({
+                    kind: "binary",
+                    operator: "-",
+                    left: numericCall("toDoubleA"),
+                    right: numericCall("toDoubleB"),
+                    inferredType: { kind: "primitiveType", name: "number" },
+                }, "Int64")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("accepts conditional expressions whose branches deterministically stay Int32", () => {
+            const module = createModule([
+                createVarDecl("cmp", narrowTo(conditionalExpr({
+                    kind: "binary",
+                    operator: "===",
+                    left: { kind: "identifier", name: "left" },
+                    right: { kind: "identifier", name: "right" },
+                    inferredType: { kind: "primitiveType", name: "boolean" },
+                }, numLiteral(0, "0"), conditionalExpr({
+                    kind: "binary",
+                    operator: "<",
+                    left: { kind: "identifier", name: "left" },
+                    right: { kind: "identifier", name: "right" },
+                    inferredType: { kind: "primitiveType", name: "boolean" },
+                }, numLiteral(-1, "-1"), numLiteral(1, "1"), { kind: "primitiveType", name: "number" }), { kind: "primitiveType", name: "number" }), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const decl = result.modules[0]?.body[0];
+            expect(decl?.kind).to.equal("variableDeclaration");
+            if (decl?.kind !== "variableDeclaration")
+                return;
+            const init = decl.declarations[0]?.initializer;
+            expect(init?.kind).to.equal("numericNarrowing");
+            if (init?.kind !== "numericNarrowing")
+                return;
+            expect(init.proof?.kind).to.equal("Int32");
+            expect(init.proof?.source).to.deep.equal({
+                type: "narrowing",
+                from: "Int32",
+            });
+        });
+        it("rejects conditional expressions whose branches promote to Double before Int32 narrowing", () => {
+            const module = createModule([
+                createVarDecl("value", narrowTo(conditionalExpr({
+                    kind: "binary",
+                    operator: "===",
+                    left: { kind: "identifier", name: "flag" },
+                    right: numLiteral(1, "1"),
+                    inferredType: { kind: "primitiveType", name: "boolean" },
+                }, numLiteral(0, "0"), numLiteral(1.5, "1.5"), { kind: "primitiveType", name: "number" }), "Int32")),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5103");
+            expect(result.diagnostics[0]?.message).to.contain("Conditional expression produces Double");
+        });
+    });
+});
+//# sourceMappingURL=binary-promotion.test.js.map

package/dist/ir/validation/numeric-invariants-cases/binary-promotion.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binary-promotion.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/numeric-invariants-cases/binary-promotion.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,mBAAmB,EACnB,YAAY,EACZ,aAAa,EACb,UAAU,EACV,QAAQ,EACR,UAAU,EACV,eAAe,GAChB,MAAM,cAAc,CAAC;AAItB,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;QACtE,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,4CAA4C;YAC5C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CACN,UAAU,CACR,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAChC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CACjC,EACD,OAAO,CACR,CACF;aACF,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;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,oFAAoF;YACpF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CACN,UAAU,CACR,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAChC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,CAC3C,EACD,OAAO,CACR,CACF;aACF,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;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,wEAAwE;YACxE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,GAAG,EACH,QAAQ,CACN,UAAU,CACR,GAAG,EACH,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAChC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CACjC,EACD,OAAO,CACR,CACF;aACF,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;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;YAC9F,0CAA0C;YAC1C,wEAAwE;YACxE,2EAA2E;YAC3E,gDAAgD;YAChD,MAAM,WAAW,GAAG,CAAC,IAAY,EAAgB,EAAE,CAAC,CAAC;gBACnD,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,YAAY;oBAClB,IAAI;oBACJ,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;iBACtC;gBACD,SAAS,EAAE,EAAE;gBACb,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACxD,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,QAAQ,CACN;oBACE,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC;oBAC9B,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC;oBAC/B,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBACxD,EACD,OAAO,CACR,CACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;YACrF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,QAAQ,CACN,eAAe,CACb;oBACE,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC1C,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;oBAC5C,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;iBACzD,EACD,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,EAClB,eAAe,CACb;oBACE,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC1C,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;oBAC5C,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;iBACzD,EACD,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EACpB,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,EAClB,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAC1C,EACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAC1C,EACD,OAAO,CACR,CACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACnD,IAAI,IAAI,EAAE,IAAI,KAAK,qBAAqB;gBAAE,OAAO;YAEjD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;YAC/C,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAChD,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB;gBAAE,OAAO;YAE9C,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3C,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACvC,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,OAAO;aACd,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;YACjG,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,OAAO,EACP,QAAQ,CACN,eAAe,CACb;oBACE,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC1C,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC;oBACzB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;iBACzD,EACD,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,EAClB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,EACtB,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAC1C,EACD,OAAO,CACR,CACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,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,CAC/C,wCAAwC,CACzC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/numeric-invariants-cases/helpers.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Shared test helpers for numeric invariants tests.
+ *
+ * Re-exports mocha/chai and provides factory functions for IR nodes
+ * used across all numeric-invariant topic test files.
+ */
+export { describe, it } from "mocha";
+export { expect } from "chai";
+export { runNumericProofPass } from "../numeric-proof-pass.js";
+export type { IrModule, IrExpression, IrType, IrStatement, IrNumericNarrowingExpression, IrMemberExpression, IrBlockStatement, IrParameter, } from "../../types.js";
+import type { IrModule, IrExpression, IrType, IrStatement, IrNumericNarrowingExpression, IrBlockStatement, IrParameter } from "../../types.js";
+/**
+ * Helper to create a minimal module with statements
+ */
+export declare const createModule: (body: IrStatement[], filePath?: string) => IrModule;
+/**
+ * Helper to create a variable declaration with an expression
+ */
+export declare const createVarDecl: (name: string, init: IrExpression, declarationKind?: "const" | "let") => IrStatement;
+/**
+ * Helper to create a numeric literal
+ */
+export declare const numLiteral: (value: number, raw?: string) => IrExpression;
+/**
+ * Helper to create a numeric narrowing expression
+ * INVARIANT: "Int32" -> primitiveType(name="int"), others -> referenceType
+ */
+export declare const narrowTo: (expr: IrExpression, targetKind: "Int32" | "Int64" | "Double" | "Byte") => IrNumericNarrowingExpression;
+/**
+ * Helper to create an identifier expression
+ */
+export declare const ident: (name: string) => IrExpression;
+/**
+ * Helper to create an array access expression
+ * Includes accessKind: "clrIndexer" to match IR build behavior
+ */
+export declare const arrayAccess: (object: IrExpression, index: IrExpression) => IrExpression;
+/**
+ * Helper to create an array identifier
+ */
+export declare const arrayIdent: (name: string) => IrExpression;
+/**
+ * Helper to create a binary expression
+ */
+export declare const binaryExpr: (operator: "+" | "-" | "*" | "/", left: IrExpression, right: IrExpression) => IrExpression;
+/**
+ * Helper to create a logical expression.
+ */
+export declare const logicalExpr: (operator: "&&" | "||" | "??", left: IrExpression, right: IrExpression, inferredType: IrType) => IrExpression;
+export declare const booleanType: IrType;
+export declare const memberCall: (objectName: string, methodName: string, args: IrExpression[], inferredType?: IrType) => IrExpression;
+export declare const compareExpr: (operator: "<" | "<=" | ">" | ">=", left: IrExpression, right: IrExpression) => IrExpression;
+export declare const block: (statements: IrStatement[]) => IrBlockStatement;
+export declare const parameter: (name: string, type: IrType) => IrParameter;
+/**
+ * Helper to create an array expression
+ */
+export declare const arrayExpr: (elements: IrExpression[]) => IrExpression;
+export declare const conditionalExpr: (condition: IrExpression, whenTrue: IrExpression, whenFalse: IrExpression, inferredType: IrType) => IrExpression;
+//# sourceMappingURL=helpers.d.ts.map

package/dist/ir/validation/numeric-invariants-cases/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/numeric-invariants-cases/helpers.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,YAAY,EACV,QAAQ,EACR,YAAY,EACZ,MAAM,EACN,WAAW,EACX,4BAA4B,EAC5B,kBAAkB,EAClB,gBAAgB,EAChB,WAAW,GACZ,MAAM,gBAAgB,CAAC;AAExB,OAAO,KAAK,EACV,QAAQ,EACR,YAAY,EACZ,MAAM,EACN,WAAW,EACX,4BAA4B,EAC5B,gBAAgB,EAChB,WAAW,EACZ,MAAM,gBAAgB,CAAC;AAExB;;GAEG;AACH,eAAO,MAAM,YAAY,GACvB,MAAM,WAAW,EAAE,EACnB,iBAAyB,KACxB,QASD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,MAAM,EACZ,MAAM,YAAY,EAClB,kBAAiB,OAAO,GAAG,KAAe,KACzC,WAWD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,MAAM,EAAE,MAAM,MAAM,KAAG,YAKvD,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,QAAQ,GACnB,MAAM,YAAY,EAClB,YAAY,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,KAChD,4BAQD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,KAAG,YAInC,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,WAAW,GACtB,QAAQ,YAAY,EACpB,OAAO,YAAY,KAClB,YAQD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,KAAG,YAOxC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,UAAU,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,EAC/B,MAAM,YAAY,EAClB,OAAO,YAAY,KAClB,YAMD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,UAAU,IAAI,GAAG,IAAI,GAAG,IAAI,EAC5B,MAAM,YAAY,EAClB,OAAO,YAAY,EACnB,cAAc,MAAM,KACnB,YAMD,CAAC;AAEH,eAAO,MAAM,WAAW,EAAE,MAAmD,CAAC;AAE9E,eAAO,MAAM,UAAU,GACrB,YAAY,MAAM,EAClB,YAAY,MAAM,EAClB,MAAM,YAAY,EAAE,EACpB,eAAc,MAAoB,KACjC,YAaD,CAAC;AAEH,eAAO,MAAM,WAAW,GACtB,UAAU,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,EACjC,MAAM,YAAY,EAClB,OAAO,YAAY,KAClB,YAMD,CAAC;AAEH,eAAO,MAAM,KAAK,GAAI,YAAY,WAAW,EAAE,KAAG,gBAGhD,CAAC;AAEH,eAAO,MAAM,SAAS,GAAI,MAAM,MAAM,EAAE,MAAM,MAAM,KAAG,WAOrD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,UAAU,YAAY,EAAE,KAAG,YAOnD,CAAC;AAEH,eAAO,MAAM,eAAe,GAC1B,WAAW,YAAY,EACvB,UAAU,YAAY,EACtB,WAAW,YAAY,EACvB,cAAc,MAAM,KACnB,YAMD,CAAC"}