xbintsc 0.5.23 → 0.5.32

package/dist/src/checker/calls.js

@@ -0,0 +1,127 @@
+/**
+ * Call arity: `f(1)` where `f` declares two required parameters.
+ *
+ * Only calls whose callee the checker can resolve without inference are
+ * checked: a direct identifier bound to a function declaration, or to a
+ * `const` initialised with a function expression / arrow. Methods, imports,
+ * first-class re-exports and reassigned bindings are left alone — guessing
+ * there is how a checker produces false positives.
+ */
+import { SyntaxKind, } from "../ast/nodes.js";
+import { SymbolKind } from "../binder/binder.js";
+import { DiagnosticCode } from "../diagnostics/diagnostic.js";
+import { ASSIGNMENT_OPERATORS } from "../codegen/generator/tables.js";
+import { fileNameOf, isUntypedNode } from "./source.js";
+import { walk } from "./walk.js";
+function arityOf(fn) {
+    const parameters = fn.node.parameters;
+    if (!parameters)
+        return undefined;
+    let required = 0;
+    let max = 0;
+    for (const parameter of parameters) {
+        if (parameter.dotDotDotToken)
+            return { required, max: Number.POSITIVE_INFINITY };
+        max++;
+        // A `this:` parameter is a type-only declaration: it is erased and never
+        // occupies an argument slot.
+        if (parameter.name.kind === SyntaxKind.Identifier && parameter.name.text === "this") {
+            max--;
+            continue;
+        }
+        if (!parameter.questionToken && !parameter.initializer)
+            required = max;
+    }
+    return { required, max };
+}
+/** Symbols written after their declaration (so their signature can change). */
+function collectAssignedSymbols(sourceFile, binding) {
+    const assigned = new Set();
+    walk(sourceFile, (node) => {
+        if (node.kind !== SyntaxKind.BinaryExpression)
+            return;
+        const binary = node;
+        if (!ASSIGNMENT_OPERATORS.has(binary.operator))
+            return;
+        if (binary.left.kind !== SyntaxKind.Identifier)
+            return;
+        const symbol = binding.symbolOfIdentifier.get(binary.left);
+        if (symbol)
+            assigned.add(symbol.id);
+    });
+    return assigned;
+}
+function resolveCallee(binding, assigned, callee) {
+    if (callee.kind !== SyntaxKind.Identifier)
+        return undefined;
+    const symbol = binding.symbolOfIdentifier.get(callee);
+    if (!symbol || symbol.declarations.length !== 1 || assigned.has(symbol.id))
+        return undefined;
+    if (symbol.kind === SymbolKind.Function) {
+        return binding.functionOfNode.get(symbol.declarations[0]);
+    }
+    if (symbol.kind === SymbolKind.Const) {
+        const declaration = symbol.declarations[0];
+        if (declaration.kind !== SyntaxKind.VariableDeclaration)
+            return undefined;
+        const initializer = declaration.initializer;
+        if (!initializer)
+            return undefined;
+        if (initializer.kind !== SyntaxKind.ArrowFunction && initializer.kind !== SyntaxKind.FunctionExpression) {
+            return undefined;
+        }
+        return binding.functionOfNode.get(initializer);
+    }
+    return undefined;
+}
+function plural(count) {
+    return count === 1 ? "argument" : "arguments";
+}
+function expected(arity) {
+    if (arity.max === Number.POSITIVE_INFINITY)
+        return `at least ${arity.required} ${plural(arity.required)}`;
+    if (arity.required === arity.max)
+        return `${arity.required} ${plural(arity.required)}`;
+    return `${arity.required}-${arity.max} ${plural(arity.max)}`;
+}
+export function checkCallArity(sourceFile, binding, diagnostics) {
+    const assigned = collectAssignedSymbols(sourceFile, binding);
+    /* `function f() { return arguments.length; }` is a declared-zero-parameter
+     * function that legitimately accepts any number of arguments; its parameter
+     * list is not the whole signature. */
+    const argumentsUsers = new Map();
+    const usesArguments = (fn) => {
+        const cached = argumentsUsers.get(fn.id);
+        if (cached !== undefined)
+            return cached;
+        let found = false;
+        walk(fn.node, (node) => {
+            if (node.kind === SyntaxKind.Identifier && node.text === "arguments")
+                found = true;
+        });
+        argumentsUsers.set(fn.id, found);
+        return found;
+    };
+    walk(sourceFile, (node) => {
+        if (node.kind !== SyntaxKind.CallExpression)
+            return;
+        if (isUntypedNode(sourceFile, node))
+            return;
+        const call = node;
+        if (call.optional)
+            return;
+        if (call.arguments.some((argument) => argument.kind === SyntaxKind.SpreadElement))
+            return;
+        const fn = resolveCallee(binding, assigned, call.expression);
+        if (!fn || fn.isModule || usesArguments(fn))
+            return;
+        const arity = arityOf(fn);
+        if (!arity)
+            return;
+        const argc = call.arguments.length;
+        if (argc >= arity.required && argc <= arity.max)
+            return;
+        diagnostics.error(DiagnosticCode.ArgumentCountMismatch, `Expected ${expected(arity)}, but got ${argc}.`, call, fileNameOf(sourceFile, call));
+    });
+}
+//# sourceMappingURL=calls.js.map

