@scriptc/compiler 0.0.0 → 0.0.2

package/dist/frontend/ts7/checker.js

@@ -0,0 +1,544 @@
+/* The checker facade: 5.9.3-shaped TypeChecker methods over 7.0.2's sync
+ * client, built around the survey's feasibility verdict. Naive per-call use
+ * of the 7.0.2 client costs 0.1-0.3 ms of IPC per query; the census counted
+ * 32,226 checker calls lowering mock-gateway, so a transparent adapter would
+ * add seconds. Batched, the same queries run at ~0.005 ms/call — parity with
+ * 5.9.3. Three mechanisms make batching and reuse the DEFAULT path:
+ *
+ * 1. IDENTITY MEMOS. One WeakMap per query kind, keyed on the client-side
+ *    node/type/symbol object. Safe because the 7.0.2 client registry dedupes
+ *    by server handle id (probe-verified: the same symbol/type from any two
+ *    queries is the same object), and a snapshot is immutable — an answer
+ *    never changes for the life of the program. The client itself does NOT
+ *    memoize (warm re-query of 21 nodes costs 2.5-3.8 ms; the survey's
+ *    finding), so this layer is where reuse lives.
+ *
+ * 2. PER-FILE BATCH PREFETCH. The first getTypeAtLocation/getSymbolAtLocation
+ *    miss in a source file walks the whole file client-side (free — the AST
+ *    is local) and issues the ARRAY overloads for every node, chunked, then
+ *    answers all later queries for that file from the memo. The lowering's
+ *    walk touches most of a file anyway, so prefetching the file is the
+ *    batching lever without changing a single call site. prefetchSourceFile()
+ *    exposes the same hook explicitly. Symbol prefetch also batch-fetches
+ *    getTypeOfSymbol over every symbol the file mentions (5,333 calls of the
+ *    mock-gateway census ride that pattern).
+ *
+ * 3. CLIENT-SIDE FAST PATHS. getBaseTypeOfLiteralType — the census's single
+ *    hottest method (9,059 calls on mock-gateway) — is answered locally from
+ *    type.flags plus the intrinsic-type singletons for the literal kinds
+ *    5.9.3 maps to intrinsics (string/number/bigint/boolean literals), with
+ *    IPC only for enum-ish and union types. isTupleType answers shape-true
+ *    and non-object-false locally and round-trips (memoized) only for
+ *    object types. Both verified against the raw checker AND against 5.9.3
+ *    by the adapter's suites. */
+import { walkPreorder } from "./ast.js";
+import { SignatureKind, TypeFlags } from "./enums.js";
+/** Array-overload chunk size: large enough that per-request overhead
+ * vanishes, small enough to keep any single JSON-RPC payload modest. */
+const BATCH_CHUNK = 2048;
+/** The bisecting panic fence for batch queries. The prefetch sweeps query
+ * nodes/symbols the lowering itself may never ask about, and tsgo can PANIC
+ * on some of them (a server-side failure the sync channel surfaces as a
+ * thrown Error, server intact). A batch must not turn a node nobody needs
+ * into a build crash: on failure, bisect — healthy items keep their real
+ * answers, and the panicking ITEM alone memoizes undefined (anyType through
+ * the facade), which is exactly what the pinned type-position finding maps
+ * such answers to. */
+function withPanicFence(chunk, call) {
+    try {
+        return [...call(chunk)];
+    }
+    catch {
+        if (chunk.length === 1)
+            return [undefined];
+        const mid = chunk.length >> 1;
+        return [
+            ...withPanicFence(chunk.slice(0, mid), call),
+            ...withPanicFence(chunk.slice(mid), call),
+        ];
+    }
+}
+function chunked(items, fetch) {
+    const out = [];
+    for (let i = 0; i < items.length; i += BATCH_CHUNK) {
+        out.push(...fetch(items.slice(i, i + BATCH_CHUNK)));
+    }
+    return out;
+}
+/** The prefetch sweep's depth floor. The lowering fences expressions at 200
+ * nesting levels (SC1090) and never queries below its fence, so nodes much
+ * deeper than that can only belong to a program the build is about to
+ * refuse — and batch-querying them is where a pathological file's cost
+ * lives (the ~6500-term binderBinaryExpressionStress chains spent minutes
+ * in server-side per-node queries). Skipped subtrees stay CORRECT: any
+ * query the lowering does make below the floor falls through to a direct,
+ * memoized per-node call. */
+const PREFETCH_MAX_DEPTH = 512;
+/** Preorder sweep of the whole file, ITERATIVE (walkPreorder): the obvious
+ * recursive forEachChild walk overflowed the stack HERE, in the prefetch
+ * sweep, on the binderBinaryExpressionStress chains — before lowering could
+ * answer with its SC1090 nesting fence. */
+function collectNodes(sf) {
+    const nodes = [];
+    walkPreorder(sf, (n, depth) => {
+        nodes.push(n);
+        if (depth >= PREFETCH_MAX_DEPTH)
+            return "skip";
+        return undefined;
+    });
+    return nodes;
+}
+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();
+    unknownType = null;
+    /** Intrinsic singletons (string/number/bigint/boolean), fetched once. */
+    intrinsics = new Map();
+    tupleTypeAnswer = new WeakMap();
+    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;
+    }
+    /* ── 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
+     * symbol.declarations/valueDeclaration pervasively, so the facade owns
+     * 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)
+            throw new Error("CheckerFacade built without a project cannot resolve declarations");
+        return project;
+    }
+    /** 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);
+        if (decls === undefined) {
+            const project = this.requireProject();
+            decls = symbol.declarations
+                .map((h) => h.resolve(project))
+                .filter((n) => n !== undefined);
+            this.declsOf.set(symbol, decls);
+        }
+        return decls;
+    }
+    /** 5.9.3's symbol.valueDeclaration. */
+    valueDeclarationOf(symbol) {
+        if (this.valueDeclOf.has(symbol))
+            return this.valueDeclOf.get(symbol);
+        const decl = symbol.valueDeclaration?.resolve(this.requireProject());
+        this.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);
+        const decl = signature.declaration?.resolve(this.requireProject());
+        this.sigDeclOf.set(signature, decl);
+        return decl;
+    }
+    sigDeclOf = new WeakMap();
+    /** 5.9.3's type.getCallSignatures(). */
+    getCallSignatures(type) {
+        let sigs = this.callSigsOf.get(type);
+        if (sigs === undefined) {
+            sigs = this.raw.getSignaturesOfType(type, SignatureKind.Call);
+            this.callSigsOf.set(type, sigs);
+        }
+        return sigs;
+    }
+    callSigsOf = new WeakMap();
+    /** 5.9.3's type.getConstructSignatures(). */
+    getConstructSignatures(type) {
+        let sigs = this.ctorSigsOf.get(type);
+        if (sigs === undefined) {
+            sigs = this.raw.getSignaturesOfType(type, SignatureKind.Construct);
+            this.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);
+    }
+    /** 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). */
+    anyType() {
+        return this.intrinsic("any", () => this.raw.getAnyType());
+    }
+    /** 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) {
+        this.prefetchTypes(sf);
+        this.prefetchSymbols(sf);
+    }
+    prefetchTypes(sf) {
+        if (this.prefetchedTypes.has(sf))
+            return;
+        this.prefetchedTypes.add(sf);
+        const nodes = collectNodes(sf).filter((n) => !this.typeAtLocation.has(n));
+        const types = chunked(nodes, (chunk) => this.typesWithPanicFence(chunk));
+        nodes.forEach((n, i) => this.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). */
+    typesWithPanicFence(chunk) {
+        return withPanicFence(chunk, (c) => this.raw.getTypeAtLocation(c));
+    }
+    prefetchSymbols(sf) {
+        if (this.prefetchedSymbols.has(sf))
+            return;
+        this.prefetchedSymbols.add(sf);
+        const nodes = collectNodes(sf).filter((n) => !this.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]));
+        // The walk's companion query: types of the symbols the file mentions.
+        const distinct = [...new Set(symbols.filter((s) => s !== undefined))].filter((s) => !this.typeOfSymbol.has(s));
+        const symbolTypes = chunked(distinct, (chunk) => withPanicFence(chunk, (c) => this.raw.getTypeOfSymbol(c)));
+        distinct.forEach((s, i) => this.typeOfSymbol.set(s, symbolTypes[i]));
+    }
+    autoPrefetch(node, kind) {
+        if (this.options.autoPrefetch === false)
+            return;
+        const sf = node.getSourceFile();
+        if (kind === "types")
+            this.prefetchTypes(sf);
+        else
+            this.prefetchSymbols(sf);
+    }
+    getTypeAtLocation(node) {
+        if (this.typeAtLocation.has(node))
+            return this.typeAtLocation.get(node) ?? this.anyType();
+        this.autoPrefetch(node, "types");
+        if (this.typeAtLocation.has(node))
+            return this.typeAtLocation.get(node) ?? this.anyType();
+        const type = this.raw.getTypeAtLocation(node);
+        this.typeAtLocation.set(node, type);
+        return type ?? this.anyType();
+    }
+    getSymbolAtLocation(node) {
+        if (this.symbolAtLocation.has(node))
+            return this.symbolAtLocation.get(node);
+        this.autoPrefetch(node, "symbols");
+        if (this.symbolAtLocation.has(node))
+            return this.symbolAtLocation.get(node);
+        const symbol = this.raw.getSymbolAtLocation(node);
+        this.symbolAtLocation.set(node, symbol);
+        return symbol;
+    }
+    getTypeOfSymbol(symbol) {
+        if (this.typeOfSymbol.has(symbol))
+            return this.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:
+        // GetTypeOfSymbol's TypeReference/TupleType conversion on prettier's
+        // 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);
+        return type ?? this.anyType();
+    }
+    getAliasedSymbol(symbol) {
+        let aliased = this.aliasedSymbol.get(symbol);
+        if (aliased === undefined) {
+            aliased = this.raw.getAliasedSymbol(symbol);
+            this.aliasedSymbol.set(symbol, aliased);
+        }
+        return aliased;
+    }
+    getDeclaredTypeOfSymbol(symbol) {
+        let type = this.declaredTypeOfSymbol.get(symbol);
+        if (type === undefined) {
+            type = this.raw.getDeclaredTypeOfSymbol(symbol);
+            this.declaredTypeOfSymbol.set(symbol, type);
+        }
+        return type;
+    }
+    getContextualType(node) {
+        if (this.contextualType.has(node))
+            return this.contextualType.get(node);
+        const type = this.raw.getContextualType(node);
+        this.contextualType.set(node, type);
+        return type;
+    }
+    getTypeFromTypeNode(node) {
+        if (this.typeFromTypeNode.has(node))
+            return this.typeFromTypeNode.get(node) ?? this.anyType();
+        const type = this.raw.getTypeFromTypeNode(node);
+        this.typeFromTypeNode.set(node, type);
+        return type ?? this.anyType();
+    }
+    getShorthandAssignmentValueSymbol(node) {
+        if (this.shorthandValueSymbol.has(node))
+            return this.shorthandValueSymbol.get(node);
+        const symbol = this.raw.getShorthandAssignmentValueSymbol(node);
+        this.shorthandValueSymbol.set(node, symbol);
+        return symbol;
+    }
+    getResolvedSignature(node) {
+        if (this.resolvedSignature.has(node))
+            return this.resolvedSignature.get(node);
+        const signature = this.raw.getResolvedSignature(node);
+        this.resolvedSignature.set(node, signature);
+        return signature;
+    }
+    getSignatureFromDeclaration(node) {
+        if (this.signatureFromDeclaration.has(node))
+            return this.signatureFromDeclaration.get(node);
+        const signature = this.raw.getSignatureFromDeclaration(node);
+        this.signatureFromDeclaration.set(node, signature);
+        return signature;
+    }
+    getReturnTypeOfSignature(signature) {
+        if (this.returnTypeOf.has(signature))
+            return this.returnTypeOf.get(signature) ?? this.anyType();
+        const type = this.raw.getReturnTypeOfSignature(signature);
+        this.returnTypeOf.set(signature, type);
+        return type ?? this.anyType();
+    }
+    getTypePredicateOfSignature(signature) {
+        if (this.typePredicateOf.has(signature))
+            return this.typePredicateOf.get(signature);
+        const predicate = this.raw.getTypePredicateOfSignature(signature);
+        this.typePredicateOf.set(signature, predicate);
+        return predicate;
+    }
+    /** 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) {
+        const memo = this.baseTypeOfLiteral.get(type);
+        if (memo !== undefined)
+            return memo;
+        const flags = type.flags;
+        let base;
+        if (flags & (TypeFlags.EnumLiteral | TypeFlags.Enum) || flags & TypeFlags.Union) {
+            base = this.raw.getBaseTypeOfLiteralType(type) ?? type;
+        }
+        else if (flags & (TypeFlags.StringLiteral | TypeFlags.TemplateLiteral)) {
+            base = this.intrinsic("string", () => this.raw.getStringType());
+        }
+        else if (flags & TypeFlags.NumberLiteral) {
+            base = this.intrinsic("number", () => this.raw.getNumberType());
+        }
+        else if (flags & TypeFlags.BigIntLiteral) {
+            base = this.intrinsic("bigint", () => this.raw.getBigIntType());
+        }
+        else if (flags & TypeFlags.BooleanLiteral) {
+            base = this.intrinsic("boolean", () => this.raw.getBooleanType());
+        }
+        else {
+            base = type;
+        }
+        this.baseTypeOfLiteral.set(type, base);
+        return base;
+    }
+    intrinsic(name, fetch) {
+        let type = this.intrinsics.get(name);
+        if (type === undefined) {
+            type = fetch();
+            this.intrinsics.set(name, type);
+        }
+        return type;
+    }
+    /** 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) {
+        if (this.constantValueOf.has(node))
+            return this.constantValueOf.get(node);
+        const value = this.raw.getConstantValue(node);
+        this.constantValueOf.set(node, value);
+        return value;
+    }
+    constantValueOf = new WeakMap();
+    getNonNullableType(type) {
+        if (this.nonNullableType.has(type))
+            return this.nonNullableType.get(type) ?? type;
+        const result = this.raw.getNonNullableType(type);
+        this.nonNullableType.set(type, result);
+        return result ?? type;
+    }
+    getPropertiesOfType(type) {
+        let props = this.propertiesOfType.get(type);
+        if (props === undefined) {
+            props = this.raw.getPropertiesOfType(type);
+            this.propertiesOfType.set(type, props);
+        }
+        return props;
+    }
+    getIndexInfosOfType(type) {
+        let infos = this.indexInfosOfType.get(type);
+        if (infos === undefined) {
+            infos = this.raw.getIndexInfosOfType(type);
+            this.indexInfosOfType.set(type, infos);
+        }
+        return infos;
+    }
+    getTypeArguments(type) {
+        let args = this.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);
+        }
+        return args;
+    }
+    isArrayType(type) {
+        let answer = this.arrayTypeAnswer.get(type);
+        if (answer === undefined) {
+            answer = this.raw.isArrayType(type);
+            this.arrayTypeAnswer.set(type, answer);
+        }
+        return answer;
+    }
+    /** 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) {
+        if (type.isTupleType())
+            return true;
+        if (!(type.flags & TypeFlags.Object))
+            return false;
+        let answer = this.tupleTypeAnswer.get(type);
+        if (answer === undefined) {
+            answer = this.raw.isTupleType(type);
+            this.tupleTypeAnswer.set(type, answer);
+        }
+        return answer;
+    }
+    isArrayLikeType(type) {
+        let answer = this.arrayLikeAnswer.get(type);
+        if (answer === undefined) {
+            answer = this.raw.isArrayLikeType(type);
+            this.arrayLikeAnswer.set(type, answer);
+        }
+        return answer;
+    }
+    typeToString(type, enclosingDeclaration, flags) {
+        if (enclosingDeclaration === undefined && flags === undefined) {
+            let text = this.typeStringOf.get(type);
+            if (text === undefined) {
+                text = this.raw.typeToString(type);
+                this.typeStringOf.set(type, text);
+            }
+            return text;
+        }
+        return this.raw.typeToString(type, enclosingDeclaration, flags);
+    }
+    getTypeOfSymbolAtLocation(symbol, location) {
+        // 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;
+    }
+    /** 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) {
+        if (this.awaitedTypeOf.has(type))
+            return this.awaitedTypeOf.get(type);
+        const awaited = this.computeAwaitedType(type, 0);
+        this.awaitedTypeOf.set(type, awaited);
+        return awaited;
+    }
+    computeAwaitedType(type, depth) {
+        if (depth > 8)
+            return undefined; // matches 5.9.3's unwrap depth fence
+        if (type.isUnionType()) {
+            const arms = type.getTypes();
+            const awaited = arms.map((arm) => this.computeAwaitedType(arm, depth + 1));
+            if (awaited.some((arm) => arm === undefined))
+                return undefined;
+            // No arm was a promise: awaiting the union is the union itself
+            // (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)];
+            return distinct.length === 1 ? distinct[0] : undefined;
+        }
+        const unwrapped = this.promiseArgumentOf(type);
+        if (unwrapped === null)
+            return type;
+        return this.computeAwaitedType(unwrapped, depth + 1);
+    }
+    /** 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). */
+    promiseArgumentOf(type) {
+        if (!type.isTypeReference())
+            return null;
+        const name = type.getTarget().getSymbol()?.name;
+        if (name !== "Promise" && name !== "PromiseLike")
+            return null;
+        const args = this.getTypeArguments(type);
+        return args[0] ?? null;
+    }
+}
+//# sourceMappingURL=checker.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/frontend/ts7/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCAgCiC;AAajC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEtD;wEACwE;AACxE,MAAM,WAAW,GAAG,IAAI,CAAC;AAEzB;;;;;;;sBAOsB;AACtB,SAAS,cAAc,CACrB,KAAmB,EACnB,IAAgD;IAEhD,IAAI,CAAC;QACH,OAAO,CAAC,GAAG,IAAI,CAAC,KAAY,CAAC,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;QAC9B,OAAO;YACL,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;YAC5C,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC;SAC1C,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAO,KAAmB,EAAE,KAA4C;IACtF,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,WAAW,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;6BAO6B;AAC7B,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B;;;2CAG2C;AAC3C,SAAS,YAAY,CAAC,EAAc;IAClC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC5B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,IAAI,KAAK,IAAI,kBAAkB;YAAE,OAAO,MAAM,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,aAAa;IAsCb;IACQ;IAtCnB;4EACwE;IACvD,cAAc,GAAG,IAAI,OAAO,EAA0B,CAAC;IACvD,gBAAgB,GAAG,IAAI,OAAO,EAA+B,CAAC;IAC9D,cAAc,GAAG,IAAI,OAAO,EAA0B,CAAC;IACvD,gBAAgB,GAAG,IAAI,OAAO,EAA0B,CAAC;IACzD,oBAAoB,GAAG,IAAI,OAAO,EAA+B,CAAC;IAClE,iBAAiB,GAAG,IAAI,OAAO,EAA+B,CAAC;IAC/D,wBAAwB,GAAG,IAAI,OAAO,EAA+B,CAAC;IACvF,0BAA0B;IACT,YAAY,GAAG,IAAI,OAAO,EAA+B,CAAC;IAC1D,aAAa,GAAG,IAAI,OAAO,EAAwB,CAAC;IACpD,oBAAoB,GAAG,IAAI,OAAO,EAAmB,CAAC;IACvE,wBAAwB;IACP,iBAAiB,GAAG,IAAI,OAAO,EAAc,CAAC;IAC9C,eAAe,GAAG,IAAI,OAAO,EAA0B,CAAC;IACxD,gBAAgB,GAAG,IAAI,OAAO,EAA8B,CAAC;IAC7D,gBAAgB,GAAG,IAAI,OAAO,EAA8B,CAAC;IAC7D,eAAe,GAAG,IAAI,OAAO,EAAyB,CAAC;IACvD,eAAe,GAAG,IAAI,OAAO,EAAiB,CAAC;IAC/C,eAAe,GAAG,IAAI,OAAO,EAAiB,CAAC;IAC/C,YAAY,GAAG,IAAI,OAAO,EAAgB,CAAC;IAC3C,aAAa,GAAG,IAAI,OAAO,EAA0B,CAAC;IACvE,6BAA6B;IACZ,YAAY,GAAG,IAAI,OAAO,EAA+B,CAAC;IAC1D,eAAe,GAAG,IAAI,OAAO,EAAwC,CAAC;IACvF,oEAAoE;IACnD,eAAe,GAAG,IAAI,OAAO,EAAc,CAAC;IAC5C,iBAAiB,GAAG,IAAI,OAAO,EAAc,CAAC;IACvD,WAAW,GAAgB,IAAI,CAAC;IACxC,yEAAyE;IACxD,UAAU,GAAG,IAAI,GAAG,EAAgB,CAAC;IACrC,eAAe,GAAG,IAAI,OAAO,EAAiB,CAAC;IAEhE;IACE;2EACuE;IAC9D,GAAY,EACJ,UAAyD,EAAE;QADnE,QAAG,GAAH,GAAG,CAAS;QACJ,YAAO,GAAP,OAAO,CAAoD;IAC3E,CAAC;IAEJ;;;;;;2EAMuE;IACtD,OAAO,GAAG,IAAI,OAAO,EAA8B,CAAC;IACpD,WAAW,GAAG,IAAI,OAAO,EAA+B,CAAC;IAElE,cAAc;QACpB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACnG,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;2EACuE;IACvE,cAAc,CAAC,MAAiB;QAC9B,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YACtC,KAAK,GAAG,MAAM,CAAC,YAAY;iBACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;iBAC9B,MAAM,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;YAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,uCAAuC;IACvC,kBAAkB,CAAC,MAAiB;QAClC,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtE,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;+DAC2D;IAC3D,oBAAoB,CAAC,SAAoB;QACvC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACgB,SAAS,GAAG,IAAI,OAAO,EAA+B,CAAC;IAExE,wCAAwC;IACxC,iBAAiB,CAAC,IAAU;QAC1B,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;YAC9D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACgB,UAAU,GAAG,IAAI,OAAO,EAA8B,CAAC;IAExE,6CAA6C;IAC7C,sBAAsB,CAAC,IAAU;QAC/B,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;YACnE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACgB,UAAU,GAAG,IAAI,OAAO,EAA8B,CAAC;IAExE,sCAAsC;IACtC,iBAAiB,CAAC,IAAU,EAAE,IAAY;QACxC,OAAO,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChD,CAAC;IAED;;;;;yCAKqC;IAC7B,OAAO;QACb,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED;;;6DAGyD;IACzD,kBAAkB,CAAC,EAAc;QAC/B,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAEO,aAAa,CAAC,EAAc;QAClC,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QACzC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;4EACwE;IAChE,mBAAmB,CAAC,KAAsB;QAChD,OAAO,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAyB,CAAC,CAAC;IAC7F,CAAC;IAEO,eAAe,CAAC,EAAc;QACpC,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAC3C,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,mEAAmE;QACnE,4DAA4D;QAC5D,mEAAmE;QACnE,sCAAsC;QACtC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACvC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAC9D,CAAC;QACF,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,sEAAsE;QACtE,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAC1F,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CACjC,CAAC;QACF,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAC9C,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAC1D,CAAC;QACF,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IAEO,YAAY,CAAC,IAAU,EAAE,IAAyB;QACxD,IAAI,IAAI,CAAC,OAAO,CAAC,YAAY,KAAK,KAAK;YAAE,OAAO;QAChD,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAChC,IAAI,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;;YACxC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,iBAAiB,CAAC,IAAU;QAC1B,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1F,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1F,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAChC,CAAC;IAED,mBAAmB,CAAC,IAAU;QAC5B,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5E,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,eAAe,CAAC,MAAiB;QAC/B,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1F,gEAAgE;QAChE,qEAAqE;QACrE,oEAAoE;QACpE,qEAAqE;QACrE,oEAAoE;QACpE,sBAAsB;QACtB,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAChC,CAAC;IAED,gBAAgB,CAAC,MAAiB;QAChC,IAAI,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,uBAAuB,CAAC,MAAiB;QACvC,IAAI,IAAI,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAChD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iBAAiB,CAAC,IAAU;QAC1B,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAa,CAAC,CAAC;QACvD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,mBAAmB,CAAC,IAAU;QAC5B,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9F,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAa,CAAC,CAAC;QACzD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAChC,CAAC;IAED,iCAAiC,CAAC,IAAU;QAC1C,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,iCAAiC,CAAC,IAAI,CAAC,CAAC;QAChE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,oBAAoB,CAAC,IAAU;QAC7B,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,2BAA2B,CAAC,IAAU;QACpC,IAAI,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5F,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wBAAwB,CAAC,SAAoB;QAC3C,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChG,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAChC,CAAC;IAED,2BAA2B,CAAC,SAAoB;QAC9C,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC;QAClE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;gDAG4C;IAC5C,wBAAwB,CAAC,IAAU;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,IAAU,CAAC;QACf,IAAI,KAAK,GAAG,CAAC,SAAS,CAAC,WAAW,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC;YAChF,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QACzD,CAAC;aAAM,IAAI,KAAK,GAAG,CAAC,SAAS,CAAC,aAAa,GAAG,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC;YACzE,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,KAAK,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;YAC3C,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,KAAK,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;YAC3C,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,KAAK,GAAG,SAAS,CAAC,cAAc,EAAE,CAAC;YAC5C,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,SAAS,CAAC,IAAY,EAAE,KAAiB;QAC/C,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;+EAI2E;IAC3E,gBAAgB,CAAC,IAAU;QACzB,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IACgB,eAAe,GAAG,IAAI,OAAO,EAAqC,CAAC;IAEpF,kBAAkB,CAAC,IAAU;QAC3B,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,OAAO,MAAM,IAAI,IAAI,CAAC;IACxB,CAAC;IAED,mBAAmB,CAAC,IAAU;QAC5B,IAAI,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mBAAmB,CAAC,IAAU;QAC5B,IAAI,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gBAAgB,CAAC,IAAmB;QAClC,IAAI,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,qEAAqE;YACrE,iEAAiE;YACjE,8DAA8D;YAC9D,4DAA4D;YAC5D,IAAI,GAAI,IAAa,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,IAAU;QACpB,IAAI,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;iEAK6D;IAC7D,WAAW,CAAC,IAAU;QACpB,IAAI,IAAI,CAAC,WAAW,EAAE;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACnD,IAAI,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,eAAe,CAAC,IAAU;QACxB,IAAI,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,YAAY,CAAC,IAAU,EAAE,oBAA2B,EAAE,KAAc;QAClE,IAAI,oBAAoB,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9D,IAAI,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACnC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACpC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,oBAAoB,EAAE,KAAK,CAAC,CAAC;IAClE,CAAC;IAED,yBAAyB,CAAC,MAAiB,EAAE,QAAc;QACzD,sEAAsE;QACtE,OAAO,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9D,CAAC;IAED,cAAc;QACZ,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAED;;;;;;+EAM2E;IAC3E,cAAc,CAAC,IAAU;QACvB,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACjD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtC,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,kBAAkB,CAAC,IAAU,EAAE,KAAa;QAClD,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC,CAAC,qCAAqC;QACtE,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3E,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC/D,+DAA+D;YAC/D,sEAAsE;YACtE,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5D,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAiB,CAAC,CAAC,CAAC;YACjD,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzD,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC;IAED;;8EAE0E;IAClE,iBAAiB,CAAC,IAAU;QAClC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE,IAAI,CAAC;QAChD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,aAAa;YAAE,OAAO,IAAI,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACzB,CAAC;CACF"}

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

