@mickorz/opencode-agentic-workflow 0.3.0

package/dist/workflow/sequence.d.ts

@@ -0,0 +1,40 @@
+/**
+ * sequence() —— 顺序执行步骤，上一步结果作为下一步入参
+ * （P1.3 失败语义 / P2.2 journal 记录与恢复）
+ *
+ * onFailure 两种模式：
+ *   "fail-fast"（默认）：第一个失败步骤抛 WorkflowSequenceError，剩余步骤不再执行。
+ *   "continue"        ：失败步骤被记录，后续步骤仍执行（prev = 最后一次成功值），
+ *                       全部执行完后若存在失败，仍抛 WorkflowSequenceError（累积全部错误）。
+ *
+ * journal（可选）：传入 RunJournal 后每次状态变更落盘，
+ *   配合 resumeSequence() 可在 run 中断后从 completed 前缀恢复续跑。
+ *
+ * resumeSequence()（P2.2）：从 journal 恢复——
+ *   Step1 ✅ Step2 ✅ Step3 ❌ Step4 -
+ *     -> restart -> 跳过 1/2（prev 取 journal 输出），从 Step3 重跑
+ *   注意：重跑意味着 Step3 的副作用会再次发生（非幂等步骤需自行保证安全）。
+ *   仅支持 sequence 的恢复；parallel/nested 的恢复不在 P2.2 范围。
+ */
+import { RunJournal } from "../state/recorder.js";
+import type { ExecutionStore } from "../state/store.js";
+export interface SequenceOptions {
+    /** 失败模式，默认 "fail-fast" */
+    onFailure?: "fail-fast" | "continue";
+    /** 步骤名（用于错误定位），可选 */
+    stepNames?: string[];
+    /** 可选 journal：记录本次执行（持久化；配合 resumeSequence 可恢复） */
+    journal?: RunJournal;
+}
+type Step<T> = (prev?: T) => Promise<T>;
+/** 可注入的步骤编排入口（registry ctx.runSteps 的结构类型；缺省 = sequence 直跑） */
+export type RunStepsFn = <T>(steps: Array<Step<T>>, options?: SequenceOptions) => Promise<T | undefined>;
+export declare function sequence<T>(steps: Array<Step<T>>, options?: SequenceOptions): Promise<T | undefined>;
+/**
+ * 从 journal 恢复执行 sequence：
+ *   - run 已 completed：直接返回最后一步的 journal 输出（幂等，不执行任何步骤）
+ *   - 否则：跳过 completed 前缀（prev 取 journal 输出），从第一个未完成步骤重跑
+ *   - steps 必须与原 run 步骤数一致（同一 workflow 定义重新声明）
+ */
+export declare function resumeSequence<T>(store: ExecutionStore, runId: string, steps: Array<Step<T>>, options?: SequenceOptions): Promise<T | undefined>;
+export {};

package/dist/workflow/sequence.js

