arkanalyzer 1.0.93 → 2.0.0-beta1

package/lib/core/common/SignatureModelCanonicalizer.d.ts

@@ -0,0 +1,69 @@
+import { SignatureCanonicalizer, Canonicalizable } from './SignatureCanonicalizer';
+/**
+ * A canonicalizer that stores both signature instances and model instances,
+ * unified by the same dense integer ID space.
+ *
+ * Extends {@link SignatureCanonicalizer} with a `models` array that maps
+ * ID → model object. This eliminates the need for a separate `Map<number, Model>`
+ * — the canonicalizer itself serves as both the signature registry and the model store.
+ *
+ * ID 0 is reserved for DEFAULT signatures and does not correspond to any model
+ * (`models[0]` remains `undefined`).
+ *
+ * @template S - The signature type, must implement {@link Canonicalizable}
+ * @template M - The model type associated with the signature
+ */
+export declare class SignatureModelCanonicalizer<S extends Canonicalizable, M> extends SignatureCanonicalizer<S> {
+    private models;
+    /**
+     * Register a model at the given ID.
+     *
+     * The ID must have been allocated by `getId(sig)` or `intern(sig)` first.
+     * Typically called right after `getId(sig)` returns a new or existing ID:
+     * ```
+     * const id = canonicalizer.getId(sig);
+     * canonicalizer.setModel(id, model);
+     * ```
+     *
+     * @param id - The integer ID (>= 0)
+     * @param model - The model to associate with this ID
+     */
+    setModel(id: number, model: M): void;
+    /**
+     * Get the model associated with an integer ID.
+     *
+     * @param id - The integer ID
+     * @returns The model, or `undefined` if no model is registered at this ID
+     *          (including ID 0 which is reserved for DEFAULT signatures)
+     */
+    getModel(id: number): M | undefined;
+    /**
+     * Remove the model at the given ID.
+     *
+     * Sets `models[id]` to `undefined`. The ID itself is not recycled —
+     * the signature entry in the canonicalizer remains, but the model is no
+     * longer accessible via `getModel(id)`.
+     *
+     * @param id - The integer ID
+     */
+    removeModel(id: number): void;
+    /**
+     * Get all registered models (excluding `undefined` entries).
+     *
+     * @returns An array of all models currently registered
+     */
+    getModels(): M[];
+    /**
+     * Clear all registered models, keeping the signature table intact.
+     *
+     * Used when models need to be rebuilt (e.g., after type inference modifies
+     * method signatures) but the signature ID mappings should remain stable.
+     * Unlike {@link clear}, the signature canonicalizer entries are preserved.
+     */
+    clearModels(): void;
+    /**
+     * Clear all signatures, models, and reset the canonicalizer.
+     */
+    clear(): void;
+}
+//# sourceMappingURL=SignatureModelCanonicalizer.d.ts.map

package/lib/core/common/SignatureModelCanonicalizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SignatureModelCanonicalizer.d.ts","sourceRoot":"","sources":["../../../src/core/common/SignatureModelCanonicalizer.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEnF;;;;;;;;;;;;;GAaG;AACH,qBAAa,2BAA2B,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,CAAE,SAAQ,sBAAsB,CAAC,CAAC,CAAC;IACpG,OAAO,CAAC,MAAM,CAAyB;IAEvC;;;;;;;;;;;;OAYG;IACI,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI;IAI3C;;;;;;OAMG;IACI,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;IAI1C;;;;;;;;OAQG;IACI,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAIpC;;;;OAIG;IACI,SAAS,IAAI,CAAC,EAAE;IAWvB;;;;;;OAMG;IACI,WAAW,IAAI,IAAI;IAI1B;;OAEG;IACI,KAAK,IAAI,IAAI;CAIvB"}

package/lib/core/common/SignatureModelCanonicalizer.js

