@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/validation/char-validation-types.js

@@ -0,0 +1,144 @@
+/**
+ * Char Validation — Type resolution and char type detection helpers.
+ *
+ * Contains CharValidationContext, type alias resolution, char type detection,
+ * module-level validation orchestration, and the main runCharValidationPass entry point.
+ */
+import { createDiagnostic, } from "../../types/diagnostic.js";
+import { validateExpression, validateStatement, } from "./char-validation-expressions.js";
+export const moduleLocation = (ctx) => ({
+    file: ctx.filePath,
+    line: 1,
+    column: 1,
+    length: 1,
+});
+export const stripNullish = (type) => {
+    if (!type)
+        return undefined;
+    if (type.kind !== "unionType")
+        return type;
+    const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "null" || t.name === "undefined")));
+    if (nonNullish.length === 0)
+        return undefined;
+    if (nonNullish.length === 1)
+        return nonNullish[0];
+    return { kind: "unionType", types: nonNullish };
+};
+export const resolveTypeAliases = (type, ctx, seen = new Set()) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "referenceType") {
+        const alias = ctx.typeAliases.get(type.name);
+        const hasTypeArgs = (type.typeArguments?.length ?? 0) > 0;
+        const hasTypeParams = (alias?.typeParameters?.length ?? 0) > 0;
+        // Only resolve local, non-generic aliases deterministically.
+        if (alias && !hasTypeArgs && !hasTypeParams) {
+            if (seen.has(type.name))
+                return type;
+            const nextSeen = new Set(seen);
+            nextSeen.add(type.name);
+            return resolveTypeAliases(alias.type, ctx, nextSeen);
+        }
+    }
+    if (type.kind === "unionType") {
+        return {
+            kind: "unionType",
+            types: type.types.map((t) => resolveTypeAliases(t, ctx, seen) ?? t),
+        };
+    }
+    if (type.kind === "intersectionType") {
+        return {
+            kind: "intersectionType",
+            types: type.types.map((t) => resolveTypeAliases(t, ctx, seen) ?? t),
+        };
+    }
+    return type;
+};
+export const isCharType = (type, ctx) => {
+    const resolved = stripNullish(resolveTypeAliases(type, ctx));
+    if (!resolved)
+        return false;
+    if (resolved.kind === "primitiveType")
+        return resolved.name === "char";
+    if (resolved.kind === "referenceType")
+        return resolved.name === "char";
+    return false;
+};
+export const isCharTypedExpression = (expr, ctx) => isCharType(expr.inferredType, ctx);
+export const isStringCharAccessExpression = (expr) => expr.kind === "memberAccess" &&
+    expr.isComputed &&
+    expr.accessKind === "stringChar" &&
+    !expr.isOptional;
+export const addCharDiagnostic = (ctx, message, location, hint) => {
+    ctx.diagnostics.push(createDiagnostic("TSN7418", "error", message, location, hint));
+};
+export const getPropertyExpectedType = (expectedType, propertyName, ctx) => {
+    const resolved = stripNullish(resolveTypeAliases(expectedType, ctx));
+    if (!resolved)
+        return undefined;
+    if (resolved.kind === "objectType") {
+        const member = resolved.members.find((m) => m.kind === "propertySignature" && m.name === propertyName);
+        return member?.kind === "propertySignature" ? member.type : undefined;
+    }
+    if (resolved.kind === "referenceType" && resolved.structuralMembers) {
+        const member = resolved.structuralMembers.find((m) => m.kind === "propertySignature" && m.name === propertyName);
+        return member?.kind === "propertySignature" ? member.type : undefined;
+    }
+    return undefined;
+};
+const collectTypeAliases = (module) => {
+    const aliases = new Map();
+    const collectFromStatement = (stmt) => {
+        if (stmt.kind === "typeAliasDeclaration") {
+            aliases.set(stmt.name, stmt);
+        }
+    };
+    for (const stmt of module.body) {
+        collectFromStatement(stmt);
+    }
+    for (const exp of module.exports) {
+        if (exp.kind === "declaration") {
+            collectFromStatement(exp.declaration);
+        }
+    }
+    return aliases;
+};
+const validateModule = (module) => {
+    const ctx = {
+        filePath: module.filePath,
+        diagnostics: [],
+        typeAliases: collectTypeAliases(module),
+    };
+    for (const stmt of module.body) {
+        validateStatement(stmt, ctx, undefined);
+    }
+    for (const exp of module.exports) {
+        switch (exp.kind) {
+            case "default":
+                validateExpression(exp.expression, ctx);
+                break;
+            case "declaration":
+                validateStatement(exp.declaration, ctx, undefined);
+                break;
+            case "named":
+            case "reexport":
+                break;
+            default:
+                break;
+        }
+    }
+    return ctx.diagnostics;
+};
+export const runCharValidationPass = (modules) => {
+    const diagnostics = [];
+    for (const module of modules) {
+        diagnostics.push(...validateModule(module));
+    }
+    return {
+        ok: diagnostics.length === 0,
+        modules,
+        diagnostics,
+    };
+};
+//# sourceMappingURL=char-validation-types.js.map