@@ -0,0 +1,100 @@
+/**
+ * sequence() —— 顺序执行步骤，上一步结果作为下一步入参
+ * （P1.3 失败语义 / P2.2 journal 记录与恢复）
+ *
+ * onFailure 两种模式：
+ *   "fail-fast"（默认）：第一个失败步骤抛 WorkflowSequenceError，剩余步骤不再执行。
+ *   "continue"        ：失败步骤被记录，后续步骤仍执行（prev = 最后一次成功值），
+ *                       全部执行完后若存在失败，仍抛 WorkflowSequenceError（累积全部错误）。
+ *
+ * journal（可选）：传入 RunJournal 后每次状态变更落盘，
+ *   配合 resumeSequence() 可在 run 中断后从 completed 前缀恢复续跑。
+ *
+ * resumeSequence()（P2.2）：从 journal 恢复——
+ *   Step1 ✅ Step2 ✅ Step3 ❌ Step4 -
+ *     -> restart -> 跳过 1/2（prev 取 journal 输出），从 Step3 重跑
+ *   注意：重跑意味着 Step3 的副作用会再次发生（非幂等步骤需自行保证安全）。
+ *   仅支持 sequence 的恢复；parallel/nested 的恢复不在 P2.2 范围。
+ */
+import { WorkflowSequenceError, WorkflowStepError } from "../runtime/errors.js";
+import { emitEvent } from "../observability/events.js";
+import { RunJournal } from "../state/recorder.js";
+function assertStepCount(journal, steps) {
+    if (journal && journal.run.steps.length !== steps) {
+        throw new Error(`[agentic-workflow] journal step count mismatch: journal ` +
+            `${journal.run.steps.length} vs steps ${steps} (run ${journal.run.runId})`);
+    }
+}
+async function runLoop(steps, options, journal, fromIndex, initialPrev) {
+    const onFailure = options?.onFailure ?? "fail-fast";
+    const errors = [];
+    let result = initialPrev;
+    for (let i = fromIndex; i < steps.length; i++) {
+        const step = steps[i];
+        if (!step)
+            continue;
+        const stepStartedAt = Date.now();
+        try {
+            emitEvent({ type: "step.started", index: i });
+            await journal?.stepStarted(i, result);
+            result = await step(result);
+            await journal?.stepCompleted(i, result);
+            emitEvent({ type: "step.completed", index: i, durationMs: Date.now() - stepStartedAt });
+        }
+        catch (cause) {
+            const stepError = new WorkflowStepError(i, cause, options?.stepNames?.[i]);
+            await journal?.stepFailed(i, cause);
+            emitEvent({
+                type: "step.failed",
+                index: i,
+                error: cause instanceof Error ? cause.message : String(cause),
+            });
+            if (onFailure === "fail-fast") {
+                const sequenceError = new WorkflowSequenceError([stepError], result);
+                await journal?.fail(sequenceError);
+                throw sequenceError;
+            }
+            errors.push(stepError);
+            // continue 模式：result 保持为最后一次成功值
+        }
+    }
+    if (errors.length > 0) {
+        const sequenceError = new WorkflowSequenceError(errors, result);
+        await journal?.fail(sequenceError);
+        throw sequenceError;
+    }
+    await journal?.complete();
+    return result;
+}
+export async function sequence(steps, options) {
+    assertStepCount(options?.journal, steps.length);
+    return runLoop(steps, options, options?.journal, 0, undefined);
+}
+/**
+ * 从 journal 恢复执行 sequence：
+ *   - run 已 completed：直接返回最后一步的 journal 输出（幂等，不执行任何步骤）
+ *   - 否则：跳过 completed 前缀（prev 取 journal 输出），从第一个未完成步骤重跑
+ *   - steps 必须与原 run 步骤数一致（同一 workflow 定义重新声明）
+ */
+export async function resumeSequence(store, runId, steps, options) {
+    const journal = await RunJournal.attach(store, runId);
+    if (!journal) {
+        throw new Error(`[agentic-workflow] cannot resume: run not found: ${runId}`);
+    }
+    assertStepCount(journal, steps.length);
+    const run = journal.run;
+    if (run.status === "completed") {
+        const last = run.steps[run.steps.length - 1];
+        return last?.output;
+    }
+    await journal.reopen();
+    // 恢复 completed 前缀的 prev 链，从第一个未完成步骤重跑
+    let fromIndex = 0;
+    let prev = undefined;
+    while (fromIndex < run.steps.length && run.steps[fromIndex]?.status === "completed") {
+        prev = run.steps[fromIndex]?.output;
+        fromIndex += 1;
+    }
+    return runLoop(steps, options, journal, fromIndex, prev);
+}
+//# sourceMappingURL=sequence.js.map

