@sunshaobei/dsh-workflow 0.0.0-stage → 2.1.0

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

@@ -0,0 +1,324 @@
+/**
+ * The dynamic-workflow facade: the entire model-facing API surface, shipped as an
+ * embedded .d.ts asset (same pattern as SCRIPT_WORKFLOW_CHILD_SOURCE) so the compiler
+ * works inside the bundled/SEA CLI where no node_modules exists on disk.
+ *
+ * One noun (the actor), one verb
+ * (the task). Runtime shims are injected by the runtime layer, never imported.
+ *
+ * 段式组织：facade 拆成命名段常量，`FACADE_DTS`
+ * 与 `SNIPPET_FACADE_DTS` 都由段**拼接**而成——单一事实源，子集绝不手抄。拼接结果对
+ * 拆分前的 `FACADE_DTS` 逐字节不变。每段以
+ * 单个换行开头结尾，段间拼接自然形成原有的空行分隔。
+ */
+import { FACADE_MODEL_DECLARATIONS } from "./dts-model.js";
+import { FACADE_STREAM_SEGMENT } from "./dts-stream.js";
+import { FACADE_HOLE_SEGMENT } from "./dts-hole.js";
+export const FACADE_FILE_NAME = "workflow-facade.d.ts";
+/** actor 族：Node / ModelRef / model() / AgentPersona / Agent / agent()。snippet 刻意不含。 */
+const FACADE_ACTOR_SEGMENT = String.raw `
+/** The pending result of one ask. Await it, or pass it to Promise.all with others. */
+declare interface Node<T> extends PromiseLike<T> {}
+
+${FACADE_MODEL_DECLARATIONS}
+/** Persona of a subagent, fixed when agent() creates it. Every subagent has the same working tools. */
+declare interface AgentPersona {
+  /** System prompt describing the actor's role. */
+  system?: string;
+  /** Model id literal or ModelRef; omitted = the run's subagent model. */
+  model?: ModelRef | string;
+}
+
+/**
+ * A subagent: one conversation that keeps its context across asks. Asks issued while it is
+ * busy wait their turn, first in, first out.
+ */
+declare interface Agent {
+  /**
+   * Give the subagent one task. With a type argument, the answer is a value of type T,
+   * validated against a schema built from it: T is an interface you define in this script
+   * with a plain "interface" declaration (no "declare" modifier). Without one, the answer is
+   * the subagent's final reply text.
+   */
+  ask<T = string>(instructions: string): Node<T>;
+}
+
+/**
+ * Create a subagent. Every call starts a new, empty conversation; to share one, share the
+ * returned value. A non-empty name is an identity: unique within the run (a literal duplicate
+ * is a compile error, a computed one fails the run) and the key AmendWorkflow matches cached
+ * work by. Unnamed subagents are allowed and never reuse cached work.
+ */
+declare function agent(name?: string, persona?: string | AgentPersona): Agent;
+`;
+/** 进度叙事：log()。两个 facade 都含。 */
+const FACADE_LOG_SEGMENT = String.raw `
+/** Emit a progress message to the user. */
+declare function log(message: string): void;
+`;
+/** 渐进产物：report()。journal 化、run 面板 Results 区；snippet 刻意不含。 */
+const FACADE_REPORT_SEGMENT = String.raw `
+/**
+ * Publish one intermediate result while the run is going; returns nothing. Items are
+ * recorded: a resumed run never shows one twice, and they reach the completion notification
+ * even when the run fails. The item must be JSON-serializable (plain objects, arrays, strings,
+ * numbers, booleans, null); functions, class instances, Date and promises are compile
+ * errors. Caps fail the whole run, not the call: 65,536 items per run, 1 MiB per serialized
+ * item, 1 GiB per run.
+ *
+ * artifactId routes the item to a dashboard: a compile-time literal naming a preset
+ * (artifact.chart / table / metrics / board) whose declaration has executed by then. The
+ * item becomes one point, row, tile value or card there and still lands in the run's
+ * Results. A tag naming nothing, or a file/markdown artifact, fails the run.
+ */
+declare function report(item: unknown, artifactId?: string): void;
+`;
+/**
+ * 产物：artifact.*。脚本交给**用户**的产出——
+ * 内容成员（`file` / `markdown`）是效应，预置成员（`chart` / `table` / `metrics` / `board`）
+ * 是声明。snippet 刻意不含：片段是世界读取 + 纯逻辑的工作台，没有 run 可以往上挂交付物，
+ * 所以片段里的 `artifact.file(...)` 得到 TS2304，教删除（与 `agent` / `report` 同姿态）。
+ *
+ * ⚠ 术语：这一段里的 artifact 全是**用户面产物**；引擎内部同名的那个
+ * artifact（顶层返回值 / 站点的类型化输出）在 facade 上是 `Node<T>` 的 T，两者不相干。
+ */
+const FACADE_ARTIFACT_SEGMENT = String.raw `
+/** A published artifact version: the id it was published under, and which version this call minted. */
+declare interface ArtifactRef { id: string; version: number }
+/** Card metadata every artifact kind accepts. */
+declare interface ArtifactOptions {
+  /** Shown as the card title; defaults to the id. In the user's language. */
+  title?: string;
+  /** A sentence or two, shown beside the title when this artifact is the run's primary. */
+  description?: string;
+  /** The run's deliverable: the card and the run pane lead with it. At most one id per run; once set it stays set for later versions. */
+  primary?: boolean;
+}
+declare interface ArtifactFileOptions extends ArtifactOptions {
+  /** Overrides the type sniffed from the extension ("application/pdf", "text/html", …). */
+  contentType?: string;
+}
+/** One value taken from a reported item: a dot path into the item ("timing.after"). */
+declare interface ArtifactField { field: string; label?: string; unit?: string }
+declare interface ChartSpec extends ArtifactOptions {
+  type?: "line" | "bar" | "scatter";        // default "line"
+  x: ArtifactField;
+  y: ArtifactField | ArtifactField[];        // several = several series
+  scale?: "linear" | "log";                  // y axis, default "linear"
+  /** A reference value drawn as a horizontal rule, taken from the first item that has the field. */
+  baseline?: ArtifactField;
+}
+declare interface TableSpec extends ArtifactOptions {
+  columns: ArtifactField[];
+  /** Field that identifies a row; a later item with the same key replaces the row. Absent = append-only. */
+  key?: string;
+}
+declare interface MetricsSpec extends ArtifactOptions {
+  /** Each tile shows the value from the latest item that has the field. */
+  metrics: ArtifactField[];
+}
+declare interface BoardSpec extends ArtifactOptions {
+  /** Field identifying a card; a later item with the same key moves/updates the card. */
+  key: string;
+  /** Field holding the card's column. */
+  status: string;
+  /** Column order. Items whose status is not listed land in a trailing "other" column. */
+  columns: string[];
+  /** Field for the card title (default: the key) and extra fields shown on the card. */
+  cardTitle?: string;
+  detail?: ArtifactField[];
+}
+/**
+ * Publish what the user keeps: cards beside the run, kept after it ends. Every id is a
+ * compile-time string literal (non-empty, at most 64 characters of [A-Za-z0-9_.-]) and is
+ * used with one member only.
+ * - CONTENT (file, markdown) are effects: async, resolve to an ArtifactRef, and reject
+ *   catchably (missing file, not a file, outside the workspace, over the cap, or no artifact
+ *   store in this host).
+ *   Bytes are copied at publish time; republishing an id mints the next version and keeps
+ *   the old ones.
+ * - PRESET (chart, table, metrics, board) are declarations: synchronous and void, drawn from
+ *   the items tagged report(item, "<id>"). Declare each once, at the top level; an identical
+ *   re-declaration is a no-op, a different or malformed spec fails the whole run.
+ * Caps: 32 ids per run, 16 versions per id, 20 MiB per file, 256 KB per markdown, 120
+ * characters of title and 500 of description.
+ */
+declare const artifact: {
+  /** Publish a workspace file, path resolved as in files.read(). The type comes from the extension unless opts.contentType sets it. */
+  file(id: string, path: string, opts?: ArtifactFileOptions): Promise<ArtifactRef>;
+  /** Publish markdown text the script composed. */
+  markdown(id: string, content: string, opts?: ArtifactOptions): Promise<ArtifactRef>;
+  /** Declare a chart fed by report(item, id): each tagged item is one point. */
+  chart(id: string, spec: ChartSpec): void;
+  /** Declare a table fed by report(item, id): each tagged item is one row. */
+  table(id: string, spec: TableSpec): void;
+  /** Declare a metric tile row fed by report(item, id): each tile shows the newest value it has. */
+  metrics(id: string, spec: MetricsSpec): void;
+  /** Declare a board fed by report(item, id): each tagged item is a card, placed by its status field. */
+  board(id: string, spec: BoardSpec): void;
+};
+`;
+/**
+ * 阶段标注：phase()。展示用的分组标记——
+ * 无站点、无 journal 行；lowering 改写成 `__host.enterPhase`，引擎只发一条进入事件
+ * 。snippet 刻意不含：片段是世界读取 + 纯逻辑的工作台，不画图，
+ * 所以片段里的 `phase()` 得到 TS2304，教删除。
+ */
+const FACADE_PHASE_SEGMENT = String.raw `
+/**
+ * Mark the start of a phase: a named group of the steps that follow, drawn as one node on
+ * the graph the user approves. Presentation only: it starts, waits for and returns nothing.
+ * Required. The name is a non-empty compile-time literal and the call a standalone
+ * statement. A marker covers every step from it to the end of the block it stands in
+ * (nested blocks and inlined helpers included); two markers with the same name are one
+ * phase. Every phase contains at least one ask or world.run.
+ */
+declare function phase(name: string): void;
+`;
+/** 世界读取：files.* 与 git.*。两个 facade 都含（snippet 的保真核心）。 */
+const FACADE_WORLD_SEGMENT = String.raw `
+/** One matching line found by files.grep. */
+declare interface GrepMatch {
+  /** Workspace-relative path of the file the match was found in. */
+  path: string;
+  /** One-based line number of the match. */
+  line: number;
+  /** The full text of the matching line. */
+  text: string;
+}
+
+/**
+ * Read-only views of the workspace. Each result is recorded, so a resumed run gets the same
+ * answer back instead of reading again. There is no write: writing is a subagent's task.
+ */
+declare const files: {
+  /** Workspace-relative paths matching a glob, sorted. Over 2000 files the call rejects. */
+  glob(pattern: string): Promise<string[]>;
+  /** Read one workspace file as UTF-8 text. Size-capped. */
+  read(path: string): Promise<string>;
+  /**
+   * Search contents with a ripgrep-compatible regex, optionally narrowed by a glob over
+   * paths ("*.ts", "src/**"); one entry per matching line. Over 2000 matches or 256KB of
+   * results the call rejects.
+   */
+  grep(pattern: string, glob?: string): Promise<GrepMatch[]>;
+};
+
+/** The working tree's status, as reported by git.status(). */
+declare interface GitStatus {
+  /** Current branch name; absent when HEAD is detached. */
+  branch?: string;
+  /** True when nothing is staged, modified, or untracked. */
+  clean: boolean;
+  /** Workspace-relative paths staged for the next commit. */
+  staged: string[];
+  /** Workspace-relative paths modified in the working tree but not staged. */
+  unstaged: string[];
+  /** Workspace-relative paths git does not track (honouring .gitignore). */
+  untracked: string[];
+}
+
+/** One commit, as reported by git.log(). */
+declare interface GitCommit {
+  /** Full commit hash. */
+  hash: string;
+  /** First line of the commit message. */
+  subject: string;
+  /** Author name. */
+  author: string;
+  /** Author date, ISO 8601. */
+  date: string;
+}
+
+/**
+ * Read-only git views, recorded like files.* so a resumed run gets the same answer back; no
+ * call can write. A base names a single ref (no ".." ranges). Paths are workspace-relative, and
+ * changes outside the workspace are not reported; git.log alone is repository-wide. Caps
+ * reject rather than truncate: diff at 512KB, log at 100 commits. Outside a git repository,
+ * or without git, every call rejects catchably.
+ */
+declare const git: {
+  /**
+   * Workspace-relative paths that changed. With no base: files modified against HEAD, plus
+   * untracked files. With a base ref: tracked files whose current state differs from that
+   * ref, uncommitted edits included, untracked files not.
+   */
+  changedFiles(base?: string): Promise<string[]>;
+  /**
+   * Unified diff against base (default HEAD). Covers the whole workspace unless you
+   * narrow it to one workspace-relative path.
+   */
+  diff(base?: string, path?: string): Promise<string>;
+  /** The current working-tree status, for the workspace. */
+  status(): Promise<GitStatus>;
+  /** The most recent commits, newest first. Default 20, maximum 100. */
+  log(count?: number): Promise<GitCommit[]>;
+};
+`;
+/**
+ * journal 化命令执行：world.run。两个 facade 都含
+ * ——snippet 正是测试这些调用的工作台（gate 逻辑在提交前先对真命令跑通）。
+ */
+const FACADE_WORLD_RUN_SEGMENT = String.raw `
+/** The outcome of one world.run command, including nonzero exits. */
+declare interface WorldRunResult {
+  /** The process exit code. Nonzero is a normal, returned outcome — branch on it. */
+  exitCode: number;
+  /** Captured stdout (UTF-8). Capped at 256KB; over the cap the call rejects. */
+  stdout: string;
+  /** Captured stderr (UTF-8). Same cap and rejection semantics as stdout. */
+  stderr: string;
+}
+
+/**
+ * Run a command. Each call runs once and its result is recorded: a resumed run reuses the
+ * recorded result instead of running the command again. A completed process RESOLVES,
+ * nonzero exit included; the promise rejects (catchably) only on spawn failure or timeout
+ * (default 300000ms, timeoutMs overrides, no upper cap). cmd is a compile-time string
+ * literal, shown to the user at confirmation. Fixed argv, never a shell: no pipes,
+ * redirection or expansion. cwd is the workspace. Node builtins are reachable as
+ * world.run("node", ["-e", code]).
+ */
+declare const world: {
+  run(cmd: string, args?: string[], opts?: { timeoutMs?: number }): Promise<WorldRunResult>;
+};
+`;
+/** 运行实参：saved workflow 的声明式参数。两个 facade 都含（snippet 里恒为 `{}`）。 */
+const FACADE_ARGS_SEGMENT = String.raw `
+/**
+ * The run's arguments. For a saved workflow they are validated against its declared
+ * arguments, with defaults filled in, before the run starts; an inline script or a snippet
+ * gets {}. Always defined; the values are unknown, so narrow them (String(args.target), a
+ * typeof guard).
+ */
+declare const args: Readonly<Record<string, unknown>>;
+`;
+export const FACADE_DTS = FACADE_ACTOR_SEGMENT +
+    FACADE_ARGS_SEGMENT +
+    FACADE_LOG_SEGMENT +
+    FACADE_REPORT_SEGMENT +
+    FACADE_ARTIFACT_SEGMENT +
+    FACADE_PHASE_SEGMENT +
+    // 留白段只进完整 facade（docs/dynamic-workflow/authoring.md「Holes」）：片段没有 run，也就
+    // 没有可等主代理补全的东西，snippet 里的 `hole(...)` 得到 TS2304，教删除。
+    FACADE_HOLE_SEGMENT +
+    FACADE_WORLD_SEGMENT +
+    FACADE_WORLD_RUN_SEGMENT +
+    FACADE_STREAM_SEGMENT;
+/**
+ * snippet（EvalWorkflowSnippet）的 scratch facade：生产 facade 减去 actor 族 / report /
+ * artifact / phase（channel / future 保留：流水线的纯逻辑正是片段要排练的东西）（docs/dynamic-workflow/authoring.md「The facade」，phase 见
+ * docs/dynamic-workflow/authoring.md「Phases」，artifact 见 docs/dynamic-workflow/authoring.md「Artifacts: what the user keeps」）。留下的是脚本自己
+ * 能单测的那部分：世界读取 + world.run +
+ * 纯计算 + log。`agent(...)` 在这份 facade 下是普通的 TS2304（Cannot find name），拒绝发生
+ * 在编译期而不是运行期。
+ *
+ * 注入编译器时必须仍以 {@link FACADE_FILE_NAME} 为文件名：facade 身份在五处按声明文件名
+ * 判定（registry / sites / facade-misuse / lowering），换名字会让站点收集静默变空——
+ * snippet 编译通过却什么都不做。
+ */
+export const SNIPPET_FACADE_DTS = FACADE_ARGS_SEGMENT +
+    FACADE_LOG_SEGMENT +
+    FACADE_WORLD_SEGMENT +
+    FACADE_WORLD_RUN_SEGMENT +
+    FACADE_STREAM_SEGMENT;

