@scriptc/compiler 0.1.7 → 0.2.0

package/dist/frontend/ts7/checker.js

@@ -1,3 +1,4 @@
+import { CheckerCache } from "./checker-cache.js";
 import { InternalCompilerError } from "../../errors.js";
 import { walkPreorder } from "./ast.js";
 import { SignatureKind, SyntaxKind, TypeFlags } from "./enums.js";
@@ -57,19 +58,11 @@ const TYPE_PREFETCH_KINDS = new Set([
     SyntaxKind.ArrayLiteralExpression,
     SyntaxKind.ConditionalExpression,
 ]);
-/** The TypeScript 7 client identity-dedupes immutable types but does not
- * memoize Type.getTypes(): every union/intersection inspection otherwise
- * repeats getTypesOfType over IPC. Keep that derived answer beside the
- * adapter, shared by preflight and lowering regardless of which facade
- * helper led to the type. */
-const constituentTypesOf = new WeakMap();
+/** Constituents are owned by the type's semantic project. The type checks
+ * its lifetime even for warm reads, and releases cached references when
+ * that project is disposed. No process-global cache retains old snapshots. */
 export function constituentTypes(type) {
-    let types = constituentTypesOf.get(type);
-    if (types === undefined) {
-        types = type.getTypes() ?? [];
-        constituentTypesOf.set(type, types);
-    }
-    return types;
+    return type.getTypes() ?? [];
 }
 /** Function-like declarations whose body is deferred until reachability
  * asks for it. Header prefetch walks their names, type parameters, params,
@@ -138,51 +131,24 @@ function collectNodes(roots, walk = "all") {
 export class CheckerFacade {
     raw;
     options;
-    /** Node-keyed memos. `undefined` results are represented by map presence
-     * (WeakMap.has), so misses and cached-undefined are distinguishable. */
-    typeAtLocation = new WeakMap();
-    symbolAtLocation = new WeakMap();
-    contextualType = new WeakMap();
-    typeFromTypeNode = new WeakMap();
-    shorthandValueSymbol = new WeakMap();
-    resolvedSignature = new WeakMap();
-    signatureFromDeclaration = new WeakMap();
-    /** Symbol-keyed memos. */
-    typeOfSymbol = new WeakMap();
-    aliasedSymbol = new WeakMap();
-    declaredTypeOfSymbol = new WeakMap();
-    /** Type-keyed memos. */
-    baseTypeOfLiteral = new WeakMap();
-    nonNullableType = new WeakMap();
-    propertiesOfType = new WeakMap();
-    indexInfosOfType = new WeakMap();
-    typeArgumentsOf = new WeakMap();
-    arrayTypeAnswer = new WeakMap();
-    arrayLikeAnswer = new WeakMap();
-    typeStringOf = new WeakMap();
-    awaitedTypeOf = new WeakMap();
-    /** Signature-keyed memos. */
-    returnTypeOf = new WeakMap();
-    typePredicateOf = new WeakMap();
-    /** Files whose nodes have been batch-prefetched, per query kind. */
-    prefetchedTypes = new WeakSet();
-    prefetchedSymbols = new WeakSet();
-    /** Files owned by explicit phase-aware prefetch. A miss in one of these
-     * files must stay a direct memoized query; falling back to whole-file
-     * prefetch would silently pull every unreachable body back into a build. */
-    managedTypes = new WeakSet();
-    managedSymbols = new WeakSet();
-    unknownType = null;
-    /** Intrinsic singletons (string/number/bigint/boolean), fetched once. */
-    intrinsics = new Map();
-    tupleTypeAnswer = new WeakMap();
+    cache = new CheckerCache();
     constructor(
     /** The underlying 7.0.2 sync checker — exposed for methods the facade
      * does not shim; going around the facade forfeits memoization only. */
     raw, options = {}) {
         this.raw = raw;
         this.options = options;
+        const cache = this.cache;
+        raw.project.onDispose(() => cache.dispose());
+    }
+    ensureActive() {
+        this.cache.ensureActive();
+        this.raw.project.ensureActive();
     }
