@tsonic/frontend 0.0.73 → 0.0.75

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-params-and-intrinsics.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;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,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,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,UAAU;wBAChB,cAAc,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;wBACtD,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,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCAC9C,UAAU,EAAE,KAAK;gCACjB,MAAM,EAAE,KAAK;gCACb,OAAO,EAAE,OAAO;6BACjB;yBACF;wBACD,UAAU,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;wBACpD,IAAI,EAAE;4BACJ,IAAI,EAAE,gBAAgB;4BACtB,UAAU,EAAE;gCACV;oCACE,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE;wCACV,IAAI,EAAE,YAAY;wCAClB,IAAI,EAAE,GAAG;qCACV;iCACF;6BACF;yBACF;wBACD,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,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAY,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BAC9C,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;4BAC7B,WAAW,EAAE;gCACX,IAAI,EAAE,MAAM;gCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE;gCACpC,SAAS,EAAE;oCACT;wCACE,IAAI,EAAE,SAAS;wCACf,KAAK,EAAE,IAAI;wCACX,GAAG,EAAE,MAAM;qCACZ;iCACF;gCACD,UAAU,EAAE,KAAK;6BAClB;yBACF;qBACF;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,MAAM,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAC;YACrD,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,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;YACjD,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,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;YACpD,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,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,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,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gCAC/C,WAAW,EAAE;oCACX,IAAI,EAAE,QAAQ;oCACd,IAAI,EAAE,OAAO;oCACb,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACxD;6BACF;4BACD;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gCAC5C,WAAW,EAAE;oCACX,IAAI,EAAE,QAAQ;oCACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oCAClD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;iCACrD;6BACF;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YACF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,SAAS,GAAa;gBAC1B,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,qBAAqB;gBAC/B,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,aAAa;gBACxB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,aAAa;wBACnB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,IAAI;wBAChB,QAAQ,EAAE,KAAK;wBACf,UAAU,EAAE,EAAE;wBACd,UAAU,EAAE,SAAS;qBACtB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,UAAU,GAAa;gBAC3B,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,oCAAoC;gBAC9C,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,0BAA0B;gBACrC,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,aAAa;wBACnB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE;gCACpD,WAAW,EAAE,SAAS;gCACtB,kBAAkB,EAAE,IAAI;gCACxB,QAAQ,EAAE,KAAK;gCACf,UAAU,EAAE,KAAK;gCACjB,aAAa,EAAE,QAAQ;gCACvB,UAAU,EAAE,IAAI;6BACjB;yBACF;wBACD,UAAU,EAAE,IAAI;wBAChB,QAAQ,EAAE,KAAK;wBACf,UAAU,EAAE,EAAE;wBACd,UAAU,EAAE,SAAS;qBACtB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;YAC5D,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,SAAS,GAAa;gBAC1B,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,qBAAqB;gBAC/B,SAAS,EAAE,iBAAiB;gBAC5B,SAAS,EAAE,aAAa;gBACxB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,aAAa;wBACnB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,IAAI;wBAChB,QAAQ,EAAE,KAAK;wBACf,UAAU,EAAE,EAAE;wBACd,UAAU,EAAE,SAAS;qBACtB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,UAAU,GAAG,oBAAoB,CAAC;gBACtC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,aAAa;aACpB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;YAC5D,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClC,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;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-expression-validation.d.ts

@@ -0,0 +1,3 @@
+import { type IrExpression, type ValidationContext } from "./soundness-gate-shared.js";
+export declare const validateExpression: (expr: IrExpression, ctx: ValidationContext) => void;
+//# sourceMappingURL=soundness-gate-expression-validation.d.ts.map

package/dist/ir/validation/soundness-gate-expression-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate-expression-validation.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate-expression-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACvB,MAAM,4BAA4B,CAAC;AA6DpC,eAAO,MAAM,kBAAkB,GAC7B,MAAM,YAAY,EAClB,KAAK,iBAAiB,KACrB,IA4PF,CAAC"}

package/dist/ir/validation/soundness-gate-expression-validation.js

