@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/validation/numeric-proof-statement-walk.js

@@ -0,0 +1,295 @@
+/**
+ * Numeric Proof Walk — Statement processing, module processing, and proof pass entry
+ *
+ * This module handles:
+ * - Processing all statements, tracking proven variables
+ * - Running the proof pass on modules and aggregating diagnostics
+ *
+ * CRITICAL: If this pass emits ANY errors, the emitter MUST NOT run.
+ */
+import { cloneProofContext, withInt32ProofsFromTruthyCondition, getNumericKindFromType, inferNumericKind, } from "./numeric-proof-analysis.js";
+import { processExpression } from "./numeric-proof-expression-walk.js";
+/**
+ * Process a statement, proving numeric narrowings in expressions.
+ */
+const processStatement = (stmt, ctx) => {
+    const processExpr = (expr, c) => processExpression(expr, c, processStatement);
+    const processParameters = (parameters) => {
+        const paramCtx = {
+            ...ctx,
+            provenParameters: new Map(ctx.provenParameters),
+            provenVariables: new Map(ctx.provenVariables),
+        };
+        const processedParameters = parameters.map((param) => {
+            const processedParam = {
+                ...param,
+                initializer: param.initializer
+                    ? processExpr(param.initializer, paramCtx)
+                    : undefined,
+            };
+            if (param.pattern.kind === "identifierPattern") {
+                const numericKind = getNumericKindFromType(param.type);
+                if (numericKind !== undefined) {
+                    paramCtx.provenParameters.set(param.pattern.name, numericKind);
+                }
+            }
+            return processedParam;
+        });
+        return [processedParameters, paramCtx];
+    };
+    switch (stmt.kind) {
+        case "variableDeclaration": {
+            const processedDeclarations = stmt.declarations.map((d) => {
+                const processedInit = d.initializer
+                    ? processExpr(d.initializer, ctx)
+                    : undefined;
+                // Track proven variables from declarations with known numeric kind
+                // This includes:
+                // 0. Explicit type annotations (authoritative)
+                // 1. numericNarrowing with proof (explicit `as int`)
+                // 2. Binary/unary expressions that produce known numeric kinds
+                // 3. Identifiers with known numeric types
+                // We track both const and let (let can be reassigned, but at init we know the type)
+                if (d.name.kind === "identifierPattern") {
+                    // If a variable has an explicit numeric type annotation, that type is authoritative.
+                    // We must not "re-prove" it from the initializer, or we'll incorrectly treat
+                    // `let x: long = 1;` as Int32 (because `1` is an Int32 literal by lexeme).
+                    const declaredKind = getNumericKindFromType(d.type);
+                    if (declaredKind !== undefined) {
+                        ctx.provenVariables.set(d.name.name, declaredKind);
+                    }
+                    else if (d.type === undefined && processedInit !== undefined) {
+                        // First check for explicit numericNarrowing
+                        if (processedInit.kind === "numericNarrowing" &&
+                            processedInit.proof !== undefined) {
+                            ctx.provenVariables.set(d.name.name, processedInit.proof.kind);
+                        }
+                        else {
+                            // Otherwise, try to infer the numeric kind from the expression
+                            const inferredKind = inferNumericKind(processedInit, ctx);
+                            if (inferredKind !== undefined) {
+                                ctx.provenVariables.set(d.name.name, inferredKind);
+                            }
+                        }
+                    }
+                }
+                return {
+                    ...d,
+                    initializer: processedInit,
+                };
+            });
+            return { ...stmt, declarations: processedDeclarations };
+        }
+        case "functionDeclaration": {
+            const [parameters, paramCtx] = processParameters(stmt.parameters);
+            return {
+                ...stmt,
+                parameters,
+                body: processStatement(stmt.body, paramCtx),
+            };
+        }
+        case "classDeclaration": {
+            const processedMembers = stmt.members.map((m) => {
+                if (m.kind === "methodDeclaration" && m.body) {
+                    const [parameters, methodCtx] = processParameters(m.parameters);
+                    return {
+                        ...m,
+                        parameters,
+                        body: processStatement(m.body, methodCtx),
+                    };
+                }
+                if (m.kind === "propertyDeclaration") {
+                    const setterCtx = {
+                        ...ctx,
+                        provenParameters: new Map(ctx.provenParameters),
+                        provenVariables: new Map(ctx.provenVariables),
+                    };
+                    if (m.setterParamName) {
+                        const setterKind = getNumericKindFromType(m.type);
+                        if (setterKind !== undefined) {
+                            setterCtx.provenParameters.set(m.setterParamName, setterKind);
+                        }
+                    }
+                    return {
+                        ...m,
+                        initializer: m.initializer
+                            ? processExpr(m.initializer, ctx)
+                            : undefined,
+                        getterBody: m.getterBody
+                            ? processStatement(m.getterBody, ctx)
+                            : undefined,
+                        setterBody: m.setterBody
+                            ? processStatement(m.setterBody, setterCtx)
+                            : undefined,
+                    };
+                }
+                if (m.kind === "constructorDeclaration" && m.body) {
+                    const [parameters, ctorCtx] = processParameters(m.parameters);
+                    return {
+                        ...m,
+                        parameters,
+                        body: processStatement(m.body, ctorCtx),
+                    };
+                }
+                return m;
+            });
+            return { ...stmt, members: processedMembers };
+        }
+        case "expressionStatement":
+            return {
+                ...stmt,
+                expression: processExpr(stmt.expression, ctx),
+            };
+        case "returnStatement":
+            return {
+                ...stmt,
+                expression: stmt.expression
+                    ? processExpr(stmt.expression, ctx)
+                    : undefined,
+            };
+        case "ifStatement": {
+            const processedCondition = processExpr(stmt.condition, ctx);
+            const thenCtx = withInt32ProofsFromTruthyCondition(cloneProofContext(ctx), processedCondition);
+            return {
+                ...stmt,
+                condition: processedCondition,
+                thenStatement: processStatement(stmt.thenStatement, thenCtx),
+                elseStatement: stmt.elseStatement
+                    ? processStatement(stmt.elseStatement, ctx)
+                    : undefined,
+            };
+        }
+        case "whileStatement":
+            return {
+                ...stmt,
+                condition: processExpr(stmt.condition, ctx),
+                body: processStatement(stmt.body, ctx),
+            };
+        case "forStatement":
+            return {
+                ...stmt,
+                initializer: stmt.initializer
+                    ? stmt.initializer.kind === "variableDeclaration"
+                        ? processStatement(stmt.initializer, ctx)
+                        : processExpr(stmt.initializer, ctx)
+                    : undefined,
+                condition: stmt.condition
+                    ? processExpr(stmt.condition, ctx)
+                    : undefined,
+                update: stmt.update ? processExpr(stmt.update, ctx) : undefined,
+                body: processStatement(stmt.body, ctx),
+            };
+        case "forOfStatement":
+            return {
+                ...stmt,
+                expression: processExpr(stmt.expression, ctx),
+                body: processStatement(stmt.body, ctx),
+            };
+        case "forInStatement":
+            return {
+                ...stmt,
+                expression: processExpr(stmt.expression, ctx),
+                body: processStatement(stmt.body, ctx),
+            };
+        case "switchStatement":
+            return {
+                ...stmt,
+                expression: processExpr(stmt.expression, ctx),
+                cases: stmt.cases.map((c) => ({
+                    ...c,
+                    test: c.test ? processExpr(c.test, ctx) : undefined,
+                    statements: c.statements.map((s) => processStatement(s, ctx)),
+                })),
+            };
+        case "throwStatement":
+            return {
+                ...stmt,
+                expression: processExpr(stmt.expression, ctx),
+            };
+        case "tryStatement":
+            return {
+                ...stmt,
+                tryBlock: processStatement(stmt.tryBlock, ctx),
+                catchClause: stmt.catchClause
+                    ? {
+                        ...stmt.catchClause,
+                        body: processStatement(stmt.catchClause.body, ctx),
+                    }
+                    : undefined,
+                finallyBlock: stmt.finallyBlock
+                    ? processStatement(stmt.finallyBlock, ctx)
+                    : undefined,
+            };
+        case "blockStatement":
+            return {
+                ...stmt,
+                statements: stmt.statements.map((s) => processStatement(s, ctx)),
+            };
+        case "yieldStatement":
+            return {
+                ...stmt,
+                output: stmt.output ? processExpr(stmt.output, ctx) : undefined,
+            };
+        case "generatorReturnStatement":
+            return {
+                ...stmt,
+                expression: stmt.expression
+                    ? processExpr(stmt.expression, ctx)
+                    : undefined,
+            };
+        default:
+            return stmt;
+    }
+};
+/**
+ * Run numeric proof pass on a module.
+ */
+const processModule = (module) => {
+    const ctx = {
+        filePath: module.filePath,
+        diagnostics: [],
+        provenVariables: new Map(),
+        provenParameters: new Map(),
+    };
+    const processExpr = (expr, c) => processExpression(expr, c, processStatement);
+    const processedBody = module.body.map((stmt) => processStatement(stmt, ctx));
+    const processedExports = module.exports.map((exp) => {
+        if (exp.kind === "default") {
+            return { ...exp, expression: processExpr(exp.expression, ctx) };
+        }
+        if (exp.kind === "declaration") {
+            return { ...exp, declaration: processStatement(exp.declaration, ctx) };
+        }
+        return exp;
+    });
+    return {
+        ok: ctx.diagnostics.length === 0,
+        module: {
+            ...module,
+            body: processedBody,
+            exports: processedExports,
+        },
+        diagnostics: ctx.diagnostics,
+    };
+};
+/**
+ * Run numeric proof validation on all modules.
+ *
+ * HARD GATE: If any diagnostics are returned, the emitter MUST NOT run.
+ * This is not a warning system - unprovable narrowings are compilation errors.
+ */
+export const runNumericProofPass = (modules) => {
+    const processedModules = [];
+    const allDiagnostics = [];
+    for (const module of modules) {
+        const result = processModule(module);
+        processedModules.push(result.module);
+        allDiagnostics.push(...result.diagnostics);
+    }
+    return {
+        ok: allDiagnostics.length === 0,
+        modules: processedModules,
+        diagnostics: allDiagnostics,
+    };
+};
+//# sourceMappingURL=numeric-proof-statement-walk.js.map

