@zzzen/pyright-internal 1.2.0-dev.20260705 → 1.2.0-dev.20260719

package/dist/typeServer/typeServerFileSystem.js

@@ -0,0 +1,129 @@
+"use strict";
+/*
+ * typeServerFileSystem.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ *
+ * The file system used by the Pyright type server. It wraps the real file system in a
+ * VirtualFileOverlayFileSystem so that individual files can be transparently redirected to
+ * alternate on-disk locations (e.g. merged Django stubs produced by an external client), and
+ * exposes that overlay via the `virtualOverlay` getter so the server's virtual-file-redirect
+ * handlers (TspSupplemental) can register and remove redirects.
+ *
+ * This is the Pyright-native counterpart to Pylance's `PylanceFileSystem`. Notebook cell URI
+ * mapping is optional here (supplied in the notebook phase); when no mapper is provided the
+ * notebook branches simply delegate to the underlying file system.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeServerFileSystem = void 0;
+const pyrightFileSystem_1 = require("../pyrightFileSystem");
+const notebookUriMapper_1 = require("./notebookUriMapper");
+const virtualFileOverlayFileSystem_1 = require("./virtualFileOverlayFileSystem");
+class TypeServerFileSystem {
+    constructor(realFileSystem, _uriMapper) {
+        this._uriMapper = _uriMapper;
+        // Wrap the real FS in a virtual file overlay so that individual files can be
+        // transparently redirected to alternate on-disk locations. The overlay is a no-op
+        // pass-through when no redirects are registered. Then wrap that in a PyrightFileSystem
+        // so partial-stub augmentation continues to work.
+        this._virtualOverlay = new virtualFileOverlayFileSystem_1.VirtualFileOverlayFileSystem(realFileSystem);
+        this._fs = new pyrightFileSystem_1.PyrightFileSystem(this._virtualOverlay);
+    }
+    /**
+     * Returns the virtual file overlay layer. The server's virtual-file-redirect handlers use
+     * this to add/remove per-file redirects that transparently redirect read operations to
+     * alternate on-disk locations.
+     */
+    get virtualOverlay() {
+        return this._virtualOverlay;
+    }
+    static is(obj) {
+        return obj instanceof TypeServerFileSystem;
+    }
+    mkdirSync(uri, options) {
+        return this._fs.mkdirSync(uri, options);
+    }
+    writeFileSync(uri, data, encoding) {
+        return this._fs.writeFileSync(uri, data, encoding);
+    }
+    unlinkSync(uri) {
+        return this._fs.unlinkSync(uri);
+    }
+    rmdirSync(uri) {
+        return this._fs.rmdirSync(uri);
+    }
+    createFileSystemWatcher(uris, listener) {
+        return this._fs.createFileSystemWatcher(uris, listener);
+    }
+    createReadStream(uri) {
+        return this._fs.createReadStream(uri);
+    }
+    createWriteStream(uri) {
+        return this._fs.createWriteStream(uri);
+    }
+    copyFileSync(src, dst) {
+        return this._fs.copyFileSync(src, dst);
+    }
+    existsSync(uri) {
+        return this._fs.existsSync(uri);
+    }
+    chdir(uri) {
+        return this._fs.chdir(uri);
+    }
+    readdirEntriesSync(uri) {
+        return this._fs.readdirEntriesSync(uri);
+    }
+    readdirSync(uri) {
+        return this._fs.readdirSync(uri);
+    }
+    readFileSync(uri, encoding) {
+        return this._fs.readFileSync(uri, encoding);
+    }
+    statSync(uri) {
+        return this._fs.statSync(uri);
+    }
+    realpathSync(uri) {
+        return this._fs.realpathSync(uri);
+    }
+    getModulePath() {
+        return this._fs.getModulePath();
+    }
+    readFile(uri) {
+        return this._fs.readFile(uri);
+    }
+    readFileText(uri, encoding) {
+        return this._fs.readFileText(uri, encoding);
+    }
+    realCasePath(uri) {
+        return this._fs.realCasePath(uri);
+    }
+    isMappedUri(fileUri) {
+        if (this._uriMapper && notebookUriMapper_1.NotebookUriMapper.isNotebookCell(fileUri)) {
+            return true;
+        }
+        return this._fs.isMappedUri(fileUri);
+    }
+    getOriginalUri(mappedFileUri) {
+        if (this._uriMapper && notebookUriMapper_1.NotebookUriMapper.isNotebookCell(mappedFileUri)) {
+            return this._uriMapper.getOriginalCellUri(mappedFileUri);
+        }
+        return this._fs.getOriginalUri(mappedFileUri);
+    }
+    getMappedUri(originalFileUri) {
+        if (this._uriMapper && notebookUriMapper_1.NotebookUriMapper.isNotebookCell(originalFileUri)) {
+            return this._uriMapper.getMappedCellUri(originalFileUri);
+        }
+        return this._fs.getMappedUri(originalFileUri);
+    }
+    isInZip(uri) {
+        return this._fs.isInZip(uri);
+    }
+    mapDirectory(mappedUri, originalUri, filter) {
+        if (this._uriMapper && notebookUriMapper_1.NotebookUriMapper.isNotebookCell(mappedUri)) {
+            return { dispose: () => { } };
+        }
+        return this._fs.mapDirectory(mappedUri, originalUri, filter);
+    }
+}
+exports.TypeServerFileSystem = TypeServerFileSystem;
+//# sourceMappingURL=typeServerFileSystem.js.map

