@scriptc/compiler 0.0.0 → 0.0.2

package/dist/frontend/ts7/ast.js

@@ -0,0 +1,211 @@
+/* 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).
+ *
+ * Guards: 82 of the census's 90 is* guards re-export same-name; seven were
+ * renamed in 7 (isParameter -> isParameterDeclaration and friends) and alias
+ * back here; isExternalModule was dropped (the client SourceFile exposes
+ * externalModuleIndicator instead) and is shimmed. isFunctionLike is the one
+ * SEMANTIC rename: 7's isFunctionLikeDeclaration is narrower (declarations
+ * only), so the shim composes 7's isSignatureDeclaration — the same kind set
+ * 5.9.3's isFunctionLike accepts, minus the JSDoc closure-syntax function
+ * type (tsgo dropped that node kind) — plus JSDocSignature.
+ *
+ * Helpers: the free-function forms 7 moved onto Node/SourceFile methods
+ * (forEachChild, getLineAndCharacterOfPosition), and the pure-AST utilities
+ * 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 { 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 seven renamed guards, under their 5.9.3 names ---- */
+export const isParameter = isParameterDeclaration;
+export const isPropertySignature = isPropertySignatureDeclaration;
+export const isStringLiteralLike = isStringLiteralLikeNode;
+export const isGetAccessor = isGetAccessorDeclaration;
+export const isSetAccessor = isSetAccessorDeclaration;
+export const isAccessor = isAccessorDeclaration;
+/** 5.9.3's isFunctionLike: true for every SignatureDeclaration kind. 7's
+ * same-set guard is isSignatureDeclaration (its isFunctionLikeDeclaration is
+ * the narrower declarations-only check); JSDocSignature joins because 5.9.3
+ * counts it. 5.9.3 also accepted JSDocFunctionType — a node kind tsgo no
+ * longer produces, so no walk over a 7 AST can present one. */
+export function isFunctionLike(node) {
+    return isSignatureDeclaration(node) || isJSDocSignature(node);
+}
+/** 5.9.3's isExternalModule: 7 exposes the indicator on the SourceFile. */
+export function isExternalModule(file) {
+    return file.externalModuleIndicator !== undefined;
+}
+/* ---- free-function forms 7 moved onto the nodes ---- */
+export function forEachChild(node, cbNode, cbNodes) {
+    return node.forEachChild(cbNode, cbNodes);
+}
+/** Preorder walk over a whole subtree with an EXPLICIT stack. The idiomatic
+ * recursive forEachChild visit costs two JS frames per AST level, so a
+ * pathologically deep tree — the ~6500-term left-nested binary chain of the
+ * binderBinaryExpressionStress corpus pair — overflows the stack as an ICE
+ * before the lowering's SC1090 nesting fence (200 levels) ever sees the
+ * expression. Whole-file sweeps (prefetch, require scans, `arguments`
+ * detection) walk this way instead, so absurd nesting always reaches the
+ * named fence. The callback may answer "skip" to leave a node's children
+ * 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 children = [];
+    while (stack.length > 0) {
+        const [n, depth] = stack.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]);
+    }
+}
+export function getLineAndCharacterOfPosition(sourceFile, position) {
+    return sourceFile.getLineAndCharacterOfPosition(position);
+}
+/* ---- pure-AST utilities the package dropped ---- */
+/* 5.9.3's canHaveModifiers kind set, spelled with 7's SyntaxKind keys (all
+ * fifteen exist under the same names in 7; kinds are compared symbolically,
+ * never numerically). */
+const MODIFIER_HOSTS = new Set([
+    SyntaxKind.TypeParameter,
+    SyntaxKind.Parameter,
+    SyntaxKind.PropertySignature,
+    SyntaxKind.PropertyDeclaration,
+    SyntaxKind.MethodSignature,
+    SyntaxKind.MethodDeclaration,
+    SyntaxKind.Constructor,
+    SyntaxKind.GetAccessor,
+    SyntaxKind.SetAccessor,
+    SyntaxKind.IndexSignature,
+    SyntaxKind.ConstructorType,
+    SyntaxKind.FunctionExpression,
+    SyntaxKind.ArrowFunction,
+    SyntaxKind.ClassExpression,
+    SyntaxKind.VariableStatement,
+    SyntaxKind.FunctionDeclaration,
+    SyntaxKind.ClassDeclaration,
+    SyntaxKind.InterfaceDeclaration,
+    SyntaxKind.TypeAliasDeclaration,
+    SyntaxKind.EnumDeclaration,
+    SyntaxKind.ModuleDeclaration,
+    SyntaxKind.ImportEqualsDeclaration,
+    SyntaxKind.ImportDeclaration,
+    SyntaxKind.ExportAssignment,
+    SyntaxKind.ExportDeclaration,
+]);
+export function canHaveModifiers(node) {
+    return MODIFIER_HOSTS.has(node.kind);
+}
+/** The node's modifier tokens, decorators excluded (5.9.3's getModifiers). */
+export function getModifiers(node) {
+    const modifiers = node.modifiers;
+    if (modifiers === undefined)
+        return undefined;
+    return modifiers.filter((m) => m.kind !== SyntaxKind.Decorator);
+}
+/* Modifier token kind -> ModifierFlags bit, both sides 7's enums. */
+function modifierToFlag(kind) {
+    switch (kind) {
+        case SyntaxKind.StaticKeyword: return ModifierFlags.Static;
+        case SyntaxKind.PublicKeyword: return ModifierFlags.Public;
+        case SyntaxKind.ProtectedKeyword: return ModifierFlags.Protected;
+        case SyntaxKind.PrivateKeyword: return ModifierFlags.Private;
+        case SyntaxKind.AbstractKeyword: return ModifierFlags.Abstract;
+        case SyntaxKind.AccessorKeyword: return ModifierFlags.Accessor;
+        case SyntaxKind.AsyncKeyword: return ModifierFlags.Async;
+        case SyntaxKind.ReadonlyKeyword: return ModifierFlags.Readonly;
+        case SyntaxKind.OverrideKeyword: return ModifierFlags.Override;
+        case SyntaxKind.ExportKeyword: return ModifierFlags.Export;
+        case SyntaxKind.DeclareKeyword: return ModifierFlags.Ambient;
+        case SyntaxKind.ConstKeyword: return ModifierFlags.Const;
+        case SyntaxKind.DefaultKeyword: return ModifierFlags.Default;
+        case SyntaxKind.InKeyword: return ModifierFlags.In;
+        case SyntaxKind.OutKeyword: return ModifierFlags.Out;
+        case SyntaxKind.Decorator: return ModifierFlags.Decorator;
+        default: return ModifierFlags.None;
+    }
+}
+function modifierFlagsOfNode(node) {
+    const modifiers = node.modifiers;
+    let flags = ModifierFlags.None;
+    if (modifiers !== undefined) {
+        for (const m of modifiers)
+            flags |= modifierToFlag(m.kind);
+    }
+    // 5.9.3 counts an identifier-flagged this-keyword edge case we skip: it
+    // only arises for parser-manufactured identifiers, which client walks
+    // never observe.
+    return flags;
+}
+/* The shared declaration-chain walk of 5.9.3's getCombinedNodeFlags /
+ * getCombinedModifierFlags, mirrored exactly: a binding element climbs to
+ * the declaration that hosts its outermost pattern; a variable declaration
+ * merges its list's flags, the list its statement's. */
+function walkUpBindingElementsAndPatterns(bindingElement) {
+    let node = bindingElement.parent; // the binding pattern
+    while (isBindingElement(node.parent)) {
+        node = node.parent.parent;
+    }
+    return node.parent; // VariableDeclaration or ParameterDeclaration
+}
+function getCombinedFlags(node, getFlags) {
+    let n = isBindingElement(node) ? walkUpBindingElementsAndPatterns(node) : node;
+    let flags = getFlags(n);
+    if (isVariableDeclaration(n))
+        n = n.parent;
+    if (n !== undefined && isVariableDeclarationList(n)) {
+        flags |= getFlags(n);
+        n = n.parent;
+    }
+    if (n !== undefined && isVariableStatement(n)) {
+        flags |= getFlags(n);
+    }
+    return flags;
+}
+/** 5.9.3's getCombinedNodeFlags (the Const/Let/Using answer for a
+ * declaration, wherever in the binding chain the flag sits). */
+export function getCombinedNodeFlags(node) {
+    return getCombinedFlags(node, (n) => n.flags);
+}
+/** 5.9.3's getCombinedModifierFlags. */
+export function getCombinedModifierFlags(node) {
+    return getCombinedFlags(node, modifierFlagsOfNode);
+}
+/* ---- diagnostics text ---- */
+/** 5.9.3's flattenDiagnosticMessageText, widened for the 7 world: 7's
+ * Diagnostic carries flat text plus a messageChain of the same shape, so
+ * this accepts either a plain string (already flat) or a 7 Diagnostic and
+ * renders the chain with 5.9.3's indentation layout. */
+export function flattenDiagnosticMessageText(diag, newLine, indent = 0) {
+    if (diag === undefined)
+        return "";
+    if (typeof diag === "string")
+        return diag;
+    let result = "";
+    if (indent > 0) {
+        result += newLine;
+        for (let i = 0; i < indent; i++)
+            result += "  ";
+    }
+    result += diag.text;
+    for (const child of diag.messageChain ?? []) {
+        result += flattenDiagnosticMessageText(child, newLine, indent + 1);
+    }
+    return result;
+}
+//# sourceMappingURL=ast.js.map

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

