@zzzen/pyright-internal 1.2.0-dev.20260222 → 1.2.0-dev.20260422

package/dist/analyzer/backgroundAnalysisProgram.d.ts

@@ -43,7 +43,7 @@ export declare class BackgroundAnalysisProgram {
     getChainedUri(fileUri: Uri): Uri | undefined;
     updateChainedUri(fileUri: Uri, chainedUri: Uri | undefined): void;
     updateOpenFileContents(uri: Uri, version: number | null, contents: string, options: OpenFileOptions): void;
-    setFileClosed(fileUri: Uri, isTracked?: boolean): void;
+    setFileClosed(fileUri: Uri): void;
     addInterimFile(fileUri: Uri): void;
     markAllFilesDirty(evenIfContentsAreSame: boolean): void;
     markFilesDirty(fileUris: Uri[], evenIfContentsAreSame: boolean): void;

package/dist/analyzer/backgroundAnalysisProgram.js

@@ -12,6 +12,7 @@ exports.BackgroundAnalysisProgram = exports.InvalidatedReason = void 0;
 require("../common/serviceProviderExtensions");
 const analysis_1 = require("./analysis");
 const program_1 = require("./program");
+const typeStubWriter_1 = require("./typeStubWriter");
 var InvalidatedReason;
 (function (InvalidatedReason) {
     InvalidatedReason[InvalidatedReason["Reanalyzed"] = 0] = "Reanalyzed";
@@ -91,9 +92,9 @@ class BackgroundAnalysisProgram {
         this._program.setFileOpened(uri, version, contents, options);
         this.markFilesDirty([uri], /* evenIfContentsAreSame */ true);
     }
-    setFileClosed(fileUri, isTracked) {
-        this._backgroundAnalysis?.setFileClosed(fileUri, isTracked);
-        const diagnostics = this._program.setFileClosed(fileUri, isTracked);
+    setFileClosed(fileUri) {
+        this._backgroundAnalysis?.setFileClosed(fileUri);
+        const diagnostics = this._program.setFileClosed(fileUri);
         this._reportDiagnosticsForRemovedFiles(diagnostics);
     }
     addInterimFile(fileUri) {
@@ -144,9 +145,11 @@ class BackgroundAnalysisProgram {
         if (this._backgroundAnalysis) {
             return this._backgroundAnalysis.writeTypeStub(targetImportUri, targetIsSingleFile, stubUri, token);
         }
-        (0, analysis_1.analyzeProgram)(this._program, 
-        /* maxTime */ undefined, this._configOptions, this._onAnalysisCompletion, this._serviceProvider.console(), token);
-        return this._program.writeTypeStub(targetImportUri, targetIsSingleFile, stubUri, token);
+        return new typeStubWriter_1.TypeStubWriter(this._program).writeTypeStub({
+            targetImportPath: targetImportUri,
+            targetIsSingleFile,
+            outputPath: stubUri,
+        }, token);
     }
     invalidateAndForceReanalysis(reason, refreshOptions) {
         this._backgroundAnalysis?.invalidateAndForceReanalysis(reason);

package/dist/analyzer/backgroundAnalysisProgram.js.map

@@ -1 +1 @@
-{"version":3,"file":"backgroundAnalysisProgram.js","sourceRoot":"","sources":["../../../../../src/analyzer/backgroundAnalysisProgram.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AASH,+CAA6C;AAG7C,yCAAsE;AAEtE,uCAAsE;AAEtE,IAAY,iBAKX;AALD,WAAY,iBAAiB;IACzB,qEAAU,CAAA;IACV,yFAAoB,CAAA;IACpB,2FAAqB,CAAA;IACrB,iHAAgC,CAAA;AACpC,CAAC,EALW,iBAAiB,iCAAjB,iBAAiB,QAK5B;AAED,MAAa,yBAAyB;IAMlC,YACuB,SAAiB,EACnB,gBAAiC,EAC1C,cAA6B,EAC7B,eAA+B,EAC/B,mBAAyC,EAChC,gBAAkC,EAClC,eAAyB,EAC1C,OAAiB;QAPE,cAAS,GAAT,SAAS,CAAQ;QACnB,qBAAgB,GAAhB,gBAAgB,CAAiB;QAC1C,mBAAc,GAAd,cAAc,CAAe;QAC7B,oBAAe,GAAf,eAAe,CAAgB;QAC/B,wBAAmB,GAAnB,mBAAmB,CAAsB;QAChC,qBAAgB,GAAhB,gBAAgB,CAAkB;QAClC,oBAAe,GAAf,eAAe,CAAU;QAXtC,cAAS,GAAG,KAAK,CAAC;QActB,IAAI,CAAC,QAAQ;YACT,OAAO;gBACP,IAAI,iBAAO,CACP,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,gBAAgB,EACrB,SAAS,EACT,IAAI,CAAC,eAAe,EACpB,SAAS,CACZ,CAAC;QACN,IAAI,CAAC,mBAAmB,EAAE,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,eAAe;QACf,OAAO,IAAI,CAAC,gBAAgB,CAAC;IACjC,CAAC;IAED,IAAI,aAAa;QACb,OAAO,IAAI,CAAC,cAAc,CAAC;IAC/B,CAAC;IAED,IAAI,cAAc;QACd,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,IAAI,OAAO;QACP,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED,IAAI,IAAI;QACJ,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IACrC,CAAC;IAED,IAAI,kBAAkB;QAClB,OAAO,IAAI,CAAC,mBAAmB,CAAC;IACpC,CAAC;IAED,aAAa,CAAC,OAAY;QACtB,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,gBAAgB,CAAC,aAA4B;QACzC,IAAI,CAAC,cAAc,GAAG,aAAa,CAAC;QACpC,IAAI,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,aAAa,CAAC,CAAC;QAC1D,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC;IAClD,CAAC;IAED,iBAAiB,CAAC,cAA8B;QAC5C,IAAI,CAAC,eAAe,GAAG,cAAc,CAAC;QACtC,IAAI,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,cAAc,CAAC,CAAC;QAE5D,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;QAChD,IAAI,CAAC,aAAa,CAAC,wBAAwB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,CAAC;IAED,eAAe,CAAC,QAAe;QAC3B,IAAI,CAAC,mBAAmB,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,CAAC,iCAAiC,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC;IAED,2BAA2B,CAAC,WAAqB;QAC7C,IAAI,CAAC,mBAAmB,EAAE,2BAA2B,CAAC,WAAW,CAAC,CAAC;QACnE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED,aAAa,CAAC,OAAY,EAAE,OAAsB,EAAE,QAAgB,EAAE,OAAwB;QAC1F,IAAI,CAAC,mBAAmB,EAAE,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7E,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,aAAa,CAAC,OAAY;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,gBAAgB,CAAC,OAAY,EAAE,UAA2B;QACtD,IAAI,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;IAED,sBAAsB,CAAC,GAAQ,EAAE,OAAsB,EAAE,QAAgB,EAAE,OAAwB;QAC/F,IAAI,CAAC,mBAAmB,EAAE,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;IAED,aAAa,CAAC,OAAY,EAAE,SAAmB;QAC3C,IAAI,CAAC,mBAAmB,EAAE,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC5D,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACpE,IAAI,CAAC,iCAAiC,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC;IAED,cAAc,CAAC,OAAY;QACvB,IAAI,CAAC,mBAAmB,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,iBAAiB,CAAC,qBAA8B;QAC5C,IAAI,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,CAAC;QACnE,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,qBAAqB,CAAC,CAAC;IAC3D,CAAC;IAED,cAAc,CAAC,QAAe,EAAE,qBAA8B;QAC1D,IAAI,CAAC,mBAAmB,EAAE,cAAc,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;QAC1E,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;IAClE,CAAC;IAED,qBAAqB,CAAC,QAAmC;QACrD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAC;QACtC,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC;IAED,aAAa,CAAC,KAAwB;QAClC,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,OAAO,IAAA,yBAAc,EACjB,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,gBAAgB,EACrB,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,qBAAqB,EAC1B,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAC/B,KAAK,CACR,CAAC;IACN,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,OAAY,EAAE,KAAwB;QACpD,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAChE,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC;IAED,KAAK,CAAC,4BAA4B,CAAC,OAAY,EAAE,KAAwB;QACrE,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,mBAAmB,CAAC,4BAA4B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjF,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,CAAC,4BAA4B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IAED,cAAc;QACV,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,sBAAsB,CAAC,OAAY,EAAE,KAAY,EAAE,KAAwB;QAC7E,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,mBAAmB,CAAC,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAClF,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;IAED,KAAK,CAAC,aAAa,CACf,eAAoB,EACpB,kBAA2B,EAC3B,OAAY,EACZ,KAAwB;QAExB,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACvG,CAAC;QAED,IAAA,yBAAc,EACV,IAAI,CAAC,QAAQ;QACb,aAAa,CAAC,SAAS,EACvB,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,qBAAqB,EAC1B,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAC/B,KAAK,CACR,CAAC;QACF,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC5F,CAAC;IAED,4BAA4B,CAAC,MAAyB,EAAE,cAA+B;QACnF,IAAI,CAAC,mBAAmB,EAAE,4BAA4B,CAAC,MAAM,CAAC,CAAC;QAE/D,qDAAqD;QACrD,kBAAkB;QAClB,IAAI,CAAC,eAAe,CAAC,eAAe,EAAE,CAAC;QAEvC,qGAAqG;QACrG,2DAA2D;QAC3D,IACI,cAAc,EAAE,eAAe;YAC/B,cAAc,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC;YACvC,MAAM,KAAK,iBAAiB,CAAC,gCAAgC,EAC/D,CAAC;YACC,kDAAkD;YAClD,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1E,IAAI,CAAC,cAAc,CAAC,eAAe,EAAE,2BAA2B,CAAC,IAAI,CAAC,CAAC;QAC3E,CAAC;aAAM,CAAC;YACJ,gDAAgD;YAChD,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;IACL,CAAC;IAED,OAAO;QACH,IAAI,CAAC,mBAAmB,EAAE,OAAO,EAAE,CAAC;IACxC,CAAC;IAED,OAAO;QACH,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,OAAO;QACX,CAAC;QAED,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,mBAAmB,EAAE,QAAQ,EAAE,CAAC;QACrC,IAAI,CAAC,mBAAmB,EAAE,OAAO,EAAE,CAAC;IACxC,CAAC;IAED,aAAa;QACT,wCAAwC;QACxC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACjD,IAAI,CAAC,mBAAmB,GAAG,SAAS,CAAC;QAErC,uCAAuC;QACvC,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;IAClC,CAAC;IAED,YAAY;QACR,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACjD,IAAI,CAAC,gBAAgB,GAAG,SAAS,CAAC;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;IACxC,CAAC;IAEO,0BAA0B,CAAC,OAA6B;QAC5D,IAAI,CAAC,mBAAmB,EAAE,yBAAyB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9E,OAAO,IAAI,CAAC,eAAe,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACnE,CAAC;IAEO,iCAAiC,CAAC,SAA4B;QAClE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO;QACX,CAAC;QAED,+DAA+D;QAC/D,8DAA8D;QAC9D,qDAAqD;QACrD,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC1D,IAAI,CAAC,qBAAqB,CAAC;gBACvB,WAAW,EAAE,SAAS;gBACtB,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE;gBAC5C,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CAAC,sBAAsB,EAAE;gBAC9D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,uBAAuB,EAAE;gBAC9D,kBAAkB,EAAE,KAAK;gBACzB,wBAAwB,EAAE,KAAK;gBAC/B,WAAW,EAAE,CAAC;gBACd,MAAM,EAAE,UAAU;aACrB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;CACJ;AAhRD,8DAgRC"}
+{"version":3,"file":"backgroundAnalysisProgram.js","sourceRoot":"","sources":["../../../../../src/analyzer/backgroundAnalysisProgram.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AASH,+CAA6C;AAG7C,yCAAsE;AAEtE,uCAAsE;AACtE,qDAAkD;AAElD,IAAY,iBAKX;AALD,WAAY,iBAAiB;IACzB,qEAAU,CAAA;IACV,yFAAoB,CAAA;IACpB,2FAAqB,CAAA;IACrB,iHAAgC,CAAA;AACpC,CAAC,EALW,iBAAiB,iCAAjB,iBAAiB,QAK5B;AAED,MAAa,yBAAyB;IAMlC,YACuB,SAAiB,EACnB,gBAAiC,EAC1C,cAA6B,EAC7B,eAA+B,EAC/B,mBAAyC,EAChC,gBAAkC,EAClC,eAAyB,EAC1C,OAAiB;QAPE,cAAS,GAAT,SAAS,CAAQ;QACnB,qBAAgB,GAAhB,gBAAgB,CAAiB;QAC1C,mBAAc,GAAd,cAAc,CAAe;QAC7B,oBAAe,GAAf,eAAe,CAAgB;QAC/B,wBAAmB,GAAnB,mBAAmB,CAAsB;QAChC,qBAAgB,GAAhB,gBAAgB,CAAkB;QAClC,oBAAe,GAAf,eAAe,CAAU;QAXtC,cAAS,GAAG,KAAK,CAAC;QActB,IAAI,CAAC,QAAQ;YACT,OAAO;gBACP,IAAI,iBAAO,CACP,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,gBAAgB,EACrB,SAAS,EACT,IAAI,CAAC,eAAe,EACpB,SAAS,CACZ,CAAC;QACN,IAAI,CAAC,mBAAmB,EAAE,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,eAAe;QACf,OAAO,IAAI,CAAC,gBAAgB,CAAC;IACjC,CAAC;IAED,IAAI,aAAa;QACb,OAAO,IAAI,CAAC,cAAc,CAAC;IAC/B,CAAC;IAED,IAAI,cAAc;QACd,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,IAAI,OAAO;QACP,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED,IAAI,IAAI;QACJ,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IACrC,CAAC;IAED,IAAI,kBAAkB;QAClB,OAAO,IAAI,CAAC,mBAAmB,CAAC;IACpC,CAAC;IAED,aAAa,CAAC,OAAY;QACtB,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,gBAAgB,CAAC,aAA4B;QACzC,IAAI,CAAC,cAAc,GAAG,aAAa,CAAC;QACpC,IAAI,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,aAAa,CAAC,CAAC;QAC1D,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC;IAClD,CAAC;IAED,iBAAiB,CAAC,cAA8B;QAC5C,IAAI,CAAC,eAAe,GAAG,cAAc,CAAC;QACtC,IAAI,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,cAAc,CAAC,CAAC;QAE5D,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;QAChD,IAAI,CAAC,aAAa,CAAC,wBAAwB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,CAAC;IAED,eAAe,CAAC,QAAe;QAC3B,IAAI,CAAC,mBAAmB,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,CAAC,iCAAiC,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC;IAED,2BAA2B,CAAC,WAAqB;QAC7C,IAAI,CAAC,mBAAmB,EAAE,2BAA2B,CAAC,WAAW,CAAC,CAAC;QACnE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED,aAAa,CAAC,OAAY,EAAE,OAAsB,EAAE,QAAgB,EAAE,OAAwB;QAC1F,IAAI,CAAC,mBAAmB,EAAE,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7E,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,aAAa,CAAC,OAAY;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,gBAAgB,CAAC,OAAY,EAAE,UAA2B;QACtD,IAAI,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;IAED,sBAAsB,CAAC,GAAQ,EAAE,OAAsB,EAAE,QAAgB,EAAE,OAAwB;QAC/F,IAAI,CAAC,mBAAmB,EAAE,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;IAED,aAAa,CAAC,OAAY;QACtB,IAAI,CAAC,mBAAmB,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,iCAAiC,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC;IAED,cAAc,CAAC,OAAY;QACvB,IAAI,CAAC,mBAAmB,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,iBAAiB,CAAC,qBAA8B;QAC5C,IAAI,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,CAAC;QACnE,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,qBAAqB,CAAC,CAAC;IAC3D,CAAC;IAED,cAAc,CAAC,QAAe,EAAE,qBAA8B;QAC1D,IAAI,CAAC,mBAAmB,EAAE,cAAc,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;QAC1E,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;IAClE,CAAC;IAED,qBAAqB,CAAC,QAAmC;QACrD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAC;QACtC,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC;IAED,aAAa,CAAC,KAAwB;QAClC,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,OAAO,IAAA,yBAAc,EACjB,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,gBAAgB,EACrB,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,qBAAqB,EAC1B,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAC/B,KAAK,CACR,CAAC;IACN,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,OAAY,EAAE,KAAwB;QACpD,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAChE,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC;IAED,KAAK,CAAC,4BAA4B,CAAC,OAAY,EAAE,KAAwB;QACrE,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,mBAAmB,CAAC,4BAA4B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjF,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,CAAC,4BAA4B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IAED,cAAc;QACV,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,sBAAsB,CAAC,OAAY,EAAE,KAAY,EAAE,KAAwB;QAC7E,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,mBAAmB,CAAC,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAClF,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;IAED,KAAK,CAAC,aAAa,CACf,eAAoB,EACpB,kBAA2B,EAC3B,OAAY,EACZ,KAAwB;QAExB,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACvG,CAAC;QAED,OAAO,IAAI,+BAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,CAClD;YACI,gBAAgB,EAAE,eAAe;YACjC,kBAAkB;YAClB,UAAU,EAAE,OAAO;SACtB,EACD,KAAK,CACR,CAAC;IACN,CAAC;IAED,4BAA4B,CAAC,MAAyB,EAAE,cAA+B;QACnF,IAAI,CAAC,mBAAmB,EAAE,4BAA4B,CAAC,MAAM,CAAC,CAAC;QAE/D,qDAAqD;QACrD,kBAAkB;QAClB,IAAI,CAAC,eAAe,CAAC,eAAe,EAAE,CAAC;QAEvC,qGAAqG;QACrG,2DAA2D;QAC3D,IACI,cAAc,EAAE,eAAe;YAC/B,cAAc,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC;YACvC,MAAM,KAAK,iBAAiB,CAAC,gCAAgC,EAC/D,CAAC;YACC,kDAAkD;YAClD,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1E,IAAI,CAAC,cAAc,CAAC,eAAe,EAAE,2BAA2B,CAAC,IAAI,CAAC,CAAC;QAC3E,CAAC;aAAM,CAAC;YACJ,gDAAgD;YAChD,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;IACL,CAAC;IAED,OAAO;QACH,IAAI,CAAC,mBAAmB,EAAE,OAAO,EAAE,CAAC;IACxC,CAAC;IAED,OAAO;QACH,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,OAAO;QACX,CAAC;QAED,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,mBAAmB,EAAE,QAAQ,EAAE,CAAC;QACrC,IAAI,CAAC,mBAAmB,EAAE,OAAO,EAAE,CAAC;IACxC,CAAC;IAED,aAAa;QACT,wCAAwC;QACxC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACjD,IAAI,CAAC,mBAAmB,GAAG,SAAS,CAAC;QAErC,uCAAuC;QACvC,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;IAClC,CAAC;IAED,YAAY;QACR,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACjD,IAAI,CAAC,gBAAgB,GAAG,SAAS,CAAC;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;IACxC,CAAC;IAEO,0BAA0B,CAAC,OAA6B;QAC5D,IAAI,CAAC,mBAAmB,EAAE,yBAAyB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9E,OAAO,IAAI,CAAC,eAAe,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACnE,CAAC;IAEO,iCAAiC,CAAC,SAA4B;QAClE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO;QACX,CAAC;QAED,+DAA+D;QAC/D,8DAA8D;QAC9D,qDAAqD;QACrD,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC1D,IAAI,CAAC,qBAAqB,CAAC;gBACvB,WAAW,EAAE,SAAS;gBACtB,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE;gBAC5C,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CAAC,sBAAsB,EAAE;gBAC9D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,uBAAuB,EAAE;gBAC9D,kBAAkB,EAAE,KAAK;gBACzB,wBAAwB,EAAE,KAAK;gBAC/B,WAAW,EAAE,CAAC;gBACd,MAAM,EAAE,UAAU;aACrB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;CACJ;AA/QD,8DA+QC"}

package/dist/analyzer/binder.d.ts

@@ -1,9 +1,11 @@
 import { AssertNode, AssignmentExpressionNode, AssignmentNode, AugmentedAssignmentNode, AwaitNode, BinaryOperationNode, BreakNode, CallNode, ClassNode, ComprehensionNode, ContinueNode, DelNode, ExceptNode, ForNode, FunctionNode, GlobalNode, IfNode, ImportAsNode, ImportFromNode, IndexNode, LambdaNode, MatchNode, MemberAccessNode, ModuleNameNode, ModuleNode, NameNode, NonlocalNode, ParseNode, PatternAsNode, PatternCaptureNode, PatternMappingExpandEntryNode, RaiseNode, ReturnNode, SuiteNode, TernaryNode, TryNode, TypeAliasNode, TypeAnnotationNode, TypeParameterListNode, UnaryOperationNode, WhileNode, WithNode, YieldFromNode, YieldNode } from '../parser/parseNodes';
 import { AnalyzerFileInfo } from './analyzerFileInfo';
 import { ParseTreeWalker } from './parseTreeWalker';
+import { CellChainIndexProvider } from './cellChainIndex';
 import { Scope } from './scope';
 export declare class Binder extends ParseTreeWalker {
     private _moduleSymbolOnly;
+    private readonly _cellChainIndex?;
     private readonly _fileInfo;
     private _deferredBindingTasks;
     private _currentScope;
@@ -35,7 +37,7 @@ export declare class Binder extends ParseTreeWalker {
     private _potentialWildcardReexportSymbols;
     private _potentialPrivateSymbols;
     private _codeFlowComplexity;
-    constructor(fileInfo: AnalyzerFileInfo, _moduleSymbolOnly?: boolean);
+    constructor(fileInfo: AnalyzerFileInfo, _moduleSymbolOnly?: boolean, _cellChainIndex?: CellChainIndexProvider | undefined);
     bindModule(node: ModuleNode): void;
     visitModule(node: ModuleNode): boolean;
     visitSuite(node: SuiteNode): boolean;
@@ -80,6 +82,7 @@ export declare class Binder extends ParseTreeWalker {
     visitPatternAs(node: PatternAsNode): boolean;
     visitPatternCapture(node: PatternCaptureNode): boolean;
     visitPatternMappingExpandEntry(node: PatternMappingExpandEntryNode): boolean;
+    private _isNonEmptyListOrTupleLiteral;
     private _addTypingImportAliasesFromBuiltinsScope;
     private _formatModuleName;
     private _getNonClassParentScope;
@@ -121,6 +124,7 @@ export declare class Binder extends ParseTreeWalker {
     private _addImplicitSymbolToCurrentScope;
     private _addSymbolToCurrentScope;
     private _createNewScope;
+    private _createCellChainModuleLevelLookup;
     private _addInferredTypeAssignmentForVariable;
     private _isInferenceAllowedInPyTyped;
     private _addTypeDeclarationForVariable;
@@ -132,6 +136,11 @@ export declare class Binder extends ParseTreeWalker {
     private _isAnnotationClassVar;
     private _getMemberAccessInfo;
     private _addImplicitImportsToLoaderActions;
+    private _addWildcardImportedModuleAlias;
+    private _getMultipartModuleAliasDeclaration;
+    private _cloneMultipartModuleAliasDeclaration;
+    private _cloneModuleLoaderActions;
+    private _mergeModuleLoaderActions;
     private _handleTypingStubAssignmentOrAnnotation;
     private _deferBinding;
     private _bindDeferred;

package/dist/analyzer/binder.js

@@ -64,9 +64,10 @@ const symbolNameUtils_1 = require("./symbolNameUtils");
 // flow nodes. This number is somewhat arbitrary and is tuned empirically.
 const flowNodeComplexityContribution = 0.025;
 class Binder extends parseTreeWalker_1.ParseTreeWalker {
-    constructor(fileInfo, _moduleSymbolOnly = false) {
+    constructor(fileInfo, _moduleSymbolOnly = false, _cellChainIndex) {
         super();
         this._moduleSymbolOnly = _moduleSymbolOnly;
+        this._cellChainIndex = _cellChainIndex;
         // A queue of deferred analysis operations.
         this._deferredBindingTasks = [];
         // Flow nodes used within try blocks.
@@ -113,9 +114,10 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         // We'll assume that if there is no builtins scope provided, we must be
         // binding the builtins module itself.
         const isBuiltInModule = this._fileInfo.builtinsScope === undefined;
+        const chainedModuleLevelScopeLookup = this._createCellChainModuleLevelLookup();
         this._addTypingImportAliasesFromBuiltinsScope();
         this._createNewScope(isBuiltInModule ? 5 /* ScopeType.Builtin */ : 4 /* ScopeType.Module */, this._fileInfo.builtinsScope, 
-        /* proxyScope */ undefined, () => {
+        /* proxyScope */ undefined, chainedModuleLevelScopeLookup, () => {
             AnalyzerNodeInfo.setScope(node, this._currentScope);
             AnalyzerNodeInfo.setFlowNode(node, this._currentFlowNode);
             // Bind implicit names.
@@ -141,10 +143,15 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         });
         // Perform all analysis that was deferred during the first pass.
         this._bindDeferred();
-        // Use the __all__ list to determine whether any potential private
-        // symbols should be made externally hidden or private.
+        // Use the __all__ list to determine whether any potential private symbols should be
+        // made externally hidden or private. When __all__ uses an unsupported form (e.g.,
+        // dynamic construction like __all__ = _components + [...]), we can't determine
+        // membership statically; fall back to name-convention heuristics so that
+        // underscore-prefixed names are still treated as private while normally-named
+        // symbols avoid false positives.
+        const shouldProcess = (name) => !this._usesUnsupportedDunderAllForm || (0, symbolNameUtils_1.isPrivateOrProtectedName)(name);
         this._potentialHiddenSymbols.forEach((symbol, name) => {
-            if (!this._dunderAllNames?.some((sym) => sym === name)) {
+            if (shouldProcess(name) && !this._dunderAllNames?.some((sym) => sym === name)) {
                 if (this._fileInfo.isStubFile) {
                     symbol.setIsExternallyHidden();
                 }
@@ -156,13 +163,20 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         // Wildcard imports are considered a re-export form, but if this module defines
         // __all__, that list determines the public interface and should restrict which
         // wildcard-imported symbols are exposed.
-        this._potentialWildcardReexportSymbols.forEach((symbol, name) => {
-            if (this._dunderAllNames && !this._dunderAllNames.some((sym) => sym === name)) {
-                symbol.setPrivatePyTypedImport();
-            }
-        });
+        if (this._dunderAllNames) {
+            const dunderAllNames = this._dunderAllNames;
+            this._potentialWildcardReexportSymbols.forEach((symbol, name) => {
+                if (shouldProcess(name) && !dunderAllNames.some((sym) => sym === name)) {
+                    symbol.setPrivatePyTypedImport();
+                }
+            });
+        }
+        // Single-underscore module-level names remain private even when __all__ uses an
+        // unsupported/computed form. Since every entry in _potentialPrivateSymbols already
+        // has an underscore prefix, shouldProcess always returns true here, preserving
+        // the behavior of upstream pyright test `Private3`.
         this._potentialPrivateSymbols.forEach((symbol, name) => {
-            if (!this._dunderAllNames?.some((sym) => sym === name)) {
+            if (shouldProcess(name) && !this._dunderAllNames?.some((sym) => sym === name)) {
                 symbol.setIsPrivateMember();
             }
         });
@@ -262,7 +276,8 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         }
         this.walkMultiple(node.d.arguments);
         this._createNewScope(3 /* ScopeType.Class */, typeParamScope ?? this._getNonClassParentScope(), 
-        /* proxyScope */ undefined, () => {
+        /* proxyScope */ undefined, 
+        /* chainedModuleLevelScopeLookup */ undefined, () => {
             AnalyzerNodeInfo.setScope(node, this._currentScope);
             this._addImplicitSymbolToCurrentScope('__doc__', node, 'str | None');
             this._addImplicitSymbolToCurrentScope('__module__', node, 'str');
@@ -329,7 +344,8 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         // Don't walk the body of the function until we're done analyzing
         // the current scope.
         this._createNewScope(2 /* ScopeType.Function */, typeParamScope ?? this._getNonClassParentScope(), 
-        /* proxyScope */ undefined, () => {
+        /* proxyScope */ undefined, 
+        /* chainedModuleLevelScopeLookup */ undefined, () => {
             AnalyzerNodeInfo.setScope(node, this._currentScope);
             const enclosingClass = ParseTreeUtils.getEnclosingClass(node);
             if (enclosingClass) {
@@ -390,7 +406,9 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
                 this.walk(param.d.defaultValue);
             }
         });
-        this._createNewScope(2 /* ScopeType.Function */, this._getNonClassParentScope(), /* proxyScope */ undefined, () => {
+        this._createNewScope(2 /* ScopeType.Function */, this._getNonClassParentScope(), 
+        /* proxyScope */ undefined, 
+        /* chainedModuleLevelScopeLookup */ undefined, () => {
             AnalyzerNodeInfo.setScope(node, this._currentScope);
             this._deferBinding(() => {
                 // Create a start node for the lambda.
@@ -627,7 +645,11 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         // If we didn't create assignment target flow nodes above, do so now.
         this._createAssignmentTargetFlowNodes(node.d.leftExpr, /* walkTargets */ true, /* unbound */ false);
         // Is this an assignment to dunder all?
-        if (this._currentScope.type === 4 /* ScopeType.Module */) {
+        // Process __all__ for both Module and Builtin scope types. The Builtin scope type
+        // is used when binding without a builtins scope (e.g., in indexing scenarios where
+        // typeshed may not be available). We still want to extract __all__ information
+        // to properly filter wildcard imports.
+        if (this._currentScope.type === 4 /* ScopeType.Module */ || this._currentScope.type === 5 /* ScopeType.Builtin */) {
             if ((node.d.leftExpr.nodeType === 38 /* ParseNodeType.Name */ && node.d.leftExpr.d.value === '__all__') ||
                 (node.d.leftExpr.nodeType === 54 /* ParseNodeType.TypeAnnotation */ &&
                     node.d.leftExpr.d.valueExpr.nodeType === 38 /* ParseNodeType.Name */ &&
@@ -843,12 +865,19 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         const preForLabel = this._createLoopLabel();
         const preElseLabel = this._createBranchLabel();
         const postForLabel = this._createBranchLabel();
+        // Determine if this loop is guaranteed to execute at least once
+        const isGuaranteedToExecute = this._isNonEmptyListOrTupleLiteral(node.d.iterableExpr);
         this._addAntecedent(preForLabel, this._currentFlowNode);
         this._currentFlowNode = preForLabel;
-        this._addAntecedent(preElseLabel, this._currentFlowNode);
+        // Only add zero-iteration path for potentially-empty iterables
+        if (!isGuaranteedToExecute) {
+            this._addAntecedent(preElseLabel, this._currentFlowNode);
+        }
         const targetExpressions = this._trackCodeFlowExpressions(() => {
             this._createAssignmentTargetFlowNodes(node.d.targetExpr, /* walkTargets */ true, /* unbound */ false);
         });
+        // Record antecedent count before the loop body to detect continue back-edges.
+        const preBodyAntecedentCount = preForLabel.antecedents.length;
         this._bindLoopStatement(preForLabel, postForLabel, () => {
             this.walk(node.d.forSuite);
             this._addAntecedent(preForLabel, this._currentFlowNode);
@@ -857,6 +886,39 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
                 this._currentScopeCodeFlowExpressions?.add(value);
             });
         });
+        // For guaranteed loops, add post-body exit path to preElseLabel.
+        // When _currentFlowNode is reachable (normal completion or conditional break),
+        // use it directly — it carries the post-body type state.
+        // When _currentFlowNode is unreachable (all paths end with break/continue/return/raise),
+        // we must distinguish the cause:
+        //   - All break: preElseLabel gets nothing. Python's else doesn't run after break,
+        //     and break already sent the assigned-state to postForLabel.
+        //   - All continue: preForLabel accumulated continue back-edges. Use it as an
+        //     approximation for the loop-completion state feeding into else.
+        //   - All return/raise: preElseLabel gets nothing. Post-loop is unreachable.
+        //   - Mix with continue: if any continues occurred, use preForLabel for else path.
+        if (isGuaranteedToExecute) {
+            if (this._currentFlowNode.flags &
+                (codeFlowTypes_1.FlowFlags.UnreachableStructural | codeFlowTypes_1.FlowFlags.UnreachableStaticCondition)) {
+                // Check if any continue statements added back-edges to preForLabel.
+                const hasContinueBackEdges = preForLabel.antecedents.length > preBodyAntecedentCount;
+                if (hasContinueBackEdges) {
+                    // Some paths continued — use preForLabel (with accumulated continue state)
+                    // as the else-clause antecedent.
+                    const savedFlowNode = this._currentFlowNode;
+                    this._currentFlowNode = preForLabel;
+                    this._addAntecedent(preElseLabel, preForLabel);
+                    this._currentFlowNode = savedFlowNode;
+                }
+                // Otherwise (all break / all return / all raise): preElseLabel gets no
+                // antecedent. For break, the flow already reached postForLabel directly.
+                // For return/raise, post-loop code is unreachable.
+            }
+            else {
+                // Normal completion or conditional break — use current flow node.
+                this._addAntecedent(preElseLabel, this._currentFlowNode);
+            }
+        }
         this._currentFlowNode = this._finishFlowLabel(preElseLabel);
         if (node.d.elseSuite) {
             this.walk(node.d.elseSuite);
@@ -1377,19 +1439,24 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
                             // Is the symbol in the target module's symbol table? If so,
                             // alias it.
                             if (importedSymbol) {
-                                const aliasDecl = {
-                                    type: 8 /* DeclarationType.Alias */,
-                                    node,
-                                    uri: resolvedPath,
-                                    loadSymbolsFromPath: true,
-                                    range: (0, textRange_1.getEmptyRange)(), // Range is unknown for wildcard name import.
-                                    usesLocalName: false,
-                                    symbolName: name,
-                                    moduleName: this._fileInfo.moduleName,
-                                    isInExceptSuite: this._isInExceptSuite,
-                                };
-                                localSymbol.addDeclaration(aliasDecl);
-                                names.push(name);
+                                if (this._addWildcardImportedModuleAlias(node, localSymbol, importedSymbol)) {
+                                    names.push(name);
+                                }
+                                else {
+                                    const aliasDecl = {
+                                        type: 8 /* DeclarationType.Alias */,
+                                        node,
+                                        uri: resolvedPath,
+                                        loadSymbolsFromPath: true,
+                                        range: (0, textRange_1.getEmptyRange)(), // Range is unknown for wildcard name import.
+                                        usesLocalName: false,
+                                        symbolName: name,
+                                        moduleName: this._fileInfo.moduleName,
+                                        isInExceptSuite: this._isInExceptSuite,
+                                    };
+                                    localSymbol.addDeclaration(aliasDecl);
+                                    names.push(name);
+                                }
                             }
                             else {
                                 // The symbol wasn't in the target module's symbol table. It's probably
@@ -1675,7 +1742,8 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
             this.walk(node.d.forIfNodes[0].d.iterableExpr);
         }
         this._createNewScope(1 /* ScopeType.Comprehension */, this._getNonClassParentScope(), 
-        /* proxyScope */ undefined, () => {
+        /* proxyScope */ undefined, 
+        /* chainedModuleLevelScopeLookup */ undefined, () => {
             AnalyzerNodeInfo.setScope(node, this._currentScope);
             const falseLabel = this._createBranchLabel();
             // We'll walk the forIfNodes list twice. The first time we'll
@@ -1845,6 +1913,19 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         }
         return true;
     }
+    // Helper method to determine if an expression is a non-empty list or tuple literal.
+    // This is a syntactic check, not a semantic one, so it's very fast.
+    // Guards against starred expressions ([*empty_list]) and comprehensions ([v for v in []]).
+    _isNonEmptyListOrTupleLiteral(expr) {
+        if (expr.nodeType === 34 /* ParseNodeType.List */) {
+            return (expr.d.items.length > 0 &&
+                expr.d.items.every((item) => item.nodeType !== 56 /* ParseNodeType.Unpack */ && item.nodeType !== 11 /* ParseNodeType.Comprehension */));
+        }
+        if (expr.nodeType === 52 /* ParseNodeType.Tuple */) {
+            return expr.d.items.length > 0 && expr.d.items.every((item) => item.nodeType !== 56 /* ParseNodeType.Unpack */);
+        }
+        return false;
+    }
     _addTypingImportAliasesFromBuiltinsScope() {
         if (!this._fileInfo.builtinsScope) {
             return;
@@ -2740,17 +2821,14 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
                                 this._potentialPrivateSymbols.set(name, symbol);
                             }
                         }
-                        else if (this._fileInfo.isStubFile || this._fileInfo.isInPyTypedPackage) {
-                            if (this._currentScope.type === 5 /* ScopeType.Builtin */) {
-                                // Don't include private-named symbols in the builtin scope.
-                                symbol.setIsExternallyHidden();
-                            }
-                            else {
-                                this._potentialPrivateSymbols.set(name, symbol);
-                            }
+                        else if (this._currentScope.type === 5 /* ScopeType.Builtin */) {
+                            // Don't include private-named symbols in the builtin scope.
+                            symbol.setIsExternallyHidden();
                         }
                         else {
-                            symbol.setIsPrivateMember();
+                            // Defer the private/protected decision until __all__ is processed
+                            // so an explicit __all__ entry can promote the symbol to public.
+                            this._potentialPrivateSymbols.set(name, symbol);
                         }
                     }
                 }
@@ -2826,9 +2904,9 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         }
         return symbol;
     }
-    _createNewScope(scopeType, parentScope, proxyScope, callback) {
+    _createNewScope(scopeType, parentScope, proxyScope, chainedModuleLevelScopeLookup, callback) {
         const prevScope = this._currentScope;
-        const newScope = new scope_1.Scope(scopeType, parentScope, proxyScope);
+        const newScope = new scope_1.Scope(scopeType, parentScope, proxyScope, chainedModuleLevelScopeLookup);
         this._currentScope = newScope;
         // If this scope is an execution scope, allocate a new reference map.
         const isExecutionScope = scopeType === 5 /* ScopeType.Builtin */ || scopeType === 4 /* ScopeType.Module */ || scopeType === 2 /* ScopeType.Function */;
@@ -2841,6 +2919,51 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         this._currentScope = prevScope;
         return newScope;
     }
+    // The chained module-level lookup is installed only on Module scope. This ensures it is
+    // consulted exactly once during recursive lookup — after the module's own symbol table
+    // but before ascending to builtins — when `useChainedModuleLevelScopes` is set by a nested
+    // evaluation context (function body, lambda, class header, or comprehension inside a
+    // function). Non-module scopes pass `undefined` so they never trigger a redundant search.
+    _createCellChainModuleLevelLookup() {
+        if (!this._cellChainIndex) {
+            return undefined;
+        }
+        const cellChainIndex = this._cellChainIndex;
+        const fileUri = this._fileInfo.fileUri;
+        // The callback preserves the caller's beyond-execution-scope
+        // state so that hits from later cells are correctly marked.
+        return (name, context) => {
+            for (const moduleNode of cellChainIndex.getLaterModuleNodes(fileUri) ?? []) {
+                const moduleScope = AnalyzerNodeInfo.getScope(moduleNode);
+                if (!moduleScope) {
+                    continue;
+                }
+                const symbol = moduleScope.lookUpSymbol(name);
+                if (!symbol) {
+                    continue;
+                }
+                if (context?.isOutsideCallerModule && symbol.isExternallyHidden()) {
+                    continue;
+                }
+                // Skip symbols whose only declarations are attribute assignments
+                // (e.g. `self.x = ...`); these are instance-level, not module globals.
+                const decls = symbol.getDeclarations();
+                if (decls.length > 0 &&
+                    !decls.some((decl) => decl.type !== 1 /* DeclarationType.Variable */ || !decl.isDefinedByMemberAccess)) {
+                    continue;
+                }
+                return {
+                    symbol,
+                    scope: moduleScope,
+                    isOutsideCallerModule: !!context?.isOutsideCallerModule,
+                    isBeyondExecutionScope: !!context?.isBeyondExecutionScope,
+                    usesNonlocalBinding: !!context?.usesNonlocalBinding,
+                    usesGlobalBinding: !!context?.usesGlobalBinding,
+                };
+            }
+            return undefined;
+        };
+    }
     _addInferredTypeAssignmentForVariable(target, source, isPossibleTypeAlias = false) {
         switch (target.nodeType) {
             case 38 /* ParseNodeType.Name */: {
@@ -3277,6 +3400,100 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
             }
         });
     }
+    _addWildcardImportedModuleAlias(node, localSymbol, importedSymbol) {
+        const importedModuleAliasDecl = this._getMultipartModuleAliasDeclaration(importedSymbol);
+        if (!importedModuleAliasDecl) {
+            return false;
+        }
+        const existingModuleAliasDecl = this._getMultipartModuleAliasDeclaration(localSymbol, importedModuleAliasDecl.moduleName, importedModuleAliasDecl.firstNamePart);
+        if (existingModuleAliasDecl) {
+            this._mergeModuleLoaderActions(existingModuleAliasDecl, importedModuleAliasDecl);
+        }
+        else {
+            localSymbol.addDeclaration(this._cloneMultipartModuleAliasDeclaration(node, importedModuleAliasDecl));
+        }
+        return true;
+    }
+    // Finds the latest alias declaration that represents the root of a multipart import
+    // chain, regardless of whether it originated from a direct import or wildcard merge.
+    _getMultipartModuleAliasDeclaration(symbol, moduleName, firstNamePart) {
+        const declarations = symbol.getDeclarations();
+        for (let index = declarations.length - 1; index >= 0; index--) {
+            const declaration = declarations[index];
+            if (declaration.type !== 8 /* DeclarationType.Alias */ || declaration.symbolName || !declaration.firstNamePart) {
+                continue;
+            }
+            if (moduleName !== undefined && declaration.moduleName !== moduleName) {
+                continue;
+            }
+            if (firstNamePart !== undefined && declaration.firstNamePart !== firstNamePart) {
+                continue;
+            }
+            return declaration;
+        }
+        return undefined;
+    }
+    _cloneMultipartModuleAliasDeclaration(node, declaration) {
+        const clonedLoaderActions = this._cloneModuleLoaderActions(declaration);
+        const clonedDeclaration = {
+            type: 8 /* DeclarationType.Alias */,
+            node,
+            uri: clonedLoaderActions.uri,
+            loadSymbolsFromPath: clonedLoaderActions.loadSymbolsFromPath,
+            range: (0, textRange_1.getEmptyRange)(),
+            usesLocalName: false,
+            moduleName: declaration.moduleName,
+            firstNamePart: declaration.firstNamePart,
+            isInExceptSuite: this._isInExceptSuite,
+            implicitImports: clonedLoaderActions.implicitImports,
+        };
+        if (clonedLoaderActions.isUnresolved) {
+            clonedDeclaration.isUnresolved = true;
+        }
+        if (declaration.isNativeLib) {
+            clonedDeclaration.isNativeLib = true;
+        }
+        return clonedDeclaration;
+    }
+    _cloneModuleLoaderActions(loaderActions) {
+        const clonedLoaderActions = {
+            uri: loaderActions.uri,
+            loadSymbolsFromPath: loaderActions.loadSymbolsFromPath,
+        };
+        if (loaderActions.isUnresolved) {
+            clonedLoaderActions.isUnresolved = true;
+        }
+        if (loaderActions.implicitImports) {
+            clonedLoaderActions.implicitImports = new Map();
+            loaderActions.implicitImports.forEach((implicitImport, name) => {
+                clonedLoaderActions.implicitImports.set(name, this._cloneModuleLoaderActions(implicitImport));
+            });
+        }
+        return clonedLoaderActions;
+    }
+    _mergeModuleLoaderActions(target, source) {
+        if (!source.uri.isEmpty() && (target.uri.isEmpty() || !target.loadSymbolsFromPath)) {
+            target.uri = source.uri;
+        }
+        if (source.loadSymbolsFromPath) {
+            target.loadSymbolsFromPath = true;
+        }
+        if (!source.isUnresolved) {
+            delete target.isUnresolved;
+        }
+        source.implicitImports?.forEach((implicitImport, name) => {
+            let targetImplicitImport = target.implicitImports?.get(name);
+            if (!targetImplicitImport) {
+                if (!target.implicitImports) {
+                    target.implicitImports = new Map();
+                }
+                targetImplicitImport = this._cloneModuleLoaderActions(implicitImport);
+                target.implicitImports.set(name, targetImplicitImport);
+                return;
+            }
+            this._mergeModuleLoaderActions(targetImplicitImport, implicitImport);
+        });
+    }
     // Handles some special-case assignment statements that are found
     // within the typings.pyi file.
     _handleTypingStubAssignmentOrAnnotation(node) {