@dipoleml/dcode-cli 1.1.0 → 1.2.1

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

@@ -3,7 +3,7 @@ export declare const CREATE_WORKFLOW_TOOL_NAME = "CreateWorkflow";
 /**
  * 教模型写工作流的内置技能名（apps/dcode-cli/packages/bundled-skills/skills/<name>/SKILL.md）。
  * 四个创作工具（Create/Amend/Save/EvalWorkflowSnippet）的 resolveInput 以它为门：会话里没有
- * 加载过这份技能就拒绝提交脚本。
+ * 加载过这份技能就拒绝提交脚本（docs/dynamic-workflow/authoring.md「The authoring surface」）。
  * 住在 contracts 里是因为 core 的门与 bootstrap 的技能包都读它，而两者不能互相 import。
  */
 export declare const DYNAMIC_WORKFLOW_SKILL_NAME = "dynamic-workflows";
@@ -30,13 +30,13 @@ export declare const CreateWorkflowSavedSourceSchema: z.ZodObject<{
     scope: z.ZodOptional<z.ZodEnum<["project", "global"]>>;
 }, "strict", z.ZodTypeAny, {
     name: string;
-    scope?: "project" | "global" | undefined;
     path?: string | undefined;
+    scope?: "project" | "global" | undefined;
     args?: Record<string, unknown> | undefined;
 }, {
     name: string;
-    scope?: "project" | "global" | undefined;
     path?: string | undefined;
+    scope?: "project" | "global" | undefined;
     args?: Record<string, unknown> | undefined;
 }>;
 export type CreateWorkflowSavedSource = z.infer<typeof CreateWorkflowSavedSourceSchema>;