package/dist/ir/validation/char-validation-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"char-validation-types.js","sourceRoot":"","sources":["../../../src/ir/validation/char-validation-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,gBAAgB,GAGjB,MAAM,2BAA2B,CAAC;AAQnC,OAAO,EACL,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,kCAAkC,CAAC;AAc1C,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAA0B,EAAkB,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAwB,EAAsB,EAAE;IAC3E,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAwB,EACxB,GAA0B,EAC1B,OAA4B,IAAI,GAAG,EAAE,EACjB,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAE/D,6DAA6D;QAC7D,IAAI,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;SACpE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;SACpE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAAwB,EACxB,GAA0B,EACjB,EAAE;IACX,MAAM,QAAQ,GAAG,YAAY,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;IACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;IACvE,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAkB,EAClB,GAA0B,EACjB,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;AAEjD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,IAAkB,EAAW,EAAE,CAC1E,IAAI,CAAC,IAAI,KAAK,cAAc;IAC5B,IAAI,CAAC,UAAU;IACf,IAAI,CAAC,UAAU,KAAK,YAAY;IAChC,CAAC,IAAI,CAAC,UAAU,CAAC;AAEnB,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,GAA0B,EAC1B,OAAe,EACf,QAAwB,EACxB,IAAa,EACP,EAAE;IACR,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAC9D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,YAAgC,EAChC,YAAoB,EACpB,GAA0B,EACN,EAAE;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACjE,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACjE,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,MAAgB,EAC6B,EAAE;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;IAE1D,MAAM,oBAAoB,GAAG,CAAC,IAAiB,EAAQ,EAAE;QACvD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,MAAgB,EAAyB,EAAE;IACjE,MAAM,GAAG,GAA0B;QACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,kBAAkB,CAAC,MAAM,CAAC;KACxC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,SAAS;gBACZ,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACxC,MAAM;YACR,KAAK,aAAa;gBAChB,iBAAiB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACnD,MAAM;YACR,KAAK,OAAO,CAAC;YACb,KAAK,UAAU;gBACb,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC,WAAW,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAA4B,EACN,EAAE;IACxB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,WAAW,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO;QACL,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;QAC5B,OAAO;QACP,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/index.d.ts

@@ -6,8 +6,11 @@ export { runNumericProofPass, type NumericProofResult, } from "./numeric-proof-p
 export { runNumericCoercionPass, type NumericCoercionResult, } from "./numeric-coercion-pass.js";
 export { runYieldLoweringPass, type YieldLoweringResult, } from "./yield-lowering-pass.js";
 export { runAttributeCollectionPass, type AttributeCollectionResult, } from "./attribute-collection-pass.js";
+export { runOverloadCollectionPass, type OverloadCollectionResult, } from "./overload-collection-pass.js";
+export { runOverloadFamilyConsistencyPass, type OverloadFamilyConsistencyResult, } from "./overload-family-consistency-pass.js";
 export { runAnonymousTypeLoweringPass, type AnonymousTypeLoweringResult, } from "./anonymous-type-lowering-pass.js";
 export { runRestTypeSynthesisPass, type RestTypeSynthesisResult, } from "./rest-type-synthesis-pass.js";
 export { runArrowReturnFinalizationPass, type ArrowReturnFinalizationResult, } from "./arrow-return-finalization-pass.js";
+export { runCallResolutionRefreshPass, type CallResolutionRefreshResult, } from "./call-resolution-refresh-pass.js";
 export { runVirtualMarkingPass, type VirtualMarkingResult, } from "./virtual-marking-pass.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/ir/validation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,EACnB,KAAK,yBAAyB,GAC/B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,EACnB,KAAK,kBAAkB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,EACtB,KAAK,qBAAqB,GAC3B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,EACpB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,EAC1B,KAAK,yBAAyB,GAC/B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,4BAA4B,EAC5B,KAAK,2BAA2B,GACjC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,wBAAwB,EACxB,KAAK,uBAAuB,GAC7B,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,8BAA8B,EAC9B,KAAK,6BAA6B,GACnC,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,qBAAqB,EACrB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,EACnB,KAAK,yBAAyB,GAC/B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,EACnB,KAAK,kBAAkB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,EACtB,KAAK,qBAAqB,GAC3B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,EACpB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,EAC1B,KAAK,yBAAyB,GAC/B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,yBAAyB,EACzB,KAAK,wBAAwB,GAC9B,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,gCAAgC,EAChC,KAAK,+BAA+B,GACrC,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EACL,4BAA4B,EAC5B,KAAK,2BAA2B,GACjC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,wBAAwB,EACxB,KAAK,uBAAuB,GAC7B,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,8BAA8B,EAC9B,KAAK,6BAA6B,GACnC,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,4BAA4B,EAC5B,KAAK,2BAA2B,GACjC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,qBAAqB,EACrB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC"}

