npm - @tsonic/frontend - Versions diffs - 0.0.74 → 0.0.75 - Mend

@tsonic/frontend 0.0.74 → 0.0.75

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1782) hide show

package/dist/ir/validation/rest-type-synthesis-processing.js ADDED Viewed

@@ -0,0 +1,220 @@
+/**
+ * Rest Type Synthesis — Statement & Module Processing
+ *
+ * Statement processing, parameter processing, module processing, and the
+ * main runRestTypeSynthesisPass entry point. Split from
+ * rest-type-synthesis-pass.ts for file-size compliance.
+ */
+import { createContext, extractMembers, synthesizePattern, deriveObjectTypeFromObjectExpression, extractElementType, } from "./rest-type-synthesis-helpers.js";
+/**
+ * Process a variable declarator to synthesize rest types
+ */
+const processDeclarator = (decl, ctx) => {
+    if (decl.name.kind === "identifierPattern") {
+        // Simple variable, no destructuring
+        return decl;
+    }
+    // Get the RHS type - either from annotation or inferred
+    const rhsTypeRaw = decl.type ?? decl.initializer?.inferredType;
+    const rhsType = rhsTypeRaw && extractMembers(rhsTypeRaw)
+        ? rhsTypeRaw
+        : decl.initializer && decl.initializer.kind === "object"
+            ? (deriveObjectTypeFromObjectExpression(decl.initializer) ?? rhsTypeRaw)
+            : rhsTypeRaw;
+    const synthesizedPattern = synthesizePattern(decl.name, rhsType, ctx);
+    if (synthesizedPattern === decl.name) {
+        return decl;
+    }
+    return {
+        ...decl,
+        name: synthesizedPattern,
+    };
+};
+/**
+ * Process a statement to synthesize rest types
+ */
+const processStatement = (stmt, ctx) => {
+    switch (stmt.kind) {
+        case "variableDeclaration": {
+            const updatedDecls = stmt.declarations.map((d) => processDeclarator(d, ctx));
+            const hasChanges = updatedDecls.some((d, i) => d !== stmt.declarations[i]);
+            if (!hasChanges) {
+                return stmt;
+            }
+            return {
+                ...stmt,
+                declarations: updatedDecls,
+            };
+        }
+        case "functionDeclaration": {
+            // Process function body and parameters
+            const bodyStmts = stmt.body.statements.map((s) => processStatement(s, ctx));
+            const hasBodyChanges = bodyStmts.some((s, i) => s !== stmt.body.statements[i]);
+            // Process parameters for destructuring patterns
+            const params = stmt.parameters.map((p) => processParameter(p, ctx));
+            const hasParamChanges = params.some((p, i) => p !== stmt.parameters[i]);
+            if (!hasBodyChanges && !hasParamChanges) {
+                return stmt;
+            }
+            return {
+                ...stmt,
+                parameters: hasParamChanges ? params : stmt.parameters,
+                body: hasBodyChanges
+                    ? { ...stmt.body, statements: bodyStmts }
+                    : stmt.body,
+            };
+        }
+        case "classDeclaration": {
+            // Process class methods
+            const members = stmt.members.map((m) => {
+                if (m.kind === "methodDeclaration" && m.body) {
+                    const bodyStmts = m.body.statements.map((s) => processStatement(s, ctx));
+                    const hasChanges = bodyStmts.some((s, i) => s !== m.body?.statements[i]);
+                    if (!hasChanges) {
+                        return m;
+                    }
+                    return {
+                        ...m,
+                        body: { ...m.body, statements: bodyStmts },
+                    };
+                }
+                if (m.kind === "constructorDeclaration" && m.body) {
+                    const bodyStmts = m.body.statements.map((s) => processStatement(s, ctx));
+                    const hasChanges = bodyStmts.some((s, i) => s !== m.body?.statements[i]);
+                    if (!hasChanges) {
+                        return m;
+                    }
+                    return {
+                        ...m,
+                        body: { ...m.body, statements: bodyStmts },
+                    };
+                }
+                return m;
+            });
+            const hasChanges = members.some((m, i) => m !== stmt.members[i]);
+            if (!hasChanges) {
+                return stmt;
+            }
+            return { ...stmt, members };
+        }
+        case "ifStatement": {
+            const thenStatement = processStatement(stmt.thenStatement, ctx);
+            const elseStatement = stmt.elseStatement
+                ? processStatement(stmt.elseStatement, ctx)
+                : undefined;
+            if (thenStatement === stmt.thenStatement &&
+                elseStatement === stmt.elseStatement) {
+                return stmt;
+            }
+            return { ...stmt, thenStatement, elseStatement };
+        }
+        case "whileStatement": {
+            const body = processStatement(stmt.body, ctx);
+            if (body === stmt.body) {
+                return stmt;
+            }
+            return { ...stmt, body };
+        }
+        case "forStatement": {
+            let initializer = stmt.initializer;
+            if (initializer?.kind === "variableDeclaration") {
+                initializer = processStatement(initializer, ctx);
+            }
+            const body = processStatement(stmt.body, ctx);
+            if (initializer === stmt.initializer && body === stmt.body) {
+                return stmt;
+            }
+            return { ...stmt, initializer, body };
+        }
+        case "forOfStatement": {
+            // Process the variable pattern for rest types
+            const variable = synthesizePattern(stmt.variable, stmt.expression.inferredType
+                ? extractElementType(stmt.expression.inferredType)
+                : undefined, ctx);
+            const body = processStatement(stmt.body, ctx);
+            if (variable === stmt.variable && body === stmt.body) {
+                return stmt;
+            }
+            return { ...stmt, variable, body };
+        }
+        case "blockStatement": {
+            const statements = stmt.statements.map((s) => processStatement(s, ctx));
+            const hasChanges = statements.some((s, i) => s !== stmt.statements[i]);
+            if (!hasChanges) {
+                return stmt;
+            }
+            return { ...stmt, statements };
+        }
+        case "tryStatement": {
+            const tryBlock = {
+                ...stmt.tryBlock,
+                statements: stmt.tryBlock.statements.map((s) => processStatement(s, ctx)),
+            };
+            const catchClause = stmt.catchClause
+                ? {
+                    ...stmt.catchClause,
+                    body: {
+                        ...stmt.catchClause.body,
+                        statements: stmt.catchClause.body.statements.map((s) => processStatement(s, ctx)),
+                    },
+                }
+                : undefined;
+            const finallyBlock = stmt.finallyBlock
+                ? {
+                    ...stmt.finallyBlock,
+                    statements: stmt.finallyBlock.statements.map((s) => processStatement(s, ctx)),
+                }
+                : undefined;
+            return { ...stmt, tryBlock, catchClause, finallyBlock };
+        }
+        default:
+            return stmt;
+    }
+};
+/**
+ * Process a parameter for destructuring patterns
+ */
+const processParameter = (param, ctx) => {
+    if (param.pattern.kind === "identifierPattern") {
+        return param;
+    }
+    const synthesizedPattern = synthesizePattern(param.pattern, param.type, ctx);
+    if (synthesizedPattern === param.pattern) {
+        return param;
+    }
+    return {
+        ...param,
+        pattern: synthesizedPattern,
+    };
+};
+/**
+ * Process a module to synthesize rest types
+ */
+const processModule = (module) => {
+    const ctx = createContext(module.filePath);
+    const body = module.body.map((s) => processStatement(s, ctx));
+    const hasChanges = body.some((s, i) => s !== module.body[i]);
+    if (!hasChanges && ctx.generatedDeclarations.length === 0) {
+        return module;
+    }
+    // Prepend generated declarations to the module
+    const allStatements = [
+        ...ctx.generatedDeclarations,
+        ...(hasChanges ? body : module.body),
+    ];
+    return {
+        ...module,
+        body: allStatements,
+    };
+};
+/**
+ * Run the rest type synthesis pass on a set of modules
+ */
+export const runRestTypeSynthesisPass = (modules) => {
+    const processedModules = modules.map(processModule);
+    return {
+        ok: true,
+        modules: processedModules,
+    };
+};
+//# sourceMappingURL=rest-type-synthesis-processing.js.map