package/dist/ir/validation/numeric-proof-statement-walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-proof-statement-walk.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-statement-walk.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAEL,iBAAiB,EACjB,kCAAkC,EAClC,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAqBvE;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAO,EACP,GAAiB,EACd,EAAE;IACL,MAAM,WAAW,GAAG,CAClB,IAA6C,EAC7C,CAAe,EACf,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAElD,MAAM,iBAAiB,GAAG,CACxB,UAAkC,EACM,EAAE;QAC1C,MAAM,QAAQ,GAAiB;YAC7B,GAAG,GAAG;YACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;YAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;SAC9C,CAAC;QAEF,MAAM,mBAAmB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACnD,MAAM,cAAc,GAAgB;gBAClC,GAAG,KAAK;gBACR,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC5B,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACd,CAAC;YAEF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;YAED,OAAO,cAAc,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,mBAAmB,EAAE,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC;IAEF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,qBAAqB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACxD,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW;oBACjC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;oBACjC,CAAC,CAAC,SAAS,CAAC;gBAEd,mEAAmE;gBACnE,iBAAiB;gBACjB,+CAA+C;gBAC/C,qDAAqD;gBACrD,+DAA+D;gBAC/D,0CAA0C;gBAC1C,oFAAoF;gBACpF,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,qFAAqF;oBACrF,6EAA6E;oBAC7E,2EAA2E;oBAC3E,MAAM,YAAY,GAAG,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACpD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;wBAC/B,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACrD,CAAC;yBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;wBAC/D,4CAA4C;wBAC5C,IACE,aAAa,CAAC,IAAI,KAAK,kBAAkB;4BACzC,aAAa,CAAC,KAAK,KAAK,SAAS,EACjC,CAAC;4BACD,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBACjE,CAAC;6BAAM,CAAC;4BACN,+DAA+D;4BAC/D,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;4BAC1D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gCAC/B,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;4BACrD,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO;oBACL,GAAG,CAAC;oBACJ,WAAW,EAAE,aAAa;iBAC3B,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,qBAAqB,EAAO,CAAC;QAC/D,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAClE,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU;gBACV,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;aACvC,CAAC;QACT,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC7C,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBAChE,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU;wBACV,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC;qBAC1C,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACrC,MAAM,SAAS,GAAiB;wBAC9B,GAAG,GAAG;wBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;wBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;qBAC9C,CAAC;oBAEF,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;wBACtB,MAAM,UAAU,GAAG,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBAClD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;4BAC7B,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;wBAChE,CAAC;oBACH,CAAC;oBAED,OAAO;wBACL,GAAG,CAAC;wBACJ,WAAW,EAAE,CAAC,CAAC,WAAW;4BACxB,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;4BACjC,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC;4BACrC,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC;4BAC3C,CAAC,CAAC,SAAS;qBACd,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAClD,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBAC9D,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU;wBACV,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC;qBACxC,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAO,CAAC;QACrD,CAAC;QAED,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aACzC,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACnC,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,kBAAkB,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC5D,MAAM,OAAO,GAAG,kCAAkC,CAChD,iBAAiB,CAAC,GAAG,CAAC,EACtB,kBAAkB,CACnB,CAAC;YACF,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,kBAAkB;gBAC7B,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC;gBAC5D,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBAC3C,CAAC,CAAC,SAAS;aACT,CAAC;QACT,CAAC;QAED,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBAC3C,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC/C,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;wBACzC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;oBACtC,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;oBAClC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC/D,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBAC7C,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBAC7C,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBAC7C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;oBACnD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;iBAC9D,CAAC,CAAC;aACC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aACzC,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC9C,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;qBACnD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAC5D,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;aAC3D,CAAC;QAET,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACnC,CAAC,CAAC,SAAS;aACT,CAAC;QAET;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAsB,EAAE;IAC7D,MAAM,GAAG,GAAiB;QACxB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,gBAAgB,EAAE,IAAI,GAAG,EAAE;KAC5B,CAAC;IAEF,MAAM,WAAW,GAAG,CAClB,IAA6C,EAC7C,CAAe,EACf,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAElD,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAE7E,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;QAClE,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,OAAO,EAAE,GAAG,GAAG,EAAE,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChC,MAAM,EAAE;YACN,GAAG,MAAM;YACT,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,gBAAgB;SAC1B;QACD,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAA4B,EAK5B,EAAE;IACF,MAAM,gBAAgB,GAAe,EAAE,CAAC;IACxC,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC;QAC/B,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,cAAc;KAC5B,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/numeric-proof-walk.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Numeric Proof Walk — Facade
+ *
+ * Re-exports IR tree traversal and proof attachment from sub-modules:
+ * - numeric-proof-statement-walk: NumericProofResult, StatementProcessor, runNumericProofPass
+ * - numeric-proof-expression-walk: processExpression
+ */
+export type { NumericProofResult } from "./numeric-proof-statement-walk.js";
+export { runNumericProofPass } from "./numeric-proof-statement-walk.js";
+//# sourceMappingURL=numeric-proof-walk.d.ts.map

