@dipoleml/dcode-cli 1.1.0 → 1.2.0

package/node_modules/@dcode/contracts/dist/tools/fill-workflow-hole.js

@@ -0,0 +1,102 @@
+// ============================================================
+// FillWorkflowHole Tool - 给一个正在等代码的留白补上函数体
+// ============================================================
+// docs/dynamic-workflow/launch.md「The `FillWorkflowHole` tool」；引擎侧见
+// apps/dcode-cli/packages/dynamic-workflow/docs/execution-engine.md「Holes」，端口方法
+// `DynamicWorkflowRunPort.fillHole`（interfaces/dynamic-workflow-run.port.ts）。
+//
+// 与 AmendWorkflow 分成两个工具的理由：补全**什么都不启动**——run 保持它的 id、journal 与子代理，
+// 只是在留白处长出模型写下的那一段。输出与 CreateWorkflow / AmendWorkflow 共用一个形状，好让有效
+// 脚本的 display 载荷照启动那样骑在工具行上，run 卡取它 run id 下最新的一份。
+import { z } from "zod";
+import { CreateWorkflowOutputJsonSchema, CreateWorkflowOutputSchema } from "./create-workflow.js";
+import { toToolJsonSchema } from "./json-schema.js";
+export const FILL_WORKFLOW_HOLE_TOOL_NAME = "FillWorkflowHole";
+/**
+ * 「恰好给一个函数体来源」的违规说明。与 `CREATE_WORKFLOW_SOURCE_ERROR` 同一个位置、同一种语气；
+ * 与 AmendWorkflow 不同的是两个都不给在这里**也是**违规——没有可沿用的函数体。
+ */
+export const FILL_WORKFLOW_HOLE_SOURCE_ERROR = "Provide exactly one body source: `script` for the hole's statements written inline, or `path` for a file holding them (usually the fill file a rejected attempt was saved to). Passing both, or neither, is ambiguous.";
+/**
+ * 模型面入参。`hole` 不在这里——那是 resolveInput 回填的事实（下面），模型的 JSON schema 不列它。
+ */
+const FillWorkflowHoleModelInputSchema = z.object({
+    run_id: z
+        .string()
+        .min(1)
+        .describe("ID of the run that is waiting at the hole (from the hole notification)."),
+    hole_id: z
+        .string()
+        .min(1)
+        .describe("The hole's site id from the notification or from GetWorkflowRun's holes, e.g. `hole#21b40fca`."),
+    /**
+     * 函数体**只有语句**：不含 `hole(...)` 调用、不含箭头、不含它周围的脚本。工具把它拼进 run 存档的
+     * 脚本作为留白的函数体再整体编译（docs/dynamic-workflow/launch.md「Input and output」）。
+     */
+    script: z
+        .string()
+        .min(1)
+        .optional()
+        .describe("The body: only the statements of the hole's function, inline. This OR `path`, never both. It is compiled where the hole stands and sees every binding declared before it; it must return the hole's type."),
+    /**
+     * 被拒绝的一次尝试的回程（「The fill file」）：内联提交被写到 fill 文件，诊断给的是那个文件的行号，
+     * 下一次只改一行再把同一个路径交回来。
+     */
+    path: z
+        .string()
+        .min(1)
+        .optional()
+        .describe("A file holding those statements — usually the fill file named by a rejected attempt, edited in place. This OR `script`, never both."),
+});
+/**
+ * resolveInput 回填的留白事实（docs/dynamic-workflow/launch.md「Approval」）。
+ *
+ * 权限判定（本会话的 run 免确认）与确认窗（留白的名字与类型、草稿路径）都读它，而两处都在
+ * handler 之前、且必须同步——所以由 resolveInput（异步、全流程唯一一次读端口）算好放进入参。
+ * 归一化**无条件覆盖**：模型伪造它是无效的（AmendWorkflow 的 `predecessor` 同一条先例）。
+ *
+ * `owned_by_this_session` 已折进 amend 规则的第二个条件：run 归本会话**且**不是用户亲手停下的。
+ * 一个被用户停下的 run 不可能仍在留白处等待，所以这一位在实践上只会因归属为假。
+ */
+export const FillWorkflowHoleHoleSchema = z
+    .object({
+    /** 留白的字面名（`hole<T>("决定分组", …)` 的 `"决定分组"`）。 */
+    name: z.string().min(1),
+    /** 留白的类型实参原文（`Verdict`、`string[]`），照脚本写法。 */
+    type: z.string().min(1),
+    /** run 的草稿文件（绝对路径）；run 没记过文件时缺席。 */
+    draft_path: z.string().min(1).optional(),
+    /** 留白调用在草稿里的行号（1 起）；读不到时缺席。 */
+    line: z.number().int().positive().optional(),
+    owned_by_this_session: z.boolean(),
+})
+    .strict();
+/**
+ * 「这个 run 归本会话、且不是用户亲手停下的」——免确认的 owner 规则
+ * （docs/dynamic-workflow/launch.md「Approval」，读的是「Amending this session's runs」那条）。
+ *
+ * 与 `isAmendWorkflowOwnedPredecessor` 同一条论证：住在契约里，权限服务与 handler 读同一份谓词。
+ * 收 `unknown`：权限服务拿到的是还没解析的工具入参，handler 拿到的是解析好的事实块。
+ */
+export function isFillWorkflowHoleOwnedRun(hole) {
+    if (!hole || typeof hole !== "object")
+        return false;
+    return hole.owned_by_this_session === true;
+}
+/**
+ * 运行时入参：模型面那些键 + 回填的 `hole`。`.strict()`：任何旧拼写在这里都是可见错误。
+ * 归一化后 `script`（函数体的字节）与 `path` 可以同时在场——`path` 提交读成 `script`、路径留作
+ * 来龙去脉，与 AmendWorkflow 同一条「读一次、只读一次」纪律。
+ */
+export const FillWorkflowHoleInputSchema = FillWorkflowHoleModelInputSchema.extend({
+    hole: FillWorkflowHoleHoleSchema.optional(),
+}).strict();
+/** 交给模型的 JSON schema：不含 `hole`。 */
+export const FillWorkflowHoleInputJsonSchema = toToolJsonSchema(FillWorkflowHoleModelInputSchema.strict());
+/**
+ * 输出**就是** `CreateWorkflowOutput`（同一个 schema 对象，不是拷贝）：display 载荷因此在协议上
+ * 与启动行同形，UI 的 CreateWorkflow 行渲染器按工具名选中本工具的行。补全不启动任何东西，所以
+ * `status: "backgrounded"` 与 `backgroundTaskId` 在这里永远缺席。
+ */
+export const FillWorkflowHoleOutputSchema = CreateWorkflowOutputSchema;
+export const FillWorkflowHoleOutputJsonSchema = CreateWorkflowOutputJsonSchema;