@@ -0,0 +1,205 @@
+import { createDiagnostic, moduleLocation, } from "./soundness-gate-shared.js";
+import { validatePattern, validateType, } from "./soundness-gate-type-validation.js";
+import { validateStatement } from "./soundness-gate-statement-validation.js";
+const typeContainsPoison = (type) => {
+    if (!type)
+        return false;
+    switch (type.kind) {
+        case "anyType":
+        case "unknownType":
+            return true;
+        case "arrayType":
+            return typeContainsPoison(type.elementType);
+        case "tupleType":
+            return type.elementTypes.some((element) => typeContainsPoison(element));
+        case "functionType":
+            return (type.parameters.some((parameter) => typeContainsPoison(parameter.type)) || typeContainsPoison(type.returnType));
+        case "dictionaryType":
+            return (typeContainsPoison(type.keyType) || typeContainsPoison(type.valueType));
+        case "unionType":
+        case "intersectionType":
+            return type.types.some((member) => typeContainsPoison(member));
+        case "referenceType":
+            return (type.typeArguments?.some((arg) => typeContainsPoison(arg)) ?? false);
+        case "objectType":
+            return type.members.some((member) => member.kind === "propertySignature"
+                ? typeContainsPoison(member.type)
+                : member.parameters.some((parameter) => typeContainsPoison(parameter.type)) || typeContainsPoison(member.returnType));
+        case "primitiveType":
+        case "typeParameterType":
+        case "literalType":
+        case "voidType":
+        case "neverType":
+            return false;
+    }
+};
+export const validateExpression = (expr, ctx) => {
+    switch (expr.kind) {
+        case "literal":
+        case "identifier":
+        case "this":
+            break;
+        case "array":
+            expr.elements.forEach((element) => {
+                if (element)
+                    validateExpression(element, ctx);
+            });
+            break;
+        case "object":
+            if (expr.contextualType) {
+                validateType(expr.contextualType, ctx, "object literal contextual type");
+            }
+            expr.properties.forEach((property) => {
+                if (property.kind === "property") {
+                    if (typeof property.key !== "string") {
+                        validateExpression(property.key, ctx);
+                    }
+                    validateExpression(property.value, ctx);
+                }
+                else {
+                    validateExpression(property.expression, ctx);
+                }
+            });
+            break;
+        case "functionExpression":
+            expr.parameters.forEach((parameter) => validatePattern(parameter.pattern, ctx));
+            expr.parameters.forEach((parameter) => validateType(parameter.type, ctx, "function expression parameter"));
+            validateType(expr.returnType, ctx, "function expression return type");
+            validateStatement(expr.body, ctx);
+            break;
+        case "arrowFunction":
+            expr.parameters.forEach((parameter) => validatePattern(parameter.pattern, ctx));
+            expr.parameters.forEach((parameter) => validateType(parameter.type, ctx, "arrow function parameter"));
+            validateType(expr.returnType, ctx, "arrow function return type");
+            if (expr.body.kind === "blockStatement") {
+                validateStatement(expr.body, ctx);
+            }
+            else {
+                validateExpression(expr.body, ctx);
+            }
+            break;
+        case "memberAccess": {
+            validateExpression(expr.object, ctx);
+            if (expr.isComputed && typeContainsPoison(expr.object.inferredType)) {
+                validateType(expr.object.inferredType, ctx, "computed access receiver inferred type");
+            }
+            if (typeof expr.property !== "string") {
+                validateExpression(expr.property, ctx);
+            }
+            const allowComputedDictionaryUnknown = expr.isComputed && expr.accessKind === "dictionary";
+            if (expr.inferredType?.kind === "unknownType" &&
+                expr.inferredType.explicit !== true &&
+                !expr.allowUnknownInferredType &&
+                !allowComputedDictionaryUnknown) {
+                const propName = typeof expr.property === "string" ? expr.property : "<computed>";
+                ctx.diagnostics.push(createDiagnostic("TSN5203", "error", `Member/property type for '${propName}' cannot be recovered deterministically. Add an explicit type annotation at the declaration site.`, expr.sourceSpan ?? moduleLocation(ctx), "Ensure the property has a declared type annotation in its interface/class definition."));
+            }
+            break;
+        }
+        case "call":
+            if (expr.callee.kind === "identifier" && expr.callee.name === "istype") {
+                ctx.diagnostics.push(createDiagnostic("TSN7441", "error", "istype<T>(...) is a compile-time-only marker and must be erased during overload specialization.", expr.sourceSpan ?? moduleLocation(ctx), "Use istype<T>(pN) only inside overload implementations that are being specialized, or remove it."));
+            }
+            if (expr.callee.kind === "identifier") {
+                const name = expr.callee.name;
+                if (name === "asinterface" ||
+                    name === "trycast" ||
+                    name === "stackalloc" ||
+                    name === "defaultof" ||
+                    name === "out" ||
+                    name === "ref" ||
+                    name === "inref") {
+                    ctx.diagnostics.push(createDiagnostic("TSN7442", "error", `'${name}(...)' is a compiler intrinsic and cannot be emitted as a normal call.`, expr.sourceSpan ?? moduleLocation(ctx), `Ensure '${name}' is imported from "@tsonic/core/lang.js" and called with the correct signature.\nIf this call is correct and this error persists, please report it with a minimal repro.`));
+                }
+            }
+            validateExpression(expr.callee, ctx);
+            expr.arguments.forEach((argument) => validateExpression(argument, ctx));
+            if (expr.dynamicImportNamespace) {
+                validateExpression(expr.dynamicImportNamespace, ctx);
+            }
+            expr.typeArguments?.forEach((typeArgument, index) => validateType(typeArgument, ctx, `call type argument ${index}`));
+            if (expr.narrowing) {
+                validateType(expr.narrowing.targetType, ctx, "type predicate target");
+            }
+            if (expr.inferredType?.kind === "unknownType" &&
+                expr.inferredType.explicit !== true &&
+                !expr.allowUnknownInferredType) {
+                ctx.diagnostics.push(createDiagnostic("TSN5201", "error", "Return type of this call cannot be recovered deterministically. Add an explicit return type annotation at the function/method declaration.", expr.sourceSpan ?? moduleLocation(ctx), "Ensure the called function/method has a declared return type annotation."));
+            }
+            break;
+        case "new":
+            validateExpression(expr.callee, ctx);
+            expr.arguments.forEach((argument) => validateExpression(argument, ctx));
+            expr.typeArguments?.forEach((typeArgument, index) => validateType(typeArgument, ctx, `new type argument ${index}`));
+            if (expr.inferredType?.kind === "unknownType" &&
+                expr.inferredType.explicit !== true) {
+                ctx.diagnostics.push(createDiagnostic("TSN5202", "error", "Type arguments for this constructor call cannot be inferred deterministically. Add explicit type arguments: new Foo<T>(...).", expr.sourceSpan ?? moduleLocation(ctx), "Provide explicit type arguments when instantiating generic types."));
+            }
+            break;
+        case "update":
+        case "unary":
+        case "await":
+            validateExpression(expr.expression, ctx);
+            break;
+        case "yield":
+            if (expr.expression) {
+                validateExpression(expr.expression, ctx);
+            }
+            break;
+        case "binary":
+        case "logical":
+            validateExpression(expr.left, ctx);
+            validateExpression(expr.right, ctx);
+            break;
+        case "conditional":
+            validateExpression(expr.condition, ctx);
+            validateExpression(expr.whenTrue, ctx);
+            validateExpression(expr.whenFalse, ctx);
+            break;
+        case "assignment":
+            if (expr.left.kind === "identifierPattern" ||
+                expr.left.kind === "arrayPattern" ||
+                expr.left.kind === "objectPattern") {
+                validatePattern(expr.left, ctx);
+            }
+            else {
+                validateExpression(expr.left, ctx);
+            }
+            validateExpression(expr.right, ctx);
+            break;
+        case "templateLiteral":
+            expr.expressions.forEach((child) => validateExpression(child, ctx));
+            break;
+        case "spread":
+            validateExpression(expr.expression, ctx);
+            break;
+        case "numericNarrowing":
+        case "typeAssertion":
+        case "asinterface":
+        case "trycast":
+        case "stackalloc":
+        case "defaultof":
+        case "sizeof":
+            if ("expression" in expr && expr.expression) {
+                validateExpression(expr.expression, ctx);
+            }
+            if ("targetType" in expr && expr.targetType) {
+                validateType(expr.targetType, ctx, `${expr.kind} target type`);
+            }
+            if ("elementType" in expr && expr.elementType) {
+                validateType(expr.elementType, ctx, `${expr.kind} element type`);
+            }
+            if ("size" in expr && expr.size) {
+                validateExpression(expr.size, ctx);
+            }
+            if (expr.inferredType) {
+                validateType(expr.inferredType, ctx, `${expr.kind} inferred type`, {
+                    allowRootUnknownType: true,
+                });
+            }
+            break;
+        case "nameof":
+            break;
+    }
+};
+//# sourceMappingURL=soundness-gate-expression-validation.js.map