package/dist/src/checker/calls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../../src/checker/calls.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,UAAU,GAOX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,UAAU,EAAsC,MAAM,qBAAqB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAsB,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AASjC,SAAS,OAAO,CAAC,EAAgB;IAC/B,MAAM,UAAU,GAAI,EAAE,CAAC,IAAyD,CAAC,UAAU,CAAC;IAC5F,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,cAAc;YAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACjF,GAAG,EAAE,CAAC;QACN,yEAAyE;QACzE,6BAA6B;QAC7B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAK,SAAS,CAAC,IAAmB,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpG,GAAG,EAAE,CAAC;YACN,SAAS;QACX,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,WAAW;YAAE,QAAQ,GAAG,GAAG,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAC3B,CAAC;AAED,+EAA+E;AAC/E,SAAS,sBAAsB,CAAC,UAA0B,EAAE,OAAmB;IAC7E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB;YAAE,OAAO;QACtD,MAAM,MAAM,GAAG,IAAwB,CAAC;QACxC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,OAAO;QACvD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;YAAE,OAAO;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAkB,CAAC,CAAC;QACzE,IAAI,MAAM;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CAAC,OAAmB,EAAE,QAA6B,EAAE,MAAkB;IAC3F,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAoB,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC;QAC5C,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB;YAAE,OAAO,SAAS,CAAC;QAC1E,MAAM,WAAW,GAAI,WAAuD,CAAC,WAAW,CAAC;QACzF,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;YACxG,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;AAChD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY;IAC5B,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,iBAAiB;QAAE,OAAO,YAAY,KAAK,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC1G,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,GAAG;QAAE,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;IACvF,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,UAA0B,EAC1B,OAAmB,EACnB,WAA0B;IAE1B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D;;0CAEsC;IACtC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAmB,CAAC;IAClD,MAAM,aAAa,GAAG,CAAC,EAAgB,EAAW,EAAE;QAClD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACrB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAK,IAAmB,CAAC,IAAI,KAAK,WAAW;gBAAE,KAAK,GAAG,IAAI,CAAC;QACrG,CAAC,CAAC,CAAC;QACH,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc;YAAE,OAAO;QACpD,IAAI,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC;YAAE,OAAO;QAC5C,MAAM,IAAI,GAAG,IAAsB,CAAC;QACpC,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,CAAC;YAAE,OAAO;QAC1F,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,IAAI,aAAa,CAAC,EAAE,CAAC;YAAE,OAAO;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;QACnC,IAAI,IAAI,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,GAAG;YAAE,OAAO;QACxD,WAAW,CAAC,KAAK,CACf,cAAc,CAAC,qBAAqB,EACpC,YAAY,QAAQ,CAAC,KAAK,CAAC,aAAa,IAAI,GAAG,EAC/C,IAAI,EACJ,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAC7B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/checker/checker.d.ts

@@ -0,0 +1,26 @@
+/**
+ * The opt-out semantic checker (`--check` / `--no-check`).
+ *
+ * It runs after binding and before code generation. The first three passes are
+ * inference-free:
+ *
+ *   1. identifier references with no declaration and no runtime global,
+ *   2. same-scope declarations that cannot merge (`let x` twice, ...),
+ *   3. calls whose argument count cannot match a locally-visible signature.
+ *
+ * The fourth pass uses a deliberately small structural type model to check
+ * assignability, property existence and simple flow narrowing. It understands
+ * annotations, interfaces, classes, arrays, functions, unions and simple
+ * generics; anything else is `any`, so unsupported syntax can hide a bug but
+ * never reject working code.
+ */
+import type { SourceFileNode } from "../ast/nodes.js";
+import type { BindResult } from "../binder/binder.js";
+import type { DiagnosticBag } from "../diagnostics/diagnostic.js";
+export interface CheckOptions {
+    /** Globals supplied by the registered extensions (`print`, `__registerScript`, ...). */
+    readonly builtins?: Readonly<Record<string, unknown>>;
+    /** Global values supplied by the registered extensions (`window`, `document`). */
+    readonly globalValues?: Readonly<Record<string, unknown>>;
+}
+export declare function checkProgram(sourceFile: SourceFileNode, binding: BindResult, diagnostics: DiagnosticBag, options?: CheckOptions): void;

