typescript 7.0.1-rc → 7.1.0-beta

package/dist/api/async/api.d.ts

@@ -1,161 +1,624 @@
-/// <reference path="../node/node.d.ts" preserve="true" />
+import { CheckFlags } from "#enums/checkFlags";
 import { CompletionItemKind } from "#enums/completionItemKind";
 import { DiagnosticCategory } from "#enums/diagnosticCategory";
 import { ElementFlags } from "#enums/elementFlags";
+import { EmitOnly } from "#enums/emitOnly";
+import { IndexKind } from "#enums/indexKind";
+import { JsxEmit } from "#enums/jsxEmit";
+import { ModuleKind } from "#enums/moduleKind";
+import { ModuleResolutionKind } from "#enums/moduleResolutionKind";
 import { NodeBuilderFlags } from "#enums/nodeBuilderFlags";
 import { ObjectFlags } from "#enums/objectFlags";
+import { ScriptKind } from "#enums/scriptKind";
 import { SignatureFlags } from "#enums/signatureFlags";
 import { SignatureKind } from "#enums/signatureKind";
 import { SymbolFlags } from "#enums/symbolFlags";
+import { SymbolOwnerKind } from "#enums/symbolOwnerKind";
 import { TypeFlags } from "#enums/typeFlags";
+import { TypeFormatFlags } from "#enums/typeFormatFlags";
 import { TypePredicateKind } from "#enums/typePredicateKind";
-import { type Expression, type Identifier, ModifierFlags, type Node, type Path, type SourceFile, type SyntaxKind, type TypeNode } from "../../ast/index.ts";
-import { type ObjectFactories, ObjectRegistry } from "../objectRegistry.ts";
+import { type __String, type CallLikeExpression, type Declaration, type Expression, type FileReference, type Identifier, ModifierFlags, type NamedTupleMember, type Node, type ParameterDeclaration, type PathKey, type RootedDirectoryPath, type RootedFilePath, type SourceFile, type StringLiteralLikeNode, type SyntaxKind, type TypeNode } from "../../ast/index.ts";
 import type { APIOptions, LSPConnectionOptions } from "../options.ts";
-import type { ConfigResponse, DocumentIdentifier, DocumentPosition, LSPUpdateSnapshotParams, ProjectResponse, SignatureResponse, SymbolResponse, TypeResponse, UpdateSnapshotParams, UpdateSnapshotResponse } from "../proto.ts";
-import { SourceFileCache } from "../sourceFileCache.ts";
+import type { BuildResponse, CleanBuildResponse, CompactSymbolReference, CompilerOptions, CompletionPreferences, ConfiguredProjectId, CreateBuildOrchestratorResponse, CreateProgramOptions as ProtocolCreateProgramOptions, CreateSnapshotParams as ProtocolCreateSnapshotParams, CreateSnapshotProgramParams as ProtocolCreateSnapshotProgramParams, CreateSnapshotResponse, CreateSourceFileOptions, Diagnostic, DocumentIdentifier, DocumentPosition, FileNotifications, InferredProjectId, LanguageServerSnapshotChanges as ProtocolLanguageServerSnapshotChanges, ModuleResolutionEntry, ModuleResolutionSpec, PackageId, ParsedCommandLine, ProjectId, ProjectReference, ProjectResponse, ProtocolSymbolResponse, RawCompilerOptions, ReadConfigFileResponse, ReconfigureSnapshotProgramParams as ProtocolReconfigureSnapshotProgramParams, ResolutionMode, ResolvedModule, ResolvedTypeReferenceDirective, ResolveModuleNameResult, SignaturePropertyMethod, SignatureResponse, SourceFileMetadata, StaticModuleResolution, SymbolPropertyMethod, SymbolResponse, SymbolsPropertyMethod, SyntheticProjectId, TextEdit, TypeAcquisition, TypePropertyMethod, TypeResponse, TypesPropertyMethod, UserPreferences } from "../proto.ts";
+import { type CachedSourceFile } from "../sourceFileCache.ts";
+import type { RequestTiming, TimingAccumulators, TimingInfo } from "../timing.ts";
 import { Client, type ClientSocketOptions, type ClientSpawnOptions } from "./client.ts";
-import type { AssertsIdentifierTypePredicate, AssertsThisTypePredicate, CompletionEntry, CompletionInfo, CompletionOptions, ConditionalType, Diagnostic, FreshableType, IdentifierTypePredicate, IndexedAccessType, IndexInfo, IndexType, InterfaceType, IntersectionType, IntrinsicType, LiteralType, ObjectType, StringMappingType, SubstitutionType, TemplateLiteralType, ThisTypePredicate, TupleType, Type, TypeParameter, TypePredicate, TypePredicateBase, TypeReference, UnionOrIntersectionType, UnionType } from "./types.ts";
-export { CompletionItemKind, DiagnosticCategory, ElementFlags, ModifierFlags, NodeBuilderFlags, ObjectFlags, SignatureFlags, SignatureKind, SymbolFlags, TypeFlags, TypePredicateKind };
-export type { APIOptions, ClientSocketOptions, ClientSpawnOptions, DocumentIdentifier, DocumentPosition, LSPConnectionOptions };
-export type { AssertsIdentifierTypePredicate, AssertsThisTypePredicate, CompletionEntry, CompletionInfo, CompletionOptions, ConditionalType, Diagnostic, FreshableType, IdentifierTypePredicate, IndexedAccessType, IndexInfo, IndexType, InterfaceType, IntersectionType, IntrinsicType, LiteralType, ObjectType, StringMappingType, SubstitutionType, TemplateLiteralType, ThisTypePredicate, TupleType, Type, TypeParameter, TypePredicate, TypePredicateBase, TypeReference, UnionOrIntersectionType, UnionType };
+import type { AssertsIdentifierTypePredicate, AssertsThisTypePredicate, BigIntLiteralType, BooleanLiteralType, CompletionEntry, CompletionInfo, CompletionOptions, ConditionalType, EmitOutput, EmitOutputFile, EmitResult, FormatDiagnosticsHost, FreshableType, GenericType, GetImportEditsForSymbolsOptions, IdentifierTypePredicate, ImportAdderAction as APIImportAdderAction, IndexedAccessType, IndexInfo, IndexType, InterfaceType, IntersectionType, IntrinsicType, JSDocTagInfo, LiteralType, MappedType, NumberLiteralType, ObjectType, StringLiteralType, StringMappingType, StructuredType, SubstitutionType, TemplateLiteralType, ThisTypePredicate, TupleType, TupleTypeReference, Type, TypeParameter, TypePredicate, TypePredicateBase, TypeReference, UnionOrIntersectionType, UnionType } from "./types.ts";
+export { formatDiagnostics, formatDiagnosticsWithColorAndContext } from "../diagnosticFormatter.ts";
 export { documentURIToFileName, fileNameToDocumentURI } from "../path.ts";
