@aster-cloud/aster-lang-ts 1.0.28 → 1.0.30

package/dist/src/nodeid/change-impact.d.ts

@@ -0,0 +1,77 @@
+import type { NodeIdentity } from './node-id-map.js';
+/**
+ * 跨版本 change impact（TS 侧）—— 与 `aster-lang-core` 的 `ChangeImpact` 对等实现。
+ *
+ * <h2>这是 ADR 0037 §4 的核心能力</h2>
+ *
+ * ```
+ *   $10,000 → $20,000
+ *        ↓
+ *   PaymentApproval.threshold 已 stale
+ * ```
+ *
+ * 之所以能回答，是因为 `NodeIdMap` 把「是哪个节点」（nodeId）与「它变了没有」
+ * （contentHash）拆成两个字段：阈值改动时 nodeId 不变、contentHash 变，于是
+ * 可以报 `MODIFIED` 而不是「一个节点消失 + 一个节点出现」。
+ *
+ * <h2>★结果的解读边界</h2>
+ *
+ * `MODIFIED` 的判定是**内容指纹不同**，不是「语义变了」。两者大多数时候一致，
+ * 但并非总是——例如把 `x plus y` 写成 `y plus x`，指纹变而语义可能等价。
+ * **本模块只报「变了」，不声称「行为会不同」**；后者需要真正的语义比对。
+ *
+ * 同理 `REMOVED`/`ADDED` 在**重命名**时会成对出现——那是路径方案的固有代价
+ * （ADR 0037 §8.5），需由显式 rename 声明消解，而不是由本模块猜测。
+ * 猜错会把两个不同的节点当成同一个，比「识别为新节点」更危险。
+ */
+/**
+ * 一次**显式声明**的重命名：`Rule approve` → `Rule assess`。
+ *
+ * <p>★为什么必须显式声明、不能自动推断：直觉上可以「按 contentHash 配对」，
+ * 但 **contentHash 不唯一**。两条函数体相同的规则，其 `body` / `statements[0]`
+ * / `ret` 等各级节点的 hash 全部相同：
+ *
+ * ```
+ *   Rule alpha, produce:    Rule beta, produce:
+ *     Return 1.               Return 1.
+ *   → $.decls{alpha}.body 与 $.decls{beta}.body 的 contentHash **完全相同**
+ * ```
+ *
+ * 于是把 `alpha` 改名为 `gamma` 后，`beta.body` 的 hash 在新版里能匹配到
+ * **两个**候选，无法判定谁是谁——自动配对会把两条规则的身份互换，且**不报错**。
+ *
+ * <p>★把两个不同的节点当成同一个，比「识别为新节点」危险得多：前者给出
+ * **错误**的溯源答案，后者只是丢失历史关联。立场是**宁可少认，不可错认**。
+ */
+export interface Rename {
+    readonly oldName: string;
+    readonly newName: string;
+}
+/** 构造并校验一条重命名声明。空名 / 新旧同名都是调用方的错误，直接暴露。 */
+export declare function rename(oldName: string, newName: string): Rename;
+export type ChangeKind = 
+/** nodeId 两侧都在，contentHash 不同 → 同一个节点，内容变了。 */
+'MODIFIED'
+/** nodeId 只在新版出现。 */
+ | 'ADDED'
+/** nodeId 只在旧版出现。 */
+ | 'REMOVED';
+export interface Change {
+    /** 稳定标识（`ADDED`/`REMOVED` 时只在一侧存在）。 */
+    readonly nodeId: string;
+    readonly kind: ChangeKind;
+    /** 节点类型（`Func`/`If`/...）。 */
+    readonly nodeKind: string;
+    /**
+     * 受本次变更波及的祖先 nodeId（由内向外），
+     * 即 ADR 0037 §4 里「谁已经 stale」的答案。
+     */
+    readonly staleAncestors: readonly string[];
+}
+/**
+ * 比较两个版本的节点标识表。
+ *
+ * @returns 变更列表，按 nodeId 字典序（确定顺序，便于比对与快照）
+ */
+export declare function diffNodeIds(before: ReadonlyMap<string, NodeIdentity>, after: ReadonlyMap<string, NodeIdentity>, renames?: readonly Rename[]): readonly Change[];
+//# sourceMappingURL=change-impact.d.ts.map