package/dist/src/checker/checker.js

@@ -0,0 +1,31 @@
+/**
+ * The opt-out semantic checker (`--check` / `--no-check`).
+ *
+ * It runs after binding and before code generation. The first three passes are
+ * inference-free:
+ *
+ *   1. identifier references with no declaration and no runtime global,
+ *   2. same-scope declarations that cannot merge (`let x` twice, ...),
+ *   3. calls whose argument count cannot match a locally-visible signature.
+ *
+ * The fourth pass uses a deliberately small structural type model to check
+ * assignability, property existence and simple flow narrowing. It understands
+ * annotations, interfaces, classes, arrays, functions, unions and simple
+ * generics; anything else is `any`, so unsupported syntax can hide a bug but
+ * never reject working code.
+ */
+import { checkCallArity } from "./calls.js";
+import { reportDeclarationConflicts } from "./declarations.js";
+import { checkTypes } from "./typecheck.js";
+import { checkUnresolvedNames } from "./undefined.js";
+export function checkProgram(sourceFile, binding, diagnostics, options = {}) {
+    const builtinNames = new Set([
+        ...Object.keys(options.builtins ?? {}),
+        ...Object.keys(options.globalValues ?? {}),
+    ]);
+    checkUnresolvedNames(sourceFile, binding, diagnostics, builtinNames);
+    reportDeclarationConflicts(sourceFile, binding, diagnostics);
+    checkCallArity(sourceFile, binding, diagnostics);
+    checkTypes(sourceFile, binding, diagnostics);
+}
+//# sourceMappingURL=checker.js.map

package/dist/src/checker/checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/checker/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAKH,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAStD,MAAM,UAAU,YAAY,CAC1B,UAA0B,EAC1B,OAAmB,EACnB,WAA0B,EAC1B,UAAwB,EAAE;IAE1B,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;QACnC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;QACtC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;KAC3C,CAAC,CAAC;IACH,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;IACrE,0BAA0B,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC7D,cAAc,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IACjD,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;AAC/C,CAAC"}

package/dist/src/checker/declarations.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Redeclarations: the binder records same-scope declarations that cannot merge
+ * (`let x` twice, `function f` followed by `const f`, ...). This pass turns
+ * those facts into diagnostics.
+ */
+import type { SourceFileNode } from "../ast/nodes.js";
+import type { BindResult } from "../binder/binder.js";
+import { type DiagnosticBag } from "../diagnostics/diagnostic.js";
+export declare function reportDeclarationConflicts(sourceFile: SourceFileNode, binding: BindResult, diagnostics: DiagnosticBag): void;

package/dist/src/checker/declarations.js

@@ -0,0 +1,15 @@
+/**
+ * Redeclarations: the binder records same-scope declarations that cannot merge
+ * (`let x` twice, `function f` followed by `const f`, ...). This pass turns
+ * those facts into diagnostics.
+ */
+import { DiagnosticCode } from "../diagnostics/diagnostic.js";
+import { fileNameOf, isDependencyNode } from "./source.js";
+export function reportDeclarationConflicts(sourceFile, binding, diagnostics) {
+    for (const conflict of binding.conflicts) {
+        if (isDependencyNode(sourceFile, conflict.node))
+            continue;
+        diagnostics.error(DiagnosticCode.DuplicateIdentifier, `Duplicate identifier '${conflict.name}'.`, conflict.node, fileNameOf(sourceFile, conflict.node));
+    }
+}
+//# sourceMappingURL=declarations.js.map

package/dist/src/checker/declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.js","sourceRoot":"","sources":["../../../src/checker/declarations.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,cAAc,EAAsB,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE3D,MAAM,UAAU,0BAA0B,CACxC,UAA0B,EAC1B,OAAmB,EACnB,WAA0B;IAE1B,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACzC,IAAI,gBAAgB,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1D,WAAW,CAAC,KAAK,CACf,cAAc,CAAC,mBAAmB,EAClC,yBAAyB,QAAQ,CAAC,IAAI,IAAI,EAC1C,QAAQ,CAAC,IAAI,EACb,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CACtC,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/src/checker/flow.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Lightweight control-flow narrowing.
+ *
+ * Only the predicates whose refinement is unambiguous are handled:
+ * `typeof x === "..."`, comparisons with `null`/`undefined`, `instanceof`,
+ * truthiness and the `&&` / `||` / `??` forms that combine them. Everything
+ * else leaves the flow untouched, so a missed narrowing can only hide an
+ * error, never invent one.
+ */
+import { type Expression } from "../ast/nodes.js";
+import { type Type } from "./type-model.js";
+import type { TypeResolver } from "./type-system.js";
+export declare class Flow {
+    readonly parent?: Flow | undefined;
+    readonly overrides: ReadonlyMap<number, Type>;
+    constructor(parent?: Flow | undefined, overrides?: ReadonlyMap<number, Type>);
+    typeOf(symbolId: number): Type | undefined;
+    with(overrides: ReadonlyMap<number, Type>): Flow;
+}
+export declare function withoutNullish(type: Type): Type;
+export declare function narrow(condition: Expression, truthy: boolean, flow: Flow, resolver: TypeResolver): Flow;