package/node_modules/@dcode/contracts/dist/tools/get-workflow-run.d.ts

@@ -83,20 +83,62 @@ export declare const GetWorkflowRunPendingQuestionSchema: z.ZodObject<{
     /** 提问时刻（epoch ms，与 createdAt / updatedAt 同一把尺）。 */
     askedAt: z.ZodNumber;
 }, "strict", z.ZodTypeAny, {
-    qid: string;
     question: string;
+    qid: string;
     askedAt: number;
     actor: string;
     actorName?: string | undefined;
     context?: string | undefined;
 }, {
-    qid: string;
     question: string;
+    qid: string;
     askedAt: number;
     actor: string;
     actorName?: string | undefined;
     context?: string | undefined;
 }>;
+/** `holes` 的上界，与 display 契约的留白上界同值（docs/dynamic-workflow/presentation.md）。 */
+export declare const GET_WORKFLOW_RUN_MAX_HOLES = 32;
+/**
+ * 一处留白（docs/dynamic-workflow/authoring.md「Holes」）。`waiting` 的在等主代理用
+ * `FillWorkflowHole` 补上函数体，`filled` 的已经补过；`since` / `filledAt` 与 createdAt 同一把尺。
+ * 与升级问题一样，这是通知丢失后模型侧唯一的发现面。
+ */
+export declare const GetWorkflowRunHoleSchema: z.ZodObject<{
+    /** 留白的站点 id（`hole#21b40fca`，名字键），`FillWorkflowHole` 的 `hole_id` 就是它。 */
+    siteId: z.ZodString;
+    ordinal: z.ZodNumber;
+    /** 留白的字面名。 */
+    name: z.ZodString;
+    /** 类型实参原文（`Verdict`）。 */
+    type: z.ZodString;
+    state: z.ZodEnum<["waiting", "filled"]>;
+    /** 到达时刻（epoch ms）；`waiting` 时在场。 */
+    since: z.ZodOptional<z.ZodNumber>;
+    /** 补全时刻（epoch ms）；`filled` 时在场。 */
+    filledAt: z.ZodOptional<z.ZodNumber>;
+    /** 补全它的会话。 */
+    filledBy: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    type: string;
+    name: string;
+    state: "waiting" | "filled";
+    siteId: string;
+    ordinal: number;
+    since?: number | undefined;
+    filledAt?: number | undefined;
+    filledBy?: string | undefined;
+}, {
+    type: string;
+    name: string;
+    state: "waiting" | "filled";
+    siteId: string;
+    ordinal: number;
+    since?: number | undefined;
+    filledAt?: number | undefined;
+    filledBy?: string | undefined;
+}>;
+export type GetWorkflowRunHole = z.infer<typeof GetWorkflowRunHoleSchema>;
 /**
  * 一件**用户面产物**：脚本经 `artifact.*` 发布给用户看的
  * 产出，此刻已经作为卡片摆在用户面前。
@@ -126,25 +168,25 @@ export declare const GetWorkflowRunArtifactSchema: z.ZodObject<{
     /** run 的交付物（至多一件），排在清单最前。 */
     primary: z.ZodOptional<z.ZodLiteral<true>>;
 }, "strict", z.ZodTypeAny, {
-    kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
     id: string;
+    kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
     version: number;
     itemCount: number;
     title?: string | undefined;
+    primary?: true | undefined;
     bytes?: number | undefined;
     contentType?: string | undefined;
     sourcePath?: string | undefined;
-    primary?: true | undefined;
 }, {
-    kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
     id: string;
+    kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
     version: number;
     itemCount: number;
     title?: string | undefined;
+    primary?: true | undefined;
     bytes?: number | undefined;
     contentType?: string | undefined;
     sourcePath?: string | undefined;
-    primary?: true | undefined;
 }>;
 /** 结构化失败。`code` 是稳定判别键——模型必须能分辨「进程死了」与「脚本真失败」。 */
 export declare const GetWorkflowRunErrorSchema: z.ZodObject<{
@@ -189,8 +231,8 @@ export declare const GetWorkflowRunErrorSchema: z.ZodObject<{
         resetAt?: number | undefined;
     }>>;
 }, "strict", z.ZodTypeAny, {
-    code: string;
     message: string;
+    code: string;
     providerStop?: {
         kind: "other" | "not_configured" | "auth" | "quota" | "invalid_request" | "model_unavailable";
         reason: string;
@@ -205,8 +247,8 @@ export declare const GetWorkflowRunErrorSchema: z.ZodObject<{
         resetAt?: number | undefined;
     } | undefined;
 }, {
-    code: string;
     message: string;
+    code: string;
     providerStop?: {
         kind: "other" | "not_configured" | "auth" | "quota" | "invalid_request" | "model_unavailable";
         reason: string;
@@ -280,6 +322,11 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
      * AmendWorkflow 省略 `subagent_model` 时沿用的就是这个值。
      */
     subagentModel: z.ZodOptional<z.ZodString>;
+    /**
+     * 本 run 的脚本点名的模型：脚本逐字写下的名字 → 规范形，**只在脚本点名过模型时在场**。
+     * AmendWorkflow 里同名的模型沿用的就是这些绑定。
+     */
+    modelBindings: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     /**
      * 本 run 的脚本文件，**已经写成模型面该看到的样子**（在会话工作目录之下就是工作区相对路径，
      * 否则绝对路径）。**只在这个 run 记下过文件
@@ -592,8 +639,8 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
             resetAt?: number | undefined;
         }>>;
     }, "strict", z.ZodTypeAny, {
-        code: string;
         message: string;
+        code: string;
         providerStop?: {
             kind: "other" | "not_configured" | "auth" | "quota" | "invalid_request" | "model_unavailable";
             reason: string;
@@ -608,8 +655,8 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
             resetAt?: number | undefined;
         } | undefined;
     }, {
-        code: string;
         message: string;
+        code: string;
         providerStop?: {
             kind: "other" | "not_configured" | "auth" | "quota" | "invalid_request" | "model_unavailable";
             reason: string;
@@ -639,20 +686,59 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
         /** 提问时刻（epoch ms，与 createdAt / updatedAt 同一把尺）。 */
         askedAt: z.ZodNumber;
     }, "strict", z.ZodTypeAny, {
-        qid: string;
         question: string;
+        qid: string;
         askedAt: number;
         actor: string;
         actorName?: string | undefined;
         context?: string | undefined;
     }, {
-        qid: string;
         question: string;
+        qid: string;
         askedAt: number;
         actor: string;
         actorName?: string | undefined;
         context?: string | undefined;
     }>, "many">>;
+    /**
+     * 本 run 的留白（docs/dynamic-workflow/launch.md「The `FillWorkflowHole` tool」；引擎文档
+     * 「The run snapshot」）：到达过的每一处，`waiting` 的在等主代理的函数体，`filled` 的已经补上。
+     * 与 pendingQuestions 同规：**零条时整字段缺席**、有界 32；它是留白通知丢失后的查询兜底。
+     */
+    holes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        /** 留白的站点 id（`hole#21b40fca`，名字键），`FillWorkflowHole` 的 `hole_id` 就是它。 */
+        siteId: z.ZodString;
+        ordinal: z.ZodNumber;
+        /** 留白的字面名。 */
+        name: z.ZodString;
+        /** 类型实参原文（`Verdict`）。 */
+        type: z.ZodString;
+        state: z.ZodEnum<["waiting", "filled"]>;
+        /** 到达时刻（epoch ms）；`waiting` 时在场。 */
+        since: z.ZodOptional<z.ZodNumber>;
+        /** 补全时刻（epoch ms）；`filled` 时在场。 */
+        filledAt: z.ZodOptional<z.ZodNumber>;
+        /** 补全它的会话。 */
+        filledBy: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        type: string;
+        name: string;
+        state: "waiting" | "filled";
+        siteId: string;
+        ordinal: number;
+        since?: number | undefined;
+        filledAt?: number | undefined;
+        filledBy?: string | undefined;
+    }, {
+        type: string;
+        name: string;
+        state: "waiting" | "filled";
+        siteId: string;
+        ordinal: number;
+        since?: number | undefined;
+        filledAt?: number | undefined;
+        filledBy?: string | undefined;
+    }>, "many">>;
     /**
      * 本 run 已发布的用户面产物，按首次发布顺序，**任意状态都附**（一个还在跑的 run 也可能
      * 已经交付了第一张图）。**零件时整字段缺席**，与 pendingQuestions 同规。有界 32
@@ -676,29 +762,29 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
         /** run 的交付物（至多一件），排在清单最前。 */
         primary: z.ZodOptional<z.ZodLiteral<true>>;
     }, "strict", z.ZodTypeAny, {
-        kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
         id: string;
+        kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
         version: number;
         itemCount: number;
         title?: string | undefined;
+        primary?: true | undefined;
         bytes?: number | undefined;
         contentType?: string | undefined;
         sourcePath?: string | undefined;
-        primary?: true | undefined;
     }, {
-        kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
         id: string;
+        kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
         version: number;
         itemCount: number;
         title?: string | undefined;
+        primary?: true | undefined;
         bytes?: number | undefined;
         contentType?: string | undefined;
         sourcePath?: string | undefined;
-        primary?: true | undefined;
     }>, "many">>;
 }, "strict", z.ZodTypeAny, {
-    summary: string;
     label: string;
+    summary: string;
     status: "pending" | "running" | "completed" | "stopped" | "errored";
     runId: string;
     labelSource: "script" | "name";
@@ -770,8 +856,8 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
         at?: number | undefined;
     }[];
     error?: {
-        code: string;
         message: string;
+        code: string;
         providerStop?: {
             kind: "other" | "not_configured" | "auth" | "quota" | "invalid_request" | "model_unavailable";
             reason: string;
@@ -795,25 +881,35 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
         enteredAt?: number | undefined;
         exitedAt?: number | undefined;
     }[] | undefined;
-    stopReason?: "user" | "model" | "provider" | "interrupted" | "superseded" | undefined;
+    holes?: {
+        type: string;
+        name: string;
+        state: "waiting" | "filled";
+        siteId: string;
+        ordinal: number;
+        since?: number | undefined;
+        filledAt?: number | undefined;
+        filledBy?: string | undefined;
+    }[] | undefined;
+    stopReason?: "model" | "user" | "provider" | "interrupted" | "superseded" | undefined;
     possiblyInterrupted?: boolean | undefined;
     result?: string | undefined;
     artifacts?: {
-        kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
         id: string;
+        kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
         version: number;
         itemCount: number;
         title?: string | undefined;
+        primary?: true | undefined;
         bytes?: number | undefined;
         contentType?: string | undefined;
         sourcePath?: string | undefined;
-        primary?: true | undefined;
     }[] | undefined;
     resumedFrom?: string | undefined;
     supersededBy?: string | undefined;
     pendingQuestions?: {
-        qid: string;
         question: string;
+        qid: string;
         askedAt: number;
         actor: string;
         actorName?: string | undefined;
@@ -821,11 +917,12 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
     }[] | undefined;
     subagentModel?: string | undefined;
     maxConcurrency?: number | undefined;
+    modelBindings?: Record<string, string> | undefined;
     scriptPath?: string | undefined;
     subagentsTruncated?: true | undefined;
 }, {
-    summary: string;
     label: string;
+    summary: string;
     status: "pending" | "running" | "completed" | "stopped" | "errored";
     runId: string;
     labelSource: "script" | "name";
@@ -897,8 +994,8 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
         at?: number | undefined;
     }[];
     error?: {
-        code: string;
         message: string;
+        code: string;
         providerStop?: {
             kind: "other" | "not_configured" | "auth" | "quota" | "invalid_request" | "model_unavailable";
             reason: string;
@@ -922,25 +1019,35 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
         enteredAt?: number | undefined;
         exitedAt?: number | undefined;
     }[] | undefined;
-    stopReason?: "user" | "model" | "provider" | "interrupted" | "superseded" | undefined;
+    holes?: {
+        type: string;
+        name: string;
+        state: "waiting" | "filled";
+        siteId: string;
+        ordinal: number;
+        since?: number | undefined;
+        filledAt?: number | undefined;
+        filledBy?: string | undefined;
+    }[] | undefined;
+    stopReason?: "model" | "user" | "provider" | "interrupted" | "superseded" | undefined;
     possiblyInterrupted?: boolean | undefined;
     result?: string | undefined;
     artifacts?: {
-        kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
         id: string;
+        kind: "file" | "markdown" | "chart" | "table" | "metrics" | "board";
         version: number;
         itemCount: number;
         title?: string | undefined;
+        primary?: true | undefined;
         bytes?: number | undefined;
         contentType?: string | undefined;
         sourcePath?: string | undefined;
-        primary?: true | undefined;
     }[] | undefined;
     resumedFrom?: string | undefined;
     supersededBy?: string | undefined;
     pendingQuestions?: {
-        qid: string;
         question: string;
+        qid: string;
         askedAt: number;
         actor: string;
         actorName?: string | undefined;
@@ -948,6 +1055,7 @@ export declare const GetWorkflowRunOutputSchema: z.ZodObject<{
     }[] | undefined;
     subagentModel?: string | undefined;
     maxConcurrency?: number | undefined;
+    modelBindings?: Record<string, string> | undefined;
     scriptPath?: string | undefined;
     subagentsTruncated?: true | undefined;
 }>;

package/node_modules/@dcode/contracts/dist/tools/get-workflow-run.js

@@ -73,6 +73,31 @@ export const GetWorkflowRunPendingQuestionSchema = z
     askedAt: z.number(),
 })
     .strict();