package/dist/src/nodeid/change-impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-impact.d.ts","sourceRoot":"","sources":["../../../src/nodeid/change-impact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,2CAA2C;AAC3C,wBAAgB,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAQ/D;AAED,MAAM,MAAM,UAAU;AACpB,+CAA+C;AAC7C,UAAU;AACZ,qBAAqB;GACnB,OAAO;AACT,qBAAqB;GACnB,SAAS,CAAC;AAEd,MAAM,WAAW,MAAM;IACrB,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,6BAA6B;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;OAGG;IACH,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EACzC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EACxC,OAAO,GAAE,SAAS,MAAM,EAAO,GAC9B,SAAS,MAAM,EAAE,CAmBnB"}

package/dist/src/nodeid/change-impact.js

@@ -0,0 +1,132 @@
+/** 构造并校验一条重命名声明。空名 / 新旧同名都是调用方的错误，直接暴露。 */
+export function rename(oldName, newName) {
+    if (!oldName?.trim() || !newName?.trim()) {
+        throw new Error('rename 的新旧名字都不能为空');
+    }
+    if (oldName === newName) {
+        throw new Error(`rename 的新旧名字相同：${oldName}`);
+    }
+    return { oldName, newName };
+}
+/**
+ * 比较两个版本的节点标识表。
+ *
+ * @returns 变更列表，按 nodeId 字典序（确定顺序，便于比对与快照）
+ */
+export function diffNodeIds(before, after, renames = []) {
+    if (renames.length > 0) {
+        before = applyRenames(before, renames);
+    }
+    const all = new Set([...before.keys(), ...after.keys()]);
+    const changes = [];
+    for (const id of [...all].sort()) {
+        const b = before.get(id);
+        const a = after.get(id);
+        if (b === undefined) {
+            changes.push({ nodeId: id, kind: 'ADDED', nodeKind: a.kind, staleAncestors: ancestorsOf(id, after) });
+        }
+        else if (a === undefined) {
+            changes.push({ nodeId: id, kind: 'REMOVED', nodeKind: b.kind, staleAncestors: ancestorsOf(id, before) });
+        }
+        else if (b.contentHash !== a.contentHash) {
+            changes.push({ nodeId: id, kind: 'MODIFIED', nodeKind: a.kind, staleAncestors: ancestorsOf(id, after) });
+        }
+    }
+    return changes;
+}
+/**
+ * 把旧版的 nodeId 按声明的重命名做**路径段替换**，使整棵子树一次性迁移。
+ *
+ * <p>★只替换完整的 `{name}` 路径段，不做子串替换——朴素的字符串 replace 会让
+ * `approve` 误伤 `approveAll`。
+ *
+ * <p>★同一个 oldName 不允许被声明成多个不同的新名字：那是自相矛盾的输入，
+ * 静默取其一会给出无声错误的溯源结果。
+ */
+function applyRenames(before, renames) {
+    const mapping = new Map();
+    for (const r of renames) {
+        const prev = mapping.get(r.oldName);
+        if (prev !== undefined && prev !== r.newName) {
+            throw new Error(`同一个名字被声明重命名到多个目标：${r.oldName} → ${prev} / ${r.newName}`);
+        }
+        mapping.set(r.oldName, r.newName);
+    }
+    const out = new Map();
+    for (const [id, v] of before) {
+        const renamed = renamePathSegments(id, mapping);
+        out.set(renamed, renamed === id ? v : { ...v, nodeId: renamed });
+    }
+    return out;
+}
+/** 逐个 `{name}` 段做整段匹配替换。 */
+function renamePathSegments(path, mapping) {
+    let out = '';
+    let i = 0;
+    while (i < path.length) {
+        const c = path[i];
+        if (c !== '{') {
+            out += c;
+            i++;
+            continue;
+        }
+        const close = path.indexOf('}', i);
+        if (close < 0) { // 不成对的 '{'：原样输出，不猜
+            out += path.slice(i);
+            break;
+        }
+        const name = path.slice(i + 1, close);
+        out += `{${mapping.get(name) ?? name}}`;
+        i = close + 1;
+    }
+    return out;
+}
+/**
+ * 一个节点变更后，哪些祖先随之 stale。
+ *
+ * <p>★注意方向：**祖先 stale，后代不 stale**。改了 if 条件里的阈值，是「包含
+ * 它的那条规则」需要重新审视；而阈值节点的子节点（字面量本身）并没有变。
+ * 反过来标记会把影响面夸大到整棵子树。
+ */
+function ancestorsOf(nodeId, universe) {
+    const out = [];
+    let cur = nodeId;
+    for (;;) {
+        const cut = lastSegmentStart(cur);
+        if (cut <= 0)
+            break;
+        cur = cur.slice(0, cut);
+        if (universe.has(cur))
+            out.push(cur);
+    }
+    return out;
+}
+/**
+ * 找到最后一个路径段的起点。
+ *
+ * <p>路径形如 `$.decls{approve}.body.statements[0].cond`，分隔符是 `.`、`[`、`{`。
+ * ★不能简单用 `lastIndexOf('.')`——名字段 `{a.b.c}` 里可能含点（模块路径式的
+ * Import 名就是如此），那样会从名字中间切断，产生一个不存在的祖先。
+ */
+function lastSegmentStart(path) {
+    let depth = 0;
+    for (let i = path.length - 1; i >= 0; i--) {
+        const c = path[i];
+        if (c === '}') {
+            depth++;
+        }
+        else if (c === '{') {
+            depth--;
+            if (depth === 0) {
+                // {name} 段：其起点是前面那个 '.'（如 .decls{approve}）
+                const dot = path.lastIndexOf('.', i);
+                return dot > 0 ? dot : i;
+            }
+        }
+        else if (depth === 0 && (c === '.' || c === '[')) {
+            return i;
+        }
+    }
+    return -1;
+}
+//# sourceMappingURL=change-impact.js.map