package/dist/src/checker/flow.js

@@ -0,0 +1,241 @@
+/**
+ * Lightweight control-flow narrowing.
+ *
+ * Only the predicates whose refinement is unambiguous are handled:
+ * `typeof x === "..."`, comparisons with `null`/`undefined`, `instanceof`,
+ * truthiness and the `&&` / `||` / `??` forms that combine them. Everything
+ * else leaves the flow untouched, so a missed narrowing can only hide an
+ * error, never invent one.
+ */
+import { SyntaxKind, } from "../ast/nodes.js";
+import { primitive, unionMembers, unwrap } from "./type-model.js";
+export class Flow {
+    parent;
+    overrides;
+    constructor(parent, overrides = new Map()) {
+        this.parent = parent;
+        this.overrides = overrides;
+    }
+    typeOf(symbolId) {
+        return this.overrides.get(symbolId) ?? this.parent?.typeOf(symbolId);
+    }
+    with(overrides) {
+        return new Flow(this, overrides);
+    }
+}
+function merge(...maps) {
+    const result = new Map();
+    for (const map of maps)
+        for (const [key, value] of map)
+            result.set(key, value);
+    return result;
+}
+function symbolIdOf(expression, resolver) {
+    const unwrapped = unwrap(expression);
+    if (unwrapped.kind !== SyntaxKind.Identifier)
+        return undefined;
+    return resolver.binding.symbolOfIdentifier.get(unwrapped)?.id;
+}
+function nullishKind(expression) {
+    const unwrapped = unwrap(expression);
+    if (unwrapped.kind === SyntaxKind.NullKeyword)
+        return "null";
+    if (unwrapped.kind === SyntaxKind.UndefinedKeyword)
+        return "undefined";
+    if (unwrapped.kind === SyntaxKind.Identifier && unwrapped.text === "undefined")
+        return "undefined";
+    return undefined;
+}
+function literalType(expression) {
+    const unwrapped = unwrap(expression);
+    switch (unwrapped.kind) {
+        case SyntaxKind.StringLiteral:
+        case SyntaxKind.NoSubstitutionTemplateLiteral:
+            return { kind: "literal", value: unwrapped.value, primitive: "string" };
+        case SyntaxKind.NumericLiteral:
+            return { kind: "literal", value: unwrapped.value, primitive: "number" };
+        case SyntaxKind.TrueKeyword:
+            return { kind: "literal", value: true, primitive: "boolean" };
+        case SyntaxKind.FalseKeyword:
+            return { kind: "literal", value: false, primitive: "boolean" };
+        default:
+            return undefined;
+    }
+}
+const TYPEOF_NAMES = {
+    string: "string",
+    number: "number",
+    boolean: "boolean",
+    bigint: "bigint",
+    symbol: "symbol",
+    undefined: "undefined",
+};
+function filterType(type, predicate) {
+    const kept = unionMembers(type).filter(predicate);
+    if (kept.length === 0)
+        return undefined;
+    if (kept.length === 1)
+        return kept[0];
+    return { kind: "union", members: kept };
+}
+export function withoutNullish(type) {
+    return filterType(type, (member) => !(member.kind === "primitive" && (member.name === "null" || member.name === "undefined"))) ?? type;
+}
+function refine(type, predicate) {
+    return filterType(type, predicate);
+}
+function positiveRefinement(expression, flow, resolver) {
+    const result = new Map();
+    const unwrapped = unwrap(expression);
+    if (unwrapped.kind === SyntaxKind.Identifier) {
+        const id = symbolIdOf(unwrapped, resolver);
+        if (id !== undefined) {
+            const type = flow.typeOf(id) ?? resolver.typeOfSymbolId(id);
+            if (type)
+                result.set(id, withoutNullish(type));
+        }
+        return result;
+    }
+    if (unwrapped.kind === SyntaxKind.PrefixUnaryExpression) {
+        const unary = unwrapped;
+        if (unary.operator === "!")
+            return negativeRefinement(unary.operand, flow, resolver);
+        return result;
+    }
+    if (unwrapped.kind !== SyntaxKind.BinaryExpression)
+        return result;
+    const binary = unwrapped;
+    const operator = binary.operator;
+    if (operator === "&&")
+        return merge(positiveRefinement(binary.left, flow, resolver), positiveRefinement(binary.right, flow, resolver));
+    if (operator === "||") {
+        // `a || b` is truthy when either side is; no single refinement to apply.
+        return result;
+    }
+    if (operator === "??")
+        return positiveRefinement(binary.left, flow, resolver);
+    const equality = operator === "===" || operator === "==";
+    const inequality = operator === "!==" || operator === "!=";
+    if (equality || inequality) {
+        const leftNullish = nullishKind(binary.left);
+        const rightNullish = nullishKind(binary.right);
+        const nullish = leftNullish ?? rightNullish;
+        const other = leftNullish ? binary.right : binary.left;
+        const id = symbolIdOf(other, resolver);
+        if (id !== undefined && nullish) {
+            if (equality) {
+                const target = nullish === "nullish" ? [primitive("null"), primitive("undefined")] : [primitive(nullish)];
+                for (const type of target)
+                    result.set(id, type);
+            }
+            else {
+                const base = flow.typeOf(id) ?? resolver.typeOfSymbolId(id);
+                if (base) {
+                    const narrowed = refine(base, (member) => !(member.kind === "primitive" && (member.name === "null" || member.name === "undefined")));
+                    if (narrowed)
+                        result.set(id, narrowed);
+                }
+            }
+            return result;
+        }
+        // `typeof x === "string"` and friends.
+        const typeofSide = unwrap(binary.left).kind === SyntaxKind.TypeOfExpression ? binary.left : unwrap(binary.right).kind === SyntaxKind.TypeOfExpression ? binary.right : undefined;
+        const literalSide = literalType(typeofSide === binary.left ? binary.right : binary.left);
+        if (typeofSide && literalSide?.kind === "literal" && typeof literalSide.value === "string") {
+            const name = TYPEOF_NAMES[literalSide.value];
+            const operand = unwrap(typeofSide).expression;
+            const operandId = symbolIdOf(operand, resolver);
+            if (name && operandId !== undefined) {
+                const base = flow.typeOf(operandId) ?? resolver.typeOfSymbolId(operandId);
+                if (base) {
+                    const narrowed = refine(base, (member) => matchesTypeof(member, name));
+                    if (narrowed)
+                        result.set(operandId, narrowed);
+                }
+            }
+            return result;
+        }
+        // `x === "literal"` narrows to that literal.
+        const leftLiteral = literalType(binary.left);
+        const rightLiteral = literalType(binary.right);
+        if (leftLiteral && !rightLiteral) {
+            const id = symbolIdOf(binary.right, resolver);
+            if (id !== undefined)
+                result.set(id, leftLiteral);
+        }
+        else if (rightLiteral && !leftLiteral) {
+            const id = symbolIdOf(binary.left, resolver);
+            if (id !== undefined)
+                result.set(id, rightLiteral);
+        }
+        return result;
+    }
+    if (operator === "instanceof") {
+        const id = symbolIdOf(binary.left, resolver);
+        if (id === undefined)
+            return result;
+        const instance = resolver.classInstanceFromIdentifier(binary.right);
+        if (instance)
+            result.set(id, instance);
+    }
+    return result;
+}
+function negativeRefinement(expression, flow, resolver) {
+    const result = new Map();
+    const unwrapped = unwrap(expression);
+    if (unwrapped.kind === SyntaxKind.PrefixUnaryExpression) {
+        const unary = unwrapped;
+        if (unary.operator === "!")
+            return positiveRefinement(unary.operand, flow, resolver);
+        return result;
+    }
+    if (unwrapped.kind !== SyntaxKind.BinaryExpression)
+        return result;
+    const binary = unwrapped;
+    if (binary.operator === "&&") {
+        // `!(a && b)` does not refine either side on its own.
+        return result;
+    }
+    if (binary.operator === "||") {
+        return merge(negativeRefinement(binary.left, flow, resolver), negativeRefinement(binary.right, flow, resolver));
+    }
+    const equality = binary.operator === "===" || binary.operator === "==";
+    const inequality = binary.operator === "!==" || binary.operator === "!=";
+    if (!equality && !inequality)
+        return result;
+    const leftNullish = nullishKind(binary.left);
+    const rightNullish = nullishKind(binary.right);
+    const nullish = leftNullish ?? rightNullish;
+    const other = leftNullish ? binary.right : binary.left;
+    const id = symbolIdOf(other, resolver);
+    if (id === undefined || !nullish)
+        return result;
+    if (equality) {
+        // `!(x === null)` means x is non-null.
+        const base = flow.typeOf(id) ?? resolver.typeOfSymbolId(id);
+        if (!base)
+            return result;
+        const narrowed = refine(base, (member) => !(member.kind === "primitive" && (member.name === "null" || member.name === "undefined")));
+        if (narrowed)
+            result.set(id, narrowed);
+    }
+    else {
+        // `!(x !== null)` means x is null (or nullish for `!= null`).
+        const target = nullish === "nullish" ? [primitive("null"), primitive("undefined")] : [primitive(nullish)];
+        for (const type of target)
+            result.set(id, type);
+    }
+    return result;
+}
+function matchesTypeof(type, name) {
+    if (type.kind === "literal")
+        return type.primitive === name;
+    if (type.kind !== "primitive")
+        return false;
+    return type.name === name;
+}
+export function narrow(condition, truthy, flow, resolver) {
+    const overrides = truthy ? positiveRefinement(condition, flow, resolver) : negativeRefinement(condition, flow, resolver);
+    return overrides.size > 0 ? flow.with(overrides) : flow;
+}
+//# sourceMappingURL=flow.js.map

