@tsonic/frontend 0.0.73 → 0.0.75

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

@@ -0,0 +1,149 @@
+import { isKnownBuiltinReferenceType } from "./known-builtin-reference-types.js";
+import { createDiagnostic, getReferenceResolutionCandidates, KNOWN_BUILTINS, moduleLocation, } from "./soundness-gate-shared.js";
+import { validateExpression } from "./soundness-gate-expression-validation.js";
+export const validateType = (type, ctx, typeContext, options = {}) => {
+    if (!type)
+        return;
+    if (typeof type === "object" && type !== null) {
+        if (ctx.activeTypeValidation.has(type)) {
+            return;
+        }
+        ctx.activeTypeValidation.add(type);
+    }
+    try {
+        switch (type.kind) {
+            case "anyType": {
+                ctx.diagnostics.push(createDiagnostic("TSN7414", "error", `Type cannot be represented in compiler subset: ${typeContext}. The type resolved to 'any' which is not supported.`, moduleLocation(ctx), "Ensure the type can be explicitly annotated or is a recognized type alias."));
+                break;
+            }
+            case "arrayType":
+                validateType(type.elementType, ctx, `${typeContext}[]`);
+                break;
+            case "tupleType":
+                type.elementTypes.forEach((elementType, index) => validateType(elementType, ctx, `${typeContext}[${index}]`));
+                break;
+            case "functionType":
+                type.parameters.forEach((parameter) => validateParameter(parameter, ctx));
+                validateType(type.returnType, ctx, `${typeContext} return type`);
+                break;
+            case "objectType":
+                ctx.diagnostics.push(createDiagnostic("TSN7421", "error", `Anonymous object type in ${typeContext} was not lowered to a named type. This is an internal compiler error.`, moduleLocation(ctx), "Please report this issue with a minimal reproduction."));
+                type.members.forEach((member) => validateInterfaceMember(member, ctx));
+                break;
+            case "dictionaryType":
+                if (type.keyType.kind === "neverType" ||
+                    type.valueType.kind === "neverType") {
+                    ctx.diagnostics.push(createDiagnostic("TSN7419", "error", "'never' cannot be used as a generic type argument.", moduleLocation(ctx), "Rewrite the type to avoid never. For Result-like types, model explicit variants (Ok<T> | Err<E>) and have helpers return the specific variant type."));
+                }
+                validateType(type.keyType, ctx, `${typeContext} key type`);
+                validateType(type.valueType, ctx, `${typeContext} value type`);
+                break;
+            case "unionType":
+                type.types.forEach((member, index) => validateType(member, ctx, `${typeContext} union member ${index}`));
+                break;
+            case "intersectionType":
+                type.types.forEach((member, index) => validateType(member, ctx, `${typeContext} intersection member ${index}`));
+                break;
+            case "referenceType": {
+                const { name, resolvedClrType, typeId } = type;
+                const candidateNames = getReferenceResolutionCandidates(name);
+                const isResolvable = typeId !== undefined ||
+                    resolvedClrType !== undefined ||
+                    (type.structuralMembers !== undefined &&
+                        type.structuralMembers.length > 0) ||
+                    candidateNames.some((candidate) => KNOWN_BUILTINS.has(candidate) ||
+                        isKnownBuiltinReferenceType(candidate)) ||
+                    candidateNames.some((candidate) => ctx.localTypeNames.has(candidate)) ||
+                    candidateNames.some((candidate) => ctx.namespaceLocalTypeNames.has(candidate)) ||
+                    candidateNames.some((candidate) => ctx.importedTypeNames.has(candidate)) ||
+                    candidateNames.some((candidate) => ctx.knownReferenceTypes.has(candidate)) ||
+                    candidateNames.some((candidate) => ctx.typeParameterNames.has(candidate));
+                if (!isResolvable) {
+                    ctx.diagnostics.push(createDiagnostic("TSN7414", "error", `Unresolved reference type '${name}' in ${typeContext}. The type is not local, not imported, and has no CLR binding.`, moduleLocation(ctx), "Ensure the type is imported or defined locally, or that CLR bindings are available."));
+                }
+                type.typeArguments?.forEach((typeArgument, index) => {
+                    if (typeArgument.kind === "neverType") {
+                        ctx.diagnostics.push(createDiagnostic("TSN7419", "error", "'never' cannot be used as a generic type argument.", moduleLocation(ctx), "Rewrite the type to avoid never. For Result-like types, model explicit variants (Ok<T> | Err<E>) and have helpers return the specific variant type."));
+                    }
+                    validateType(typeArgument, ctx, `${typeContext}<arg ${index}>`);
+                });
+                break;
+            }
+            case "primitiveType":
+            case "typeParameterType":
+            case "literalType":
+            case "voidType":
+            case "neverType":
+                break;
+            case "unknownType":
+                if (options.allowRootUnknownType) {
+                    break;
+                }
+                ctx.diagnostics.push(createDiagnostic("TSN7414", "error", `Type cannot be represented in compiler subset: ${typeContext}. The type resolved to 'unknown' which must have been eliminated before emission.`, moduleLocation(ctx), "Replace explicit 'unknown' with a concrete type or JsValue, and ensure unresolved placeholder types are eliminated before the soundness gate."));
+                break;
+        }
+    }
+    finally {
+        if (typeof type === "object" && type !== null) {
+            ctx.activeTypeValidation.delete(type);
+        }
+    }
+};
+export const validateParameter = (parameter, ctx) => {
+    const paramName = parameter.pattern.kind === "identifierPattern"
+        ? parameter.pattern.name
+        : "param";
+    validateType(parameter.type, ctx, `parameter '${paramName}'`);
+    validatePattern(parameter.pattern, ctx);
+    if (parameter.initializer) {
+        validateExpression(parameter.initializer, ctx);
+    }
+};
+export const validateTypeParameter = (typeParameter, ctx) => {
+    validateType(typeParameter.constraint, ctx, `type parameter '${typeParameter.name}' constraint`);
+    validateType(typeParameter.default, ctx, `type parameter '${typeParameter.name}' default`);
+    typeParameter.structuralMembers?.forEach((member) => validateInterfaceMember(member, ctx));
+};
+export const validateInterfaceMember = (member, ctx) => {
+    switch (member.kind) {
+        case "propertySignature":
+            validateType(member.type, ctx, `property '${member.name}'`);
+            break;
+        case "methodSignature":
+            member.typeParameters?.forEach((typeParameter) => validateTypeParameter(typeParameter, ctx));
+            member.parameters.forEach((parameter) => validateParameter(parameter, ctx));
+            validateType(member.returnType, ctx, `method '${member.name}' return type`);
+            break;
+    }
+};
+export const validatePattern = (pattern, ctx) => {
+    switch (pattern.kind) {
+        case "identifierPattern":
+            validateType(pattern.type, ctx, `pattern '${pattern.name}'`);
+            break;
+        case "arrayPattern":
+            pattern.elements.forEach((element) => {
+                if (element) {
+                    validatePattern(element.pattern, ctx);
+                    if (element.defaultExpr) {
+                        validateExpression(element.defaultExpr, ctx);
+                    }
+                }
+            });
+            break;
+        case "objectPattern":
+            pattern.properties.forEach((property) => {
+                if (property.kind === "property") {
+                    validatePattern(property.value, ctx);
+                    if (property.defaultExpr) {
+                        validateExpression(property.defaultExpr, ctx);
+                    }
+                }
+                else {
+                    validatePattern(property.pattern, ctx);
+                }
+            });
+            break;
+    }
+};
+//# sourceMappingURL=soundness-gate-type-validation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate-type-validation.js","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate-type-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EACL,gBAAgB,EAChB,gCAAgC,EAChC,cAAc,EACd,cAAc,GAOf,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,2CAA2C,CAAC;AAE/E,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAwB,EACxB,GAAsB,EACtB,WAAmB,EACnB,UAAuD,EAAE,EACnD,EAAE;IACR,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,OAAO;QACT,CAAC;QACD,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC;QACH,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kDAAkD,WAAW,sDAAsD,EACnH,cAAc,CAAC,GAAG,CAAC,EACnB,4EAA4E,CAC7E,CACF,CAAC;gBACF,MAAM;YACR,CAAC;YAED,KAAK,WAAW;gBACd,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,WAAW,IAAI,CAAC,CAAC;gBACxD,MAAM;YAER,KAAK,WAAW;gBACd,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CAC/C,YAAY,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,WAAW,IAAI,KAAK,GAAG,CAAC,CAC3D,CAAC;gBACF,MAAM;YAER,KAAK,cAAc;gBACjB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACpC,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC,CAClC,CAAC;gBACF,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,WAAW,cAAc,CAAC,CAAC;gBACjE,MAAM;YAER,KAAK,YAAY;gBACf,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,4BAA4B,WAAW,uEAAuE,EAC9G,cAAc,CAAC,GAAG,CAAC,EACnB,uDAAuD,CACxD,CACF,CAAC;gBACF,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;gBACvE,MAAM;YAER,KAAK,gBAAgB;gBACnB,IACE,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;oBACjC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW,EACnC,CAAC;oBACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oDAAoD,EACpD,cAAc,CAAC,GAAG,CAAC,EACnB,qJAAqJ,CACtJ,CACF,CAAC;gBACJ,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,WAAW,WAAW,CAAC,CAAC;gBAC3D,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,WAAW,aAAa,CAAC,CAAC;gBAC/D,MAAM;YAER,KAAK,WAAW;gBACd,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CACnC,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,WAAW,iBAAiB,KAAK,EAAE,CAAC,CAClE,CAAC;gBACF,MAAM;YAER,KAAK,kBAAkB;gBACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CACnC,YAAY,CACV,MAAM,EACN,GAAG,EACH,GAAG,WAAW,wBAAwB,KAAK,EAAE,CAC9C,CACF,CAAC;gBACF,MAAM;YAER,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;gBAC/C,MAAM,cAAc,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;gBAC9D,MAAM,YAAY,GAChB,MAAM,KAAK,SAAS;oBACpB,eAAe,KAAK,SAAS;oBAC7B,CAAC,IAAI,CAAC,iBAAiB,KAAK,SAAS;wBACnC,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;oBACpC,cAAc,CAAC,IAAI,CACjB,CAAC,SAAS,EAAE,EAAE,CACZ,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC;wBAC7B,2BAA2B,CAAC,SAAS,CAAC,CACzC;oBACD,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAChC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAClC;oBACD,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAChC,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,CAC3C;oBACD,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAChC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CACrC;oBACD,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAChC,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CACvC;oBACD,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAChC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CACtC,CAAC;gBAEJ,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8BAA8B,IAAI,QAAQ,WAAW,gEAAgE,EACrH,cAAc,CAAC,GAAG,CAAC,EACnB,qFAAqF,CACtF,CACF,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE;oBAClD,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;wBACtC,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oDAAoD,EACpD,cAAc,CAAC,GAAG,CAAC,EACnB,qJAAqJ,CACtJ,CACF,CAAC;oBACJ,CAAC;oBACD,YAAY,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,WAAW,QAAQ,KAAK,GAAG,CAAC,CAAC;gBAClE,CAAC,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YAED,KAAK,eAAe,CAAC;YACrB,KAAK,mBAAmB,CAAC;YACzB,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,MAAM;YAER,KAAK,aAAa;gBAChB,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;oBACjC,MAAM;gBACR,CAAC;gBACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kDAAkD,WAAW,mFAAmF,EAChJ,cAAc,CAAC,GAAG,CAAC,EACnB,+IAA+I,CAChJ,CACF,CAAC;gBACF,MAAM;QACV,CAAC;IACH,CAAC;YAAS,CAAC;QACT,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAC9C,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAsB,EACtB,GAAsB,EAChB,EAAE;IACR,MAAM,SAAS,GACb,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;QAC5C,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI;QACxB,CAAC,CAAC,OAAO,CAAC;IACd,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,cAAc,SAAS,GAAG,CAAC,CAAC;IAC9D,eAAe,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;QAC1B,kBAAkB,CAAC,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,aAA8B,EAC9B,GAAsB,EAChB,EAAE;IACR,YAAY,CACV,aAAa,CAAC,UAAU,EACxB,GAAG,EACH,mBAAmB,aAAa,CAAC,IAAI,cAAc,CACpD,CAAC;IACF,YAAY,CACV,aAAa,CAAC,OAAO,EACrB,GAAG,EACH,mBAAmB,aAAa,CAAC,IAAI,WAAW,CACjD,CAAC;IACF,aAAa,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAClD,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CACrC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,MAAyB,EACzB,GAAsB,EAChB,EAAE;IACR,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB;YACtB,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,aAAa,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;YAC5D,MAAM;QACR,KAAK,iBAAiB;YACpB,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAC/C,qBAAqB,CAAC,aAAa,EAAE,GAAG,CAAC,CAC1C,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC,CAClC,CAAC;YACF,YAAY,CACV,MAAM,CAAC,UAAU,EACjB,GAAG,EACH,WAAW,MAAM,CAAC,IAAI,eAAe,CACtC,CAAC;YACF,MAAM;IACV,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAkB,EAClB,GAAsB,EAChB,EAAE;IACR,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;YAC7D,MAAM;QACR,KAAK,cAAc;YACjB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBACnC,IAAI,OAAO,EAAE,CAAC;oBACZ,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;oBACtC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;wBACxB,kBAAkB,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;oBAC/C,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QACR,KAAK,eAAe;YAClB,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;gBACtC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACrC,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;wBACzB,kBAAkB,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;oBAChD,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,eAAe,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;IACV,CAAC;AACH,CAAC,CAAC"}

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