package/dist/typeServer/typeServerFileSystem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeServerFileSystem.js","sourceRoot":"","sources":["../../../../../src/typeServer/typeServerFileSystem.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;AAQH,4DAA6E;AAE7E,2DAA4E;AAC5E,iFAA8E;AAE9E,MAAa,oBAAoB;IAI7B,YAAY,cAA0B,EAAmB,UAA+B;QAA/B,eAAU,GAAV,UAAU,CAAqB;QACpF,6EAA6E;QAC7E,kFAAkF;QAClF,uFAAuF;QACvF,kDAAkD;QAClD,IAAI,CAAC,eAAe,GAAG,IAAI,2DAA4B,CAAC,cAAc,CAAC,CAAC;QACxE,IAAI,CAAC,GAAG,GAAG,IAAI,qCAAiB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC3D,CAAC;IAED;;;;OAIG;IACH,IAAI,cAAc;QACd,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,GAAQ;QACd,OAAO,GAAG,YAAY,oBAAoB,CAAC;IAC/C,CAAC;IAED,SAAS,CAAC,GAAQ,EAAE,OAAsB;QACtC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IAED,aAAa,CAAC,GAAQ,EAAE,IAAqB,EAAE,QAA+B;QAC1E,OAAO,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED,UAAU,CAAC,GAAQ;QACf,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,SAAS,CAAC,GAAQ;QACd,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;IAED,uBAAuB,CAAC,IAAW,EAAE,QAAiC;QAClE,OAAO,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC5D,CAAC;IAED,gBAAgB,CAAC,GAAQ;QACrB,OAAO,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,iBAAiB,CAAC,GAAQ;QACtB,OAAO,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,YAAY,CAAC,GAAQ,EAAE,GAAQ;QAC3B,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,UAAU,CAAC,GAAQ;QACf,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,GAAQ;QACV,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,kBAAkB,CAAC,GAAQ;QACvB,OAAO,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IAED,WAAW,CAAC,GAAQ;QAChB,OAAO,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAKD,YAAY,CAAC,GAAQ,EAAE,QAAgC;QACnD,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,QAA0B,CAAC,CAAC;IAClE,CAAC;IAED,QAAQ,CAAC,GAAQ;QACb,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,YAAY,CAAC,GAAQ;QACjB,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,aAAa;QACT,OAAO,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC;IACpC,CAAC;IAED,QAAQ,CAAC,GAAQ;QACb,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,YAAY,CAAC,GAAQ,EAAE,QAAyB;QAC5C,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;IAED,YAAY,CAAC,GAAQ;QACjB,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,WAAW,CAAC,OAAY;QACpB,IAAI,IAAI,CAAC,UAAU,IAAI,qCAAiB,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/D,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,cAAc,CAAC,aAAkB;QAC7B,IAAI,IAAI,CAAC,UAAU,IAAI,qCAAiB,CAAC,cAAc,CAAC,aAAa,CAAC,EAAE,CAAC;YACrE,OAAO,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;IAClD,CAAC;IAED,YAAY,CAAC,eAAoB;QAC7B,IAAI,IAAI,CAAC,UAAU,IAAI,qCAAiB,CAAC,cAAc,CAAC,eAAe,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,CAAC,GAAQ;QACZ,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IAED,YAAY,CAAC,SAAc,EAAE,WAAgB,EAAE,MAAsD;QACjG,IAAI,IAAI,CAAC,UAAU,IAAI,qCAAiB,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;YACjE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,CAAC;QACjC,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IACjE,CAAC;CACJ;AAxID,oDAwIC"}