package/dist/src/checker/flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow.js","sourceRoot":"","sources":["../../../src/checker/flow.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,UAAU,GAMX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAa,MAAM,iBAAiB,CAAC;AAG7E,MAAM,OAAO,IAAI;IAEJ;IACA;IAFX,YACW,MAAa,EACb,YAAuC,IAAI,GAAG,EAAE;QADhD,WAAM,GAAN,MAAM,CAAO;QACb,cAAS,GAAT,SAAS,CAAuC;IACxD,CAAC;IAEJ,MAAM,CAAC,QAAgB;QACrB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,CAAC,SAAoC;QACvC,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnC,CAAC;CACF;AAED,SAAS,KAAK,CAAC,GAAG,IAAiC;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,UAAU,CAAC,UAAsB,EAAE,QAAsB;IAChE,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAO,QAAQ,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,SAAuB,CAAC,EAAE,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,WAAW,CAAC,UAAsB;IACzC,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,WAAW;QAAE,OAAO,MAAM,CAAC;IAC7D,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB;QAAE,OAAO,WAAW,CAAC;IACvE,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAK,SAAwB,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IACnH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,UAAsB;IACzC,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACrC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,UAAU,CAAC,aAAa,CAAC;QAC9B,KAAK,UAAU,CAAC,6BAA6B;YAC3C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAG,SAA+B,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QACjG,KAAK,UAAU,CAAC,cAAc;YAC5B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAG,SAA+B,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QACjG,KAAK,UAAU,CAAC,WAAW;YACzB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QAChE,KAAK,UAAU,CAAC,YAAY;YAC1B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QACjE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,YAAY,GAAkG;IAClH,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,SAAS,EAAE,WAAW;CACvB,CAAC;AAEF,SAAS,UAAU,CAAC,IAAU,EAAE,SAAoC;IAClE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;IACvC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACzI,CAAC;AAED,SAAS,MAAM,CAAC,IAAU,EAAE,SAAoC;IAC9D,OAAO,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAsB,EAAE,IAAU,EAAE,QAAsB;IACpF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IAErC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC3C,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC5D,IAAI,IAAI;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,qBAAqB,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,SAAkC,CAAC;QACjD,IAAI,KAAK,CAAC,QAAQ,KAAK,GAAG;YAAE,OAAO,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB;QAAE,OAAO,MAAM,CAAC;IAClE,MAAM,MAAM,GAAG,SAA6B,CAAC;IAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAEjC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,yEAAyE;QACzE,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAE9E,MAAM,QAAQ,GAAG,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,IAAI,CAAC;IACzD,MAAM,UAAU,GAAG,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,IAAI,CAAC;IAC3D,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,WAAW,IAAI,YAAY,CAAC;QAC5C,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QACvD,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvC,IAAI,EAAE,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC;YAChC,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,MAAM,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC1G,KAAK,MAAM,IAAI,IAAI,MAAM;oBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;gBAC5D,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC;oBACrI,IAAI,QAAQ;wBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,uCAAuC;QACvC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACjL,MAAM,WAAW,GAAG,WAAW,CAAC,UAAU,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzF,IAAI,UAAU,IAAI,WAAW,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC3F,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAI,MAAM,CAAC,UAAU,CAAsB,CAAC,UAAU,CAAC;YACpE,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAChD,IAAI,IAAI,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;gBAC1E,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;oBACvE,IAAI,QAAQ;wBAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAChD,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,6CAA6C;QAC7C,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,WAAW,IAAI,CAAC,YAAY,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC9C,IAAI,EAAE,KAAK,SAAS;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACpD,CAAC;aAAM,IAAI,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7C,IAAI,EAAE,KAAK,SAAS;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7C,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACpC,MAAM,QAAQ,GAAG,QAAQ,CAAC,2BAA2B,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAsB,EAAE,IAAU,EAAE,QAAsB;IACpF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,qBAAqB,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,SAAkC,CAAC;QACjD,IAAI,KAAK,CAAC,QAAQ,KAAK,GAAG;YAAE,OAAO,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB;QAAE,OAAO,MAAM,CAAC;IAClE,MAAM,MAAM,GAAG,SAA6B,CAAC;IAC7C,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC7B,sDAAsD;QACtD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC;IACvE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,KAAK,KAAK,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC;IACzE,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,WAAW,IAAI,YAAY,CAAC;IAC5C,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IACvD,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvC,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IAChD,IAAI,QAAQ,EAAE,CAAC;QACb,uCAAuC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI;YAAE,OAAO,MAAM,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC;QACrI,IAAI,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,8DAA8D;QAC9D,MAAM,MAAM,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1G,KAAK,MAAM,IAAI,IAAI,MAAM;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,IAAU,EAAE,IAAY;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC;IAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,SAAqB,EAAE,MAAe,EAAE,IAAU,EAAE,QAAsB;IAC/F,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzH,OAAO,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC"}