@@ -7,25 +7,8 @@
  *
  * If this pass emits any errors, the emitter must not run.
  */
-import { Diagnostic } from "../../types/diagnostic.js";
 import { IrModule } from "../types.js";
-/**
- * Result of soundness validation
- */
-export type SoundnessValidationResult = {
-    readonly ok: boolean;
-    readonly diagnostics: readonly Diagnostic[];
-};
-export type SoundnessGateOptions = {
-    /**
-     * Additional reference type names that are known to be resolvable by the emitter.
-     *
-     * This is primarily used for CLR types that can appear via inference/signatures
-     * without being explicitly imported in the current module (e.g. tsbindgen arity
-     * names like `Dictionary_2`).
-     */
-    readonly knownReferenceTypes?: ReadonlySet<string>;
-};
+import type { SoundnessGateOptions, SoundnessValidationResult } from "./soundness-gate-shared.js";
 /**
  * Run soundness validation on all modules
  *
@@ -33,4 +16,5 @@ export type SoundnessGateOptions = {
  * the emitter must not run.
  */
 export declare const validateIrSoundness: (modules: readonly IrModule[], options?: SoundnessGateOptions) => SoundnessValidationResult;
+export type { SoundnessGateOptions, SoundnessValidationResult };
 //# sourceMappingURL=soundness-gate.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"soundness-gate.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAQT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,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;;;;;;OAMG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpD,CAAC;AA01BF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,SAAS,SAAS,QAAQ,EAAE,EAC5B,UAAS,oBAAyB,KACjC,yBAaF,CAAC"}
+{"version":3,"file":"soundness-gate.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,KAAK,EACV,oBAAoB,EACpB,yBAAyB,EAE1B,MAAM,4BAA4B,CAAC;AA+CpC;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,SAAS,SAAS,QAAQ,EAAE,EAC5B,UAAS,oBAAyB,KACjC,yBA2BF,CAAC;AAEF,YAAY,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,CAAC"}