@dipoleml/dcode-cli 1.0.0 → 1.2.0

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

@@ -0,0 +1,729 @@
+import { z } from "zod";
+export declare const FILL_WORKFLOW_HOLE_TOOL_NAME = "FillWorkflowHole";
+/**
+ * 「恰好给一个函数体来源」的违规说明。与 `CREATE_WORKFLOW_SOURCE_ERROR` 同一个位置、同一种语气；
+ * 与 AmendWorkflow 不同的是两个都不给在这里**也是**违规——没有可沿用的函数体。
+ */
+export declare 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.";
+/**
+ * resolveInput 回填的留白事实（docs/dynamic-workflow/launch.md「Approval」）。
+ *
+ * 权限判定（本会话的 run 免确认）与确认窗（留白的名字与类型、草稿路径）都读它，而两处都在
+ * handler 之前、且必须同步——所以由 resolveInput（异步、全流程唯一一次读端口）算好放进入参。
+ * 归一化**无条件覆盖**：模型伪造它是无效的（AmendWorkflow 的 `predecessor` 同一条先例）。
+ *
+ * `owned_by_this_session` 已折进 amend 规则的第二个条件：run 归本会话**且**不是用户亲手停下的。
+ * 一个被用户停下的 run 不可能仍在留白处等待，所以这一位在实践上只会因归属为假。
+ */
+export declare const FillWorkflowHoleHoleSchema: z.ZodObject<{
+    /** 留白的字面名（`hole<T>("决定分组", …)` 的 `"决定分组"`）。 */
+    name: z.ZodString;
+    /** 留白的类型实参原文（`Verdict`、`string[]`），照脚本写法。 */
+    type: z.ZodString;
+    /** run 的草稿文件（绝对路径）；run 没记过文件时缺席。 */
+    draft_path: z.ZodOptional<z.ZodString>;
+    /** 留白调用在草稿里的行号（1 起）；读不到时缺席。 */
+    line: z.ZodOptional<z.ZodNumber>;
+    owned_by_this_session: z.ZodBoolean;
+}, "strict", z.ZodTypeAny, {
+    type: string;
+    name: string;
+    owned_by_this_session: boolean;
+    line?: number | undefined;
+    draft_path?: string | undefined;
+}, {
+    type: string;
+    name: string;
+    owned_by_this_session: boolean;
+    line?: number | undefined;
+    draft_path?: string | undefined;
+}>;
+export type FillWorkflowHoleHole = z.infer<typeof FillWorkflowHoleHoleSchema>;
+/**
+ * 「这个 run 归本会话、且不是用户亲手停下的」——免确认的 owner 规则
+ * （docs/dynamic-workflow/launch.md「Approval」，读的是「Amending this session's runs」那条）。
+ *
+ * 与 `isAmendWorkflowOwnedPredecessor` 同一条论证：住在契约里，权限服务与 handler 读同一份谓词。
+ * 收 `unknown`：权限服务拿到的是还没解析的工具入参，handler 拿到的是解析好的事实块。
+ */
+export declare function isFillWorkflowHoleOwnedRun(hole: unknown): boolean;
+/**
+ * 运行时入参：模型面那些键 + 回填的 `hole`。`.strict()`：任何旧拼写在这里都是可见错误。
+ * 归一化后 `script`（函数体的字节）与 `path` 可以同时在场——`path` 提交读成 `script`、路径留作
+ * 来龙去脉，与 AmendWorkflow 同一条「读一次、只读一次」纪律。
+ */
+export declare const FillWorkflowHoleInputSchema: z.ZodObject<{
+    run_id: z.ZodString;
+    hole_id: z.ZodString;
+    /**
+     * 函数体**只有语句**：不含 `hole(...)` 调用、不含箭头、不含它周围的脚本。工具把它拼进 run 存档的
+     * 脚本作为留白的函数体再整体编译（docs/dynamic-workflow/launch.md「Input and output」）。
+     */
+    script: z.ZodOptional<z.ZodString>;
+    /**
+     * 被拒绝的一次尝试的回程（「The fill file」）：内联提交被写到 fill 文件，诊断给的是那个文件的行号，
+     * 下一次只改一行再把同一个路径交回来。
+     */
+    path: z.ZodOptional<z.ZodString>;
+} & {
+    hole: z.ZodOptional<z.ZodObject<{
+        /** 留白的字面名（`hole<T>("决定分组", …)` 的 `"决定分组"`）。 */
+        name: z.ZodString;
+        /** 留白的类型实参原文（`Verdict`、`string[]`），照脚本写法。 */
+        type: z.ZodString;
+        /** run 的草稿文件（绝对路径）；run 没记过文件时缺席。 */
+        draft_path: z.ZodOptional<z.ZodString>;
+        /** 留白调用在草稿里的行号（1 起）；读不到时缺席。 */
+        line: z.ZodOptional<z.ZodNumber>;
+        owned_by_this_session: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        type: string;
+        name: string;
+        owned_by_this_session: boolean;
+        line?: number | undefined;
+        draft_path?: string | undefined;
+    }, {
+        type: string;
+        name: string;
+        owned_by_this_session: boolean;
+        line?: number | undefined;
+        draft_path?: string | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    run_id: string;
+    hole_id: string;
+    path?: string | undefined;
+    script?: string | undefined;
+    hole?: {
+        type: string;
+        name: string;
+        owned_by_this_session: boolean;
+        line?: number | undefined;
+        draft_path?: string | undefined;
+    } | undefined;
+}, {
+    run_id: string;
+    hole_id: string;
+    path?: string | undefined;
+    script?: string | undefined;
+    hole?: {
+        type: string;
+        name: string;
+        owned_by_this_session: boolean;
+        line?: number | undefined;
+        draft_path?: string | undefined;
+    } | undefined;
+}>;
+export type FillWorkflowHoleInput = z.infer<typeof FillWorkflowHoleInputSchema>;
+/** 交给模型的 JSON schema：不含 `hole`。 */
+export declare const FillWorkflowHoleInputJsonSchema: import("../index.js").JsonSchema;
+/**
+ * 输出**就是** `CreateWorkflowOutput`（同一个 schema 对象，不是拷贝）：display 载荷因此在协议上
+ * 与启动行同形，UI 的 CreateWorkflow 行渲染器按工具名选中本工具的行。补全不启动任何东西，所以
+ * `status: "backgrounded"` 与 `backgroundTaskId` 在这里永远缺席。
+ */
+export declare const FillWorkflowHoleOutputSchema: z.ZodObject<{
+    diagnostics: z.ZodArray<z.ZodObject<{
+        code: z.ZodNumber;
+        column: z.ZodNumber;
+        line: z.ZodNumber;
+        message: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        message: string;
+        code: number;
+        line: number;
+        column: number;
+    }, {
+        message: string;
+        code: number;
+        line: number;
+        column: number;
+    }>, "many">;
+    ok: z.ZodBoolean;
+    response: z.ZodString;
+    causalityGraph: z.ZodOptional<z.ZodObject<{
+        steps: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<["ask", "world-read", "hole"]>;
+            label: z.ZodString;
+            labelPattern: z.ZodOptional<z.ZodObject<{
+                head: z.ZodOptional<z.ZodString>;
+                tail: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                head?: string | undefined;
+                tail?: string | undefined;
+            }, {
+                head?: string | undefined;
+                tail?: string | undefined;
+            }>>;
+            line: z.ZodOptional<z.ZodNumber>;
+            column: z.ZodOptional<z.ZodNumber>;
+            lane: z.ZodString;
+            lanes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            source: z.ZodOptional<z.ZodString>;
+            phase: z.ZodOptional<z.ZodString>;
+            repeat: z.ZodOptional<z.ZodEnum<["stack", "serial"]>>;
+            fill: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
+            lane: string;
+            fill?: string | undefined;
+            phase?: string | undefined;
+            labelPattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            lanes?: string[] | undefined;
+            source?: string | undefined;
+            repeat?: "stack" | "serial" | undefined;
+        }, {
+            id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
+            lane: string;
+            fill?: string | undefined;
+            phase?: string | undefined;
+            labelPattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            lanes?: string[] | undefined;
+            source?: string | undefined;
+            repeat?: "stack" | "serial" | undefined;
+        }>, "many">;
+        lanes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            name: z.ZodOptional<z.ZodString>;
+            namePattern: z.ZodOptional<z.ZodObject<{
+                head: z.ZodOptional<z.ZodString>;
+                tail: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                head?: string | undefined;
+                tail?: string | undefined;
+            }, {
+                head?: string | undefined;
+                tail?: string | undefined;
+            }>>;
+            line: z.ZodOptional<z.ZodNumber>;
+            column: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            namePattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+        }, {
+            id: string;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            namePattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+        }>, "many">;
+        participants: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            phase: z.ZodString;
+            lane: z.ZodString;
+            steps: z.ZodArray<z.ZodString, "many">;
+            member: z.ZodOptional<z.ZodObject<{
+                index: z.ZodNumber;
+                of: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                index: number;
+                of: number;
+            }, {
+                index: number;
+                of: number;
+            }>>;
+            many: z.ZodOptional<z.ZodLiteral<true>>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            phase: string;
+            lane: string;
+            steps: string[];
+            member?: {
+                index: number;
+                of: number;
+            } | undefined;
+            many?: true | undefined;
+        }, {
+            id: string;
+            phase: string;
+            lane: string;
+            steps: string[];
+            member?: {
+                index: number;
+                of: number;
+            } | undefined;
+            many?: true | undefined;
+        }>, "many">;
+        handoffs: z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            back: z.ZodOptional<z.ZodLiteral<true>>;
+        } & {
+            types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            from: string;
+            to: string;
+            back?: true | undefined;
+            types?: string[] | undefined;
+        }, {
+            from: string;
+            to: string;
+            back?: true | undefined;
+            types?: string[] | undefined;
+        }>, "many">;
+        phases: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            name: z.ZodOptional<z.ZodString>;
+            line: z.ZodOptional<z.ZodNumber>;
+            column: z.ZodOptional<z.ZodNumber>;
+            alongside: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            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;
+        }>, "many">>;
+        phaseEdges: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            back: z.ZodOptional<z.ZodLiteral<true>>;
+        }, "strict", z.ZodTypeAny, {
+            from: string;
+            to: string;
+            back?: true | undefined;
+        }, {
+            from: string;
+            to: string;
+            back?: true | undefined;
+        }>, "many">>;
+        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">>;
+        exits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        sink: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        holes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            siteId: z.ZodString;
+            name: z.ZodString;
+            type: z.ZodString;
+            phase: z.ZodOptional<z.ZodString>;
+            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: {
+            id: string;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            namePattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+        }[];
+        steps: {
+            id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
+            lane: string;
+            fill?: string | undefined;
+            phase?: string | undefined;
+            labelPattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            lanes?: string[] | undefined;
+            source?: string | undefined;
+            repeat?: "stack" | "serial" | undefined;
+        }[];
+        participants: {
+            id: string;
+            phase: string;
+            lane: string;
+            steps: string[];
+            member?: {
+                index: number;
+                of: number;
+            } | undefined;
+            many?: true | undefined;
+        }[];
+        handoffs: {
+            from: string;
+            to: string;
+            back?: true | undefined;
+            types?: string[] | undefined;
+        }[];
+        truncated?: boolean | undefined;
+        phases?: {
+            id: string;
+            fill?: string | undefined;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            alongside?: string[] | undefined;
+        }[] | undefined;
+        phaseEdges?: {
+            from: string;
+            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;
+    }, {
+        lanes: {
+            id: string;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            namePattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+        }[];
+        steps: {
+            id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
+            lane: string;
+            fill?: string | undefined;
+            phase?: string | undefined;
+            labelPattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            lanes?: string[] | undefined;
+            source?: string | undefined;
+            repeat?: "stack" | "serial" | undefined;
+        }[];
+        participants: {
+            id: string;
+            phase: string;
+            lane: string;
+            steps: string[];
+            member?: {
+                index: number;
+                of: number;
+            } | undefined;
+            many?: true | undefined;
+        }[];
+        handoffs: {
+            from: string;
+            to: string;
+            back?: true | undefined;
+            types?: string[] | undefined;
+        }[];
+        truncated?: boolean | undefined;
+        phases?: {
+            id: string;
+            fill?: string | undefined;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            alongside?: string[] | undefined;
+        }[] | undefined;
+        phaseEdges?: {
+            from: string;
+            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;
+    }>>;
+    status: z.ZodOptional<z.ZodLiteral<"backgrounded">>;
+    backgroundTaskId: z.ZodOptional<z.ZodString>;
+    retuned: z.ZodOptional<z.ZodObject<{
+        runId: z.ZodString;
+        maxConcurrency: z.ZodNumber;
+        previous: z.ZodNumber;
+        defaultConcurrency: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        runId: string;
+        maxConcurrency: number;
+        previous: number;
+        defaultConcurrency: number;
+    }, {
+        runId: string;
+        maxConcurrency: number;
+        previous: number;
+        defaultConcurrency: number;
+    }>>;
+    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: {
+        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?: {
+        lanes: {
+            id: string;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            namePattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+        }[];
+        steps: {
+            id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
+            lane: string;
+            fill?: string | undefined;
+            phase?: string | undefined;
+            labelPattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            lanes?: string[] | undefined;
+            source?: string | undefined;
+            repeat?: "stack" | "serial" | undefined;
+        }[];
+        participants: {
+            id: string;
+            phase: string;
+            lane: string;
+            steps: string[];
+            member?: {
+                index: number;
+                of: number;
+            } | undefined;
+            many?: true | undefined;
+        }[];
+        handoffs: {
+            from: string;
+            to: string;
+            back?: true | undefined;
+            types?: string[] | undefined;
+        }[];
+        truncated?: boolean | undefined;
+        phases?: {
+            id: string;
+            fill?: string | undefined;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            alongside?: string[] | undefined;
+        }[] | undefined;
+        phaseEdges?: {
+            from: string;
+            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;
+        maxConcurrency: number;
+        previous: number;
+        defaultConcurrency: number;
+    } | undefined;
+}, {
+    ok: boolean;
+    diagnostics: {
+        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?: {
+        lanes: {
+            id: string;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            namePattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+        }[];
+        steps: {
+            id: string;
+            kind: "ask" | "world-read" | "hole";
+            label: string;
+            lane: string;
+            fill?: string | undefined;
+            phase?: string | undefined;
+            labelPattern?: {
+                head?: string | undefined;
+                tail?: string | undefined;
+            } | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            lanes?: string[] | undefined;
+            source?: string | undefined;
+            repeat?: "stack" | "serial" | undefined;
+        }[];
+        participants: {
+            id: string;
+            phase: string;
+            lane: string;
+            steps: string[];
+            member?: {
+                index: number;
+                of: number;
+            } | undefined;
+            many?: true | undefined;
+        }[];
+        handoffs: {
+            from: string;
+            to: string;
+            back?: true | undefined;
+            types?: string[] | undefined;
+        }[];
+        truncated?: boolean | undefined;
+        phases?: {
+            id: string;
+            fill?: string | undefined;
+            name?: string | undefined;
+            line?: number | undefined;
+            column?: number | undefined;
+            alongside?: string[] | undefined;
+        }[] | undefined;
+        phaseEdges?: {
+            from: string;
+            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;
+        maxConcurrency: number;
+        previous: number;
+        defaultConcurrency: number;
+    } | undefined;
+}>;
+export type FillWorkflowHoleOutput = z.infer<typeof FillWorkflowHoleOutputSchema>;
+export declare const FillWorkflowHoleOutputJsonSchema: import("../index.js").JsonSchema;
+//# sourceMappingURL=fill-workflow-hole.d.ts.map