package/dist/src/checker/globals.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Names the compiler resolves without a user declaration.
+ *
+ * The tables are the same ones code generation uses, so "known global" and
+ * "codegen can lower it" cannot drift apart: a name added to a table becomes
+ * legal in the checker in the same commit.
+ */
+/** True when `name` is a runtime global (or an extension-provided builtin). */
+export declare function isKnownGlobalName(name: string, extensionBuiltins?: ReadonlySet<string>): boolean;

package/dist/src/checker/globals.js

@@ -0,0 +1,29 @@
+/**
+ * Names the compiler resolves without a user declaration.
+ *
+ * The tables are the same ones code generation uses, so "known global" and
+ * "codegen can lower it" cannot drift apart: a name added to a table becomes
+ * legal in the checker in the same commit.
+ */
+import { BUILTIN_FUNCTION_VALUES, CTOR_FUNCTIONS, ERROR_CONSTRUCTORS, FIRST_CLASS_CONSTRUCTORS, GLOBAL_FUNCTIONS, NAMESPACE_PROPERTIES, NAMESPACE_STATICS, TYPED_ARRAYS, } from "../codegen/generator/tables.js";
+const KNOWN_GLOBALS = new Set([
+    ...Object.keys(GLOBAL_FUNCTIONS),
+    ...Object.keys(BUILTIN_FUNCTION_VALUES),
+    ...Object.keys(ERROR_CONSTRUCTORS),
+    ...Object.keys(CTOR_FUNCTIONS),
+    ...Object.keys(TYPED_ARRAYS),
+    ...Object.keys(NAMESPACE_STATICS),
+    ...Object.keys(NAMESPACE_PROPERTIES),
+    ...FIRST_CLASS_CONSTRUCTORS,
+    // Handled directly in `emitIdentifier` rather than through a table.
+    "console",
+    "undefined",
+    "NaN",
+    "Infinity",
+    "arguments",
+]);
+/** True when `name` is a runtime global (or an extension-provided builtin). */
+export function isKnownGlobalName(name, extensionBuiltins) {
+    return KNOWN_GLOBALS.has(name) || (extensionBuiltins?.has(name) ?? false);
+}
+//# sourceMappingURL=globals.js.map

