@faicad/faijs 0.13.0

package/dist/cad-runtime/live-shapes.d.ts

@@ -0,0 +1,94 @@
+/**
+ * live-shapes — 无 IR 存活判定（运行时终端 = 最后写者 + 下游无独占消费）
+ *
+ * 方案：docs/plans/2026-09-06-no-ir-dual-channel-runtime.md §4.4（D5 / P3）
+ *
+ * 取消 IR 前后，活跃性判断的算法不变，变的是两个输入源：
+ * - 语句序列：`metadata.lines`（MetadataExtractor → StatementSummary[]，与现状
+ *   analyzeCode 逐字相等，A-16 锁定）；
+ * - 行内 keep 判定：`metadata.keep` 表（提取器已把 args 的 keep/keepHidden 键结构化）
+ *   + `KeepRegistry`（DirectExecutor 执行期登记，替代 ModuleExecutor.internalKeep）。
+ *
+ * 候选集合 = ctx 中 shape/compound 键（与现状 allShapeVarNames 同源）；
+ * lastProducer 由行级 outputs 反查（ctx 值天然是最后写者）；
+ * 消费判定 = keep 驱动 consumes（C0/C3/C5 短路）；
+ * 自由 JS 块做词法级引用扫描。
+ *
+ * 产出 TerminalShape[]，与已删除的 computeLeafTerminals 逐字段兼容（A-14 对拍）。
+ */
+import type { StatementSummary } from '../lang/statement-summary.js';
+import type { UiMetadata, KeepEntry } from '../lang/metadata-extractor.js';
+import type { PartName } from '../identity.js';
+import type { TerminalShape } from '../lang/types.js';
+/** 函数体 keep 登记（DirectExecutor 执行期登记；与 InternalKeepRecord 同构）。 */
+export interface KeepRegistration {
+    kept: Set<PartName>;
+    hidden: Map<PartName, boolean>;
+}
+/** keep 来源视图：行内调用点（metadata.keep 表）+ 函数体执行期登记（KeepRegistry）。 */
+export interface KeepView {
+    /** 行内调用点 keep（lineNo → 条目；extractor 已归一 hidden） */
+    lineEntries(lineNo: number): KeepEntry[] | undefined;
+    /** 函数体 exec.keep 登记（lineNo → 登记；DirectExecutor 提供） */
+    functionBody(lineNo: number): KeepRegistration | undefined;
+}
+/** computeLiveShapes 的输入（与运行时视图解耦：值/名字由调用方提供）。 */
+export interface LiveShapesInput {
+    lines: StatementSummary[];
+    blocks: UiMetadata['blocks'];
+    keep: KeepView;
+    /** 候选 shape/compound 变量名（ctx 键 ∩ 结构判定；与 allShapeVarNames 同源） */
+    shapeVarNames: Set<PartName>;
+    /** 块单元产出：shape 名 → 块起始行（DirectExecutor 执行块前后 ctx diff 登记） */
+    blockOutputs?: Map<string, number>;
+    /**
+     * 原地写回登记（P25 §3.7.4 规则 2）：裸调用行 → 写回目标变量名。
+     * DirectExecutor 执行期登记（修改类裸调用 `fai_drill(part0)` 把结果写回首参）；
+     * lastProducer 叠加时把该变量的最后写者锚到裸调用行——写回行之前的旧消费
+     * 不误伤写回后的新值（producer 精确化，见方案 §3.7.4）。
+     */
+    inplaceWrites?: Map<number, string>;
+    /** 显式 return 终端（metadata.terminalShapes，非空优先——与现状一致） */
+    explicitTerminals?: TerminalShape[];
+}
+/**
+ * 判定 statement 是否消费变量 v（keep 驱动，C0 → C3 → C5 短路）。
+ * 输入是 StatementSummary（HostArg 引用形态）。
+ * @param line - 消费检查目标语句（行级摘要）。
+ * @param v - 被检查的候选 shape/compound 变量。
+ * @param keep - keep 来源视图（行内 + 函数体登记）。
+ * @param shapeVarNames - 存活候选名集合（C3 非几何输出判定用）。
+ * @returns true 表示该语句消费 v（v 不得作为终端存活）。
+ */
+export declare function lineConsumes(line: StatementSummary, v: PartName, keep: KeepView, shapeVarNames: Set<PartName>): boolean;
+/**
+ * 块单元词法级引用扫描（§4.3）：块源码文本中出现外部 shape 名 → 保守判为消费。
+ * 只扫 range.start 行号 > producerIdx 的块（producer 之前的块不可能消费新值）。
+ * @param blocks - 块元数据数组（UiMetadata.blocks）。
+ * @param v - 被消费的变量名。
+ * @param producerLine - 最后写者的行号。
+ * @returns true 如果有 producer 之后的块词法消费了该变量。
+ */
+export declare function blockConsumes(blocks: UiMetadata['blocks'], v: string, producerLine: number): boolean;
+/**
+ * 存活判定主算法（§4.4）：候选 = shapeVarNames（ctx 键 ∩ 结构判定）；
+ * lastProducer = 单次正向遍历 + Map 覆盖写；逐个候选查 producer 之后是否有语句消费。
+ *
+ * hidden（D2）：最后一次保留声明胜出——函数体登记先铺，行内调用点按行号序覆盖。
+ *
+ * @param input - 存活判定输入（lines/blocks/keep 视图/shapeVarNames/块产出/显式终端）。
+ * @returns TerminalShape[]（{ id } ∪ hidden），与原 computeLeafTerminals 形态兼容。
+ */
+export declare function computeLiveShapes(input: LiveShapesInput): TerminalShape[];
+/**
+ * 空 keep 视图（无行内 keep、无函数体登记）。
+ * @returns 恒返回 undefined 的 KeepView。
+ */
+export declare function emptyKeepView(): KeepView;
+/**
+ * 由 UiMetadata.keep 表构造 KeepView（行内条目；函数体登记由调用方补充）。
+ * @param meta - 含 keep 表的元数据（行号 → 行内 keep 条目）。
+ * @returns KeepView（lineEntries 查 meta.keep；functionBody 恒空）。
+ */
+export declare function keepViewFromMetadata(meta: Pick<UiMetadata, 'keep'>): KeepView;
+//# sourceMappingURL=live-shapes.d.ts.map