@@ -61,16 +61,16 @@ export declare const CreateWorkflowResolvedSavedSourceSchema: z.ZodObject<{
     draft: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
     name: string;
-    scope?: "project" | "global" | undefined;
     path?: string | undefined;
-    args?: Record<string, unknown> | undefined;
+    scope?: "project" | "global" | undefined;
     draft?: string | undefined;
+    args?: Record<string, unknown> | undefined;
 }, {
     name: string;
-    scope?: "project" | "global" | undefined;
     path?: string | undefined;
-    args?: Record<string, unknown> | undefined;
+    scope?: "project" | "global" | undefined;
     draft?: string | undefined;
+    args?: Record<string, unknown> | undefined;
 }>;
 export type CreateWorkflowResolvedSavedSource = z.infer<typeof CreateWorkflowResolvedSavedSourceSchema>;
 /**
@@ -101,51 +101,72 @@ export declare const CreateWorkflowInputSchema: z.ZodObject<{
         draft: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         name: string;
-        scope?: "project" | "global" | undefined;
         path?: string | undefined;
-        args?: Record<string, unknown> | undefined;
+        scope?: "project" | "global" | undefined;
         draft?: string | undefined;
+        args?: Record<string, unknown> | undefined;
     }, {
         name: string;
-        scope?: "project" | "global" | undefined;
         path?: string | undefined;
-        args?: Record<string, unknown> | undefined;
+        scope?: "project" | "global" | undefined;
         draft?: string | undefined;
+        args?: Record<string, unknown> | undefined;
     }>>;
     script_line_offset: z.ZodOptional<z.ZodNumber>;
+    adjustable_settings: z.ZodOptional<z.ZodObject<{
+        subagent_model: z.ZodBoolean;
+        concurrency_ceiling: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        subagent_model: boolean;
+        concurrency_ceiling?: number | undefined;
+    }, {
+        subagent_model: boolean;
+        concurrency_ceiling?: number | undefined;
+    }>>;
+    model_bindings: z.ZodOptional<z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodString>, Record<string, string>, Record<string, string>>>;
 }, "strict", z.ZodTypeAny, {
+    path?: string | undefined;
     script?: string | undefined;
     name?: string | undefined;
-    path?: string | undefined;
     args?: Record<string, unknown> | undefined;
+    subagent_model?: string | undefined;
+    max_concurrency?: number | undefined;
     saved?: {
         name: string;
-        scope?: "project" | "global" | undefined;
         path?: string | undefined;
-        args?: Record<string, unknown> | undefined;
+        scope?: "project" | "global" | undefined;
         draft?: string | undefined;
+        args?: Record<string, unknown> | undefined;
     } | undefined;
-    max_concurrency?: number | undefined;
-    subagent_model?: string | undefined;
     script_line_offset?: number | undefined;
+    adjustable_settings?: {
+        subagent_model: boolean;
+        concurrency_ceiling?: number | undefined;
+    } | undefined;
+    model_bindings?: Record<string, string> | undefined;
 }, {
+    path?: string | undefined;
     script?: string | undefined;
     name?: string | undefined;
-    path?: string | undefined;
     args?: Record<string, unknown> | undefined;
+    subagent_model?: string | undefined;
+    max_concurrency?: number | undefined;
     saved?: {
         name: string;
-        scope?: "project" | "global" | undefined;
         path?: string | undefined;
-        args?: Record<string, unknown> | undefined;
+        scope?: "project" | "global" | undefined;
         draft?: string | undefined;
+        args?: Record<string, unknown> | undefined;
     } | undefined;
-    max_concurrency?: number | undefined;
-    subagent_model?: string | undefined;
     script_line_offset?: number | undefined;
+    adjustable_settings?: {
+        subagent_model: boolean;
+        concurrency_ceiling?: number | undefined;
+    } | undefined;
+    model_bindings?: Record<string, string> | undefined;
 }>;
 export type CreateWorkflowInput = z.infer<typeof CreateWorkflowInputSchema>;
-/** 交给模型的 JSON schema：不含 `script_line_offset`，`saved` 里也不含 `draft`。 */
+/** 交给模型的 JSON schema：不含 `script_line_offset`、`adjustable_settings` 与 `model_bindings`，`saved` 里也不含 `draft`。 */
 export declare const CreateWorkflowInputJsonSchema: import("../index.js").JsonSchema;
 export declare const CreateWorkflowDiagnosticSchema: z.ZodObject<{
     code: z.ZodNumber;
@@ -153,13 +174,13 @@ export declare const CreateWorkflowDiagnosticSchema: z.ZodObject<{
     line: z.ZodNumber;
     message: z.ZodString;
 }, "strict", z.ZodTypeAny, {
-    code: number;
     message: string;
+    code: number;
     line: number;
     column: number;
 }, {
-    code: number;
     message: string;
+    code: number;
     line: number;
     column: number;
 }>;
@@ -172,13 +193,13 @@ export declare const createWorkflowToolResultDisplayDiagnosticSchema: z.ZodObjec
     code: z.ZodNumber;
     message: z.ZodString;
 }, "strict", z.ZodTypeAny, {
-    code: number;
     message: string;
+    code: number;
     line: number;
     column: number;
 }, {
-    code: number;
     message: string;
+    code: number;
     line: number;
     column: number;
 }>;
@@ -191,7 +212,7 @@ export declare const CREATE_WORKFLOW_GRAPH_MAX_PHASES = 32;
 export declare const CREATE_WORKFLOW_GRAPH_MAX_PHASE_EDGES = 128;
 export declare const CREATE_WORKFLOW_GRAPH_MAX_ID_CHARS = 64;
 export declare const CREATE_WORKFLOW_GRAPH_MAX_NAME_CHARS = 128;