package/dist/ir/validation/numeric-proof-walk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-proof-walk.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/ir/validation/numeric-proof-walk.js

@@ -0,0 +1,9 @@
+/**
+ * Numeric Proof Walk — Facade
+ *
+ * Re-exports IR tree traversal and proof attachment from sub-modules:
+ * - numeric-proof-statement-walk: NumericProofResult, StatementProcessor, runNumericProofPass
+ * - numeric-proof-expression-walk: processExpression
+ */
+export { runNumericProofPass } from "./numeric-proof-statement-walk.js";
+//# sourceMappingURL=numeric-proof-walk.js.map

package/dist/ir/validation/numeric-proof-walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-proof-walk.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/ir/validation/numeric-statement-processing.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Numeric Statement Processing
+ *
+ * Statement-level coercion processing and module-level pass orchestration:
+ * - processStatement: Process statement for coercion checks
+ * - processStatementWithReturnType: Process statement with return type context
+ * - processModule: Run numeric coercion pass on a single module
+ * - runNumericCoercionPass: Run numeric coercion validation on all modules
+ */
+import { Diagnostic } from "../../types/diagnostic.js";
+import { IrModule, IrStatement, IrType } from "../types.js";
+import { type CoercionContext } from "./numeric-classification.js";
+/**
+ * Result of numeric coercion validation
+ */
+export type NumericCoercionResult = {
+    readonly ok: boolean;
+    readonly module: IrModule;
+    readonly diagnostics: readonly Diagnostic[];
+};
+/**
+ * Process a statement, checking for int→double coercion at intent sites.
+ */
+export declare const processStatement: (stmt: IrStatement, ctx: CoercionContext) => void;
+/**
+ * Process a statement with return type context for checking return statements
+ */
+export declare const processStatementWithReturnType: (stmt: IrStatement, returnType: IrType | undefined, ctx: CoercionContext) => void;
+/**
+ * Run numeric coercion validation on all modules.
+ *
+ * HARD GATE: If any diagnostics are returned, the emitter MUST NOT run.
+ */
+export declare const runNumericCoercionPass: (modules: readonly IrModule[]) => {
+    readonly ok: boolean;
+    readonly modules: readonly IrModule[];
+    readonly diagnostics: readonly Diagnostic[];
+};
+//# sourceMappingURL=numeric-statement-processing.d.ts.map