package/dist/cad-runtime/live-shapes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-shapes.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/live-shapes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AACvE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAI3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAElD,iEAAiE;AACjE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACnB,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;CAC/B;AAED,gEAAgE;AAChE,MAAM,WAAW,QAAQ;IACvB,mDAAmD;IACnD,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,GAAG,SAAS,CAAA;IACpD,sDAAsD;IACtD,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAAA;CAC3D;AAED,kDAAkD;AAClD,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,gBAAgB,EAAE,CAAA;IACzB,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAA;IAC5B,IAAI,EAAE,QAAQ,CAAA;IACd,gEAAgE;IAChE,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IAC5B,6DAA6D;IAC7D,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC;;;;;OAKG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACnC,wDAAwD;IACxD,iBAAiB,CAAC,EAAE,aAAa,EAAE,CAAA;CACpC;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,gBAAgB,EACtB,CAAC,EAAE,QAAQ,EACX,IAAI,EAAE,QAAQ,EACd,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,GAC3B,OAAO,CAoDT;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,EAC5B,CAAC,EAAE,MAAM,EACT,YAAY,EAAE,MAAM,GACnB,OAAO,CAMT;AAOD;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,aAAa,EAAE,CAwFzE;AA8BD;;;GAGG;AACH,wBAAgB,aAAa,IAAI,QAAQ,CAExC;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,QAAQ,CAK7E"}

package/dist/cad-runtime/live-shapes.js