@@ -0,0 +1,109 @@
+"use strict";
+/*
+ * Copyright (c) 2026 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SignatureModelCanonicalizer = void 0;
+const SignatureCanonicalizer_1 = require("./SignatureCanonicalizer");
+/**
+ * A canonicalizer that stores both signature instances and model instances,
+ * unified by the same dense integer ID space.
+ *
+ * Extends {@link SignatureCanonicalizer} with a `models` array that maps
+ * ID → model object. This eliminates the need for a separate `Map<number, Model>`
+ * — the canonicalizer itself serves as both the signature registry and the model store.
+ *
+ * ID 0 is reserved for DEFAULT signatures and does not correspond to any model
+ * (`models[0]` remains `undefined`).
+ *
+ * @template S - The signature type, must implement {@link Canonicalizable}
+ * @template M - The model type associated with the signature
+ */
+class SignatureModelCanonicalizer extends SignatureCanonicalizer_1.SignatureCanonicalizer {
+    constructor() {
+        super(...arguments);
+        this.models = [];
+    }
+    /**
+     * Register a model at the given ID.
+     *
+     * The ID must have been allocated by `getId(sig)` or `intern(sig)` first.
+     * Typically called right after `getId(sig)` returns a new or existing ID:
+     * ```
+     * const id = canonicalizer.getId(sig);
+     * canonicalizer.setModel(id, model);
+     * ```
+     *
+     * @param id - The integer ID (>= 0)
+     * @param model - The model to associate with this ID
+     */
+    setModel(id, model) {
+        this.models[id] = model;
+    }
+    /**
+     * Get the model associated with an integer ID.
+     *
+     * @param id - The integer ID
+     * @returns The model, or `undefined` if no model is registered at this ID
+     *          (including ID 0 which is reserved for DEFAULT signatures)
+     */
+    getModel(id) {
+        return this.models[id];
+    }
+    /**
+     * Remove the model at the given ID.
+     *
+     * Sets `models[id]` to `undefined`. The ID itself is not recycled —
+     * the signature entry in the canonicalizer remains, but the model is no
+     * longer accessible via `getModel(id)`.
+     *
+     * @param id - The integer ID
+     */
+    removeModel(id) {
+        this.models[id] = undefined;
+    }
+    /**
+     * Get all registered models (excluding `undefined` entries).
+     *
+     * @returns An array of all models currently registered
+     */
+    getModels() {
+        const result = [];
+        for (let i = 0; i < this.models.length; i++) {
+            const m = this.models[i];
+            if (m !== undefined) {
+                result.push(m);
+            }
+        }
+        return result;
+    }
+    /**
+     * Clear all registered models, keeping the signature table intact.
+     *
+     * Used when models need to be rebuilt (e.g., after type inference modifies
+     * method signatures) but the signature ID mappings should remain stable.
+     * Unlike {@link clear}, the signature canonicalizer entries are preserved.
+     */
+    clearModels() {
+        this.models = [];
+    }
+    /**
+     * Clear all signatures, models, and reset the canonicalizer.
+     */
+    clear() {
+        super.clear();
+        this.models = [];
+    }
+}
+exports.SignatureModelCanonicalizer = SignatureModelCanonicalizer;

package/lib/core/common/StmtUseReplacer.d.ts

