@sunshaobei/dsh-workflow 0.0.0-stage → 2.1.2

package/vendor/dynamic-workflow/analysis/types.d.ts

@@ -0,0 +1,100 @@
+import type { ScriptLoc } from "../compiler/compile.js";
+/**
+ * The site-graph types: the may-flow digraph over facade call sites emitted by the
+ * analyzer. This module is the
+ * shared vocabulary; the taint pass (later step) fills in the edges.
+ */
+/**
+ * A node kind. `source`/`sink` are the two virtual endpoints; the rest are facade
+ * call sites. `fan-out` nodes are only emitted by the taint pass once an iteration
+ * candidate is shown to reach a facade site — this substrate never produces them.
+ */
+export type SiteKind = "ask" | "world-read" | "join" | "fan-out" | "hole" | "source" | "sink";
+/** A 1-based, prelude-stripped location in the author's script. */
+export type SiteLoc = ScriptLoc;
+/**
+ * 名字只在运行时才成形（`` agent(`研究员${i + 1}`) ``）时，静态能拿到的那部分形状：
+ * 第一个洞之前的字面量（`head`）与最后一个洞之后的字面量（`tail`）。
+ *
+ * 为什么只能拿到形状：把模板折成 8 个具体名字要求把 `map` 展开，而 `×N` 与
+ * `maybe stack` 存在的意义正是拒绝展开。所以这里给出的是形状，不是名字。
+ *
+ * 不变量：`head`/`tail` 至少有一个在场（拿不到就返回 undefined，不返回空 pattern），
+ * 两者都已 trim，且各自至少含一个字母或数字——`` `${x}-` `` 渲染成 `…-` 比「未命名智能体」
+ * 更差，所以那种 affix 直接丢弃。省略号在**渲染时**才加，这里只搬数据。
+ */
+export interface NamePattern {
+    head?: string;
+    tail?: string;
+}
+/**
+ * A graph node. The virtual `source`/`sink` carry no location and a fixed label;
+ * a `hole` node is an OPEN `hole<T>()` site (docs/analysis.md「Sites」): its label is the
+ * hole's name, its prompt is a sink and its result a value of type T from outside the run;
+ * every other node is positioned at its facade call site. `actors` is populated for
+ * `ask` nodes only: the may-set of actor site ids the ask's receiver resolves to
+ * (the same set that drives the context relation), so the renderer can place the
+ * node in its actor lane(s). Ordered by actor source order, deduped. `within` is the
+ * id of the nearest enclosing promoted fan-out node when the site's call lies
+ * lexically inside a promoted iteration candidate's body — the site then executes
+ * once per element;
+ * omitted otherwise. `artifactType` is the producer's statically known artifact type
+ * (a human-readable type name, provenance semantics) for `ask`/`world-read`/`join`/
+ * `fan-out` nodes; absent on the virtual endpoints and when the type is
+ * unknowable/uninformative (`any`/`unknown`/`never`/`void`).
+ */
+export interface SiteNode {
+    id: string;
+    kind: SiteKind;
+    loc?: SiteLoc;
+    label: string;
+    /**
+     * `label` 只拿到兜底串（内联的 `` agent(`研究员${i}`).ask(…) ``——receiver 是调用式，
+     * 既非字面量也非标识符，于是落到 `"ask"`）时，模板的静态形状。仅 `ask` 节点可能有。
+     */
+    labelPattern?: NamePattern;
+    actors?: string[];
+    within?: string;
+    artifactType?: string;
+}
+/**
+ * An actor (`agent()` site). Rendered as a lane, not a graph node. `within` is the
+ * id of the nearest enclosing promoted fan-out when the `agent()` call lies inside
+ * that fan-out's body: a lane FAMILY (one fresh actor per element) rather than a
+ * single shared lane. Omitted for actors created outside any fan-out.
+ */
+export interface ActorSite {
+    id: string;
+    loc: SiteLoc;
+    name?: string;
+    /**
+     * `name` 缺席（`agent()` 的首参不是字面量）而首参是模板字符串时的静态形状。与 `name`
+     * 实际互斥：字面量给名字，模板给形状。**刻意不写进 `name`**——`name` 的契约是「作者原样
+     * 写下的那个词」，把重建物混进去，下游就再也分不清看到的是字面量还是推断。
+     */
+    namePattern?: NamePattern;
+    within?: string;
+}
+/**
+ * A may-flow edge: "the output of `from` may feed `to`". `data` edges carry
+ * artifacts; `context` edges relate asks sharing an actor. `exact` is false once
+ * any widening rule fired along the witness path. `port` records a join input /
+ * element position when the join argument is a static array literal. `type` is the
+ * producer's artifact type name (provenance: the value feeding `to` was computed from
+ * `from`'s output), port-refined for edges OUT OF a join; absent on context edges,
+ * source-completion edges, and when the type is unknowable/uninformative.
+ */
+export interface SiteEdge {
+    from: string;
+    to: string;
+    kind: "data" | "context";
+    exact: boolean;
+    port?: number;
+    type?: string;
+}
+export interface SiteGraph {
+    nodes: SiteNode[];
+    actors: ActorSite[];
+    edges: SiteEdge[];
+}
+//# sourceMappingURL=types.d.ts.map