package/dist/src/nodeid/change-impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-impact.js","sourceRoot":"","sources":["../../../src/nodeid/change-impact.ts"],"names":[],"mappings":"AAqDA,2CAA2C;AAC3C,MAAM,UAAU,MAAM,CAAC,OAAe,EAAE,OAAe;IACrD,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,kBAAkB,OAAO,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAuBD;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,MAAyC,EACzC,KAAwC,EACxC,UAA6B,EAAE;IAE/B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACjE,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAE,CAAC,IAAI,EAAE,cAAc,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACzG,CAAC;aAAM,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3G,CAAC;aAAM,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CACnB,MAAyC,EACzC,OAA0B;IAE1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC,OAAO,MAAM,IAAI,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAChD,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4BAA4B;AAC5B,SAAS,kBAAkB,CAAC,IAAY,EAAE,OAAoC;IAC5E,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,GAAG,IAAI,CAAC,CAAC;YACT,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,mBAAmB;YAClC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,MAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QACtC,GAAG,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC;QACxC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,MAAc,EAAE,QAA2C;IAC9E,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,SAAS,CAAC;QACR,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,GAAG,IAAI,CAAC;YAAE,MAAM;QACpB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACpC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,KAAK,EAAE,CAAC;QACV,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,2CAA2C;gBAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACrC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC"}

