arkanalyzer 1.0.91 → 1.0.93

package/lib/core/model/builder/ArkClassBuilder.js

@@ -189,6 +189,7 @@ function buildStruct2ArkClass(clsNode, cls, sourceFile, declaringMethod) {
     initHeritage((0, builderUtils_1.buildHeritageClauses)(clsNode.heritageClauses), cls);
     cls.setModifiers((0, builderUtils_1.buildModifiers)(clsNode));
     cls.setDecorators((0, builderUtils_1.buildDecorators)(clsNode, sourceFile));
+    registerCustomComponentIfNeeded(cls);
     cls.setCategory(ArkClass_1.ClassCategory.STRUCT);
     init4InstanceInitMethod(cls);
     init4StaticInitMethod(cls);
@@ -207,6 +208,7 @@ function buildClass2ArkClass(clsNode, cls, sourceFile, declaringMethod) {
     initHeritage((0, builderUtils_1.buildHeritageClauses)(clsNode.heritageClauses), cls);
     cls.setModifiers((0, builderUtils_1.buildModifiers)(clsNode));
     cls.setDecorators((0, builderUtils_1.buildDecorators)(clsNode, sourceFile));
+    registerCustomComponentIfNeeded(cls);
     cls.setCategory(ArkClass_1.ClassCategory.CLASS);
     init4InstanceInitMethod(cls);
     init4StaticInitMethod(cls);
@@ -225,6 +227,10 @@ function initHeritage(heritageClauses, cls) {
         cls.addHeritageClassName(key);
     }
 }
+/** Register @Component into Scene.customComponentMap while the class is being built. */
+function registerCustomComponentIfNeeded(cls) {
+    cls.getDeclaringArkFile().getScene().registerCustomComponent(cls);
+}
 function buildInterface2ArkClass(clsNode, cls, sourceFile, declaringMethod) {
     var _a;
     const className = genClassName(clsNode.name ? (0, StringUtils_1.cloneText)(clsNode.name.text) : '', cls, declaringMethod);
@@ -285,7 +291,7 @@ function buildObjectLiteralExpression2ArkClass(clsNode, cls, sourceFile, declari
             (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(property, cls, arkMethod, sourceFile);
         }
     });
-    (0, ArkMethodBuilder_1.buildInitMethod)(cls.getInstanceInitMethod(), instanceFieldInitializerStmts, instanceIRTransformer.getThisLocal());
+    (0, ArkMethodBuilder_1.buildInitMethod)(cls.getInstanceInitMethod(), instanceFieldInitializerStmts, instanceIRTransformer.getThisLocal(), instanceIRTransformer.getGlobals());
     arkMethods.forEach(mtd => {
         (0, ArkMethodBuilder_1.checkAndUpdateMethod)(mtd, cls);
         cls.addMethod(mtd);
@@ -367,11 +373,11 @@ function buildArkClassMembers(clsNode, cls, sourceFile) {
         }
     });
     if (ohos_typescript_1.default.isClassDeclaration(clsNode) || ohos_typescript_1.default.isClassExpression(clsNode) || ohos_typescript_1.default.isStructDeclaration(clsNode)) {
-        (0, ArkMethodBuilder_1.buildInitMethod)(cls.getInstanceInitMethod(), instanceInitStmts, instanceIRTransformer.getThisLocal());
-        (0, ArkMethodBuilder_1.buildInitMethod)(cls.getStaticInitMethod(), staticInitStmts, staticIRTransformer.getThisLocal());
+        (0, ArkMethodBuilder_1.buildInitMethod)(cls.getInstanceInitMethod(), instanceInitStmts, instanceIRTransformer.getThisLocal(), instanceIRTransformer.getGlobals());
+        (0, ArkMethodBuilder_1.buildInitMethod)(cls.getStaticInitMethod(), staticInitStmts, staticIRTransformer.getThisLocal(), staticIRTransformer.getGlobals());
     }
     if (ohos_typescript_1.default.isEnumDeclaration(clsNode)) {
-        (0, ArkMethodBuilder_1.buildInitMethod)(cls.getStaticInitMethod(), staticInitStmts, staticIRTransformer.getThisLocal());
+        (0, ArkMethodBuilder_1.buildInitMethod)(cls.getStaticInitMethod(), staticInitStmts, staticIRTransformer.getThisLocal(), staticIRTransformer.getGlobals());
     }
 }
 function isClassMethod(member) {

package/lib/core/model/builder/ArkMethodBuilder.d.ts

@@ -2,6 +2,7 @@ import { Type } from '../../base/Type';
 import { ArkClass } from '../ArkClass';
 import { ArkMethod } from '../ArkMethod';
 import ts from 'ohos-typescript';
+import { GlobalRef } from '../../base/Ref';
 import { Stmt } from '../../base/Stmt';
 import { Local } from '../../base/Local';
 import { Value } from '../../base/Value';
@@ -59,7 +60,7 @@ export declare class MethodParameter implements Value {
 }
 export declare function needDefaultConstructorInClass(arkClass: ArkClass): boolean;
 export declare function buildDefaultConstructor(arkClass: ArkClass, visited?: Set<ArkClass>): boolean;
-export declare function buildInitMethod(initMethod: ArkMethod, fieldInitializerStmts: Stmt[], thisLocal: Local): void;
+export declare function buildInitMethod(initMethod: ArkMethod, fieldInitializerStmts: Stmt[], thisLocal: Local, globals?: Map<string, GlobalRef> | null): void;
 export declare function addInitInConstructor(constructor: ArkMethod): void;
 export declare function isMethodImplementation(node: MethodLikeNode): boolean;
 export declare function checkAndUpdateMethod(method: ArkMethod, cls: ArkClass): void;

package/lib/core/model/builder/ArkMethodBuilder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ArkMethodBuilder.d.ts","sourceRoot":"","sources":["../../../../src/core/model/builder/ArkMethodBuilder.ts"],"names":[],"mappings":"AAeA,OAAO,EAAa,IAAI,EAAe,MAAM,iBAAiB,CAAC;AAG/D,OAAO,EAAE,QAAQ,EAAiB,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAiBjC,OAAO,EAAkE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAEvG,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAmBzC,MAAM,MAAM,cAAc,GACpB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,iBAAiB,GACpB,EAAE,CAAC,sBAAsB,GACzB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,kBAAkB,GACrB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,6BAA6B,GAChC,EAAE,CAAC,wBAAwB,GAC3B,EAAE,CAAC,gBAAgB,CAAC;AAE1B,wBAAgB,iCAAiC,CAAC,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,iBAAiB,GAAG,IAAI,CAYxJ;AAED,wBAAgB,0BAA0B,CACtC,UAAU,EAAE,cAAc,EAC1B,cAAc,EAAE,QAAQ,EACxB,GAAG,EAAE,SAAS,EACd,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,eAAe,CAAC,EAAE,SAAS,GAC5B,IAAI,CAqDN;AAiDD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,GAAG,MAAM,CAK7F;AAED,qBAAa,6BAA6B;IACtC,OAAO,CAAC,YAAY,CAAc;IAClC,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,QAAQ,CAAkB;;IAI3B,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,eAAe,IAAI,MAAM;IAIzB,eAAe,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI;IAI3C,UAAU,IAAI,OAAO;IAIrB,WAAW,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;CAG9C;AAED,qBAAa,4BAA4B;IACrC,OAAO,CAAC,YAAY,CAAc;IAClC,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,QAAQ,CAAkB;;IAI3B,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,eAAe,IAAI,MAAM;IAIzB,eAAe,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI;IAI3C,UAAU,IAAI,OAAO;IAIrB,WAAW,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;CAG9C;AAED,qBAAa,eAAgB,YAAW,KAAK;IACzC,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,IAAI,CAAQ;IACpB,OAAO,CAAC,QAAQ,CAAkB;IAClC,OAAO,CAAC,QAAQ,CAAkB;IAClC,OAAO,CAAC,WAAW,CAAmC;IACtD,OAAO,CAAC,aAAa,CAAkC;;IAIhD,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,OAAO,IAAI,IAAI;IAIf,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIzB,UAAU,IAAI,OAAO;IAIrB,WAAW,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;IAIpC,MAAM,IAAI,OAAO;IAIjB,WAAW,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;IAIpC,aAAa,CAAC,OAAO,EAAE,6BAA6B,GAAG,IAAI;IAI3D,cAAc,IAAI,6BAA6B,EAAE;IAIjD,cAAc,CAAC,WAAW,EAAE,6BAA6B,EAAE,GAAG,IAAI;IAIlE,eAAe,CAAC,OAAO,EAAE,4BAA4B,GAAG,IAAI;IAI5D,gBAAgB,IAAI,4BAA4B,EAAE;IAIlD,gBAAgB,CAAC,aAAa,EAAE,4BAA4B,EAAE,GAAG,IAAI;IAIrE,OAAO,IAAI,KAAK,EAAE;CAG5B;AAED,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CASzE;AAmBD,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,GAAE,GAAG,CAAC,QAAQ,CAAa,GAAG,OAAO,CAwDvG;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,SAAS,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,GAAG,IAAI,CAuB5G;AAED,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,CA+BjE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAepE;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,GAAG,IAAI,CAW3E;AAED,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,GAAG,IAAI,CAmCnG;AAED,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,CA8CrE"}
+{"version":3,"file":"ArkMethodBuilder.d.ts","sourceRoot":"","sources":["../../../../src/core/model/builder/ArkMethodBuilder.ts"],"names":[],"mappings":"AAeA,OAAO,EAAa,IAAI,EAAe,MAAM,iBAAiB,CAAC;AAG/D,OAAO,EAAE,QAAQ,EAAiB,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAYjC,OAAO,EAAgD,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAKzF,OAAO,EAAkE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAEvG,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAmBzC,MAAM,MAAM,cAAc,GACpB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,iBAAiB,GACpB,EAAE,CAAC,sBAAsB,GACzB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,kBAAkB,GACrB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,6BAA6B,GAChC,EAAE,CAAC,wBAAwB,GAC3B,EAAE,CAAC,gBAAgB,CAAC;AAE1B,wBAAgB,iCAAiC,CAAC,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,iBAAiB,GAAG,IAAI,CAYxJ;AAED,wBAAgB,0BAA0B,CACtC,UAAU,EAAE,cAAc,EAC1B,cAAc,EAAE,QAAQ,EACxB,GAAG,EAAE,SAAS,EACd,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,eAAe,CAAC,EAAE,SAAS,GAC5B,IAAI,CAqDN;AAiDD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,GAAG,MAAM,CAK7F;AAED,qBAAa,6BAA6B;IACtC,OAAO,CAAC,YAAY,CAAc;IAClC,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,QAAQ,CAAkB;;IAI3B,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,eAAe,IAAI,MAAM;IAIzB,eAAe,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI;IAI3C,UAAU,IAAI,OAAO;IAIrB,WAAW,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;CAG9C;AAED,qBAAa,4BAA4B;IACrC,OAAO,CAAC,YAAY,CAAc;IAClC,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,QAAQ,CAAkB;;IAI3B,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,eAAe,IAAI,MAAM;IAIzB,eAAe,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI;IAI3C,UAAU,IAAI,OAAO;IAIrB,WAAW,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;CAG9C;AAED,qBAAa,eAAgB,YAAW,KAAK;IACzC,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,IAAI,CAAQ;IACpB,OAAO,CAAC,QAAQ,CAAkB;IAClC,OAAO,CAAC,QAAQ,CAAkB;IAClC,OAAO,CAAC,WAAW,CAAmC;IACtD,OAAO,CAAC,aAAa,CAAkC;;IAIhD,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,OAAO,IAAI,IAAI;IAIf,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIzB,UAAU,IAAI,OAAO;IAIrB,WAAW,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;IAIpC,MAAM,IAAI,OAAO;IAIjB,WAAW,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;IAIpC,aAAa,CAAC,OAAO,EAAE,6BAA6B,GAAG,IAAI;IAI3D,cAAc,IAAI,6BAA6B,EAAE;IAIjD,cAAc,CAAC,WAAW,EAAE,6BAA6B,EAAE,GAAG,IAAI;IAIlE,eAAe,CAAC,OAAO,EAAE,4BAA4B,GAAG,IAAI;IAI5D,gBAAgB,IAAI,4BAA4B,EAAE;IAIlD,gBAAgB,CAAC,aAAa,EAAE,4BAA4B,EAAE,GAAG,IAAI;IAIrE,OAAO,IAAI,KAAK,EAAE;CAG5B;AAED,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CASzE;AAmBD,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,GAAE,GAAG,CAAC,QAAQ,CAAa,GAAG,OAAO,CAwDvG;AAED,wBAAgB,eAAe,CAC3B,UAAU,EAAE,SAAS,EACrB,qBAAqB,EAAE,IAAI,EAAE,EAC7B,SAAS,EAAE,KAAK,EAChB,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,GACxC,IAAI,CA0BN;AAED,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,CA+BjE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAepE;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,GAAG,IAAI,CAW3E;AAED,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,GAAG,IAAI,CAmCnG;AAED,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,CA8CrE"}

package/lib/core/model/builder/ArkMethodBuilder.js

@@ -367,7 +367,8 @@ function buildDefaultConstructor(arkClass, visited = new Set()) {
     return true;
 }
 exports.buildDefaultConstructor = buildDefaultConstructor;
-function buildInitMethod(initMethod, fieldInitializerStmts, thisLocal) {
+function buildInitMethod(initMethod, fieldInitializerStmts, thisLocal, globals) {
+    var _a;
     const classType = new Type_1.ClassType(initMethod.getDeclaringArkClass().getSignature());
     const assignStmt = new Stmt_1.ArkAssignStmt(thisLocal, new Ref_1.ArkThisRef(classType));
     const block = new BasicBlock_1.BasicBlock();
@@ -390,6 +391,9 @@ function buildInitMethod(initMethod, fieldInitializerStmts, thisLocal) {
     cfg.buildDefUseStmt(locals);
     cfg.setDeclaringMethod(initMethod);
     initMethod.setBody(new ArkBody_1.ArkBody(locals, cfg));
+    if (globals && globals.size > 0) {
+        (_a = initMethod.getBody()) === null || _a === void 0 ? void 0 : _a.setUsedGlobals(globals);
+    }
 }
 exports.buildInitMethod = buildInitMethod;
 function addInitInConstructor(constructor) {

package/lib/frontend/FrontendBuilder.d.ts

@@ -43,9 +43,9 @@ export declare class FrontendBuilder {
      * registering each with the module and scene.
      *
      * Each shell has language, filePath, projectDir, and fileSignature set, but no ImportInfo /
-     * ExportInfo / ArkClass / ArkMethod. This is the META-level baseline; callers subsequently
-     * build content via {@link buildArkFileToLevel} (IMPORTS) or {@link upgradeArkFileToLevel}
-     * (SIGNATURES / BODIES).
+     * ExportInfo / ArkClass / ArkMethod. Callers subsequently build content via
+     * {@link buildImports} then {@link upgradeArkFileToLevel} (SIGNATURES / BODIES), or
+     * {@link buildArkFileToLevel} for a one-shot path.
      *
      * @param scene - The owning {@link Scene}.
      * @param module - The module whose directory is scanned.
@@ -55,8 +55,6 @@ export declare class FrontendBuilder {
     /**
      * Dispatch level-aware building to the appropriate frontend.
      *
-     * - META: no content is built (only the ArkFile path/basic info created by the caller).
-     * - IMPORTS: lightweight import/export parsing only.
      * - SIGNATURES: full namespace/class/method signatures are built (parameters, return types)
      *   without method bodies, reusing {@link buildProjectFileIntoArkFile}. The mounted
      *   BodyBuilders are released here so the ArkFile holds signatures only (no ArkBody/CFG).
@@ -65,12 +63,12 @@ export declare class FrontendBuilder {
      */
     private static buildArkFileToLevel;
     /**
-     * IMPORTS level: lightweight import/export parsing only.
+     * Lightweight import/export parsing only (used as a step inside {@link ModuleBuilder.buildModuleToLevel}).
      */
     static buildImports(arkFile: ArkFile, language: Language): void;
     /**
-     * Upgrade an existing ArkFile (whose ImportInfo/ExportInfo were already populated at IMPORTS
-     * level) to SIGNATURES or BODIES by building class/method/namespace signatures on top.
+     * Upgrade an existing ArkFile (whose ImportInfo/ExportInfo were already populated) to
+     * SIGNATURES or BODIES by building class/method/namespace signatures on top.
      *
      * For ArkTS files, this calls {@link ArktsFrontend.buildProjectFileForSignatures} which builds
      * signatures with `skipImportExport = true`, preserving existing import/export data and
@@ -79,7 +77,7 @@ export declare class FrontendBuilder {
      *
      * For C++ files, {@link CppFrontend.buildProjectFile} is safe to re-call: C++ ImportInfo uses
      * stable clause keys (`#include "..."` / namespace names) that are overwritten by `Map.set`,
-     * and C++ ExportInfo is not produced during the IMPORTS-only phase, so no duplication occurs.
+     * and C++ ExportInfo is not produced during the import-only phase, so no duplication occurs.
      *
      * After signature building, BodyBuilders are released when the target level is SIGNATURES
      * (no ArkBody/CFG retained). For BODIES, BodyBuilders are retained so that
@@ -88,7 +86,7 @@ export declare class FrontendBuilder {
      * @param scene - The owning {@link Scene}.
      * @param arkFile - The ArkFile to upgrade (must already have ImportInfo/ExportInfo).
      * @param language - The language of the file.
-     * @param targetLevel - The target depth level (must be > IMPORTS).
+     * @param targetLevel - The target depth level (SIGNATURES or BODIES).
      */
     static upgradeArkFileToLevel(scene: Scene, arkFile: ArkFile, language: Language, targetLevel: ModuleDepthLevel): void;
     /**

package/lib/frontend/FrontendBuilder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FrontendBuilder.d.ts","sourceRoot":"","sources":["../../src/frontend/FrontendBuilder.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,KAAK,EAAmB,MAAM,UAAU,CAAC;AAG/D,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAOpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAQxD,MAAM,WAAW,oBAAoB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,mBAAmB;IAChC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,WAAW,EAAE,oBAAoB,EAAE,CAAC;CACvC;AAED;;;;GAIG;AACH,qBAAa,eAAe;IACxB,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAajC,OAAO,CAAC,MAAM,CAAC,sBAAsB;WAOvB,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI;WAW/D,4BAA4B,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI;IAe/F;;OAEG;WACW,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI;IAQjG;;;;;;;;;;;OAWG;WACW,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,gBAAgB,GAAG,IAAI;IAWrG;;;;;;;;;;;;OAYG;WACW,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,EAAE;IA+BhF;;;;;;;;;;OAUG;IACH,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAkBlC;;OAEG;WACW,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAQtE;;;;;;;;;;;;;;;;;;;;;OAqBG;WACW,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,GAAG,IAAI;IAW5H;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,qBAAqB;IASpC;;;;OAIG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAMrC;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;WACW,qBAAqB,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI;IA8B5D;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,0BAA0B;CAc5C"}
+{"version":3,"file":"FrontendBuilder.d.ts","sourceRoot":"","sources":["../../src/frontend/FrontendBuilder.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,KAAK,EAAmB,MAAM,UAAU,CAAC;AAG/D,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAOpD,OAAO,EAAE,gBAAgB,EAAyB,MAAM,sBAAsB,CAAC;AAQ/E,MAAM,WAAW,oBAAoB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,mBAAmB;IAChC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,WAAW,EAAE,oBAAoB,EAAE,CAAC;CACvC;AAED;;;;GAIG;AACH,qBAAa,eAAe;IACxB,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAajC,OAAO,CAAC,MAAM,CAAC,sBAAsB;WAOvB,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI;WAW/D,4BAA4B,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI;IAe/F;;OAEG;WACW,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI;IAQjG;;;;;;;;;;;OAWG;WACW,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,gBAAgB,GAAG,IAAI;IAYrG;;;;;;;;;;;;OAYG;WACW,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,EAAE;IA+BhF;;;;;;;;OAQG;IACH,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAWlC;;OAEG;WACW,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAQtE;;;;;;;;;;;;;;;;;;;;;OAqBG;WACW,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,GAAG,IAAI;IAW5H;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,qBAAqB;IASpC;;;;OAIG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAMrC;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;WACW,qBAAqB,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI;IA8B5D;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,0BAA0B;CAc5C"}

package/lib/frontend/FrontendBuilder.js

@@ -131,6 +131,7 @@ class FrontendBuilder {
      * @param level - The target depth level.
      */
     static buildModuleFilesToLevel(scene, module, level) {
+        (0, ModuleDepth_1.assertDirectLoadLevel)(level);
         const arkFiles = FrontendBuilder.createModuleFileShells(scene, module);
         for (const arkFile of arkFiles) {
             try {
@@ -146,9 +147,9 @@ class FrontendBuilder {
      * registering each with the module and scene.
      *
      * Each shell has language, filePath, projectDir, and fileSignature set, but no ImportInfo /
-     * ExportInfo / ArkClass / ArkMethod. This is the META-level baseline; callers subsequently
-     * build content via {@link buildArkFileToLevel} (IMPORTS) or {@link upgradeArkFileToLevel}
-     * (SIGNATURES / BODIES).
+     * ExportInfo / ArkClass / ArkMethod. Callers subsequently build content via
+     * {@link buildImports} then {@link upgradeArkFileToLevel} (SIGNATURES / BODIES), or
+     * {@link buildArkFileToLevel} for a one-shot path.
      *
      * @param scene - The owning {@link Scene}.
      * @param module - The module whose directory is scanned.
@@ -188,8 +189,6 @@ class FrontendBuilder {
     /**
      * Dispatch level-aware building to the appropriate frontend.
      *
-     * - META: no content is built (only the ArkFile path/basic info created by the caller).
-     * - IMPORTS: lightweight import/export parsing only.
      * - SIGNATURES: full namespace/class/method signatures are built (parameters, return types)
      *   without method bodies, reusing {@link buildProjectFileIntoArkFile}. The mounted
      *   BodyBuilders are released here so the ArkFile holds signatures only (no ArkBody/CFG).
@@ -197,13 +196,6 @@ class FrontendBuilder {
      *   so that {@link buildModuleMethodBody} can build method bodies in a subsequent phase.
      */
     static buildArkFileToLevel(scene, filePath, arkFile, language, level) {
-        if (level <= ModuleDepth_1.ModuleDepthLevel.META) {
-            return;
-        }
-        if (level === ModuleDepth_1.ModuleDepthLevel.IMPORTS) {
-            FrontendBuilder.buildImports(arkFile, language);
-            return;
-        }
         // SIGNATURES and BODIES: reuse the full file builder to build signatures and mount
         // BodyBuilders on each method implementation.
         FrontendBuilder.buildProjectFileIntoArkFile(scene, filePath, arkFile);
@@ -214,7 +206,7 @@ class FrontendBuilder {
         // BODIES: keep BodyBuilders mounted for phase 2 (body building in buildModuleMethodBody).
     }
     /**
-     * IMPORTS level: lightweight import/export parsing only.
+     * Lightweight import/export parsing only (used as a step inside {@link ModuleBuilder.buildModuleToLevel}).
      */
     static buildImports(arkFile, language) {
         if (language === ArkFile_1.Language.CXX) {
@@ -225,8 +217,8 @@ class FrontendBuilder {
         }
     }
     /**
-     * Upgrade an existing ArkFile (whose ImportInfo/ExportInfo were already populated at IMPORTS
-     * level) to SIGNATURES or BODIES by building class/method/namespace signatures on top.
+     * Upgrade an existing ArkFile (whose ImportInfo/ExportInfo were already populated) to
+     * SIGNATURES or BODIES by building class/method/namespace signatures on top.
      *
      * For ArkTS files, this calls {@link ArktsFrontend.buildProjectFileForSignatures} which builds
      * signatures with `skipImportExport = true`, preserving existing import/export data and
@@ -235,7 +227,7 @@ class FrontendBuilder {
      *
      * For C++ files, {@link CppFrontend.buildProjectFile} is safe to re-call: C++ ImportInfo uses
      * stable clause keys (`#include "..."` / namespace names) that are overwritten by `Map.set`,
-     * and C++ ExportInfo is not produced during the IMPORTS-only phase, so no duplication occurs.
+     * and C++ ExportInfo is not produced during the import-only phase, so no duplication occurs.
      *
      * After signature building, BodyBuilders are released when the target level is SIGNATURES
      * (no ArkBody/CFG retained). For BODIES, BodyBuilders are retained so that
@@ -244,7 +236,7 @@ class FrontendBuilder {
      * @param scene - The owning {@link Scene}.
      * @param arkFile - The ArkFile to upgrade (must already have ImportInfo/ExportInfo).
      * @param language - The language of the file.
-     * @param targetLevel - The target depth level (must be > IMPORTS).
+     * @param targetLevel - The target depth level (SIGNATURES or BODIES).
      */
     static upgradeArkFileToLevel(scene, arkFile, language, targetLevel) {
         if (language === ArkFile_1.Language.CXX) {

package/lib/frontend/common/ModuleAnalysisConfig.d.ts

@@ -23,11 +23,16 @@ export type ModuleAnalysisCallback = (module: ArkModule, scene: Scene) => void;
  * Bit indices are {@link ModuleID} (for ID include/exclude) or {@link ModuleType} enum values
  * (for type filter).
  *
- * Load levels ({@link ModuleDepthLevel}) control how much data is built for ArkFile objects:
+ * ## Load levels ({@link ModuleDepthLevel})
+ *
  * - {@link loadLevel} applies to target modules (default {@link ModuleDepthLevel.BODIES}).
  * - {@link dependencyLoadLevel} applies to dependency modules — modules in the closure but
  *   not targets (default {@link ModuleDepthLevel.SIGNATURES}).
  *
+ * Only {@link ModuleDepthLevel.SIGNATURES} and {@link ModuleDepthLevel.BODIES} are valid
+ * load targets. {@link ModuleDepthLevel.INDEX} is downgrade-only; setters throw if INDEX
+ * is passed.
+ *
  * @category core/model
  */
 export declare class ModuleAnalysisConfig {
@@ -76,6 +81,7 @@ export declare class ModuleAnalysisConfig {
     getExcludedModuleIds(): SparseBitVector;
     /**
      * Set the {@link ModuleDepthLevel} for target modules.
+     * Only SIGNATURES / BODIES are valid; INDEX throws.
      * Returns this config to allow chaining.
      */
     setLoadLevel(level: ModuleDepthLevel): ModuleAnalysisConfig;
@@ -83,6 +89,7 @@ export declare class ModuleAnalysisConfig {
     getLoadLevel(): ModuleDepthLevel;
     /**
      * Set the {@link ModuleDepthLevel} for dependency modules (in closure but not targets).
+     * Only SIGNATURES / BODIES are valid; INDEX throws.
      * Returns this config to allow chaining.
      */
     setDependencyLoadLevel(level: ModuleDepthLevel): ModuleAnalysisConfig;

package/lib/frontend/common/ModuleAnalysisConfig.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ModuleAnalysisConfig.d.ts","sourceRoot":"","sources":["../../../src/frontend/common/ModuleAnalysisConfig.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;AAE/E;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,qBAAa,oBAAoB;IAC7B,uFAAuF;IACvF,OAAO,CAAC,aAAa,CAA0C;IAC/D,4EAA4E;IAC5E,OAAO,CAAC,eAAe,CAA0C;IACjE,2FAA2F;IAC3F,OAAO,CAAC,iBAAiB,CAA0C;IACnE,qDAAqD;IACrD,OAAO,CAAC,SAAS,CAA6C;IAC9D,0FAA0F;IAC1F,OAAO,CAAC,mBAAmB,CAAiD;;IAM5E;;;OAGG;IACI,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,GAAG,oBAAoB;IAS/E,+EAA+E;IACxE,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO;IAMhD;;;OAGG;IACI,kBAAkB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,oBAAoB;IAMhE;;;OAGG;IACI,iBAAiB,CAAC,EAAE,EAAE,QAAQ,GAAG,oBAAoB;IAK5D,mGAAmG;IAC5F,kBAAkB,IAAI,eAAe;IAM5C;;;OAGG;IACI,oBAAoB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,oBAAoB;IAMlE;;;;OAIG;IACI,eAAe,CAAC,EAAE,EAAE,QAAQ,GAAG,oBAAoB;IAK1D,mGAAmG;IAC5F,oBAAoB,IAAI,eAAe;IAM9C;;;OAGG;IACI,YAAY,CAAC,KAAK,EAAE,gBAAgB,GAAG,oBAAoB;IAKlE,oGAAoG;IAC7F,YAAY,IAAI,gBAAgB;IAIvC;;;OAGG;IACI,sBAAsB,CAAC,KAAK,EAAE,gBAAgB,GAAG,oBAAoB;IAK5E,4GAA4G;IACrG,sBAAsB,IAAI,gBAAgB;CAGpD"}
+{"version":3,"file":"ModuleAnalysisConfig.d.ts","sourceRoot":"","sources":["../../../src/frontend/common/ModuleAnalysisConfig.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAyB,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,qBAAa,oBAAoB;IAC7B,uFAAuF;IACvF,OAAO,CAAC,aAAa,CAA0C;IAC/D,4EAA4E;IAC5E,OAAO,CAAC,eAAe,CAA0C;IACjE,2FAA2F;IAC3F,OAAO,CAAC,iBAAiB,CAA0C;IACnE,qDAAqD;IACrD,OAAO,CAAC,SAAS,CAA6C;IAC9D,0FAA0F;IAC1F,OAAO,CAAC,mBAAmB,CAAiD;;IAM5E;;;OAGG;IACI,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,GAAG,oBAAoB;IAS/E,+EAA+E;IACxE,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO;IAMhD;;;OAGG;IACI,kBAAkB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,oBAAoB;IAMhE;;;OAGG;IACI,iBAAiB,CAAC,EAAE,EAAE,QAAQ,GAAG,oBAAoB;IAK5D,mGAAmG;IAC5F,kBAAkB,IAAI,eAAe;IAM5C;;;OAGG;IACI,oBAAoB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,oBAAoB;IAMlE;;;;OAIG;IACI,eAAe,CAAC,EAAE,EAAE,QAAQ,GAAG,oBAAoB;IAK1D,mGAAmG;IAC5F,oBAAoB,IAAI,eAAe;IAM9C;;;;OAIG;IACI,YAAY,CAAC,KAAK,EAAE,gBAAgB,GAAG,oBAAoB;IAMlE,oGAAoG;IAC7F,YAAY,IAAI,gBAAgB;IAIvC;;;;OAIG;IACI,sBAAsB,CAAC,KAAK,EAAE,gBAAgB,GAAG,oBAAoB;IAM5E,4GAA4G;IACrG,sBAAsB,IAAI,gBAAgB;CAGpD"}

package/lib/frontend/common/ModuleAnalysisConfig.js

@@ -32,11 +32,16 @@ const ModuleDepth_1 = require("./ModuleDepth");
  * Bit indices are {@link ModuleID} (for ID include/exclude) or {@link ModuleType} enum values
  * (for type filter).
  *
- * Load levels ({@link ModuleDepthLevel}) control how much data is built for ArkFile objects:
+ * ## Load levels ({@link ModuleDepthLevel})
+ *
  * - {@link loadLevel} applies to target modules (default {@link ModuleDepthLevel.BODIES}).
  * - {@link dependencyLoadLevel} applies to dependency modules — modules in the closure but
  *   not targets (default {@link ModuleDepthLevel.SIGNATURES}).
  *
+ * Only {@link ModuleDepthLevel.SIGNATURES} and {@link ModuleDepthLevel.BODIES} are valid
+ * load targets. {@link ModuleDepthLevel.INDEX} is downgrade-only; setters throw if INDEX
+ * is passed.
+ *
  * @category core/model
  */
 class ModuleAnalysisConfig {
@@ -118,9 +123,11 @@ class ModuleAnalysisConfig {
     // --- Load levels ---
     /**
      * Set the {@link ModuleDepthLevel} for target modules.
+     * Only SIGNATURES / BODIES are valid; INDEX throws.
      * Returns this config to allow chaining.
      */
     setLoadLevel(level) {
+        (0, ModuleDepth_1.assertDirectLoadLevel)(level);
         this.loadLevel = level;
         return this;
     }
@@ -130,9 +137,11 @@ class ModuleAnalysisConfig {
     }
     /**
      * Set the {@link ModuleDepthLevel} for dependency modules (in closure but not targets).
+     * Only SIGNATURES / BODIES are valid; INDEX throws.
      * Returns this config to allow chaining.
      */
     setDependencyLoadLevel(level) {
+        (0, ModuleDepth_1.assertDirectLoadLevel)(level);
         this.dependencyLoadLevel = level;
         return this;
     }

package/lib/frontend/common/ModuleBuilder.d.ts

@@ -38,7 +38,7 @@ export declare class ModuleBuilder {
      * Calibrated from scene_board_ext measurements (no-eviction, no GC runs):
      * - BODIES: P75 of per-module heapUsed-per-file at BODIES level = ~1.7MB/file
      * - SIGNATURES: P75 of per-module heapUsed-per-file at SIGNATURES level = ~700KB/file
-     * - IMPORTS/META: negligible (metadata only).
+     * - INDEX: hollow in-place IR (export-reachable shells); lighter than full SIGNATURES.
      *
      * No-GC calibration matches production conditions (no forced GC). Without GC,
      * heapUsed increments include uncollected garbage from parsing and type inference,
@@ -340,17 +340,8 @@ export declare class ModuleBuilder {
      */
     loadModule(moduleId: ModuleID, depthLevel?: ModuleDepthLevel): void;
     /**
-     * Unload a module's data, releasing heavy data and resetting to NOT_LOADED state.
-     *
-     * Clears the module's filesMap (releasing ArkFile/ArkClass/ArkMethod objects), resets the
-     * file dependency graph (so that the next {@link loadModule} rebuilds IMPORTS from scratch),
-     * and sets the load state to NOT_LOADED. After unloading, {@link loadModule} can rebuild
-     * the module from scratch.
-     *
-     * SDK modules are not unloaded (their data is built by {@link buildSdkModules} and shared
-     * globally).
-     *
-     * @param moduleId - ID of the module to unload.
+     * Unload a module's data, releasing IR and resetting to NOT_LOADED.
+     * SDK modules are not unloaded (built by {@link buildSdkModules}).
      */
     unload(moduleId: ModuleID): void;
     /**
@@ -386,6 +377,11 @@ export declare class ModuleBuilder {
     private evictIfNeeded;
     private runPhase1Eviction;
     private runPhase2Downgrade;
+    /**
+     * Eviction phase 2b: if still over limit after BODIES→SIGNATURES, downgrade protected
+     * deps further to INDEX (hollow in-place IR; same lookup APIs as SIGNATURES).
+     */
+    private runPhase2bDowngradeToIndex;
     private runPhase3Eviction;
     /**
      * Estimate the memory cost of loading a module at the given depth level.
@@ -413,12 +409,37 @@ export declare class ModuleBuilder {
      */
     private estimateDowngradeHeapUsedDecrease;
     /**
-     * Downgrade a module's loaded data to the given target level (min SIGNATURES), releasing the
-     * heavy method-body/view-tree/AST data while keeping signatures (ArkClass/method signatures,
-     * filesMap, Scene index maps) so dependents can still resolve types. No-op if already at or
-     * below the target level. Used by eviction Phase 2.
+     * Downgrade a module to the given target level. Used by eviction Phase 2 / 2b.
+     *
+     * - {@link ModuleDepthLevel.SIGNATURES}: clear method bodies / view trees / AST while keeping
+     *   full ArkFile signature IR.
+     * - {@link ModuleDepthLevel.INDEX}: hollow in place (strip + prune non-exports). Use
+     *   {@link unload} to drop IR entirely.
+     *
+     * No-op if already at or below the target.
      */
     private downgradeModule;
+    /**
+     * Drop method bodies / view trees / AST / source text while keeping ArkFile shells.
+     * Shared by SIGNATURES and INDEX downgrade paths.
+     */
+    private stripModuleBodiesAndAst;
+    /**
+     * INDEX retention: strip heavy payload in place, prune non-exported IR, keep export-reachable
+     * shells registered on the module / Scene so existing lookup APIs still resolve.
+     */
+    private hollowModuleToIndex;
+    private collectExportReachableSets;
+    private addExportToKeepSets;
+    private pruneNonExportedIr;
+    private pruneNonKeptClasses;
+    private pruneNonKeptNamespaces;
+    private namespaceOwnsKeptClass;
+    /**
+     * Clear module IR from Scene maps and the module's filesMap so the next load rebuilds
+     * from disk. Used by {@link unload} and when upgrading out of hollow INDEX.
+     */
+    private resetModuleIrForRebuild;
     /**
      * Get the number of source files in a module. If the module's filesMap is empty
      * (not yet loaded), scans the module directory.
@@ -432,32 +453,22 @@ export declare class ModuleBuilder {
      */
     private computeProtectedSets;
     /**
-     * Build module data to the specified depth level, integrating intra-module file dependency
-     * analysis into the build flow.
+     * Build module ArkFile IR up to SIGNATURES or BODIES.
+     * {@link ModuleDepthLevel.INDEX} is rejected ({@link assertDirectLoadLevel}).
      *
-     * Two-phase build for level > IMPORTS:
      * 1. Ensure ArkFile shells exist (create if filesMap is empty, reuse otherwise).
-     * 2. Build all files to IMPORTS level (lightweight import/export parsing, no dependency on
-     *    other files in the module).
-     * 3. Analyze intra-module file dependencies → compute topological order (moved here from
-     *    {@link loadModule} so it is part of the build-to-level flow).
-     * 4. For level > IMPORTS: upgrade each file to the target level (SIGNATURES/BODIES) in
-     *    topological order, so that depended-on files are parsed first.
-     *
-     * For level == META: only shells are created (no content).
-     * For level == IMPORTS: steps 1-3 (topoOrder available for later type inference).
-     * For level >= SIGNATURES: steps 1-4 (signatures built in topoOrder).
+     * 2. Build import/export info (if not already done) + analyze intra-module file dependencies.
+     * 3. Upgrade each file to the target level in topological order.
      *
-     * The {@link ArkModule.hasFileTopoOrder} flag is used to detect whether IMPORTS was already
-     * built (e.g. when upgrading from IMPORTS to SIGNATURES), avoiding redundant re-parsing.
+     * Method bodies are built later by {@link loadModule} when the target is BODIES.
      *
      * @param module - The module to build.
-     * @param level - The target depth level.
+     * @param level - Must be SIGNATURES or BODIES.
      */
     buildModuleToLevel(module: ArkModule, level: ModuleDepthLevel): void;
     /**
      * Analyze file-to-file dependencies within a module using the import/export `from` specifiers
-     * populated at IMPORTS level.
+     * populated during the import/export parse step of {@link buildModuleToLevel}.
      *
      * Builds a {@link FileDepGraph}, resolves relative `from` specifiers to file paths within the
      * same module, adds dependency edges, computes a topological order via SCC detection, and

package/lib/frontend/common/ModuleBuilder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ModuleBuilder.d.ts","sourceRoot":"","sources":["../../../src/frontend/common/ModuleBuilder.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,OAAO,EAAE,SAAS,EAAE,QAAQ,EAA+B,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAE,cAAc,EAAkB,MAAM,iCAAiC,CAAC;AAMjF,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAa9D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAIjD;;;;;;;;;;;;;GAaG;AACH,qBAAa,aAAa;IACtB,OAAO,CAAC,KAAK,CAAQ;IAErB,0FAA0F;IAC1F,OAAO,CAAC,QAAQ,CAAoC;IAEpD,kFAAkF;IAClF,OAAO,CAAC,OAAO,CAAC,CAAgB;IAChC,gFAAgF;IAChF,OAAO,CAAC,KAAK,CAAC,CAAc;IAC5B,sHAAsH;IACtH,OAAO,CAAC,SAAS,CAAkB;IACnC,mEAAmE;IACnE,OAAO,CAAC,cAAc,CAAC,CAAwB;IAE/C,+FAA+F;IAC/F,OAAO,CAAC,mBAAmB,CAAiD;IAE5E;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAKtC;IAEH;;;;OAIG;IACH,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAO;gBAE1C,KAAK,EAAE,KAAK;IAUxB,+FAA+F;IACxF,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS;IAIrD,sEAAsE;IAC/D,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAQjE,0CAA0C;IACnC,cAAc,IAAI,MAAM;IAI/B;;;OAGG;IACI,eAAe,IAAI,gBAAgB,CAAC,SAAS,CAAC;IAWrD,qDAAqD;IACrD,OAAO,CAAC,UAAU;IAWlB,oFAAoF;IAC7E,YAAY,IAAI,QAAQ,EAAE;IAKjC;;;;OAIG;IACI,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAY7E;;;OAGG;IACI,sBAAsB,CAAC,MAAM,EAAE,oBAAoB,GAAG,eAAe;IAgB5E;;;;OAIG;IACI,yBAAyB,CAAC,SAAS,EAAE,eAAe,GAAG,eAAe;IAmC7E,4FAA4F;IACrF,oBAAoB,CAAC,OAAO,EAAE,eAAe,GAAG,QAAQ,EAAE;IAMjE,2DAA2D;IACpD,WAAW,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ;IAI/C,gFAAgF;IACzE,oBAAoB,IAAI,cAAc;IAM7C;;;;;;;;OAQG;IACI,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,GAAE,MAAW,GAAG,SAAS;IAkB7E;;;;;;;;;;;;OAYG;IACI,eAAe,IAAI,IAAI;IAiD9B;;;;;OAKG;IACH,OAAO,CAAC,mBAAmB;IAU3B;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAevB;;;;OAIG;IACH,OAAO,CAAC,uBAAuB;IA4B/B;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAgBpC;;;;;;;;;;;OAWG;IACI,cAAc,IAAI,IAAI;IAS7B;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;IA2B9B;;;;;;;;;OASG;IACH,OAAO,CAAC,wBAAwB;IAyBhC;;;;;;;;;OASG;IACH,OAAO,CAAC,sBAAsB;IAmC9B;;;;;;;;OAQG;IACI,yBAAyB,IAAI,IAAI;IAYxC;;;;;;;;OAQG;IACH,OAAO,CAAC,oBAAoB;IAgC5B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,oBAAoB;IAqB5B;;OAEG;IACH,OAAO,CAAC,WAAW;IAYnB;;;;;;;OAOG;IACH,OAAO,CAAC,6BAA6B;IAoBrC;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,gBAAgB;IA+DxB;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,oBAAoB;IAuB5B;;;;;;;OAOG;IACH,OAAO,CAAC,0BAA0B;IAYlC,OAAO,CAAC,kBAAkB;IAe1B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAe7B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAgB7B;;;;;;;;;;;;;;;;;;;;;OAqBG;IACI,gBAAgB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,GAAE,MAAU,GAAG,IAAI;IA6BnE;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACI,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,GAAE,gBAAwC,GAAG,IAAI;IAsDjG;;;;;;;;;;;;OAYG;IACI,MAAM,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAevC;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAQ/B;;;;;;;;;;OAUG;IACI,mBAAmB,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,mBAAmB,GAAE,gBAA8C,GAAG,IAAI;IAenJ;;;;;;;;;;OAUG;IACH,OAAO,CAAC,aAAa;IAmCrB,OAAO,CAAC,iBAAiB;IAezB,OAAO,CAAC,kBAAkB;IAuB1B,OAAO,CAAC,iBAAiB;IAiBzB;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAMxB;;;;OAIG;IACH,OAAO,CAAC,oBAAoB;IAQ5B;;;;OAIG;IACH,OAAO,CAAC,8BAA8B;IAatC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAYzC;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAyBvB;;;OAGG;IACH,OAAO,CAAC,YAAY;IAUpB;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IA+B5B;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACI,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,gBAAgB,GAAG,IAAI;IAoD3E;;;;;;;;;;;;;;OAcG;IACI,uBAAuB,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI;IAqDvD;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAiB7B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,oBAAoB;CAuC/B"}
+{"version":3,"file":"ModuleBuilder.d.ts","sourceRoot":"","sources":["../../../src/frontend/common/ModuleBuilder.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,OAAO,EAAE,SAAS,EAAE,QAAQ,EAA+B,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAE,cAAc,EAAkB,MAAM,iCAAiC,CAAC;AAMjF,OAAO,EAAyB,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAiB9D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAIjD;;;;;;;;;;;;;GAaG;AACH,qBAAa,aAAa;IACtB,OAAO,CAAC,KAAK,CAAQ;IAErB,0FAA0F;IAC1F,OAAO,CAAC,QAAQ,CAAoC;IAEpD,kFAAkF;IAClF,OAAO,CAAC,OAAO,CAAC,CAAgB;IAChC,gFAAgF;IAChF,OAAO,CAAC,KAAK,CAAC,CAAc;IAC5B,sHAAsH;IACtH,OAAO,CAAC,SAAS,CAAkB;IACnC,mEAAmE;IACnE,OAAO,CAAC,cAAc,CAAC,CAAwB;IAE/C,+FAA+F;IAC/F,OAAO,CAAC,mBAAmB,CAAiD;IAE5E;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAItC;IAEH;;;;OAIG;IACH,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAO;gBAE1C,KAAK,EAAE,KAAK;IAUxB,+FAA+F;IACxF,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS;IAIrD,sEAAsE;IAC/D,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAQjE,0CAA0C;IACnC,cAAc,IAAI,MAAM;IAI/B;;;OAGG;IACI,eAAe,IAAI,gBAAgB,CAAC,SAAS,CAAC;IAWrD,qDAAqD;IACrD,OAAO,CAAC,UAAU;IAWlB,oFAAoF;IAC7E,YAAY,IAAI,QAAQ,EAAE;IAKjC;;;;OAIG;IACI,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAY7E;;;OAGG;IACI,sBAAsB,CAAC,MAAM,EAAE,oBAAoB,GAAG,eAAe;IAgB5E;;;;OAIG;IACI,yBAAyB,CAAC,SAAS,EAAE,eAAe,GAAG,eAAe;IAmC7E,4FAA4F;IACrF,oBAAoB,CAAC,OAAO,EAAE,eAAe,GAAG,QAAQ,EAAE;IAMjE,2DAA2D;IACpD,WAAW,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ;IAI/C,gFAAgF;IACzE,oBAAoB,IAAI,cAAc;IAM7C;;;;;;;;OAQG;IACI,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,GAAE,MAAW,GAAG,SAAS;IAkB7E;;;;;;;;;;;;OAYG;IACI,eAAe,IAAI,IAAI;IAiD9B;;;;;OAKG;IACH,OAAO,CAAC,mBAAmB;IAU3B;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAevB;;;;OAIG;IACH,OAAO,CAAC,uBAAuB;IA4B/B;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAgBpC;;;;;;;;;;;OAWG;IACI,cAAc,IAAI,IAAI;IAS7B;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;IA2B9B;;;;;;;;;OASG;IACH,OAAO,CAAC,wBAAwB;IAyBhC;;;;;;;;;OASG;IACH,OAAO,CAAC,sBAAsB;IAmC9B;;;;;;;;OAQG;IACI,yBAAyB,IAAI,IAAI;IAYxC;;;;;;;;OAQG;IACH,OAAO,CAAC,oBAAoB;IAgC5B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,oBAAoB;IAqB5B;;OAEG;IACH,OAAO,CAAC,WAAW;IAYnB;;;;;;;OAOG;IACH,OAAO,CAAC,6BAA6B;IAoBrC;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,gBAAgB;IA+DxB;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,oBAAoB;IAuB5B;;;;;;;OAOG;IACH,OAAO,CAAC,0BAA0B;IAYlC,OAAO,CAAC,kBAAkB;IAe1B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAa7B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAc7B;;;;;;;;;;;;;;;;;;;;;OAqBG;IACI,gBAAgB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,GAAE,MAAU,GAAG,IAAI;IA6BnE;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACI,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,GAAE,gBAA8C,GAAG,IAAI;IA4DvG;;;OAGG;IACI,MAAM,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAYvC;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAQ/B;;;;;;;;;;OAUG;IACI,mBAAmB,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,mBAAmB,GAAE,gBAA8C,GAAG,IAAI;IAgBnJ;;;;;;;;;;OAUG;IACH,OAAO,CAAC,aAAa;IAoCrB,OAAO,CAAC,iBAAiB;IAezB,OAAO,CAAC,kBAAkB;IAwB1B;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAsBlC,OAAO,CAAC,iBAAiB;IAiBzB;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAMxB;;;;OAIG;IACH,OAAO,CAAC,oBAAoB;IAQ5B;;;;OAIG;IACH,OAAO,CAAC,8BAA8B;IAatC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAYzC;;;;;;;;;OASG;IACH,OAAO,CAAC,eAAe;IAoBvB;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IAgB/B;;;OAGG;IACH,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,0BAA0B;IAclC,OAAO,CAAC,mBAAmB;IA8B3B,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,mBAAmB;IAqB3B,OAAO,CAAC,sBAAsB;IAa9B,OAAO,CAAC,sBAAsB;IAS9B;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IAW/B;;;OAGG;IACH,OAAO,CAAC,YAAY;IAUpB;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IA+B5B;;;;;;;;;;;;OAYG;IACI,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,gBAAgB,GAAG,IAAI;IAgD3E;;;;;;;;;;;;;;OAcG;IACI,uBAAuB,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI;IAqDvD;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAiB7B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,oBAAoB;CAuC/B"}