package/dist/typeServer/typeServerProtocolUtils.d.ts

@@ -0,0 +1,2 @@
+import { TypeServerProtocol } from './protocol/typeServerProtocol';
+export declare function isTypeFlagSet(flags: TypeServerProtocol.TypeFlags, flag: TypeServerProtocol.TypeFlags): boolean;

package/dist/typeServer/typeServerProtocolUtils.js

@@ -0,0 +1,7 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isTypeFlagSet = isTypeFlagSet;
+function isTypeFlagSet(flags, flag) {
+    return (flags & flag) === flag;
+}
+//# sourceMappingURL=typeServerProtocolUtils.js.map

package/dist/typeServer/typeServerProtocolUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeServerProtocolUtils.js","sourceRoot":"","sources":["../../../../../src/typeServer/typeServerProtocolUtils.ts"],"names":[],"mappings":";;AAEA,sCAEC;AAFD,SAAgB,aAAa,CAAC,KAAmC,EAAE,IAAkC;IACjG,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC;AACnC,CAAC"}

package/dist/typeServer/typeServerServiceKeys.d.ts

@@ -0,0 +1,7 @@
+import { ServiceKey } from '../common/serviceProvider';
+import { INotebookUriMapper } from './notebookUriMapper';
+import { IProfilingService } from './profilingStub';
+export declare namespace TypeServerServiceKeys {
+    const uriMapper: ServiceKey<INotebookUriMapper>;
+    const profilingService: ServiceKey<IProfilingService>;
+}

package/dist/typeServer/typeServerServiceKeys.js