package/dist/ir/validation/numeric-statement-processing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-statement-processing.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-statement-processing.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAMnE;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,WAAW,EACjB,KAAK,eAAe,KACnB,IA4JF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,WAAW,EACjB,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,eAAe,KACnB,IA2DF,CAAC;AA8BF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,SAAS,SAAS,QAAQ,EAAE,KAC3B;IACD,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAc7C,CAAC"}

package/dist/ir/validation/numeric-statement-processing.js

@@ -0,0 +1,229 @@
+/**
+ * Numeric Statement Processing
+ *
+ * Statement-level coercion processing and module-level pass orchestration:
+ * - processStatement: Process statement for coercion checks
+ * - processStatementWithReturnType: Process statement with return type context
+ * - processModule: Run numeric coercion pass on a single module
+ * - runNumericCoercionPass: Run numeric coercion validation on all modules
+ */
+import { validateExpression, scanExpressionForCalls, } from "./numeric-expression-validation.js";
+/**
+ * Process a statement, checking for int→double coercion at intent sites.
+ */
+export const processStatement = (stmt, ctx) => {
+    switch (stmt.kind) {
+        case "variableDeclaration": {
+            for (const decl of stmt.declarations) {
+                if (decl.initializer) {
+                    // Check if there's an explicit type annotation
+                    if (decl.type) {
+                        validateExpression(decl.initializer, decl.type, ctx, "in variable initialization");
+                    }
+                    else {
+                        // Even without explicit type, scan for call expressions
+                        // to check their arguments
+                        scanExpressionForCalls(decl.initializer, ctx);
+                    }
+                }
+            }
+            break;
+        }
+        case "returnStatement": {
+            // Even without return type context, still scan return expressions for
+            // call-site coercion checks (argument validation).
+            if (stmt.expression) {
+                scanExpressionForCalls(stmt.expression, ctx);
+            }
+            break;
+        }
+        case "expressionStatement": {
+            // Check call expressions for parameter coercion
+            if (stmt.expression.kind === "call") {
+                const call = stmt.expression;
+                // Check each argument against expected parameter type
+                if (call.parameterTypes) {
+                    call.arguments.forEach((arg, i) => {
+                        if (arg.kind !== "spread" && call.parameterTypes?.[i]) {
+                            validateExpression(arg, call.parameterTypes[i], ctx, `in argument ${i + 1}`);
+                        }
+                    });
+                }
+            }
+            break;
+        }
+        case "functionDeclaration": {
+            // Check default parameters for int→double coercion
+            for (const param of stmt.parameters) {
+                if (param.initializer && param.type) {
+                    validateExpression(param.initializer, param.type, ctx, "in default parameter");
+                }
+            }
+            // Process function body with return type context
+            processStatementWithReturnType(stmt.body, stmt.returnType, ctx);
+            break;
+        }
+        case "classDeclaration": {
+            for (const member of stmt.members) {
+                if (member.kind === "methodDeclaration") {
+                    // Check default parameters for int→double coercion
+                    for (const param of member.parameters) {
+                        if (param.initializer && param.type) {
+                            validateExpression(param.initializer, param.type, ctx, "in default parameter");
+                        }
+                    }
+                    if (member.body) {
+                        processStatementWithReturnType(member.body, member.returnType, ctx);
+                    }
+                }
+                if (member.kind === "constructorDeclaration") {
+                    for (const param of member.parameters) {
+                        if (param.initializer && param.type) {
+                            validateExpression(param.initializer, param.type, ctx, "in default parameter");
+                        }
+                        else if (param.initializer) {
+                            scanExpressionForCalls(param.initializer, ctx);
+                        }
+                    }
+                }
+                if (member.kind === "propertyDeclaration" && member.initializer) {
+                    validateExpression(member.initializer, member.type, ctx, "in property initialization");
+                }
+            }
+            break;
+        }
+        case "blockStatement": {
+            for (const s of stmt.statements) {
+                processStatement(s, ctx);
+            }
+            break;
+        }
+        case "ifStatement": {
+            processStatement(stmt.thenStatement, ctx);
+            if (stmt.elseStatement) {
+                processStatement(stmt.elseStatement, ctx);
+            }
+            break;
+        }
+        case "whileStatement":
+        case "forStatement":
+        case "forOfStatement": {
+            processStatement(stmt.body, ctx);
+            break;
+        }
+        case "tryStatement": {
+            processStatement(stmt.tryBlock, ctx);
+            if (stmt.catchClause) {
+                processStatement(stmt.catchClause.body, ctx);
+            }
+            if (stmt.finallyBlock) {
+                processStatement(stmt.finallyBlock, ctx);
+            }
+            break;
+        }
+        case "switchStatement": {
+            for (const caseClause of stmt.cases) {
+                for (const s of caseClause.statements) {
+                    processStatement(s, ctx);
+                }
+            }
+            break;
+        }
+    }
+};
+/**
+ * Process a statement with return type context for checking return statements
+ */
+export const processStatementWithReturnType = (stmt, returnType, ctx) => {
+    switch (stmt.kind) {
+        case "returnStatement": {
+            if (!stmt.expression)
+                break;
+            if (returnType) {
+                validateExpression(stmt.expression, returnType, ctx, "in return statement");
+            }
+            else {
+                // Even when the return type is unknown, we still need to validate any
+                // call-site coercions inside the returned expression (argument validation).
+                scanExpressionForCalls(stmt.expression, ctx);
+            }
+            break;
+        }
+        case "blockStatement": {
+            for (const s of stmt.statements) {
+                processStatementWithReturnType(s, returnType, ctx);
+            }
+            break;
+        }
+        case "ifStatement": {
+            processStatementWithReturnType(stmt.thenStatement, returnType, ctx);
+            if (stmt.elseStatement) {
+                processStatementWithReturnType(stmt.elseStatement, returnType, ctx);
+            }
+            break;
+        }
+        case "tryStatement": {
+            processStatementWithReturnType(stmt.tryBlock, returnType, ctx);
+            if (stmt.catchClause) {
+                processStatementWithReturnType(stmt.catchClause.body, returnType, ctx);
+            }
+            if (stmt.finallyBlock) {
+                processStatementWithReturnType(stmt.finallyBlock, returnType, ctx);
+            }
+            break;
+        }
+        case "switchStatement": {
+            for (const caseClause of stmt.cases) {
+                for (const s of caseClause.statements) {
+                    processStatementWithReturnType(s, returnType, ctx);
+                }
+            }
+            break;
+        }
+        default:
+            // For other statements, use regular processing
+            processStatement(stmt, ctx);
+    }
+};
+/**
+ * Run numeric coercion pass on a module.
+ */
+const processModule = (module) => {
+    const ctx = {
+        filePath: module.filePath,
+        diagnostics: [],
+    };
+    // Process module body
+    for (const stmt of module.body) {
+        processStatement(stmt, ctx);
+    }
+    // Process exports
+    for (const exp of module.exports) {
+        if (exp.kind === "declaration") {
+            processStatement(exp.declaration, ctx);
+        }
+    }
+    return {
+        ok: ctx.diagnostics.length === 0,
+        module,
+        diagnostics: ctx.diagnostics,
+    };
+};
+/**
+ * Run numeric coercion validation on all modules.
+ *
+ * HARD GATE: If any diagnostics are returned, the emitter MUST NOT run.
+ */
+export const runNumericCoercionPass = (modules) => {
+    const allDiagnostics = [];
+    for (const module of modules) {
+        const result = processModule(module);
+        allDiagnostics.push(...result.diagnostics);
+    }
+    return {
+        ok: allDiagnostics.length === 0,
+        modules, // Pass through unchanged - this pass only validates, doesn't transform
+        diagnostics: allDiagnostics,
+    };
+};
+//# sourceMappingURL=numeric-statement-processing.js.map