package/vendor/dynamic-workflow/facade/registry.d.ts

@@ -0,0 +1,218 @@
+import ts from "typescript";
+/**
+ * world-read 注册表。加原语=加一行。
+ *
+ * `git.log` 那一行是这张表存在的理由：它的成员名与顶层 `log()` 撞名，而这里的键带容器，
+ * 所以两者从不相遇（见本模块顶部）。
+ */
+export declare const WORLD_READ_REGISTRY: readonly [{
+    readonly container: "files";
+    readonly member: "glob";
+    readonly op: "glob";
+}, {
+    readonly container: "files";
+    readonly member: "read";
+    readonly op: "read";
+}, {
+    readonly container: "files";
+    readonly member: "grep";
+    readonly op: "grep";
+}, {
+    readonly container: "git";
+    readonly member: "changedFiles";
+    readonly op: "git-changed-files";
+}, {
+    readonly container: "git";
+    readonly member: "diff";
+    readonly op: "git-diff";
+}, {
+    readonly container: "git";
+    readonly member: "status";
+    readonly op: "git-status";
+}, {
+    readonly container: "git";
+    readonly member: "log";
+    readonly op: "git-log";
+}, {
+    readonly container: "world";
+    readonly member: "run";
+    readonly op: "run";
+}];
+/**
+ * 世界读取操作（只读、可 journal）。从注册表推导，故加一行即扩张 op 词汇表。
+ * Boundary A 的 `worldRead(siteId, op, args)` 与 journal 的 `inputHash({op, args})` 都用它。
+ */
+export type WorldReadOp = (typeof WORLD_READ_REGISTRY)[number]["op"];
+/**
+ * 产物注册表：容器 `artifact` 的六个成员
+ * → Boundary A 的六个 op。与 world-read 注册表**同形但分表**，这是刻意的：
+ *
+ * world-read 那张表的每一行最终都落到 `driver.executeWorldRead`，语义是「读」；产物的两族
+ * 一个是写 store 的效应（`publishArtifact`）、一个根本不过 driver（`declareArtifact`）。把它们
+ * 混进同一张表，misuse / lowering / 引擎三处的 world-read 分支就都要背上一个「除非它其实是
+ * 产物」的分叉——而那三处正是加原语时最该零改动的地方。
+ *
+ * ⚠ 术语：这里的 artifact 是**用户面产物**，不是引擎内部的顶层返回值。
+ */
+export interface ArtifactRow {
+    /** 声明该成员的 facade 容器名（恒为 `artifact`）。 */
+    readonly container: "artifact";
+    /** 容器上的成员名。 */
+    readonly member: string;
+    /** Boundary A 的 op 名（与成员名相同——产物成员没有 `git.log` 那样的撞名史）。 */
+    readonly op: string;
+    /**
+     * 成员族。`content` 是效应（async、经 driver、可拒绝），`preset` 是声明（同步 void、
+     * 不经 driver）。族别决定 lowering 改写成 `publishArtifact` 还是 `declareArtifact`，
+     * 也决定超限走节点拒绝还是 failRun，所以它必须和 op 住在同一行里，而不是在三处各判一次。
+     */
+    readonly family: "content" | "preset";
+}
+/** 产物注册表。加一个产物种类 = 加一行。 */
+export declare const ARTIFACT_REGISTRY: readonly [{
+    readonly container: "artifact";
+    readonly member: "file";
+    readonly op: "file";
+    readonly family: "content";
+}, {
+    readonly container: "artifact";
+    readonly member: "markdown";
+    readonly op: "markdown";
+    readonly family: "content";
+}, {
+    readonly container: "artifact";
+    readonly member: "chart";
+    readonly op: "chart";
+    readonly family: "preset";
+}, {
+    readonly container: "artifact";
+    readonly member: "table";
+    readonly op: "table";
+    readonly family: "preset";
+}, {
+    readonly container: "artifact";
+    readonly member: "metrics";
+    readonly op: "metrics";
+    readonly family: "preset";
+}, {
+    readonly container: "artifact";
+    readonly member: "board";
+    readonly op: "board";
+    readonly family: "preset";
+}];
+/** 全部产物 op（六个成员）。由注册表推导，故加一行即扩张词汇表。 */
+export type ArtifactOp = (typeof ARTIFACT_REGISTRY)[number]["op"];
+/** 内容成员的 op（效应：async、经 driver、返回 `ArtifactRef`）。 */
+export type ArtifactContentOp = Extract<(typeof ARTIFACT_REGISTRY)[number], {
+    family: "content";
+}>["op"];
+/** 预置成员的 op（声明：同步 void、不经 driver）。 */
+export type ArtifactPresetOp = Extract<(typeof ARTIFACT_REGISTRY)[number], {
+    family: "preset";
+}>["op"];
+/** 某 facade symbol 解析到的产物行（按声明容器判定），非产物成员则 undefined。 */
+export declare function artifactRowOfSymbol(symbol: ts.Symbol | undefined): (typeof ARTIFACT_REGISTRY)[number] | undefined;
+/** 某产物 op 属于哪一族。op 由注册表推导，故这里必然命中。 */
+export declare function artifactFamilyOf(op: ArtifactOp): "content" | "preset";
+/** 该 op 是否为预置成员（声明族）。引擎与分析器都据它分派两条完全不同的路径。 */
+export declare function isArtifactPresetOp(op: string): op is ArtifactPresetOp;
+/**
+ * 顶层 facade 函数中产生站点的那些（无容器）。`log` 不产生站点，故不在此。`hole` 在此：留白
+ * 有站点 id（名字键 `hole#<hash>`）与 host 调用（docs/dynamic-workflow/authoring.md「Holes」），身份同样按
+ * **声明文件**判定——脚本自己的 `hole` 函数是别人的函数。
+ */
+declare const SITE_PRODUCING_FUNCTIONS: readonly ["agent", "report", "hole"];
+/**
+ * 顶层产生站点的 facade 函数名。`sites.ts` 的裸 callee 分支按它分派，所以"哪个顶层函数
+ * 产生站点"这件事只有这一份清单。
+ *
+ * `report` 在这里、`log` 不在，两者的差别不是严重程度而是**有没有 journal 键**：
+ * report 有一行 `dwf_node`（按 site × ordinal 去重 replay），所以 facade-siting 规则
+ * （只许直接调用）必须约束它——一次没有站点的 report 调用就是一条没有键的 journal 记录。
+ * `log` 没有站点，也就没有什么可被 aliasing 破坏。
+ */
+type SiteProducingFunction = (typeof SITE_PRODUCING_FUNCTIONS)[number];
+/**
+ * 某 facade symbol 解析到的产生站点的**顶层函数**（按声明判定：容器必须缺席）。
+ * 非 facade symbol、facade 容器成员、以及 `log` 之类不产生站点的顶层函数都返回 undefined。
+ */
+export declare function siteProducingFunctionOfSymbol(symbol: ts.Symbol | undefined): SiteProducingFunction | undefined;
+/**
+ * 顶层 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 因此可以放心按节点身份抹除。
+ */
+declare const MARKER_FUNCTIONS: readonly ["phase"];
+/** 顶层展示标记 facade 函数名。由 {@link MARKER_FUNCTIONS} 推导，加一个标记即加一行。 */
+type MarkerFunction = (typeof MARKER_FUNCTIONS)[number];
+/**
+ * 某 facade symbol 解析到的**展示标记**顶层函数（按声明判定：容器必须缺席），
+ * 非标记则 undefined。与 {@link siteProducingFunctionOfSymbol} 同形、刻意不同表。
+ */
+export declare function markerFunctionOfSymbol(symbol: ts.Symbol | undefined): MarkerFunction | undefined;
+/**
+ * 顶层 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 因此可以放心按节点身份抹除。
+ */
+declare const VALUE_FUNCTIONS: readonly ["model"];
+/** 顶层纯值 facade 函数名。由 {@link VALUE_FUNCTIONS} 推导。 */
+type ValueFunction = (typeof VALUE_FUNCTIONS)[number];
+/** 某 facade symbol 解析到的纯值顶层函数（按声明判定：容器必须缺席），否则 undefined。 */
+export declare function valueFunctionOfSymbol(symbol: ts.Symbol | undefined): ValueFunction | undefined;
+/**
+ * 全部产生站点的 facade 成员名（world-read 成员 + `ask`）。**裸名字**清单，只可用于
+ * "先按名字取候选、再按声明验身份"的两段式判定——不可单独作为身份依据（见本模块顶部）。
+ *
+ * `git.log` 落地后这个集合里**含有 `"log"`**，而顶层 `log()` 不产生站点。这不是矛盾，
+ * 而是这份清单为什么只能当候选键的证明：身份必须由 (容器, 成员) 或声明解析给出，
+ * 名字本身答不了。唯一还被依赖的性质是**没有两个 facade 容器声明同名成员**——
+ * 集合不带容器，重名会让由它反查出的那个名字变得二义（facade-misuse 的诊断文案会引它）。
+ */
+export declare const SITE_MEMBER_NAMES: ReadonlySet<string>;
+/**
+ * 注册表查询：(容器, 成员) → op。容器为 undefined（顶层函数）时永不命中——world-read
+ * 一律挂在 facade 容器对象上。
+ */
+export declare function worldReadOp(container: string | undefined, member: string): WorldReadOp | undefined;
+/**
+ * (容器, 成员) 是否为产生站点的 facade 调用（world-read、产物、`Agent.ask`、或顶层
+ * `agent`/`report`）。
+ *
+ * 产物成员在这里，与 `report` 同一条理由：它们有 journal 键（`artifact#N` × ordinal），
+ * 而一次没有站点的发布就是一行没有键的 journal 记录——那正是 facade-siting 规则要防的。
+ */
+export declare function isSiteProducing(container: string | undefined, member: string): boolean;
+/**
+ * 一个 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 declare function facadeContainerOf(declaration: ts.Node | undefined): string | undefined;
+/**
+ * 一个 facade symbol 的 (容器, 成员) 身份。symbol 的任一声明落在 facade `.d.ts` 内即算命中；
+ * 容器由该声明向上解析（顶层 facade 函数无容器）。非 facade symbol → undefined。
+ */
+export declare function facadeMemberOf(symbol: ts.Symbol | undefined): {
+    container: string | undefined;
+    member: string;
+} | undefined;
+/** 某 facade symbol 解析到的 world-read op（按声明容器判定），非 world-read 则 undefined。 */
+export declare function worldReadOpOfSymbol(symbol: ts.Symbol | undefined): WorldReadOp | undefined;
+export {};
+//# sourceMappingURL=registry.d.ts.map