-export declare class API<FromLSP extends boolean = false> {
-    private client;
-    private sourceFileCache;
+export { CheckFlags, CompletionItemKind, DiagnosticCategory, ElementFlags, EmitOnly, IndexKind, JsxEmit, ModifierFlags, ModuleKind, ModuleResolutionKind, NodeBuilderFlags, ObjectFlags, ScriptKind, SignatureFlags, SignatureKind, SymbolFlags, SymbolOwnerKind, TypeFlags, TypeFormatFlags, TypePredicateKind };
+export type { APIImportAdderAction as ImportAdderAction, APIOptions, AssertsIdentifierTypePredicate, AssertsThisTypePredicate, BigIntLiteralType, BooleanLiteralType, ClientSocketOptions, ClientSpawnOptions, CompilerOptions, CompletionEntry, CompletionInfo, CompletionOptions, CompletionPreferences, ConditionalType, ConfiguredProjectId, CreateSourceFileOptions, Diagnostic, DocumentIdentifier, DocumentPosition, EmitOutput, EmitOutputFile, EmitResult, FileNotifications, FormatDiagnosticsHost, FreshableType, GenericType, GetImportEditsForSymbolsOptions, IdentifierTypePredicate, IndexedAccessType, IndexInfo, IndexType, InferredProjectId, InterfaceType, IntersectionType, IntrinsicType, JSDocTagInfo, LiteralType, LSPConnectionOptions, MappedType, ModuleResolutionEntry, ModuleResolutionSpec, NumberLiteralType, ObjectType, PackageId, ParsedCommandLine, ProjectId, ProjectReference, RawCompilerOptions, ReadConfigFileResponse, RequestTiming, ResolutionMode, ResolvedModule, ResolvedTypeReferenceDirective, ResolveModuleNameResult, SourceFileMetadata, StaticModuleResolution, StringLiteralType, StringMappingType, StructuredType, SubstitutionType, SyntheticProjectId, TemplateLiteralType, TextEdit, ThisTypePredicate, TimingAccumulators, TimingInfo, TupleType, TupleTypeReference, Type, TypeAcquisition, TypeParameter, TypePredicate, TypePredicateBase, TypeReference, UnionOrIntersectionType, UnionType, UserPreferences, };
+export interface ModuleResolverOptions {
+    moduleResolutions?: ModuleResolutionSpec | undefined;
+    resolveModuleName?: ResolveModuleNameCallback | undefined;
+}
+export interface ResolveModuleNameCallbackOptions {
+    snapshot: Snapshot | InProgressSnapshot | undefined;
+}
+declare const inProgressSnapshotBrand: unique symbol;
+export type InProgressSnapshot = number & {
+    readonly [inProgressSnapshotBrand]: never;
+};
+export type ResolveModuleNameCallback = (moduleName: string, containingDirectory: string, resolutionMode: ResolutionMode | undefined, options: ResolveModuleNameCallbackOptions) => StaticModuleResolution | undefined | Promise<StaticModuleResolution | undefined>;
+export type CreateProgramOptions = Omit<ProtocolCreateProgramOptions, "moduleResolver" | "projectReferences"> & {
+    moduleResolver?: ModuleResolver | undefined;
+    projectReferences?: readonly (Omit<ProjectReference, "path"> & {
+        path: string;
+    })[] | undefined;
+};
+export type CreateSnapshotProgramParams = Omit<ProtocolCreateSnapshotProgramParams, "options"> & {
+    options?: CreateProgramOptions | undefined;
+};
+export type ReconfigureSnapshotProgramParams = Omit<ProtocolReconfigureSnapshotProgramParams, "options"> & {
+    options?: CreateProgramOptions | undefined;
+};
+export type CreateSnapshotParams = Omit<ProtocolCreateSnapshotParams, "createPrograms" | "reconfigurePrograms"> & {
+    createPrograms?: readonly CreateSnapshotProgramParams[] | undefined;
+    reconfigurePrograms?: readonly ReconfigureSnapshotProgramParams[] | undefined;
+};
+export type LanguageServerSnapshotChanges = Omit<ProtocolLanguageServerSnapshotChanges, "createPrograms" | "reconfigurePrograms"> & {
+    createPrograms?: readonly CreateSnapshotProgramParams[] | undefined;
+    reconfigurePrograms?: readonly ReconfigureSnapshotProgramParams[] | undefined;
+};
+export interface TranspileOptions {
+    compilerOptions?: RawCompilerOptions | undefined;
+    fileName?: string | undefined;
+    reportDiagnostics?: boolean | undefined;
+}
+export interface TranspileOutput {
+    outputText: string;
+    diagnostics?: readonly Diagnostic[] | undefined;
+    sourceMapText?: string | undefined;
+}
+export declare class API<FromLSP extends boolean = false> implements FormatDiagnosticsHost {
     private toPath;
+    private readonly decoder;
+    private currentDirectory;
+    private caseSensitivity;
     private initialized;
+    private initializing;
     private activeSnapshots;
-    private latestSnapshot;
-    readonly internal: InternalAPI;
-    constructor(options: APIOptions | LSPConnectionOptions);
+    private activeBuildOrchestrators;
+    private activeSourceFileLeases;
+    readonly printer: Printer;
+    readonly debug: DebugHandlers;
+    constructor(options?: APIOptions | LSPConnectionOptions);
+    /**
+     * Looks up a remote declaration's binder symbol. Throws for synthesized or configuration ASTs.
+     */
+    getSymbol(declaration: Declaration): Promise<Symbol>;
+    private fetchDeclarationSymbol;
     /**
      * Create an API instance from an existing LSP connection's API session.
      * Use this when connecting to an API pipe provided by an LSP server via custom/initializeAPISession.
      */
     static fromLSPConnection(options: LSPConnectionOptions): Promise<API<true>>;
+    batchContext(): {
+        [globalThis.Symbol.dispose](): void;
+    };
     private ensureInitialized;
-    parseConfigFile(file: DocumentIdentifier): Promise<ConfigResponse>;
-    updateSnapshot(params?: FromLSP extends true ? LSPUpdateSnapshotParams : UpdateSnapshotParams): Promise<Snapshot>;
+    private initializeWorker;
+    getCurrentDirectory(): RootedDirectoryPath;
+    getCanonicalFileName(fileName: string): string;
+    private getCaseSensitivity;
+    getNewLine(): string;
+    parseConfigFile(file: DocumentIdentifier): Promise<ParsedCommandLine>;
+    parseCommandLine(commandLine: readonly string[]): Promise<ParsedCommandLine>;
+    readConfigFile(file: DocumentIdentifier): Promise<ReadConfigFileResponse>;
+    parseJsonConfigFileContent(json: any, options: {
+        configDirectory: string;
+        configFileName?: never;
+    } | {
+        configFileName: DocumentIdentifier;
+        configDirectory?: never;
+    }): Promise<ParsedCommandLine>;
+    /**
+     * Create and retain a source file independently of a program.
+     * Dispose the returned lease when the source file no longer needs to remain available remotely.
+     */
+    createSourceFile(fileName: string, sourceText: string, options?: CreateSourceFileOptions): Promise<RetainedSourceFile>;
+    /**
+     * Read, create, and retain a source file independently of a program.
+     * Dispose the returned lease when the source file no longer needs to remain available remotely.
+     */
+    createSourceFileFromFile(file: DocumentIdentifier, options?: CreateSourceFileOptions): Promise<RetainedSourceFile>;
+    /**
+     * Retain an ordinary remote source file independently of the snapshot or lease that produced it.
+     */
+    retainSourceFile(sourceFile: SourceFile): Promise<RetainedSourceFile>;
+    private retainSourceFileResponse;
+    private addSourceFileLease;
+    transpileModule(input: string, options?: TranspileOptions): Promise<TranspileOutput>;
+    transpileModuleFromFile(file: DocumentIdentifier, options?: TranspileOptions): Promise<TranspileOutput>;
+    transpileDeclaration(input: string, options?: TranspileOptions): Promise<TranspileOutput>;
+    transpileDeclarationFromFile(file: DocumentIdentifier, options?: TranspileOptions): Promise<TranspileOutput>;
+    createSnapshot<const CreatePrograms extends CreateSnapshotParams["createPrograms"] = undefined, const OpenFiles extends CreateSnapshotParams["openFiles"] = undefined>(params: SnapshotOperationParams<CreateSnapshotParams, CreatePrograms, OpenFiles>): Promise<SnapshotForOperationResults<CreatePrograms, OpenFiles>>;
+    createSnapshot(): Promise<Snapshot>;
+    private updateSnapshot;
+    private prepareCreateSnapshotParams;
+    private prepareLanguageServerSnapshotChanges;
+    private createSnapshotUpdater;
+    /**
+     * Returns the language server's current canonical snapshot after atomically
+     * adopting any supplied API-driven changes. Only available on LSP-connected APIs.
+     */
+    getCurrentLanguageServerSnapshot<const CreatePrograms extends LanguageServerSnapshotChanges["createPrograms"] = undefined, const OpenFiles extends LanguageServerSnapshotChanges["openFiles"] = undefined>(...args: FromLSP extends true ? [changes: SnapshotOperationParams<LanguageServerSnapshotChanges, CreatePrograms, OpenFiles>, baseSnapshot?: Snapshot] : [changes: never, baseSnapshot?: never]): Promise<SnapshotForOperationResults<CreatePrograms, OpenFiles>>;
+    getCurrentLanguageServerSnapshot(...args: FromLSP extends true ? [changes?: LanguageServerSnapshotChanges, baseSnapshot?: Snapshot] : [changes: never, baseSnapshot?: never]): Promise<Snapshot>;
+    [globalThis.Symbol.asyncDispose](): Promise<void>;
     close(): Promise<void>;
+    createModuleResolver(compilerOptions: RawCompilerOptions, options?: ModuleResolverOptions): Promise<ModuleResolver>;
     clearSourceFileCache(): void;
+    runWithTemporaryFileUpdate(baseSnapshot: Snapshot, file: DocumentIdentifier, newText: string, cb: (newSnapshot: Snapshot) => void | Promise<void>): Promise<void>;
+    /**
+     * Returns a snapshot of collected timing information for requests made
+     * through this API instance: client-measured round-trip latency and bytes
+     * transferred, folded together with the server's own per-request processing
+     * time and an estimated transport overhead (round-trip minus server time).
+     *
+     * Fetching the snapshot issues a lightweight request to the server to
+     * retrieve its timing collection. Collection must be enabled via the
+     * `collectTiming` option or `TS_API_TIMING_DIR` environment variable; when
+     * it is not, the returned snapshot has `enabled: false` and zeroed totals.
+     */
+    getTimingInfo(): Promise<TimingInfo>;
+    /** Clears all accumulated timing totals and recent-request history, on both the client and the server. */
+    resetTimingInfo(): Promise<void>;
+    /** Creates a program from current filesystem state. */
+    createProgram(rootFiles: readonly DocumentIdentifier[], compilerOptions: RawCompilerOptions, createProgramOptions?: CreateProgramOptions): Promise<Program>;
 }
-export declare class InternalAPI {
+type EnsureInitialized = () => Promise<void>;
+/** Returns whether a node is backed by a remote compiler response. */
+export declare function isRemoteNode(node: Node): boolean;
+/** Looks up a remote declaration's binder symbol through its API. Throws for non-remote declarations. */
+export declare function getSymbol(declaration: Declaration): Promise<Symbol>;
+/** An independently retained source file and its disposable remote-lifetime lease. */
+export declare class RetainedSourceFile {
+    readonly sourceFile: SourceFile;
+    private readonly lease;
+    private readonly onDispose;
+    private disposed;
+    private disposePromise;
+    constructor(sourceFile: SourceFile, lease: number, onDispose: () => void);
+    [globalThis.Symbol.asyncDispose](): Promise<void>;
+    dispose(): Promise<void>;
+    private disposeWorker;
+}
+export declare class DebugHandlers {
     private client;
     private ensureInitialized;
-    /** @internal */
-    constructor(client: Client, ensureInitialized: () => Promise<void>);
+    constructor(client: Client, ensureInitialized: EnsureInitialized);
     startCPUProfile(dir: string): Promise<void>;
-    stopCPUProfile(): Promise<string>;
-    saveHeapProfile(dir: string): Promise<string>;
+    stopCPUProfile(): Promise<RootedFilePath>;
+    saveHeapProfile(dir: string): Promise<RootedFilePath>;
+}
+type SnapshotUpdater = (params: CreateSnapshotParams) => Promise<Snapshot>;
+export interface SnapshotOperation {
+    readonly createdPrograms?: readonly Program<SyntheticProjectId>[] | undefined;
+    readonly openedFiles?: readonly SnapshotOpenedFileOperation[] | undefined;
+}
+export interface SnapshotOpenedFileOperation {
+    readonly project: Project;
 }
+/** Replaces every element of a tuple while preserving its length and index structure. */
+type MapTupleTo<Tuple extends readonly unknown[], Result> = {
+    readonly [Index in keyof Tuple]: Result;
+};
+/**
+ * Keeps `Tuple` as an inference target while contextually typing each element from
+ * `Elements`. The mapped intersection supplies nested completions and excess-property
+ * checks without widening an inferred tuple to an array.
+ */
+type ContextualizeTuple<Tuple extends readonly unknown[] | undefined, Elements extends readonly unknown[] | undefined> = Tuple & {
+    readonly [Index in keyof Tuple]: NonNullable<Elements>[number];
+};
+/** Substitutes the operation arrays with contextually typed, tuple-preserving versions. */
+type SnapshotOperationParams<Params extends {
+    createPrograms?: readonly unknown[] | undefined;
+    openFiles?: readonly unknown[] | undefined;
+}, CreatePrograms extends Params["createPrograms"], OpenFiles extends Params["openFiles"]> = Omit<Params, "createPrograms" | "openFiles"> & {
+    createPrograms?: ContextualizeTuple<CreatePrograms, Params["createPrograms"]> | undefined;
+    openFiles?: ContextualizeTuple<OpenFiles, Params["openFiles"]> | undefined;
+};
+/**
+ * Refines a snapshot's operation results to required tuples when the corresponding
+ * operation arrays were supplied, preserving their lengths for indexed access.
+ */
+type SnapshotForOperationResults<CreatePrograms extends readonly unknown[] | undefined, OpenFiles extends readonly unknown[] | undefined> = Snapshot & {
+    readonly operation: SnapshotOperation & (CreatePrograms extends readonly unknown[] ? {
+        readonly createdPrograms: MapTupleTo<CreatePrograms, Program<SyntheticProjectId>>;
+    } : unknown) & (OpenFiles extends readonly unknown[] ? {
+        readonly openedFiles: MapTupleTo<OpenFiles, SnapshotOpenedFileOperation>;
+    } : unknown);
+};
+/** Derives the refined snapshot result type from a complete operation parameter type. */
+export type SnapshotForOperation<Params extends CreateSnapshotParams> = SnapshotForOperationResults<Params extends {
+    createPrograms: infer CreatePrograms extends readonly unknown[];
+} ? CreatePrograms : undefined, Params extends {
+    openFiles: infer OpenFiles extends readonly unknown[];
+} ? OpenFiles : undefined>;
 export declare class Snapshot {
     readonly id: number;
+    readonly operation: SnapshotOperation;
     private projectMap;
     private toPath;
-    private client;
-    private objectRegistry;
+    private readonly api;
     private disposed;
+    private disposePromise;
     private onDispose;
-    constructor(data: UpdateSnapshotResponse, client: Client, sourceFileCache: SourceFileCache, toPath: (fileName: string) => Path, onDispose: () => void);
+    private snapshotRegistry;
+    private projectDataMap;
+    private updateSnapshot;
+    private get client();
+    constructor(data: CreateSnapshotResponse, toPath: (fileName: string, basePath?: string) => PathKey, api: API<boolean>, onDispose: () => void, updateSnapshot: SnapshotUpdater, baseSnapshot?: Snapshot);
     getProjects(): readonly Project[];
-    getProject(configFileName: string): Project | undefined;
+    getConfiguredProject(configFileName: string): Project<ConfiguredProjectId> | undefined;
+    getProject<Id extends ProjectId>(projectId: Id): Project<Id> | undefined;
+    getProgram<Id extends ProjectId>(projectId: Id): Program<Id> | undefined;
+    update<const CreatePrograms extends CreateSnapshotParams["createPrograms"] = undefined, const OpenFiles extends CreateSnapshotParams["openFiles"] = undefined>(params: SnapshotOperationParams<CreateSnapshotParams, CreatePrograms, OpenFiles>): Promise<SnapshotForOperationResults<CreatePrograms, OpenFiles>>;
+    update(params: CreateSnapshotParams): Promise<Snapshot>;
+    /**
+     * Gets the default project for a given file from the configured projects and
+     * inferred project already loaded in the snapshot. Synthetic projects are not
+     * considered. Files that have been opened with `openFiles` are guaranteed to
+     * have a result.
+     */
     getDefaultProjectForFile(file: DocumentIdentifier): Promise<Project | undefined>;
-    [globalThis.Symbol.dispose](): void;
+    [globalThis.Symbol.asyncDispose](): Promise<void>;
     dispose(): Promise<void>;
+    private disposeWorker;
     isDisposed(): boolean;
     private ensureNotDisposed;
+    private requireProject;
 }
-declare class SnapshotObjectRegistry extends ObjectRegistry<Symbol, TypeObject, Signature> {
-    private client;
+export declare class ModuleResolver {
+    readonly id: number;
+    private readonly client;
+    private readonly disposeCallback;
+    private disposed;
+    constructor(id: number, client: Client, disposeCallback: (() => void) | undefined);
+    resolveModuleName(moduleName: string, containingDirectory: DocumentIdentifier, resolutionMode?: ResolutionMode, options?: {
+        snapshot?: Snapshot | InProgressSnapshot | undefined;
+    }): Promise<ResolveModuleNameResult>;
+    [globalThis.Symbol.asyncDispose](): Promise<void>;
+    dispose(): Promise<void>;
+}
+declare class SnapshotObjectRegistry {
+    private readonly symbols;
+    private readonly projectRegistries;
+    private readonly snapshotId;
+    constructor(snapshotId: number);
+    addProjectRegistry(registry: ProjectObjectRegistry): void;
+    getOrCreateSymbol(data: SymbolResponse): Symbol;
+    getSymbol(id: number): Symbol | undefined;
+    clear(): void;
+}
+declare class ProjectObjectRegistry {
     private snapshotId;
-    constructor(factories: ObjectFactories<Symbol, TypeObject, Signature>, client: Client, snapshotId: number);
-    fetchType<T extends Type>(source: Symbol | Signature | Type, method: string, handle: number | undefined): Promise<T>;
-    fetchSymbol(source: Symbol | Signature | Type, method: string, handle: number | undefined): Promise<Symbol>;
-    fetchSignature(source: Symbol | Signature | Type, method: string, handle: number | undefined): Promise<Signature>;
-    fetchTypes(source: Symbol | Signature | Type, method: string, handles?: readonly number[]): Promise<readonly Type[]>;
-    fetchSymbols(source: Symbol | Signature | Type, method: string, handles?: readonly number[]): Promise<readonly Symbol[]>;
+    readonly project: Project;
+    private snapshotRegistry;
+    private types;
+    private signatures;
+    private disposed;
+    private get client();
+    private get sourceFileCache();
+    constructor(snapshotId: number, project: Project, snapshotRegistry: SnapshotObjectRegistry);
+    getOrCreateSymbol(data: ProtocolSymbolResponse): Symbol;
+    /** Find an already-interned symbol and retain its file record for this registry. */
+    getCachedSymbol(reference: CompactSymbolReference): Symbol | undefined;
+    getOrCreateType(data: TypeResponse): TypeObject;
+    getType(id: number): TypeObject | undefined;
+    createNodeHandle<T extends Node>(handle: string): NodeHandle<T>;
+    getOrCreateSignature(data: SignatureResponse): Signature;
+    getSignature(id: number): Signature | undefined;
+    clear(): void;
+    private ensureNotDisposed;
+    fetchOptionalType<T extends Type>(source: Symbol | Signature | Type, method: TypePropertyMethod, handle: number | false | undefined): Promise<T | undefined>;
+    fetchType<T extends Type>(source: Symbol | Signature | Type, method: TypePropertyMethod, handle: number | false | undefined): Promise<T>;
+    fetchSymbol(source: Symbol | Signature | Type, method: SymbolPropertyMethod, reference: CompactSymbolReference | undefined): Promise<Symbol>;
+    fetchSignature(source: Symbol | Signature | Type, method: SignaturePropertyMethod, handle: number | undefined): Promise<Signature>;
+    fetchTypes(source: Symbol | Signature | Type, method: TypesPropertyMethod, handles?: readonly number[]): Promise<readonly Type[]>;
+    fetchSymbols(source: Symbol | Signature | Type, method: SymbolsPropertyMethod, references?: readonly CompactSymbolReference[]): Promise<readonly Symbol[]>;
+    private fetchSymbolsFromServer;
+    fetchBaseTypes(source: Type): Promise<readonly Type[]>;
+    fetchPropertiesOfType(source: Type): Promise<readonly Symbol[]>;
+    fetchApparentPropertiesOfType(source: Type): Promise<readonly Symbol[]>;
+    fetchPropertyOfType(source: Type, name: string): Promise<Symbol | undefined>;
+    fetchSignaturesOfType(source: Type, kind: SignatureKind): Promise<readonly Signature[]>;
+    fetchIndexInfosOfType(source: Type): Promise<readonly IndexInfo[]>;
+    fetchTypeParameterAtPosition(source: Signature, pos: number): Promise<Type>;
 }
-export declare class Project {
-    readonly id: string;
-    readonly configFileName: string;
-    readonly compilerOptions: Record<string, unknown>;
-    readonly rootFiles: readonly string[];
-    readonly program: Program;
+export declare class Project<Id extends ProjectId = ProjectId> {
+    readonly id: Id;
+    readonly configFileName: RootedFilePath | undefined;
+    readonly currentDirectory: RootedDirectoryPath;
+    readonly dirty: boolean;
+    readonly parsedCommandLine: ParsedCommandLine;
+    readonly program: Program<Id>;
     readonly checker: Checker;
-    readonly emitter: Emitter;
-    private client;
-    constructor(data: ProjectResponse, snapshotId: number, client: Client, objectRegistry: SnapshotObjectRegistry, sourceFileCache: SourceFileCache, toPath: (fileName: string) => Path);
+    readonly languageService: LanguageService;
+    constructor(data: ProjectResponse, snapshotId: number, toPath: (fileName: string, basePath?: string) => PathKey, api: API<boolean>, snapshotRegistry: SnapshotObjectRegistry);
+    dispose(): void;
 }
-export declare class Program {
+export declare class LanguageService {
     private snapshotId;
-    private projectId;
-    private client;
-    private sourceFileCache;
-    private toPath;
-    private decoder;
-    constructor(snapshotId: number, projectId: string, client: Client, sourceFileCache: SourceFileCache, toPath: (fileName: string) => Path);
+    private project;
+    private objectRegistry;
+    private get client();
+    constructor(snapshotId: number, project: Project, objectRegistry: ProjectObjectRegistry);
+    getImportAdderEdits(file: DocumentIdentifier, actions: readonly APIImportAdderAction[]): Promise<readonly TextEdit[]>;
+    getImportEditsForSymbols(file: DocumentIdentifier, symbols: readonly Symbol[], options?: GetImportEditsForSymbolsOptions): Promise<readonly TextEdit[]>;
+    getReferencedSymbolsForNode(node: Node, position: number): Promise<ReferencedSymbolEntry[]>;
+    getSignatureUsage(signatureDecl: Node): Promise<SignatureUsage[]>;
+    getCompletionsAtPosition(document: string, position: number, options?: CompletionOptions): Promise<CompletionInfo | undefined>;
+    /**
+     * Format a synthesized node with the correct indentation for insertion at a
+     * specific position in an existing source file.
+     *
+     * @param node The synthesized AST node to format.
+     * @param file The target file where the node will be inserted.
+     * @param position The UTF-16 code-unit offset in the target file for insertion.
+     * @returns The formatted text of the node, indented for the insertion position.
+     */
+    formatNodeForInsertion(node: Node, file: DocumentIdentifier, position: number): Promise<string>;
+}
+export declare class Program<Id extends ProjectId = ProjectId> implements FormatDiagnosticsHost {
+    readonly id: Id;
+    private readonly project;
+    private readonly toPath;
+    private readonly decoder;
+    private readonly sourceFileMetadataCache;
+    private ownedSnapshot;
+    private disposePromise;
+    private get client();
+    private get sourceFileCache();
+    constructor(snapshotId: number, project: Project<Id>, toPath: (fileName: string, basePath?: string) => PathKey);
+    getCurrentDirectory(): RootedDirectoryPath;
+    getCanonicalFileName(fileName: string): string;
+    getNewLine(): string;
+    [globalThis.Symbol.asyncDispose](): Promise<void>;
+    dispose(): Promise<void>;
+    private disposeWorker;
+    getCompilerOptions(): CompilerOptions;
     getSourceFile(file: DocumentIdentifier): Promise<SourceFile | undefined>;
     /**
-     * Get syntactic (parse) diagnostics for a specific file or all files.
-     * @param file - Optional file to get diagnostics for. If omitted, returns diagnostics for all files.
+     * Returns the source file for an already-canonical path.
+     */
+    getSourceFileByPath(path: PathKey): Promise<SourceFile | undefined>;
+    private getSourceFileWorker;
+    getResolvedModule(file: DocumentIdentifier, moduleName: string, mode: ModuleKind): Promise<ResolvedModule | undefined>;
+    getModeForUsageLocation(file: DocumentIdentifier, usage: StringLiteralLikeNode): Promise<ModuleKind>;
+    getModeForResolutionAtIndex(file: DocumentIdentifier, index: number): Promise<ModuleKind>;
+    getResolvedModuleFromModuleSpecifier(moduleSpecifier: StringLiteralLikeNode, sourceFile?: DocumentIdentifier): Promise<ResolvedModule | undefined>;
+    getResolvedTypeReferenceDirective(file: DocumentIdentifier, typeDirectiveName: string, mode: ModuleKind): Promise<ResolvedTypeReferenceDirective | undefined>;
+    getResolvedTypeReferenceDirectiveFromTypeReferenceDirective(typeReferenceDirective: FileReference, sourceFile: DocumentIdentifier): Promise<ResolvedTypeReferenceDirective | undefined>;
+    getSourceFileNames(): Promise<readonly RootedFilePath[]>;
+    /**
+     * Returns program-stored metadata for the given source file, or `undefined` if the file
+     * is not part of the program. Metadata is fetched lazily per file and cached on this
+     * `Program` instance.
+     */
+    getSourceFileMetadata(file: DocumentIdentifier): Promise<SourceFileMetadata | undefined>;
+    /**
+     * Returns program-stored metadata for the source file at the given path, or `undefined`
+     * if the file is not part of the program. Like {@link getSourceFileMetadata}, but skips
+     * the file name to path conversion. Metadata is fetched lazily per file and cached on
+     * this `Program` instance.
+     */
+    getSourceFileMetadataByPath(path: PathKey): Promise<SourceFileMetadata | undefined>;
+    private fetchSourceFileMetadata;
+    private pathKeyForFileName;
+    /**
+     * Returns whether the given source file was loaded as part of an external library
+     * (e.g. a dependency resolved from `node_modules`). The underlying program metadata is
+     * fetched lazily per file and cached on this `Program` instance.
+     */
+    isSourceFileFromExternalLibrary(file: SourceFile): Promise<boolean>;
+    /**
+     * Returns whether the given source file is a default library file (e.g. `lib.d.ts`).
+     * The underlying program metadata is fetched lazily per file and cached on this
+     * `Program` instance.
+     */
+    isSourceFileDefaultLibrary(file: SourceFile): Promise<boolean>;
+    /**
+     * Get all config source file names associated with this program's project config.
+     * Includes the root config file and any extended config files.
      */
-    getSyntacticDiagnostics(file?: DocumentIdentifier): Promise<readonly Diagnostic[]>;
+    getConfigFileNames(): Promise<readonly RootedFilePath[]>;
     /**
-     * Get semantic (type-check) diagnostics for a specific file or all files.
-     * @param file - Optional file to get diagnostics for. If omitted, returns diagnostics for all files.
+     * Get a config source file by file name/URI.
+     * This can return the project's root tsconfig file or one of its extended config files.
      */
-    getSemanticDiagnostics(file?: DocumentIdentifier): Promise<readonly Diagnostic[]>;
+    getConfigSourceFile(file: DocumentIdentifier): Promise<SourceFile | undefined>;
     /**
-     * Get suggestion diagnostics for a specific file or all files.
-     * @param file - Optional file to get diagnostics for. If omitted, returns diagnostics for all files.
+     * Get syntactic (parse) diagnostics for specific files or all files.
+     * @param file - Optional file(s) to get diagnostics for. If omitted, returns diagnostics for all files.
      */
-    getSuggestionDiagnostics(file?: DocumentIdentifier): Promise<readonly Diagnostic[]>;
+    getSyntacticDiagnostics(file?: DocumentIdentifier | readonly DocumentIdentifier[]): Promise<readonly Diagnostic[]>;
     /**
-     * Get declaration emit diagnostics for a specific file or all files.
-     * @param file - Optional file to get diagnostics for. If omitted, returns diagnostics for all files.
+     * Get binder diagnostics for specific files or all files.
+     * @param file - Optional file(s) to get diagnostics for. If omitted, returns diagnostics for all files.
      */
-    getDeclarationDiagnostics(file?: DocumentIdentifier): Promise<readonly Diagnostic[]>;
+    getBindDiagnostics(file?: DocumentIdentifier | readonly DocumentIdentifier[]): Promise<readonly Diagnostic[]>;
+    /**
+     * Get semantic (type-check) diagnostics for specific files or all files.
+     * @param file - Optional file(s) to get diagnostics for. If omitted, returns diagnostics for all files.
+     */
+    getSemanticDiagnostics(file?: DocumentIdentifier | readonly DocumentIdentifier[]): Promise<readonly Diagnostic[]>;
+    /**
+     * Get suggestion diagnostics for specific files or all files.
+     * @param file - Optional file(s) to get diagnostics for. If omitted, returns diagnostics for all files.
+     */
+    getSuggestionDiagnostics(file?: DocumentIdentifier | readonly DocumentIdentifier[]): Promise<readonly Diagnostic[]>;
+    /**
+     * Get declaration emit diagnostics for specific files or all files.
+     * @param file - Optional file(s) to get diagnostics for. If omitted, returns diagnostics for all files.
+     */
+    getDeclarationDiagnostics(file?: DocumentIdentifier | readonly DocumentIdentifier[]): Promise<readonly Diagnostic[]>;
+    /**
+     * Get program-wide diagnostics for the project, including compiler options diagnostics.
+     */
+    getProgramDiagnostics(): Promise<readonly Diagnostic[]>;
+    /**
+     * Get global (non-file-specific) semantic diagnostics for the project.
+     */
+    getGlobalDiagnostics(): Promise<readonly Diagnostic[]>;
     /**
      * Get config file parsing diagnostics for the project.
      */
     getConfigFileParsingDiagnostics(): Promise<readonly Diagnostic[]>;
+    /**
+     * Emits files to the configured filesystem. Layer and host filesystems are
+     * written through; full filesystems remain immutable and return emitted
+     * files in {@link EmitResult.fileSystem}.
+     */
+    emit(emitOnly?: EmitOnly): Promise<EmitResult>;
+    /**
+     * Emits files and returns their contents without writing to the filesystem.
+     */
+    emitToString(emitOnly?: EmitOnly): Promise<EmitOutput>;
+    /**
+     * Gets JavaScript output for selected files regardless of project `noEmit`, `emitDeclarationOnly`, and `noEmitOnError` settings.
+     */
+    getJavaScriptEmit(files: readonly DocumentIdentifier[]): Promise<EmitOutput>;
+    /**
+     * Gets declaration output for selected files regardless of project `noEmit`, `declaration`, `emitDeclarationOnly`, and `noEmitOnError` settings.
+     */
+    getDeclarationEmit(files: readonly DocumentIdentifier[]): Promise<EmitOutput>;
+    getProject(): Project<Id>;
+}
+export interface BuildOrchestratorOptions {
+    cwd?: string | undefined;
+    dry?: boolean;
+    force?: boolean;
+    verbose?: boolean;
+    stopBuildOnErrors?: boolean;
+    overrideCompilerOptions?: OverrideCompilerOptions;
+}
+export interface OverrideCompilerOptions {
+    incremental?: boolean;
+    assumeChangesOnlyAffectDirectDependencies?: boolean;
+    declaration?: boolean;
+    declarationMap?: boolean;
+    emitDeclarationOnly?: boolean;
+    sourceMap?: boolean;
+    inlineSourceMap?: boolean;
+    traceResolution?: boolean;
+}
+export declare class BuildOrchestrator {
+    private client;
+    private id;
+    private disposed;
+    private disposePromise;
+    private onDispose;
+    constructor(client: Client, orchestratorResponse: CreateBuildOrchestratorResponse, onDispose: () => void);
+    [globalThis.Symbol.asyncDispose](): Promise<void>;
+    dispose(): Promise<void>;
+    private disposeWorker;
+    build(project?: string): Promise<BuildResponse>;
+    buildReferences(project: string): Promise<BuildResponse>;
+    clean(project?: string): Promise<CleanBuildResponse>;
+    cleanReferences(project?: string): Promise<CleanBuildResponse>;
+    isDisposed(): boolean;
+    private ensureNotDisposed;
 }
 export declare class Checker {
     private snapshotId;
-    private projectId;
-    private client;
+    private project;
     private objectRegistry;
-    constructor(snapshotId: number, projectId: string, client: Client, objectRegistry: SnapshotObjectRegistry);
+    private wellKnownSymbols;
+    private wellKnownSignatures;
+    private get client();
+    constructor(snapshotId: number, project: Project, objectRegistry: ProjectObjectRegistry);
+    dispose(): void;
+    /** Get the merged symbol, or the original symbol if it has not been merged. */
+    getMergedSymbol(symbol: Symbol): Promise<Symbol>;
+    /**
+     * Get a node's merged symbol. For a declaration, prefer
+     * {@link Checker.getSymbolOfDeclaration} for a non-nullable result.
+     */
+    getSymbolOfNode(node: Node): Promise<Symbol | undefined>;
+    /** Get a declaration's merged symbol. */
+    getSymbolOfDeclaration(node: Declaration): Promise<Symbol>;
+    /** Get a symbol's merged parent, if any. */
+    getParentOfSymbol(symbol: Symbol): Promise<Symbol | undefined>;
     getSymbolAtLocation(node: Node): Promise<Symbol | undefined>;
     getSymbolAtLocation(nodes: readonly Node[]): Promise<(Symbol | undefined)[]>;
     getSymbolAtPosition(file: DocumentIdentifier, position: number): Promise<Symbol | undefined>;
     getSymbolAtPosition(file: DocumentIdentifier, positions: readonly number[]): Promise<(Symbol | undefined)[]>;
-    getTypeOfSymbol(symbol: Symbol): Promise<Type | undefined>;
-    getTypeOfSymbol(symbols: readonly Symbol[]): Promise<(Type | undefined)[]>;
-    getDeclaredTypeOfSymbol(symbol: Symbol): Promise<Type | undefined>;
+    getSymbolOfSourceFile(file: DocumentIdentifier): Promise<Symbol | undefined>;
+    getSymbolOfSourceFile(files: readonly DocumentIdentifier[]): Promise<(Symbol | undefined)[]>;
+    /**
+     * Get the type of a symbol. Always returns a type; for symbols whose type
+     * cannot be determined the checker yields the error type (use
+     * {@link Type.isErrorType} to detect it).
+     */
+    getTypeOfSymbol(symbol: Symbol): Promise<Type>;
+    getTypeOfSymbol(symbols: readonly Symbol[]): Promise<Type[]>;
+    /**
+     * Get the declared type of a symbol. Always returns a type; for symbols whose
+     * declared type cannot be determined the checker yields the error type (use
+     * {@link Type.isErrorType} to detect it).
+     */
+    getDeclaredTypeOfSymbol(symbol: Symbol): Promise<Type>;
+    /**
+     * Get the type of a symbol, excluding the missing type when
+     * `exactOptionalPropertyTypes: true` is set; for symbols whose
+     * type cannot be determined the checker yields the error type
+     * (use {@link Type.isErrorType} to detect it).
+     */
+    getNonMissingTypeOfSymbol(symbol: Symbol): Promise<Type>;
     getReferencesToSymbolInFile(file: DocumentIdentifier, symbol: Symbol): Promise<NodeHandle[]>;
-    getReferencedSymbolsForNode(node: Node, position: number): Promise<ReferencedSymbolEntry[]>;
-    getSignatureUsage(signatureDecl: Node): Promise<SignatureUsage[]>;
-    getCompletionsAtPosition(document: string, position: number, options?: CompletionOptions): Promise<CompletionInfo | undefined>;
-    getTypeAtLocation(node: Node): Promise<Type | undefined>;
-    getTypeAtLocation(nodes: readonly Node[]): Promise<(Type | undefined)[]>;
+    /**
+     * Get the type at a node location. Always returns a type; for nodes whose
+     * type cannot be determined the checker yields the error type (use
+     * {@link Type.isErrorType} to detect it).
+     */
+    getTypeAtLocation(node: Node): Promise<Type>;
+    getTypeAtLocation(nodes: readonly Node[]): Promise<Type[]>;
     getSignaturesOfType(type: Type, kind: SignatureKind): Promise<readonly Signature[]>;
-    getResolvedSignature(node: Node): Promise<Signature | undefined>;
+    /**
+     * Get the resolved signature of a call-like expression. Always returns a
+     * signature; when a call cannot be resolved the checker yields the unknown
+     * signature (use {@link Checker.isUnknownSignature} to detect it).
+     */
+    getResolvedSignature(node: Node): Promise<Signature>;
     getTypeAtPosition(file: DocumentIdentifier, position: number): Promise<Type | undefined>;
     getTypeAtPosition(file: DocumentIdentifier, positions: readonly number[]): Promise<(Type | undefined)[]>;
     resolveName(name: string, meaning: SymbolFlags, location?: Node | DocumentPosition, excludeGlobals?: boolean): Promise<Symbol | undefined>;
+    /**
+     * Returns all symbols with the given meaning that are visible at `location`.
+     */
+    getSymbolsInScope(location: Node | DocumentPosition, meaning: SymbolFlags): Promise<readonly Symbol[]>;
     getResolvedSymbol(node: Identifier): Promise<Symbol | undefined>;
     getContextualType(node: Expression): Promise<Type | undefined>;
-    getBaseTypeOfLiteralType(type: Type): Promise<Type | undefined>;
-    getNonNullableType(type: Type): Promise<Type | undefined>;
-    getTypeFromTypeNode(node: TypeNode): Promise<Type | undefined>;
-    getWidenedType(type: Type): Promise<Type | undefined>;
-    getParameterType(signature: Signature, index: number): Promise<Type | undefined>;
+    getContextualTypeForArgumentAtIndex(node: CallLikeExpression, argIndex: number): Promise<Type | undefined>;
+    getAwaitedType(type: Type): Promise<Type | undefined>;
+    /** Get the base type of a literal type (e.g. `number` for `42`). Always returns a type. */
+    getBaseTypeOfLiteralType(type: Type): Promise<Type>;
+    /** Get the type with `null` and `undefined` removed. Always returns a type. */
+    getNonNullableType(type: Type): Promise<Type>;
+    /**
+     * Get the type for a type node. Always returns a type; for type nodes whose
+     * type cannot be determined the checker yields the error type (use
+     * {@link Type.isErrorType} to detect it).
+     */
+    getTypeFromTypeNode(node: TypeNode): Promise<Type>;
+    /** Get the widened type. Always returns a type. */
+    getWidenedType(type: Type): Promise<Type>;
+    /**
+     * Get the type of the parameter at the given index in a signature. Always
+     * returns a type; an out-of-range index yields the `any` type.
+     */
+    getParameterType(signature: Signature, index: number): Promise<Type>;
     isArrayLikeType(type: Type): Promise<boolean>;
     isTypeAssignableTo(source: Type, target: Type): Promise<boolean>;
     getShorthandAssignmentValueSymbol(node: Node): Promise<Symbol | undefined>;
-    getTypeOfSymbolAtLocation(symbol: Symbol, location: Node): Promise<Type | undefined>;
+    /**
+     * Get the type of a symbol as narrowed at a specific location. Always returns
+     * a type; for symbols whose type cannot be determined the checker yields the
+     * error type (use {@link Type.isErrorType} to detect it).
+     */
+    getTypeOfSymbolAtLocation(symbol: Symbol, location: Node): Promise<Type>;
     private getIntrinsicType;
     getAnyType(): Promise<Type>;
     getStringType(): Promise<Type>;
@@ -168,46 +631,155 @@ export declare class Checker {
     getUnknownType(): Promise<Type>;
     getBigIntType(): Promise<Type>;
     getESSymbolType(): Promise<Type>;
+    getNonPrimitiveType(): Promise<Type>;
     typeToTypeNode(type: Type, enclosingDeclaration?: Node, flags?: number): Promise<TypeNode | undefined>;
     signatureToSignatureDeclaration(signature: Signature, kind: SyntaxKind, enclosingDeclaration?: Node, flags?: NodeBuilderFlags): Promise<Node | undefined>;
-    typeToString(type: Type, enclosingDeclaration?: Node, flags?: number): Promise<string>;
+    typeToString(type: Type, enclosingDeclaration?: Node, flags?: TypeFormatFlags): Promise<string>;
     isContextSensitive(node: Node): Promise<boolean>;
-    getReturnTypeOfSignature(signature: Signature): Promise<Type | undefined>;
-    getRestTypeOfSignature(signature: Signature): Promise<Type | undefined>;
+    isArrayType(type: Type): Promise<boolean>;
+    isTupleType(type: Type): Promise<boolean>;
+    isTupleTypeTarget(type: Type): Promise<boolean>;
+    /**
+     * The following symbols are considered read-only:
+     * - Properties with a `readonly` modifier
+     * - Variables declared with `const`
+     * - Get accessors without matching set accessors
+     * - Enum members
+     * - `Object.defineProperty` assignments with `writable: false` or no setter
+     * - Unions and intersections of the above
+     */
+    isReadonlySymbol(symbol: Symbol): Promise<boolean>;
+    /** Get the return type of a signature. Always returns a type. */
+    getReturnTypeOfSignature(signature: Signature): Promise<Type>;
+    /**
+     * Get the rest type of a signature. Always returns a type; a signature with
+     * no rest parameter yields the `any` type.
+     */
+    getRestTypeOfSignature(signature: Signature): Promise<Type>;
     getTypePredicateOfSignature(signature: Signature): Promise<TypePredicate | undefined>;
-    getBaseTypes(type: Type): Promise<readonly Type[]>;
+    /**
+     * Get the base types of a class or interface type. A type with no base types
+     * yields an empty array.
+     */
+    getBaseTypes(type: InterfaceType): Promise<readonly Type[]>;
+    /** Get the apparent type of a type. Always returns a type. */
+    getApparentType(type: Type): Promise<Type>;
+    /** Get the reduced type of a type. Always returns a type. */
+    getReducedType(type: Type): Promise<Type>;
     getPropertiesOfType(type: Type): Promise<readonly Symbol[]>;
     getIndexInfosOfType(type: Type): Promise<readonly IndexInfo[]>;
-    getConstraintOfTypeParameter(type: Type): Promise<Type | undefined>;
-    getTypeArguments(type: Type): Promise<readonly Type[]>;
+    getIndexInfoOfType(type: Type, kind: IndexKind): Promise<IndexInfo | undefined>;
+    getIndexTypeOfType(type: Type, kind: IndexKind): Promise<Type | undefined>;
+    getTypeOfPropertyOfType(type: Type, propertyName: string): Promise<Type | undefined>;
+    /**
+     * Get the constraint of a type parameter (the `T` in `<U extends T>`), or
+     * undefined if it has none.
+     */
+    getConstraintOfTypeParameter(type: TypeParameter): Promise<Type | undefined>;
+    getDefaultFromTypeParameter(type: TypeParameter): Promise<Type | undefined>;
+    getBaseConstraintOfType(type: Type): Promise<Type | undefined>;
+    getPropertyOfType(type: Type, name: string): Promise<Symbol | undefined>;
+    getConstantValue(node: Node): Promise<string | number | undefined>;
+    /** Get the signature of a function-like declaration. Always returns a signature. */
+    getSignatureFromDeclaration(node: Node): Promise<Signature>;
+    getExportSpecifierLocalTargetSymbol(node: Node): Promise<Symbol | undefined>;
+    /**
+     * Follow all aliases to get the original symbol. Always returns a symbol; for
+     * an unresolved alias the checker yields the unknown symbol (use
+     * {@link Checker.isUnknownSymbol} to detect it).
+     */
+    getAliasedSymbol(symbol: Symbol): Promise<Symbol>;
+    /**
+     * Get the fully qualified name of a symbol, walking up its parent chain
+     * (e.g. `"/path/to/module".Namespace.Name`).
+     */
+    getFullyQualifiedName(symbol: Symbol): Promise<string>;
+    getImmediateAliasedSymbol(symbol: Symbol): Promise<Symbol | undefined>;
+    /**
+     * Get the target symbol if instantiated, or the provided symbol otherwise.
+     */
+    getTargetSymbol(symbol: Symbol): Promise<Symbol>;
+    getExportSymbolOfSymbol(symbol: Symbol): Promise<Symbol>;
+    /**
+     * Fetch (once, then cache) the handle ids of the per-checker singleton
+     * symbols (unknown, undefined, arguments). These ids are stable for the life
+     * of the project's checker, so identity checks against them are local after
+     * the first call.
+     */
+    private getWellKnownSymbols;
+    /**
+     * Returns `true` if the symbol is the checker's "unknown" symbol (e.g. the
+     * result of {@link Checker.getAliasedSymbol} on an unresolved alias).
+     */
+    isUnknownSymbol(symbol: Symbol): Promise<boolean>;
+    /**
+     * Returns `true` if the symbol is the checker's "undefined" symbol.
+     */
+    isUndefinedSymbol(symbol: Symbol): Promise<boolean>;
+    /**
+     * Returns `true` if the symbol is the checker's "arguments" symbol.
+     */
+    isArgumentsSymbol(symbol: Symbol): Promise<boolean>;
+    /**
+     * Fetch (once, then cache) the handle id of the per-checker unknown
+     * signature. This id is stable for the life of the project's checker, so
+     * identity checks against it are local after the first call.
+     */
+    private getWellKnownSignatures;
+    /**
+     * Returns `true` if the signature is the checker's "unknown" signature (e.g.
+     * the result of {@link Checker.getResolvedSignature} on a call that cannot be
+     * resolved).
+     */
+    isUnknownSignature(signature: Signature): Promise<boolean>;
+    getExportsOfModule(symbol: Symbol): Promise<readonly Symbol[]>;
+    getMemberInModuleExports(symbol: Symbol, name: string): Promise<Symbol | undefined>;
+    getJsDocTagsOfSymbol(symbol: Symbol): Promise<readonly JSDocTagInfo[]>;
+    getDocumentationCommentOfSymbol(symbol: Symbol): Promise<string>;
+    /**
+     * Get the type arguments of a type reference (e.g. the `string` in `Array<string>`).
+     */
+    getTypeArguments(type: TypeReference): Promise<readonly Type[]>;
 }
 export interface PrintNodeOptions {
-    preserveSourceNewlines?: boolean;
-    neverAsciiEscape?: boolean;
-    terminateUnterminatedLiterals?: boolean;
+    preserveSourceNewlines?: boolean | undefined;
+    neverAsciiEscape?: boolean | undefined;
+    terminateUnterminatedLiterals?: boolean | undefined;
 }
-export declare class Emitter {
+export declare class Printer {
     private client;
     constructor(client: Client);
     printNode(node: Node, options?: PrintNodeOptions): Promise<string>;
+    printFile(sourceFile: SourceFile, options?: PrintNodeOptions): Promise<string>;
 }
-export declare class NodeHandle {
+export declare class NodeHandle<out T extends Node = Node> {
+    /**
+     * The project this handle was produced in, used as the default for {@link resolve}.
+     * Node handles are only meaningful within a project's program, so the producing project
+     * is remembered so callers don't have to pass it explicitly.
+     */
+    private readonly canonicalProject;
+    /** The owning source file of a file-owned symbol's declaration. */
+    private readonly fileOwner;
     readonly index: number;
     readonly kind: SyntaxKind;
-    readonly path: Path;
-    constructor(handle: string);
+    readonly path: PathKey;
+    constructor(handle: string, canonicalProject: Project | undefined, fileOwner?: SourceFileOwner);
     /**
-     * Resolve this handle to the actual AST node by fetching the source file
-     * from the given project and looking up the node by index.
+     * Resolve this handle to the actual AST node by fetching the source file from a project
+     * and looking up the node by index. If no project is passed, the project that produced
+     * the handle is used. Declarations of file-owned symbols identify an exact source file and
+     * resolve through it, independently of any project.
      */
-    resolve(project: Project): Promise<Node | undefined>;
+    resolve(project?: Project | undefined): Promise<T | undefined>;
+    private fetchOwnerFile;
 }
 /** A symbol definition paired with all of its reference nodes. */
 export interface ReferencedSymbolEntry {
     /** The node handle for the symbol's definition. */
     definition: NodeHandle;
     /** The resolved symbol for the definition, if available. */
-    symbol?: Symbol;
+    symbol?: Symbol | undefined;
     /** The node handles for each reference to the symbol. */
     references: NodeHandle[];
 }
@@ -216,44 +788,78 @@ export interface SignatureUsage {
     /** The node handle for the name reference. */
     name: NodeHandle;
     /** The node handle for the call expression, if the reference is invoked. */
-    call?: NodeHandle;
+    call?: NodeHandle | undefined;
 }
+/** A cached source-file record and its owning API. */
+interface SourceFileOwner {
+    readonly record: CachedSourceFile<Symbol>;
+    readonly api: API<boolean>;
+}
+type SymbolStorage = {
+    readonly kind: typeof SymbolOwnerKind.File;
+    readonly owner: SourceFileOwner;
+} | {
+    readonly kind: typeof SymbolOwnerKind.Snapshot;
+    readonly registry: ProjectObjectRegistry;
+};
 export declare class Symbol {
-    private objectRegistry;
-    readonly id: number;
+    private readonly storage;
+    get id(): number;
+    /** The escaped (`__String`) name, used as the key in member/export tables. */
+    readonly escapedName: __String;
+    /** The display name (escaped underscores removed). */
     readonly name: string;
     readonly flags: SymbolFlags;
-    readonly checkFlags: number;
-    readonly declarations: readonly NodeHandle[];
-    readonly valueDeclaration: NodeHandle | undefined;
-    readonly parent: number;
-    readonly exportSymbol: number;
-    constructor(data: SymbolResponse, objectRegistry: SnapshotObjectRegistry);
+    readonly checkFlags: CheckFlags;
+    readonly declarations: readonly NodeHandle<Declaration>[];
+    readonly valueDeclaration: NodeHandle<Declaration> | undefined;
+    private readonly parent;
+    private readonly exportSymbol;
+    private membersCache;
+    private exportsCache;
+    constructor(data: SymbolResponse, storage: SymbolStorage);
     getParent(): Promise<Symbol | undefined>;
-    getMembers(): Promise<readonly Symbol[]>;
-    getExports(): Promise<readonly Symbol[]>;
+    /**
+     * Get this symbol's members keyed by escaped name. The result is cached on
+     * the symbol, so repeated calls do not round-trip to the server.
+     */
+    getMembers(): Promise<ReadonlyMap<__String, Symbol>>;
+    /**
+     * Get this symbol's exports keyed by escaped name. The result is cached on
+     * the symbol, so repeated calls do not round-trip to the server.
+     */
+    getExports(): Promise<ReadonlyMap<__String, Symbol>>;
+    private fetchSymbolTable;
     getExportSymbol(): Promise<Symbol>;
+    getJsDocTags(checker: Checker): Promise<readonly JSDocTagInfo[]>;
+    getDocumentationComment(checker: Checker): Promise<string>;
+    private fetchSymbol;
+    private fetchSymbols;
+    private internFileSymbol;
 }
 declare class TypeObject implements Type {
     private objectRegistry;
     readonly id: number;
     readonly flags: TypeFlags;
     readonly objectFlags: ObjectFlags;
-    readonly symbol: number;
-    readonly value: string | number | boolean;
+    readonly symbol: CompactSymbolReference;
+    readonly value: string | number | boolean | bigint;
     readonly intrinsicName: string;
     readonly isThisType: boolean;
     readonly freshType: number;
     readonly regularType: number;
     readonly target: number;
+    private readonly tupleType;
     readonly typeParameters: readonly number[];
     readonly outerTypeParameters: readonly number[];
     readonly localTypeParameters: readonly number[];
+    readonly thisType: number;
     readonly aliasTypeArguments: readonly number[];
-    readonly aliasSymbol: number;
+    readonly aliasSymbol: CompactSymbolReference;
     readonly elementFlags: readonly ElementFlags[];
     readonly fixedLength: number;
     readonly readonly: boolean;
+    readonly labeledElementDeclarations?: readonly (NodeHandle<NamedTupleMember | ParameterDeclaration> | undefined)[];
     readonly texts: readonly string[];
     readonly objectType: number;
     readonly indexType: number;
@@ -261,38 +867,136 @@ declare class TypeObject implements Type {
     readonly extendsType: number;
     readonly baseType: number;
     readonly substConstraint: number;
-    constructor(data: TypeResponse, objectRegistry: SnapshotObjectRegistry);
+    readonly typeParameter: number;
+    readonly constraintType: number;
+    readonly nameType: number;
+    readonly templateType: number;
+    private trueType;
+    private falseType;
+    private constraint;
+    private default;
+    private nonNullableType;
+    private apparentType;
+    private reducedType;
+    private properties;
+    private apparentProperties;
+    private callSignatures;
+    private constructSignatures;
+    private indexInfos;
+    private baseTypes;
+    private types;
+    private stringIndexType;
+    private numberIndexType;
+    constructor(data: TypeResponse, objectRegistry: ProjectObjectRegistry);
     getSymbol(): Promise<Symbol | undefined>;
+    getProperties(): Promise<readonly Symbol[]>;
+    getProperty(propertyName: string): Promise<Symbol | undefined>;
+    getApparentProperties(): Promise<readonly Symbol[]>;
+    getCallSignatures(): Promise<readonly Signature[]>;
+    getConstructSignatures(): Promise<readonly Signature[]>;
+    getNonNullableType(): Promise<Type>;
+    getStringIndexType(): Promise<Type | undefined>;
+    private getStringIndexTypeWorker;
+    getNumberIndexType(): Promise<Type | undefined>;
+    private getNumberIndexTypeWorker;
+    getApparentType(): Promise<Type>;
+    getReducedType(): Promise<Type>;
+    getIndexInfos(): Promise<readonly IndexInfo[]>;
     getAliasSymbol(): Promise<Symbol | undefined>;
     getTarget(): Promise<Type>;
     getFreshType(): Promise<FreshableType | undefined>;
     getRegularType(): Promise<FreshableType | undefined>;
-    getTypes(): Promise<readonly Type[]>;
-    getTypeParameters(): Promise<readonly Type[]>;
-    getOuterTypeParameters(): Promise<readonly Type[]>;
-    getLocalTypeParameters(): Promise<readonly Type[]>;
+    getTypes(): Promise<readonly Type[] | undefined>;
+    getTypeParameters(): Promise<readonly TypeParameter[]>;
+    getOuterTypeParameters(): Promise<readonly TypeParameter[]>;
+    getLocalTypeParameters(): Promise<readonly TypeParameter[]>;
+    getThisType(): Promise<TypeParameter | undefined>;
     getAliasTypeArguments(): Promise<readonly Type[]>;
+    getTypeParameter(): Promise<TypeParameter>;
+    getConstraintType(): Promise<Type>;
+    getNameType(): Promise<Type | undefined>;
+    getTemplateType(): Promise<Type>;
     getObjectType(): Promise<Type>;
     getIndexType(): Promise<Type>;
     getCheckType(): Promise<Type>;
     getExtendsType(): Promise<Type>;
     getBaseType(): Promise<Type>;
-    getConstraint(): Promise<Type>;
+    getConstraint(): Promise<Type | undefined>;
+    getDefault(): Promise<Type | undefined>;
+    getTrueType(): Promise<Type>;
+    getFalseType(): Promise<Type>;
+    /**
+     * Get the base types of this type. Returns `undefined` for any type that is
+     * not a class or interface.
+     */
+    getBaseTypes(): Promise<readonly Type[] | undefined>;
+    isClassOrInterface(): this is InterfaceType;
+    isUnionType(): this is UnionType;
+    isIntersectionType(): this is IntersectionType;
+    isObjectType(): this is ObjectType;
+    isIntrinsicType(): this is IntrinsicType;
+    isErrorType(): boolean;
+    isLiteralType(): this is LiteralType;
+    isStringLiteralType(): this is StringLiteralType;
+    isNumberLiteralType(): this is NumberLiteralType;
+    isBigIntLiteralType(): this is BigIntLiteralType;
+    isBooleanLiteralType(): this is BooleanLiteralType;
+    isTypeReference(): this is TypeReference;
+    isTupleType(): this is TupleTypeReference;
+    isTupleTypeTarget(): this is TupleType;
+    isIndexType(): this is IndexType;
+    isIndexedAccessType(): this is IndexedAccessType;
+    isConditionalType(): this is ConditionalType;
+    isSubstitutionType(): this is SubstitutionType;
+    isTemplateLiteralType(): this is TemplateLiteralType;
+    isStringMappingType(): this is StringMappingType;
+    isTypeParameter(): this is TypeParameter;
+    isMappedType(): this is MappedType;
 }
+export declare function isUnionType(type: Type): type is UnionType;
+export declare function isIntersectionType(type: Type): type is IntersectionType;
+export declare function isObjectType(type: Type): type is ObjectType;
+export declare function isClassOrInterfaceType(type: Type): type is InterfaceType;
+export declare function isIntrinsicType(type: Type): type is IntrinsicType;
+/**
+ * Whether this is the error type — the placeholder the checker produces when a
+ * type cannot be determined (e.g. an unresolved reference). It is an intrinsic
+ * type named `"error"` (this covers both the singleton error type and the
+ * per-alias error types manufactured for unresolved type alias references).
+ */
+export declare function isErrorType(type: Type): boolean;
+export declare function isLiteralType(type: Type): type is LiteralType;
+export declare function isStringLiteralType(type: Type): type is StringLiteralType;
+export declare function isNumberLiteralType(type: Type): type is NumberLiteralType;
+export declare function isBigIntLiteralType(type: Type): type is BigIntLiteralType;
+export declare function isBooleanLiteralType(type: Type): type is BooleanLiteralType;
+export declare function isTypeReference(type: Type): type is TypeReference;
+export declare function isTupleType(type: Type): type is TupleTypeReference;
+export declare function isTupleTypeTarget(type: Type): type is TupleType;
+export declare function isIndexType(type: Type): type is IndexType;
+export declare function isIndexedAccessType(type: Type): type is IndexedAccessType;
+export declare function isConditionalType(type: Type): type is ConditionalType;
+export declare function isSubstitutionType(type: Type): type is SubstitutionType;
+export declare function isTemplateLiteralType(type: Type): type is TemplateLiteralType;
+export declare function isStringMappingType(type: Type): type is StringMappingType;
+export declare function isTypeParameter(type: Type): type is TypeParameter;
 export declare class Signature {
     private flags;
     private objectRegistry;
     readonly id: number;
-    readonly declaration?: NodeHandle | undefined;
+    readonly declaration?: NodeHandle<Declaration> | undefined;
     readonly typeParameters?: readonly number[] | undefined;
-    readonly parameters: readonly number[];
-    readonly thisParameter?: number | undefined;
+    readonly parameters: readonly CompactSymbolReference[];
+    readonly thisParameter?: CompactSymbolReference | undefined;
     readonly target?: number | undefined;
-    constructor(data: SignatureResponse, objectRegistry: SnapshotObjectRegistry);
-    getTypeParameters(): Promise<readonly Type[]>;
+    private returnType;
+    constructor(data: SignatureResponse, project: Project, objectRegistry: ProjectObjectRegistry);
+    getTypeParameters(): Promise<readonly TypeParameter[]>;
     getParameters(): Promise<readonly Symbol[]>;
     getThisParameter(): Promise<Symbol | undefined>;
     getTarget(): Promise<Signature | undefined>;
+    getReturnType(): Promise<Type>;
+    getTypeParameterAtPosition(pos: number): Promise<Type>;
     get hasRestParameter(): boolean;
     get isConstruct(): boolean;
     get isAbstract(): boolean;