@sunshaobei/dsh-workflow 0.0.0-stage → 2.1.0

package/vendor/dynamic-workflow/facade/registry.js

@@ -0,0 +1,203 @@
+import ts from "typescript";
+import { FACADE_FILE_NAME } from "./dts.js";
+/**
+ * world-read 注册表。加原语=加一行。
+ *
+ * `git.log` 那一行是这张表存在的理由：它的成员名与顶层 `log()` 撞名，而这里的键带容器，
+ * 所以两者从不相遇（见本模块顶部）。
+ */
+export const WORLD_READ_REGISTRY = [
+    { container: "files", member: "glob", op: "glob" },
+    { container: "files", member: "read", op: "read" },
+    { container: "files", member: "grep", op: "grep" },
+    { container: "git", member: "changedFiles", op: "git-changed-files" },
+    { container: "git", member: "diff", op: "git-diff" },
+    { container: "git", member: "status", op: "git-status" },
+    { container: "git", member: "log", op: "git-log" },
+    // world.run：journal 化命令执行。同一张表、同一套
+    // 机制——「读」与「效应」的差别在授权面（编译期字面量 cmd + 确认窗）与 journal 的
+    // 节点种类（world-run），不在站点身份。
+    { container: "world", member: "run", op: "run" },
+];
+/** 产物注册表。加一个产物种类 = 加一行。 */
+export const ARTIFACT_REGISTRY = [
+    { container: "artifact", member: "file", op: "file", family: "content" },
+    { container: "artifact", member: "markdown", op: "markdown", family: "content" },
+    { container: "artifact", member: "chart", op: "chart", family: "preset" },
+    { container: "artifact", member: "table", op: "table", family: "preset" },
+    { container: "artifact", member: "metrics", op: "metrics", family: "preset" },
+    { container: "artifact", member: "board", op: "board", family: "preset" },
+];
+/**
+ * 注册表查询：(容器, 成员) → 产物行。非产物成员返回 undefined。
+ *
+ * 返回**表元素的字面量类型**（而不是宽化的 {@link ArtifactRow}）：`op` 与 `family` 的联合
+ * 类型全由这张表推导，宽化一次就等于把它们退回成 `string`，站点表与 lowering 也就跟着
+ * 失去分派依据。
+ */
+function artifactRow(container, member) {
+    if (container === undefined)
+        return undefined;
+    return ARTIFACT_REGISTRY.find((row) => row.container === container && row.member === member);
+}
+/** 某 facade symbol 解析到的产物行（按声明容器判定），非产物成员则 undefined。 */
+export function artifactRowOfSymbol(symbol) {
+    const member = facadeMemberOf(symbol);
+    if (member === undefined)
+        return undefined;
+    return artifactRow(member.container, member.member);
+}
+/** 某产物 op 属于哪一族。op 由注册表推导，故这里必然命中。 */
+export function artifactFamilyOf(op) {
+    const row = ARTIFACT_REGISTRY.find((candidate) => candidate.op === op);
+    if (row === undefined)
+        throw new Error(`unknown artifact op: ${op}`);
+    return row.family;
+}
+/** 该 op 是否为预置成员（声明族）。引擎与分析器都据它分派两条完全不同的路径。 */
+export function isArtifactPresetOp(op) {
+    return ARTIFACT_REGISTRY.some((row) => row.op === op && row.family === "preset");
+}
+/**
+ * `ask` 所在的容器：不是 world-read，但同为**产生站点**的 facade 成员，故 facade-siting
+ * 规则同样约束它（只允许直接调用）。放在这里是为了让"哪些成员产生站点"只有一份清单。
+ */
+const ASK_MEMBER = { container: "Agent", member: "ask" };
+/**
+ * 顶层 facade 函数中产生站点的那些（无容器）。`log` 不产生站点，故不在此。`hole` 在此：留白
+ * 有站点 id（名字键 `hole#<hash>`）与 host 调用（docs/dynamic-workflow/authoring.md「Holes」），身份同样按
+ * **声明文件**判定——脚本自己的 `hole` 函数是别人的函数。
+ */
+const SITE_PRODUCING_FUNCTIONS = ["agent", "report", "hole"];
+/**
+ * 某 facade symbol 解析到的产生站点的**顶层函数**（按声明判定：容器必须缺席）。
+ * 非 facade symbol、facade 容器成员、以及 `log` 之类不产生站点的顶层函数都返回 undefined。
+ */
+export function siteProducingFunctionOfSymbol(symbol) {
+    const member = facadeMemberOf(symbol);
+    if (member === undefined || member.container !== undefined)
+        return undefined;
+    return SITE_PRODUCING_FUNCTIONS.find((name) => name === member.member);
+}
+/**
+ * 顶层 facade 函数中**展示用的标记**：有 facade 身份，但不产生站点。目前只有 `phase`。
+ *
+ * 为什么它不在 {@link SITE_PRODUCING_FUNCTIONS} 里，而是自成一列：那份清单回答的是
+ * 「哪个顶层函数产生站点」，而 `phase` 没有站点 id、没有 journal 行、没有 host 调用——
+ * lowering 直接把它抹成 `void 0`。把它混进产生站点的清单会让 facade-misuse 的 pass 2（"产生站点却没被 site
+ * 掉的直接调用"）拒绝每一次合法的 `phase("gate")`。
+ *
+ * 它仍然是 facade 函数声明，所以别名逃逸（`const p = phase`）照旧被 facade-misuse 的
+ * pass 1 拒绝——lowering 因此可以放心按节点身份抹除。
+ */
+const MARKER_FUNCTIONS = ["phase"];
+/**
+ * 某 facade symbol 解析到的**展示标记**顶层函数（按声明判定：容器必须缺席），
+ * 非标记则 undefined。与 {@link siteProducingFunctionOfSymbol} 同形、刻意不同表。
+ */
+export function markerFunctionOfSymbol(symbol) {
+    const member = facadeMemberOf(symbol);
+    if (member === undefined || member.container !== undefined)
+        return undefined;
+    return MARKER_FUNCTIONS.find((name) => name === member.member);
+}
+/**
+ * 顶层 facade 函数中**纯值构造**的那些：有 facade 身份，但不产生站点、不过 host。目前只有
+ * `model`（docs/dynamic-workflow/authoring.md「Choosing a model per subagent」）。
+ *
+ * `ModelRef` 只活在类型系统里：运行期它就是模型名字符串本身，所以 lowering 把 `model("x")`
+ * 抹成实参 `"x"`，沙箱里既没有 `__host.model`，也没有 journal 行。与 `phase` 分列的理由同
+ * {@link MARKER_FUNCTIONS}：它不产生站点，混进产生站点的清单会让 facade-misuse 的 pass 2 拒绝
+ * 每一次合法调用；它仍是 facade 函数声明，所以别名逃逸（`const m = model`）照旧被 pass 1 拒绝，
+ * lowering 因此可以放心按节点身份抹除。
+ */
+const VALUE_FUNCTIONS = ["model"];
+/** 某 facade symbol 解析到的纯值顶层函数（按声明判定：容器必须缺席），否则 undefined。 */
+export function valueFunctionOfSymbol(symbol) {
+    const member = facadeMemberOf(symbol);
+    if (member === undefined || member.container !== undefined)
+        return undefined;
+    return VALUE_FUNCTIONS.find((name) => name === member.member);
+}
+/**
+ * 全部产生站点的 facade 成员名（world-read 成员 + `ask`）。**裸名字**清单，只可用于
+ * "先按名字取候选、再按声明验身份"的两段式判定——不可单独作为身份依据（见本模块顶部）。
+ *
+ * `git.log` 落地后这个集合里**含有 `"log"`**，而顶层 `log()` 不产生站点。这不是矛盾，
+ * 而是这份清单为什么只能当候选键的证明：身份必须由 (容器, 成员) 或声明解析给出，
+ * 名字本身答不了。唯一还被依赖的性质是**没有两个 facade 容器声明同名成员**——
+ * 集合不带容器，重名会让由它反查出的那个名字变得二义（facade-misuse 的诊断文案会引它）。
+ */
+export const SITE_MEMBER_NAMES = new Set([
+    ASK_MEMBER.member,
+    ...WORLD_READ_REGISTRY.map((row) => row.member),
+    ...ARTIFACT_REGISTRY.map((row) => row.member),
+]);
+/**
+ * 注册表查询：(容器, 成员) → op。容器为 undefined（顶层函数）时永不命中——world-read
+ * 一律挂在 facade 容器对象上。
+ */
+export function worldReadOp(container, member) {
+    if (container === undefined)
+        return undefined;
+    return WORLD_READ_REGISTRY.find((row) => row.container === container && row.member === member)
+        ?.op;
+}
+/**
+ * (容器, 成员) 是否为产生站点的 facade 调用（world-read、产物、`Agent.ask`、或顶层
+ * `agent`/`report`）。
+ *
+ * 产物成员在这里，与 `report` 同一条理由：它们有 journal 键（`artifact#N` × ordinal），
+ * 而一次没有站点的发布就是一行没有键的 journal 记录——那正是 facade-siting 规则要防的。
+ */
+export function isSiteProducing(container, member) {
+    if (container === undefined)
+        return SITE_PRODUCING_FUNCTIONS.some((name) => name === member);
+    if (container === ASK_MEMBER.container && member === ASK_MEMBER.member)
+        return true;
+    if (artifactRow(container, member) !== undefined)
+        return true;
+    return worldReadOp(container, member) !== undefined;
+}
+/**
+ * 一个 facade 声明所属的**容器名**：`declare const files: { glob(...) }` 的 `glob` → `"files"`，
+ * `declare interface Agent { ask(...) }` 的 `ask` → `"Agent"`，顶层 `declare function agent()` →
+ * undefined（无容器）。
+ *
+ * 实现：成员的声明是类型字面量/接口体里的一个 method/property signature，据此向上走到
+ * VariableDeclaration（const 容器）或 InterfaceDeclaration / TypeAliasDeclaration（命名类型容器）
+ * 取其名字。只认落在 facade `.d.ts` 里的声明——脚本自定义的同名成员一律 undefined。
+ */
+export function facadeContainerOf(declaration) {
+    if (declaration === undefined)
+        return undefined;
+    if (declaration.getSourceFile().fileName !== FACADE_FILE_NAME)
+        return undefined;
+    for (let node = declaration.parent; node !== undefined; node = node.parent) {
+        if (ts.isVariableDeclaration(node)) {
+            return ts.isIdentifier(node.name) ? node.name.text : undefined;
+        }
+        if (ts.isInterfaceDeclaration(node) || ts.isTypeAliasDeclaration(node))
+            return node.name.text;
+        if (ts.isSourceFile(node))
+            return undefined;
+    }
+    return undefined;
+}
+/**
+ * 一个 facade symbol 的 (容器, 成员) 身份。symbol 的任一声明落在 facade `.d.ts` 内即算命中；
+ * 容器由该声明向上解析（顶层 facade 函数无容器）。非 facade symbol → undefined。
+ */
+export function facadeMemberOf(symbol) {
+    const declaration = symbol?.declarations?.find((decl) => decl.getSourceFile().fileName === FACADE_FILE_NAME);
+    if (declaration === undefined || symbol === undefined)
+        return undefined;
+    return { container: facadeContainerOf(declaration), member: symbol.name };
+}
+/** 某 facade symbol 解析到的 world-read op（按声明容器判定），非 world-read 则 undefined。 */
+export function worldReadOpOfSymbol(symbol) {
+    const member = facadeMemberOf(symbol);
+    if (member === undefined)
+        return undefined;
+    return worldReadOp(member.container, member.member);
+}