package/dist/ir/validation/numeric-statement-processing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-statement-processing.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-statement-processing.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,OAAO,EACL,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC;AAW5C;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAiB,EACjB,GAAoB,EACd,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,+CAA+C;oBAC/C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACd,kBAAkB,CAChB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,IAAI,EACT,GAAG,EACH,4BAA4B,CAC7B,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,wDAAwD;wBACxD,2BAA2B;wBAC3B,sBAAsB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;oBAChD,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,sEAAsE;YACtE,mDAAmD;YACnD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,gDAAgD;YAChD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;gBAC7B,sDAAsD;gBACtD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;oBACxB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;wBAChC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BACtD,kBAAkB,CAChB,GAAG,EACH,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EACtB,GAAG,EACH,eAAe,CAAC,GAAG,CAAC,EAAE,CACvB,CAAC;wBACJ,CAAC;oBACH,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,mDAAmD;YACnD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;oBACpC,kBAAkB,CAChB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,IAAI,EACV,GAAG,EACH,sBAAsB,CACvB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,iDAAiD;YACjD,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChE,MAAM;QACR,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,mDAAmD;oBACnD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBACtC,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;4BACpC,kBAAkB,CAChB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,IAAI,EACV,GAAG,EACH,sBAAsB,CACvB,CAAC;wBACJ,CAAC;oBACH,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;wBAChB,8BAA8B,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBACtE,CAAC;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;oBAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBACtC,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;4BACpC,kBAAkB,CAChB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,IAAI,EACV,GAAG,EACH,sBAAsB,CACvB,CAAC;wBACJ,CAAC;6BAAM,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;4BAC7B,sBAAsB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;wBACjD,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBAChE,kBAAkB,CAChB,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,IAAI,EACX,GAAG,EACH,4BAA4B,CAC7B,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC1C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACjC,MAAM;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;oBACtC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAiB,EACjB,UAA8B,EAC9B,GAAoB,EACd,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,MAAM;YAE5B,IAAI,UAAU,EAAE,CAAC;gBACf,kBAAkB,CAChB,IAAI,CAAC,UAAU,EACf,UAAU,EACV,GAAG,EACH,qBAAqB,CACtB,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,sEAAsE;gBACtE,4EAA4E;gBAC5E,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,8BAA8B,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACrD,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,8BAA8B,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACpE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,8BAA8B,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACtE,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,8BAA8B,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/D,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,8BAA8B,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACzE,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,8BAA8B,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACrE,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;oBACtC,8BAA8B,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED;YACE,+CAA+C;YAC/C,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAyB,EAAE;IAChE,MAAM,GAAG,GAAoB;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;KAChB,CAAC;IAEF,sBAAsB;IACtB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,kBAAkB;IAClB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChC,MAAM;QACN,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAA4B,EAK5B,EAAE;IACF,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC;QAC/B,OAAO,EAAE,uEAAuE;QAChF,WAAW,EAAE,cAAc;KAC5B,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/numeric-validation.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Numeric Validation — Facade
+ *
+ * Re-exports from sub-modules:
+ * - numeric-expression-validation: emitCoercionError, validateExpression,
+ *     scanExpressionForCalls (internal helpers)
+ * - numeric-statement-processing: NumericCoercionResult, processStatement,
+ *     processStatementWithReturnType, runNumericCoercionPass
+ */
+export type { NumericCoercionResult } from "./numeric-statement-processing.js";
+export { runNumericCoercionPass } from "./numeric-statement-processing.js";
+export { emitCoercionError, validateExpression, scanExpressionForCalls, } from "./numeric-expression-validation.js";
+//# sourceMappingURL=numeric-validation.d.ts.map

package/dist/ir/validation/numeric-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-validation.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,YAAY,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAE3E,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC"}

package/dist/ir/validation/numeric-validation.js

@@ -0,0 +1,12 @@
+/**
+ * Numeric Validation — Facade
+ *
+ * Re-exports from sub-modules:
+ * - numeric-expression-validation: emitCoercionError, validateExpression,
+ *     scanExpressionForCalls (internal helpers)
+ * - numeric-statement-processing: NumericCoercionResult, processStatement,
+ *     processStatementWithReturnType, runNumericCoercionPass
+ */
+export { runNumericCoercionPass } from "./numeric-statement-processing.js";
+export { emitCoercionError, validateExpression, scanExpressionForCalls, } from "./numeric-expression-validation.js";
+//# sourceMappingURL=numeric-validation.js.map

package/dist/ir/validation/numeric-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-validation.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAE3E,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC"}