@@ -0,0 +1,18 @@
+export { InternalSymbolName, ModifierFlags, NodeFlags, ScriptKind, ScriptTarget, SyntaxKind, TokenFlags, } from "typescript/unstable/ast";
+export { DiagnosticCategory, ElementFlags, ModuleKind, NodeBuilderFlags, ObjectFlags, SignatureFlags, SignatureKind, SymbolFlags, TypeFlags, TypePredicateKind, } from "typescript/unstable/sync";
+interface ModuleResolutionKindEnum {
+    readonly Unknown: number;
+    readonly Classic: number;
+    readonly Node10: number;
+    readonly Node16: number;
+    readonly NodeNext: number;
+    readonly Bundler: number;
+    readonly [key: string | number]: string | number;
+}
+export declare const ModuleResolutionKind: ModuleResolutionKindEnum;
+export type ModuleResolutionKind = number;
+/** Reverse-maps a numeric enum value to its TS7 key name ("ESNext",
+ * "Bundler") — the spelling tsgo's tsconfig JSON parser accepts (lowercased
+ * by the caller where needed). Symbolic by construction: the name comes from
+ * the enum object's own reverse mapping. */
+export declare function enumKeyOf(enumObject: Record<string | number, string | number>, value: number): string | undefined;

package/dist/frontend/ts7/enums.js