package/vendor/dynamic-workflow/facade/report-caps.d.ts

@@ -0,0 +1,40 @@
+/**
+ * `report` 的上限常量。
+ *
+ * 与 `world-read-caps.ts` 分成两个模块，是因为两者的**执行侧不同**：world-read 的上限由
+ * driver 执行（只有它能"不生产"——让 ripgrep 在 2000 条上停手），report 的上限由**引擎核心**
+ * 执行（report 不过 driver，它在核心里落 journal 就结束了）。同一个模块会让读者以为它们由
+ * 同一侧强制；数字都是契约这一点则两处相同。
+ *
+ * 溢出的策略是**失败整个 run**（`ReportCapExceeded`），而不是像 world-read 那样拒绝节点。
+ * 这不是严重程度的判断而是**拒绝通道**的事实：`report` 返回 `void`，脚本没有地方 `catch`。
+ * 也正因为脚本作者写不出恢复路径，这两个数字必须宽到一份讲道理的脚本永远碰不到。
+ */
+/**
+ * 每个 run 的报告条数、单条序列化字节数与 run 级字节总数上限。数字即契约（见本模块顶部）。
+ *
+ * 真正受限的资源是**字节**（磁盘上每条存两份：节点行一份、事件一份）；条数与单条字节只是它的
+ * 两个代理。三者一起给出最坏情形：一个 run 的 item 至多 1 GiB，磁盘上约 2 GiB。
+ */
+export declare const REPORT_CAPS: {
+    /**
+     * 一个 run 内 `report` 的最大条数。原为 256：那是节点上限（100）还在时按「与之同宽」定的，
+     * 节点上限删掉之后，一次「每个任务报一条」的扇出就能合理地撞上它，而撞上的代价是整个 run
+     * 失败。条数本身不贵：没有读者会把超出展示界的 item 读进内存（docs/execution-engine.md
+     * 「Reading the journal」），磁盘上的总量由 {@link REPORT_CAPS.maxBytesPerRun} 管。
+     */
+    readonly maxItemsPerRun: 65536;
+    /**
+     * 单条 item 序列化后的最大字节数。原为 32 KiB；1 MiB 的界来自一条 item 要能放进一个协议
+     * 消息（单帧上限 16 MiB，看板与事件日志一页 4 MiB 且至少带一条），并给读取整条 item 的
+     * 读者留出余量——冷回放与 GetWorkflowRun 一次最多读 64 条，即至多 64 MiB 的瞬时内存。
+     * 更大的产出该走 `artifact.file`（上限 20 MiB，按块读取）。
+     */
+    readonly maxItemSerializedBytes: number;
+    /**
+     * 一个 run 内全部 item 的序列化字节总数上限。没有它，65,536 条 × 1 MiB 就是 64 GiB 的
+     * item（磁盘上 128 GiB）。resume 时由 `sumResultBytes` 从 journal 恢复，跨 resume 连续。
+     */
+    readonly maxBytesPerRun: number;
+};
+//# sourceMappingURL=report-caps.d.ts.map