package/dist/ir/validation/soundness-gate-expression-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate-expression-validation.js","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate-expression-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,cAAc,GAGf,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,eAAe,EACf,YAAY,GACb,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAG7E,MAAM,kBAAkB,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC/D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QAEd,KAAK,WAAW;YACd,OAAO,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE9C,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;QAE1E,KAAK,cAAc;YACjB,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACjC,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,CACnC,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CACzC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,CACL,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CACvE,CAAC;QAEJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC;QAEjE,KAAK,eAAe;YAClB,OAAO,CACL,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CACpE,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAClC,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBACjC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC;gBACjC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACnC,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,CACnC,IAAI,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,CAC/C,CAAC;QAEJ,KAAK,eAAe,CAAC;QACrB,KAAK,mBAAmB,CAAC;QACzB,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAkB,EAClB,GAAsB,EAChB,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM;YACT,MAAM;QAER,KAAK,OAAO;YACV,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChC,IAAI,OAAO;oBAAE,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAChD,CAAC,CAAC,CAAC;YACH,MAAM;QAER,KAAK,QAAQ;YACX,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,YAAY,CACV,IAAI,CAAC,cAAc,EACnB,GAAG,EACH,gCAAgC,CACjC,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;gBACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,IAAI,OAAO,QAAQ,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;wBACrC,kBAAkB,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBACxC,CAAC;oBACD,kBAAkB,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QAER,KAAK,oBAAoB;YACvB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACpC,eAAe,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CACxC,CAAC;YACF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACpC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,+BAA+B,CAAC,CACnE,CAAC;YACF,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,iCAAiC,CAAC,CAAC;YACtE,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM;QAER,KAAK,eAAe;YAClB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACpC,eAAe,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CACxC,CAAC;YACF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACpC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,0BAA0B,CAAC,CAC9D,CAAC;YACF,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,4BAA4B,CAAC,CAAC;YACjE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACxC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACrC,CAAC;YACD,MAAM;QAER,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,UAAU,IAAI,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;gBACpE,YAAY,CACV,IAAI,CAAC,MAAM,CAAC,YAAY,EACxB,GAAG,EACH,wCAAwC,CACzC,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACtC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACzC,CAAC;YACD,MAAM,8BAA8B,GAClC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,YAAY,CAAC;YACtD,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,aAAa;gBACzC,IAAI,CAAC,YAAY,CAAC,QAAQ,KAAK,IAAI;gBACnC,CAAC,IAAI,CAAC,wBAAwB;gBAC9B,CAAC,8BAA8B,EAC/B,CAAC;gBACD,MAAM,QAAQ,GACZ,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;gBACnE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,6BAA6B,QAAQ,mGAAmG,EACxI,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACtC,uFAAuF,CACxF,CACF,CAAC;YACJ,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,MAAM;YACT,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACvE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iGAAiG,EACjG,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACtC,kGAAkG,CACnG,CACF,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC9B,IACE,IAAI,KAAK,aAAa;oBACtB,IAAI,KAAK,SAAS;oBAClB,IAAI,KAAK,YAAY;oBACrB,IAAI,KAAK,WAAW;oBACpB,IAAI,KAAK,KAAK;oBACd,IAAI,KAAK,KAAK;oBACd,IAAI,KAAK,OAAO,EAChB,CAAC;oBACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,IAAI,IAAI,wEAAwE,EAChF,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACtC,WAAW,IAAI,2KAA2K,CAC3L,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;YACxE,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAChC,kBAAkB,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;YACvD,CAAC;YACD,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAClD,YAAY,CAAC,YAAY,EAAE,GAAG,EAAE,sBAAsB,KAAK,EAAE,CAAC,CAC/D,CAAC;YACF,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,EAAE,uBAAuB,CAAC,CAAC;YACxE,CAAC;YACD,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,aAAa;gBACzC,IAAI,CAAC,YAAY,CAAC,QAAQ,KAAK,IAAI;gBACnC,CAAC,IAAI,CAAC,wBAAwB,EAC9B,CAAC;gBACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,4IAA4I,EAC5I,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACtC,0EAA0E,CAC3E,CACF,CAAC;YACJ,CAAC;YACD,MAAM;QAER,KAAK,KAAK;YACR,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;YACxE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAClD,YAAY,CAAC,YAAY,EAAE,GAAG,EAAE,qBAAqB,KAAK,EAAE,CAAC,CAC9D,CAAC;YACF,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,aAAa;gBACzC,IAAI,CAAC,YAAY,CAAC,QAAQ,KAAK,IAAI,EACnC,CAAC;gBACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8HAA8H,EAC9H,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACtC,mEAAmE,CACpE,CACF,CAAC;YACJ,CAAC;YACD,MAAM;QAER,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,OAAO;YACV,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,MAAM;QAER,KAAK,OAAO;YACV,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM;QAER,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpC,MAAM;QAER,KAAK,aAAa;YAChB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACvC,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,YAAY;YACf,IACE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;gBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;gBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,EAClC,CAAC;gBACD,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClC,CAAC;iBAAM,CAAC;gBACN,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACrC,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpC,MAAM;QAER,KAAK,iBAAiB;YACpB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;YACpE,MAAM;QAER,KAAK,QAAQ;YACX,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,MAAM;QAER,KAAK,kBAAkB,CAAC;QACxB,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,QAAQ;YACX,IAAI,YAAY,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC5C,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,YAAY,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC5C,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC;YACjE,CAAC;YACD,IAAI,aAAa,IAAI,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC9C,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,eAAe,CAAC,CAAC;YACnE,CAAC;YACD,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAChC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,YAAY,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,gBAAgB,EAAE;oBACjE,oBAAoB,EAAE,IAAI;iBAC3B,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QAER,KAAK,QAAQ;YACX,MAAM;IACV,CAAC;AACH,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-shared.d.ts