@@ -0,0 +1,20 @@
+"use strict";
+/*
+ * typeServerServiceKeys.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ *
+ * Service keys used by the type server. This is the slim subset of Pylance's
+ * `pylanceServiceKeys` that the ported type-server core actually references.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeServerServiceKeys = void 0;
+const serviceProvider_1 = require("../common/serviceProvider");
+var TypeServerServiceKeys;
+(function (TypeServerServiceKeys) {
+    TypeServerServiceKeys.uriMapper = new serviceProvider_1.ServiceKey('INotebookUriMapper');
+    // Profiling is a Pylance-only feature and is never registered in the standalone
+    // Pyright type server, so `tryGet` returns undefined and profiling becomes a no-op.
+    TypeServerServiceKeys.profilingService = new serviceProvider_1.ServiceKey('IProfilingService');
+})(TypeServerServiceKeys || (exports.TypeServerServiceKeys = TypeServerServiceKeys = {}));
+//# sourceMappingURL=typeServerServiceKeys.js.map

package/dist/typeServer/typeServerServiceKeys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeServerServiceKeys.js","sourceRoot":"","sources":["../../../../../src/typeServer/typeServerServiceKeys.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,+DAAuD;AAKvD,IAAiB,qBAAqB,CAMrC;AAND,WAAiB,qBAAqB;IACrB,+BAAS,GAAG,IAAI,4BAAU,CAAqB,oBAAoB,CAAC,CAAC;IAElF,gFAAgF;IAChF,oFAAoF;IACvE,sCAAgB,GAAG,IAAI,4BAAU,CAAoB,mBAAmB,CAAC,CAAC;AAC3F,CAAC,EANgB,qBAAqB,qCAArB,qBAAqB,QAMrC"}

package/dist/typeServer/typeUtils.d.ts

@@ -0,0 +1,4 @@
+import { Type, TypeFlags } from '../analyzer/types';
+export declare function isOptional(type: Type): boolean;
+export declare function isUnion(type: Type): boolean;
+export declare function isTypeFlagSet(flags: TypeFlags, flag: TypeFlags): boolean;

package/dist/typeServer/typeUtils.js

@@ -0,0 +1,31 @@
+"use strict";
+/*
+ * typeUtils.ts
+ * Copyright (c) Microsoft Corporation.
+ *
+ * Collection of helper functions around types
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isOptional = isOptional;
+exports.isUnion = isUnion;
+exports.isTypeFlagSet = isTypeFlagSet;
+const types_1 = require("../analyzer/types");
+const typeUtils_1 = require("../analyzer/typeUtils");
+function isOptional(type) {
+    // Both `typing.Optional` and `T | None` is considered as Optional
+    if ((0, typeUtils_1.isOptionalType)(type)) {
+        return true;
+    }
+    return (0, types_1.isClass)(type) && type.shared.moduleName === 'typing' && type.shared.name === 'Optional';
+}
+function isUnion(type) {
+    // Both TypeCategory.Union and TypeCategory.Class with name `Union` is considered as Union
+    if ((0, types_1.isUnion)(type)) {
+        return true;
+    }
+    return (0, types_1.isClass)(type) && type.shared.moduleName === 'typing' && type.shared.name === 'Union';
+}
+function isTypeFlagSet(flags, flag) {
+    return (flags & flag) === flag;
+}
+//# sourceMappingURL=typeUtils.js.map

package/dist/typeServer/typeUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeUtils.js","sourceRoot":"","sources":["../../../../../src/typeServer/typeUtils.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AAKH,gCAOC;AAED,0BAOC;AAED,sCAEC;AAvBD,6CAAqF;AACrF,qDAAuD;AAEvD,SAAgB,UAAU,CAAC,IAAU;IACjC,kEAAkE;IAClE,IAAI,IAAA,0BAAc,EAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,IAAA,eAAO,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;AACnG,CAAC;AAED,SAAgB,OAAO,CAAC,IAAU;IAC9B,0FAA0F;IAC1F,IAAI,IAAA,eAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,IAAA,eAAO,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;AAChG,CAAC;AAED,SAAgB,aAAa,CAAC,KAAgB,EAAE,IAAe;IAC3D,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC;AACnC,CAAC"}

package/dist/typeServer/virtualFileOverlayFileSystem.d.ts

@@ -0,0 +1,87 @@
+import type { Dirent, ReadStream, WriteStream } from 'fs';
+import { Disposable } from 'vscode-jsonrpc';
+import { FileSystem, MkDirOptions, Stats } from '../common/fileSystem';
+import { FileWatcher, FileWatcherEventHandler } from '../common/fileWatcher';
+import { Uri } from '../common/uri/uri';
+/**
+ * A file system wrapper that redirects read operations for individual files
+ * to alternate locations on disk (virtual files).
+ *
+ * Redirected operations (go to virtual path when redirect exists):
+ * - readFileSync, readFile, readFileText — content reads
+ * - statSync — for correct mtime/cache invalidation
+ * - createReadStream — streaming reads
+ *
+ * Non-redirected operations (always use real path):
+ * - existsSync — the real file must exist for the redirect to be meaningful
+ * - readdirEntriesSync, readdirSync — directory listings are unchanged
+ * - realpathSync, realCasePath — canonical paths use the workspace path
+ * - isMappedUri, getOriginalUri, getMappedUri — LSP intercept handles mapping
+ * - All write operations — writes go to the real FS
+ * - createFileSystemWatcher — watches real paths
+ * - mapDirectory — delegates to the real FS
+ */
+export declare class VirtualFileOverlayFileSystem implements FileSystem {
+    private readonly _realFS;
+    private readonly _fileRedirects;
+    constructor(_realFS: FileSystem);
+    /**
+     * Register a file redirect. When read operations are called for
+     * `realUri`, the content will be read from `virtualUri` instead.
+     * The virtual file MUST already exist on disk when this is called.
+     *
+     * Returns a Disposable that removes the redirect when disposed.
+     */
+    addFileRedirect(realUri: Uri, virtualUri: Uri): Disposable;
+    /**
+     * Remove a file redirect.
+     */
+    removeFileRedirect(realUri: Uri): void;
+    /**
+     * Check if a file has a virtual redirect.
+     */
+    hasRedirect(uri: Uri): boolean;
+    /**
+     * Remove all redirects.
+     */
+    clearRedirects(): void;
+    /**
+     * Get all currently redirected real URIs.
+     */
+    getRedirectedUris(): Uri[];
+    /**
+     * Remove all redirects whose real URI is a child of `rootUri`.
+     * Returns the removed real URIs so callers can forward removal notifications.
+     */
+    removeRedirectsUnder(rootUri: Uri): Uri[];
+    existsSync(uri: Uri): boolean;
+    chdir(uri: Uri): void;
+    readdirEntriesSync(uri: Uri): Dirent[];
+    readdirSync(uri: Uri): string[];
+    realpathSync(uri: Uri): Uri;
+    getModulePath(): Uri;
+    realCasePath(uri: Uri): Uri;
+    isMappedUri(uri: Uri): boolean;
+    getOriginalUri(mappedUri: Uri): Uri;
+    getMappedUri(originalUri: Uri): Uri;
+    isInZip(uri: Uri): boolean;
+    readFileSync(uri: Uri, encoding?: null): Buffer;
+    readFileSync(uri: Uri, encoding: BufferEncoding): string;
+    readFileSync(uri: Uri, encoding?: BufferEncoding | null): string | Buffer;
+    statSync(uri: Uri): Stats;
+    readFile(uri: Uri): Promise<Buffer>;
+    readFileText(uri: Uri, encoding?: BufferEncoding): Promise<string>;
+    mkdirSync(uri: Uri, options?: MkDirOptions): void;
+    writeFileSync(uri: Uri, data: string | Buffer, encoding: BufferEncoding | null): void;
+    unlinkSync(uri: Uri): void;
+    rmdirSync(uri: Uri): void;
+    createFileSystemWatcher(uris: Uri[], listener: FileWatcherEventHandler): FileWatcher;
+    createReadStream(uri: Uri): ReadStream;
+    createWriteStream(uri: Uri): WriteStream;
+    copyFileSync(src: Uri, dst: Uri): void;
+    mapDirectory(mappedUri: Uri, originalUri: Uri, filter?: (originalUri: Uri, fs: FileSystem) => boolean): Disposable;
+    /**
+     * Get the redirect target URI, or the original URI if no redirect exists.
+     */
+    private _getRedirectedUri;
+}