package/dist/ir/validation/index.js

@@ -6,8 +6,11 @@ export { runNumericProofPass, } from "./numeric-proof-pass.js";
 export { runNumericCoercionPass, } from "./numeric-coercion-pass.js";
 export { runYieldLoweringPass, } from "./yield-lowering-pass.js";
 export { runAttributeCollectionPass, } from "./attribute-collection-pass.js";
+export { runOverloadCollectionPass, } from "./overload-collection-pass.js";
+export { runOverloadFamilyConsistencyPass, } from "./overload-family-consistency-pass.js";
 export { runAnonymousTypeLoweringPass, } from "./anonymous-type-lowering-pass.js";
 export { runRestTypeSynthesisPass, } from "./rest-type-synthesis-pass.js";
 export { runArrowReturnFinalizationPass, } from "./arrow-return-finalization-pass.js";
+export { runCallResolutionRefreshPass, } from "./call-resolution-refresh-pass.js";
 export { runVirtualMarkingPass, } from "./virtual-marking-pass.js";
 //# sourceMappingURL=index.js.map

package/dist/ir/validation/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,GAEpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,GAEvB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,GAErB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,GAE3B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,4BAA4B,GAE7B,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,wBAAwB,GAEzB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,8BAA8B,GAE/B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,qBAAqB,GAEtB,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,GAEpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,GAEvB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,GAErB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,GAE3B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,yBAAyB,GAE1B,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,gCAAgC,GAEjC,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EACL,4BAA4B,GAE7B,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,wBAAwB,GAEzB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,8BAA8B,GAE/B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,4BAA4B,GAE7B,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,qBAAqB,GAEtB,MAAM,2BAA2B,CAAC"}