package/dist/src/checker/globals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"globals.js","sourceRoot":"","sources":["../../../src/checker/globals.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,uBAAuB,EACvB,cAAc,EACd,kBAAkB,EAClB,wBAAwB,EACxB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,GACb,MAAM,gCAAgC,CAAC;AAExC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAS;IACzD,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC;IAChC,GAAG,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC;IACvC,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC;IAClC,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;IAC9B,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;IAC5B,GAAG,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;IACjC,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC;IACpC,GAAG,wBAAwB;IAC3B,oEAAoE;IACpE,SAAS;IACT,WAAW;IACX,KAAK;IACL,UAAU;IACV,WAAW;CACZ,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,iBAAuC;IACrF,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;AAC5E,CAAC"}

package/dist/src/checker/source.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Small source-location helpers shared by the checker.
+ */
+import type { Node, SourceFileNode } from "../ast/nodes.js";
+/**
+ * The file a node came from. Bundling merges every module into one
+ * `SourceFile` while keeping module-local offsets, so the origin map is what
+ * keeps a diagnostic pointing at the file the user actually wrote.
+ */
+export declare function fileNameOf(sourceFile: SourceFileNode, node: Node): string;
+/**
+ * True when a node came from a bundled package under `node_modules`.
+ *
+ * The checker is a gate for the code the user wrote, not for dependency
+ * internals: a package may legitimately use `globalThis`, call a function
+ * through a pattern the arity heuristic cannot see, or rely on its own
+ * transpiler's output. Reporting those would make enabling the checker break
+ * otherwise working builds.
+ */
+export declare function isDependencyNode(sourceFile: SourceFileNode, node: Node): boolean;
+/**
+ * True when a node came from a plain JavaScript file (`.js`, `.mjs`, `.cjs`,
+ * `.jsx`).
+ *
+ * A JavaScript program is untyped by definition: TypeScript only infers and
+ * reports on such files with `checkJs`, and xbintsc honours the same boundary.
+ * Inferring types from unannotated JavaScript rejects valid code — a flag
+ * assigned `false` then `true` narrows to `false`, a method installed on a
+ * state object after its literal (`Game.foo = …`) is not a property of the
+ * literal, a closure variable initialized to `null` is "not callable", a call
+ * that relies on default parameters looks like an arity error. Names are still
+ * resolved (that is what code generation needs), and redeclarations are still
+ * reported, but no type, arity or property diagnostic is produced.
+ */
+export declare function isPlainJavaScriptNode(sourceFile: SourceFileNode, node: Node): boolean;
+/** True when a node is exempt from type checking: plain JavaScript or a
+ * bundled dependency (see {@link isDependencyNode}). */
+export declare function isUntypedNode(sourceFile: SourceFileNode, node: Node): boolean;