package/vendor/dynamic-workflow/facade/report-caps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-caps.d.ts","sourceRoot":"","sources":["../../src/facade/report-caps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,WAAW;IACtB;;;;;OAKG;;IAEH;;;;;OAKG;;IAEH;;;OAGG;;CAEK,CAAC"}

package/vendor/dynamic-workflow/facade/report-caps.js

@@ -0,0 +1,39 @@
+/**
+ * `report` 的上限常量。
+ *
+ * 与 `world-read-caps.ts` 分成两个模块，是因为两者的**执行侧不同**：world-read 的上限由
+ * driver 执行（只有它能"不生产"——让 ripgrep 在 2000 条上停手），report 的上限由**引擎核心**
+ * 执行（report 不过 driver，它在核心里落 journal 就结束了）。同一个模块会让读者以为它们由
+ * 同一侧强制；数字都是契约这一点则两处相同。
+ *
+ * 溢出的策略是**失败整个 run**（`ReportCapExceeded`），而不是像 world-read 那样拒绝节点。
+ * 这不是严重程度的判断而是**拒绝通道**的事实：`report` 返回 `void`，脚本没有地方 `catch`。
+ * 也正因为脚本作者写不出恢复路径，这两个数字必须宽到一份讲道理的脚本永远碰不到。
+ */
+/**
+ * 每个 run 的报告条数、单条序列化字节数与 run 级字节总数上限。数字即契约（见本模块顶部）。
+ *
+ * 真正受限的资源是**字节**（磁盘上每条存两份：节点行一份、事件一份）；条数与单条字节只是它的
+ * 两个代理。三者一起给出最坏情形：一个 run 的 item 至多 1 GiB，磁盘上约 2 GiB。
+ */
+export const REPORT_CAPS = {
+    /**
+     * 一个 run 内 `report` 的最大条数。原为 256：那是节点上限（100）还在时按「与之同宽」定的，
+     * 节点上限删掉之后，一次「每个任务报一条」的扇出就能合理地撞上它，而撞上的代价是整个 run
+     * 失败。条数本身不贵：没有读者会把超出展示界的 item 读进内存（docs/execution-engine.md
+     * 「Reading the journal」），磁盘上的总量由 {@link REPORT_CAPS.maxBytesPerRun} 管。
+     */
+    maxItemsPerRun: 65_536,
+    /**
+     * 单条 item 序列化后的最大字节数。原为 32 KiB；1 MiB 的界来自一条 item 要能放进一个协议
+     * 消息（单帧上限 16 MiB，看板与事件日志一页 4 MiB 且至少带一条），并给读取整条 item 的
+     * 读者留出余量——冷回放与 GetWorkflowRun 一次最多读 64 条，即至多 64 MiB 的瞬时内存。
+     * 更大的产出该走 `artifact.file`（上限 20 MiB，按块读取）。
+     */
+    maxItemSerializedBytes: 1024 * 1024,
+    /**
+     * 一个 run 内全部 item 的序列化字节总数上限。没有它，65,536 条 × 1 MiB 就是 64 GiB 的
+     * item（磁盘上 128 GiB）。resume 时由 `sumResultBytes` 从 journal 恢复，跨 resume 连续。
+     */
+    maxBytesPerRun: 1024 * 1024 * 1024,
+};