package/dist/workflow/sequence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sequence.js","sourceRoot":"","sources":["../../src/workflow/sequence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC/E,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAoBjD,SAAS,eAAe,CAAC,OAA+B,EAAE,KAAa;IACrE,IAAI,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,0DAA0D;YACxD,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,aAAa,KAAK,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAC7E,CAAA;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,OAAO,CACpB,KAAqB,EACrB,OAAoC,EACpC,OAA+B,EAC/B,SAAiB,EACjB,WAA0B;IAE1B,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,IAAI,WAAW,CAAA;IACnD,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,IAAI,MAAM,GAAG,WAAW,CAAA;IAExB,KAAK,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QACrB,IAAI,CAAC,IAAI;YAAE,SAAQ;QACnB,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAChC,IAAI,CAAC;YACH,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;YAC7C,MAAM,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;YACrC,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAA;YAC3B,MAAM,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;YACvC,SAAS,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC,CAAA;QACzF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,IAAI,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;YAC1E,MAAM,OAAO,EAAE,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;YACnC,SAAS,CAAC;gBACR,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,CAAC;gBACR,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAC9D,CAAC,CAAA;YACF,IAAI,SAAS,KAAK,WAAW,EAAE,CAAC;gBAC9B,MAAM,aAAa,GAAG,IAAI,qBAAqB,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAA;gBACpE,MAAM,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,CAAA;gBAClC,MAAM,aAAa,CAAA;YACrB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACtB,gCAAgC;QAClC,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,aAAa,GAAG,IAAI,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/D,MAAM,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,CAAA;QAClC,MAAM,aAAa,CAAA;IACrB,CAAC;IAED,MAAM,OAAO,EAAE,QAAQ,EAAE,CAAA;IACzB,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,KAAqB,EACrB,OAAyB;IAEzB,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/C,OAAO,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;AAChE,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,KAAqB,EACrB,KAAa,EACb,KAAqB,EACrB,OAAyB;IAEzB,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACrD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,oDAAoD,KAAK,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAEtC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAA;IAEvB,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAC5C,OAAO,IAAI,EAAE,MAAuB,CAAA;IACtC,CAAC;IAED,MAAM,OAAO,CAAC,MAAM,EAAE,CAAA;IAEtB,sCAAsC;IACtC,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,IAAI,IAAI,GAAkB,SAAS,CAAA;IACnC,OAAO,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,KAAK,WAAW,EAAE,CAAC;QACpF,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAuB,CAAA;QACpD,SAAS,IAAI,CAAC,CAAA;IAChB,CAAC;IAED,OAAO,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}

package/dist/workflow/smoke.d.ts

@@ -0,0 +1,17 @@
+/**
+ * P0 Smoke Workflow —— 3 个并行分析 agent + 1 个汇总 agent
+ *
+ * 只使用 Workflow Core 组合子，不含任何 OpenCode 依赖，
+ * 因此可以在 MockExecutor（单测）与 OpenCodeV2Executor（真实运行）下复用。
+ *
+ * 验收链路：
+ *   Main Session -> workflow tool -> Workflow Engine
+ *     -> Session A / B / C（并行）
+ *     -> Summary Agent
+ *     -> Result -> Main Session
+ *
+ * P2.5：步骤化（research -> summary）+ 可注入 runSteps，可被 journal 记录与 resume。
+ */
+import type { AgentResult } from "../runtime/executor.js";
+import { type RunStepsFn } from "./sequence.js";
+export declare function runSmokeWorkflow(topic: string, runSteps?: RunStepsFn): Promise<AgentResult>;

package/dist/workflow/smoke.js

@@ -0,0 +1,38 @@
+/**
+ * P0 Smoke Workflow —— 3 个并行分析 agent + 1 个汇总 agent
+ *
+ * 只使用 Workflow Core 组合子，不含任何 OpenCode 依赖，
+ * 因此可以在 MockExecutor（单测）与 OpenCodeV2Executor（真实运行）下复用。
+ *
+ * 验收链路：
+ *   Main Session -> workflow tool -> Workflow Engine
+ *     -> Session A / B / C（并行）
+ *     -> Summary Agent
+ *     -> Result -> Main Session
+ *
+ * P2.5：步骤化（research -> summary）+ 可注入 runSteps，可被 journal 记录与 resume。
+ */
+import { agent } from "./agent.js";
+import { parallel } from "./parallel.js";
+import { phase } from "./phase.js";
+import { observeWorkflow } from "../observability/observe.js";
+import { sequence } from "./sequence.js";
+export async function runSmokeWorkflow(topic, runSteps) {
+    const run = runSteps ?? ((steps, options) => sequence(steps, options));
+    return observeWorkflow("smoke", async () => {
+        phase("Research");
+        const result = (await run([
+            async () => parallel([
+                () => agent(`针对主题「${topic}」，从架构设计角度进行分析，给出要点。直接用你自己的知识回答，禁止调用 workflow 或其他任何工具。`),
+                () => agent(`针对主题「${topic}」，从风险与约束角度进行分析，给出要点。直接用你自己的知识回答，禁止调用 workflow 或其他任何工具。`),
+                () => agent(`针对主题「${topic}」，从实施步骤角度进行分析，给出要点。直接用你自己的知识回答，禁止调用 workflow 或其他任何工具。`),
+            ]),
+            async (prev) => {
+                phase("Summary");
+                return agent(`根据下面三份分析结果生成一份总结（保留关键要点，去除重复）。直接用你自己的知识回答，禁止调用 workflow 或其他任何工具：\n\n${JSON.stringify(prev, null, 2)}`);
+            },
+        ], { stepNames: ["research", "summary"] }));
+        return result;
+    }, { topic });
+}
+//# sourceMappingURL=smoke.js.map