@@ -0,0 +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,CAAC,CAAC,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,gBAAgB,CAAC,CAAC,OAAO,aAAa,CAAC,SAAS,CAAC;QACjE,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,eAAe,CAAC,CAAC,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,eAAe,CAAC,CAAC,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,YAAY,CAAC,CAAC,OAAO,aAAa,CAAC,KAAK,CAAC;QACzD,KAAK,UAAU,CAAC,eAAe,CAAC,CAAC,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,eAAe,CAAC,CAAC,OAAO,aAAa,CAAC,QAAQ,CAAC;QAC/D,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC,OAAO,aAAa,CAAC,MAAM,CAAC;QAC3D,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,YAAY,CAAC,CAAC,OAAO,aAAa,CAAC,KAAK,CAAC;QACzD,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,OAAO,aAAa,CAAC,OAAO,CAAC;QAC7D,KAAK,UAAU,CAAC,SAAS,CAAC,CAAC,OAAO,aAAa,CAAC,EAAE,CAAC;QACnD,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,OAAO,aAAa,CAAC,GAAG,CAAC;QACrD,KAAK,UAAU,CAAC,SAAS,CAAC,CAAC,OAAO,aAAa,CAAC,SAAS,CAAC;QAC1D,OAAO,CAAC,CAAC,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"}