package/dist/ir/validation/known-builtin-reference-types.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Reference-type names that are allowed to remain unresolved in IR because
+ * the emitter/runtime handle them as builtins or the compiler synthesizes them
+ * during inference/lowering.
+ *
+ * This list exists to keep the soundness gate aligned with the emitter's
+ * builtin type handling. If a reference type name can legally reach emission
+ * without an import/local declaration, it must be listed here.
+ */
+export declare const KNOWN_BUILTIN_REFERENCE_TYPES: Set<string>;
+export declare const isKnownBuiltinReferenceType: (name: string) => boolean;
+//# sourceMappingURL=known-builtin-reference-types.d.ts.map

package/dist/ir/validation/known-builtin-reference-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-builtin-reference-types.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/known-builtin-reference-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,eAAO,MAAM,6BAA6B,aAiBxC,CAAC;AAEH,eAAO,MAAM,2BAA2B,GAAI,MAAM,MAAM,KAAG,OAClB,CAAC"}

package/dist/ir/validation/known-builtin-reference-types.js

@@ -0,0 +1,29 @@
+/**
+ * Reference-type names that are allowed to remain unresolved in IR because
+ * the emitter/runtime handle them as builtins or the compiler synthesizes them
+ * during inference/lowering.
+ *
+ * This list exists to keep the soundness gate aligned with the emitter's
+ * builtin type handling. If a reference type name can legally reach emission
+ * without an import/local declaration, it must be listed here.
+ */
+export const KNOWN_BUILTIN_REFERENCE_TYPES = new Set([
+    "Array",
+    "ReadonlyArray",
+    "ArrayLike",
+    "Promise",
+    "PromiseLike",
+    "Iterable",
+    "IterableIterator",
+    "AsyncIterable",
+    "AsyncIterableIterator",
+    "Generator",
+    "AsyncGenerator",
+    "IteratorResult",
+    "Error",
+    "Object",
+    "IntPtr",
+    "UIntPtr",
+]);
+export const isKnownBuiltinReferenceType = (name) => KNOWN_BUILTIN_REFERENCE_TYPES.has(name);
+//# sourceMappingURL=known-builtin-reference-types.js.map

package/dist/ir/validation/known-builtin-reference-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-builtin-reference-types.js","sourceRoot":"","sources":["../../../src/ir/validation/known-builtin-reference-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC;IACnD,OAAO;IACP,eAAe;IACf,WAAW;IACX,SAAS;IACT,aAAa;IACb,UAAU;IACV,kBAAkB;IAClB,eAAe;IACf,uBAAuB;IACvB,WAAW;IACX,gBAAgB;IAChB,gBAAgB;IAChB,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,IAAY,EAAW,EAAE,CACnE,6BAA6B,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC"}

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