package/dist/workflow/smoke.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"smoke.js","sourceRoot":"","sources":["../../src/workflow/smoke.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,EAAE,QAAQ,EAAmB,MAAM,eAAe,CAAA;AAEzD,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,KAAa,EACb,QAAqB;IAErB,MAAM,GAAG,GACP,QAAQ,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IAE5D,OAAO,eAAe,CACpB,OAAO,EACP,KAAK,IAAI,EAAE;QACT,KAAK,CAAC,UAAU,CAAC,CAAA;QAEjB,MAAM,MAAM,GAAG,CAAC,MAAM,GAAG,CACvB;YACE,KAAK,IAAI,EAAE,CACT,QAAQ,CAAC;gBACP,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,uDAAuD,CAAC;gBACjF,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,wDAAwD,CAAC;gBAClF,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,uDAAuD,CAAC;aAClF,CAAC;YACJ,KAAK,EAAE,IAAI,EAAE,EAAE;gBACb,KAAK,CAAC,SAAS,CAAC,CAAA;gBAChB,OAAO,KAAK,CACV,uEAAuE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CACvG,CAAA;YACH,CAAC;SACF,EACD,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,CACvC,CAAgB,CAAA;QAEjB,OAAO,MAAM,CAAA;IACf,CAAC,EACD,EAAE,KAAK,EAAE,CACV,CAAA;AACH,CAAC"}

package/dist/workflows/artifact.d.ts

@@ -0,0 +1,24 @@
+/**
+ * artifact workflow 定义（P2.7 隔离演示与验收载体）
+ *
+ * 链路：agent 在 workspace 写文件 -> fileExists 检查（workspace 内）-> 审批。
+ * 用于真实验证「一个 run 一个稳定、隔离、可恢复的工作目录」：
+ *   - 子 agent 的 cwd 已被 runner 绑定到 worktree 根；
+ *   - 文件产物落在 worktree 内，不污染项目目录；
+ *   - 失败后 resume 重新附着原 worktree，文件仍在。
+ */
+import type { WorkflowDefinition } from "../registry/definition.js";
+export interface ArtifactArgs {
+    topic: string;
+    /** 产物文件名（相对 workspace 根；默认 artifact.md） */
+    file?: string;
+}
+export interface ArtifactState {
+    file?: string;
+    absolutePath?: string;
+    verified?: boolean;
+    approved?: boolean;
+}
+export declare function artifactWorkflow(): WorkflowDefinition<ArtifactArgs, {
+    output: string;
+}>;

package/dist/workflows/artifact.js