+    /** Eagerly release memoized answers when a facade is no longer needed.
+     * The semantic project also owns this cleanup, covering session close
+     * and snapshot disposal even when callers retain the facade. */
+    dispose() { this.cache.dispose(); }
     /* ── the symbol-declaration surface (phase 3) ─────────────────────────
      * 7's Symbol carries declarations as NodeHandles (server references),
      * where 5.9.3 handed out the nodes themselves. The lowering reads
@@ -190,8 +156,6 @@ export class CheckerFacade {
      * the resolve step (NodeHandle.resolve into the client AST — identity-
      * stable, probe-verified) and memoizes per symbol. Requires the project
      * the symbols came from (options.project — Ts7Program supplies it). */
-    declsOf = new WeakMap();
-    valueDeclOf = new WeakMap();
     requireProject() {
         const project = this.options.project;
         if (!project)
@@ -201,57 +165,75 @@ export class CheckerFacade {
     /** 5.9.3's symbol.declarations (never undefined here: 7 answers an empty
      * array where 5.9.3 answered undefined — callers treat them alike). */
     declarationsOf(symbol) {
-        let decls = this.declsOf.get(symbol);
+        this.ensureActive();
+        let decls = this.cache.declsOf.get(symbol);
         if (decls === undefined) {
             const project = this.requireProject();
-            decls = symbol.declarations
-                .map((h) => h.resolve(project))
-                .filter((n) => n !== undefined);
-            this.declsOf.set(symbol, decls);
+            const resolved = [];
+            for (const handle of symbol.declarations) {
+                const node = handle.resolve(project);
+                if (node !== undefined)
+                    resolved.push(node);
+            }
+            decls = resolved;
+            this.cache.declsOf.set(symbol, decls);
         }
         return decls;
     }
     /** 5.9.3's symbol.valueDeclaration. */
     valueDeclarationOf(symbol) {
-        if (this.valueDeclOf.has(symbol))
-            return this.valueDeclOf.get(symbol);
+        this.ensureActive();
+        if (this.cache.valueDeclOf.has(symbol))
+            return this.cache.valueDeclOf.get(symbol);
         const decl = symbol.valueDeclaration?.resolve(this.requireProject());
-        this.valueDeclOf.set(symbol, decl);
+        this.cache.valueDeclOf.set(symbol, decl);
         return decl;
     }
     /** 5.9.3's signature.getDeclaration() (undefined for synthesized
      * signatures — same contract as sig.declaration there). */
     signatureDeclaration(signature) {
-        if (this.sigDeclOf.has(signature))
-            return this.sigDeclOf.get(signature);
+        this.ensureActive();
+        if (this.cache.sigDeclOf.has(signature))
+            return this.cache.sigDeclOf.get(signature);
         const decl = signature.declaration?.resolve(this.requireProject());
-        this.sigDeclOf.set(signature, decl);
+        this.cache.sigDeclOf.set(signature, decl);
         return decl;
     }
-    sigDeclOf = new WeakMap();
     /** 5.9.3's type.getCallSignatures(). */
     getCallSignatures(type) {
-        let sigs = this.callSigsOf.get(type);
+        this.ensureActive();
+        let sigs = this.cache.callSigsOf.get(type);
         if (sigs === undefined) {
             sigs = this.raw.getSignaturesOfType(type, SignatureKind.Call);
-            this.callSigsOf.set(type, sigs);
+            this.cache.callSigsOf.set(type, sigs);
         }
         return sigs;
     }
-    callSigsOf = new WeakMap();
     /** 5.9.3's type.getConstructSignatures(). */
     getConstructSignatures(type) {
-        let sigs = this.ctorSigsOf.get(type);
+        this.ensureActive();
+        let sigs = this.cache.ctorSigsOf.get(type);
         if (sigs === undefined) {
             sigs = this.raw.getSignaturesOfType(type, SignatureKind.Construct);
-            this.ctorSigsOf.set(type, sigs);
+            this.cache.ctorSigsOf.set(type, sigs);
         }
         return sigs;
     }
-    ctorSigsOf = new WeakMap();
     /** 5.9.3's type.getProperty(name). */
     getPropertyOfType(type, name) {
-        return this.raw.getPropertyOfType(type, name);
+        this.ensureActive();
+        let properties = this.cache.propertyOfType.get(type);
+        if (properties === undefined) {
+            properties = new Map();
+            this.cache.propertyOfType.set(type, properties);
+        }
+        // Absence is an answer too. Both keys belong to this immutable project;
+        // another snapshot or project must ask its own checker.
+        if (properties.has(name))
+            return properties.get(name);
+        const symbol = this.raw.getPropertyOfType(type, name);
+        properties.set(name, symbol);
+        return symbol;
     }
     /** The 5.9.3 checker never answered undefined from getTypeAtLocation-
      * family queries (errorType/anyType stood in); the 7 client loosens them
@@ -267,6 +249,7 @@ export class CheckerFacade {
      * surfaced — the per-file hook that turns the lowering's walk into three
      * array requests instead of thousands of round trips. */
     prefetchSourceFile(sf) {
+        this.ensureActive();
         this.prefetchTypes(sf);
         this.prefetchSymbols(sf);
     }
@@ -276,6 +259,7 @@ export class CheckerFacade {
      * bodies wait for reachability. Calling this also opts the files out of
      * accidental whole-file first-miss prefetch. */
     prefetchSourceFileStructures(files) {
+        this.ensureActive();
         this.markManaged(files);
         this.prefetchNodes(collectNodes(files, "structure"));
     }
@@ -284,6 +268,7 @@ export class CheckerFacade {
      * worklist wave. The roots may overlap; identity deduplication and the
      * answer memos make warm repeats free. */
     prefetchRoots(roots) {
+        this.ensureActive();
         this.markManaged(roots);
         this.prefetchNodes(collectNodes(roots, "reachable"));
     }
@@ -292,18 +277,21 @@ export class CheckerFacade {
      * analyses that themselves inspect deferred bodies for binding identity:
      * those scans need symbols, but do not consume the symbols' types. */
     prefetchSymbolRoots(roots) {
+        this.ensureActive();
         this.markManaged(roots);
         this.prefetchSymbolNodes(collectNodes(roots), false, false);
     }
     /** Exact-node sibling of prefetchSymbolRoots for analyses that first
      * narrow a large AST walk to the identifier spellings they compare. */
     prefetchSymbolNodesExact(nodes) {
+        this.ensureActive();
         this.markManaged(nodes);
         this.prefetchSymbolNodes([...new Set(nodes)], false, false);
     }
     /** Batches the hot getTypeAtLocation nodes structure collection may read
      * despite their runtime expressions being reachability-deferred. */
     prefetchCollectionTypes(nodes) {
+        this.ensureActive();
         this.markManaged(nodes);
         // Match ordinary whole-file prefetch's hot-kind boundary. Collection
         // asks some defaults conditionally; uncommon cold expressions should
@@ -317,20 +305,21 @@ export class CheckerFacade {
      * on non-identifiers. Descendants of symbol roots join because computed
      * `this[key]` declarations resolve the key identifier too. */
     prefetchClassCollection(typeNodes, symbolRoots) {
+        this.ensureActive();
         this.markManaged([...typeNodes, ...symbolRoots]);
         this.prefetchExactTypeNodes(typeNodes);
         this.prefetchSymbolNodes(collectNodes(symbolRoots, "reachable"), true);
     }
     prefetchExactTypeNodes(typeNodes) {
-        const distinctTypes = [...new Set(typeNodes)].filter((node) => !this.typeAtLocation.has(node));
+        const distinctTypes = [...new Set(typeNodes)].filter((node) => !this.cache.typeAtLocation.has(node));
         const types = chunked(distinctTypes, (chunk) => this.typesWithPanicFence(chunk));
-        distinctTypes.forEach((node, index) => this.typeAtLocation.set(node, types[index]));
+        distinctTypes.forEach((node, index) => this.cache.typeAtLocation.set(node, types[index]));
     }
     markManaged(roots) {
         for (const root of roots) {
             const sf = root.getSourceFile();
-            this.managedTypes.add(sf);
-            this.managedSymbols.add(sf);
+            this.cache.managedTypes.add(sf);
+            this.cache.managedSymbols.add(sf);
         }
     }
     prefetchNodes(nodes) {
@@ -338,15 +327,15 @@ export class CheckerFacade {
         this.prefetchSymbolNodes(nodes);
     }
     prefetchTypes(sf) {
-        if (this.prefetchedTypes.has(sf))
+        if (this.cache.prefetchedTypes.has(sf))
             return;
-        this.prefetchedTypes.add(sf);
+        this.cache.prefetchedTypes.add(sf);
         this.prefetchTypeNodes(collectNodes([sf]));
     }
     prefetchTypeNodes(allNodes) {
-        const nodes = allNodes.filter((n) => TYPE_PREFETCH_KINDS.has(n.kind) && !this.typeAtLocation.has(n));
+        const nodes = allNodes.filter((n) => TYPE_PREFETCH_KINDS.has(n.kind) && !this.cache.typeAtLocation.has(n));
         const types = chunked(nodes, (chunk) => this.typesWithPanicFence(chunk));
-        nodes.forEach((n, i) => this.typeAtLocation.set(n, types[i]));
+        nodes.forEach((n, i) => this.cache.typeAtLocation.set(n, types[i]));
     }
     /** withPanicFence over the type sweep (observed panic: GetTypeAtLocation
      * over an unresolved npm import's clause — a server-side nil deref). */
@@ -354,70 +343,77 @@ export class CheckerFacade {
         return withPanicFence(chunk, (c) => this.raw.getTypeAtLocation(c));
     }
     prefetchSymbols(sf) {
-        if (this.prefetchedSymbols.has(sf))
+        if (this.cache.prefetchedSymbols.has(sf))
             return;
-        this.prefetchedSymbols.add(sf);
+        this.cache.prefetchedSymbols.add(sf);
         this.prefetchSymbolNodes(collectNodes([sf]));
     }
     prefetchSymbolNodes(allNodes, includePropertyAccess = false, prefetchSymbolTypes = true) {
         const symbolNodes = allNodes.filter((n) => (n.kind === SyntaxKind.Identifier ||
             (includePropertyAccess && n.kind === SyntaxKind.PropertyAccessExpression)));
-        const nodes = symbolNodes.filter((n) => !this.symbolAtLocation.has(n));
+        const nodes = symbolNodes.filter((n) => !this.cache.symbolAtLocation.has(n));
         // The same bisecting panic fence as the type sweep: tsgo panics on
         // SYMBOL queries too (observed: GetSymbolAtLocation over an
         // `import.defer(...)` callee — the sweep's batch must not turn one
         // poisonous node into a build crash).
         const symbols = chunked(nodes, (chunk) => withPanicFence(chunk, (c) => this.raw.getSymbolAtLocation(c)));
-        nodes.forEach((n, i) => this.symbolAtLocation.set(n, symbols[i]));
+        nodes.forEach((n, i) => this.cache.symbolAtLocation.set(n, symbols[i]));
         if (!prefetchSymbolTypes)
             return;
         // The walk's companion query: types of the symbols the file mentions.
         // Include warm node answers too: a preceding symbol-only analysis may
         // have populated symbolAtLocation without fetching symbol types, and a
         // later reachable-body wave must still batch those missing types.
-        const distinct = [
-            ...new Set(symbolNodes
-                .map((node) => this.symbolAtLocation.get(node))
-                .filter((symbol) => symbol !== undefined)),
-        ].filter((symbol) => !this.typeOfSymbol.has(symbol));
+        const distinct = [];
+        const seen = new Set();
+        for (const node of symbolNodes) {
+            const symbol = this.cache.symbolAtLocation.get(node);
+            if (symbol === undefined || seen.has(symbol) || this.cache.typeOfSymbol.has(symbol))
+                continue;
+            seen.add(symbol);
+            distinct.push(symbol);
+        }
         const symbolTypes = chunked(distinct, (chunk) => withPanicFence(chunk, (c) => this.raw.getTypeOfSymbol(c)));
-        distinct.forEach((s, i) => this.typeOfSymbol.set(s, symbolTypes[i]));
+        distinct.forEach((s, i) => this.cache.typeOfSymbol.set(s, symbolTypes[i]));
     }
     autoPrefetch(node, kind) {
         if (this.options.autoPrefetch === false)
             return;
         const sf = node.getSourceFile();
         if (kind === "types") {
-            if (!this.managedTypes.has(sf))
+            if (!this.cache.managedTypes.has(sf))
                 this.prefetchTypes(sf);
         }
-        else if (!this.managedSymbols.has(sf)) {
+        else if (!this.cache.managedSymbols.has(sf)) {
             this.prefetchSymbols(sf);
         }
     }
     getTypeAtLocation(node) {
-        if (this.typeAtLocation.has(node))
-            return this.typeAtLocation.get(node) ?? this.anyType();
+        this.ensureActive();
+        if (this.cache.typeAtLocation.has(node))
+            return this.cache.typeAtLocation.get(node) ?? this.anyType();
         this.autoPrefetch(node, "types");
-        if (this.typeAtLocation.has(node))
-            return this.typeAtLocation.get(node) ?? this.anyType();
+        if (this.cache.typeAtLocation.has(node))
+            return this.cache.typeAtLocation.get(node) ?? this.anyType();
         const type = this.raw.getTypeAtLocation(node);
-        this.typeAtLocation.set(node, type);
+        this.cache.typeAtLocation.set(node, type);
         return type ?? this.anyType();
     }
     getSymbolAtLocation(node) {
-        if (this.symbolAtLocation.has(node))
-            return this.symbolAtLocation.get(node);
+        this.ensureActive();
+        if (this.cache.symbolAtLocation.has(node))
+            return this.cache.symbolAtLocation.get(node);
         this.autoPrefetch(node, "symbols");
-        if (this.symbolAtLocation.has(node))
-            return this.symbolAtLocation.get(node);
+        if (this.cache.symbolAtLocation.has(node))
+            return this.cache.symbolAtLocation.get(node);
         const symbol = this.raw.getSymbolAtLocation(node);
-        this.symbolAtLocation.set(node, symbol);
+        this.cache.symbolAtLocation.set(node, symbol);
         return symbol;
     }
     getTypeOfSymbol(symbol) {
-        if (this.typeOfSymbol.has(symbol))
-            return this.typeOfSymbol.get(symbol) ?? this.anyType();
+        this.ensureActive();
+        if (this.cache.typeOfSymbol.has(symbol))
+            return this.cache.typeOfSymbol.get(symbol) ?? this.anyType();
         // The direct (memo-miss) path wears the same panic fence as the
         // prefetch sweep: symbols the sweep never saw (members resolved from
         // other files' d.ts) can hit the identical server panics (observed:
@@ -425,72 +421,81 @@ export class CheckerFacade {
         // engine graph), and the fence's answer is the sweep's — undefined,
         // presented as `any`.
         const [type] = withPanicFence([symbol], (c) => this.raw.getTypeOfSymbol(c));
-        this.typeOfSymbol.set(symbol, type);
+        this.cache.typeOfSymbol.set(symbol, type);
         return type ?? this.anyType();
     }
     getAliasedSymbol(symbol) {
-        let aliased = this.aliasedSymbol.get(symbol);
+        this.ensureActive();
+        let aliased = this.cache.aliasedSymbol.get(symbol);
         if (aliased === undefined) {
             aliased = this.raw.getAliasedSymbol(symbol);
-            this.aliasedSymbol.set(symbol, aliased);
+            this.cache.aliasedSymbol.set(symbol, aliased);
         }
         return aliased;
     }
     getDeclaredTypeOfSymbol(symbol) {
-        let type = this.declaredTypeOfSymbol.get(symbol);
+        this.ensureActive();
+        let type = this.cache.declaredTypeOfSymbol.get(symbol);
         if (type === undefined) {
             type = this.raw.getDeclaredTypeOfSymbol(symbol);
-            this.declaredTypeOfSymbol.set(symbol, type);
+            this.cache.declaredTypeOfSymbol.set(symbol, type);
         }
         return type;
     }
     getContextualType(node) {
-        if (this.contextualType.has(node))
-            return this.contextualType.get(node);
+        this.ensureActive();
+        if (this.cache.contextualType.has(node))
+            return this.cache.contextualType.get(node);
         const type = this.raw.getContextualType(node);
-        this.contextualType.set(node, type);
+        this.cache.contextualType.set(node, type);
         return type;
     }
     getTypeFromTypeNode(node) {
-        if (this.typeFromTypeNode.has(node))
-            return this.typeFromTypeNode.get(node) ?? this.anyType();
+        this.ensureActive();
+        if (this.cache.typeFromTypeNode.has(node))
+            return this.cache.typeFromTypeNode.get(node) ?? this.anyType();
         const type = this.raw.getTypeFromTypeNode(node);
-        this.typeFromTypeNode.set(node, type);
+        this.cache.typeFromTypeNode.set(node, type);
         return type ?? this.anyType();
     }
     getShorthandAssignmentValueSymbol(node) {
-        if (this.shorthandValueSymbol.has(node))
-            return this.shorthandValueSymbol.get(node);
+        this.ensureActive();
+        if (this.cache.shorthandValueSymbol.has(node))
+            return this.cache.shorthandValueSymbol.get(node);
         const symbol = this.raw.getShorthandAssignmentValueSymbol(node);
-        this.shorthandValueSymbol.set(node, symbol);
+        this.cache.shorthandValueSymbol.set(node, symbol);
         return symbol;
     }
     getResolvedSignature(node) {
-        if (this.resolvedSignature.has(node))
-            return this.resolvedSignature.get(node);
+        this.ensureActive();
+        if (this.cache.resolvedSignature.has(node))
+            return this.cache.resolvedSignature.get(node);
         const signature = this.raw.getResolvedSignature(node);
-        this.resolvedSignature.set(node, signature);
+        this.cache.resolvedSignature.set(node, signature);
         return signature;
     }
     getSignatureFromDeclaration(node) {
-        if (this.signatureFromDeclaration.has(node))
-            return this.signatureFromDeclaration.get(node);
+        this.ensureActive();
+        if (this.cache.signatureFromDeclaration.has(node))
+            return this.cache.signatureFromDeclaration.get(node);
         const signature = this.raw.getSignatureFromDeclaration(node);
-        this.signatureFromDeclaration.set(node, signature);
+        this.cache.signatureFromDeclaration.set(node, signature);
         return signature;
     }
     getReturnTypeOfSignature(signature) {
-        if (this.returnTypeOf.has(signature))
-            return this.returnTypeOf.get(signature) ?? this.anyType();
+        this.ensureActive();
+        if (this.cache.returnTypeOf.has(signature))
+            return this.cache.returnTypeOf.get(signature) ?? this.anyType();
         const type = this.raw.getReturnTypeOfSignature(signature);
-        this.returnTypeOf.set(signature, type);
+        this.cache.returnTypeOf.set(signature, type);
         return type ?? this.anyType();
     }
     getTypePredicateOfSignature(signature) {
-        if (this.typePredicateOf.has(signature))
-            return this.typePredicateOf.get(signature);
+        this.ensureActive();
+        if (this.cache.typePredicateOf.has(signature))
+            return this.cache.typePredicateOf.get(signature);
         const predicate = this.raw.getTypePredicateOfSignature(signature);
-        this.typePredicateOf.set(signature, predicate);
+        this.cache.typePredicateOf.set(signature, predicate);
         return predicate;
     }
     /** 5.9.3 semantics, answered client-side wherever type.flags suffices:
@@ -498,7 +503,8 @@ export class CheckerFacade {
      * (one IPC ever per intrinsic); enum-ish and union types round-trip
      * (memoized); everything else is itself. */
     getBaseTypeOfLiteralType(type) {
-        const memo = this.baseTypeOfLiteral.get(type);
+        this.ensureActive();
+        const memo = this.cache.baseTypeOfLiteral.get(type);
         if (memo !== undefined)
             return memo;
         const flags = type.flags;
@@ -521,14 +527,14 @@ export class CheckerFacade {
         else {
             base = type;
         }
-        this.baseTypeOfLiteral.set(type, base);
+        this.cache.baseTypeOfLiteral.set(type, base);
         return base;
     }
     intrinsic(name, fetch) {
-        let type = this.intrinsics.get(name);
+        let type = this.cache.intrinsics.get(name);
         if (type === undefined) {
             type = fetch();
-            this.intrinsics.set(name, type);
+            this.cache.intrinsics.set(name, type);
         }
         return type;
     }
@@ -538,59 +544,106 @@ export class CheckerFacade {
      * (access-expression queries answer const enums only — same as 5.9.3 —
      * so the lowering resolves the member symbol and asks its declaration). */
     getConstantValue(node) {
-        if (this.constantValueOf.has(node))
-            return this.constantValueOf.get(node);
+        this.ensureActive();
+        if (this.cache.constantValueOf.has(node))
+            return this.cache.constantValueOf.get(node);
         const value = this.raw.getConstantValue(node);
-        this.constantValueOf.set(node, value);
+        this.cache.constantValueOf.set(node, value);
         return value;
     }
-    constantValueOf = new WeakMap();
     getNonNullableType(type) {
-        if (this.nonNullableType.has(type))
-            return this.nonNullableType.get(type) ?? type;
+        this.ensureActive();
+        if (this.cache.nonNullableType.has(type))
+            return this.cache.nonNullableType.get(type) ?? type;
         const result = this.raw.getNonNullableType(type);
-        this.nonNullableType.set(type, result);
+        this.cache.nonNullableType.set(type, result);
         return result ?? type;
     }
     getPropertiesOfType(type) {
-        let props = this.propertiesOfType.get(type);
+        this.ensureActive();
+        let props = this.cache.propertiesOfType.get(type);
         if (props === undefined) {
             props = this.raw.getPropertiesOfType(type);
-            this.propertiesOfType.set(type, props);
+            this.cache.propertiesOfType.set(type, props);
         }
         return props;
     }
+    getBaseTypes(type) {
+        this.ensureActive();
+        let bases = this.cache.baseTypesOf.get(type);
+        if (bases === undefined) {
+            bases = this.raw.getBaseTypes(type);
+            this.cache.baseTypesOf.set(type, bases);
+        }
+        return bases;
+    }
+    /** Distributed intersections retain their original flags in the client
+     * even when conflicting discriminants reduce the type to never. Ask the
+     * checker for that semantic answer instead of inspecting display text. */
+    isNeverType(type) {
+        this.ensureActive();
+        if (type.flags & TypeFlags.Never)
+            return true;
+        if (!(type.flags & (TypeFlags.Intersection | TypeFlags.Union)))
+            return false;
+        let answer = this.cache.neverTypeAnswer.get(type);
+        if (answer === undefined) {
+            const never = this.intrinsic("never", () => this.raw.getNeverType());
+            answer = this.raw.isTypeAssignableTo(type, never);
+            this.cache.neverTypeAnswer.set(type, answer);
+        }
+        return answer;
+    }
+    isTypeAssignableTo(source, target) {
+        this.ensureActive();
+        if (source === target)
+            return true;
+        let targets = this.cache.assignableTypes.get(source);
+        if (targets === undefined) {
+            targets = new Map();
+            this.cache.assignableTypes.set(source, targets);
+        }
+        let answer = targets.get(target);
+        if (answer === undefined) {
+            answer = this.raw.isTypeAssignableTo(source, target);
+            targets.set(target, answer);
+        }
+        return answer;
+    }
     getIndexInfosOfType(type) {
-        let infos = this.indexInfosOfType.get(type);
+        this.ensureActive();
+        let infos = this.cache.indexInfosOfType.get(type);
         if (infos === undefined) {
             infos = this.raw.getIndexInfosOfType(type);
-            this.indexInfosOfType.set(type, infos);
+            this.cache.indexInfosOfType.set(type, infos);
         }
         return infos;
     }
     getTypeArguments(type) {
-        let args = this.typeArgumentsOf.get(type);
+        this.ensureActive();
+        let args = this.cache.typeArgumentsOf.get(type);
         if (args === undefined) {
             // 5.9.3 answered [] for a non-reference passed by cast (the lowering
             // leans on that — a concretely-declared interface takes the same
             // path as its generic @types twin); tsgo PANICS on it, so the
             // reference check happens client-side (free — objectFlags).
             args = type.isTypeReference() ? this.raw.getTypeArguments(type) : [];
-            this.typeArgumentsOf.set(type, args);
+            this.cache.typeArgumentsOf.set(type, args);
         }
         return args;
     }
     isArrayType(type) {
+        this.ensureActive();
         // Arrays are object types. The raw checker agrees that primitive,
         // union/intersection, and type-parameter objects themselves are not
         // arrays (a narrowed array arm arrives as its object type), so avoid a
         // request for every visibly non-object type just as isTupleType does.
         if (!(type.flags & TypeFlags.Object))
             return false;
-        let answer = this.arrayTypeAnswer.get(type);
+        let answer = this.cache.arrayTypeAnswer.get(type);
         if (answer === undefined) {
             answer = this.raw.isArrayType(type);
-            this.arrayTypeAnswer.set(type, answer);
+            this.cache.arrayTypeAnswer.set(type, answer);
         }
         return answer;
     }
@@ -601,51 +654,60 @@ export class CheckerFacade {
      * so shape-true and non-object-false resolve locally and only object
      * types that are not visibly tuples round-trip, memoized. */
     isTupleType(type) {
+        this.ensureActive();
         if (type.isTupleType())
             return true;
         if (!(type.flags & TypeFlags.Object))
             return false;
-        let answer = this.tupleTypeAnswer.get(type);
+        let answer = this.cache.tupleTypeAnswer.get(type);
         if (answer === undefined) {
             answer = this.raw.isTupleType(type);
-            this.tupleTypeAnswer.set(type, answer);
+            this.cache.tupleTypeAnswer.set(type, answer);
         }
         return answer;
     }
     isArrayLikeType(type) {
-        let answer = this.arrayLikeAnswer.get(type);
+        this.ensureActive();
+        let answer = this.cache.arrayLikeAnswer.get(type);
         if (answer === undefined) {
             answer = this.raw.isArrayLikeType(type);
-            this.arrayLikeAnswer.set(type, answer);
+            this.cache.arrayLikeAnswer.set(type, answer);
         }
         return answer;
     }
     typeToString(type, enclosingDeclaration, flags) {
+        this.ensureActive();
         if (enclosingDeclaration === undefined && flags === undefined) {
-            let text = this.typeStringOf.get(type);
+            let text = this.cache.typeStringOf.get(type);
             if (text === undefined) {
                 text = this.raw.typeToString(type);
-                this.typeStringOf.set(type, text);
+                this.cache.typeStringOf.set(type, text);
             }
             return text;
         }
         return this.raw.typeToString(type, enclosingDeclaration, flags);
     }
     getTypeOfSymbolAtLocation(symbol, location) {
+        this.ensureActive();
         // Two-key query with one census call site: no memo, straight through.
         return this.raw.getTypeOfSymbolAtLocation(symbol, location);
     }
     getUnknownType() {
-        this.unknownType ??= this.raw.getUnknownType();
-        return this.unknownType;
+        this.ensureActive();
+        if (this.cache.unknownType === null)
+            this.cache.unknownType = this.raw.getUnknownType();
+        return this.cache.unknownType;
     }
     getStringType() {
+        this.ensureActive();
         return this.intrinsic("string", () => this.raw.getStringType());
     }
     getNumberType() {
+        this.ensureActive();
         return this.intrinsic("number", () => this.raw.getNumberType());
     }
     getBooleanType() {
+        this.ensureActive();
         return this.intrinsic("boolean", () => this.raw.getBooleanType());
     }
     /** 7.0.2 dropped getAwaitedType (the census's one MISSING checker method).
@@ -656,10 +718,11 @@ export class CheckerFacade {
      * site does exactly that) — a union like `T | PromiseLike<T>` collapses by
      * object identity to T, which is the pattern that call site exists for. */
     getAwaitedType(type) {
-        if (this.awaitedTypeOf.has(type))
-            return this.awaitedTypeOf.get(type);
+        this.ensureActive();
+        if (this.cache.awaitedTypeOf.has(type))
+            return this.cache.awaitedTypeOf.get(type);
         const awaited = this.computeAwaitedType(type, 0);
-        this.awaitedTypeOf.set(type, awaited);
+        this.cache.awaitedTypeOf.set(type, awaited);
         return awaited;
     }
     computeAwaitedType(type, depth) {
@@ -674,7 +737,14 @@ export class CheckerFacade {
             // (5.9.3 answers the input type — string | null stays string | null).
             if (awaited.every((arm, i) => arm === arms[i]))
                 return type;
-            const distinct = [...new Set(awaited)];
+            const distinct = [];
+            const seen = new Set();
+            for (const arm of awaited) {
+                if (arm !== undefined && !seen.has(arm)) {
+                    seen.add(arm);
+                    distinct.push(arm);
+                }
+            }
             return distinct.length === 1 ? distinct[0] : undefined;
         }
         const unwrapped = this.promiseArgumentOf(type);
@@ -688,7 +758,7 @@ export class CheckerFacade {
     promiseArgumentOf(type) {
         if (!type.isTypeReference())
             return null;
-        const name = type.getTarget().getSymbol()?.name;
+        const name = type.getTarget()?.getSymbol()?.name;
         if (name !== "Promise" && name !== "PromiseLike")
             return null;
         const args = this.getTypeArguments(type);