package/dist/src/nodeid/node-id-map.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Stable IR Node ID（TS 侧）—— 与 `aster-lang-core` 的 `NodeIdMap` 对等实现。
+ *
+ * <h2>为什么是两个字段而不是一个</h2>
+ *
+ * ADR 0037 §8 的实测：三种候选方案各有一个**灾难场景**，且互不重叠
+ * （基线 16 节点的身份存活率）：
+ *
+ * ```
+ *   编辑                  结构hash   结构路径   命名作用域路径
+ *   改阈值                 10/16      16/16      16/16
+ *   前面插入一条规则        16/16       5/16      16/16
+ *   重命名规则             14/16      16/16       1/16
+ * ```
+ *
+ * 结论是**复合键**，两者职责分离：
+ *
+ * ```
+ *   nodeId      = 命名作用域路径   ← 「是哪个节点」（跨版本稳定）
+ *   contentHash = 子树内容指纹     ← 「它变了没有」（change impact 的信号）
+ * ```
+ *
+ * <h2>★跨引擎口径：contentHash 必须对「归一化后」的 IR 取 hash</h2>
+ *
+ * 两引擎的**原始** Core IR 字段本就不同，且这是 ADR 0016 §B/§C 认定的**合法
+ * 分岔**（推导分析层，不是源码结构）：
+ *
+ * ```
+ *   Java 独有   annotations / retAnnotations / piiLevel / piiCategories
+ *   TS   独有   retTypeInferred / constraints / typeInferred
+ * ```
+ *
+ * 所以直接对原始 IR 取 hash，两侧**必定**不等。调用方必须先用
+ * `@aster-cloud/aster-lang-test/ir-normalize` 的 `normalizeIr` 归一化——那是
+ * parity 门禁使用的**同一份**规则（单源，避免「门禁说一致、hash 说不一致」
+ * 且两边都不报错的漂移）。
+ *
+ * <h2>与 ADR 0032 anchor 的边界（★不可混用）</h2>
+ *
+ * ```
+ *   anchor ("L21C5-L21C22")  位置派生，**同一版本内**稳定 → trace 跨执行聚合
+ *   nodeId (命名作用域路径)   结构派生，**跨版本**稳定     → 双向导航 / change impact
+ * ```
+ *
+ * 用其中一个去做另一个的工作，会让「跨版本统计」悄悄退化成「同版本统计」，
+ * 且不报错。
+ */
+/** ID 方案版本。变更路径构造规则或 hash 口径必须 bump，否则跨版本比对会静默错配。 */
+export declare const NODE_ID_VERSION = "aster-node-id/v1";
+/** 一个节点的稳定标识。 */
+export interface NodeIdentity {
+    /** 命名作用域路径，如 `$.decls{approve}.body.statements[0]`。 */
+    readonly nodeId: string;
+    /** 该节点子树（剥掉 origin）的 canonical hash。 */
+    readonly contentHash: string;
+    /** 节点类型（`Func` / `If` / ...），便于调试与过滤。 */
+    readonly kind: string;
+}
+/** `sha256(version + "\n" + canonicalJson(value))`，hex。与 Java 同算法同前缀。 */
+export declare function canonicalHash(value: unknown): string;
+/**
+ * 为一棵 Core IR 计算全部节点的稳定标识。
+ *
+ * @param ir 建议先经 `normalizeIr` 归一化——跨引擎比较时**必须**先归一化，
+ *           否则两侧的 contentHash 恒不相等（见本文件头部说明）。
+ * @returns nodeId → NodeIdentity，按插入顺序（路径的深度优先序，确定）
+ */
+export declare function computeNodeIds(ir: unknown): ReadonlyMap<string, NodeIdentity>;
+//# sourceMappingURL=node-id-map.d.ts.map

package/dist/src/nodeid/node-id-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-id-map.d.ts","sourceRoot":"","sources":["../../../src/nodeid/node-id-map.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,qDAAqD;AACrD,eAAO,MAAM,eAAe,qBAAqB,CAAC;AAQlD,iBAAiB;AACjB,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wCAAwC;IACxC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AA2DD,yEAAyE;AACzE,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAIpD;AAsCD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAI7E"}

package/dist/src/nodeid/node-id-map.js