package/vendor/dynamic-workflow/facade/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/facade/registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAgC5B;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYY,CAAC;AAE7C;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;AAErE;;;;;;;;;;GAUG;AACH,MAAM,WAAW,WAAW;IAC1B,wCAAwC;IACxC,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,eAAe;IACf,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;CACvC;AAED,2BAA2B;AAC3B,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOa,CAAC;AAE5C,uCAAuC;AACvC,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;AAElE,oDAAoD;AACpD,MAAM,MAAM,iBAAiB,GAAG,OAAO,CACrC,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,EAClC;IAAE,MAAM,EAAE,SAAS,CAAA;CAAE,CACtB,CAAC,IAAI,CAAC,CAAC;AAER,sCAAsC;AACtC,MAAM,MAAM,gBAAgB,GAAG,OAAO,CACpC,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,EAClC;IAAE,MAAM,EAAE,QAAQ,CAAA;CAAE,CACrB,CAAC,IAAI,CAAC,CAAC;AAiBR,yDAAyD;AACzD,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,SAAS,GAC5B,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAIhD;AAED,sCAAsC;AACtC,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,UAAU,GAAG,SAAS,GAAG,QAAQ,CAIrE;AAED,8CAA8C;AAC9C,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,EAAE,IAAI,gBAAgB,CAErE;AAQD;;;;GAIG;AACH,QAAA,MAAM,wBAAwB,sCAAuC,CAAC;AAEtE;;;;;;;;GAQG;AACH,KAAK,qBAAqB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvE;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,SAAS,GAC5B,qBAAqB,GAAG,SAAS,CAInC;AAED;;;;;;;;;;GAUG;AACH,QAAA,MAAM,gBAAgB,oBAAqB,CAAC;AAE5C,iEAAiE;AACjE,KAAK,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAExD;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,SAAS,GAC5B,cAAc,GAAG,SAAS,CAI5B;AAED;;;;;;;;;GASG;AACH,QAAA,MAAM,eAAe,oBAAqB,CAAC;AAE3C,oDAAoD;AACpD,KAAK,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtD,6DAA6D;AAC7D,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,CAI9F;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAIhD,CAAC;AAEH;;;GAGG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,MAAM,EAAE,MAAM,GACb,WAAW,GAAG,SAAS,CAIzB;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAKtF;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAWtF;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,SAAS,GAC5B;IAAE,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAM/D;AAED,4EAA4E;AAC5E,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAI1F"}