@devcxl/opencode-cabbage 0.2.0 → 0.3.0

package/dist/flowrun/pr.js

@@ -0,0 +1,343 @@
+let ghExecutor = null;
+export function setGhExecutor(fn) {
+    ghExecutor = fn;
+}
+async function gh(args) {
+    if (ghExecutor) {
+        return ghExecutor(args);
+    }
+    const mod = await import("../util/gh.js");
+    return mod.gh(args);
+}
+// ─── PR 号解析 ───
+function parsePrNumber(stdout) {
+    const trimmed = stdout.trim();
+    // 纯数字
+    if (/^\d+$/.test(trimmed))
+        return parseInt(trimmed, 10);
+    // URL 格式：https://github.com/owner/repo/pull/123
+    const urlMatch = trimmed.match(/\/pull\/(\d+)$/);
+    if (urlMatch)
+        return parseInt(urlMatch[1], 10);
+    // 其他格式尝试提取尾部数字
+    const numMatch = trimmed.match(/(\d+)$/);
+    if (numMatch)
+        return parseInt(numMatch[1], 10);
+    return null;
+}
+// ─── Preflight 检查 ───
+/**
+ * 执行 PR 创建前的前置条件检查（无副作用）。
+ *
+ * 规则：
+ * 1. Task 状态为 running
+ * 2. committed-head regression.status === "pass"
+ * 3. committed-head verification.status === "pass"
+ * 4. evidence headSha 与当前 head 一致
+ */
+export function preflightPRCreate(task, currentHeadSha) {
+    // 1. Task 状态检查
+    if (task.status !== "running") {
+        return {
+            ok: false,
+            code: "TASK_NOT_RUNNING",
+            message: `Task "${task.id}" is not running (status: ${task.status})`,
+        };
+    }
+    const { regression, verification } = task.tddEvidence;
+    // 2. Regression 状态检查
+    if (regression.status !== "pass") {
+        return {
+            ok: false,
+            code: "REGRESSION_NOT_COMPLETE",
+            message: `Committed-head regression is not pass (status: ${regression.status})`,
+        };
+    }
+    // 3. Verification 状态检查
+    if (verification.status !== "pass") {
+        return {
+            ok: false,
+            code: "VERIFICATION_NOT_COMPLETE",
+            message: `Final verification is not pass (status: ${verification.status})`,
+        };
+    }
+    // 4. Head SHA 一致性检查
+    if (!regression.headSha) {
+        return {
+            ok: false,
+            code: "HEAD_MISMATCH",
+            message: "Regression evidence is missing head SHA",
+        };
+    }
+    if (regression.headSha !== currentHeadSha) {
+        return {
+            ok: false,
+            code: "HEAD_MISMATCH",
+            message: `Evidence head SHA "${regression.headSha}" does not match current head "${currentHeadSha}"`,
+        };
+    }
+    return { ok: true };
+}
+// ─── PR 查找 ───
+/**
+ * 按 repo + head branch 查询已存在的 open PR。
+ */
+async function findExistingPR(repo, headBranch) {
+    try {
+        const { stdout } = await gh(`pr list --head "${headBranch}" --repo "${repo}" --state open --json number,url --jq '.[0]'`);
+        if (!stdout.trim())
+            return null;
+        const pr = JSON.parse(stdout);
+        if (!pr || typeof pr.number !== "number")
+            return null;
+        return { number: pr.number, url: pr.url };
+    }
+    catch {
+        return null;
+    }
+}
+// ─── PR 创建 ───
+/**
+ * 创建或复用 PR。
+ *
+ * 流程：
+ * 1. 查询已有 open PR（按 head branch）
+ * 2. 已有 → 复用（created: false）
+ * 3. 无 → 创建新 PR（created: true）
+ *
+ * @throws 如果 gh CLI 执行失败
+ */
+export async function createOrReusePR(params) {
+    // 1. 查询已有 PR
+    const existing = await findExistingPR(params.repo, params.headBranch);
+    if (existing) {
+        return {
+            prNumber: existing.number,
+            prUrl: existing.url,
+            created: false,
+        };
+    }
+    // 2. 创建新 PR
+    const escapedTitle = params.title.replace(/'/g, "'\\''");
+    const escapedBody = params.body.replace(/'/g, "'\\''");
+    const { stdout } = await gh(`pr create --head "${params.headBranch}" --base "${params.baseBranch}" --title '${escapedTitle}' --body '${escapedBody}'`);
+    const prNumber = parsePrNumber(stdout);
+    if (prNumber === null) {
+        throw new Error(`Failed to parse PR number from gh output: ${stdout}`);
+    }
+    return {
+        prNumber,
+        prUrl: stdout.trim(),
+        created: true,
+    };
+}
+// ─── Rework 流程 ───
+/**
+ * 发起 rework。
+ *
+ * behavior rework：
+ * - 声明 affected criterionIds，增加 reworkRevision
+ * - 重置 regression 和 verification 为 pending
+ * - 旧 cycle 保持不变（不重新绑定）
+ *
+ * refactor rework：
+ * - 不要求 RED，但必须重跑 regression + 审批
+ * - 同样增加 reworkRevision，重置 evidence
+ *
+ * 要求：Task 状态为 reviewing 且已有 PR。
+ */
+export function initiateRework(task, input) {
+    if (task.status !== "reviewing") {
+        return {
+            ok: false,
+            code: "TASK_NOT_REVIEWING",
+            message: `Task "${task.id}" is not in reviewing status (current: ${task.status})`,
+        };
+    }
+    if (task.prNumber === null) {
+        return {
+            ok: false,
+            code: "NO_PR_EXISTS",
+            message: `Task "${task.id}" has no associated PR`,
+        };
+    }
+    const evidence = task.tddEvidence;
+    const newRevision = evidence.reworkRevision + 1;
+    const rework = {
+        reworkRevision: newRevision,
+        kind: input.kind,
+        affectedCriterionIds: input.affectedCriterionIds,
+        status: "started",
+        startHeadSha: input.startHeadSha,
+        approval: null,
+    };
+    const updatedTask = {
+        ...task,
+        tddEvidence: {
+            ...evidence,
+            reworkRevision: newRevision,
+            status: "in-progress",
+            regression: {
+                status: "pending",
+                headSha: null,
+                treeSha: null,
+                reworkRevision: newRevision,
+                runs: [],
+            },
+            verification: {
+                status: "pending",
+                headSha: null,
+                treeSha: null,
+                runs: [],
+            },
+            reworks: [...evidence.reworks, rework],
+            updatedAt: new Date().toISOString(),
+        },
+    };
+    return { ok: true, task: updatedTask };
+}
+/**
+ * 完成 rework，验证后恢复 Task 为 reviewing。
+ *
+ * 检查：
+ * 1. 当前有激活的 rework（evidence.status === "in-progress"）
+ * 2. regression 和 verification 均已 pass
+ * 3. evidence head SHA 与 committed head 一致
+ */
+export function completeRework(task, input) {
+    const evidence = task.tddEvidence;
+    // 1. 检查是否有激活的 rework
+    if (evidence.status !== "in-progress") {
+        return {
+            ok: false,
+            code: "NO_ACTIVE_REWORK",
+            message: `Task "${task.id}" has no active rework (current TDD status: ${evidence.status})`,
+        };
+    }
+    // 2. 检查 regression
+    if (evidence.regression.status !== "pass") {
+        return {
+            ok: false,
+            code: "REGRESSION_NOT_PASS",
+            message: `Committed-head regression is not pass (status: ${evidence.regression.status})`,
+        };
+    }
+    // 3. 检查 verification
+    if (evidence.verification.status !== "pass") {
+        return {
+            ok: false,
+            code: "VERIFICATION_NOT_PASS",
+            message: `Final verification is not pass (status: ${evidence.verification.status})`,
+        };
+    }
+    // 4. 检查 head SHA 一致性（regression 和 verification 都需检查）
+    const regHead = evidence.regression.headSha;
+    const verHead = evidence.verification.headSha;
+    if (regHead !== input.committedHeadSha) {
+        return {
+            ok: false,
+            code: "HEAD_MISMATCH",
+            message: `Regression head SHA "${regHead}" does not match committed head "${input.committedHeadSha}"`,
+        };
+    }
+    if (verHead !== input.committedHeadSha) {
+        return {
+            ok: false,
+            code: "HEAD_MISMATCH",
+            message: `Verification head SHA "${verHead}" does not match committed head "${input.committedHeadSha}"`,
+        };
+    }
+    // 更新最后一个 rework 状态为 pass
+    const reworks = [...evidence.reworks];
+    if (reworks.length > 0) {
+        const last = { ...reworks[reworks.length - 1] };
+        last.status = "pass";
+        reworks[reworks.length - 1] = last;
+    }
+    const updatedTask = {
+        ...task,
+        status: "reviewing",
+        tddEvidence: {
+            ...evidence,
+            status: "pass",
+            reworks,
+            updatedAt: new Date().toISOString(),
+        },
+    };
+    return { ok: true, task: updatedTask };
+}
+// ─── Remote head revalidation ───
+/**
+ * 查询 remote PR 的 head commit SHA 和 tree SHA。
+ *
+ * 步骤：
+ * 1. `gh pr view --json headRefOid` 获取完整 JSON，自行解析提取 headRefOid
+ * 2. `gh api repos/{owner}/{repo}/git/commits/{sha} --jq '.tree.sha'` 获取 tree SHA
+ */
+export async function fetchRemotePRHead(repo, prNumber) {
+    // 步骤 1: 查询 PR head SHA
+    let prJson;
+    try {
+        const { stdout } = await gh(`pr view ${prNumber} --repo "${repo}" --json headRefOid`);
+        try {
+            prJson = JSON.parse(stdout);
+        }
+        catch {
+            return { ok: false, code: "PARSE_ERROR", message: "Failed to parse gh pr view JSON output" };
+        }
+    }
+    catch (err) {
+        return { ok: false, code: "GH_ERROR", message: `Failed to fetch PR head: ${String(err)}` };
+    }
+    if (!prJson || typeof prJson !== "object") {
+        return { ok: false, code: "PARSE_ERROR", message: "gh pr view returned unexpected output" };
+    }
+    const prData = prJson;
+    if (!prData.headRefOid || typeof prData.headRefOid !== "string") {
+        return { ok: false, code: "MISSING_HEAD_SHA", message: "Remote PR headRefOid is missing or not a string" };
+    }
+    const headSha = prData.headRefOid;
+    // 步骤 2: 获取 tree SHA
+    let treeSha;
+    try {
+        const { stdout } = await gh(`api repos/${repo}/git/commits/${headSha} --jq '.tree.sha'`);
+        treeSha = stdout.trim();
+        if (!treeSha) {
+            return { ok: false, code: "MISSING_HEAD_SHA", message: "Remote commit tree SHA is empty" };
+        }
+    }
+    catch (err) {
+        return { ok: false, code: "GH_ERROR", message: `Failed to fetch commit tree SHA: ${String(err)}` };
+    }
+    return { ok: true, head: { headSha, treeSha } };
+}
+/**
+ * 重新验证 remote head。
+ *
+ * 比较 task.tddEvidence.verification.treeSha 与 remote tree SHA：
+ * - 相同 tree SHA：可以重新绑定 new head（重跑 regression/verification）
+ * - 不同 tree SHA：需要先执行 rework
+ */
+export function revalidateRemoteHead(task, remoteHead) {
+    const evidenceTreeSha = task.tddEvidence.verification.treeSha;
+    if (!evidenceTreeSha) {
+        return {
+            ok: false,
+            action: "rework-needed",
+            summary: `No tree SHA in evidence; remote head ${remoteHead.headSha.slice(0, 7)} (tree: ${remoteHead.treeSha.slice(0, 7)}) requires rework`,
+        };
+    }
+    if (evidenceTreeSha === remoteHead.treeSha) {
+        return {
+            ok: true,
+            action: "revalidate",
+            summary: `Remote head ${remoteHead.headSha.slice(0, 7)} tree matches evidence tree ${evidenceTreeSha.slice(0, 7)} — re-run regression and rebind head`,
+        };
+    }
+    return {
+        ok: false,
+        action: "rework-needed",
+        summary: `Remote head ${remoteHead.headSha.slice(0, 7)} tree changed (was: ${evidenceTreeSha.slice(0, 7)}, now: ${remoteHead.treeSha.slice(0, 7)}) — rework required`,
+    };
+}
+//# sourceMappingURL=pr.js.map

package/dist/flowrun/pr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pr.js","sourceRoot":"","sources":["../../src/flowrun/pr.ts"],"names":[],"mappings":"AA6DA,IAAI,UAAU,GAAgB,IAAI,CAAA;AAElC,MAAM,UAAU,aAAa,CAAC,EAAQ;IACpC,UAAU,GAAG,EAAE,CAAA;AACjB,CAAC;AAED,KAAK,UAAU,EAAE,CAAC,IAAY;IAC5B,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,CAAA;IACzC,OAAO,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;AACrB,CAAC;AAED,iBAAiB;AAEjB,SAAS,aAAa,CAAC,MAAc;IACnC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;IAC7B,MAAM;IACN,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IACvD,gDAAgD;IAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;IAChD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC9C,eAAe;IACf,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACxC,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC9C,OAAO,IAAI,CAAA;AACb,CAAC;AAED,uBAAuB;AAEvB;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAe,EACf,cAAsB;IAEtB,eAAe;IACf,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,6BAA6B,IAAI,CAAC,MAAM,GAAG;SACrE,CAAA;IACH,CAAC;IAED,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC,WAAW,CAAA;IAErD,qBAAqB;IACrB,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACjC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,kDAAkD,UAAU,CAAC,MAAM,GAAG;SAChF,CAAA;IACH,CAAC;IAED,uBAAuB;IACvB,IAAI,YAAY,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,2CAA2C,YAAY,CAAC,MAAM,GAAG;SAC3E,CAAA;IACH,CAAC;IAED,oBAAoB;IACpB,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;QACxB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,yCAAyC;SACnD,CAAA;IACH,CAAC;IAED,IAAI,UAAU,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QAC1C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,sBAAsB,UAAU,CAAC,OAAO,kCAAkC,cAAc,GAAG;SACrG,CAAA;IACH,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;AACrB,CAAC;AAED,gBAAgB;AAEhB;;GAEG;AACH,KAAK,UAAU,cAAc,CAAC,IAAY,EAAE,UAAkB;IAC5D,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CACzB,mBAAmB,UAAU,aAAa,IAAI,8CAA8C,CAC7F,CAAA;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;YAAE,OAAO,IAAI,CAAA;QAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAoC,CAAA;QAChE,IAAI,CAAC,EAAE,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAA;QACrD,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAA;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,gBAAgB;AAEhB;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,MAAsB;IAC1D,aAAa;IACb,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;IACrE,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,QAAQ,EAAE,QAAQ,CAAC,MAAM;YACzB,KAAK,EAAE,QAAQ,CAAC,GAAG;YACnB,OAAO,EAAE,KAAK;SACf,CAAA;IACH,CAAC;IAED,YAAY;IACZ,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACxD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAEtD,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CACzB,qBAAqB,MAAM,CAAC,UAAU,aAAa,MAAM,CAAC,UAAU,cAAc,YAAY,aAAa,WAAW,GAAG,CAC1H,CAAA;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;IACtC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,6CAA6C,MAAM,EAAE,CAAC,CAAA;IACxE,CAAC;IAED,OAAO;QACL,QAAQ;QACR,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE;QACpB,OAAO,EAAE,IAAI;KACd,CAAA;AACH,CAAC;AAED,oBAAoB;AAEpB;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAAC,IAAe,EAAE,KAAkB;IAChE,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,0CAA0C,IAAI,CAAC,MAAM,GAAG;SAClF,CAAA;IACH,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,wBAAwB;SAClD,CAAA;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAA;IACjC,MAAM,WAAW,GAAG,QAAQ,CAAC,cAAc,GAAG,CAAC,CAAA;IAE/C,MAAM,MAAM,GAAsB;QAChC,cAAc,EAAE,WAAW;QAC3B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;QAChD,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,QAAQ,EAAE,IAAI;KACf,CAAA;IAED,MAAM,WAAW,GAAc;QAC7B,GAAG,IAAI;QACP,WAAW,EAAE;YACX,GAAG,QAAQ;YACX,cAAc,EAAE,WAAW;YAC3B,MAAM,EAAE,aAAa;YACrB,UAAU,EAAE;gBACV,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,IAAI;gBACb,cAAc,EAAE,WAAW;gBAC3B,IAAI,EAAE,EAAE;aACT;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,IAAI;gBACb,IAAI,EAAE,EAAE;aACT;YACD,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;YACtC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC;KACF,CAAA;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;AACxC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,IAAe,EAAE,KAA0B;IACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAA;IAEjC,qBAAqB;IACrB,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,+CAA+C,QAAQ,CAAC,MAAM,GAAG;SAC3F,CAAA;IACH,CAAC;IAED,mBAAmB;IACnB,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC1C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,kDAAkD,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG;SACzF,CAAA;IACH,CAAC;IAED,qBAAqB;IACrB,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,uBAAuB;YAC7B,OAAO,EAAE,2CAA2C,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG;SACpF,CAAA;IACH,CAAC;IAED,qDAAqD;IACrD,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAA;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAA;IAE7C,IAAI,OAAO,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACvC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,wBAAwB,OAAO,oCAAoC,KAAK,CAAC,gBAAgB,GAAG;SACtG,CAAA;IACH,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACvC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,0BAA0B,OAAO,oCAAoC,KAAK,CAAC,gBAAgB,GAAG;SACxG,CAAA;IACH,CAAC;IAED,yBAAyB;IACzB,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAA;IACrC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAA;QAC/C,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,CAAA;IACpC,CAAC;IAED,MAAM,WAAW,GAAc;QAC7B,GAAG,IAAI;QACP,MAAM,EAAE,WAAW;QACnB,WAAW,EAAE;YACX,GAAG,QAAQ;YACX,MAAM,EAAE,MAAM;YACd,OAAO;YACP,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC;KACF,CAAA;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;AACxC,CAAC;AAED,mCAAmC;AAEnC;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAY,EAAE,QAAgB;IACpE,uBAAuB;IACvB,IAAI,MAAe,CAAA;IACnB,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CACzB,WAAW,QAAQ,YAAY,IAAI,qBAAqB,CACzD,CAAA;QACD,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAA;QAC9F,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,4BAA4B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAA;IAC5F,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAA;IAC7F,CAAC;IAED,MAAM,MAAM,GAAG,MAAiC,CAAA;IAChD,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,iDAAiD,EAAE,CAAA;IAC5G,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAA;IAEjC,oBAAoB;IACpB,IAAI,OAAe,CAAA;IACnB,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CACzB,aAAa,IAAI,gBAAgB,OAAO,mBAAmB,CAC5D,CAAA;QACD,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;QACvB,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAA;QAC5F,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,oCAAoC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAA;IACpG,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAA;AACjD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAe,EACf,UAAwB;IAExB,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,OAAO,CAAA;IAE7D,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,wCAAwC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB;SAC5I,CAAA;IACH,CAAC;IAED,IAAI,eAAe,KAAK,UAAU,CAAC,OAAO,EAAE,CAAC;QAC3C,OAAO;YACL,EAAE,EAAE,IAAI;YACR,MAAM,EAAE,YAAY;YACpB,OAAO,EAAE,eAAe,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,+BAA+B,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,sCAAsC;SACvJ,CAAA;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,eAAe,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,uBAAuB,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,qBAAqB;KACtK,CAAA;AACH,CAAC"}

package/dist/flowrun/state.d.ts

@@ -0,0 +1,79 @@
+import type { TddEvidence, TddCycleEvidence, TddCommandEvidence, AcceptanceCriterion, VersionedDigest } from "./types.js";
+export interface StateError {
+    code: string;
+    message: string;
+}
+export type StateResult<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    error: StateError;
+};
+/**
+ * 创建初始 TddEvidence（status=not-recorded, revision=0）。
+ */
+export declare function createTaskEvidence(): TddEvidence;
+/**
+ * 启动一个新的 TDD cycle。
+ *
+ * 验证：
+ * - criterion 存在且 verification=tdd
+ * - testPaths 匹配 testFilePatterns
+ * - 同 cycleId + 同 workspace digest → 幂等返回原 evidence
+ * - 同 cycleId + 不同 workspace digest → CYCLE_CONFLICT
+ */
+export declare function startCycle(evidence: TddEvidence, cycleId: string, criterionId: string, testPaths: string[], testSelector: string, workspaceDigest: VersionedDigest, acceptanceCriteria: AcceptanceCriterion[], testFilePatterns: string[]): StateResult<{
+    evidence: TddEvidence;
+    cycle: TddCycleEvidence;
+}>;
+/**
+ * 记录 RED 尝试。
+ *
+ * 验证：
+ * - cycle 存在且 status ∈ {started, red}
+ * - failureKind 为 assertion 或 missing-behavior（有效 RED）
+ * - 幂等：相同 outputDigest → 返回原结果
+ */
+export declare function recordRed(evidence: TddEvidence, cycleId: string, redEvidence: TddCommandEvidence): StateResult<{
+    evidence: TddEvidence;
+    cycle: TddCycleEvidence;
+}>;
+/**
+ * 记录 GREEN 尝试。
+ *
+ * 验证：
+ * - cycle 存在且已有有效 RED（redTestDigest !== null）
+ * - GREEN exitCode === 0
+ * - implementation files 有变化
+ * - 幂等：相同 outputDigest → 返回原结果
+ */
+export declare function recordGreen(evidence: TddEvidence, cycleId: string, greenEvidence: TddCommandEvidence, implementationFilesChanged: boolean): StateResult<{
+    evidence: TddEvidence;
+    cycle: TddCycleEvidence;
+}>;
+/**
+ * 记录最终 regression 结果。
+ *
+ * 验证：
+ * - runs 非空
+ * - 所有 run exitCode === 0 且无 timeout 则 pass，否则 fail
+ */
+export declare function recordFinalRegression(evidence: TddEvidence, headSha: string, treeSha: string, runs: TddCommandEvidence[]): StateResult<TddEvidence>;
+/**
+ * 记录最终 verification 结果。
+ *
+ * 规则：
+ * - runs 为空 → pass（未配置 verifyCommands）
+ * - 所有 run exitCode === 0 则 pass，否则 fail
+ */
+export declare function recordFinalVerification(evidence: TddEvidence, headSha: string, treeSha: string, runs: TddCommandEvidence[]): StateResult<TddEvidence>;
+/**
+ * 放弃一个 cycle。
+ *
+ * 规则：
+ * - cycle 必须存在
+ * - cycle 状态不能是 "pass"（已通过的 cycle 不能放弃）
+ * - 保留审计记录，reason 写入 warnings
+ */
+export declare function abandonCycle(evidence: TddEvidence, cycleId: string, reason: string): StateResult<TddEvidence>;