package/dist/src/checker/source.js

@@ -0,0 +1,48 @@
+/**
+ * Small source-location helpers shared by the checker.
+ */
+/**
+ * The file a node came from. Bundling merges every module into one
+ * `SourceFile` while keeping module-local offsets, so the origin map is what
+ * keeps a diagnostic pointing at the file the user actually wrote.
+ */
+export function fileNameOf(sourceFile, node) {
+    return sourceFile.origins?.get(node) ?? sourceFile.fileName;
+}
+/**
+ * True when a node came from a bundled package under `node_modules`.
+ *
+ * The checker is a gate for the code the user wrote, not for dependency
+ * internals: a package may legitimately use `globalThis`, call a function
+ * through a pattern the arity heuristic cannot see, or rely on its own
+ * transpiler's output. Reporting those would make enabling the checker break
+ * otherwise working builds.
+ */
+export function isDependencyNode(sourceFile, node) {
+    const origin = sourceFile.origins?.get(node);
+    return origin !== undefined && /(^|[\\/])node_modules[\\/]/.test(origin);
+}
+/**
+ * True when a node came from a plain JavaScript file (`.js`, `.mjs`, `.cjs`,
+ * `.jsx`).
+ *
+ * A JavaScript program is untyped by definition: TypeScript only infers and
+ * reports on such files with `checkJs`, and xbintsc honours the same boundary.
+ * Inferring types from unannotated JavaScript rejects valid code — a flag
+ * assigned `false` then `true` narrows to `false`, a method installed on a
+ * state object after its literal (`Game.foo = …`) is not a property of the
+ * literal, a closure variable initialized to `null` is "not callable", a call
+ * that relies on default parameters looks like an arity error. Names are still
+ * resolved (that is what code generation needs), and redeclarations are still
+ * reported, but no type, arity or property diagnostic is produced.
+ */
+export function isPlainJavaScriptNode(sourceFile, node) {
+    const origin = sourceFile.origins?.get(node) ?? sourceFile.fileName;
+    return /\.(js|mjs|cjs|jsx)$/i.test(origin);
+}
+/** True when a node is exempt from type checking: plain JavaScript or a
+ * bundled dependency (see {@link isDependencyNode}). */
+export function isUntypedNode(sourceFile, node) {
+    return isDependencyNode(sourceFile, node) || isPlainJavaScriptNode(sourceFile, node);
+}
+//# sourceMappingURL=source.js.map

package/dist/src/checker/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/checker/source.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,UAA0B,EAAE,IAAU;IAC/D,OAAO,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC;AAC9D,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAA0B,EAAE,IAAU;IACrE,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,MAAM,KAAK,SAAS,IAAI,4BAA4B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAA0B,EAAE,IAAU;IAC1E,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC;IACpE,OAAO,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED;wDACwD;AACxD,MAAM,UAAU,aAAa,CAAC,UAA0B,EAAE,IAAU;IAClE,OAAO,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AACvF,CAAC"}