@@ -0,0 +1,26 @@
+import { Diagnostic, SourceLocation, createDiagnostic } from "../../types/diagnostic.js";
+import type { IrModule, IrPattern, IrInterfaceMember, IrType, IrExpression, IrParameter, IrStatement, IrTypeParameter } from "../types.js";
+export type SoundnessValidationResult = {
+    readonly ok: boolean;
+    readonly diagnostics: readonly Diagnostic[];
+};
+export type SoundnessGateOptions = {
+    readonly knownReferenceTypes?: ReadonlySet<string>;
+};
+export declare const KNOWN_BUILTINS: Set<string>;
+export type ValidationContext = {
+    readonly filePath: string;
+    readonly namespace: string;
+    readonly diagnostics: Diagnostic[];
+    readonly localTypeNames: ReadonlySet<string>;
+    readonly namespaceLocalTypeNames: ReadonlySet<string>;
+    readonly importedTypeNames: ReadonlySet<string>;
+    readonly knownReferenceTypes: ReadonlySet<string>;
+    readonly typeParameterNames: ReadonlySet<string>;
+    readonly activeTypeValidation: WeakSet<object>;
+};
+export declare const moduleLocation: (ctx: ValidationContext) => SourceLocation;
+export declare const getReferenceResolutionCandidates: (name: string) => readonly string[];
+export type { Diagnostic, IrExpression, IrInterfaceMember, IrModule, IrParameter, IrPattern, IrStatement, IrType, IrTypeParameter, };
+export { createDiagnostic };
+//# sourceMappingURL=soundness-gate-shared.d.ts.map