-export declare const CREATE_WORKFLOW_STEP_KINDS: readonly ["ask", "world-read"];
+export declare const CREATE_WORKFLOW_STEP_KINDS: readonly ["ask", "world-read", "hole"];
 export declare const CreateWorkflowNamePatternSchema: z.ZodObject<{
     head: z.ZodOptional<z.ZodString>;
     tail: z.ZodOptional<z.ZodString>;
@@ -205,7 +226,7 @@ export declare const CreateWorkflowNamePatternSchema: z.ZodObject<{
 export type CreateWorkflowNamePattern = z.infer<typeof CreateWorkflowNamePatternSchema>;
 export declare const CreateWorkflowStepSchema: z.ZodObject<{
     id: z.ZodString;
-    kind: z.ZodEnum<["ask", "world-read"]>;
+    kind: z.ZodEnum<["ask", "world-read", "hole"]>;
     label: z.ZodString;
     /** `label` 只拿到兜底串（内联 `agent()` receiver）时，那个名字的静态形状。 */
     labelPattern: z.ZodOptional<z.ZodObject<{
@@ -236,11 +257,18 @@ export declare const CreateWorkflowStepSchema: z.ZodObject<{
      */
     phase: z.ZodOptional<z.ZodString>;
     repeat: z.ZodOptional<z.ZodEnum<["stack", "serial"]>>;
+    /**
+     * 这个站点是某次留白补全写进来的：值是补全它的留白站点 id（名字键 `hole#<8 位十六进制>`）；留白**自己的**阶段上是包着它的留白。时间轴据它画补全的
+     * 笔头与区域（docs/dynamic-workflow/presentation.md「Holes on the timeline」）；没有补全过的脚本
+     * 一律缺席。
+     */
+    fill: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
-    kind: "ask" | "world-read";
-    label: string;
     id: string;
+    kind: "ask" | "world-read" | "hole";
+    label: string;
     lane: string;
+    fill?: string | undefined;
     phase?: string | undefined;
     labelPattern?: {
         head?: string | undefined;
@@ -252,10 +280,11 @@ export declare const CreateWorkflowStepSchema: z.ZodObject<{
     source?: string | undefined;
     repeat?: "stack" | "serial" | undefined;
 }, {
-    kind: "ask" | "world-read";
-    label: string;
     id: string;
+    kind: "ask" | "world-read" | "hole";
+    label: string;
     lane: string;
+    fill?: string | undefined;
     phase?: string | undefined;
     labelPattern?: {
         head?: string | undefined;
@@ -318,6 +347,22 @@ export declare const CreateWorkflowEdgeSchema: z.ZodObject<{
     back?: true | undefined;
 }>;
 export type CreateWorkflowEdge = z.infer<typeof CreateWorkflowEdgeSchema>;
+/**
+ * 阶段流（docs/dynamic-workflow/presentation.md「Streams」）：`from` 阶段在两者都在跑的时候把东西
+ * 交给 `to` 阶段——channel 串起来的两个 future 阶段。它**不是** runs after，所以不进 `phaseEdges`、
+ * 不带 `back`（方向由 UI 按站的位置判断），也不带分析器的边种类。
+ */
+export declare const CreateWorkflowStreamSchema: z.ZodObject<{
+    from: z.ZodString;
+    to: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    from: string;
+    to: string;
+}, {
+    from: string;
+    to: string;
+}>;
+export type CreateWorkflowStream = z.infer<typeof CreateWorkflowStreamSchema>;
 export declare const CreateWorkflowParticipantSchema: z.ZodObject<{
     /** `${phase}:${lane}`，家族成员 `${phase}:${lane}[${index}]`。 */
     id: z.ZodString;
@@ -391,24 +436,55 @@ export declare const CreateWorkflowPhaseSchema: z.ZodObject<{
      * 侧栏迷你轨道据此画双线段。
      */
     alongside: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    /** 这个阶段是某次留白补全写进来的：值是补全它的留白站点 id（同 `Step.fill`）。 */
+    fill: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
     id: string;
+    fill?: string | undefined;
     name?: string | undefined;
     line?: number | undefined;
     column?: number | undefined;
     alongside?: string[] | undefined;
 }, {
     id: string;
+    fill?: string | undefined;
     name?: string | undefined;
     line?: number | undefined;
     column?: number | undefined;
     alongside?: string[] | undefined;
 }>;
 export type CreateWorkflowPhase = z.infer<typeof CreateWorkflowPhaseSchema>;
+/** `holes` 的上界，与阶段表同一个数：一处留白就是一个阶段。 */
+export declare const CREATE_WORKFLOW_GRAPH_MAX_HOLES = 32;
+export declare const CreateWorkflowHoleSchema: z.ZodObject<{
+    /** 留白的站点 id（名字键 `hole#<8 位十六进制>`），也是它作为阶段的 id。 */
+    siteId: z.ZodString;
+    /** 留白的字面名。 */
+    name: z.ZodString;
+    /** 类型实参原文（`Verdict`）。 */
+    type: z.ZodString;
+    /** 它出生的阶段 id（`phases[].id`）；与阶段词汇表同进同退。 */
+    phase: z.ZodOptional<z.ZodString>;
+    /** 尾留白：`return await hole(...)`，脚本的结尾还没写。 */
+    tail: z.ZodOptional<z.ZodLiteral<true>>;
+}, "strict", z.ZodTypeAny, {
+    type: string;
+    name: string;
+    siteId: string;
+    phase?: string | undefined;
+    tail?: true | undefined;
+}, {
+    type: string;
+    name: string;
+    siteId: string;
+    phase?: string | undefined;
+    tail?: true | undefined;
+}>;
+export type CreateWorkflowHole = z.infer<typeof CreateWorkflowHoleSchema>;
 export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
     steps: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
-        kind: z.ZodEnum<["ask", "world-read"]>;
+        kind: z.ZodEnum<["ask", "world-read", "hole"]>;
         label: z.ZodString;
         /** `label` 只拿到兜底串（内联 `agent()` receiver）时，那个名字的静态形状。 */
         labelPattern: z.ZodOptional<z.ZodObject<{
@@ -439,11 +515,18 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
          */
         phase: z.ZodOptional<z.ZodString>;
         repeat: z.ZodOptional<z.ZodEnum<["stack", "serial"]>>;
+        /**
+         * 这个站点是某次留白补全写进来的：值是补全它的留白站点 id（名字键 `hole#<8 位十六进制>`）；留白**自己的**阶段上是包着它的留白。时间轴据它画补全的
+         * 笔头与区域（docs/dynamic-workflow/presentation.md「Holes on the timeline」）；没有补全过的脚本
+         * 一律缺席。
+         */
+        fill: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
-        kind: "ask" | "world-read";
-        label: string;
         id: string;
+        kind: "ask" | "world-read" | "hole";
+        label: string;
         lane: string;
+        fill?: string | undefined;
         phase?: string | undefined;
         labelPattern?: {
             head?: string | undefined;
@@ -455,10 +538,11 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
         source?: string | undefined;
         repeat?: "stack" | "serial" | undefined;
     }, {
-        kind: "ask" | "world-read";
-        label: string;
         id: string;
+        kind: "ask" | "world-read" | "hole";
+        label: string;
         lane: string;
+        fill?: string | undefined;
         phase?: string | undefined;
         labelPattern?: {
             head?: string | undefined;
@@ -581,14 +665,18 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
          * 侧栏迷你轨道据此画双线段。
          */
         alongside: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        /** 这个阶段是某次留白补全写进来的：值是补全它的留白站点 id（同 `Step.fill`）。 */
+        fill: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         id: string;
+        fill?: string | undefined;
         name?: string | undefined;
         line?: number | undefined;
         column?: number | undefined;
         alongside?: string[] | undefined;
     }, {
         id: string;
+        fill?: string | undefined;
         name?: string | undefined;
         line?: number | undefined;
         column?: number | undefined;
@@ -607,6 +695,20 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
         to: string;
         back?: true | undefined;
     }>, "many">>;
+    /**
+     * 阶段流：因果图阶段商里两端互为 `alongside` 的 `data` 边（bounds 层求得），与词汇表同进同退，
+     * 组内没有时缺席。时间线据它把流水线的各阶段从带里拿出来排成一条线，画成流轨。
+     */
+    phaseStreams: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        from: string;
+        to: string;
+    }, {
+        from: string;
+        to: string;
+    }>, "many">>;
     /**
      * 控制流可以在其后正常完成的阶段（控制流图阶段商里指向 sink 终端的边的源），阶段表序。
      * 阶段视图的「阶段 → 返回物」箭头读它，让那张画面上的每条箭头都是控制流。组内可为空
@@ -615,6 +717,35 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
     exits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     /** 返回物由哪些 step 供给（数据事实，下钻用）；脚本无返回时缺省。 */
     sink: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    /**
+     * 还开着的留白，源序（docs/dynamic-workflow/presentation.md「The display contract」）。一处留白
+     * 就是一个阶段，所以上界与阶段表同值；补过的留白不在这里，它写进来的阶段与站点带 `fill`。
+     * 零处时整字段缺席。
+     */
+    holes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        /** 留白的站点 id（名字键 `hole#<8 位十六进制>`），也是它作为阶段的 id。 */
+        siteId: z.ZodString;
+        /** 留白的字面名。 */
+        name: z.ZodString;
+        /** 类型实参原文（`Verdict`）。 */
+        type: z.ZodString;
+        /** 它出生的阶段 id（`phases[].id`）；与阶段词汇表同进同退。 */
+        phase: z.ZodOptional<z.ZodString>;
+        /** 尾留白：`return await hole(...)`，脚本的结尾还没写。 */
+        tail: z.ZodOptional<z.ZodLiteral<true>>;
+    }, "strict", z.ZodTypeAny, {
+        type: string;
+        name: string;
+        siteId: string;
+        phase?: string | undefined;
+        tail?: true | undefined;
+    }, {
+        type: string;
+        name: string;
+        siteId: string;
+        phase?: string | undefined;
+        tail?: true | undefined;
+    }>, "many">>;
     truncated: z.ZodOptional<z.ZodBoolean>;
 }, "strict", z.ZodTypeAny, {
     lanes: {
@@ -628,10 +759,11 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
         } | undefined;
     }[];
     steps: {
-        kind: "ask" | "world-read";
-        label: string;
         id: string;
+        kind: "ask" | "world-read" | "hole";
+        label: string;
         lane: string;
+        fill?: string | undefined;
         phase?: string | undefined;
         labelPattern?: {
             head?: string | undefined;
@@ -663,6 +795,7 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
     truncated?: boolean | undefined;
     phases?: {
         id: string;
+        fill?: string | undefined;
         name?: string | undefined;
         line?: number | undefined;
         column?: number | undefined;
@@ -673,6 +806,17 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
         to: string;
         back?: true | undefined;
     }[] | undefined;
+    phaseStreams?: {
+        from: string;
+        to: string;
+    }[] | undefined;
+    holes?: {
+        type: string;
+        name: string;
+        siteId: string;
+        phase?: string | undefined;
+        tail?: true | undefined;
+    }[] | undefined;
     exits?: string[] | undefined;
     sink?: string[] | undefined;
 }, {
@@ -687,10 +831,11 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
         } | undefined;
     }[];
     steps: {
-        kind: "ask" | "world-read";
-        label: string;
         id: string;
+        kind: "ask" | "world-read" | "hole";
+        label: string;
         lane: string;
+        fill?: string | undefined;
         phase?: string | undefined;
         labelPattern?: {
             head?: string | undefined;
@@ -722,6 +867,7 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
     truncated?: boolean | undefined;
     phases?: {
         id: string;
+        fill?: string | undefined;
         name?: string | undefined;
         line?: number | undefined;
         column?: number | undefined;
@@ -732,6 +878,17 @@ export declare const CreateWorkflowCausalityGraphSchema: z.ZodObject<{
         to: string;
         back?: true | undefined;
     }[] | undefined;
+    phaseStreams?: {
+        from: string;
+        to: string;
+    }[] | undefined;
+    holes?: {
+        type: string;
+        name: string;
+        siteId: string;
+        phase?: string | undefined;
+        tail?: true | undefined;
+    }[] | undefined;
     exits?: string[] | undefined;
     sink?: string[] | undefined;
 }>;
@@ -764,13 +921,13 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
         line: z.ZodNumber;
         message: z.ZodString;
     }, "strict", z.ZodTypeAny, {
-        code: number;
         message: string;
+        code: number;
         line: number;
         column: number;
     }, {
-        code: number;
         message: string;
+        code: number;
         line: number;
         column: number;
     }>, "many">;
@@ -779,7 +936,7 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
     causalityGraph: z.ZodOptional<z.ZodObject<{
         steps: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
-            kind: z.ZodEnum<["ask", "world-read"]>;
+            kind: z.ZodEnum<["ask", "world-read", "hole"]>;
             label: z.ZodString;
             /** `label` 只拿到兜底串（内联 `agent()` receiver）时，那个名字的静态形状。 */
             labelPattern: z.ZodOptional<z.ZodObject<{
@@ -810,11 +967,18 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
              */
             phase: z.ZodOptional<z.ZodString>;
             repeat: z.ZodOptional<z.ZodEnum<["stack", "serial"]>>;
+            /**
+             * 这个站点是某次留白补全写进来的：值是补全它的留白站点 id（名字键 `hole#<8 位十六进制>`）；留白**自己的**阶段上是包着它的留白。时间轴据它画补全的
+             * 笔头与区域（docs/dynamic-workflow/presentation.md「Holes on the timeline」）；没有补全过的脚本
+             * 一律缺席。
+             */
+            fill: z.ZodOptional<z.ZodString>;
         }, "strict", z.ZodTypeAny, {
-            kind: "ask" | "world-read";
-            label: string;
             id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
             lane: string;
+            fill?: string | undefined;
             phase?: string | undefined;
             labelPattern?: {
                 head?: string | undefined;
@@ -826,10 +990,11 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             source?: string | undefined;
             repeat?: "stack" | "serial" | undefined;
         }, {
-            kind: "ask" | "world-read";
-            label: string;
             id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
             lane: string;
+            fill?: string | undefined;
             phase?: string | undefined;
             labelPattern?: {
                 head?: string | undefined;
@@ -952,14 +1117,18 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
              * 侧栏迷你轨道据此画双线段。
              */
             alongside: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            /** 这个阶段是某次留白补全写进来的：值是补全它的留白站点 id（同 `Step.fill`）。 */
+            fill: z.ZodOptional<z.ZodString>;
         }, "strict", z.ZodTypeAny, {
             id: string;
+            fill?: string | undefined;
             name?: string | undefined;
             line?: number | undefined;
             column?: number | undefined;
             alongside?: string[] | undefined;
         }, {
             id: string;
+            fill?: string | undefined;
             name?: string | undefined;
             line?: number | undefined;
             column?: number | undefined;
@@ -978,6 +1147,20 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             to: string;
             back?: true | undefined;
         }>, "many">>;
+        /**
+         * 阶段流：因果图阶段商里两端互为 `alongside` 的 `data` 边（bounds 层求得），与词汇表同进同退，
+         * 组内没有时缺席。时间线据它把流水线的各阶段从带里拿出来排成一条线，画成流轨。
+         */
+        phaseStreams: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            from: string;
+            to: string;
+        }, {
+            from: string;
+            to: string;
+        }>, "many">>;
         /**
          * 控制流可以在其后正常完成的阶段（控制流图阶段商里指向 sink 终端的边的源），阶段表序。
          * 阶段视图的「阶段 → 返回物」箭头读它，让那张画面上的每条箭头都是控制流。组内可为空
@@ -986,6 +1169,35 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
         exits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         /** 返回物由哪些 step 供给（数据事实，下钻用）；脚本无返回时缺省。 */
         sink: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        /**
+         * 还开着的留白，源序（docs/dynamic-workflow/presentation.md「The display contract」）。一处留白
+         * 就是一个阶段，所以上界与阶段表同值；补过的留白不在这里，它写进来的阶段与站点带 `fill`。
+         * 零处时整字段缺席。
+         */
+        holes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            /** 留白的站点 id（名字键 `hole#<8 位十六进制>`），也是它作为阶段的 id。 */
+            siteId: z.ZodString;
+            /** 留白的字面名。 */
+            name: z.ZodString;
+            /** 类型实参原文（`Verdict`）。 */
+            type: z.ZodString;
+            /** 它出生的阶段 id（`phases[].id`）；与阶段词汇表同进同退。 */
+            phase: z.ZodOptional<z.ZodString>;
+            /** 尾留白：`return await hole(...)`，脚本的结尾还没写。 */
+            tail: z.ZodOptional<z.ZodLiteral<true>>;
+        }, "strict", z.ZodTypeAny, {
+            type: string;
+            name: string;
+            siteId: string;
+            phase?: string | undefined;
+            tail?: true | undefined;
+        }, {
+            type: string;
+            name: string;
+            siteId: string;
+            phase?: string | undefined;
+            tail?: true | undefined;
+        }>, "many">>;
         truncated: z.ZodOptional<z.ZodBoolean>;
     }, "strict", z.ZodTypeAny, {
         lanes: {
@@ -999,10 +1211,11 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             } | undefined;
         }[];
         steps: {
-            kind: "ask" | "world-read";
-            label: string;
             id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
             lane: string;
+            fill?: string | undefined;
             phase?: string | undefined;
             labelPattern?: {
                 head?: string | undefined;
@@ -1034,6 +1247,7 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
         truncated?: boolean | undefined;
         phases?: {
             id: string;
+            fill?: string | undefined;
             name?: string | undefined;
             line?: number | undefined;
             column?: number | undefined;
@@ -1044,6 +1258,17 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             to: string;
             back?: true | undefined;
         }[] | undefined;
+        phaseStreams?: {
+            from: string;
+            to: string;
+        }[] | undefined;
+        holes?: {
+            type: string;
+            name: string;
+            siteId: string;
+            phase?: string | undefined;
+            tail?: true | undefined;
+        }[] | undefined;
         exits?: string[] | undefined;
         sink?: string[] | undefined;
     }, {
@@ -1058,10 +1283,11 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             } | undefined;
         }[];
         steps: {
-            kind: "ask" | "world-read";
-            label: string;
             id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
             lane: string;
+            fill?: string | undefined;
             phase?: string | undefined;
             labelPattern?: {
                 head?: string | undefined;
@@ -1093,6 +1319,7 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
         truncated?: boolean | undefined;
         phases?: {
             id: string;
+            fill?: string | undefined;
             name?: string | undefined;
             line?: number | undefined;
             column?: number | undefined;
@@ -1103,6 +1330,17 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             to: string;
             back?: true | undefined;
         }[] | undefined;
+        phaseStreams?: {
+            from: string;
+            to: string;
+        }[] | undefined;
+        holes?: {
+            type: string;
+            name: string;
+            siteId: string;
+            phase?: string | undefined;
+            tail?: true | undefined;
+        }[] | undefined;
         exits?: string[] | undefined;
         sink?: string[] | undefined;
     }>>;
@@ -1111,41 +1349,70 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
     /** 后台任务 id ≡ taskId ≡ runId（取消与状态查询都以它为键）。 */
     backgroundTaskId: z.ZodOptional<z.ZodString>;
     /**
-     * `AmendWorkflow` 只改并发、就地生效时才在场：**没有**新 run，所以既没有 `status: "backgrounded"` 也没有
+     * `AmendWorkflow` 只改并发、就地生效时才在场（docs/dynamic-workflow/launch.md「Changing only
+     * the parallelism of a live run」）：**没有**新 run，所以既没有 `status: "backgrounded"` 也没有
      * `backgroundTaskId`，run 还是调用里那一个。
      *
      * 是一个显式的块而不是让消费方按形状去猜：「ok 且没有 status」在这个工具上还有别的来路
-     * （没有 run 端口时的「只 typecheck」）。数都是绝对值，`maxConcurrency === ceiling` 即
+     * （没有 run 端口时的「只 typecheck」）。数都是绝对值，`maxConcurrency === defaultConcurrency` 即
      * 「这个 run 没有自己的界」。
      *
      * ⚠ 这条事实**不跨 v4**：协议的 `toolOutputSchema` 只带 `text` / `display` / `truncated`，
-     * 所以它服务的是 CLI/TUI、进程内消费方，桌面 UI 读不到它。
+     * 所以它服务的是 CLI/TUI、进程内消费方与契约测试，桌面 UI 读不到它。
      */
     retuned: z.ZodOptional<z.ZodObject<{
         runId: z.ZodString;
         maxConcurrency: z.ZodNumber;
         previous: z.ZodNumber;
-        ceiling: z.ZodNumber;
+        defaultConcurrency: z.ZodNumber;
     }, "strict", z.ZodTypeAny, {
         runId: string;
-        ceiling: number;
         maxConcurrency: number;
         previous: number;
+        defaultConcurrency: number;
     }, {
         runId: string;
-        ceiling: number;
         maxConcurrency: number;
         previous: number;
+        defaultConcurrency: number;
+    }>>;
+    /**
+     * `FillWorkflowHole` 补的是哪处留白（docs/dynamic-workflow/launch.md「The `FillWorkflowHole` tool」）：
+     * 站点 id 与**名字**，外加草稿路径与行号。成功与被拒都在场，且**跨 v4**——display 投影原样带上它，
+     * 工具行靠它给自己起名。不能从行的入参读：transcript 存的是模型自己的入参，resolveInput 回填的
+     * `hole` 块只给权限规则与 handler 看，到不了行（2026-09-28 首次接龙实测：行标题成了留白的站点 id）。
+     */
+    fill: z.ZodOptional<z.ZodObject<{
+        siteId: z.ZodString;
+        name: z.ZodString;
+        draftPath: z.ZodOptional<z.ZodString>;
+        line: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        name: string;
+        siteId: string;
+        line?: number | undefined;
+        draftPath?: string | undefined;
+    }, {
+        name: string;
+        siteId: string;
+        line?: number | undefined;
+        draftPath?: string | undefined;
     }>>;
 }, "strict", z.ZodTypeAny, {
     ok: boolean;
     diagnostics: {
-        code: number;
         message: string;
+        code: number;
         line: number;
         column: number;
     }[];
     response: string;
+    fill?: {
+        name: string;
+        siteId: string;
+        line?: number | undefined;
+        draftPath?: string | undefined;
+    } | undefined;
     backgroundTaskId?: string | undefined;
     status?: "backgrounded" | undefined;
     causalityGraph?: {
@@ -1160,10 +1427,11 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             } | undefined;
         }[];
         steps: {
-            kind: "ask" | "world-read";
-            label: string;
             id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
             lane: string;
+            fill?: string | undefined;
             phase?: string | undefined;
             labelPattern?: {
                 head?: string | undefined;
@@ -1195,6 +1463,7 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
         truncated?: boolean | undefined;
         phases?: {
             id: string;
+            fill?: string | undefined;
             name?: string | undefined;
             line?: number | undefined;
             column?: number | undefined;
@@ -1205,24 +1474,41 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             to: string;
             back?: true | undefined;
         }[] | undefined;
+        phaseStreams?: {
+            from: string;
+            to: string;
+        }[] | undefined;
+        holes?: {
+            type: string;
+            name: string;
+            siteId: string;
+            phase?: string | undefined;
+            tail?: true | undefined;
+        }[] | undefined;
         exits?: string[] | undefined;
         sink?: string[] | undefined;
     } | undefined;
     retuned?: {
         runId: string;
-        ceiling: number;
         maxConcurrency: number;
         previous: number;
+        defaultConcurrency: number;
     } | undefined;
 }, {
     ok: boolean;
     diagnostics: {
-        code: number;
         message: string;
+        code: number;
         line: number;
         column: number;
     }[];
     response: string;
+    fill?: {
+        name: string;
+        siteId: string;
+        line?: number | undefined;
+        draftPath?: string | undefined;
+    } | undefined;
     backgroundTaskId?: string | undefined;
     status?: "backgrounded" | undefined;
     causalityGraph?: {
@@ -1237,10 +1523,11 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             } | undefined;
         }[];
         steps: {
-            kind: "ask" | "world-read";
-            label: string;
             id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
             lane: string;
+            fill?: string | undefined;
             phase?: string | undefined;
             labelPattern?: {
                 head?: string | undefined;
@@ -1272,6 +1559,7 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
         truncated?: boolean | undefined;
         phases?: {
             id: string;
+            fill?: string | undefined;
             name?: string | undefined;
             line?: number | undefined;
             column?: number | undefined;
@@ -1282,14 +1570,25 @@ export declare const CreateWorkflowOutputSchema: z.ZodObject<{
             to: string;
             back?: true | undefined;
         }[] | undefined;
+        phaseStreams?: {
+            from: string;
+            to: string;
+        }[] | undefined;
+        holes?: {
+            type: string;
+            name: string;
+            siteId: string;
+            phase?: string | undefined;
+            tail?: true | undefined;
+        }[] | undefined;
         exits?: string[] | undefined;
         sink?: string[] | undefined;
     } | undefined;
     retuned?: {
         runId: string;
-        ceiling: number;
         maxConcurrency: number;
         previous: number;
+        defaultConcurrency: number;
     } | undefined;
 }>;
 export type CreateWorkflowOutput = z.infer<typeof CreateWorkflowOutputSchema>;