package/dist/ir/validation/rest-type-synthesis-processing.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"rest-type-synthesis-processing.js","sourceRoot":"","sources":["../../../src/ir/validation/rest-type-synthesis-processing.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAeH,OAAO,EACL,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,oCAAoC,EACpC,kBAAkB,GACnB,MAAM,kCAAkC,CAAC;AAE1C;;GAEG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,GAAqB,EACC,EAAE;IACxB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC3C,oCAAoC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wDAAwD;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC;IAC/D,MAAM,OAAO,GACX,UAAU,IAAI,cAAc,CAAC,UAAU,CAAC;QACtC,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,QAAQ;YACtD,CAAC,CAAC,CAAC,oCAAoC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,UAAU,CAAC;YACxE,CAAC,CAAC,UAAU,CAAC;IAEnB,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACtE,IAAI,kBAAkB,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,kBAAkB;KACzB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAiB,EACjB,GAAqB,EACR,EAAE;IACf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAC1B,CAAC;YACF,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CACrC,CAAC;YACF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,YAAY;aAC3B,CAAC;QACJ,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,uCAAuC;YACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB,CAAC;YACF,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CACxC,CAAC;YAEF,gDAAgD;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACpE,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAExE,IAAI,CAAC,cAAc,IAAI,CAAC,eAAe,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;gBACtD,IAAI,EAAE,cAAc;oBAClB,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE;oBACzC,CAAC,CAAC,IAAI,CAAC,IAAI;aACd,CAAC;QACJ,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,wBAAwB;YACxB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC7C,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB,CAAC;oBACF,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CACtC,CAAC;oBACF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,OAAO,CAAC,CAAC;oBACX,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAsB;qBAC/D,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAClD,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB,CAAC;oBACF,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CACtC,CAAC;oBACF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,OAAO,CAAC,CAAC;oBACX,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAsB;qBAC/D,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC;QAC9B,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAChE,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa;gBACtC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;gBAC3C,CAAC,CAAC,SAAS,CAAC;YACd,IACE,aAAa,KAAK,IAAI,CAAC,aAAa;gBACpC,aAAa,KAAK,IAAI,CAAC,aAAa,EACpC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;QACnD,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC;QAC3B,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YACnC,IAAI,WAAW,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAChD,WAAW,GAAG,gBAAgB,CAC5B,WAAW,EACX,GAAG,CACqB,CAAC;YAC7B,CAAC;YACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,WAAW,KAAK,IAAI,CAAC,WAAW,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACxC,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,8CAA8C;YAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAChC,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,UAAU,CAAC,YAAY;gBAC1B,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;gBAClD,CAAC,CAAC,SAAS,EACb,GAAG,CACJ,CAAC;YACF,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBACrD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACrC,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACxE,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC;QACjC,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,QAAQ,GAAqB;gBACjC,GAAG,IAAI,CAAC,QAAQ;gBAChB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB;aACF,CAAC;YACF,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW;gBAClC,CAAC,CAAC;oBACE,GAAG,IAAI,CAAC,WAAW;oBACnB,IAAI,EAAE;wBACJ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI;wBACxB,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrD,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB;qBACF;iBACF;gBACH,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY;gBACpC,CAAC,CAAC;oBACE,GAAG,IAAI,CAAC,YAAY;oBACpB,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjD,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CACzB;iBACF;gBACH,CAAC,CAAC,SAAS,CAAC;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;QAC1D,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,KAAkB,EAClB,GAAqB,EACR,EAAE;IACf,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7E,IAAI,kBAAkB,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,kBAAkB;KAC5B,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAY,EAAE;IACnD,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAE3C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7D,IAAI,CAAC,UAAU,IAAI,GAAG,CAAC,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,+CAA+C;IAC/C,MAAM,aAAa,GAAG;QACpB,GAAG,GAAG,CAAC,qBAAqB;QAC5B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;KACrC,CAAC;IAEF,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,aAAa;KACpB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAA4B,EACH,EAAE;IAC3B,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACpD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,gBAAgB;KAC1B,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-cases/any-type-and-primitives.test.d.ts ADDED Viewed

@@ -0,0 +1,12 @@
+/**
+ * Tests for IR Soundness Gate – anyType Detection and Primitive Types
+ *
+ * Validates that the soundness gate correctly:
+ * - Rejects anyType in variable declarations (TSN7414)
+ * - Rejects anyType in nested positions (array element type)
+ * - Rejects anyType in function parameters
+ * - Rejects unknownType in successful IR
+ * - Allows primitive types (string, number, void)
+ */
+export {};
+//# sourceMappingURL=any-type-and-primitives.test.d.ts.map

package/dist/ir/validation/soundness-gate-cases/any-type-and-primitives.test.d.ts.map ADDED Viewed

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

package/dist/ir/validation/soundness-gate-cases/any-type-and-primitives.test.js ADDED Viewed

@@ -0,0 +1,99 @@
+/**
+ * Tests for IR Soundness Gate – anyType Detection and Primitive Types
+ *
+ * Validates that the soundness gate correctly:
+ * - Rejects anyType in variable declarations (TSN7414)
+ * - Rejects anyType in nested positions (array element type)
+ * - Rejects anyType in function parameters
+ * - Rejects unknownType in successful IR
+ * - Allows primitive types (string, number, void)
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { validateIrSoundness } from "../soundness-gate.js";
+import { createModuleWithType } from "./test-helpers.js";
+describe("IR Soundness Gate", () => {
+    describe("anyType Detection (TSN7414)", () => {
+        it("should reject anyType in variable declaration", () => {
+            const module = createModuleWithType({ kind: "anyType" });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics).to.have.length(1);
+            expect(result.diagnostics[0]?.code).to.equal("TSN7414");
+        });
+        it("should reject anyType in array element type", () => {
+            const module = createModuleWithType({
+                kind: "arrayType",
+                elementType: { kind: "anyType" },
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics[0]?.code).to.equal("TSN7414");
+        });
+        it("should reject anyType in function parameter", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "functionDeclaration",
+                        name: "test",
+                        parameters: [
+                            {
+                                kind: "parameter",
+                                pattern: { kind: "identifierPattern", name: "x" },
+                                type: { kind: "anyType" },
+                                isOptional: false,
+                                isRest: false,
+                                passing: "value",
+                            },
+                        ],
+                        returnType: { kind: "voidType" },
+                        body: { kind: "blockStatement", statements: [] },
+                        isExported: false,
+                        isAsync: false,
+                        isGenerator: false,
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics[0]?.code).to.equal("TSN7414");
+        });
+        it("should reject unknownType in successful IR", () => {
+            const module = createModuleWithType({ kind: "unknownType" });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics[0]?.code).to.equal("TSN7414");
+        });
+    });
+    describe("Primitive Types", () => {
+        it("should allow primitiveType string", () => {
+            const module = createModuleWithType({
+                kind: "primitiveType",
+                name: "string",
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow primitiveType number", () => {
+            const module = createModuleWithType({
+                kind: "primitiveType",
+                name: "number",
+            });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should allow voidType", () => {
+            const module = createModuleWithType({ kind: "voidType" });
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.true;
+        });
+    });
+});
+//# sourceMappingURL=any-type-and-primitives.test.js.map

package/dist/ir/validation/soundness-gate-cases/any-type-and-primitives.test.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"any-type-and-primitives.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/any-type-and-primitives.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAEzD,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAEzD,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,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;aACjC,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,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,IAAI,EAAE,MAAM;wBACZ,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gCACzB,UAAU,EAAE,KAAK;gCACjB,MAAM,EAAE,KAAK;gCACb,OAAO,EAAE,OAAO;6BACjB;yBACF;wBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;wBAChC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;wBAChD,UAAU,EAAE,KAAK;wBACjB,OAAO,EAAE,KAAK;wBACd,WAAW,EAAE,KAAK;qBACnB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;YAE7D,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,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;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;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;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;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;YAE1D,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-cases/computed-member-access.test.d.ts ADDED Viewed

@@ -0,0 +1,10 @@
+/**
+ * Tests for IR Soundness Gate – Computed Member Access Typing
+ *
+ * Validates that the soundness gate correctly handles:
+ * - Dictionary element access rejects surviving unknown value types
+ * - Non-dictionary computed access rejecting unknown type
+ * - Array element access rejects surviving unknown element types
+ */
+export {};
+//# sourceMappingURL=computed-member-access.test.d.ts.map

package/dist/ir/validation/soundness-gate-cases/computed-member-access.test.d.ts.map ADDED Viewed

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

package/dist/ir/validation/soundness-gate-cases/computed-member-access.test.js ADDED Viewed

@@ -0,0 +1,139 @@
+/**
+ * Tests for IR Soundness Gate – Computed Member Access Typing
+ *
+ * Validates that the soundness gate correctly handles:
+ * - Dictionary element access rejects surviving unknown value types
+ * - Non-dictionary computed access rejecting unknown type
+ * - Array element access rejects surviving unknown element types
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { validateIrSoundness } from "../soundness-gate.js";
+describe("IR Soundness Gate", () => {
+    describe("Computed Member Access Typing", () => {
+        it("rejects unknown value type on dictionary element access", () => {
+            const dictType = {
+                kind: "dictionaryType",
+                keyType: { kind: "primitiveType", name: "string" },
+                valueType: { kind: "unknownType" },
+            };
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "variableDeclaration",
+                        declarationKind: "const",
+                        isExported: false,
+                        declarations: [
+                            {
+                                kind: "variableDeclarator",
+                                name: { kind: "identifierPattern", name: "dict" },
+                                type: dictType,
+                                initializer: {
+                                    kind: "object",
+                                    properties: [],
+                                    contextualType: dictType,
+                                    inferredType: dictType,
+                                },
+                            },
+                        ],
+                    },
+                    {
+                        kind: "expressionStatement",
+                        expression: {
+                            kind: "memberAccess",
+                            object: {
+                                kind: "identifier",
+                                name: "dict",
+                                inferredType: dictType,
+                            },
+                            property: { kind: "literal", value: "k", raw: '"k"' },
+                            isComputed: true,
+                            isOptional: false,
+                            accessKind: "dictionary",
+                            inferredType: { kind: "unknownType" },
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN7414")).to.be.true;
+        });
+        it("still rejects unknown type on non-dictionary computed access", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "expressionStatement",
+                        expression: {
+                            kind: "memberAccess",
+                            object: {
+                                kind: "identifier",
+                                name: "obj",
+                                inferredType: { kind: "referenceType", name: "SomeType" },
+                            },
+                            property: { kind: "literal", value: 0, raw: "0" },
+                            isComputed: true,
+                            isOptional: false,
+                            accessKind: "clrIndexer",
+                            inferredType: { kind: "unknownType" },
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN5203")).to.be.true;
+        });
+        it("rejects unknown value type on array element access when element type survives", () => {
+            const arrayType = {
+                kind: "arrayType",
+                elementType: { kind: "unknownType" },
+            };
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "expressionStatement",
+                        expression: {
+                            kind: "memberAccess",
+                            object: {
+                                kind: "identifier",
+                                name: "items",
+                                inferredType: arrayType,
+                            },
+                            property: { kind: "literal", value: 0, raw: "0" },
+                            isComputed: true,
+                            isOptional: false,
+                            accessKind: "clrIndexer",
+                            inferredType: { kind: "unknownType" },
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN7414")).to.be.true;
+        });
+    });
+});
+//# sourceMappingURL=computed-member-access.test.js.map

package/dist/ir/validation/soundness-gate-cases/computed-member-access.test.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"computed-member-access.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/computed-member-access.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAG3D,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,QAAQ,GAAW;gBACvB,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;aACnC,CAAC;YAEF,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,OAAO;wBACxB,UAAU,EAAE,KAAK;wBACjB,YAAY,EAAE;4BACZ;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACjD,IAAI,EAAE,QAAQ;gCACd,WAAW,EAAE;oCACX,IAAI,EAAE,QAAQ;oCACd,UAAU,EAAE,EAAE;oCACd,cAAc,EAAE,QAAQ;oCACxB,YAAY,EAAE,QAAQ;iCACvB;6BACF;yBACF;qBACF;oBACD;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,MAAM;gCACZ,YAAY,EAAE,QAAQ;6BACvB;4BACD,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;4BACrD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,YAAY;4BACxB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,KAAK;gCACX,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE;6BAC1D;4BACD,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;4BACjD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,YAAY;4BACxB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;YACvF,MAAM,SAAS,GAAW;gBACxB,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;aACrC,CAAC;YAEF,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,OAAO;gCACb,YAAY,EAAE,SAAS;6BACxB;4BACD,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;4BACjD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,YAAY;4BACxB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-cases/inference-diagnostics.test.d.ts ADDED Viewed

@@ -0,0 +1,10 @@
+/**
+ * Tests for IR Soundness Gate – Deterministic Inference Diagnostics
+ *
+ * Validates that the soundness gate correctly emits diagnostics when:
+ * - Call return type recovery fails (TSN5201)
+ * - Constructor type argument recovery fails (TSN5202)
+ * - Root inferred unknown call types still use the targeted TSN5201 diagnostic
+ */
+export {};
+//# sourceMappingURL=inference-diagnostics.test.d.ts.map

package/dist/ir/validation/soundness-gate-cases/inference-diagnostics.test.d.ts.map ADDED Viewed

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

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

@@ -0,0 +1,123 @@
+/**
+ * Tests for IR Soundness Gate – Deterministic Inference Diagnostics
+ *
+ * Validates that the soundness gate correctly emits diagnostics when:
+ * - Call return type recovery fails (TSN5201)
+ * - Constructor type argument recovery fails (TSN5202)
+ * - Root inferred unknown call types still use the targeted TSN5201 diagnostic
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { validateIrSoundness } from "../soundness-gate.js";
+describe("IR Soundness Gate", () => {
+    describe("Deterministic inference diagnostics", () => {
+        it("emits TSN5201 when call return type recovery fails", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "expressionStatement",
+                        expression: {
+                            kind: "call",
+                            callee: {
+                                kind: "identifier",
+                                name: "foo",
+                                inferredType: {
+                                    kind: "functionType",
+                                    parameters: [],
+                                    returnType: { kind: "primitiveType", name: "number" },
+                                },
+                            },
+                            arguments: [],
+                            isOptional: false,
+                            inferredType: { kind: "unknownType" },
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN5201")).to.be.true;
+        });
+        it("still emits TSN5201 for root unknown inferred call types", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "expressionStatement",
+                        expression: {
+                            kind: "call",
+                            callee: {
+                                kind: "memberAccess",
+                                object: { kind: "identifier", name: "JSON" },
+                                property: "parse",
+                                isComputed: false,
+                                isOptional: false,
+                            },
+                            arguments: [
+                                {
+                                    kind: "literal",
+                                    value: "{}",
+                                    raw: '"{}"',
+                                    inferredType: { kind: "primitiveType", name: "string" },
+                                },
+                            ],
+                            isOptional: false,
+                            inferredType: { kind: "unknownType" },
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN5201")).to.be.true;
+            expect(result.diagnostics.some((d) => d.code === "TSN7414")).to.be.false;
+        });
+        it("emits TSN5202 when constructor type argument recovery fails", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "expressionStatement",
+                        expression: {
+                            kind: "new",
+                            callee: {
+                                kind: "identifier",
+                                name: "Foo_1",
+                                inferredType: {
+                                    kind: "referenceType",
+                                    name: "Foo_1",
+                                    resolvedClrType: "global::Test.Foo_1",
+                                },
+                            },
+                            arguments: [],
+                            inferredType: { kind: "unknownType" },
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = validateIrSoundness([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN5202")).to.be.true;
+        });
+    });
+});
+//# sourceMappingURL=inference-diagnostics.test.js.map