package/vendor/dynamic-workflow/facade/world-read-caps.d.ts

@@ -0,0 +1,37 @@
+/**
+ * world-read 的上限常量。
+ *
+ * **执行在 driver，常量在纯包**，两件事分开是有原因的：只有 driver 那一侧能"不生产"——
+ * 让 ripgrep 在 2000 条上停手，胜过物化一百万条再回头量。但常量属于契约而不是 driver
+ * 私有：引擎与编译侧的用例要按它们断言，而一个只写在 driver 里的数字，测试只能复制一份，
+ * 于是有一天两份不相等。
+ *
+ * 溢出的策略是**拒绝节点**（`WorldReadCapExceeded`，脚本可 `catch`），绝不截断后加个标志位。
+ * 截断把一份悄悄残缺的世界视图交给脚本，而脚本接下来会拿它去扇出——扇出才是贵的那一步。
+ */
+/** grep / git.diff / git.log 的上限。数字即契约（见本模块顶部）。 */
+export declare const WORLD_READ_CAPS: {
+    /**
+     * `files.glob` 的最大匹配文件数。之前 glob 没有自己的 cap，于是文件系统
+     * 端口面向 UI 工具的默认值（100，mtime 降序）静默生效——正是本注册表要禁止的
+     * "静默夹到上限"。所有 world-read 的 cap 都必须在这里拥有名字。
+     */
+    readonly globMaxFiles: 2000;
+    /** `files.grep` 的最大命中条数。 */
+    readonly grepMaxMatches: 2000;
+    /** `files.grep` 结果序列化后的最大字节数（与条数上限**先到先拒**）。 */
+    readonly grepMaxSerializedBytes: number;
+    /** `git.diff` 输出的最大字节数。 */
+    readonly gitDiffMaxBytes: number;
+    /** `git.log` 可请求的最大条数；超过即结构化拒绝，而不是静默夹到上限。 */
+    readonly gitLogMaxCount: 100;
+    /** `git.log` 未指定 count 时的条数。 */
+    readonly gitLogDefaultCount: 20;
+    /** `world.run` stdout 的最大字节数（拒绝不截断，cap+1 探测）。 */
+    readonly runStdoutMaxBytes: number;
+    /** `world.run` stderr 的最大字节数（同上）。 */
+    readonly runStderrMaxBytes: number;
+    /** `world.run` 未指定 timeoutMs 时的墙钟（ms）。**无上限钳制**：为真正长跑的测试设计。 */
+    readonly runDefaultTimeoutMs: 300000;
+};
+//# sourceMappingURL=world-read-caps.d.ts.map

package/vendor/dynamic-workflow/facade/world-read-caps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"world-read-caps.d.ts","sourceRoot":"","sources":["../../src/facade/world-read-caps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,mDAAmD;AACnD,eAAO,MAAM,eAAe;IAC1B;;;;OAIG;;IAEH,4BAA4B;;IAE5B,gDAAgD;;IAEhD,2BAA2B;;IAE3B,6CAA6C;;IAE7C,gCAAgC;;IAEhC,iDAAiD;;IAEjD,qCAAqC;;IAErC,+DAA+D;;CAEvD,CAAC"}

package/vendor/dynamic-workflow/facade/world-read-caps.js

@@ -0,0 +1,36 @@
+/**
+ * world-read 的上限常量。
+ *
+ * **执行在 driver，常量在纯包**，两件事分开是有原因的：只有 driver 那一侧能"不生产"——
+ * 让 ripgrep 在 2000 条上停手，胜过物化一百万条再回头量。但常量属于契约而不是 driver
+ * 私有：引擎与编译侧的用例要按它们断言，而一个只写在 driver 里的数字，测试只能复制一份，
+ * 于是有一天两份不相等。
+ *
+ * 溢出的策略是**拒绝节点**（`WorldReadCapExceeded`，脚本可 `catch`），绝不截断后加个标志位。
+ * 截断把一份悄悄残缺的世界视图交给脚本，而脚本接下来会拿它去扇出——扇出才是贵的那一步。
+ */
+/** grep / git.diff / git.log 的上限。数字即契约（见本模块顶部）。 */
+export const WORLD_READ_CAPS = {
+    /**
+     * `files.glob` 的最大匹配文件数。之前 glob 没有自己的 cap，于是文件系统
+     * 端口面向 UI 工具的默认值（100，mtime 降序）静默生效——正是本注册表要禁止的
+     * "静默夹到上限"。所有 world-read 的 cap 都必须在这里拥有名字。
+     */
+    globMaxFiles: 2000,
+    /** `files.grep` 的最大命中条数。 */
+    grepMaxMatches: 2000,
+    /** `files.grep` 结果序列化后的最大字节数（与条数上限**先到先拒**）。 */
+    grepMaxSerializedBytes: 256 * 1024,
+    /** `git.diff` 输出的最大字节数。 */
+    gitDiffMaxBytes: 512 * 1024,
+    /** `git.log` 可请求的最大条数；超过即结构化拒绝，而不是静默夹到上限。 */
+    gitLogMaxCount: 100,
+    /** `git.log` 未指定 count 时的条数。 */
+    gitLogDefaultCount: 20,
+    /** `world.run` stdout 的最大字节数（拒绝不截断，cap+1 探测）。 */
+    runStdoutMaxBytes: 256 * 1024,
+    /** `world.run` stderr 的最大字节数（同上）。 */
+    runStderrMaxBytes: 256 * 1024,
+    /** `world.run` 未指定 timeoutMs 时的墙钟（ms）。**无上限钳制**：为真正长跑的测试设计。 */
+    runDefaultTimeoutMs: 300_000,
+};

package/vendor/dynamic-workflow/index.d.ts