package/vendor/dynamic-workflow/analysis/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/analysis/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD;;;;GAIG;AAEH;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;AAE9F,mEAAmE;AACnE,MAAM,MAAM,OAAO,GAAG,SAAS,CAAC;AAEhC;;;;;;;;;;GAUG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,OAAO,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB"}

package/vendor/dynamic-workflow/analysis/types.js

@@ -0,0 +1 @@
+export {};

package/vendor/dynamic-workflow/analysis/world-run.d.ts

@@ -0,0 +1,27 @@
+/**
+ * world.run 的编译期命令收集。
+ *
+ * `world.run` 的授权面是**批准 + 钉死**：cmd 必须是编译期字符串字面量，脚本的命令集因此
+ * 在提交前就是一个封闭集合——确认窗展示它，driver 执行时复验它。一个运行期才成形的 cmd
+ * 没有可展示的授权对象，所以是定位诊断而不是运行期拒绝（教改写发生在便宜的那一侧，
+ * 与 facade-siting 规则同一姿态）。
+ *
+ * 只看第一实参：args 数组与 opts 允许携带运行期值（ask 产物插值进 args 正是数据边的
+ * 来源）；被钉住的是「跑哪个命令」，不是「拿什么跑」。
+ */
+import type { CompileDiagnostic, WorkflowProgram } from "../compiler/compile.js";
+import type { SiteTable } from "./sites.js";
+/** world.run 非字面量 cmd 的诊断码（9001 = facade-siting、9002 = schema，顺延）。 */
+export declare const WORLD_RUN_LITERAL_CODE = 9003;
+export interface WorldRunCommands {
+    /** 脚本声明的命令集：去重、字典序（确认窗与 driver 复验共用的形状）。 */
+    commands: string[];
+    /** 非字面量 cmd 的定位诊断；非空即脚本不可提交。 */
+    diagnostics: CompileDiagnostic[];
+}
+/**
+ * 从站点表收集 world.run 的命令集。cmd 必须是无洞字符串字面量（`"lean"` 或
+ * `` `lean` ``——`ts.isStringLiteralLike` 覆盖两者；带洞模板与任意表达式都拒绝）。
+ */
+export declare function collectWorldRunCommands(workflow: WorkflowProgram, table: SiteTable): WorldRunCommands;
+//# sourceMappingURL=world-run.d.ts.map

package/vendor/dynamic-workflow/analysis/world-run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"world-run.d.ts","sourceRoot":"","sources":["../../src/analysis/world-run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACjF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,sEAAsE;AACtE,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C,MAAM,WAAW,gBAAgB;IAC/B,4CAA4C;IAC5C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,gCAAgC;IAChC,WAAW,EAAE,iBAAiB,EAAE,CAAC;CAClC;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,eAAe,EACzB,KAAK,EAAE,SAAS,GACf,gBAAgB,CAyBlB"}