package/dist/ir/validation/soundness-gate-shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate-shared.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate-shared.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,cAAc,EACd,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EACV,QAAQ,EACR,SAAS,EACT,iBAAiB,EACjB,MAAM,EACN,YAAY,EACZ,WAAW,EACX,WAAW,EACX,eAAe,EAChB,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpD,CAAC;AAEF,eAAO,MAAM,cAAc,aAsBzB,CAAC;AAEH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;CAChD,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,KAAK,iBAAiB,KAAG,cAKtD,CAAC;AAEH,eAAO,MAAM,gCAAgC,GAC3C,MAAM,MAAM,KACX,SAAS,MAAM,EAgBjB,CAAC;AAEF,YAAY,EACV,UAAU,EACV,YAAY,EACZ,iBAAiB,EACjB,QAAQ,EACR,WAAW,EACX,SAAS,EACT,WAAW,EACX,MAAM,EACN,eAAe,GAChB,CAAC;AACF,OAAO,EAAE,gBAAgB,EAAE,CAAC"}

package/dist/ir/validation/soundness-gate-shared.js

@@ -0,0 +1,46 @@
+import { createDiagnostic, } from "../../types/diagnostic.js";
+export const KNOWN_BUILTINS = new Set([
+    "sbyte",
+    "short",
+    "int",
+    "long",
+    "nint",
+    "int128",
+    "byte",
+    "ushort",
+    "uint",
+    "ulong",
+    "nuint",
+    "uint128",
+    "half",
+    "float",
+    "double",
+    "decimal",
+    "bool",
+    "char",
+    "string",
+    "object",
+    "void",
+]);
+export const moduleLocation = (ctx) => ({
+    file: ctx.filePath,
+    line: 1,
+    column: 1,
+    length: 1,
+});
+export const getReferenceResolutionCandidates = (name) => {
+    const candidates = new Set([name]);
+    if (name.endsWith("$instance")) {
+        const base = name.slice(0, -"$instance".length);
+        if (base.length > 0) {
+            candidates.add(base);
+            const unsuffixed = base.replace(/_\d+$/, "");
+            if (unsuffixed.length > 0) {
+                candidates.add(unsuffixed);
+            }
+        }
+    }
+    return Array.from(candidates);
+};
+export { createDiagnostic };
+//# sourceMappingURL=soundness-gate-shared.js.map

package/dist/ir/validation/soundness-gate-shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate-shared.js","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate-shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AAqBnC,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IACpC,OAAO;IACP,OAAO;IACP,KAAK;IACL,MAAM;IACN,MAAM;IACN,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,MAAM;IACN,OAAO;IACP,OAAO;IACP,SAAS;IACT,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS;IACT,MAAM;IACN,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,MAAM;CACP,CAAC,CAAC;AAcH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAAsB,EAAkB,EAAE,CAAC,CAAC;IACzE,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAY,EACO,EAAE;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAE3C,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAErB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC;AAaF,OAAO,EAAE,gBAAgB,EAAE,CAAC"}

package/dist/ir/validation/soundness-gate-statement-validation.d.ts

@@ -0,0 +1,5 @@
+import { type IrModule, type IrStatement, type ValidationContext } from "./soundness-gate-shared.js";
+export declare const validateStatement: (stmt: IrStatement, ctx: ValidationContext) => void;
+export declare const extractLocalTypeNames: (statements: readonly IrStatement[]) => ReadonlySet<string>;
+export declare const extractImportedTypeNames: (module: IrModule) => ReadonlySet<string>;
+//# sourceMappingURL=soundness-gate-statement-validation.d.ts.map