package/dist/typeServer/virtualFileOverlayFileSystem.js

@@ -0,0 +1,181 @@
+"use strict";
+/*
+ * virtualFileOverlayFileSystem.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ *
+ * A file system overlay that redirects read operations for specific files
+ * to alternate locations on disk. Used for the virtual file system where an
+ * external client (e.g. Pylance's Django stub sidecar) writes merged .py files
+ * to a virtual directory and asks the type server to read those instead.
+ *
+ * Unlike ReadOnlyAugmentedFileSystem.mapDirectory() which maps entire
+ * directories and hides the originals, this overlay operates at the file
+ * level: only explicitly registered files are redirected, and all other
+ * files pass through to the underlying FS unchanged.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.VirtualFileOverlayFileSystem = void 0;
+const uriMap_1 = require("../common/uri/uriMap");
+/**
+ * A file system wrapper that redirects read operations for individual files
+ * to alternate locations on disk (virtual files).
+ *
+ * Redirected operations (go to virtual path when redirect exists):
+ * - readFileSync, readFile, readFileText — content reads
+ * - statSync — for correct mtime/cache invalidation
+ * - createReadStream — streaming reads
+ *
+ * Non-redirected operations (always use real path):
+ * - existsSync — the real file must exist for the redirect to be meaningful
+ * - readdirEntriesSync, readdirSync — directory listings are unchanged
+ * - realpathSync, realCasePath — canonical paths use the workspace path
+ * - isMappedUri, getOriginalUri, getMappedUri — LSP intercept handles mapping
+ * - All write operations — writes go to the real FS
+ * - createFileSystemWatcher — watches real paths
+ * - mapDirectory — delegates to the real FS
+ */
+class VirtualFileOverlayFileSystem {
+    constructor(_realFS) {
+        this._realFS = _realFS;
+        // Maps real file URIs to their virtual counterparts on disk.
+        this._fileRedirects = new uriMap_1.UriMap();
+    }
+    /**
+     * Register a file redirect. When read operations are called for
+     * `realUri`, the content will be read from `virtualUri` instead.
+     * The virtual file MUST already exist on disk when this is called.
+     *
+     * Returns a Disposable that removes the redirect when disposed.
+     */
+    addFileRedirect(realUri, virtualUri) {
+        this._fileRedirects.set(realUri, virtualUri);
+        return {
+            dispose: () => {
+                this._fileRedirects.delete(realUri);
+            },
+        };
+    }
+    /**
+     * Remove a file redirect.
+     */
+    removeFileRedirect(realUri) {
+        this._fileRedirects.delete(realUri);
+    }
+    /**
+     * Check if a file has a virtual redirect.
+     */
+    hasRedirect(uri) {
+        return this._fileRedirects.has(uri);
+    }
+    /**
+     * Remove all redirects.
+     */
+    clearRedirects() {
+        this._fileRedirects.clear();
+    }
+    /**
+     * Get all currently redirected real URIs.
+     */
+    getRedirectedUris() {
+        return [...this._fileRedirects.keys()];
+    }
+    /**
+     * Remove all redirects whose real URI is a child of `rootUri`.
+     * Returns the removed real URIs so callers can forward removal notifications.
+     */
+    removeRedirectsUnder(rootUri) {
+        const removed = [];
+        for (const realUri of this._fileRedirects.keys()) {
+            if (realUri.isChild(rootUri)) {
+                removed.push(realUri);
+            }
+        }
+        for (const uri of removed) {
+            this._fileRedirects.delete(uri);
+        }
+        return removed;
+    }
+    // --- ReadOnlyFileSystem: non-redirected operations ---
+    existsSync(uri) {
+        return this._realFS.existsSync(uri);
+    }
+    chdir(uri) {
+        return this._realFS.chdir(uri);
+    }
+    readdirEntriesSync(uri) {
+        return this._realFS.readdirEntriesSync(uri);
+    }
+    readdirSync(uri) {
+        return this._realFS.readdirSync(uri);
+    }
+    realpathSync(uri) {
+        return this._realFS.realpathSync(uri);
+    }
+    getModulePath() {
+        return this._realFS.getModulePath();
+    }
+    realCasePath(uri) {
+        return this._realFS.realCasePath(uri);
+    }
+    isMappedUri(uri) {
+        return this._realFS.isMappedUri(uri);
+    }
+    getOriginalUri(mappedUri) {
+        return this._realFS.getOriginalUri(mappedUri);
+    }
+    getMappedUri(originalUri) {
+        return this._realFS.getMappedUri(originalUri);
+    }
+    isInZip(uri) {
+        return this._realFS.isInZip(uri);
+    }
+    readFileSync(uri, encoding) {
+        return this._realFS.readFileSync(this._getRedirectedUri(uri), encoding);
+    }
+    statSync(uri) {
+        return this._realFS.statSync(this._getRedirectedUri(uri));
+    }
+    readFile(uri) {
+        return this._realFS.readFile(this._getRedirectedUri(uri));
+    }
+    readFileText(uri, encoding) {
+        return this._realFS.readFileText(this._getRedirectedUri(uri), encoding);
+    }
+    // --- FileSystem: write operations (never redirected) ---
+    mkdirSync(uri, options) {
+        return this._realFS.mkdirSync(uri, options);
+    }
+    writeFileSync(uri, data, encoding) {
+        return this._realFS.writeFileSync(uri, data, encoding);
+    }
+    unlinkSync(uri) {
+        return this._realFS.unlinkSync(uri);
+    }
+    rmdirSync(uri) {
+        return this._realFS.rmdirSync(uri);
+    }
+    createFileSystemWatcher(uris, listener) {
+        return this._realFS.createFileSystemWatcher(uris, listener);
+    }
+    createReadStream(uri) {
+        return this._realFS.createReadStream(this._getRedirectedUri(uri));
+    }
+    createWriteStream(uri) {
+        return this._realFS.createWriteStream(uri);
+    }
+    copyFileSync(src, dst) {
+        return this._realFS.copyFileSync(src, dst);
+    }
+    mapDirectory(mappedUri, originalUri, filter) {
+        return this._realFS.mapDirectory(mappedUri, originalUri, filter);
+    }
+    /**
+     * Get the redirect target URI, or the original URI if no redirect exists.
+     */
+    _getRedirectedUri(uri) {
+        return this._fileRedirects.get(uri) ?? uri;
+    }
+}
+exports.VirtualFileOverlayFileSystem = VirtualFileOverlayFileSystem;
+//# sourceMappingURL=virtualFileOverlayFileSystem.js.map