package/vendor/dynamic-workflow/analysis/world-run.js

@@ -0,0 +1,44 @@
+/**
+ * world.run 的编译期命令收集。
+ *
+ * `world.run` 的授权面是**批准 + 钉死**：cmd 必须是编译期字符串字面量，脚本的命令集因此
+ * 在提交前就是一个封闭集合——确认窗展示它，driver 执行时复验它。一个运行期才成形的 cmd
+ * 没有可展示的授权对象，所以是定位诊断而不是运行期拒绝（教改写发生在便宜的那一侧，
+ * 与 facade-siting 规则同一姿态）。
+ *
+ * 只看第一实参：args 数组与 opts 允许携带运行期值（ask 产物插值进 args 正是数据边的
+ * 来源）；被钉住的是「跑哪个命令」，不是「拿什么跑」。
+ */
+import ts from "typescript";
+/** world.run 非字面量 cmd 的诊断码（9001 = facade-siting、9002 = schema，顺延）。 */
+export const WORLD_RUN_LITERAL_CODE = 9003;
+/**
+ * 从站点表收集 world.run 的命令集。cmd 必须是无洞字符串字面量（`"lean"` 或
+ * `` `lean` ``——`ts.isStringLiteralLike` 覆盖两者；带洞模板与任意表达式都拒绝）。
+ */
+export function collectWorldRunCommands(workflow, table) {
+    const commands = new Set();
+    const diagnostics = [];
+    for (const site of table.worldReads) {
+        if (site.op !== "run")
+            continue;
+        const cmd = site.args[0];
+        if (cmd !== undefined && ts.isStringLiteralLike(cmd)) {
+            commands.add(cmd.text);
+            continue;
+        }
+        // 元数错误（cmd 缺席）由类型检查先拦：能走到这里的缺席意味着调用点连编译都不该过，
+        // 但诊断收集不该依赖这条推断——按站点位置报，宁可多一条可定位的错误。
+        const loc = cmd === undefined ? site.loc : workflow.toScriptLoc(cmd.getStart());
+        diagnostics.push({
+            code: WORLD_RUN_LITERAL_CODE,
+            column: loc.column,
+            line: loc.line,
+            message: "world.run's first argument must be a compile-time string literal (\"lean\" or a " +
+                "no-substitution template): the script's command set is shown to the user at " +
+                "confirmation and only those commands are executable. Move the command name out of " +
+                "the variable/template, and put runtime values in the args array instead.",
+        });
+    }
+    return { commands: [...commands].sort(), diagnostics };
+}

package/vendor/dynamic-workflow/compiler/compile.d.ts