@@ -0,0 +1,41 @@
+export { FACADE_DTS, FACADE_FILE_NAME, SNIPPET_FACADE_DTS } from "./facade/dts.js";
+export { HOLE_SITE_ID_PATTERN, holePrefixOf, holeSiteId, isHoleSiteId, } from "./analysis/hole-id.js";
+export { WORLD_READ_CAPS } from "./facade/world-read-caps.js";
+export { REPORT_CAPS } from "./facade/report-caps.js";
+export { ARTIFACT_CAPS, ARTIFACT_ID_PATTERN } from "./facade/artifact-caps.js";
+export { ARTIFACT_REGISTRY, artifactFamilyOf, isArtifactPresetOp, type ArtifactContentOp, type ArtifactOp, type ArtifactPresetOp, type ArtifactRow, } from "./facade/registry.js";
+export { ARTIFACT_DECLARATION_CODE, ARTIFACT_HOISTING_CODE, ARTIFACT_PRIMARY_CONFLICT_CODE, collectArtifactDeclarations, type ArtifactDeclarations, type DeclaredArtifact, } from "./analysis/artifacts.js";
+export { collectDiagnostics, compileWorkflowScript, createWorkflowProgram, SCRIPT_FILE_NAME, type CompileDiagnostic, type CompileResult, type CreateWorkflowProgramOptions, type ScriptLoc, type WorkflowProgram, } from "./compiler/compile.js";
+export { analyzeWorkflowScript, type AnalyzeResult } from "./analysis/analyze.js";
+export { MODEL_REFERENCE_CODE, MODEL_UNRESOLVED_CODE, type ModelReference, } from "./analysis/actor-models.js";
+export { collectSites, type SiteTable } from "./analysis/sites.js";
+export { collectWorldRunCommands, WORLD_RUN_LITERAL_CODE, type WorldRunCommands, } from "./analysis/world-run.js";
+export { collectPhaseMarkerDiagnostics, PHASE_MARKER_CODE } from "./analysis/phases.js";
+export { collectPhaseNames, collectSitePhases } from "./analysis/site-phases.js";
+export { collectHoleDiagnostics, HOLE_CODE, HOLE_NAME_MAX_CHARS } from "./analysis/hole-sites.js";
+export type { HoleSite } from "./analysis/sites.js";
+export { checkSiteStability, spliceHoleBody, type SiteStability, type SplicedHoleBody, } from "./analysis/hole-splice.js";
+export { MAIN_LANE } from "./analysis/causality-graph.js";
+export type { FlowHole } from "./analysis/flow-graph.js";
+export { interpret } from "./analysis/interpret.js";
+export { toActorGraph, type ActorEdge, type ActorGraph, type ActorNode, } from "./analysis/actor-graph.js";
+export { SINK_ID, UNKNOWN_LANE, WORKSPACE_LANE, type CausalityGraph, type Certainty, type Lane, type NamePattern, type OrderEdge, type OrderKind, type Phase, type Region, type RegionKind, type Step, type StepKind, } from "./analysis/causality-graph.js";
+export { reduceOrdering, type ReducibleEdge } from "./analysis/causality-reduce.js";
+export { UNPHASED_ID, type JumpKind, type StructuralRegionKind, type TraceRegionKind, } from "./analysis/causality-order.js";
+export { FLOW_ABORT, FLOW_ENTRY, FLOW_SINK, projectControlFlow, type ControlFlowGraph, type FlowEdge, type FlowEdgeKind, type FlowNode, type FlowNodeKind, type FlowPhase, type FlowVia, } from "./analysis/flow-graph.js";
+export { actorGraphToMermaid, causalityGraphToMermaid, controlFlowToMermaid, handoffGraphToMermaid, phaseFlowToMermaid, phaseGraphToMermaid, siteGraphToMermaid, } from "./analysis/mermaid.js";
+export { serializeCausalityGraph, serializeControlFlow, serializeHandoffGraph, } from "./analysis/serialize.js";
+export { FANOUT_EXPAND_CAP, projectHandoffGraph, UNPHASED, type Handoff, type HandoffGraph, type HandoffParticipant, } from "./analysis/handoff-graph.js";
+export { serializeCore, type AnalysisCore, type CoreActorSite, type CoreAskSite, type CoreFacts, type CoreFanoutSite, type CoreHoleSite, type CoreSimpleSite, type CoreSites, type CoreTypes, } from "./analysis/core.js";
+export { decodeAnalysisCore, encodeAnalysisCore, type AnalysisCoreJson, } from "./analysis/core-json.js";
+export type { ActorSite, SiteEdge, SiteGraph, SiteKind, SiteLoc, SiteNode, } from "./analysis/types.js";
+export { buildAskSpecs, synthesizeAskSchemas, synthesizeWorkflowSchemas, type SchemaSynthesisResult, } from "./schema/synthesize.js";
+export { validate, formatViolation, formatViolations } from "./schema/validate.js";
+export { GENERIC_SUBMIT_PROFILE, deriveActorSubmitProfiles, deriveActorSubmitProfilesFor, type ActorSubmitProfile, } from "./schema/actor-submit-profiles.js";
+export { serializeSchema } from "./schema/serialize.js";
+export { MAX_UNION_MEMBERS, SCHEMA_DIAGNOSTIC_CODE, type JsonSchema, type JsonSchemaType, type JsonValue, type Violation, } from "./schema/types.js";
+export { HOST_BINDING, lowerWorkflow, lowerWorkflowScript, type LoweredWorkflow, type LowerResult, } from "./lowering/index.js";
+export { WorkflowEngine, InMemoryJournalStore, ALL_EVENTS, NODE_KINDS, NON_REPORT_NODE_KINDS, type GetNodeOptions, type ListActorsOptions, type ListNodesOptions, type RunEventType, WorkflowError, INSTRUCTIONS_HEAD_MAX_CHARS, LAST_TOOL_NAME_MAX_CHARS, LAST_TOOL_TARGET_MAX_CHARS, NUDGE_ATTEMPTS, REPAIR_ATTEMPTS, canonicalJson, fnv1a, inputHash, refToString, type ActorId, type ActorRecord, type ActorRef, type ActorSessionSeed, type ArtifactPublishRequest, type ArtifactRef, type ArtifactVersionRecord, type AskMessage, type AskLastTool, type AskProgress, type AskSpec, type AskStats, type Caps, type EngineConfig, type ImportedActorCandidate, type ImportedAskEntry, type ImportedInFlightAsk, type ImportedRunCache, type ImportedWorldEntry, type InstanceRef, type JournalStorePort, type ListEventsOptions, type NodeKind, type NodeOutcome, type NodeRecord, type NodeRecordStatus, type WorldReadInput, WORLD_READ_INPUT_MAX_BYTES, type PersonaSpec, type RunEvent, type RunRecord, type RunSettlement, type RunSettlementRecord, type RunStallInfo, type RunStatus, type RunStopReason, type SessionRef, type StoredEvent, type SubmitVerdict, type ValidateFn, type WorkflowDriver, type WorkflowErrorCode, type WorkflowErrorJson, type ProviderStopDetails, type WorkflowErrorMismatch, type WorkflowHostApi, type WorkflowReportSink, type WorldReadOp, type AskWaitInfo, type ConcurrencyChange, type ConcurrencyChangeReason, } from "./engine/index.js";
+export { ConcurrencyController, CONCURRENCY_DECREASE_FACTOR, CONCURRENCY_FLOOR, CONCURRENCY_IDLE_RESET_MS, CONCURRENCY_INCREASE_AFTER_SUCCESSES, CONCURRENCY_INCREASE_STEP, type ConcurrencyControllerSnapshot, type ConcurrencyThrottleReason, } from "./engine/index.js";
+export { HOLE_PROMPT_MAX_CHARS, type FilledHole, type FillHoleResult, type HoleFill, type OpenHole, } from "./engine/index.js";
+//# sourceMappingURL=index.d.ts.map