@@ -0,0 +1,258 @@
+/**
+ * live-shapes — 无 IR 存活判定（运行时终端 = 最后写者 + 下游无独占消费）
+ *
+ * 方案：docs/plans/2026-09-06-no-ir-dual-channel-runtime.md §4.4（D5 / P3）
+ *
+ * 取消 IR 前后，活跃性判断的算法不变，变的是两个输入源：
+ * - 语句序列：`metadata.lines`（MetadataExtractor → StatementSummary[]，与现状
+ *   analyzeCode 逐字相等，A-16 锁定）；
+ * - 行内 keep 判定：`metadata.keep` 表（提取器已把 args 的 keep/keepHidden 键结构化）
+ *   + `KeepRegistry`（DirectExecutor 执行期登记，替代 ModuleExecutor.internalKeep）。
+ *
+ * 候选集合 = ctx 中 shape/compound 键（与现状 allShapeVarNames 同源）；
+ * lastProducer 由行级 outputs 反查（ctx 值天然是最后写者）；
+ * 消费判定 = keep 驱动 consumes（C0/C3/C5 短路）；
+ * 自由 JS 块做词法级引用扫描。
+ *
+ * 产出 TerminalShape[]，与已删除的 computeLeafTerminals 逐字段兼容（A-14 对拍）。
+ */
+import { asPartName } from '../identity.js';
+import { isHostVarRef, isHostCallRef, isHostExprRef } from '../lang/host-arg.js';
+/**
+ * 判定 statement 是否消费变量 v（keep 驱动，C0 → C3 → C5 短路）。
+ * 输入是 StatementSummary（HostArg 引用形态）。
+ * @param line - 消费检查目标语句（行级摘要）。
+ * @param v - 被检查的候选 shape/compound 变量。
+ * @param keep - keep 来源视图（行内 + 函数体登记）。
+ * @param shapeVarNames - 存活候选名集合（C3 非几何输出判定用）。
+ * @returns true 表示该语句消费 v（v 不得作为终端存活）。
+ */
+export function lineConsumes(line, v, keep, shapeVarNames) {
+    // C0/C1：keep 声明胜出——被声明的变量不被本语句消费
+    const fnKeep = keep.functionBody(line.line);
+    if (fnKeep && fnKeep.kept.has(v))
+        return false;
+    const lineKeep = keep.lineEntries(line.line);
+    if (lineKeep?.some((e) => e.target === String(v)))
+        return false;
+    // C4（P25 §3.7 规则 1）：无赋值裸调用默认不消费——无论自赋值还是只读，
+    // 没有赋值绑定的语句不构成对输入的消费。覆盖 projectView(part)/fai_drill(part0)/
+    // volume(part) 等裸调用；修改类裸调用的写回经 inplaceWrites 登记（producer 精确化）。
+    if (!line.hasAssignment)
+        return false;
+    // C3：本语句有赋值且所有输出都是非几何 → 纯数据/测量/查询语句，不消费任何输入
+    if (line.hasAssignment &&
+        line.outputs.length > 0 &&
+        shapeVarNames.size > 0 &&
+        line.outputs.every((o) => !shapeVarNames.has(o))) {
+        return false;
+    }
+    // C5：默认消费——positional 顶层 var-ref / expr-ref refs；嵌套 call-ref 内只读。
+    // receiver 不消费（成员方法调用对 compound 的消费经 C5 扫描其 args）。
+    let consumed = false;
+    const scan = (value, inCallRef) => {
+        if (consumed)
+            return;
+        if (value === null || typeof value !== 'object')
+            return;
+        if (isHostVarRef(value)) {
+            if (value.name !== String(v))
+                return;
+            if (inCallRef)
+                return; // 嵌套调用内 = 只读查询
+            consumed = true;
+            return;
+        }
+        if (isHostExprRef(value)) {
+            if (inCallRef)
+                return;
+            if (value.refs.includes(String(v)))
+                consumed = true;
+            return;
+        }
+        if (isHostCallRef(value)) {
+            for (const a of value.args)
+                scan(a, true);
+            return;
+        }
+        if (Array.isArray(value)) {
+            for (const item of value)
+                scan(item, inCallRef);
+            return;
+        }
+        for (const vv of Object.values(value))
+            scan(vv, inCallRef);
+    };
+    for (const parg of line.positional ?? [])
+        scan(parg, false);
+    for (const vv of Object.values(line.args ?? {}))
+        scan(vv, false);
+    return consumed;
+}
+/**
+ * 块单元词法级引用扫描（§4.3）：块源码文本中出现外部 shape 名 → 保守判为消费。
+ * 只扫 range.start 行号 > producerIdx 的块（producer 之前的块不可能消费新值）。
+ * @param blocks - 块元数据数组（UiMetadata.blocks）。
+ * @param v - 被消费的变量名。
+ * @param producerLine - 最后写者的行号。
+ * @returns true 如果有 producer 之后的块词法消费了该变量。
+ */
+export function blockConsumes(blocks, v, producerLine) {
+    for (const b of blocks) {
+        if (b.lineNo <= producerLine)
+            continue;
+        if (wordBoundaryMatch(b.source, v))
+            return true;
+    }
+    return false;
+}
+function wordBoundaryMatch(text, name) {
+    const esc = name.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    return new RegExp(`\\b${esc}\\b`).test(text);
+}
+/**
+ * 存活判定主算法（§4.4）：候选 = shapeVarNames（ctx 键 ∩ 结构判定）；
+ * lastProducer = 单次正向遍历 + Map 覆盖写；逐个候选查 producer 之后是否有语句消费。
+ *
+ * hidden（D2）：最后一次保留声明胜出——函数体登记先铺，行内调用点按行号序覆盖。
+ *
+ * @param input - 存活判定输入（lines/blocks/keep 视图/shapeVarNames/块产出/显式终端）。
+ * @returns TerminalShape[]（{ id } ∪ hidden），与原 computeLeafTerminals 形态兼容。
+ */
+export function computeLiveShapes(input) {
+    const { lines, blocks, keep, shapeVarNames, blockOutputs, inplaceWrites } = input;
+    // 显式 return 终端优先（与现状一致）
+    const explicit = input.explicitTerminals ?? [];
+    if (explicit.length > 0)
+        return explicit;
+    // 0. hidden：最后一次保留声明胜出
+    //    先铺函数体登记（KeepView.functionBody），再按行号顺序用行级调用点覆盖
+    //    （Map 按插入序 = 行号序 → 调用点 > 函数体）。
+    const hiddenOf = new Map();
+    for (const line of lines) {
+        const fn = keep.functionBody(line.line);
+        if (fn) {
+            for (const v of fn.kept) {
+                hiddenOf.set(v, fn.hidden.get(v) ?? false);
+            }
+        }
+    }
+    for (const line of lines) {
+        const entries = keep.lineEntries(line.line);
+        if (entries) {
+            for (const e of entries) {
+                hiddenOf.set(asPartName(e.target), e.hidden);
+            }
+        }
+    }
+    // 1. lastProducer：单次正向遍历 + Map 覆盖写
+    const lastProducer = new Map();
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        if (!line.hasAssignment)
+            continue;
+        for (const out of line.outputs)
+            lastProducer.set(String(out), i);
+    }
+    // P25 §3.7.4：原地写回登记（DirectExecutor 执行期；行号 → 写回变量名）。
+    // 修改类裸调用（fai_drill(part0) 等）把结果写回首参——把该变量的最后写者锚到
+    // 裸调用行（producer 精确化）：写回行之前的旧消费只作用于旧值，不误伤新值。
+    if (inplaceWrites && inplaceWrites.size > 0) {
+        const lineIdxOf = new Map();
+        lines.forEach((l, i) => {
+            if (!lineIdxOf.has(l.line))
+                lineIdxOf.set(l.line, i);
+        });
+        for (const [lineNo, name] of inplaceWrites) {
+            const idx = lineIdxOf.get(lineNo);
+            if (idx !== undefined)
+                lastProducer.set(name, idx);
+        }
+    }
+    // 2. 逐个候选名判定
+    const terminals = [];
+    const seen = new Set();
+    for (const partName of shapeVarNames) {
+        if (seen.has(String(partName)))
+            continue;
+        seen.add(String(partName));
+        const s = String(partName);
+        // producerIdx：取 lines 中最后写者 与 blockOutputs（块内写者）的较大者。
+        // 块在 lines 之后执行时，块是最后写者——用块的行号作锚点。
+        const lineIdx = lastProducer.get(s);
+        const blockIdx = blockOutputs?.get(s) !== undefined
+            ? blockIdxOf(lines, blockOutputs.get(s))
+            : undefined;
+        let producerIdx;
+        if (lineIdx !== undefined && blockIdx !== undefined) {
+            producerIdx = blockIdx > lineIdx ? blockIdx : lineIdx;
+        }
+        else {
+            producerIdx = lineIdx ?? blockIdx;
+        }
+        if (producerIdx === undefined) {
+            // 无生产者（如宿主手工注入 / 跨文件引用）→ 直接终端
+            terminals.push(makeTerminal(partName, hiddenOf));
+            continue;
+        }
+        let consumed = false;
+        for (let i = producerIdx + 1; i < lines.length; i++) {
+            if (lineConsumes(lines[i], partName, keep, shapeVarNames)) {
+                consumed = true;
+                break;
+            }
+        }
+        if (!consumed && blocks.length > 0) {
+            if (blockConsumes(blocks, s, producerLineOf(lines, producerIdx, blockOutputs, s)))
+                consumed = true;
+        }
+        if (!consumed)
+            terminals.push(makeTerminal(partName, hiddenOf));
+    }
+    return terminals;
+}
+/** producer 行号（lines 下标 → 行号；块产出用块起始行）。
+ * 当 blockIdx == lines.length（块行号 > 所有 lines 行号）时，返回块行号本身
+ * （从 blockOutputs 反查），确保 blockConsumes 跳过该块（producer 块自身的引用
+ * 是对旧值的消费，不应取消新值的终端资格）。 */
+function producerLineOf(lines, idx, blockOutputs, name) {
+    if (idx >= lines.length && blockOutputs && name !== undefined) {
+        const blockLine = blockOutputs.get(name);
+        if (blockLine !== undefined)
+            return blockLine;
+    }
+    return lines[idx]?.line ?? 0;
+}
+/** 块起始行 → lines 中第一个 >= 该行的下标（块产出候选的锚点）。 */
+function blockIdxOf(lines, blockLine) {
+    for (let i = 0; i < lines.length; i++) {
+        if (lines[i].line >= blockLine)
+            return i;
+    }
+    return lines.length;
+}
+/** 组装终端条目（hidden 缺省 undefined → 可见）。 */
+function makeTerminal(id, hiddenOf) {
+    const hidden = hiddenOf.get(id);
+    return hidden ? { id, hidden: true } : { id };
+}
+// ── 便捷构造（测试 / runtime 装配用） ──
+/**
+ * 空 keep 视图（无行内 keep、无函数体登记）。
+ * @returns 恒返回 undefined 的 KeepView。
+ */
+export function emptyKeepView() {
+    return { lineEntries: () => undefined, functionBody: () => undefined };
+}
+/**
+ * 由 UiMetadata.keep 表构造 KeepView（行内条目；函数体登记由调用方补充）。
+ * @param meta - 含 keep 表的元数据（行号 → 行内 keep 条目）。
+ * @returns KeepView（lineEntries 查 meta.keep；functionBody 恒空）。
+ */
+export function keepViewFromMetadata(meta) {
+    return {
+        lineEntries: (lineNo) => meta.keep.get(lineNo),
+        functionBody: () => undefined,
+    };
+}
+//# sourceMappingURL=live-shapes.js.map