@@ -0,0 +1,59 @@
+import ts from "typescript";
+/** One diagnostic, positioned in the author's script (1-based line/column). */
+export interface CompileDiagnostic {
+    code: number;
+    column: number;
+    line: number;
+    message: string;
+}
+export interface CompileResult {
+    diagnostics: CompileDiagnostic[];
+    ok: boolean;
+}
+export declare const SCRIPT_FILE_NAME = "workflow-script.ts";
+export declare const WORKFLOW_FUNCTION_NAME = "__workflowScript__";
+/**
+ * 包装前缀的长度：wrapped 源码里的位置减去它就是作者原文里的偏移。留白补全的拼接
+ * （analysis/hole-splice.ts）要按站点表里的节点位置在原文上插入文本，走的正是这条换算。
+ */
+export declare const SCRIPT_PRELUDE_LENGTH: number;
+/** A prelude-adjusted, 1-based location in the author's script coordinates. */
+export interface ScriptLoc {
+    line: number;
+    column: number;
+}
+/**
+ * The typed program plus the two things every downstream analysis needs: the
+ * wrapped script's source file (to walk) and a mapper from raw scanner positions
+ * back into the author's 1-based, prelude-stripped coordinates.
+ */
+export interface WorkflowProgram {
+    program: ts.Program;
+    scriptFile: ts.SourceFile;
+    toScriptLoc(pos: number): ScriptLoc;
+}
+/**
+ * {@link createWorkflowProgram} 的选项。`facadeDts` 允许注入一份**替代的 facade 文本**
+ * （snippet eval 的 scratch facade）；它永远以
+ * {@link FACADE_FILE_NAME} 为文件名进虚拟 host——facade 身份在 registry / sites /
+ * facade-misuse / lowering 五处按声明文件名判定，换名字会让站点收集静默变空。
+ */
+export interface CreateWorkflowProgramOptions {
+    facadeDts?: string;
+}
+/**
+ * Build the typed program for a workflow script: the wrapped script + facade
+ * `.d.ts` + embedded stdlib, compiled in the virtual host. This is the shared
+ * substrate — diagnostics, schema synthesis and site-graph extraction all hang
+ * off the one Program and checker built here.
+ */
+export declare function createWorkflowProgram(scriptText: string, options?: CreateWorkflowProgramOptions): WorkflowProgram;
+/** Collect and script-position the program's syntactic + semantic diagnostics. */
+export declare function collectDiagnostics(program: ts.Program): CompileDiagnostic[];
+/**
+ * Typecheck a workflow script against the facade in a fully virtual compiler host.
+ * Scaffold scope: diagnostics only. Schema synthesis, site-graph extraction and
+ * dependency inference build on the same Program in later steps.
+ */
+export declare function compileWorkflowScript(scriptText: string): CompileResult;
+//# sourceMappingURL=compile.d.ts.map

package/vendor/dynamic-workflow/compiler/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compiler/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,+EAA+E;AAC/E,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,EAAE,EAAE,OAAO,CAAC;CACb;AAED,eAAO,MAAM,gBAAgB,uBAAuB,CAAC;AAKrD,eAAO,MAAM,sBAAsB,uBAAuB,CAAC;AAS3D;;;GAGG;AACH,eAAO,MAAM,qBAAqB,QAAwB,CAAC;AA0B3D,+EAA+E;AAC/E,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC;IACpB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IAC1B,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAED;;;;;GAKG;AACH,MAAM,WAAW,4BAA4B;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,4BAA4B,GACrC,eAAe,CAiBjB;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,GAAG,iBAAiB,EAAE,CAI3E;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,CAIvE"}

package/vendor/dynamic-workflow/compiler/compile.js