package/vendor/dynamic-workflow/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACnF,OAAO,EACL,oBAAoB,EACpB,YAAY,EACZ,UAAU,EACV,YAAY,GACb,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAC/E,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,KAAK,iBAAiB,EACtB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,WAAW,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACtB,8BAA8B,EAC9B,2BAA2B,EAC3B,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,GACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,4BAA4B,EACjC,KAAK,SAAS,EACd,KAAK,eAAe,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,KAAK,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,KAAK,cAAc,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,KAAK,gBAAgB,GACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAGjF,OAAO,EAAE,sBAAsB,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAClG,YAAY,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,KAAK,aAAa,EAClB,KAAK,eAAe,GACrB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,YAAY,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EACL,YAAY,EACZ,KAAK,SAAS,EACd,KAAK,UAAU,EACf,KAAK,SAAS,GACf,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,OAAO,EACP,YAAY,EACZ,cAAc,EACd,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,IAAI,EACT,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,KAAK,EACV,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,IAAI,EACT,KAAK,QAAQ,GACd,MAAM,+BAA+B,CAAC;AAIvC,OAAO,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACpF,OAAO,EACL,WAAW,EACX,KAAK,QAAQ,EACb,KAAK,oBAAoB,EACzB,KAAK,eAAe,GACrB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,UAAU,EACV,UAAU,EACV,SAAS,EACT,kBAAkB,EAClB,KAAK,gBAAgB,EACrB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,SAAS,EACd,KAAK,OAAO,GACb,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,QAAQ,EACR,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,KAAK,kBAAkB,GACxB,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,aAAa,EACb,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,SAAS,GACf,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,KAAK,gBAAgB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,SAAS,EACT,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,OAAO,EACP,QAAQ,GACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,yBAAyB,EACzB,KAAK,qBAAqB,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEnF,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,4BAA4B,EAC5B,KAAK,kBAAkB,GACxB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,SAAS,GACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,WAAW,GACjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,UAAU,EACV,UAAU,EACV,qBAAqB,EACrB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,aAAa,EACb,2BAA2B,EAC3B,wBAAwB,EACxB,0BAA0B,EAC1B,cAAc,EACd,eAAe,EACf,aAAa,EACb,KAAK,EACL,SAAS,EACT,WAAW,EACX,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,QAAQ,EACb,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,WAAW,EAChB,KAAK,qBAAqB,EAC1B,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,OAAO,EACZ,KAAK,QAAQ,EACb,KAAK,IAAI,EACT,KAAK,YAAY,EACjB,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,0BAA0B,EAC1B,KAAK,WAAW,EAChB,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,YAAY,EACjB,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,GAC7B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,iBAAiB,EACjB,yBAAyB,EACzB,oCAAoC,EACpC,yBAAyB,EACzB,KAAK,6BAA6B,EAClC,KAAK,yBAAyB,GAC/B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,qBAAqB,EACrB,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,QAAQ,EACb,KAAK,QAAQ,GACd,MAAM,mBAAmB,CAAC"}

package/vendor/dynamic-workflow/index.js

