@scriptc/compiler 0.1.7 → 0.2.1

package/dist/frontend/ts7/ast.js

@@ -1,6 +1,7 @@
-/* The AST layer of the census under the 5.9.3 names, over 7.0.2's client
- * AST (typescript/unstable/ast — fully client-side, no IPC anywhere in this
- * module).
+/* Frontend AST helpers over the owned native TypeScript 7 node model.
+ * Kind-specific interfaces refine its concrete getters and preserve object
+ * identity. Guards and token spellings come from the pinned SDK generator;
+ * this module does not import an SDK runtime implementation.
  *
  * Guards: 82 of the census's 90 is* guards re-export same-name; seven were
  * renamed in 7 (isParameter -> isParameterDeclaration and friends) and alias
@@ -16,13 +17,14 @@
  * the package dropped (getCombinedNodeFlags/getCombinedModifierFlags/
  * canHaveModifiers/getModifiers), reimplemented from the 5.9.3 semantics
  * over 7's nodes with 7's enum values only. */
-import { isAccessorDeclaration, isBindingElement, isGetAccessorDeclaration, isJSDocSignature, isParameterDeclaration, isPropertySignatureDeclaration, isSetAccessorDeclaration, isSignatureDeclaration, isStringLiteralLikeNode, isVariableDeclaration, isVariableDeclarationList, isVariableStatement, } from "typescript/unstable/ast/is";
+import { isAccessorDeclaration, isBindingElement, isGetAccessorDeclaration, isJSDocSignature, isParameterDeclaration, isPropertySignatureDeclaration, isSetAccessorDeclaration, isSignatureDeclaration, isStringLiteralLikeNode, isVariableDeclaration, isVariableDeclarationList, isVariableStatement, } from "./ast-guards.generated.js";
 import { ModifierFlags, SyntaxKind } from "./enums.js";
 /* ---- everything 7 kept under the same name ---- */
-// The full client AST: every census type-position name (Expression,
-// CallExpression, Statement, SourceFile, NodeArray, ...), all same-name
-// guards, tokenToString, escape helpers, the scanner, and the visitor.
-export * from "typescript/unstable/ast";
+// The frontend's node types, guards and token spellings share the concrete
+// AstNode layout. Parser and transform factories remain outside this client.
+export * from "./ast-types.js";
+export * from "./ast-guards.generated.js";
+export { tokenToString } from "./ast-tokens.generated.js";
 /* ---- the seven renamed guards, under their 5.9.3 names ---- */
 export const isParameter = isParameterDeclaration;
 export const isPropertySignature = isPropertySignatureDeclaration;