@@ -0,0 +1,159 @@
+import ts from "typescript";
+import { FACADE_DTS, FACADE_FILE_NAME } from "../facade/dts.js";
+import { TS_LIBS } from "./libs.generated.js";
+export const SCRIPT_FILE_NAME = "workflow-script.ts";
+// Name of the wrapper function the script body is spliced into (see SCRIPT_PRELUDE).
+// The site walk locates this declaration to bound its traversal to the authored
+// body and to tell top-level `return`s apart from ones in nested functions.
+export const WORKFLOW_FUNCTION_NAME = "__workflowScript__";
+// The script is wrapped in an async function before typechecking, mirroring the
+// runtime execution shape (AsyncFunction body): top-level await and a final
+// `return <artifact>` are both legal, and the file stays a non-module global
+// script so the facade declarations are in scope without imports.
+// No return-type annotation: an annotated Promise<unknown> would demand a return
+// statement (TS2355), but scripts may legitimately end without one.
+const SCRIPT_PRELUDE = `async function ${WORKFLOW_FUNCTION_NAME}() {\n`;
+/**
+ * 包装前缀的长度：wrapped 源码里的位置减去它就是作者原文里的偏移。留白补全的拼接
+ * （analysis/hole-splice.ts）要按站点表里的节点位置在原文上插入文本，走的正是这条换算。
+ */
+export const SCRIPT_PRELUDE_LENGTH = SCRIPT_PRELUDE.length;
+const SCRIPT_EPILOGUE = "\n}\nexport {};\n";
+const PRELUDE_LINES = 1;
+const COMPILER_OPTIONS = {
+    allowJs: false,
+    lib: ["lib.es2022.d.ts"],
+    module: ts.ModuleKind.ESNext,
+    moduleResolution: ts.ModuleResolutionKind.Bundler,
+    noEmit: true,
+    skipLibCheck: true,
+    // `strict` on, `noUncheckedIndexedAccess` deliberately OFF. Models write TS as
+    // if the flag were off — training corpora almost universally have it off — so
+    // with it on, TS2532/TS18048 on `items[i]` was the single largest source of
+    // compile failures (96% of the undefined-family diagnostics in local runs),
+    // almost all on indexes whose bounds the surrounding logic already proved.
+    // `strictNullChecks` stays: `.find()` / `match()` / optional properties are
+    // real hazards and their messages name the cause.
+    strict: true,
+    target: ts.ScriptTarget.ES2022,
+    // No ambient @types: the script sees ES2022 + the facade and nothing else.
+    // `process`, `fetch`, `require` etc. fail typechecking — the purity contract
+    // starts at compile time.
+    types: [],
+};
+/**
+ * Build the typed program for a workflow script: the wrapped script + facade
+ * `.d.ts` + embedded stdlib, compiled in the virtual host. This is the shared
+ * substrate — diagnostics, schema synthesis and site-graph extraction all hang
+ * off the one Program and checker built here.
+ */
+export function createWorkflowProgram(scriptText, options) {
+    const wrapped = `${SCRIPT_PRELUDE}${scriptText}${SCRIPT_EPILOGUE}`;
+    const host = createVirtualHost(wrapped, options?.facadeDts ?? FACADE_DTS);
+    const program = ts.createProgram({
+        host,
+        options: COMPILER_OPTIONS,
+        rootNames: [SCRIPT_FILE_NAME, FACADE_FILE_NAME],
+    });
+    const scriptFile = program.getSourceFile(SCRIPT_FILE_NAME);
+    if (scriptFile === undefined) {
+        throw new Error("workflow script source file missing from program");
+    }
+    const toScriptLoc = (pos) => {
+        const { character, line } = scriptFile.getLineAndCharacterOfPosition(pos);
+        return { column: character + 1, line: Math.max(1, line - PRELUDE_LINES + 1) };
+    };
+    return { program, scriptFile, toScriptLoc };
+}
+/** Collect and script-position the program's syntactic + semantic diagnostics. */
+export function collectDiagnostics(program) {
+    return [...program.getSyntacticDiagnostics(), ...program.getSemanticDiagnostics()].map(toCompileDiagnostic);
+}
+/**
+ * Typecheck a workflow script against the facade in a fully virtual compiler host.
+ * Scaffold scope: diagnostics only. Schema synthesis, site-graph extraction and
+ * dependency inference build on the same Program in later steps.
+ */
+export function compileWorkflowScript(scriptText) {
+    const { program } = createWorkflowProgram(scriptText);
+    const diagnostics = collectDiagnostics(program);
+    return { diagnostics, ok: diagnostics.length === 0 };
+}
+// Fully virtual compiler host: every file the program can see — the wrapped
+// script, the facade, and the embedded TS stdlib closure (TS_LIBS) — is served
+// from an in-memory Map. Nothing touches disk, so the bundled/SEA CLI (no
+// node_modules) behaves identically to dev: a missing lib fails package tests
+// too, instead of only breaking in the bundle.
+function createVirtualHost(wrappedScript, facadeDts) {
+    const virtualFiles = new Map([
+        [SCRIPT_FILE_NAME, wrappedScript],
+        [FACADE_FILE_NAME, facadeDts],
+        ...Object.entries(TS_LIBS),
+    ]);
+    const sourceFileCache = new Map();
+    return {
+        getSourceFile: (fileName, languageVersionOrOptions) => {
+            const cached = sourceFileCache.get(fileName);
+            if (cached !== undefined)
+                return cached;
+            const text = virtualFiles.get(fileName);
+            if (text === undefined)
+                return undefined;
+            const sourceFile = ts.createSourceFile(fileName, text, languageVersionOrOptions, true);
+            sourceFileCache.set(fileName, sourceFile);
+            return sourceFile;
+        },
+        getDefaultLibFileName: (options) => ts.getDefaultLibFileName(options),
+        writeFile: () => {
+            throw new Error("workflow compile is noEmit; nothing may write output");
+        },
+        getCurrentDirectory: () => "/",
+        getCanonicalFileName: (fileName) => fileName,
+        useCaseSensitiveFileNames: () => true,
+        getNewLine: () => "\n",
+        fileExists: (fileName) => virtualFiles.has(fileName),
+        readFile: (fileName) => virtualFiles.get(fileName),
+    };
+}
+// TS1184 ("Modifiers cannot appear here.") is what a script-top-level `declare`
+// or `export` compiles to, because the body is spliced into SCRIPT_PRELUDE's
+// function — ambient declarations and exports are both illegal there. The raw
+// text never names the offending modifier, so the model's self-repair loop can
+// only guess; these rewrites name it and give the fix. Keyed on the exact
+// modifier span, so any other misplaced modifier keeps the compiler's wording.
+const AMBIENT_MODIFIER_MESSAGES = new Map([
+    [
+        "declare",
+        "The `declare` modifier is not allowed in a workflow script: the script is compiled inside a function body, where ambient declarations are illegal. Remove `declare` and write a plain declaration (e.g. `interface Foo { ... }`).",
+    ],
+    [
+        "export",
+        "`export` is not allowed in a workflow script: the script is compiled inside a function body. Remove `export` — the workflow's output is its final `return` value.",
+    ],
+]);
+const MISPLACED_MODIFIER_CODE = 1184;
+function toCompileDiagnostic(diagnostic) {
+    const message = ts.flattenDiagnosticMessageText(diagnostic.messageText, "\n");
+    if (diagnostic.file === undefined || diagnostic.start === undefined) {
+        return { code: diagnostic.code, column: 1, line: 1, message };
+    }
+    const { character, line } = diagnostic.file.getLineAndCharacterOfPosition(diagnostic.start);
+    const scriptLine = diagnostic.file.fileName === SCRIPT_FILE_NAME ? line - PRELUDE_LINES : line;
+    return {
+        code: diagnostic.code,
+        column: character + 1,
+        line: Math.max(1, scriptLine + 1),
+        message: rewriteAmbientModifierMessage(diagnostic) ?? message,
+    };
+}
+/** The actionable replacement for a script-level `declare` / `export`, if this is one. */
+function rewriteAmbientModifierMessage(diagnostic) {
+    if (diagnostic.code !== MISPLACED_MODIFIER_CODE ||
+        diagnostic.file?.fileName !== SCRIPT_FILE_NAME ||
+        diagnostic.start === undefined ||
+        diagnostic.length === undefined) {
+        return undefined;
+    }
+    const span = diagnostic.file.text.slice(diagnostic.start, diagnostic.start + diagnostic.length);
+    return AMBIENT_MODIFIER_MESSAGES.get(span);
+}

package/vendor/dynamic-workflow/compiler/libs.generated.d.ts

@@ -0,0 +1,3 @@
+export declare const TS_LIB_VERSION = "5.9.3";
+export declare const TS_LIBS: Record<string, string>;
+//# sourceMappingURL=libs.generated.d.ts.map

package/vendor/dynamic-workflow/compiler/libs.generated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"libs.generated.d.ts","sourceRoot":"","sources":["../../src/compiler/libs.generated.ts"],"names":[],"mappings":"AAIA,eAAO,MAAM,cAAc,UAAU,CAAC;AAEtC,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CA0D1C,CAAC"}