@@ -0,0 +1,193 @@
+import { createHash } from 'node:crypto';
+/**
+ * Stable IR Node ID（TS 侧）—— 与 `aster-lang-core` 的 `NodeIdMap` 对等实现。
+ *
+ * <h2>为什么是两个字段而不是一个</h2>
+ *
+ * ADR 0037 §8 的实测：三种候选方案各有一个**灾难场景**，且互不重叠
+ * （基线 16 节点的身份存活率）：
+ *
+ * ```
+ *   编辑                  结构hash   结构路径   命名作用域路径
+ *   改阈值                 10/16      16/16      16/16
+ *   前面插入一条规则        16/16       5/16      16/16
+ *   重命名规则             14/16      16/16       1/16
+ * ```
+ *
+ * 结论是**复合键**，两者职责分离：
+ *
+ * ```
+ *   nodeId      = 命名作用域路径   ← 「是哪个节点」（跨版本稳定）
+ *   contentHash = 子树内容指纹     ← 「它变了没有」（change impact 的信号）
+ * ```
+ *
+ * <h2>★跨引擎口径：contentHash 必须对「归一化后」的 IR 取 hash</h2>
+ *
+ * 两引擎的**原始** Core IR 字段本就不同，且这是 ADR 0016 §B/§C 认定的**合法
+ * 分岔**（推导分析层，不是源码结构）：
+ *
+ * ```
+ *   Java 独有   annotations / retAnnotations / piiLevel / piiCategories
+ *   TS   独有   retTypeInferred / constraints / typeInferred
+ * ```
+ *
+ * 所以直接对原始 IR 取 hash，两侧**必定**不等。调用方必须先用
+ * `@aster-cloud/aster-lang-test/ir-normalize` 的 `normalizeIr` 归一化——那是
+ * parity 门禁使用的**同一份**规则（单源，避免「门禁说一致、hash 说不一致」
+ * 且两边都不报错的漂移）。
+ *
+ * <h2>与 ADR 0032 anchor 的边界（★不可混用）</h2>
+ *
+ * ```
+ *   anchor ("L21C5-L21C22")  位置派生，**同一版本内**稳定 → trace 跨执行聚合
+ *   nodeId (命名作用域路径)   结构派生，**跨版本**稳定     → 双向导航 / change impact
+ * ```
+ *
+ * 用其中一个去做另一个的工作，会让「跨版本统计」悄悄退化成「同版本统计」，
+ * 且不报错。
+ */
+/** ID 方案版本。变更路径构造规则或 hash 口径必须 bump，否则跨版本比对会静默错配。 */
+export const NODE_ID_VERSION = 'aster-node-id/v1';
+/**
+ * canonical 算法版本前缀。★必须与 Java `CanonicalJson.CANONICALIZATION_VERSION`
+ * 和 aster-cloud `canonical-json.ts` 保持一致，否则同一棵树在两侧产出不同 hash。
+ */
+const CANONICALIZATION_VERSION = 'aster-canonical-json/v1';
+/** 不参与身份与内容判定的字段。位置不是内容。 */
+function isIdentityIrrelevant(field) {
+    return field === 'origin';
+}
+/**
+ * canonical JSON 序列化（object key 按 Unicode code point 升序，array 保序）。
+ *
+ * <p>★这是 Java `CanonicalJson` 的**子集**：归一化后的 Core IR 只含
+ * null / boolean / string / 安全整数 / array / object，不含 Decimal 与浮点，
+ * 故不需要 aster-cloud 那份实现里的 Decimal 展开与 typeCtx 机制。
+ *
+ * <p>★遇到浮点或超安全整数范围的数值会**抛错而非静默降级**——跨引擎浮点表示
+ * 不一致，静默处理会产出两侧不同的 hash 且无人察觉（与 Java 同口径）。
+ */
+function canonicalJson(value) {
+    if (value === null || value === undefined)
+        return 'null';
+    if (typeof value === 'boolean')
+        return value ? 'true' : 'false';
+    if (typeof value === 'string')
+        return JSON.stringify(value);
+    if (typeof value === 'number') {
+        if (!Number.isFinite(value)) {
+            throw new Error(`canonical JSON 不支持 NaN/Infinity：${value}`);
+        }
+        if (!Number.isSafeInteger(value)) {
+            throw new Error(`canonical JSON 只接受安全整数（跨引擎浮点表示不一致）：${value}`);
+        }
+        return String(value);
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map(canonicalJson).join(',')}]`;
+    }
+    if (typeof value === 'object') {
+        const entries = Object.entries(value)
+            .filter(([, v]) => v !== undefined)
+            .sort(([a], [b]) => compareByCodePoint(a, b));
+        return `{${entries.map(([k, v]) => `${JSON.stringify(k)}:${canonicalJson(v)}`).join(',')}}`;
+    }
+    throw new Error(`canonical JSON 不支持的类型：${typeof value}`);
+}
+/**
+ * 按 Unicode code point 比较（★不能用默认的 `<`——JS 字符串比较按 UTF-16
+ * code unit，对增补平面字符与 Java 的 code point 序不一致，会产出不同的 hash）。
+ */
+function compareByCodePoint(a, b) {
+    const ai = [...a];
+    const bi = [...b];
+    const n = Math.min(ai.length, bi.length);
+    for (let i = 0; i < n; i++) {
+        const ca = ai[i].codePointAt(0);
+        const cb = bi[i].codePointAt(0);
+        if (ca !== cb)
+            return ca - cb;
+    }
+    return ai.length - bi.length;
+}
+/** `sha256(version + "\n" + canonicalJson(value))`，hex。与 Java 同算法同前缀。 */
+export function canonicalHash(value) {
+    return createHash('sha256')
+        .update(`${CANONICALIZATION_VERSION}\n${canonicalJson(value)}`, 'utf8')
+        .digest('hex');
+}
+/** 深拷贝并剥掉不参与身份判定的字段。 */
+function stripIdentityIrrelevant(node) {
+    if (Array.isArray(node))
+        return node.map(stripIdentityIrrelevant);
+    if (node !== null && typeof node === 'object') {
+        const out = {};
+        for (const [k, v] of Object.entries(node)) {
+            if (isIdentityIrrelevant(k))
+                continue;
+            out[k] = stripIdentityIrrelevant(v);
+        }
+        return out;
+    }
+    return node;
+}
+/**
+ * 数组元素的路径段：**有名字就用名字**，否则退回下标。
+ *
+ * <p>这一行是整个方案的关键——它让「在前面插入一条规则」不再移动后续规则的身份
+ * （实测：纯下标路径 5/16 存活，改用名字后 16/16）。
+ */
+function segmentOf(element, index) {
+    if (element !== null && typeof element === 'object' && !Array.isArray(element)) {
+        const el = element;
+        // ★`_` 不是名字，是**占位符**：裸表达式语句一律降为 `Let "_" be expr`
+        //   （求值并丢弃结果）。若拿它当路径段，同一函数体里的多条裸表达式语句
+        //   会全部塌成 `statements{_}` —— nodeId 撞车，Map 只保留最后一条，
+        //   其余节点的身份**静默消失**。
+        //   实测（tier1 全语料）：1 个样本、4 个节点因此丢失身份。
+        //   占位名退回下标，回到「按位置区分」——这正是无名节点的正确处理方式。
+        if (typeof el.name === 'string' && el.name !== '_')
+            return `{${el.name}}`;
+        // Import 没有 name，用 path 充当名字：它同样是「重排后仍指同一个导入」的标识。
+        if (typeof el.path === 'string')
+            return `{${el.path}}`;
+    }
+    return `[${index}]`;
+}
+/**
+ * 为一棵 Core IR 计算全部节点的稳定标识。
+ *
+ * @param ir 建议先经 `normalizeIr` 归一化——跨引擎比较时**必须**先归一化，
+ *           否则两侧的 contentHash 恒不相等（见本文件头部说明）。
+ * @returns nodeId → NodeIdentity，按插入顺序（路径的深度优先序，确定）
+ */
+export function computeNodeIds(ir) {
+    const out = new Map();
+    walk(ir, '$', out);
+    return out;
+}
+function walk(node, path, out) {
+    if (node === null || typeof node !== 'object' || Array.isArray(node))
+        return;
+    const obj = node;
+    // 只有带 kind 的对象才是「IR 节点」；Field/Param 等无 kind 的结构体不单独发 ID，
+    // 它们随宿主节点的 contentHash 一起变化（与 Java 侧口径一致）。
+    if (typeof obj.kind === 'string') {
+        out.set(path, {
+            nodeId: path,
+            contentHash: canonicalHash(stripIdentityIrrelevant(obj)),
+            kind: obj.kind,
+        });
+    }
+    for (const [field, value] of Object.entries(obj)) {
+        if (isIdentityIrrelevant(field))
+            continue;
+        if (Array.isArray(value)) {
+            value.forEach((el, i) => walk(el, `${path}.${field}${segmentOf(el, i)}`, out));
+        }
+        else {
+            walk(value, `${path}.${field}`, out);
+        }
+    }
+}
+//# sourceMappingURL=node-id-map.js.map

package/dist/src/nodeid/node-id-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-id-map.js","sourceRoot":"","sources":["../../../src/nodeid/node-id-map.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,qDAAqD;AACrD,MAAM,CAAC,MAAM,eAAe,GAAG,kBAAkB,CAAC;AAElD;;;GAGG;AACH,MAAM,wBAAwB,GAAG,yBAAyB,CAAC;AAY3D,4BAA4B;AAC5B,SAAS,oBAAoB,CAAC,KAAa;IACzC,OAAO,KAAK,KAAK,QAAQ,CAAC;AAC5B,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,mCAAmC,KAAK,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CACb,sCAAsC,KAAK,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACnD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aAC7D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;aAClC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC9F,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,KAAK,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,CAAS,EAAE,CAAS;IAC9C,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAClB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAClB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAClC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;AAC/B,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,GAAG,wBAAwB,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC;SACtE,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,wBAAwB;AACxB,SAAS,uBAAuB,CAAC,IAAa;IAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IAClE,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9C,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAA+B,CAAC,EAAE,CAAC;YACrE,IAAI,oBAAoB,CAAC,CAAC,CAAC;gBAAE,SAAS;YACtC,GAAG,CAAC,CAAC,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,OAAgB,EAAE,KAAa;IAChD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/E,MAAM,EAAE,GAAG,OAAkC,CAAC;QAC9C,kDAAkD;QAClD,sCAAsC;QACtC,oDAAoD;QACpD,qBAAqB;QACrB,qCAAqC;QACrC,uCAAuC;QACvC,IAAI,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG;YAAE,OAAO,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC;QAC1E,kDAAkD;QAClD,IAAI,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC;IACzD,CAAC;IACD,OAAO,IAAI,KAAK,GAAG,CAAC;AACtB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,EAAW;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC5C,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,IAAa,EAAE,IAAY,EAAE,GAA8B;IACvE,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO;IAC7E,MAAM,GAAG,GAAG,IAA+B,CAAC;IAE5C,yDAAyD;IACzD,2CAA2C;IAC3C,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;YACZ,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,aAAa,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC;YACxD,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACjD,IAAI,oBAAoB,CAAC,KAAK,CAAC;YAAE,SAAS;QAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QACjF,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/src/parser/decl-parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"decl-parser.d.ts","sourceRoot":"","sources":["../../../src/parser/decl-parser.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAyC,WAAW,EAAE,KAAK,EAAQ,MAAM,aAAa,CAAC;AAC/G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAsIrD;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,SAAS,EAAE,MAAM,IAAI,EACrB,cAAc,EAAE,MAAM,MAAM,GAC3B,WAAW,CA4Bb;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,SAAS,EAAE,MAAM,IAAI,EACrB,cAAc,EAAE,MAAM,MAAM,GAC3B,WAAW,CAiCb;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,aAAa,EAAE,MAAM,IAAI,EACzB,aAAa,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,EAChD,aAAa,EAAE,MAAM,IAAI,EACzB,UAAU,EAAE,MAAM,MAAM,EACxB,WAAW,GAAE,SAAS,UAAU,EAAO,EACvC,YAAY,CAAC,EAAE,KAAK,GACnB,WAAW,CAkSb;AA2FD,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,WAAW,GACjB;IAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CA4GrD"}
+{"version":3,"file":"decl-parser.d.ts","sourceRoot":"","sources":["../../../src/parser/decl-parser.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAyC,WAAW,EAAE,KAAK,EAAQ,MAAM,aAAa,CAAC;AAC/G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAsIrD;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,SAAS,EAAE,MAAM,IAAI,EACrB,cAAc,EAAE,MAAM,MAAM,GAC3B,WAAW,CA8Bb;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,SAAS,EAAE,MAAM,IAAI,EACrB,cAAc,EAAE,MAAM,MAAM,GAC3B,WAAW,CAmCb;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,aAAa,EAAE,MAAM,IAAI,EACzB,aAAa,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,EAChD,aAAa,EAAE,MAAM,IAAI,EACzB,UAAU,EAAE,MAAM,MAAM,EACxB,WAAW,GAAE,SAAS,UAAU,EAAO,EACvC,YAAY,CAAC,EAAE,KAAK,GACnB,WAAW,CAoSb;AA2FD,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,WAAW,GACjB;IAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CA4GrD"}

package/dist/src/parser/decl-parser.js

@@ -10,7 +10,7 @@ import { parseModuleHeader, parseImport } from './import-parser.js';
 import { parseType, parseEffectList, separateEffectsAndCaps } from './type-parser.js';
 import { parseBlock, parseExplicitBlock, parseParamList } from './expr-stmt-parser.js';
 import { parseFieldList, parseVariantList } from './field-variant-parser.js';
-import { assignSpan, spanFromSources, lastConsumedToken, spanFromTokens } from './span-utils.js';
+import { assignSpan, spanFromSources, lastConsumedToken, lastNonLayoutToken, spanFromTokens } from './span-utils.js';
 /**
  * R30+ audit P1：原本写满 14 处 {@code (node as any).nameSpan = ...} / variantSpans。
  * 把单一职责的辅助器抽出来：保留 readonly 字段的设计意图（声明阶段不可改），
@@ -151,7 +151,9 @@ export function parseDataDecl(ctx, error, expectDot, parseTypeIdent) {
     const fields = parseFieldList(ctx, error);
     // 期望句点结束
     expectDot();
-    const endTok = ctx.tokens[ctx.index - 1] || ctx.peek();
+    // ★用 lastNonLayoutToken：直接取 ctx.tokens[ctx.index-1] 会把尾随的
+    //   NEWLINE/DEDENT 算进 span，使声明范围延伸到下一个声明的起始行（span 重叠）。
+    const endTok = lastNonLayoutToken(ctx);
     // 创建 Data 节点并注册类型
     const dataDecl = Node.Data(typeName, fields);
     const lastFieldSource = fields.length > 0 ? fields[fields.length - 1] : endTok;
@@ -184,7 +186,9 @@ export function parseEnumDecl(ctx, error, expectDot, parseTypeIdent) {
     const { variants, variantSpans } = parseVariantList(ctx, error);
     // 期望句点结束
     expectDot();
-    const endTok = ctx.tokens[ctx.index - 1] || ctx.peek();
+    // ★用 lastNonLayoutToken：直接取 ctx.tokens[ctx.index-1] 会把尾随的
+    //   NEWLINE/DEDENT 算进 span，使声明范围延伸到下一个声明的起始行（span 重叠）。
+    const endTok = lastNonLayoutToken(ctx);
     // 创建 Enum 节点并附加变体 spans
     const en = Node.Enum(typeName, variants);
     if (variantSpans && variantSpans.length > 0) {
@@ -446,7 +450,9 @@ export function parseFuncDecl(ctx, error, expectCommaOr, expectKeyword, expectNe
             typeParams = Array.from(found);
         }
     }
-    const endTok = ctx.tokens[ctx.index - 1] || ctx.peek();
+    // ★用 lastNonLayoutToken：直接取 ctx.tokens[ctx.index-1] 会把尾随的
+    //   NEWLINE/DEDENT 算进 span，使声明范围延伸到下一个声明的起始行（span 重叠）。
+    const endTok = lastNonLayoutToken(ctx);
     // 合并函数体内收集的效果
     if (Array.isArray(ctx.collectedEffects) && ctx.collectedEffects.length > 0) {
         effects = effects.concat(ctx.collectedEffects);