@@ -0,0 +1,51 @@
+export { FACADE_DTS, FACADE_FILE_NAME, SNIPPET_FACADE_DTS } from "./facade/dts.js";
+export { HOLE_SITE_ID_PATTERN, holePrefixOf, holeSiteId, isHoleSiteId, } from "./analysis/hole-id.js";
+export { WORLD_READ_CAPS } from "./facade/world-read-caps.js";
+export { REPORT_CAPS } from "./facade/report-caps.js";
+// 用户面产物：上限常量、注册表词汇、编译期清单与诊断。
+export { ARTIFACT_CAPS, ARTIFACT_ID_PATTERN } from "./facade/artifact-caps.js";
+export { ARTIFACT_REGISTRY, artifactFamilyOf, isArtifactPresetOp, } from "./facade/registry.js";
+export { ARTIFACT_DECLARATION_CODE, ARTIFACT_HOISTING_CODE, ARTIFACT_PRIMARY_CONFLICT_CODE, collectArtifactDeclarations, } from "./analysis/artifacts.js";
+export { collectDiagnostics, compileWorkflowScript, createWorkflowProgram, SCRIPT_FILE_NAME, } from "./compiler/compile.js";
+export { analyzeWorkflowScript } from "./analysis/analyze.js";
+export { MODEL_REFERENCE_CODE, MODEL_UNRESOLVED_CODE, } from "./analysis/actor-models.js";
+export { collectSites } from "./analysis/sites.js";
+export { collectWorldRunCommands, WORLD_RUN_LITERAL_CODE, } from "./analysis/world-run.js";
+export { collectPhaseMarkerDiagnostics, PHASE_MARKER_CODE } from "./analysis/phases.js";
+export { collectPhaseNames, collectSitePhases } from "./analysis/site-phases.js";
+// 留白（docs/dynamic-workflow/authoring.md「Holes」）：规则 9012、站点类型、补全服务的拼接与
+// 稳定性复核。
+export { collectHoleDiagnostics, HOLE_CODE, HOLE_NAME_MAX_CHARS } from "./analysis/hole-sites.js";
+export { checkSiteStability, spliceHoleBody, } from "./analysis/hole-splice.js";
+export { MAIN_LANE } from "./analysis/causality-graph.js";
+export { interpret } from "./analysis/interpret.js";
+export { toActorGraph, } from "./analysis/actor-graph.js";
+export { SINK_ID, UNKNOWN_LANE, WORKSPACE_LANE, } from "./analysis/causality-graph.js";
+// 贪心不可约传递归约。display
+// 裁剪层复用它对单一种类的边做无类型归约
+// ——全部前向边同 kind、回边作 carry，它就退化成普通的不可约归约，且在有环输入上可靠。
+export { reduceOrdering } from "./analysis/causality-reduce.js";
+export { UNPHASED_ID, } from "./analysis/causality-order.js";
+// 控制流投影：occurrence 级 CFG 与阶段商。
+export { FLOW_ABORT, FLOW_ENTRY, FLOW_SINK, projectControlFlow, } from "./analysis/flow-graph.js";
+export { actorGraphToMermaid, causalityGraphToMermaid, controlFlowToMermaid, handoffGraphToMermaid, phaseFlowToMermaid, phaseGraphToMermaid, siteGraphToMermaid, } from "./analysis/mermaid.js";
+// 因果图的规范文本形式（快照面）。
+export { serializeCausalityGraph, serializeControlFlow, serializeHandoffGraph, } from "./analysis/serialize.js";
+// 交接图投影：板面第二层的参与者卡与交接边。
+export { FANOUT_EXPAND_CAP, projectHandoffGraph, UNPHASED, } from "./analysis/handoff-graph.js";
+// 统一分析的核心产物与其规范文本形式：
+// 站点图 / 因果图 / actor 图都是它上面的纯投影。
+export { serializeCore, } from "./analysis/core.js";
+// core 的 JSON 编解码：样例包把 `AnalysisCore` 冻结成
+// `core.json`，下游浏览器端在冻结产物上现场重算投影；Map 以有序 `[key, value][]` 落盘。
+export { decodeAnalysisCore, encodeAnalysisCore, } from "./analysis/core-json.js";
+export { buildAskSpecs, synthesizeAskSchemas, synthesizeWorkflowSchemas, } from "./schema/synthesize.js";
+export { validate, formatViolation, formatViolations } from "./schema/validate.js";
+// 每个 actor 站点的 submit profile：编译期决定子代理拿 typed / generic / 无 submit_result 工具。
+export { GENERIC_SUBMIT_PROFILE, deriveActorSubmitProfiles, deriveActorSubmitProfilesFor, } from "./schema/actor-submit-profiles.js";
+export { serializeSchema } from "./schema/serialize.js";
+export { MAX_UNION_MEMBERS, SCHEMA_DIAGNOSTIC_CODE, } from "./schema/types.js";
+export { HOST_BINDING, lowerWorkflow, lowerWorkflowScript, } from "./lowering/index.js";
+export { WorkflowEngine, InMemoryJournalStore, ALL_EVENTS, NODE_KINDS, NON_REPORT_NODE_KINDS, WorkflowError, INSTRUCTIONS_HEAD_MAX_CHARS, LAST_TOOL_NAME_MAX_CHARS, LAST_TOOL_TARGET_MAX_CHARS, NUDGE_ATTEMPTS, REPAIR_ATTEMPTS, canonicalJson, fnv1a, inputHash, refToString, WORLD_READ_INPUT_MAX_BYTES, } from "./engine/index.js";
+export { ConcurrencyController, CONCURRENCY_DECREASE_FACTOR, CONCURRENCY_FLOOR, CONCURRENCY_IDLE_RESET_MS, CONCURRENCY_INCREASE_AFTER_SUCCESSES, CONCURRENCY_INCREASE_STEP, } from "./engine/index.js";
+export { HOLE_PROMPT_MAX_CHARS, } from "./engine/index.js";

package/vendor/dynamic-workflow/lowering/index.d.ts

@@ -0,0 +1,2 @@
+export { HOST_BINDING, lowerWorkflow, lowerWorkflowScript, type LoweredWorkflow, type LowerResult, } from "./lower.js";
+//# sourceMappingURL=index.d.ts.map

package/vendor/dynamic-workflow/lowering/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lowering/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,WAAW,GACjB,MAAM,YAAY,CAAC"}

package/vendor/dynamic-workflow/lowering/index.js

@@ -0,0 +1 @@
+export { HOST_BINDING, lowerWorkflow, lowerWorkflowScript, } from "./lower.js";

package/vendor/dynamic-workflow/lowering/lower-hole.d.ts