package/dist/ir/validation/soundness-gate-statement-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate-statement-validation.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate-statement-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACvB,MAAM,4BAA4B,CAAC;AAUpC,eAAO,MAAM,iBAAiB,GAC5B,MAAM,WAAW,EACjB,KAAK,iBAAiB,KACrB,IAsMF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,YAAY,SAAS,WAAW,EAAE,KACjC,WAAW,CAAC,MAAM,CAepB,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,CA6BpB,CAAC"}

package/dist/ir/validation/soundness-gate-statement-validation.js

@@ -0,0 +1,199 @@
+import { validateExpression } from "./soundness-gate-expression-validation.js";
+import { validateInterfaceMember, validateParameter, validatePattern, validateType, validateTypeParameter, } from "./soundness-gate-type-validation.js";
+export const validateStatement = (stmt, ctx) => {
+    switch (stmt.kind) {
+        case "variableDeclaration":
+            stmt.declarations.forEach((declaration) => {
+                validatePattern(declaration.name, ctx);
+                validateType(declaration.type, ctx, "variable declaration type");
+                if (declaration.initializer) {
+                    validateExpression(declaration.initializer, ctx);
+                }
+            });
+            break;
+        case "functionDeclaration":
+            stmt.typeParameters?.forEach((typeParameter) => validateTypeParameter(typeParameter, ctx));
+            stmt.parameters.forEach((parameter) => validateParameter(parameter, ctx));
+            validateType(stmt.returnType, ctx, `function '${stmt.name}' return type`);
+            validateStatement(stmt.body, ctx);
+            break;
+        case "classDeclaration":
+            stmt.typeParameters?.forEach((typeParameter) => validateTypeParameter(typeParameter, ctx));
+            if (stmt.superClass) {
+                validateType(stmt.superClass, ctx, `class '${stmt.name}' extends`);
+            }
+            stmt.implements.forEach((heritage, index) => validateType(heritage, ctx, `class '${stmt.name}' implements ${index}`));
+            stmt.members.forEach((member) => {
+                switch (member.kind) {
+                    case "methodDeclaration":
+                        member.typeParameters?.forEach((typeParameter) => validateTypeParameter(typeParameter, ctx));
+                        member.parameters.forEach((parameter) => validateParameter(parameter, ctx));
+                        validateType(member.returnType, ctx, `method '${member.name}' return type`);
+                        if (member.body) {
+                            validateStatement(member.body, ctx);
+                        }
+                        break;
+                    case "propertyDeclaration":
+                        validateType(member.type, ctx, `property '${member.name}'`);
+                        if (member.initializer) {
+                            validateExpression(member.initializer, ctx);
+                        }
+                        break;
+                    case "constructorDeclaration":
+                        member.parameters.forEach((parameter) => validateParameter(parameter, ctx));
+                        if (member.body) {
+                            validateStatement(member.body, ctx);
+                        }
+                        break;
+                }
+            });
+            break;
+        case "interfaceDeclaration":
+            stmt.typeParameters?.forEach((typeParameter) => validateTypeParameter(typeParameter, ctx));
+            stmt.extends.forEach((heritage, index) => validateType(heritage, ctx, `interface '${stmt.name}' extends ${index}`));
+            stmt.members.forEach((member) => validateInterfaceMember(member, ctx));
+            break;
+        case "enumDeclaration":
+            stmt.members.forEach((member) => {
+                if (member.initializer) {
+                    validateExpression(member.initializer, ctx);
+                }
+            });
+            break;
+        case "typeAliasDeclaration":
+            stmt.typeParameters?.forEach((typeParameter) => validateTypeParameter(typeParameter, ctx));
+            if (stmt.type.kind === "objectType") {
+                stmt.type.members.forEach((member) => validateInterfaceMember(member, ctx));
+            }
+            break;
+        case "expressionStatement":
+            validateExpression(stmt.expression, ctx);
+            break;
+        case "returnStatement":
+            if (stmt.expression) {
+                validateExpression(stmt.expression, ctx);
+            }
+            break;
+        case "ifStatement":
+            validateExpression(stmt.condition, ctx);
+            validateStatement(stmt.thenStatement, ctx);
+            if (stmt.elseStatement) {
+                validateStatement(stmt.elseStatement, ctx);
+            }
+            break;
+        case "whileStatement":
+            validateExpression(stmt.condition, ctx);
+            validateStatement(stmt.body, ctx);
+            break;
+        case "forStatement":
+            if (stmt.initializer) {
+                if (stmt.initializer.kind === "variableDeclaration") {
+                    validateStatement(stmt.initializer, ctx);
+                }
+                else {
+                    validateExpression(stmt.initializer, ctx);
+                }
+            }
+            if (stmt.condition) {
+                validateExpression(stmt.condition, ctx);
+            }
+            if (stmt.update) {
+                validateExpression(stmt.update, ctx);
+            }
+            validateStatement(stmt.body, ctx);
+            break;
+        case "forOfStatement":
+            validatePattern(stmt.variable, ctx);
+            validateExpression(stmt.expression, ctx);
+            validateStatement(stmt.body, ctx);
+            break;
+        case "switchStatement":
+            validateExpression(stmt.expression, ctx);
+            stmt.cases.forEach((switchCase) => {
+                if (switchCase.test) {
+                    validateExpression(switchCase.test, ctx);
+                }
+                switchCase.statements.forEach((statement) => validateStatement(statement, ctx));
+            });
+            break;
+        case "throwStatement":
+            validateExpression(stmt.expression, ctx);
+            break;
+        case "tryStatement":
+            validateStatement(stmt.tryBlock, ctx);
+            if (stmt.catchClause) {
+                if (stmt.catchClause.parameter) {
+                    validatePattern(stmt.catchClause.parameter, ctx);
+                }
+                validateStatement(stmt.catchClause.body, ctx);
+            }
+            if (stmt.finallyBlock) {
+                validateStatement(stmt.finallyBlock, ctx);
+            }
+            break;
+        case "blockStatement":
+            stmt.statements.forEach((statement) => validateStatement(statement, ctx));
+            break;
+        case "yieldStatement":
+            if (stmt.output) {
+                validateExpression(stmt.output, ctx);
+            }
+            if (stmt.receiveTarget) {
+                validatePattern(stmt.receiveTarget, ctx);
+            }
+            if (stmt.receivedType) {
+                validateType(stmt.receivedType, ctx, "yield received type");
+            }
+            break;
+        case "generatorReturnStatement":
+            if (stmt.expression) {
+                validateExpression(stmt.expression, ctx);
+            }
+            break;
+        case "breakStatement":
+        case "continueStatement":
+        case "emptyStatement":
+            break;
+    }
+};
+export const extractLocalTypeNames = (statements) => {
+    const names = new Set();
+    for (const statement of statements) {
+        switch (statement.kind) {
+            case "classDeclaration":
+            case "interfaceDeclaration":
+            case "typeAliasDeclaration":
+            case "enumDeclaration":
+                names.add(statement.name);
+                break;
+        }
+    }
+    return names;
+};
+export const extractImportedTypeNames = (module) => {
+    const names = new Set();
+    const addImportedNameVariants = (name) => {
+        names.add(name);
+        if (!name.endsWith("$instance")) {
+            names.add(`${name}$instance`);
+        }
+        if (!(name.startsWith("__") && name.endsWith("$views"))) {
+            names.add(`__${name}$views`);
+        }
+    };
+    for (const imp of module.imports) {
+        for (const specifier of imp.specifiers) {
+            if (specifier.kind === "named" || specifier.kind === "default") {
+                addImportedNameVariants(specifier.localName);
+                if (specifier.kind === "named") {
+                    addImportedNameVariants(specifier.name);
+                }
+            }
+            if (specifier.kind === "namespace") {
+                addImportedNameVariants(specifier.localName);
+            }
+        }
+    }
+    return names;
+};
+//# sourceMappingURL=soundness-gate-statement-validation.js.map