+/** `holes` 的上界，与 display 契约的留白上界同值（docs/dynamic-workflow/presentation.md）。 */
+export const GET_WORKFLOW_RUN_MAX_HOLES = 32;
+/**
+ * 一处留白（docs/dynamic-workflow/authoring.md「Holes」）。`waiting` 的在等主代理用
+ * `FillWorkflowHole` 补上函数体，`filled` 的已经补过；`since` / `filledAt` 与 createdAt 同一把尺。
+ * 与升级问题一样，这是通知丢失后模型侧唯一的发现面。
+ */
+export const GetWorkflowRunHoleSchema = z
+    .object({
+    /** 留白的站点 id（`hole#21b40fca`，名字键），`FillWorkflowHole` 的 `hole_id` 就是它。 */
+    siteId: z.string(),
+    ordinal: z.number(),
+    /** 留白的字面名。 */
+    name: z.string(),
+    /** 类型实参原文（`Verdict`）。 */
+    type: z.string(),
+    state: z.enum(["waiting", "filled"]),
+    /** 到达时刻（epoch ms）；`waiting` 时在场。 */
+    since: z.number().optional(),
+    /** 补全时刻（epoch ms）；`filled` 时在场。 */
+    filledAt: z.number().optional(),
+    /** 补全它的会话。 */
+    filledBy: z.string().optional(),
+})
+    .strict();
 /**
  * 一件**用户面产物**：脚本经 `artifact.*` 发布给用户看的
  * 产出，此刻已经作为卡片摆在用户面前。
@@ -164,6 +189,11 @@ export const GetWorkflowRunOutputSchema = WorkflowRunSummarySchema.extend({
      * AmendWorkflow 省略 `subagent_model` 时沿用的就是这个值。
      */
     subagentModel: z.string().optional(),