@@ -0,0 +1,43 @@
+/* The census's enum surface over typescript@7.0.2 (the plain "typescript"
+ * dependency — 5.9.3 lives under the "typescript5" alias, islands only; see
+ * adapter.ts for the two-world rules). Everything here re-exports
+ * SYMBOLICALLY from 7: the two
+ * worlds renumbered their enums (SyntaxKind 218/396 keys differ, TypeFlags
+ * 64/71, NodeFlags 33/41 — the survey's census), so a numeric constant copied
+ * from either world is a silent lie in the other. No numeric values appear in
+ * this module.
+ *
+ * Placement in 7.0.2 (probed): the AST-world enums ship from unstable/ast,
+ * the checker-world enums from unstable/sync. ModuleResolutionKind is the one
+ * census enum the package does not re-export from any public entry point —
+ * it lives in dist/enums (the #enums/* internal imports), which the exports
+ * map hides from bare-specifier imports but NOT from a direct file require;
+ * loadHiddenEnum resolves the package root and requires the enum module by
+ * path, so the values are still TypeScript 7's own, never copied numbers. */
+import { createRequire } from "node:module";
+import { dirname, join } from "node:path";
+export { InternalSymbolName, ModifierFlags, NodeFlags, ScriptKind, ScriptTarget, SyntaxKind, TokenFlags, } from "typescript/unstable/ast";
+export { DiagnosticCategory, ElementFlags, ModuleKind, NodeBuilderFlags, ObjectFlags, SignatureFlags, SignatureKind, SymbolFlags, TypeFlags, TypePredicateKind, } from "typescript/unstable/sync";
+const require = createRequire(import.meta.url);
+/** Loads one of typescript(7)'s dist/enums modules by file path (the exports
+ * map hides them; a path require does not go through it). The enum files are
+ * ESM, so this leans on Node's require(esm) — the repo floor is Node 24,
+ * where that is always available. */
+function loadHiddenEnum(basename, key) {
+    const packageRoot = dirname(require.resolve("typescript/package.json"));
+    const mod = require(join(packageRoot, "dist", "enums", `${basename}.js`));
+    const value = mod[key];
+    if (value === undefined)
+        throw new Error(`typescript enum module ${basename} has no export ${key}`);
+    return value;
+}
+export const ModuleResolutionKind = loadHiddenEnum("moduleResolutionKind", "ModuleResolutionKind");
+/** Reverse-maps a numeric enum value to its TS7 key name ("ESNext",
+ * "Bundler") — the spelling tsgo's tsconfig JSON parser accepts (lowercased
+ * by the caller where needed). Symbolic by construction: the name comes from
+ * the enum object's own reverse mapping. */
+export function enumKeyOf(enumObject, value) {
+    const key = enumObject[value];
+    return typeof key === "string" ? key : undefined;
+}
+//# sourceMappingURL=enums.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"enums.js","sourceRoot":"","sources":["../../../src/frontend/ts7/enums.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;6EAe6E;AAE7E,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,SAAS,EACT,UAAU,EACV,YAAY,EACZ,UAAU,EACV,UAAU,GACX,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,aAAa,EACb,WAAW,EACX,SAAS,EACT,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAElC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE/C;;;qCAGqC;AACrC,SAAS,cAAc,CAAI,QAAgB,EAAE,GAAW;IACtD,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,KAAK,CAAC,CAAsB,CAAC;IAC/F,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,QAAQ,kBAAkB,GAAG,EAAE,CAAC,CAAC;IACpG,OAAO,KAAK,CAAC;AACf,CAAC;AAiBD,MAAM,CAAC,MAAM,oBAAoB,GAC/B,cAAc,CAA2B,sBAAsB,EAAE,sBAAsB,CAAC,CAAC;AAG3F;;;4CAG4C;AAC5C,MAAM,UAAU,SAAS,CAAC,UAAoD,EAAE,KAAa;IAC3F,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9B,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACnD,CAAC"}