@@ -57,21 +59,26 @@ export function forEachChild(node, cbNode, cbNodes) {
  * unvisited (scope and depth cut-offs — `depth` counts levels below the
  * root) or "stop" to end the walk early. */
 export function walkPreorder(root, cb) {
-    const stack = [[root, 0]];
+    const stack = [root];
+    const depths = [0];
     const children = [];
+    // The buffer belongs to this walk. Reuse its visitor too: constructing a
+    // closure per node adds allocation and cycle-collection work natively.
+    const appendChild = (child) => { children.push(child); };
     while (stack.length > 0) {
-        const [n, depth] = stack.pop();
+        const n = stack.pop();
+        const depth = depths.pop();
         const verdict = cb(n, depth);
         if (verdict === "stop")
             return;
         if (verdict === "skip")
             continue;
         children.length = 0;
-        n.forEachChild((c) => {
-            children.push(c);
-        });
-        for (let i = children.length - 1; i >= 0; i--)
-            stack.push([children[i], depth + 1]);
+        n.forEachChild(appendChild);
+        for (let i = children.length - 1; i >= 0; i--) {
+            stack.push(children[i]);
+            depths.push(depth + 1);
+        }
     }
 }
 export function getLineAndCharacterOfPosition(sourceFile, position) {
@@ -158,14 +165,14 @@ function modifierFlagsOfNode(node) {
  * merges its list's flags, the list its statement's. */
 function walkUpBindingElementsAndPatterns(bindingElement) {
     let node = bindingElement.parent; // the binding pattern
-    while (isBindingElement(node.parent)) {
+    while (node !== undefined && isBindingElement(node.parent)) {
         node = node.parent.parent;
     }
-    return node.parent; // VariableDeclaration or ParameterDeclaration
+    return node?.parent; // VariableDeclaration or ParameterDeclaration
 }
 function getCombinedFlags(node, getFlags) {
     let n = isBindingElement(node) ? walkUpBindingElementsAndPatterns(node) : node;
-    let flags = getFlags(n);
+    let flags = n === undefined ? 0 : getFlags(n);
     if (isVariableDeclaration(n))
         n = n.parent;
     if (n !== undefined && isVariableDeclarationList(n)) {

package/dist/frontend/ts7/ast.js.map

@@ -1 +1 @@
-{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../../src/frontend/ts7/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;+CAiB+C;AAe/C,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,8BAA8B,EAC9B,wBAAwB,EACxB,sBAAsB,EACtB,uBAAuB,EACvB,qBAAqB,EACrB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEvD,qDAAqD;AAErD,oEAAoE;AACpE,wEAAwE;AACxE,uEAAuE;AACvE,cAAc,yBAAyB,CAAC;AAExC,iEAAiE;AAEjE,MAAM,CAAC,MAAM,WAAW,GAAiD,sBAAsB,CAAC;AAChG,MAAM,CAAC,MAAM,mBAAmB,GAC9B,8BAA8B,CAAC;AACjC,MAAM,CAAC,MAAM,mBAAmB,GAAkD,uBAAuB,CAAC;AAC1G,MAAM,CAAC,MAAM,aAAa,GAAmD,wBAAwB,CAAC;AACtG,MAAM,CAAC,MAAM,aAAa,GAAmD,wBAAwB,CAAC;AACtG,MAAM,CAAC,MAAM,UAAU,GAAgD,qBAAqB,CAAC;AAO7F;;;;+DAI+D;AAC/D,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,sBAAsB,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,IAAgB;IAC/C,OAAO,IAAI,CAAC,uBAAuB,KAAK,SAAS,CAAC;AACpD,CAAC;AAED,0DAA0D;AAE1D,MAAM,UAAU,YAAY,CAC1B,IAAU,EACV,MAAqC,EACrC,OAAmD;IAEnD,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;4CAS4C;AAC5C,MAAM,UAAU,YAAY,CAC1B,IAAU,EACV,EAAyD;IAEzD,MAAM,KAAK,GAAqB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAW,EAAE,CAAC;IAC5B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAChC,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,MAAM;YAAE,OAAO;QAC/B,IAAI,OAAO,KAAK,MAAM;YAAE,SAAS;QACjC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACpB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE;YACnB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,UAAsB,EACtB,QAAgB;IAEhB,OAAO,UAAU,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC;AAC5D,CAAC;AAED,sDAAsD;AAEtD;;yBAEyB;AACzB,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAS;IAC1D,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,SAAS;IACpB,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,cAAc;IACzB,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,kBAAkB;IAC7B,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,gBAAgB;IAC3B,UAAU,CAAC,oBAAoB;IAC/B,UAAU,CAAC,oBAAoB;IAC/B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,uBAAuB;IAClC,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,gBAAgB;IAC3B,UAAU,CAAC,iBAAiB;CAC7B,CAAC,CAAC;AAEH,MAAM,UAAU,gBAAgB,CAAC,IAAU;IACzC,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,MAAM,SAAS,GAAI,IAAwC,CAAC,SAAS,CAAC;IACtE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS,CAAC,CAAC;AACjF,CAAC;AAED,qEAAqE;AACrE,SAAS,cAAc,CAAC,IAAY;IAClC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,aAAa,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,aAAa,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,gBAAgB,EAAE,OAAO,aAAa,CAAC,SAAS,CAAC;QACjE,KAAK,UAAU,CAAC,cAAc,EAAE,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,eAAe,EAAE,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,eAAe,EAAE,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,YAAY,EAAE,OAAO,aAAa,CAAC,KAAK,CAAC;QACzD,KAAK,UAAU,CAAC,eAAe,EAAE,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,eAAe,EAAE,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,aAAa,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,cAAc,EAAE,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,YAAY,EAAE,OAAO,aAAa,CAAC,KAAK,CAAC;QACzD,KAAK,UAAU,CAAC,cAAc,EAAE,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,SAAS,EAAE,OAAO,aAAa,CAAC,EAAE,CAAC;QACnD,KAAK,UAAU,CAAC,UAAU,EAAE,OAAO,aAAa,CAAC,GAAG,CAAC;QACrD,KAAK,UAAU,CAAC,SAAS,EAAE,OAAO,aAAa,CAAC,SAAS,CAAC;QAC1D,SAAS,OAAO,aAAa,CAAC,IAAI,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAU;IACrC,MAAM,SAAS,GAAI,IAAwC,CAAC,SAAS,CAAC;IACtE,IAAI,KAAK,GAAG,aAAa,CAAC,IAAc,CAAC;IACzC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,SAAS;YAAE,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,wEAAwE;IACxE,sEAAsE;IACtE,iBAAiB;IACjB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;wDAGwD;AACxD,SAAS,gCAAgC,CAAC,cAAoB;IAC5D,IAAI,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,sBAAsB;IACxD,OAAO,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,8CAA8C;AACpE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAU,EAAE,QAA6B;IACjE,IAAI,CAAC,GAAqB,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gCAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,IAAI,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,qBAAqB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,IAAI,CAAC,KAAK,SAAS,IAAI,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,SAAS,IAAI,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,oBAAoB,CAAC,IAAU;IAC7C,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,wBAAwB,CAAC,IAAU;IACjD,OAAO,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;AACrD,CAAC;AAED,gCAAgC;AAEhC;;;wDAGwD;AACxD,MAAM,UAAU,4BAA4B,CAC1C,IAAqC,EACrC,OAAe,EACf,MAAM,GAAG,CAAC;IAEV,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,OAAO,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,IAAI,IAAI,CAAC;IAClD,CAAC;IACD,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC;IACpB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,4BAA4B,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../../src/frontend/ts7/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;+CAkB+C;AAe/C,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,8BAA8B,EAC9B,wBAAwB,EACxB,sBAAsB,EACtB,uBAAuB,EACvB,qBAAqB,EACrB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEvD,qDAAqD;AAErD,2EAA2E;AAC3E,6EAA6E;AAC7E,cAAc,gBAAgB,CAAC;AAC/B,cAAc,2BAA2B,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE1D,iEAAiE;AAEjE,MAAM,CAAC,MAAM,WAAW,GAA6D,sBAAsB,CAAC;AAC5G,MAAM,CAAC,MAAM,mBAAmB,GAC9B,8BAA8B,CAAC;AACjC,MAAM,CAAC,MAAM,mBAAmB,GAA8D,uBAAuB,CAAC;AACtH,MAAM,CAAC,MAAM,aAAa,GAA+D,wBAAwB,CAAC;AAClH,MAAM,CAAC,MAAM,aAAa,GAA+D,wBAAwB,CAAC;AAClH,MAAM,CAAC,MAAM,UAAU,GAA4D,qBAAqB,CAAC;AAOzG;;;;+DAI+D;AAC/D,MAAM,UAAU,cAAc,CAAC,IAAsB;IACnD,OAAO,sBAAsB,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,IAAgB;IAC/C,OAAO,IAAI,CAAC,uBAAuB,KAAK,SAAS,CAAC;AACpD,CAAC;AAED,0DAA0D;AAE1D,MAAM,UAAU,YAAY,CAC1B,IAAU,EACV,MAAqC,EACrC,OAAmD;IAEnD,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;4CAS4C;AAC5C,MAAM,UAAU,YAAY,CAC1B,IAAU,EACV,EAAyD;IAEzD,MAAM,KAAK,GAAW,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAa,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAW,EAAE,CAAC;IAC5B,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,WAAW,GAAG,CAAC,KAAW,EAAQ,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAG,CAAC;QAC5B,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,MAAM;YAAE,OAAO;QAC/B,IAAI,OAAO,KAAK,MAAM;YAAE,SAAS;QACjC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACpB,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,UAAsB,EACtB,QAAgB;IAEhB,OAAO,UAAU,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC;AAC5D,CAAC;AAED,sDAAsD;AAEtD;;yBAEyB;AACzB,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAS;IAC1D,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,SAAS;IACpB,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,cAAc;IACzB,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,kBAAkB;IAC7B,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,gBAAgB;IAC3B,UAAU,CAAC,oBAAoB;IAC/B,UAAU,CAAC,oBAAoB;IAC/B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,uBAAuB;IAClC,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,gBAAgB;IAC3B,UAAU,CAAC,iBAAiB;CAC7B,CAAC,CAAC;AAEH,MAAM,UAAU,gBAAgB,CAAC,IAAU;IACzC,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS,CAAC,CAAC;AACjF,CAAC;AAED,qEAAqE;AACrE,SAAS,cAAc,CAAC,IAAY;IAClC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,aAAa,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,aAAa,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,gBAAgB,EAAE,OAAO,aAAa,CAAC,SAAS,CAAC;QACjE,KAAK,UAAU,CAAC,cAAc,EAAE,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,eAAe,EAAE,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,eAAe,EAAE,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,YAAY,EAAE,OAAO,aAAa,CAAC,KAAK,CAAC;QACzD,KAAK,UAAU,CAAC,eAAe,EAAE,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,eAAe,EAAE,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,aAAa,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,cAAc,EAAE,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,YAAY,EAAE,OAAO,aAAa,CAAC,KAAK,CAAC;QACzD,KAAK,UAAU,CAAC,cAAc,EAAE,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,SAAS,EAAE,OAAO,aAAa,CAAC,EAAE,CAAC;QACnD,KAAK,UAAU,CAAC,UAAU,EAAE,OAAO,aAAa,CAAC,GAAG,CAAC;QACrD,KAAK,UAAU,CAAC,SAAS,EAAE,OAAO,aAAa,CAAC,SAAS,CAAC;QAC1D,SAAS,OAAO,aAAa,CAAC,IAAI,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAU;IACrC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,KAAK,GAAG,aAAa,CAAC,IAAc,CAAC;IACzC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,SAAS;YAAE,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,wEAAwE;IACxE,sEAAsE;IACtE,iBAAiB;IACjB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;wDAGwD;AACxD,SAAS,gCAAgC,CAAC,cAAoB;IAC5D,IAAI,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,sBAAsB;IACxD,OAAO,IAAI,KAAK,SAAS,IAAI,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3D,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO,IAAI,EAAE,MAAM,CAAC,CAAC,8CAA8C;AACrE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAU,EAAE,QAA6B;IACjE,IAAI,CAAC,GAAqB,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gCAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,IAAI,KAAK,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,qBAAqB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,IAAI,CAAC,KAAK,SAAS,IAAI,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,SAAS,IAAI,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,oBAAoB,CAAC,IAAU;IAC7C,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,wBAAwB,CAAC,IAAU;IACjD,OAAO,gBAAgB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;AACrD,CAAC;AAED,gCAAgC;AAEhC;;;wDAGwD;AACxD,MAAM,UAAU,4BAA4B,CAC1C,IAAqC,EACrC,OAAe,EACf,MAAM,GAAG,CAAC;IAEV,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,OAAO,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,IAAI,IAAI,CAAC;IAClD,CAAC;IACD,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC;IACpB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,4BAA4B,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/frontend/ts7/census-check.js

@@ -8,5 +8,6 @@
  * ts.Types (a comment-text census artifact, not an API), the parser and
  * transpile surface kept in TypeScript 5 islands, and the resolution/config
  * helpers replaced by scriptc and the TypeScript 7 host. */
+/* eslint-enable @typescript-eslint/no-unused-vars */
 export {};
 //# sourceMappingURL=census-check.js.map

package/dist/frontend/ts7/census-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"census-check.js","sourceRoot":"","sources":["../../../src/frontend/ts7/census-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;4DAS4D"}
+{"version":3,"file":"census-check.js","sourceRoot":"","sources":["../../../src/frontend/ts7/census-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;4DAS4D;AAgC5D,qDAAqD;AAErD,OAAO,EAAE,CAAC"}

package/dist/frontend/ts7/checker-cache.d.ts

@@ -0,0 +1,48 @@
+import type { SourceFile } from "./ast-types.js";
+import type { IndexInfo, InterfaceType, Signature, Symbol as Ts7Symbol, Type, TypePredicate } from "./semantic-types.js";
+/** One facade's answers for one immutable semantic project. Strong keys
+ * are safe only within this lifetime: project disposal clears every map,
+ * including answers for AST objects reused by later snapshots. */
+export declare class CheckerCache {
+    private disposed;
+    readonly typeAtLocation: Map<import("./ast-node.js").AstNode, InterfaceType | undefined>;
+    readonly symbolAtLocation: Map<import("./ast-node.js").AstNode, Ts7Symbol | undefined>;
+    readonly contextualType: Map<import("./ast-node.js").AstNode, InterfaceType | undefined>;
+    readonly typeFromTypeNode: Map<import("./ast-node.js").AstNode, InterfaceType | undefined>;
+    readonly shorthandValueSymbol: Map<import("./ast-node.js").AstNode, Ts7Symbol | undefined>;
+    readonly resolvedSignature: Map<import("./ast-node.js").AstNode, Signature | undefined>;
+    readonly signatureFromDeclaration: Map<import("./ast-node.js").AstNode, Signature | undefined>;
+    readonly typeOfSymbol: Map<Ts7Symbol, InterfaceType | undefined>;
+    readonly aliasedSymbol: Map<Ts7Symbol, Ts7Symbol>;
+    readonly declaredTypeOfSymbol: Map<Ts7Symbol, InterfaceType>;
+    readonly baseTypeOfLiteral: Map<InterfaceType, InterfaceType>;
+    readonly baseTypesOf: Map<InterfaceType, readonly InterfaceType[]>;
+    readonly neverTypeAnswer: Map<InterfaceType, boolean>;
+    readonly assignableTypes: Map<InterfaceType, Map<InterfaceType, boolean>>;
+    readonly nonNullableType: Map<InterfaceType, InterfaceType | undefined>;
+    readonly propertiesOfType: Map<InterfaceType, readonly Ts7Symbol[]>;
+    readonly propertyOfType: Map<InterfaceType, Map<string, Ts7Symbol | undefined>>;
+    readonly indexInfosOfType: Map<InterfaceType, readonly IndexInfo[]>;
+    readonly typeArgumentsOf: Map<InterfaceType, readonly InterfaceType[]>;
+    readonly arrayTypeAnswer: Map<InterfaceType, boolean>;
+    readonly arrayLikeAnswer: Map<InterfaceType, boolean>;
+    readonly typeStringOf: Map<InterfaceType, string>;
+    readonly awaitedTypeOf: Map<InterfaceType, InterfaceType | undefined>;
+    readonly returnTypeOf: Map<Signature, InterfaceType | undefined>;
+    readonly typePredicateOf: Map<Signature, TypePredicate | undefined>;
+    readonly prefetchedTypes: Set<SourceFile>;
+    readonly prefetchedSymbols: Set<SourceFile>;
+    readonly managedTypes: Set<SourceFile>;
+    readonly managedSymbols: Set<SourceFile>;
+    readonly intrinsics: Map<string, InterfaceType>;
+    readonly tupleTypeAnswer: Map<InterfaceType, boolean>;
+    readonly declsOf: Map<Ts7Symbol, readonly import("./ast-node.js").AstNode[]>;
+    readonly valueDeclOf: Map<Ts7Symbol, import("./ast-node.js").AstNode | undefined>;
+    readonly sigDeclOf: Map<Signature, import("./ast-node.js").AstNode | undefined>;
+    readonly callSigsOf: Map<InterfaceType, readonly Signature[]>;
+    readonly ctorSigsOf: Map<InterfaceType, readonly Signature[]>;
+    readonly constantValueOf: Map<import("./ast-node.js").AstNode, string | number | undefined>;
+    unknownType: Type | null;
+    ensureActive(): void;
+    dispose(): void;
+}

package/dist/frontend/ts7/checker-cache.js

@@ -0,0 +1,92 @@
+/** One facade's answers for one immutable semantic project. Strong keys
+ * are safe only within this lifetime: project disposal clears every map,
+ * including answers for AST objects reused by later snapshots. */
+export class CheckerCache {
+    disposed = false;
+    typeAtLocation = new Map();
+    symbolAtLocation = new Map();
+    contextualType = new Map();
+    typeFromTypeNode = new Map();
+    shorthandValueSymbol = new Map();
+    resolvedSignature = new Map();
+    signatureFromDeclaration = new Map();
+    typeOfSymbol = new Map();
+    aliasedSymbol = new Map();
+    declaredTypeOfSymbol = new Map();
+    baseTypeOfLiteral = new Map();
+    baseTypesOf = new Map();
+    neverTypeAnswer = new Map();
+    assignableTypes = new Map();
+    nonNullableType = new Map();
+    propertiesOfType = new Map();
+    propertyOfType = new Map();
+    indexInfosOfType = new Map();
+    typeArgumentsOf = new Map();
+    arrayTypeAnswer = new Map();
+    arrayLikeAnswer = new Map();
+    typeStringOf = new Map();
+    awaitedTypeOf = new Map();
+    returnTypeOf = new Map();
+    typePredicateOf = new Map();
+    prefetchedTypes = new Set();
+    prefetchedSymbols = new Set();
+    managedTypes = new Set();
+    managedSymbols = new Set();
+    intrinsics = new Map();
+    tupleTypeAnswer = new Map();
+    declsOf = new Map();
+    valueDeclOf = new Map();
+    sigDeclOf = new Map();
+    callSigsOf = new Map();
+    ctorSigsOf = new Map();
+    constantValueOf = new Map();
+    unknownType = null;
+    ensureActive() {
+        if (this.disposed)
+            throw new Error("TypeScript checker facade is disposed");
+    }
+    dispose() {
+        if (this.disposed)
+            return;
+        this.disposed = true;
+        this.typeAtLocation.clear();
+        this.symbolAtLocation.clear();
+        this.contextualType.clear();
+        this.typeFromTypeNode.clear();
+        this.shorthandValueSymbol.clear();
+        this.resolvedSignature.clear();
+        this.signatureFromDeclaration.clear();
+        this.typeOfSymbol.clear();
+        this.aliasedSymbol.clear();
+        this.declaredTypeOfSymbol.clear();
+        this.baseTypeOfLiteral.clear();
+        this.baseTypesOf.clear();
+        this.neverTypeAnswer.clear();
+        this.assignableTypes.clear();
+        this.nonNullableType.clear();
+        this.propertiesOfType.clear();
+        this.propertyOfType.clear();
+        this.indexInfosOfType.clear();
+        this.typeArgumentsOf.clear();
+        this.arrayTypeAnswer.clear();
+        this.arrayLikeAnswer.clear();
+        this.typeStringOf.clear();
+        this.awaitedTypeOf.clear();
+        this.returnTypeOf.clear();
+        this.typePredicateOf.clear();
+        this.prefetchedTypes.clear();
+        this.prefetchedSymbols.clear();
+        this.managedTypes.clear();
+        this.managedSymbols.clear();
+        this.intrinsics.clear();
+        this.tupleTypeAnswer.clear();
+        this.declsOf.clear();
+        this.valueDeclOf.clear();
+        this.sigDeclOf.clear();
+        this.callSigsOf.clear();
+        this.ctorSigsOf.clear();
+        this.constantValueOf.clear();
+        this.unknownType = null;
+    }
+}
+//# sourceMappingURL=checker-cache.js.map

package/dist/frontend/ts7/checker-cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker-cache.js","sourceRoot":"","sources":["../../../src/frontend/ts7/checker-cache.ts"],"names":[],"mappings":"AAGA;;kEAEkE;AAClE,MAAM,OAAO,YAAY;IACf,QAAQ,GAAG,KAAK,CAAC;IAChB,cAAc,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,gBAAgB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC1D,cAAc,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,gBAAgB,GAAG,IAAI,GAAG,EAA0B,CAAC;IACrD,oBAAoB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC9D,iBAAiB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC3D,wBAAwB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAClE,YAAY,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,aAAa,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,oBAAoB,GAAG,IAAI,GAAG,EAAmB,CAAC;IAClD,iBAAiB,GAAG,IAAI,GAAG,EAAc,CAAC;IAC1C,WAAW,GAAG,IAAI,GAAG,EAAkC,CAAC;IACxD,eAAe,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC3C,eAAe,GAAG,IAAI,GAAG,EAA4B,CAAC;IACtD,eAAe,GAAG,IAAI,GAAG,EAA0B,CAAC;IACpD,gBAAgB,GAAG,IAAI,GAAG,EAA8B,CAAC;IACzD,cAAc,GAAG,IAAI,GAAG,EAA4C,CAAC;IACrE,gBAAgB,GAAG,IAAI,GAAG,EAA8B,CAAC;IACzD,eAAe,GAAG,IAAI,GAAG,EAAyB,CAAC;IACnD,eAAe,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC3C,eAAe,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC3C,YAAY,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,aAAa,GAAG,IAAI,GAAG,EAA0B,CAAC;IAClD,YAAY,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,eAAe,GAAG,IAAI,GAAG,EAAwC,CAAC;IAClE,eAAe,GAAG,IAAI,GAAG,EAAc,CAAC;IACxC,iBAAiB,GAAG,IAAI,GAAG,EAAc,CAAC;IAC1C,YAAY,GAAG,IAAI,GAAG,EAAc,CAAC;IACrC,cAAc,GAAG,IAAI,GAAG,EAAc,CAAC;IACvC,UAAU,GAAG,IAAI,GAAG,EAAgB,CAAC;IACrC,eAAe,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC3C,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IAChD,WAAW,GAAG,IAAI,GAAG,EAA+B,CAAC;IACrD,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;IACnD,UAAU,GAAG,IAAI,GAAG,EAA8B,CAAC;IACnD,UAAU,GAAG,IAAI,GAAG,EAA8B,CAAC;IACnD,eAAe,GAAG,IAAI,GAAG,EAAqC,CAAC;IACxE,WAAW,GAAgB,IAAI,CAAC;IAEhC,YAAY;QACV,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO;QACL,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;CACF"}

package/dist/frontend/ts7/checker.d.ts

@@ -1,49 +1,17 @@
-import type { Node, SourceFile } from "typescript/unstable/ast";
-import type { Checker, IndexInfo, Project, Signature, Symbol as Ts7Symbol, Type, TypePredicate, TypeReference } from "typescript/unstable/sync";
+import type { Node, SourceFile } from "./ast-types.js";
+import type { IndexInfo, InterfaceType, Signature, Symbol as Ts7Symbol, Type, TypePredicate, TypeReference } from "./semantic-types.js";
+import type { SemanticChecker as Checker } from "./semantic-checker.js";
+import type { SemanticProject as Project } from "./semantic-model.js";
+/** 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 declare function constituentTypes(type: Type): readonly Type[];
 export declare class CheckerFacade {
     /** The underlying 7.0.2 sync checker — exposed for methods the facade
      * does not shim; going around the facade forfeits memoization only. */
     readonly raw: Checker;
     private readonly options;
-    /** Node-keyed memos. `undefined` results are represented by map presence
-     * (WeakMap.has), so misses and cached-undefined are distinguishable. */
-    private readonly typeAtLocation;
-    private readonly symbolAtLocation;
-    private readonly contextualType;
-    private readonly typeFromTypeNode;
-    private readonly shorthandValueSymbol;
-    private readonly resolvedSignature;
-    private readonly signatureFromDeclaration;
-    /** Symbol-keyed memos. */
-    private readonly typeOfSymbol;
-    private readonly aliasedSymbol;
-    private readonly declaredTypeOfSymbol;
-    /** Type-keyed memos. */
-    private readonly baseTypeOfLiteral;
-    private readonly nonNullableType;
-    private readonly propertiesOfType;
-    private readonly indexInfosOfType;
-    private readonly typeArgumentsOf;
-    private readonly arrayTypeAnswer;
-    private readonly arrayLikeAnswer;
-    private readonly typeStringOf;
-    private readonly awaitedTypeOf;
-    /** Signature-keyed memos. */
-    private readonly returnTypeOf;
-    private readonly typePredicateOf;
-    /** Files whose nodes have been batch-prefetched, per query kind. */
-    private readonly prefetchedTypes;
-    private readonly prefetchedSymbols;
-    /** 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. */
-    private readonly managedTypes;
-    private readonly managedSymbols;
-    private unknownType;
-    /** Intrinsic singletons (string/number/bigint/boolean), fetched once. */
-    private readonly intrinsics;
-    private readonly tupleTypeAnswer;
+    private readonly cache;
     constructor(
     /** The underlying 7.0.2 sync checker — exposed for methods the facade
      * does not shim; going around the facade forfeits memoization only. */
@@ -51,8 +19,11 @@ export declare class CheckerFacade {
         autoPrefetch?: boolean;
         project?: Project;
     });
-    private readonly declsOf;
-    private readonly valueDeclOf;
+    private 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(): void;
     private requireProject;
     /** 5.9.3's symbol.declarations (never undefined here: 7 answers an empty
      * array where 5.9.3 answered undefined — callers treat them alike). */
@@ -62,13 +33,10 @@ export declare class CheckerFacade {
     /** 5.9.3's signature.getDeclaration() (undefined for synthesized
      * signatures — same contract as sig.declaration there). */
     signatureDeclaration(signature: Signature): Node | undefined;
-    private readonly sigDeclOf;
     /** 5.9.3's type.getCallSignatures(). */
     getCallSignatures(type: Type): readonly Signature[];
-    private readonly callSigsOf;
     /** 5.9.3's type.getConstructSignatures(). */
     getConstructSignatures(type: Type): readonly Signature[];
-    private readonly ctorSigsOf;
     /** 5.9.3's type.getProperty(name). */
     getPropertyOfType(type: Type, name: string): Ts7Symbol | undefined;
     /** The 5.9.3 checker never answered undefined from getTypeAtLocation-
@@ -147,9 +115,14 @@ export declare 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: Node): string | number | undefined;
-    private readonly constantValueOf;
     getNonNullableType(type: Type): Type;
     getPropertiesOfType(type: Type): readonly Ts7Symbol[];
+    getBaseTypes(type: InterfaceType): readonly Type[];
+    /** 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: Type): boolean;
+    isTypeAssignableTo(source: Type, target: Type): boolean;
     getIndexInfosOfType(type: Type): readonly IndexInfo[];
     getTypeArguments(type: TypeReference): readonly Type[];
     isArrayType(type: Type): boolean;