@@ -0,0 +1,16 @@
+import ts from "typescript";
+import type { HoleSite } from "../analysis/sites.js";
+/** 两趟降级共用的擦除选项：主体与留白函数体必须由**同一套**参数产出（execution-engine.md「The text that runs」）。 */
+export declare const TRANSPILE_OPTIONS: ts.CompilerOptions;
+/** 一次留白调用的改写；已补全的留白把改写后的函数体记进 `bodies`，供 {@link printHoleBodies} 打印。 */
+export declare function lowerHoleCall(call: ts.CallExpression, site: HoleSite, factory: ts.NodeFactory, hostMember: (name: string) => ts.Expression, siteArg: (id: string) => ts.Expression, visitExpr: (expr: ts.Expression) => ts.Expression, bodies: Map<string, ts.Expression>): ts.Expression;
+/**
+ * 每个已补全留白的函数体，作为**打印过、擦除过类型**的文本 `(async () => {\n…\n})`：活的补全
+ * 让 cell 对它 `eval`，之后的 replay 则跑主体里内联的同一份改写——两条路的每个站点都带同样的
+ * `hole#<hash>/…` id，因为文本来自同一趟 transform（execution-engine.md「The text that runs」）。
+ *
+ * 打印成表达式语句再擦除，尾随的 `;\n` 是 transpile 加的语句结束，去掉——留下的就是一个可以
+ * 直接 `eval` 成函数值的括号表达式。
+ */
+export declare function printHoleBodies(bodies: ReadonlyMap<string, ts.Expression>, printer: ts.Printer, sourceFile: ts.SourceFile): Record<string, string>;
+//# sourceMappingURL=lower-hole.d.ts.map

package/vendor/dynamic-workflow/lowering/lower-hole.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower-hole.d.ts","sourceRoot":"","sources":["../../src/lowering/lower-hole.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAsBrD,mFAAmF;AACnF,eAAO,MAAM,iBAAiB,EAAE,EAAE,CAAC,eAMlC,CAAC;AAEF,wEAAwE;AACxE,wBAAgB,aAAa,CAC3B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,EAAE,CAAC,UAAU,EAC3C,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,EAAE,CAAC,UAAU,EACtC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,KAAK,EAAE,CAAC,UAAU,EACjD,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,GACjC,EAAE,CAAC,UAAU,CAqBf;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,EAC1C,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAWxB"}

package/vendor/dynamic-workflow/lowering/lower-hole.js

@@ -0,0 +1,63 @@
+import ts from "typescript";
+/**
+ * 留白的降级（execution-engine.md「From script to sandbox input: lowering」的两行 hole，
+ * 与「The vm cell」）：
+ *
+ *   hole<T>(n, p?)                 -> __host.hole("hole#1", n, p ?? void 0, (__src) => eval(__src))
+ *   hole<T>(n, p?, async () => …)  -> __host.hole("hole#1", n, p ?? void 0, (__src) => eval(__src),
+ *                                                 async () => { …lowered body… })
+ *
+ * 最后那个 `(__src) => eval(__src)` 是**在站点处**发出的求值器：它的 `eval` 是直接调用，所以
+ * 补全的文本在留白的词法作用域里求值——能读到留白之前的每个绑定、`__host` 也在内；每次到达
+ * 都新造一个求值器，循环里的留白因此拿到每一轮的绑定。已补全的留白把函数体当第五个实参传过
+ * 去，cell 直接调用它、不发消息。
+ *
+ * 从 lower.ts 拆出（max-lines 门），且刻意只做纯函数：改写按站点表给的节点身份走，与其余
+ * 站点同一趟 transform，不再识别第二遍。
+ */
+/** 求值器的形参名：cell 把补全文本喂给它。 */
+const EVALUATOR_PARAM = "__src";
+/** 两趟降级共用的擦除选项：主体与留白函数体必须由**同一套**参数产出（execution-engine.md「The text that runs」）。 */
+export const TRANSPILE_OPTIONS = {
+    isolatedModules: false,
+    module: ts.ModuleKind.ESNext,
+    newLine: ts.NewLineKind.LineFeed,
+    removeComments: false,
+    target: ts.ScriptTarget.ES2022,
+};
+/** 一次留白调用的改写；已补全的留白把改写后的函数体记进 `bodies`，供 {@link printHoleBodies} 打印。 */
+export function lowerHoleCall(call, site, factory, hostMember, siteArg, visitExpr, bodies) {
+    const [first] = call.arguments;
+    const name = first === undefined ? factory.createVoidZero() : visitExpr(first);
+    const prompt = site.prompt === undefined ? factory.createVoidZero() : visitExpr(site.prompt);
+    const evaluator = factory.createArrowFunction(undefined, undefined, [factory.createParameterDeclaration(undefined, undefined, EVALUATOR_PARAM)], undefined, factory.createToken(ts.SyntaxKind.EqualsGreaterThanToken), factory.createCallExpression(factory.createIdentifier("eval"), undefined, [
+        factory.createIdentifier(EVALUATOR_PARAM),
+    ]));
+    const args = [siteArg(site.id), name, prompt, evaluator];
+    if (site.body !== undefined) {
+        const body = visitExpr(site.body);
+        bodies.set(site.id, body);
+        args.push(body);
+    }
+    return factory.createCallExpression(hostMember("hole"), undefined, args);
+}
+/**
+ * 每个已补全留白的函数体，作为**打印过、擦除过类型**的文本 `(async () => {\n…\n})`：活的补全
+ * 让 cell 对它 `eval`，之后的 replay 则跑主体里内联的同一份改写——两条路的每个站点都带同样的
+ * `hole#<hash>/…` id，因为文本来自同一趟 transform（execution-engine.md「The text that runs」）。
+ *
+ * 打印成表达式语句再擦除，尾随的 `;\n` 是 transpile 加的语句结束，去掉——留下的就是一个可以
+ * 直接 `eval` 成函数值的括号表达式。
+ */
+export function printHoleBodies(bodies, printer, sourceFile) {
+    const out = {};
+    for (const [siteId, body] of bodies) {
+        const printed = printer.printNode(ts.EmitHint.Expression, body, sourceFile);
+        const erased = ts.transpileModule(`(${printed})`, {
+            compilerOptions: TRANSPILE_OPTIONS,
+            reportDiagnostics: false,
+        }).outputText;
+        out[siteId] = erased.replace(/;\n?$/, "");
+    }
+    return out;
+}