package/dist/ir/validation/soundness-gate-statement-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate-statement-validation.js","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate-statement-validation.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,kBAAkB,EAAE,MAAM,2CAA2C,CAAC;AAC/E,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,qBAAqB,GACtB,MAAM,qCAAqC,CAAC;AAE7C,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAiB,EACjB,GAAsB,EAChB,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE;gBACxC,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACvC,YAAY,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,2BAA2B,CAAC,CAAC;gBACjE,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;oBAC5B,kBAAkB,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QAER,KAAK,qBAAqB;YACxB,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAC7C,qBAAqB,CAAC,aAAa,EAAE,GAAG,CAAC,CAC1C,CAAC;YACF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;YAC1E,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,aAAa,IAAI,CAAC,IAAI,eAAe,CAAC,CAAC;YAC1E,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM;QAER,KAAK,kBAAkB;YACrB,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAC7C,qBAAqB,CAAC,aAAa,EAAE,GAAG,CAAC,CAC1C,CAAC;YACF,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,IAAI,CAAC,IAAI,WAAW,CAAC,CAAC;YACrE,CAAC;YACD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAC1C,YAAY,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,IAAI,CAAC,IAAI,gBAAgB,KAAK,EAAE,CAAC,CACxE,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC9B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;oBACpB,KAAK,mBAAmB;wBACtB,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAC/C,qBAAqB,CAAC,aAAa,EAAE,GAAG,CAAC,CAC1C,CAAC;wBACF,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC,CAClC,CAAC;wBACF,YAAY,CACV,MAAM,CAAC,UAAU,EACjB,GAAG,EACH,WAAW,MAAM,CAAC,IAAI,eAAe,CACtC,CAAC;wBACF,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;4BAChB,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBACtC,CAAC;wBACD,MAAM;oBACR,KAAK,qBAAqB;wBACxB,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,aAAa,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;wBAC5D,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;4BACvB,kBAAkB,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;wBAC9C,CAAC;wBACD,MAAM;oBACR,KAAK,wBAAwB;wBAC3B,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC,CAClC,CAAC;wBACF,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;4BAChB,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBACtC,CAAC;wBACD,MAAM;gBACV,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QAER,KAAK,sBAAsB;YACzB,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAC7C,qBAAqB,CAAC,aAAa,EAAE,GAAG,CAAC,CAC1C,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CACvC,YAAY,CAAC,QAAQ,EAAE,GAAG,EAAE,cAAc,IAAI,CAAC,IAAI,aAAa,KAAK,EAAE,CAAC,CACzE,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YACvE,MAAM;QAER,KAAK,iBAAiB;YACpB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC9B,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBACvB,kBAAkB,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QAER,KAAK,sBAAsB;YACzB,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAC7C,qBAAqB,CAAC,aAAa,EAAE,GAAG,CAAC,CAC1C,CAAC;YACF,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CACrC,CAAC;YACJ,CAAC;YACD,MAAM;QAER,KAAK,qBAAqB;YACxB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,MAAM;QAER,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM;QAER,KAAK,aAAa;YAChB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,iBAAiB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC3C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,iBAAiB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM;QAER,KAAK,gBAAgB;YACnB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM;QAER,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACpD,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC3C,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC1C,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACvC,CAAC;YACD,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM;QAER,KAAK,gBAAgB;YACnB,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACpC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM;QAER,KAAK,iBAAiB;YACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;gBAChC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;oBACpB,kBAAkB,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC3C,CAAC;gBACD,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC1C,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC,CAClC,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,MAAM;QAER,KAAK,gBAAgB;YACnB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,MAAM;QAER,KAAK,cAAc;YACjB,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC/B,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBACnD,CAAC;gBACD,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChD,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM;QAER,KAAK,gBAAgB;YACnB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;YAC1E,MAAM;QAER,KAAK,gBAAgB;YACnB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,eAAe,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,YAAY,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,qBAAqB,CAAC,CAAC;YAC9D,CAAC;YACD,MAAM;QAER,KAAK,0BAA0B;YAC7B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM;QAER,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB,CAAC;QACzB,KAAK,gBAAgB;YACnB,MAAM;IACV,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,UAAkC,EACb,EAAE;IACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,kBAAkB,CAAC;YACxB,KAAK,sBAAsB,CAAC;YAC5B,KAAK,sBAAsB,CAAC;YAC5B,KAAK,iBAAiB;gBACpB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAAgB,EACK,EAAE;IACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAQ,EAAE;QACrD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEhB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,WAAW,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YACxD,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/D,uBAAuB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;gBAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC/B,uBAAuB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACnC,uBAAuB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate-type-validation.d.ts