@@ -0,0 +1,105 @@
+/**
+ * Numeric Classification - Expression classification and type helpers
+ *
+ * This sub-module provides:
+ * - classifyNumericExpr: Classify an expression's numeric kind
+ * - hasExplicitDoubleIntent: Check if an expression has explicit double intent
+ * - getExpectedNumericKind: Get the expected numeric kind from a type
+ * - tryGetObjectPropertyType: Extract expected type of a property from structural type
+ * - tryGetTupleElementType: Extract expected type of a tuple element
+ * - needsCoercion: Check if an expression needs coercion to match expected type
+ * - describeExpression: Get human-readable description of an expression
+ * - moduleLocation: Create a source location for a module
+ *
+ * Split from numeric-coercion-pass.ts for file-size management.
+ */
+import { SourceLocation, type Diagnostic } from "../../types/diagnostic.js";
+import { IrExpression, IrType } from "../types.js";
+import { NumericKind } from "../types/numeric-kind.js";
+/**
+ * Result of numeric expression classification.
+ * - "Int32": Expression definitely produces an Int32 value
+ * - "Double": Expression definitely produces a Double value
+ * - "Unknown": Cannot determine at compile time (e.g., untyped identifier, complex call)
+ */
+export type NumericExprKind = "Int32" | "Double" | "Unknown";
+/**
+ * Classify an expression's numeric kind.
+ *
+ * This function propagates numeric kind through:
+ * - Literals (via numericIntent)
+ * - Identifiers with primitiveType(name="int") or primitiveType(name="number")
+ * - Arithmetic operations (uses C# promotion rules)
+ * - Unary +/- (preserves operand kind)
+ * - Ternary (requires both branches to have same kind)
+ * - Parentheses (pass through)
+ * - numericNarrowing expressions (uses targetKind)
+ *
+ * Returns "Unknown" for expressions that cannot be classified.
+ */
+export declare const classifyNumericExpr: (expr: IrExpression) => NumericExprKind;
+/**
+ * Check if an expression has explicit double intent.
+ * This is true when:
+ * - It's a numericNarrowing with targetKind "Double" (i.e., `42 as number`)
+ * - It's a literal with numericIntent "Double" (i.e., `42.0`)
+ *
+ * Used to exempt explicit casts from TSN5110 errors.
+ */
+export declare const hasExplicitDoubleIntent: (expr: IrExpression) => boolean;
+/**
+ * Context for tracking coercion validation
+ */
+export type CoercionContext = {
+    readonly filePath: string;
+    readonly diagnostics: Diagnostic[];
+};
+/**
+ * Create a source location for a module
+ */
+export declare const moduleLocation: (ctx: CoercionContext) => SourceLocation;
+/**
+ * Get the expected numeric kind from a type.
+ * Returns undefined if the type is not a numeric type.
+ *
+ * Maps:
+ * - primitiveType("number") → "Double"
+ * - primitiveType("int") → "Int32"
+ * - referenceType with name in TSONIC_TO_NUMERIC_KIND → corresponding kind
+ */
+export declare const getExpectedNumericKind: (type: IrType | undefined) => NumericKind | undefined;
+/**
+ * Extract the expected type of a property from a structural type.
+ *
+ * Used for validating object literal properties against their expected types.
+ * Returns undefined if the property type cannot be determined (conservative).
+ *
+ * Handles:
+ * - objectType: inline object types like `{ x: number }`
+ * - referenceType with structuralMembers: interfaces and type aliases
+ */
+export declare const tryGetObjectPropertyType: (expectedType: IrType | undefined, propName: string) => IrType | undefined;
+/**
+ * Extract the expected type of a tuple element at a given index.
+ *
+ * Used for validating tuple literal elements against their expected types.
+ * Returns undefined if the element type cannot be determined.
+ */
+export declare const tryGetTupleElementType: (expectedType: IrType | undefined, index: number) => IrType | undefined;
+/**
+ * Check if an expression needs coercion to match an expected numeric type.
+ *
+ * Returns true (error) only for NARROWING conversions.
+ * Widening conversions (e.g., Int32 → Double) are implicitly allowed.
+ *
+ * Rules:
+ * - Same kind → OK
+ * - Widening (isWideningConversion returns true) → OK
+ * - Narrowing → requires explicit intent (numericNarrowing node)
+ */
+export declare const needsCoercion: (expr: IrExpression, expectedType: IrType | undefined) => boolean;
+/**
+ * Get a human-readable description of an expression for error messages.
+ */
+export declare const describeExpression: (expr: IrExpression) => string;
+//# sourceMappingURL=numeric-classification.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-classification.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-classification.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,cAAc,EAAE,KAAK,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EACL,YAAY,EACZ,MAAM,EAGP,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,WAAW,EAIZ,MAAM,0BAA0B,CAAC;AAQlC;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,CAAC;AAQ7D;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,YAAY,KAAG,eA6GxD,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,YAAY,KAAG,OAgB5D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;CACpC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,eAAe,KAAG,cAKpD,CAAC;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,GAAG,SAAS,KACvB,WAAW,GAAG,SAwChB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,GACnC,cAAc,MAAM,GAAG,SAAS,EAChC,UAAU,MAAM,KACf,MAAM,GAAG,SAsBX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,GAAG,SAAS,EAChC,OAAO,MAAM,KACZ,MAAM,GAAG,SAQX,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,YAAY,EAClB,cAAc,MAAM,GAAG,SAAS,KAC/B,OAmFF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,YAAY,KAAG,MAqBvD,CAAC"}