package/dist/frontend/ts7/census-check.d.ts

@@ -0,0 +1 @@
+export {};

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

@@ -0,0 +1,12 @@
+/* Census TYPE coverage, enforced at build time: every type-position name
+ * the frontend census uses (census-ts-members.tsv — the top-40 table and
+ * the long tail) must resolve through the adapter, so the phase-2 port
+ * never discovers a missing type mid-swap. pnpm build fails here if any
+ * name drops out of the adapter's surface.
+ *
+ * Not present, per the survey's MISSING list and the two-world design:
+ * ts.Types (a comment-text census artifact, not an API), and the island
+ * surface that stays 5.9.3 (createSourceFile/preProcessFile/transpileModule
+ * and the resolution/config-file helpers' 5.9.3 types). */
+export {};
+//# sourceMappingURL=census-check.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"census-check.js","sourceRoot":"","sources":["../../../src/frontend/ts7/census-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;2DAS2D"}

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

@@ -0,0 +1,140 @@
+import type { Node, SourceFile } from "typescript/unstable/ast";
+import type { Checker, IndexInfo, Project, Signature, Symbol as Ts7Symbol, Type, TypePredicate, TypeReference } from "typescript/unstable/sync";
+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;
+    private unknownType;
+    /** Intrinsic singletons (string/number/bigint/boolean), fetched once. */
+    private readonly intrinsics;
+    private readonly tupleTypeAnswer;
+    constructor(
+    /** The underlying 7.0.2 sync checker — exposed for methods the facade
+     * does not shim; going around the facade forfeits memoization only. */
+    raw: Checker, options?: {
+        autoPrefetch?: boolean;
+        project?: Project;
+    });
+    private readonly declsOf;
+    private readonly valueDeclOf;
+    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). */
+    declarationsOf(symbol: Ts7Symbol): readonly Node[];
+    /** 5.9.3's symbol.valueDeclaration. */
+    valueDeclarationOf(symbol: Ts7Symbol): Node | undefined;
+    /** 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-
+     * family queries (errorType/anyType stood in); the 7 client loosens them
+     * to `T | undefined`. The lowering is written against the 5.9.3 contract,
+     * so the facade restores it: undefined becomes anyType — exactly the
+     * equivalence the parity battery pinned (a 7-side undefined renders as
+     * "any" wherever 5.9.3 said any). */
+    private anyType;
+    /** Batch-prefetches getTypeAtLocation and getSymbolAtLocation for every
+     * node of the file, plus getTypeOfSymbol for every symbol those answers
+     * surfaced — the per-file hook that turns the lowering's walk into three
+     * array requests instead of thousands of round trips. */
+    prefetchSourceFile(sf: SourceFile): void;
+    private prefetchTypes;
+    /** withPanicFence over the type sweep (observed panic: GetTypeAtLocation
+     * over an unresolved npm import's clause — a server-side nil deref). */
+    private typesWithPanicFence;
+    private prefetchSymbols;
+    private autoPrefetch;
+    getTypeAtLocation(node: Node): Type;
+    getSymbolAtLocation(node: Node): Ts7Symbol | undefined;
+    getTypeOfSymbol(symbol: Ts7Symbol): Type;
+    getAliasedSymbol(symbol: Ts7Symbol): Ts7Symbol;
+    getDeclaredTypeOfSymbol(symbol: Ts7Symbol): Type;
+    getContextualType(node: Node): Type | undefined;
+    getTypeFromTypeNode(node: Node): Type;
+    getShorthandAssignmentValueSymbol(node: Node): Ts7Symbol | undefined;
+    getResolvedSignature(node: Node): Signature | undefined;
+    getSignatureFromDeclaration(node: Node): Signature | undefined;
+    getReturnTypeOfSignature(signature: Signature): Type;
+    getTypePredicateOfSignature(signature: Signature): TypePredicate | undefined;
+    /** 5.9.3 semantics, answered client-side wherever type.flags suffices:
+     * string/number/bigint/boolean literals map to the intrinsic singletons
+     * (one IPC ever per intrinsic); enum-ish and union types round-trip
+     * (memoized); everything else is itself. */
+    getBaseTypeOfLiteralType(type: Type): Type;
+    private intrinsic;
+    /** 5.9.3's checker.getConstantValue, memoized per node. The one caller
+     * (enum lowering) passes ENUM MEMBER declaration nodes only: 7 answers
+     * the member's computed constant there for const and regular enums alike
+     * (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[];
+    getIndexInfosOfType(type: Type): readonly IndexInfo[];
+    getTypeArguments(type: TypeReference): readonly Type[];
+    isArrayType(type: Type): boolean;
+    /** 5.9.3's checker.isTupleType answers true for tuple SHAPES and for
+     * REFERENCES to them (Pair<number>, a readonly [T, T] instantiation).
+     * The 7.0.2 client-side Type.isTupleType() sees only the shape — a
+     * reference answers false there (measured; the facade suite pins it) —
+     * so shape-true and non-object-false resolve locally and only object
+     * types that are not visibly tuples round-trip, memoized. */
+    isTupleType(type: Type): boolean;
+    isArrayLikeType(type: Type): boolean;
+    typeToString(type: Type, enclosingDeclaration?: Node, flags?: number): string;
+    getTypeOfSymbolAtLocation(symbol: Ts7Symbol, location: Node): Type;
+    getUnknownType(): Type;
+    /** 7.0.2 dropped getAwaitedType (the census's one MISSING checker method).
+     * Shimmed per the survey: unwrap Promise/PromiseLike references through
+     * their type argument, distributing over unions. The client cannot BUILD
+     * union types, so a union whose arms unwrap to more than one distinct type
+     * returns undefined (callers fall back to the input; the census's one call
+     * 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: Type): Type | undefined;
+    private computeAwaitedType;
+    /** The type argument of a Promise/PromiseLike reference, or null when the
+     * type is not one. Global-ness is approximated by symbol name — scriptc
+     * programs see the es2025 lib's Promise (the ambient world forces it). */
+    private promiseArgumentOf;
+}