@@ -0,0 +1,71 @@
+/**
+ * artifact workflow 定义（P2.7 隔离演示与验收载体）
+ *
+ * 链路：agent 在 workspace 写文件 -> fileExists 检查（workspace 内）-> 审批。
+ * 用于真实验证「一个 run 一个稳定、隔离、可恢复的工作目录」：
+ *   - 子 agent 的 cwd 已被 runner 绑定到 worktree 根；
+ *   - 文件产物落在 worktree 内，不污染项目目录；
+ *   - 失败后 resume 重新附着原 worktree，文件仍在。
+ */
+import path from "node:path";
+import { observeWorkflow } from "../observability/observe.js";
+import { agent } from "../workflow/agent.js";
+import { assert } from "../quality/check.js";
+import { fileExists } from "../quality/predicates.js";
+import { checkpoint } from "../quality/checkpoint.js";
+export function artifactWorkflow() {
+    return {
+        id: "artifact",
+        version: "1.0.0",
+        description: "在隔离 workspace 中生成文件产物并验证（agent 写文件 -> fileExists 检查 -> 审批）",
+        argsSchema: {
+            type: "object",
+            properties: {
+                topic: { type: "string", description: "产物主题" },
+                file: { type: "string", description: "产物文件名（默认 artifact.md）" },
+            },
+            required: ["topic"],
+        },
+        stepNames: ["write", "check", "checkpoint"],
+        async run(args, ctx) {
+            const file = args.file ?? "artifact.md";
+            return observeWorkflow("artifact", async () => {
+                const state = await ctx.runSteps([
+                    // 1. 写文件：子 agent 的 cwd 已绑定 workspace 根
+                    async () => {
+                        await agent(`请在当前工作目录创建文件 ${file}，内容为针对主题「${args.topic}」的 3-5 条要点分析（Markdown 格式，含一级标题）。` +
+                            "使用你的文件写入工具直接创建，禁止调用 workflow 或 workflow_metrics 工具。完成后只回复 done。");
+                        return {
+                            file,
+                            absolutePath: path.join(ctx.workspaceRoot ?? process.cwd(), file),
+                        };
+                    },
+                    // 2. 确定性检查：文件真实存在于 workspace
+                    async (prev) => {
+                        const dir = ctx.workspaceRoot ?? process.cwd();
+                        await assert(() => fileExists(path.join(dir, file)), `check: ${file} exists in workspace (${dir})`);
+                        return { ...prev, verified: true };
+                    },
+                    // 3. 审批
+                    async (prev) => {
+                        await checkpoint("文件已写入并通过检查，是否继续？", {
+                            label: "artifact-review",
+                        });
+                        return { ...prev, approved: true };
+                    },
+                ], { stepNames: ["write", "check", "checkpoint"] });
+                const output = [
+                    `# Artifact Workflow 报告：${args.topic}`,
+                    "",
+                    `- 文件：${state?.file ?? file}`,
+                    `- 路径：${state?.absolutePath ?? "(未知)"}`,
+                    `- 检查：${state?.verified ? "通过" : "未通过"}`,
+                    `- 审批：${state?.approved ? "已批准" : "未批准"}`,
+                    `- 隔离目录：${ctx.workspaceRoot ?? "(未启用隔离)"}`,
+                ].join("\n");
+                return { output };
+            }, { topic: args.topic, file });
+        },
+    };
+}
+//# sourceMappingURL=artifact.js.map

package/dist/workflows/artifact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact.js","sourceRoot":"","sources":["../../src/workflows/artifact.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAA;AAG5B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAerD,MAAM,UAAU,gBAAgB;IAC9B,OAAO;QACL,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,OAAO;QAChB,WAAW,EACT,4DAA4D;QAC9D,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE;gBAC9C,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,uBAAuB,EAAE;aAC/D;YACD,QAAQ,EAAE,CAAC,OAAO,CAAC;SACpB;QACD,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC;QAC3C,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG;YACjB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,aAAa,CAAA;YACvC,OAAO,eAAe,CACpB,UAAU,EACV,KAAK,IAAI,EAAE;gBACT,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,QAAQ,CAC9B;oBACE,uCAAuC;oBACvC,KAAK,IAAI,EAAE;wBACT,MAAM,KAAK,CACT,gBAAgB,IAAI,YAAY,IAAI,CAAC,KAAK,kCAAkC;4BAC1E,iEAAiE,CACpE,CAAA;wBACD,OAAO;4BACL,IAAI;4BACJ,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC;yBAClE,CAAA;oBACH,CAAC;oBACD,6BAA6B;oBAC7B,KAAK,EAAE,IAAI,EAAE,EAAE;wBACb,MAAM,GAAG,GAAG,GAAG,CAAC,aAAa,IAAI,OAAO,CAAC,GAAG,EAAE,CAAA;wBAC9C,MAAM,MAAM,CACV,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EACtC,UAAU,IAAI,yBAAyB,GAAG,GAAG,CAC9C,CAAA;wBACD,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;oBACpC,CAAC;oBACD,QAAQ;oBACR,KAAK,EAAE,IAAI,EAAE,EAAE;wBACb,MAAM,UAAU,CAAC,kBAAkB,EAAE;4BACnC,KAAK,EAAE,iBAAiB;yBACzB,CAAC,CAAA;wBACF,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;oBACpC,CAAC;iBACF,EACD,EAAE,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAChD,CAAA;gBAED,MAAM,MAAM,GAAG;oBACb,0BAA0B,IAAI,CAAC,KAAK,EAAE;oBACtC,EAAE;oBACF,QAAQ,KAAK,EAAE,IAAI,IAAI,IAAI,EAAE;oBAC7B,QAAQ,KAAK,EAAE,YAAY,IAAI,MAAM,EAAE;oBACvC,QAAQ,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE;oBACxC,QAAQ,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE;oBACzC,UAAU,GAAG,CAAC,aAAa,IAAI,SAAS,EAAE;iBAC3C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACZ,OAAO,EAAE,MAAM,EAAE,CAAA;YACnB,CAAC,EACD,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAC5B,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/workflows/index.d.ts