@@ -0,0 +1,9 @@
+import { type IrInterfaceMember, type IrParameter, type IrPattern, type IrType, type IrTypeParameter, type ValidationContext } from "./soundness-gate-shared.js";
+export declare const validateType: (type: IrType | undefined, ctx: ValidationContext, typeContext: string, options?: {
+    readonly allowRootUnknownType?: boolean;
+}) => void;
+export declare const validateParameter: (parameter: IrParameter, ctx: ValidationContext) => void;
+export declare const validateTypeParameter: (typeParameter: IrTypeParameter, ctx: ValidationContext) => void;
+export declare const validateInterfaceMember: (member: IrInterfaceMember, ctx: ValidationContext) => void;
+export declare const validatePattern: (pattern: IrPattern, ctx: ValidationContext) => void;
+//# sourceMappingURL=soundness-gate-type-validation.d.ts.map

package/dist/ir/validation/soundness-gate-type-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate-type-validation.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate-type-validation.ts"],"names":[],"mappings":"AACA,OAAO,EAKL,KAAK,iBAAiB,EACtB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,MAAM,EACX,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACvB,MAAM,4BAA4B,CAAC;AAGpC,eAAO,MAAM,YAAY,GACvB,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,iBAAiB,EACtB,aAAa,MAAM,EACnB,UAAS;IAAE,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAA;CAAO,KACxD,IA8KF,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC5B,WAAW,WAAW,EACtB,KAAK,iBAAiB,KACrB,IAUF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,eAAe,eAAe,EAC9B,KAAK,iBAAiB,KACrB,IAcF,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAClC,QAAQ,iBAAiB,EACzB,KAAK,iBAAiB,KACrB,IAmBF,CAAC;AAEF,eAAO,MAAM,eAAe,GAC1B,SAAS,SAAS,EAClB,KAAK,iBAAiB,KACrB,IA4BF,CAAC"}