+    /**
+     * 本 run 的脚本点名的模型：脚本逐字写下的名字 → 规范形，**只在脚本点名过模型时在场**。
+     * AmendWorkflow 里同名的模型沿用的就是这些绑定。
+     */
+    modelBindings: z.record(z.string()).optional(),
     /**
      * 本 run 的脚本文件，**已经写成模型面该看到的样子**（在会话工作目录之下就是工作区相对路径，
      * 否则绝对路径）。**只在这个 run 记下过文件
@@ -206,6 +236,12 @@ export const GetWorkflowRunOutputSchema = WorkflowRunSummarySchema.extend({
      * 读侧据此让整块 pending 区消失，而不是渲染一个空节。
      */
     pendingQuestions: z.array(GetWorkflowRunPendingQuestionSchema).optional(),
+    /**
+     * 本 run 的留白（docs/dynamic-workflow/launch.md「The `FillWorkflowHole` tool」；引擎文档
+     * 「The run snapshot」）：到达过的每一处，`waiting` 的在等主代理的函数体，`filled` 的已经补上。
+     * 与 pendingQuestions 同规：**零条时整字段缺席**、有界 32；它是留白通知丢失后的查询兜底。
+     */
+    holes: z.array(GetWorkflowRunHoleSchema).max(GET_WORKFLOW_RUN_MAX_HOLES).optional(),
     /**
      * 本 run 已发布的用户面产物，按首次发布顺序，**任意状态都附**（一个还在跑的 run 也可能
      * 已经交付了第一张图）。**零件时整字段缺席**，与 pendingQuestions 同规。有界 32

package/node_modules/@dcode/contracts/dist/tools/grep.d.ts

@@ -39,7 +39,7 @@ export declare const GrepInputSchema: z.ZodObject<{
     context?: number | undefined;
     multiline?: boolean | undefined;
     glob?: string | undefined;
-    output_mode?: "count" | "content" | "files_with_matches" | undefined;
+    output_mode?: "content" | "count" | "files_with_matches" | undefined;
     "-B"?: number | undefined;
     "-A"?: number | undefined;
     "-C"?: number | undefined;
@@ -55,7 +55,7 @@ export declare const GrepInputSchema: z.ZodObject<{
     context?: number | undefined;
     multiline?: boolean | undefined;
     glob?: string | undefined;
-    output_mode?: "count" | "content" | "files_with_matches" | undefined;
+    output_mode?: "content" | "count" | "files_with_matches" | undefined;
     "-B"?: number | undefined;
     "-A"?: number | undefined;
     "-C"?: number | undefined;
@@ -92,7 +92,7 @@ export declare const GrepOutputSchema: z.ZodObject<{
 }, "strict", z.ZodTypeAny, {
     durationMs: number;
     truncated: boolean;
-    mode: "count" | "content" | "files_with_matches";
+    mode: "content" | "count" | "files_with_matches";
     filenames: string[];
     numFiles: number;
     content?: string | undefined;
@@ -103,7 +103,7 @@ export declare const GrepOutputSchema: z.ZodObject<{
 }, {
     durationMs: number;
     truncated: boolean;
-    mode: "count" | "content" | "files_with_matches";
+    mode: "content" | "count" | "files_with_matches";
     filenames: string[];
     numFiles: number;
     content?: string | undefined;

package/node_modules/@dcode/contracts/dist/tools/grep.js

@@ -68,10 +68,14 @@ export const GrepInputSchema = z.object({
         .describe("File type to search (rg --type). Common types: js, py, rust, go, java, etc. More efficient than include for standard file types."),
     head_limit: z
         .number()
+        .int()
+        .nonnegative()
         .optional()
         .describe('Limit output to first N lines/entries, equivalent to "| head -N". Works across all output modes: content (limits output lines), files_with_matches (limits file paths), count (limits count entries). Defaults to 250 when unspecified. Pass 0 for unlimited (use sparingly — large result sets waste context).'),
     offset: z
         .number()
+        .int()
+        .nonnegative()
         .optional()
         .describe('Skip first N lines/entries before applying head_limit, equivalent to "| tail -n +N | head -N". Works across all output modes. Defaults to 0.'),
     multiline: z

package/node_modules/@dcode/contracts/dist/tools/index.d.ts

@@ -27,6 +27,7 @@ export * from "./websearch.js";
 export * from "./workflow.js";
 export * from "./create-workflow.js";
 export * from "./amend-workflow.js";
+export * from "./workflow-settings.js";
 export * from "./saved-workflow.js";
 export * from "./save-workflow.js";
 export * from "./list-saved-workflows.js";
@@ -37,6 +38,7 @@ export * from "./get-workflow-run.js";
 export * from "./resume-workflow-run.js";
 export * from "./escalate.js";
 export * from "./resolve-workflow-question.js";
+export * from "./fill-workflow-hole.js";
 export * from "./workflow-observation-display.js";
 export * from "./tool-result-metadata.js";
 export * from "./performance.js";

package/node_modules/@dcode/contracts/dist/tools/index.js

@@ -33,6 +33,7 @@ export * from "./create-workflow.js";
 // 修订入口：名字常量被 core 的
 // 分派、权限服务的 owner 规则、bootstrap 的 actor 禁用名单与 TUI/headless 旁路读走。
 export * from "./amend-workflow.js";
+export * from "./workflow-settings.js";
 export * from "./saved-workflow.js";
 export * from "./save-workflow.js";
 export * from "./list-saved-workflows.js";
@@ -50,6 +51,9 @@ export * from "./resume-workflow-run.js";
 // 名单读走，漏掉这两行会让那两处静默失效（照 resume-workflow-run 的同款注释）。
 export * from "./escalate.js";
 export * from "./resolve-workflow-question.js";
+// 留白补全（docs/dynamic-workflow/launch.md「The `FillWorkflowHole` tool」）：名字常量被 core 的注册、
+// 权限服务的 owner 规则、workflow child 的禁用名单与 display 分派读走。
+export * from "./fill-workflow-hole.js";
 export * from "./workflow-observation-display.js";
 export * from "./tool-result-metadata.js";
 export * from "./performance.js";