@@ -8,6 +8,7 @@ export declare class StmtUseReplacer {
     private newUse;
     constructor(oldUse: Value, newUse: Value);
     caseStmt(stmt: Stmt): void;
+    private transferInvokeFullPosition;
     private caseAssignStmt;
     private caseInvokeStmt;
     private caseReturnStmt;

package/lib/core/common/StmtUseReplacer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StmtUseReplacer.d.ts","sourceRoot":"","sources":["../../../src/core/common/StmtUseReplacer.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAwE,IAAI,EAAE,MAAM,cAAc,CAAC;AAC1G,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAKtC;;GAEG;AACH,qBAAa,eAAe;IACxB,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,MAAM,CAAQ;gBAEV,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK;IAKjC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAcjC,OAAO,CAAC,cAAc;IAoBtB,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,UAAU;IAalB,OAAO,CAAC,aAAa;CAMxB"}
+{"version":3,"file":"StmtUseReplacer.d.ts","sourceRoot":"","sources":["../../../src/core/common/StmtUseReplacer.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAwE,IAAI,EAAE,MAAM,cAAc,CAAC;AAC1G,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAMtC;;GAEG;AACH,qBAAa,eAAe;IACxB,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,MAAM,CAAQ;gBAEV,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK;IAKjC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAejC,OAAO,CAAC,0BAA0B;IASlC,OAAO,CAAC,cAAc;IAoBtB,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,UAAU;IAalB,OAAO,CAAC,aAAa;CAMxB"}

package/lib/core/common/StmtUseReplacer.js

@@ -30,6 +30,7 @@ class StmtUseReplacer {
         this.newUse = newUse;
     }
     caseStmt(stmt) {
+        this.transferInvokeFullPosition();
         if (stmt instanceof Stmt_1.ArkAssignStmt) {
             this.caseAssignStmt(stmt);
         }
@@ -46,6 +47,14 @@ class StmtUseReplacer {
             this.caseThrowStmt(stmt);
         }
     }
+    transferInvokeFullPosition() {
+        if (this.oldUse instanceof Expr_1.AbstractInvokeExpr && this.newUse instanceof Expr_1.AbstractInvokeExpr) {
+            const pos = this.oldUse.getInvokeFullPosition();
+            if (pos) {
+                this.newUse.setInvokeFullPosition(pos);
+            }
+        }
+    }
     caseAssignStmt(stmt) {
         const lValue = stmt.getLeftOp();
         if (lValue instanceof Ref_1.AbstractRef) {

package/lib/core/common/StringUtils.d.ts

@@ -2,17 +2,28 @@ import { FullPosition } from '../base/Position';
 /**
  * Deep copy a string to avoid sharing the original text reference from TypeScript AST nodes.
  * This ensures that model objects do not implicitly depend on AST node lifecycles.
+ * Strings shorter than V8's kMinSlicedStringLength can never be sliced strings,
+ * so they cannot retain a larger parent and are returned as-is.
  */
 export declare function cloneText(text: string): string;
+/**
+ * Builds an array of absolute offsets of each line start in `sourceText`.
+ * Index 0 is always 0. Handles `\n` and `\r\n` the same way as position extraction.
+ * @param maxLineCount - When set, stop once this many line starts are collected
+ *                       (used by one-shot extract to avoid scanning the whole file).
+ */
+export declare function buildLineStarts(sourceText: string, maxLineCount?: number): number[];
 /**
  * Extracts source text from the given source code using the specified full position.
  * @param sourceText - The source code text, or undefined if not available.
  * @param position - The full position (start/end line/col) specifying the range to extract.
+ * @param lineStarts - Optional precomputed line-start offsets (e.g. from {@link buildLineStarts}
+ *                     or `ArkFile.getLineStarts()`). When omitted, builds offsets only up to `endLine`.
  * @returns The extracted source text, or undefined if:
  *          - sourceText is undefined or empty
  *          - position is undefined or FullPosition.DEFAULT
  *          - position has invalid line/col values (<=0)
  *          - position exceeds the source text boundaries
  */
-export declare function extractSourceTextByFullPosition(sourceText: string | undefined, position: FullPosition | undefined): string | undefined;
+export declare function extractSourceTextByFullPosition(sourceText: string | undefined, position: FullPosition | undefined, lineStarts?: readonly number[]): string | undefined;
 //# sourceMappingURL=StringUtils.d.ts.map

package/lib/core/common/StringUtils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StringUtils.d.ts","sourceRoot":"","sources":["../../../src/core/common/StringUtils.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD;;;GAGG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED;;;;;;;;;GASG;AACH,wBAAgB,+BAA+B,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,EAAE,QAAQ,EAAE,YAAY,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAsCtI"}
+{"version":3,"file":"StringUtils.d.ts","sourceRoot":"","sources":["../../../src/core/common/StringUtils.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAIhD;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAK9C;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAYnF;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,+BAA+B,CAC3C,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,QAAQ,EAAE,YAAY,GAAG,SAAS,EAClC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,GAAG,SAAS,CA6BpB"}

package/lib/core/common/StringUtils.js

@@ -14,27 +14,56 @@
  * limitations under the License.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.extractSourceTextByFullPosition = exports.cloneText = void 0;
+exports.extractSourceTextByFullPosition = exports.buildLineStarts = exports.cloneText = void 0;
 const Position_1 = require("../base/Position");
+const MIN_SLICED_STRING_LENGTH = 13;
 /**
  * Deep copy a string to avoid sharing the original text reference from TypeScript AST nodes.
  * This ensures that model objects do not implicitly depend on AST node lifecycles.
+ * Strings shorter than V8's kMinSlicedStringLength can never be sliced strings,
+ * so they cannot retain a larger parent and are returned as-is.
  */
 function cloneText(text) {
-    return text.length > 0 ? Buffer.from(text, 'utf8').toString('utf8') : '';
+    if (text.length < MIN_SLICED_STRING_LENGTH) {
+        return text;
+    }
+    return Buffer.from(text, 'utf8').toString('utf8');
 }
 exports.cloneText = cloneText;
+/**
+ * Builds an array of absolute offsets of each line start in `sourceText`.
+ * Index 0 is always 0. Handles `\n` and `\r\n` the same way as position extraction.
+ * @param maxLineCount - When set, stop once this many line starts are collected
+ *                       (used by one-shot extract to avoid scanning the whole file).
+ */
+function buildLineStarts(sourceText, maxLineCount) {
+    const lineStarts = [0];
+    const len = sourceText.length;
+    for (let i = 0; i < len && (maxLineCount === undefined || lineStarts.length < maxLineCount); i++) {
+        if (sourceText[i] === '\n') {
+            lineStarts.push(i + 1);
+        }
+        else if (sourceText[i] === '\r' && i + 1 < len && sourceText[i + 1] === '\n') {
+            lineStarts.push(i + 2);
+            i++;
+        }
+    }
+    return lineStarts;
+}
+exports.buildLineStarts = buildLineStarts;
 /**
  * Extracts source text from the given source code using the specified full position.
  * @param sourceText - The source code text, or undefined if not available.
  * @param position - The full position (start/end line/col) specifying the range to extract.
+ * @param lineStarts - Optional precomputed line-start offsets (e.g. from {@link buildLineStarts}
+ *                     or `ArkFile.getLineStarts()`). When omitted, builds offsets only up to `endLine`.
  * @returns The extracted source text, or undefined if:
  *          - sourceText is undefined or empty
  *          - position is undefined or FullPosition.DEFAULT
  *          - position has invalid line/col values (<=0)
  *          - position exceeds the source text boundaries
  */
-function extractSourceTextByFullPosition(sourceText, position) {
+function extractSourceTextByFullPosition(sourceText, position, lineStarts) {
     if (!sourceText || !position || position === Position_1.FullPosition.DEFAULT) {
         return undefined;
     }
@@ -46,23 +75,13 @@ function extractSourceTextByFullPosition(sourceText, position) {
         return undefined;
     }
     const len = sourceText.length;
-    const lineStarts = [0];
-    // Only iterate up to endLine to avoid traversing the entire file
-    for (let i = 0; i < len && lineStarts.length < endLine; i++) {
-        if (sourceText[i] === '\n') {
-            lineStarts.push(i + 1);
-        }
-        else if (sourceText[i] === '\r' && i + 1 < len && sourceText[i + 1] === '\n') {
-            lineStarts.push(i + 2);
-            i++;
-        }
-    }
+    const starts = lineStarts !== null && lineStarts !== void 0 ? lineStarts : buildLineStarts(sourceText, endLine);
     // Check if there are enough lines
-    if (startLine > lineStarts.length || endLine > lineStarts.length) {
+    if (startLine > starts.length || endLine > starts.length) {
         return undefined;
     }
-    const startIdx = lineStarts[startLine - 1] + startCol - 1;
-    const endIdx = lineStarts[endLine - 1] + endCol - 1;
+    const startIdx = starts[startLine - 1] + startCol - 1;
+    const endIdx = starts[endLine - 1] + endCol - 1;
     if (startIdx >= len || endIdx > len || startIdx >= endIdx) {
         return undefined;
     }

package/lib/core/common/TempSignatureCanonicalizer.d.ts

@@ -0,0 +1,82 @@
+/**
+ * 临时签名的索引表（组合 Canonicalizer.objectIdentity 策略）。
+ *
+ * 组合设计：注册/查ID/get/clear 委托 inner Canonicalizer（objectIdentity——Symbol 幂等
+ * + 稠密 ID + 数组存储）；本类仅追加 temp 空间独有的 retire（迁移置空）与替换记录。
+ *
+ * retire 状态与归宿记录合并存储在单个三态槽表 {@link retireSlots}（4B/ID）：
+ * 0 = live；-1 = 已迁移无归宿；>0 = 已迁移且值为 formal 归宿（formalId ≥ 1，
+ * 0 为 DEFAULT 不可作归宿）。读写判定共用一次数组读，两份状态由单写点保证同步。
+ *
+ * 生命周期（全保留）：未 retire 的条目永不清——完整注册审计表。"推导中间垃圾"
+ * 钉活到 Registry.dispose——知情权衡（JS 无法感知强可达对象的持有者消亡）。
+ * 三数自洽：totalRegistered（inner.size）= liveCount + retiredCount。
+ */
+export declare class TempSignatureCanonicalizer<S extends object> {
+    /** objectIdentity 策略的注册/查ID/get/clear 核心（Symbol 幂等 + 稠密 ID + list 数组）。 */
+    private readonly inner;
+    /**
+     * 三态槽表（下标 = temp SigID）：0 = live；-1 = 已迁移无归宿；>0 = 已迁移，
+     * 值为 formal 归宿。get/getReplacement 的判定共用此一次数组读。
+     */
+    private retireSlots;
+    /** 注册签名对象：同一实例重复注册复用同一 ID；新实例分配新 ID。扩容保证槽表覆盖全部已分配 ID。 */
+    register(sig: S): number;
+    /**
+     * 按 ID 取签名对象。已迁移（三态槽非 0）返回 undefined——消费方应查
+     * {@link getReplacement} 获得 formal 归宿（三级查的 fallback）。
+     * register 的同步扩容保证已分配 ID 均在槽表界内；越界（未注册）与负 ID
+     * 经 inner.get 返回 undefined。
+     */
+    get(id: number): S | undefined;
+    /** 查询签名对象的 tempSigID，不注册。未注册返回 -1。Symbol 在 retire 后不清（审计追溯保留）。 */
+    getExistingTempId(sig: S): number;
+    /**
+     * 迁移置空（幂等）。合法性以 inner.size() 为权威上界（register 分配保证 id <
+     * inner.size()，且 inner.size 只增不减）+ inner 槽有值才迁移。槽表覆盖全部已分配
+     * ID 的不变式由 register 维护（分配即扩容），此处三态读界内安全。
+     */
+    retire(id: number): void;
+    /**
+     * 迁移置空 + 记录 formal 归宿（幂等；重复调用以首次记录为准——槽为 -1 才写入，
+     * 已 >0 不覆盖）。live 时先经 {@link retire} 迁移；从未注册的 ID 不记录归宿
+     * （live 态写归宿会污染 get 判定）。
+     */
+    retireWithReplacement(id: number, formalId: number): void;
+    /** 查询迁移记录的 formal 归宿。-1 = 无记录（未迁移 / 已迁移无归宿）。 */
+    getReplacement(id: number): number;
+    /**
+     * 未迁移量（去洞活数）= totalRegistered() - retiredCount()。
+     * Named liveCount (not size) on purpose: the composed Canonicalizer.size() returns the
+     * dense extent (holes included) — same name, opposite semantics silently breaks any
+     * loop bound or capacity check that treats the two as interchangeable containers.
+     * 三数自洽：totalRegistered = liveCount + retired。
+     */
+    liveCount(): number;
+    /** 累计注册总量 = inner.size()（含已置空）。 */
+    totalRegistered(): number;
+    /** 已迁移总量 = 三态槽表非零槽数。三数自洽：totalRegistered = liveCount + retired。 */
+    retired(): number;
+    /** 全区间审计视图：[0, totalRegistered) 的全部 ID（含已置空——可经 getReplacement 追溯归宿）。 */
+    registeredIds(): number[];
+    /** 未迁移（非空 slot）的 ID 集视图。 */
+    liveIds(): number[];
+    /** 索引表统计（同步即精确；计数为遍历槽表，仅 statistics 低频调用）。 */
+    getStats(): {
+        liveCount: number;
+        totalRegistered: number;
+        retiredCount: number;
+        replacedCount: number;
+    };
+    /** 清空：委托 inner.clear（Symbol 清理 + 换新 Symbol + 重置），追加本层状态重置。 */
+    clear(): void;
+    private retiredCount;
+    private replacedCount;
+    /**
+     * 扩容。唯一调用点是 register（分配即扩容）——维护"槽表覆盖全部已分配 ID"
+     * 的不变式，所有读点的三态判定由此界内安全。快速路径一次下标比较；慢路径按
+     * inner.size ×1.1 前瞻扩容（推导期约 5% 的注册增长被余量直接吸收，全程零再扩容）。
+     */
+    private ensureCapacity;
+}
+//# sourceMappingURL=TempSignatureCanonicalizer.d.ts.map

package/lib/core/common/TempSignatureCanonicalizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TempSignatureCanonicalizer.d.ts","sourceRoot":"","sources":["../../../src/core/common/TempSignatureCanonicalizer.ts"],"names":[],"mappings":"AAiBA;;;;;;;;;;;;;GAaG;AACH,qBAAa,0BAA0B,CAAC,CAAC,SAAS,MAAM;IACpD,0EAA0E;IAC1E,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA4C;IAElE;;;OAGG;IACH,OAAO,CAAC,WAAW,CAAwB;IAE3C,yDAAyD;IAClD,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM;IAM/B;;;;;OAKG;IACI,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;IAOrC,kEAAkE;IAC3D,iBAAiB,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM;IAIxC;;;;OAIG;IACI,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAU/B;;;;OAIG;IACI,qBAAqB,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI;IAOhE,gDAAgD;IACzC,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAIzC;;;;;;OAMG;IACI,SAAS,IAAI,MAAM;IAI1B,mCAAmC;IAC5B,eAAe,IAAI,MAAM;IAIhC,mEAAmE;IAC5D,OAAO,IAAI,MAAM;IAIxB,yEAAyE;IAClE,aAAa,IAAI,MAAM,EAAE;IAQhC,4BAA4B;IACrB,OAAO,IAAI,MAAM,EAAE;IAU1B,8CAA8C;IACvC,QAAQ,IAAI;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE;IAS9G,8DAA8D;IACvD,KAAK,IAAI,IAAI;IAKpB,OAAO,CAAC,YAAY;IAUpB,OAAO,CAAC,aAAa;IAUrB;;;;OAIG;IACH,OAAO,CAAC,cAAc;CASzB"}

package/lib/core/common/TempSignatureCanonicalizer.js

@@ -0,0 +1,177 @@
+"use strict";
+/*
+ * Copyright (c) 2026 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TempSignatureCanonicalizer = void 0;
+const Canonicalizer_1 = require("../../utils/Canonicalizer");
+/**
+ * 临时签名的索引表（组合 Canonicalizer.objectIdentity 策略）。
+ *
+ * 组合设计：注册/查ID/get/clear 委托 inner Canonicalizer（objectIdentity——Symbol 幂等
+ * + 稠密 ID + 数组存储）；本类仅追加 temp 空间独有的 retire（迁移置空）与替换记录。
+ *
+ * retire 状态与归宿记录合并存储在单个三态槽表 {@link retireSlots}（4B/ID）：
+ * 0 = live；-1 = 已迁移无归宿；>0 = 已迁移且值为 formal 归宿（formalId ≥ 1，
+ * 0 为 DEFAULT 不可作归宿）。读写判定共用一次数组读，两份状态由单写点保证同步。
+ *
+ * 生命周期（全保留）：未 retire 的条目永不清——完整注册审计表。"推导中间垃圾"
+ * 钉活到 Registry.dispose——知情权衡（JS 无法感知强可达对象的持有者消亡）。
+ * 三数自洽：totalRegistered（inner.size）= liveCount + retiredCount。
+ */
+class TempSignatureCanonicalizer {
+    constructor() {
+        /** objectIdentity 策略的注册/查ID/get/clear 核心（Symbol 幂等 + 稠密 ID + list 数组）。 */
+        this.inner = new Canonicalizer_1.Canonicalizer();
+        /**
+         * 三态槽表（下标 = temp SigID）：0 = live；-1 = 已迁移无归宿；>0 = 已迁移，
+         * 值为 formal 归宿。get/getReplacement 的判定共用此一次数组读。
+         */
+        this.retireSlots = new Int32Array(1024);
+    }
+    /** 注册签名对象：同一实例重复注册复用同一 ID；新实例分配新 ID。扩容保证槽表覆盖全部已分配 ID。 */
+    register(sig) {
+        const id = this.inner.getId(sig);
+        this.ensureCapacity(id);
+        return id;
+    }
+    /**
+     * 按 ID 取签名对象。已迁移（三态槽非 0）返回 undefined——消费方应查
+     * {@link getReplacement} 获得 formal 归宿（三级查的 fallback）。
+     * register 的同步扩容保证已分配 ID 均在槽表界内；越界（未注册）与负 ID
+     * 经 inner.get 返回 undefined。
+     */
+    get(id) {
+        if (this.retireSlots[id] !== 0) {
+            return undefined;
+        }
+        return this.inner.get(id);
+    }
+    /** 查询签名对象的 tempSigID，不注册。未注册返回 -1。Symbol 在 retire 后不清（审计追溯保留）。 */
+    getExistingTempId(sig) {
+        return this.inner.getExistingId(sig);
+    }
+    /**
+     * 迁移置空（幂等）。合法性以 inner.size() 为权威上界（register 分配保证 id <
+     * inner.size()，且 inner.size 只增不减）+ inner 槽有值才迁移。槽表覆盖全部已分配
+     * ID 的不变式由 register 维护（分配即扩容），此处三态读界内安全。
+     */
+    retire(id) {
+        if (id < 0 || id >= this.inner.size() || this.inner.get(id) === undefined) {
+            return;
+        }
+        if (this.retireSlots[id] === 0) {
+            this.retireSlots[id] = -1;
+            this.inner.removeAt(id);
+        }
+    }
+    /**
+     * 迁移置空 + 记录 formal 归宿（幂等；重复调用以首次记录为准——槽为 -1 才写入，
+     * 已 >0 不覆盖）。live 时先经 {@link retire} 迁移；从未注册的 ID 不记录归宿
+     * （live 态写归宿会污染 get 判定）。
+     */
+    retireWithReplacement(id, formalId) {
+        this.retire(id);
+        if (this.retireSlots[id] === -1) {
+            this.retireSlots[id] = formalId;
+        }
+    }
+    /** 查询迁移记录的 formal 归宿。-1 = 无记录（未迁移 / 已迁移无归宿）。 */
+    getReplacement(id) {
+        return this.retireSlots[id] > 0 ? this.retireSlots[id] : -1;
+    }
+    /**
+     * 未迁移量（去洞活数）= totalRegistered() - retiredCount()。
+     * Named liveCount (not size) on purpose: the composed Canonicalizer.size() returns the
+     * dense extent (holes included) — same name, opposite semantics silently breaks any
+     * loop bound or capacity check that treats the two as interchangeable containers.
+     * 三数自洽：totalRegistered = liveCount + retired。
+     */
+    liveCount() {
+        return this.totalRegistered() - this.retiredCount();
+    }
+    /** 累计注册总量 = inner.size()（含已置空）。 */
+    totalRegistered() {
+        return this.inner.size();
+    }
+    /** 已迁移总量 = 三态槽表非零槽数。三数自洽：totalRegistered = liveCount + retired。 */
+    retired() {
+        return this.retiredCount();
+    }
+    /** 全区间审计视图：[0, totalRegistered) 的全部 ID（含已置空——可经 getReplacement 追溯归宿）。 */
+    registeredIds() {
+        const ids = [];
+        for (let i = 0; i < this.inner.size(); i++) {
+            ids.push(i);
+        }
+        return ids;
+    }
+    /** 未迁移（非空 slot）的 ID 集视图。 */
+    liveIds() {
+        const ids = [];
+        for (let i = 0; i < this.inner.size(); i++) {
+            if (this.retireSlots[i] === 0 && this.inner.get(i) !== undefined) {
+                ids.push(i);
+            }
+        }
+        return ids;
+    }
+    /** 索引表统计（同步即精确；计数为遍历槽表，仅 statistics 低频调用）。 */
+    getStats() {
+        return {
+            liveCount: this.liveCount(),
+            totalRegistered: this.totalRegistered(),
+            retiredCount: this.retiredCount(),
+            replacedCount: this.replacedCount(),
+        };
+    }
+    /** 清空：委托 inner.clear（Symbol 清理 + 换新 Symbol + 重置），追加本层状态重置。 */
+    clear() {
+        this.inner.clear();
+        this.retireSlots = new Int32Array(1024);
+    }
+    retiredCount() {
+        let count = 0;
+        for (let i = 0; i < this.retireSlots.length; i++) {
+            if (this.retireSlots[i] !== 0) {
+                count++;
+            }
+        }
+        return count;
+    }
+    replacedCount() {
+        let count = 0;
+        for (let i = 0; i < this.retireSlots.length; i++) {
+            if (this.retireSlots[i] > 0) {
+                count++;
+            }
+        }
+        return count;
+    }
+    /**
+     * 扩容。唯一调用点是 register（分配即扩容）——维护"槽表覆盖全部已分配 ID"
+     * 的不变式，所有读点的三态判定由此界内安全。快速路径一次下标比较；慢路径按
+     * inner.size ×1.1 前瞻扩容（推导期约 5% 的注册增长被余量直接吸收，全程零再扩容）。
+     */
+    ensureCapacity(requiredIdx) {
+        if (requiredIdx < this.retireSlots.length) {
+            return;
+        }
+        const newLength = Math.ceil(this.inner.size() * 1.1);
+        const next = new Int32Array(newLength);
+        next.set(this.retireSlots);
+        this.retireSlots = next;
+    }
+}
+exports.TempSignatureCanonicalizer = TempSignatureCanonicalizer;