@@ -0,0 +1,19 @@
+/**
+ * 内置 workflow 定义（P2.5）
+ *
+ * workflows/ 目录 = workflow 资产（id/version/description/args/entry），
+ * 与 workflow/ 目录（组合子引擎）分离。新增 workflow = 新增一个定义文件 +
+ * 在插件入口注册，插件工具与路由零改动。
+ */
+import type { WorkflowDefinition } from "../registry/registry.js";
+/** smoke：3 路并行分析 + 汇总（P0 冒烟链） */
+export declare function smokeWorkflow(): WorkflowDefinition<{
+    topic: string;
+}>;
+/** reliable：执行 -> check -> verify -> checkpoint 可靠链（P1 验收链） */
+export declare function reliableWorkflow(options?: {
+    checkCommand?: string;
+    reviewers?: number;
+}): WorkflowDefinition<{
+    topic: string;
+}>;

package/dist/workflows/index.js

@@ -0,0 +1,40 @@
+/**
+ * 内置 workflow 定义（P2.5）
+ *
+ * workflows/ 目录 = workflow 资产（id/version/description/args/entry），
+ * 与 workflow/ 目录（组合子引擎）分离。新增 workflow = 新增一个定义文件 +
+ * 在插件入口注册，插件工具与路由零改动。
+ */
+import { runSmokeWorkflow } from "../workflow/smoke.js";
+import { runReliableWorkflow } from "../workflow/reliable.js";
+const TOPIC_SCHEMA = {
+    type: "object",
+    properties: {
+        topic: { type: "string", description: "分析主题" },
+    },
+    required: ["topic"],
+};
+/** smoke：3 路并行分析 + 汇总（P0 冒烟链） */
+export function smokeWorkflow() {
+    return {
+        id: "smoke",
+        version: "1.0.0",
+        description: "3 路并行分析 agent + 1 个汇总 agent（冒烟演示）",
+        args: TOPIC_SCHEMA,
+        entry: async ({ topic }) => runSmokeWorkflow(topic),
+    };
+}
+/** reliable：执行 -> check -> verify -> checkpoint 可靠链（P1 验收链） */
+export function reliableWorkflow(options) {
+    return {
+        id: "reliable",
+        version: "1.0.0",
+        description: "agent -> 确定性检查 -> 多 reviewer 语义验证 -> 人工审批 的可靠链",
+        args: TOPIC_SCHEMA,
+        entry: async ({ topic }) => runReliableWorkflow(topic, {
+            checkCommand: options?.checkCommand,
+            reviewers: options?.reviewers,
+        }),
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/workflows/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/workflows/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAE7D,MAAM,YAAY,GAAe;IAC/B,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE;KAC/C;IACD,QAAQ,EAAE,CAAC,OAAO,CAAC;CACpB,CAAA;AAED,iCAAiC;AACjC,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,EAAE,EAAE,OAAO;QACX,OAAO,EAAE,OAAO;QAChB,WAAW,EAAE,mCAAmC;QAChD,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;KACpD,CAAA;AACH,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,gBAAgB,CAAC,OAGhC;IACC,OAAO;QACL,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,OAAO;QAChB,WAAW,EAAE,gDAAgD;QAC7D,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CACzB,mBAAmB,CAAC,KAAK,EAAE;YACzB,YAAY,EAAE,OAAO,EAAE,YAAY;YACnC,SAAS,EAAE,OAAO,EAAE,SAAS;SAC9B,CAAC;KACL,CAAA;AACH,CAAC"}

package/dist/workflows/reliable.d.ts

@@ -0,0 +1,18 @@
+/**
+ * reliable workflow 定义（P2.5）
+ *
+ * 版本纪律（resume 安全约束）：步骤结构（stepNames 的数量/顺序/语义）变更
+ * 必须升 version——resume 依赖 journal.workflow.version 精确解析定义。
+ */
+import type { WorkflowDefinition } from "../registry/definition.js";
+export interface ReliableArgs {
+    topic: string;
+    checkCommand?: string;
+    reviewers?: number;
+}
+export declare function reliableWorkflow(hostOptions?: {
+    checkCommand?: string;
+    reviewers?: number;
+}): WorkflowDefinition<ReliableArgs, {
+    output: string;
+}>;

package/dist/workflows/reliable.js

@@ -0,0 +1,32 @@
+/**
+ * reliable workflow 定义（P2.5）
+ *
+ * 版本纪律（resume 安全约束）：步骤结构（stepNames 的数量/顺序/语义）变更
+ * 必须升 version——resume 依赖 journal.workflow.version 精确解析定义。
+ */
+import { runReliableWorkflow } from "../workflow/reliable.js";
+export function reliableWorkflow(hostOptions) {
+    return {
+        id: "reliable",
+        version: "1.0.0",
+        description: "agent -> 确定性检查 -> 多 reviewer 语义验证 -> 人工审批 的可靠链",
+        argsSchema: {
+            type: "object",
+            properties: {
+                topic: { type: "string", description: "分析主题" },
+                checkCommand: { type: "string", description: "check 步骤执行的命令（可选）" },
+                reviewers: { type: "integer", description: "reviewer 数量（可选，默认 2）" },
+            },
+            required: ["topic"],
+        },
+        stepNames: ["execute", "check", "verify", "checkpoint"],
+        async run(args, ctx) {
+            return runReliableWorkflow(args.topic, {
+                checkCommand: args.checkCommand ?? hostOptions?.checkCommand,
+                reviewers: args.reviewers ?? hostOptions?.reviewers,
+                runSteps: ctx.runSteps,
+            });
+        },
+    };
+}
+//# sourceMappingURL=reliable.js.map

package/dist/workflows/reliable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reliable.js","sourceRoot":"","sources":["../../src/workflows/reliable.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAQ7D,MAAM,UAAU,gBAAgB,CAAC,WAGhC;IACC,OAAO;QACL,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,OAAO;QAChB,WAAW,EAAE,gDAAgD;QAC7D,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE;gBAC9C,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,mBAAmB,EAAE;gBAClE,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,sBAAsB,EAAE;aACpE;YACD,QAAQ,EAAE,CAAC,OAAO,CAAC;SACpB;QACD,SAAS,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC;QACvD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG;YACjB,OAAO,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE;gBACrC,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,WAAW,EAAE,YAAY;gBAC5D,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,WAAW,EAAE,SAAS;gBACnD,QAAQ,EAAE,GAAG,CAAC,QAAQ;aACvB,CAAC,CAAA;QACJ,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/workflows/smoke.d.ts

@@ -0,0 +1,13 @@
+/**
+ * smoke workflow 定义（P2.5）
+ *
+ * workflows/ = workflow 资产（id/version/description/argsSchema/stepNames/run），
+ * workflow/ = 组合子引擎。新增 workflow = 新增定义文件 + 插件入口注册一行。
+ */
+import type { WorkflowDefinition } from "../registry/definition.js";
+export interface SmokeArgs {
+    topic: string;
+}
+export declare function smokeWorkflow(): WorkflowDefinition<SmokeArgs, {
+    output: string;
+}>;

package/dist/workflows/smoke.js

@@ -0,0 +1,26 @@
+/**
+ * smoke workflow 定义（P2.5）
+ *
+ * workflows/ = workflow 资产（id/version/description/argsSchema/stepNames/run），
+ * workflow/ = 组合子引擎。新增 workflow = 新增定义文件 + 插件入口注册一行。
+ */
+import { runSmokeWorkflow } from "../workflow/smoke.js";
+export function smokeWorkflow() {
+    return {
+        id: "smoke",
+        version: "1.0.0",
+        description: "3 路并行分析 agent + 1 个汇总 agent（冒烟演示）",
+        argsSchema: {
+            type: "object",
+            properties: {
+                topic: { type: "string", description: "分析主题" },
+            },
+            required: ["topic"],
+        },
+        stepNames: ["research", "summary"],
+        async run(args, ctx) {
+            return runSmokeWorkflow(args.topic, ctx.runSteps);
+        },
+    };
+}
+//# sourceMappingURL=smoke.js.map

package/dist/workflows/smoke.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"smoke.js","sourceRoot":"","sources":["../../src/workflows/smoke.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAMvD,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,EAAE,EAAE,OAAO;QACX,OAAO,EAAE,OAAO;QAChB,WAAW,EAAE,mCAAmC;QAChD,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE;aAC/C;YACD,QAAQ,EAAE,CAAC,OAAO,CAAC;SACpB;QACD,SAAS,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;QAClC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG;YACjB,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;QACnD,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/workspace/ambient.d.ts

@@ -0,0 +1,12 @@
+/**
+ * 当前 workspace 的进程内环境态（P2.7）
+ *
+ * 与 setExecutor / setCheckpointGate 同一模式（ambient 绑定）：
+ * runner 在 def.run 期间设置，agent() 读取并下发给 executor 作为子会话 cwd。
+ * workflow 原语不感知 runner 的存在。
+ */
+import type { WorkspaceHandle } from "./provider.js";
+/** 设置/清除当前 workspace（runner 在 run 生命周期内调用） */
+export declare function setCurrentWorkspace(handle: WorkspaceHandle | undefined): void;
+/** 当前 run 的 workspace（未启用隔离时为 undefined） */
+export declare function currentWorkspace(): WorkspaceHandle | undefined;

package/dist/workspace/ambient.js

@@ -0,0 +1,17 @@
+/**
+ * 当前 workspace 的进程内环境态（P2.7）
+ *
+ * 与 setExecutor / setCheckpointGate 同一模式（ambient 绑定）：
+ * runner 在 def.run 期间设置，agent() 读取并下发给 executor 作为子会话 cwd。
+ * workflow 原语不感知 runner 的存在。
+ */
+let current;
+/** 设置/清除当前 workspace（runner 在 run 生命周期内调用） */
+export function setCurrentWorkspace(handle) {
+    current = handle;
+}
+/** 当前 run 的 workspace（未启用隔离时为 undefined） */
+export function currentWorkspace() {
+    return current;
+}
+//# sourceMappingURL=ambient.js.map

package/dist/workspace/ambient.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ambient.js","sourceRoot":"","sources":["../../src/workspace/ambient.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,IAAI,OAAoC,CAAA;AAExC,8CAA8C;AAC9C,MAAM,UAAU,mBAAmB,CAAC,MAAmC;IACrE,OAAO,GAAG,MAAM,CAAA;AAClB,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,gBAAgB;IAC9B,OAAO,OAAO,CAAA;AAChB,CAAC"}

package/dist/workspace/git-worktree.d.ts

@@ -0,0 +1,29 @@
+/**
+ * GitWorktreeProvider（P2.7）—— WorkspaceProvider 的 git worktree 实现
+ *
+ *   git -C <repo> worktree add -b agw/<runId> <dir>/<runId> [<baseRef>]
+ *
+ * - worktree 目录默认放在仓库**同级**目录（<项目名>-worktrees/<runId>），
+ *   不污染仓库本身（无需 .gitignore）；
+ * - dispose 只移除 worktree（+prune），**不删分支**——分支是廉价 ref，
+ *   删除是破坏性操作，留给用户（git branch --list 'agw/*' 可批量清理）；
+ * - attach 严格校验存在性，缺失即抛错（durable resume 纪律）。
+ */
+import type { WorkspaceHandle, WorkspaceIdentity, WorkspaceOptions, WorkspaceProvider } from "./provider.js";
+export interface GitWorktreeProviderOptions {
+    /** 起点目录（自动解析到 git 仓库根；通常是项目目录） */
+    startDir: string;
+    /** worktree 父目录；缺省 <repo 同级>/<项目名>-worktrees */
+    dir?: string;
+}
+export declare class GitWorktreeProvider implements WorkspaceProvider {
+    readonly kind = "git-worktree";
+    private readonly startDir;
+    private readonly dirOverride?;
+    private cache?;
+    constructor(options: GitWorktreeProviderOptions);
+    private resolvePaths;
+    create(runId: string, options?: WorkspaceOptions): Promise<WorkspaceHandle>;
+    attach(identity: WorkspaceIdentity): Promise<WorkspaceHandle>;
+    private removeWorktree;
+}