package/dist/cad-runtime/live-shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-shapes.js","sourceRoot":"","sources":["../../src/cad-runtime/live-shapes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAKH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAqC7E;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAsB,EACtB,CAAW,EACX,IAAc,EACd,aAA4B;IAE5B,iCAAiC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC3C,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC5C,IAAI,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAE/D,4CAA4C;IAC5C,4DAA4D;IAC5D,+DAA+D;IAC/D,IAAI,CAAC,IAAI,CAAC,aAAa;QAAE,OAAO,KAAK,CAAA;IAErC,4CAA4C;IAC5C,IACE,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QACvB,aAAa,CAAC,IAAI,GAAG,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAChD,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,kEAAkE;IAClE,mDAAmD;IACnD,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,SAAkB,EAAQ,EAAE;QACxD,IAAI,QAAQ;YAAE,OAAM;QACpB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAM;QACvD,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;gBAAE,OAAM;YACpC,IAAI,SAAS;gBAAE,OAAM,CAAC,eAAe;YACrC,QAAQ,GAAG,IAAI,CAAA;YACf,OAAM;QACR,CAAC;QACD,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,SAAS;gBAAE,OAAM;YACrB,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAAE,QAAQ,GAAG,IAAI,CAAA;YACnD,OAAM;QACR,CAAC;QACD,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI;gBAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;YACzC,OAAM;QACR,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,CAAC,IAAe,EAAE,SAAS,CAAC,CAAA;YAC1D,OAAM;QACR,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;YAAE,IAAI,CAAC,EAAa,EAAE,SAAS,CAAC,CAAA;IAClG,CAAC,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE;QAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC3D,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;IAChE,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,MAA4B,EAC5B,CAAS,EACT,YAAoB;IAEpB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,MAAM,IAAI,YAAY;YAAE,SAAQ;QACtC,IAAI,iBAAiB,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;IACjD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,IAAY;IACnD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAA;IACvD,OAAO,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC9C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,KAAK,CAAA;IAEjF,wBAAwB;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAA;IAC9C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAA;IAExC,uBAAuB;IACvB,mDAAmD;IACnD,mCAAmC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAA;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,IAAI,EAAE,EAAE,CAAC;YACP,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;gBACxB,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAA;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IAED,mCAAmC;IACnC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QACrB,IAAI,CAAC,IAAI,CAAC,aAAa;YAAE,SAAQ;QACjC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO;YAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAClE,CAAC;IACD,oDAAoD;IACpD,iDAAiD;IACjD,4CAA4C;IAC5C,IAAI,aAAa,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC3C,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;QACtD,CAAC,CAAC,CAAA;QACF,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;YAC3C,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YACjC,IAAI,GAAG,KAAK,SAAS;gBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACpD,CAAC;IACH,CAAC;IAED,aAAa;IACb,MAAM,SAAS,GAAoB,EAAE,CAAA;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAAE,SAAQ;QACxC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAA;QAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;QAE1B,sDAAsD;QACtD,mCAAmC;QACnC,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACnC,MAAM,QAAQ,GAAG,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,SAAS;YACjD,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;YACzC,CAAC,CAAC,SAAS,CAAA;QACb,IAAI,WAA+B,CAAA;QACnC,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACpD,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAA;QACvD,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,OAAO,IAAI,QAAQ,CAAA;QACnC,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,8BAA8B;YAC9B,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;YAChD,SAAQ;QACV,CAAC;QAED,IAAI,QAAQ,GAAG,KAAK,CAAA;QACpB,KAAK,IAAI,CAAC,GAAG,WAAW,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;gBAC1D,QAAQ,GAAG,IAAI,CAAA;gBACf,MAAK;YACP,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;gBAAE,QAAQ,GAAG,IAAI,CAAA;QACpG,CAAC;QACD,IAAI,CAAC,QAAQ;YAAE,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;IACjE,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;2BAG2B;AAC3B,SAAS,cAAc,CAAC,KAAyB,EAAE,GAAW,EAAE,YAAkC,EAAE,IAAa;IAC/G,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM,IAAI,YAAY,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9D,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACxC,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED,4CAA4C;AAC5C,SAAS,UAAU,CAAC,KAAyB,EAAE,SAAiB;IAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,SAAS;YAAE,OAAO,CAAC,CAAA;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAA;AACrB,CAAC;AAED,wCAAwC;AACxC,SAAS,YAAY,CAAC,EAAY,EAAE,QAAgC;IAClE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC/B,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAA;AAC/C,CAAC;AAED,+BAA+B;AAE/B;;;GAGG;AACH,MAAM,UAAU,aAAa;IAC3B,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAA;AACxE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAA8B;IACjE,OAAO;QACL,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAC9C,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS;KAC9B,CAAA;AACH,CAAC","sourcesContent":["/**\n * live-shapes — 无 IR 存活判定（运行时终端 = 最后写者 + 下游无独占消费）\n *\n * 方案：docs/plans/2026-09-06-no-ir-dual-channel-runtime.md §4.4（D5 / P3）\n *\n * 取消 IR 前后，活跃性判断的算法不变，变的是两个输入源：\n * - 语句序列：`metadata.lines`（MetadataExtractor → StatementSummary[]，与现状\n *   analyzeCode 逐字相等，A-16 锁定）；\n * - 行内 keep 判定：`metadata.keep` 表（提取器已把 args 的 keep/keepHidden 键结构化）\n *   + `KeepRegistry`（DirectExecutor 执行期登记，替代 ModuleExecutor.internalKeep）。\n *\n * 候选集合 = ctx 中 shape/compound 键（与现状 allShapeVarNames 同源）；\n * lastProducer 由行级 outputs 反查（ctx 值天然是最后写者）；\n * 消费判定 = keep 驱动 consumes（C0/C3/C5 短路）；\n * 自由 JS 块做词法级引用扫描。\n *\n * 产出 TerminalShape[]，与已删除的 computeLeafTerminals 逐字段兼容（A-14 对拍）。\n */\n\nimport type { StatementSummary } from '../lang/statement-summary'\nimport type { UiMetadata, KeepEntry } from '../lang/metadata-extractor'\nimport type { PartName } from '../identity'\nimport { asPartName } from '../identity'\nimport type { HostArg } from '../lang/host-arg'\nimport { isHostVarRef, isHostCallRef, isHostExprRef } from '../lang/host-arg'\nimport type { TerminalShape } from '../lang/types'\n\n/** 函数体 keep 登记（DirectExecutor 执行期登记；与 InternalKeepRecord 同构）。 */\nexport interface KeepRegistration {\n  kept: Set<PartName>\n  hidden: Map<PartName, boolean>\n}\n\n/** keep 来源视图：行内调用点（metadata.keep 表）+ 函数体执行期登记（KeepRegistry）。 */\nexport interface KeepView {\n  /** 行内调用点 keep（lineNo → 条目；extractor 已归一 hidden） */\n  lineEntries(lineNo: number): KeepEntry[] | undefined\n  /** 函数体 exec.keep 登记（lineNo → 登记；DirectExecutor 提供） */\n  functionBody(lineNo: number): KeepRegistration | undefined\n}\n\n/** computeLiveShapes 的输入（与运行时视图解耦：值/名字由调用方提供）。 */\nexport interface LiveShapesInput {\n  lines: StatementSummary[]\n  blocks: UiMetadata['blocks']\n  keep: KeepView\n  /** 候选 shape/compound 变量名（ctx 键 ∩ 结构判定；与 allShapeVarNames 同源） */\n  shapeVarNames: Set<PartName>\n  /** 块单元产出：shape 名 → 块起始行（DirectExecutor 执行块前后 ctx diff 登记） */\n  blockOutputs?: Map<string, number>\n  /**\n   * 原地写回登记（P25 §3.7.4 规则 2）：裸调用行 → 写回目标变量名。\n   * DirectExecutor 执行期登记（修改类裸调用 `fai_drill(part0)` 把结果写回首参）；\n   * lastProducer 叠加时把该变量的最后写者锚到裸调用行——写回行之前的旧消费\n   * 不误伤写回后的新值（producer 精确化，见方案 §3.7.4）。\n   */\n  inplaceWrites?: Map<number, string>\n  /** 显式 return 终端（metadata.terminalShapes，非空优先——与现状一致） */\n  explicitTerminals?: TerminalShape[]\n}\n\n/**\n * 判定 statement 是否消费变量 v（keep 驱动，C0 → C3 → C5 短路）。\n * 输入是 StatementSummary（HostArg 引用形态）。\n * @param line - 消费检查目标语句（行级摘要）。\n * @param v - 被检查的候选 shape/compound 变量。\n * @param keep - keep 来源视图（行内 + 函数体登记）。\n * @param shapeVarNames - 存活候选名集合（C3 非几何输出判定用）。\n * @returns true 表示该语句消费 v（v 不得作为终端存活）。\n */\nexport function lineConsumes(\n  line: StatementSummary,\n  v: PartName,\n  keep: KeepView,\n  shapeVarNames: Set<PartName>,\n): boolean {\n  // C0/C1：keep 声明胜出——被声明的变量不被本语句消费\n  const fnKeep = keep.functionBody(line.line)\n  if (fnKeep && fnKeep.kept.has(v)) return false\n  const lineKeep = keep.lineEntries(line.line)\n  if (lineKeep?.some((e) => e.target === String(v))) return false\n\n  // C4（P25 §3.7 规则 1）：无赋值裸调用默认不消费——无论自赋值还是只读，\n  // 没有赋值绑定的语句不构成对输入的消费。覆盖 projectView(part)/fai_drill(part0)/\n  // volume(part) 等裸调用；修改类裸调用的写回经 inplaceWrites 登记（producer 精确化）。\n  if (!line.hasAssignment) return false\n\n  // C3：本语句有赋值且所有输出都是非几何 → 纯数据/测量/查询语句，不消费任何输入\n  if (\n    line.hasAssignment &&\n    line.outputs.length > 0 &&\n    shapeVarNames.size > 0 &&\n    line.outputs.every((o) => !shapeVarNames.has(o))\n  ) {\n    return false\n  }\n\n  // C5：默认消费——positional 顶层 var-ref / expr-ref refs；嵌套 call-ref 内只读。\n  // receiver 不消费（成员方法调用对 compound 的消费经 C5 扫描其 args）。\n  let consumed = false\n  const scan = (value: HostArg, inCallRef: boolean): void => {\n    if (consumed) return\n    if (value === null || typeof value !== 'object') return\n    if (isHostVarRef(value)) {\n      if (value.name !== String(v)) return\n      if (inCallRef) return // 嵌套调用内 = 只读查询\n      consumed = true\n      return\n    }\n    if (isHostExprRef(value)) {\n      if (inCallRef) return\n      if (value.refs.includes(String(v))) consumed = true\n      return\n    }\n    if (isHostCallRef(value)) {\n      for (const a of value.args) scan(a, true)\n      return\n    }\n    if (Array.isArray(value)) {\n      for (const item of value) scan(item as HostArg, inCallRef)\n      return\n    }\n    for (const vv of Object.values(value as Record<string, unknown>)) scan(vv as HostArg, inCallRef)\n  }\n  for (const parg of line.positional ?? []) scan(parg, false)\n  for (const vv of Object.values(line.args ?? {})) scan(vv, false)\n  return consumed\n}\n\n/**\n * 块单元词法级引用扫描（§4.3）：块源码文本中出现外部 shape 名 → 保守判为消费。\n * 只扫 range.start 行号 > producerIdx 的块（producer 之前的块不可能消费新值）。\n * @param blocks - 块元数据数组（UiMetadata.blocks）。\n * @param v - 被消费的变量名。\n * @param producerLine - 最后写者的行号。\n * @returns true 如果有 producer 之后的块词法消费了该变量。\n */\nexport function blockConsumes(\n  blocks: UiMetadata['blocks'],\n  v: string,\n  producerLine: number,\n): boolean {\n  for (const b of blocks) {\n    if (b.lineNo <= producerLine) continue\n    if (wordBoundaryMatch(b.source, v)) return true\n  }\n  return false\n}\n\nfunction wordBoundaryMatch(text: string, name: string): boolean {\n  const esc = name.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\$&')\n  return new RegExp(`\\\\b${esc}\\\\b`).test(text)\n}\n\n/**\n * 存活判定主算法（§4.4）：候选 = shapeVarNames（ctx 键 ∩ 结构判定）；\n * lastProducer = 单次正向遍历 + Map 覆盖写；逐个候选查 producer 之后是否有语句消费。\n *\n * hidden（D2）：最后一次保留声明胜出——函数体登记先铺，行内调用点按行号序覆盖。\n *\n * @param input - 存活判定输入（lines/blocks/keep 视图/shapeVarNames/块产出/显式终端）。\n * @returns TerminalShape[]（{ id } ∪ hidden），与原 computeLeafTerminals 形态兼容。\n */\nexport function computeLiveShapes(input: LiveShapesInput): TerminalShape[] {\n  const { lines, blocks, keep, shapeVarNames, blockOutputs, inplaceWrites } = input\n\n  // 显式 return 终端优先（与现状一致）\n  const explicit = input.explicitTerminals ?? []\n  if (explicit.length > 0) return explicit\n\n  // 0. hidden：最后一次保留声明胜出\n  //    先铺函数体登记（KeepView.functionBody），再按行号顺序用行级调用点覆盖\n  //    （Map 按插入序 = 行号序 → 调用点 > 函数体）。\n  const hiddenOf = new Map<PartName, boolean>()\n  for (const line of lines) {\n    const fn = keep.functionBody(line.line)\n    if (fn) {\n      for (const v of fn.kept) {\n        hiddenOf.set(v, fn.hidden.get(v) ?? false)\n      }\n    }\n  }\n  for (const line of lines) {\n    const entries = keep.lineEntries(line.line)\n    if (entries) {\n      for (const e of entries) {\n        hiddenOf.set(asPartName(e.target), e.hidden)\n      }\n    }\n  }\n\n  // 1. lastProducer：单次正向遍历 + Map 覆盖写\n  const lastProducer = new Map<string, number>()\n  for (let i = 0; i < lines.length; i++) {\n    const line = lines[i]\n    if (!line.hasAssignment) continue\n    for (const out of line.outputs) lastProducer.set(String(out), i)\n  }\n  // P25 §3.7.4：原地写回登记（DirectExecutor 执行期；行号 → 写回变量名）。\n  // 修改类裸调用（fai_drill(part0) 等）把结果写回首参——把该变量的最后写者锚到\n  // 裸调用行（producer 精确化）：写回行之前的旧消费只作用于旧值，不误伤新值。\n  if (inplaceWrites && inplaceWrites.size > 0) {\n    const lineIdxOf = new Map<number, number>()\n    lines.forEach((l, i) => {\n      if (!lineIdxOf.has(l.line)) lineIdxOf.set(l.line, i)\n    })\n    for (const [lineNo, name] of inplaceWrites) {\n      const idx = lineIdxOf.get(lineNo)\n      if (idx !== undefined) lastProducer.set(name, idx)\n    }\n  }\n\n  // 2. 逐个候选名判定\n  const terminals: TerminalShape[] = []\n  const seen = new Set<string>()\n  for (const partName of shapeVarNames) {\n    if (seen.has(String(partName))) continue\n    seen.add(String(partName))\n    const s = String(partName)\n\n    // producerIdx：取 lines 中最后写者 与 blockOutputs（块内写者）的较大者。\n    // 块在 lines 之后执行时，块是最后写者——用块的行号作锚点。\n    const lineIdx = lastProducer.get(s)\n    const blockIdx = blockOutputs?.get(s) !== undefined\n      ? blockIdxOf(lines, blockOutputs.get(s)!)\n      : undefined\n    let producerIdx: number | undefined\n    if (lineIdx !== undefined && blockIdx !== undefined) {\n      producerIdx = blockIdx > lineIdx ? blockIdx : lineIdx\n    } else {\n      producerIdx = lineIdx ?? blockIdx\n    }\n    if (producerIdx === undefined) {\n      // 无生产者（如宿主手工注入 / 跨文件引用）→ 直接终端\n      terminals.push(makeTerminal(partName, hiddenOf))\n      continue\n    }\n\n    let consumed = false\n    for (let i = producerIdx + 1; i < lines.length; i++) {\n      if (lineConsumes(lines[i], partName, keep, shapeVarNames)) {\n        consumed = true\n        break\n      }\n    }\n    if (!consumed && blocks.length > 0) {\n      if (blockConsumes(blocks, s, producerLineOf(lines, producerIdx, blockOutputs, s))) consumed = true\n    }\n    if (!consumed) terminals.push(makeTerminal(partName, hiddenOf))\n  }\n  return terminals\n}\n\n/** producer 行号（lines 下标 → 行号；块产出用块起始行）。\n * 当 blockIdx == lines.length（块行号 > 所有 lines 行号）时，返回块行号本身\n * （从 blockOutputs 反查），确保 blockConsumes 跳过该块（producer 块自身的引用\n * 是对旧值的消费，不应取消新值的终端资格）。 */\nfunction producerLineOf(lines: StatementSummary[], idx: number, blockOutputs?: Map<string, number>, name?: string): number {\n  if (idx >= lines.length && blockOutputs && name !== undefined) {\n    const blockLine = blockOutputs.get(name)\n    if (blockLine !== undefined) return blockLine\n  }\n  return lines[idx]?.line ?? 0\n}\n\n/** 块起始行 → lines 中第一个 >= 该行的下标（块产出候选的锚点）。 */\nfunction blockIdxOf(lines: StatementSummary[], blockLine: number): number {\n  for (let i = 0; i < lines.length; i++) {\n    if (lines[i].line >= blockLine) return i\n  }\n  return lines.length\n}\n\n/** 组装终端条目（hidden 缺省 undefined → 可见）。 */\nfunction makeTerminal(id: PartName, hiddenOf: Map<PartName, boolean>): TerminalShape {\n  const hidden = hiddenOf.get(id)\n  return hidden ? { id, hidden: true } : { id }\n}\n\n// ── 便捷构造（测试 / runtime 装配用） ──\n\n/**\n * 空 keep 视图（无行内 keep、无函数体登记）。\n * @returns 恒返回 undefined 的 KeepView。\n */\nexport function emptyKeepView(): KeepView {\n  return { lineEntries: () => undefined, functionBody: () => undefined }\n}\n\n/**\n * 由 UiMetadata.keep 表构造 KeepView（行内条目；函数体登记由调用方补充）。\n * @param meta - 含 keep 表的元数据（行号 → 行内 keep 条目）。\n * @returns KeepView（lineEntries 查 meta.keep；functionBody 恒空）。\n */\nexport function keepViewFromMetadata(meta: Pick<UiMetadata, 'keep'>): KeepView {\n  return {\n    lineEntries: (lineNo) => meta.keep.get(lineNo),\n    functionBody: () => undefined,\n  }\n}\n"]}