package/dist/typeServer/virtualFileOverlayFileSystem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"virtualFileOverlayFileSystem.js","sourceRoot":"","sources":["../../../../../src/typeServer/virtualFileOverlayFileSystem.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;AAQH,iDAA8C;AAE9C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAa,4BAA4B;IAIrC,YAA6B,OAAmB;QAAnB,YAAO,GAAP,OAAO,CAAY;QAHhD,6DAA6D;QAC5C,mBAAc,GAAG,IAAI,eAAM,EAAO,CAAC;IAED,CAAC;IAEpD;;;;;;OAMG;IACH,eAAe,CAAC,OAAY,EAAE,UAAe;QACzC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC7C,OAAO;YACH,OAAO,EAAE,GAAG,EAAE;gBACV,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACxC,CAAC;SACJ,CAAC;IACN,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,OAAY;QAC3B,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,GAAQ;QAChB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,cAAc;QACV,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,iBAAiB;QACb,OAAO,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED;;;OAGG;IACH,oBAAoB,CAAC,OAAY;QAC7B,MAAM,OAAO,GAAU,EAAE,CAAC;QAC1B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1B,CAAC;QACL,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,wDAAwD;IAExD,UAAU,CAAC,GAAQ;QACf,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,KAAK,CAAC,GAAQ;QACV,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;IAED,kBAAkB,CAAC,GAAQ;QACvB,OAAO,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC;IAED,WAAW,CAAC,GAAQ;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,YAAY,CAAC,GAAQ;QACjB,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,aAAa;QACT,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;IACxC,CAAC;IAED,YAAY,CAAC,GAAQ;QACjB,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,WAAW,CAAC,GAAQ;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,cAAc,CAAC,SAAc;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;IAED,YAAY,CAAC,WAAgB;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,CAAC,GAAQ;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAOD,YAAY,CAAC,GAAQ,EAAE,QAAgC;QACnD,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,QAA0B,CAAC,CAAC;IAC9F,CAAC;IAED,QAAQ,CAAC,GAAQ;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,QAAQ,CAAC,GAAQ;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,YAAY,CAAC,GAAQ,EAAE,QAAyB;QAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC5E,CAAC;IAED,0DAA0D;IAE1D,SAAS,CAAC,GAAQ,EAAE,OAAsB;QACtC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,aAAa,CAAC,GAAQ,EAAE,IAAqB,EAAE,QAA+B;QAC1E,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC;IAED,UAAU,CAAC,GAAQ;QACf,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,SAAS,CAAC,GAAQ;QACd,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,uBAAuB,CAAC,IAAW,EAAE,QAAiC;QAClE,OAAO,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChE,CAAC;IAED,gBAAgB,CAAC,GAAQ;QACrB,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,iBAAiB,CAAC,GAAQ;QACtB,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,YAAY,CAAC,GAAQ,EAAE,GAAQ;QAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,YAAY,CAAC,SAAc,EAAE,WAAgB,EAAE,MAAsD;QACjG,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IACrE,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,GAAQ;QAC9B,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;IAC/C,CAAC;CACJ;AAlLD,oEAkLC"}

package/package.json

@@ -2,7 +2,7 @@
   "name": "@zzzen/pyright-internal",
   "displayName": "pyright",
   "description": "Type checker for the Python language",
-  "version": "1.2.0-dev.20260705",
+  "version": "1.2.0-dev.20260719",
   "license": "MIT",
   "private": false,
   "files": [