@devcxl/opencode-cabbage 0.2.0 → 0.3.0

package/dist/flowrun/migration.js

@@ -0,0 +1,276 @@
+import { CURRENT_SCHEMA_VERSION } from "./types.js";
+/**
+ * v1→v2 幂等迁移器
+ *
+ * 纯函数：输入 v1 FlowRun (unknown)，输出 FlowRunReadResult。
+ * - 如果输入已经是 v2 格式 → 直接返回（幂等）
+ * - 如果 schemaVersion > 2 → 返回 UNSUPPORTED_SCHEMA
+ * - 如果 schemaVersion 缺失/非整数/< 1 → 返回 VALIDATION_FAILED
+ * - 如果 schemaVersion === 1 → 执行迁移
+ */
+export function migrateV1ToV2(flowRun) {
+    if (!flowRun || typeof flowRun !== "object") {
+        return { ok: false, code: "INVALID_JSON", errors: [{ path: "", message: "FlowRun must be a non-null object" }] };
+    }
+    const obj = flowRun;
+    const version = obj.schemaVersion;
+    if (typeof version !== "number" || !Number.isInteger(version) || version < 1) {
+        return {
+            ok: false,
+            code: "VALIDATION_FAILED",
+            errors: [{ path: "schemaVersion", message: `Must be a positive integer, got: ${version}` }],
+        };
+    }
+    if (version > CURRENT_SCHEMA_VERSION) {
+        return {
+            ok: false,
+            code: "UNSUPPORTED_SCHEMA",
+            errors: [{ path: "schemaVersion", message: `Schema version ${version} is not supported (current: ${CURRENT_SCHEMA_VERSION})` }],
+        };
+    }
+    // 已经是 v2，直接返回
+    if (version === CURRENT_SCHEMA_VERSION) {
+        return { ok: true, data: obj, migrated: false };
+    }
+    // v1 → v2 迁移
+    try {
+        const migrated = doMigrateV1ToV2(obj);
+        return { ok: true, data: migrated, migrated: true };
+    }
+    catch (err) {
+        return {
+            ok: false,
+            code: "MIGRATION_FAILED",
+            errors: [{ path: "", message: `Migration failed: ${String(err)}` }],
+        };
+    }
+}
+function doMigrateV1ToV2(v1) {
+    const tasks = {};
+    if (v1.tasks && typeof v1.tasks === "object") {
+        const v1Tasks = v1.tasks;
+        for (const [key, v1Task] of Object.entries(v1Tasks)) {
+            tasks[key] = migrateTaskV1ToV2(v1Task, key);
+        }
+    }
+    // v1 PR checkpoints 有旧的 PR 字段，需要补充 v2 的新字段
+    // 这些在 migrateTaskV1ToV2 中处理
+    return {
+        flowRunId: String(v1.flowRunId ?? ""),
+        repo: String(v1.repo ?? ""),
+        parentIssueNumber: Number(v1.parentIssueNumber ?? 0),
+        status: String(v1.status ?? "planned"),
+        schemaVersion: CURRENT_SCHEMA_VERSION,
+        revision: Number(v1.revision ?? 0),
+        stages: migrateStages(v1.stages),
+        tasks,
+        startedAt: typeof v1.startedAt === "string" ? v1.startedAt : null,
+        lastTickAt: typeof v1.lastTickAt === "string" ? v1.lastTickAt : null,
+        nextTickAfter: typeof v1.nextTickAfter === "string" ? v1.nextTickAfter : null,
+        maxRuntime: Number(v1.maxRuntime ?? 86_400_000),
+        completedAt: typeof v1.completedAt === "string" ? v1.completedAt : null,
+        repositoryQualityPolicy: { mode: "off", requiredChecks: [] },
+    };
+}
+function migrateStages(stages) {
+    function defaultStage() {
+        return {
+            status: "pending",
+            requiredArtifacts: [],
+            checks: [],
+            completedAt: null,
+            evidence: [],
+        };
+    }
+    if (!stages || typeof stages !== "object") {
+        return {
+            requirements: defaultStage(),
+            design: defaultStage(),
+            tasks: defaultStage(),
+            code: defaultStage(),
+            test: defaultStage(),
+            review: defaultStage(),
+            merge: defaultStage(),
+        };
+    }
+    const s = stages;
+    const stageKeys = ["requirements", "design", "tasks", "code", "test", "review", "merge"];
+    const result = {};
+    for (const key of stageKeys) {
+        const val = s[key];
+        if (val && typeof val === "object") {
+            const v = val;
+            result[key] = {
+                status: (typeof v.status === "string" && ["pending", "running", "pass", "failed", "blocked"].includes(v.status))
+                    ? v.status
+                    : "pending",
+                requiredArtifacts: Array.isArray(v.requiredArtifacts) ? v.requiredArtifacts : [],
+                checks: Array.isArray(v.checks) ? v.checks : [],
+                completedAt: typeof v.completedAt === "string" ? v.completedAt : null,
+                evidence: Array.isArray(v.evidence) ? v.evidence : [],
+            };
+        }
+        else {
+            result[key] = defaultStage();
+        }
+    }
+    return result;
+}
+/**
+ * 将单个 v1 Task 迁移为 v2 TaskState
+ */
+function migrateTaskV1ToV2(v1Task, recordKey) {
+    const hasTestCommands = Array.isArray(v1Task.testCommands) && v1Task.testCommands.length > 0;
+    // 迁移 testCommands: string[] → TaskCommand[]
+    const testCommands = hasTestCommands
+        ? v1Task.testCommands.map(cmd => ({
+            command: cmd,
+            cwd: ".",
+            timeoutMs: 120_000,
+            env: {},
+        }))
+        : [];
+    // 迁移 acceptance → acceptanceCriteria
+    const v1Acceptance = typeof v1Task.acceptance === "string" ? v1Task.acceptance : "";
+    const acceptanceCriteria = [
+        {
+            id: "legacy-1",
+            description: v1Acceptance || "历史任务验收条件（v1 迁移）",
+            verification: hasTestCommands ? "regression" : "manual",
+        },
+    ];
+    // 构造 TDD policy（按 spec 10.2）
+    const tddPolicy = {
+        mode: hasTestCommands ? "relaxed" : "bypass",
+        enforcement: "advisory",
+        runner: null,
+        testFilePatterns: [],
+        implementationFilePatterns: [],
+        generatedArtifactPatterns: [],
+        exception: {
+            reason: "legacy schema v1 migration",
+            alternativeValidation: hasTestCommands
+                ? testCommands.map((cmd, i) => ({
+                    validationId: `legacy-alt-${i + 1}`,
+                    kind: "command",
+                    command: cmd,
+                }))
+                : [{
+                        validationId: "legacy-alt-1",
+                        kind: "manual",
+                        description: "历史任务未记录自动验证",
+                    }],
+            approval: {
+                kind: "legacy-migration",
+                fromSchemaVersion: 1,
+            },
+        },
+        source: {
+            manifestPath: "legacy:v1",
+            revisionSha: "migration:v1",
+        },
+    };
+    // 构造 TDD evidence（完整默认对象）
+    const tddEvidence = {
+        revision: 0,
+        reworkRevision: 0,
+        status: "not-recorded",
+        taskStart: makeDefaultTaskStart(),
+        cycles: [],
+        regression: makeDefaultRegression(),
+        verification: makeDefaultVerification(),
+        alternativeValidation: [],
+        reworks: [],
+        warnings: ["legacy schema v1 migration: evidence not recorded"],
+        updatedAt: null,
+    };
+    // 迁移 PR checkpoints（保留旧字段 + 新增 null）
+    const v1PR = v1Task.prCheckpoints;
+    const prCheckpoints = v1PR && typeof v1PR === "object"
+        ? migratePRCheckpoints(v1PR)
+        : null;
+    return {
+        id: String(v1Task.id ?? recordKey),
+        name: String(v1Task.name ?? recordKey),
+        status: (typeof v1Task.status === "string" ? v1Task.status : "pending"),
+        dependsOn: Array.isArray(v1Task.dependsOn) ? v1Task.dependsOn : [],
+        area: String(v1Task.area ?? ""),
+        expectedFiles: Array.isArray(v1Task.expectedFiles) ? v1Task.expectedFiles : [],
+        parallelSafe: Boolean(v1Task.parallelSafe ?? false),
+        prNumber: typeof v1Task.prNumber === "number" ? v1Task.prNumber : null,
+        prCheckpoints,
+        blockedReason: typeof v1Task.blockedReason === "string" ? v1Task.blockedReason : null,
+        startedAt: typeof v1Task.startedAt === "string" ? v1Task.startedAt : null,
+        // v2 新字段
+        acceptanceCriteria,
+        testCommands,
+        verifyCommands: [],
+        executionBinding: null,
+        tddPolicy,
+        tddEvidence,
+        coveragePolicy: null,
+    };
+}
+function migratePRCheckpoints(v1PR) {
+    function makeCheckpoint(name) {
+        return {
+            name,
+            status: "pending",
+            evidence: [],
+        };
+    }
+    const getCheckpoint = (key) => {
+        const cp = v1PR[key];
+        if (cp && typeof cp === "object") {
+            const c = cp;
+            return {
+                name: String(c.name ?? key),
+                status: (typeof c.status === "string" && ["pending", "pass", "fail"].includes(c.status))
+                    ? c.status
+                    : "pending",
+                evidence: Array.isArray(c.evidence) ? c.evidence : [],
+            };
+        }
+        return makeCheckpoint(key);
+    };
+    return {
+        prNumber: Number(v1PR.prNumber ?? 0),
+        localChecks: getCheckpoint("localChecks"),
+        ciChecks: getCheckpoint("ciChecks"),
+        reviewerApproval: getCheckpoint("reviewerApproval"),
+        goalVerification: getCheckpoint("goalVerification"),
+        branchProtection: getCheckpoint("branchProtection"),
+        mergeResult: getCheckpoint("mergeResult"),
+        // v2 新增
+        tddCompliance: null,
+        verification: null,
+        coverage: null,
+        qualityContractDigest: null,
+    };
+}
+function makeDefaultTaskStart() {
+    return {
+        status: "pending",
+        headSha: null,
+        treeSha: null,
+        startedAt: null,
+    };
+}
+function makeDefaultRegression() {
+    return {
+        status: "pending",
+        headSha: null,
+        treeSha: null,
+        reworkRevision: 0,
+        runs: [],
+    };
+}
+function makeDefaultVerification() {
+    return {
+        status: "pending",
+        headSha: null,
+        treeSha: null,
+        runs: [],
+    };
+}
+//# sourceMappingURL=migration.js.map

package/dist/flowrun/migration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration.js","sourceRoot":"","sources":["../../src/flowrun/migration.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AAKnD;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC5C,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,EAAE,CAAA;IAClH,CAAC;IAED,MAAM,GAAG,GAAG,OAAkC,CAAA;IAE9C,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,CAAA;IACjC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7E,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,mBAAmB;YACzB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,oCAAoC,OAAO,EAAE,EAAE,CAAC;SAC5F,CAAA;IACH,CAAC;IAED,IAAI,OAAO,GAAG,sBAAsB,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,oBAAoB;YAC1B,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,kBAAkB,OAAO,+BAA+B,sBAAsB,GAAG,EAAE,CAAC;SAChI,CAAA;IACH,CAAC;IAED,cAAc;IACd,IAAI,OAAO,KAAK,sBAAsB,EAAE,CAAC;QACvC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAyB,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;IACvE,CAAC;IAED,aAAa;IACb,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;QACrC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IACrD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,qBAAqB,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;SACpE,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,EAAa;IACpC,MAAM,KAAK,GAA8B,EAAE,CAAA;IAE3C,IAAI,EAAE,CAAC,KAAK,IAAI,OAAO,EAAE,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,EAAE,CAAC,KAA+B,CAAA;QAClD,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,MAAgB,EAAE,GAAG,CAAC,CAAA;QACvD,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,4BAA4B;IAE5B,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC;QACrC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;QAC3B,iBAAiB,EAAE,MAAM,CAAC,EAAE,CAAC,iBAAiB,IAAI,CAAC,CAAC;QACpD,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,IAAI,SAAS,CAAsB;QAC3D,aAAa,EAAE,sBAAsB;QACrC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC;QAClC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC,MAAM,CAAC;QAChC,KAAK;QACL,SAAS,EAAE,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;QACjE,UAAU,EAAE,OAAO,EAAE,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI;QACpE,aAAa,EAAE,OAAO,EAAE,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI;QAC7E,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,UAAU,IAAI,UAAU,CAAC;QAC/C,WAAW,EAAE,OAAO,EAAE,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;QACvE,uBAAuB,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE;KAClD,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,MAAe;IACpC,SAAS,YAAY;QACnB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,iBAAiB,EAAE,EAAE;YACrB,MAAM,EAAE,EAAE;YACV,WAAW,EAAE,IAAI;YACjB,QAAQ,EAAE,EAAE;SACb,CAAA;IACH,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1C,OAAO;YACL,YAAY,EAAE,YAAY,EAAE;YAC5B,MAAM,EAAE,YAAY,EAAE;YACtB,KAAK,EAAE,YAAY,EAAE;YACrB,IAAI,EAAE,YAAY,EAAE;YACpB,IAAI,EAAE,YAAY,EAAE;YACpB,MAAM,EAAE,YAAY,EAAE;YACtB,KAAK,EAAE,YAAY,EAAE;SACtB,CAAA;IACH,CAAC;IAED,MAAM,CAAC,GAAG,MAAiC,CAAA;IAC3C,MAAM,SAAS,GAAG,CAAC,cAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAExF,MAAM,MAAM,GAA+B,EAAE,CAAA;IAC7C,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;QAClB,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,GAA8B,CAAA;YACxC,MAAM,CAAC,GAAG,CAAC,GAAG;gBACZ,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBAC9G,CAAC,CAAC,CAAC,CAAC,MAA8B;oBAClC,CAAC,CAAC,SAAS;gBACb,iBAAiB,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAA6B,CAAC,CAAC,CAAC,EAAE;gBAC5F,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAsB,CAAC,CAAC,CAAC,EAAE;gBAC/D,WAAW,EAAE,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;gBACrE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAA2B,CAAC,CAAC,CAAC,EAAE;aACzE,CAAA;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,EAAE,CAAA;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,MAA2B,CAAA;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,MAAc,EAAE,SAAiB;IAC1D,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAA;IAE5F,4CAA4C;IAC5C,MAAM,YAAY,GAAkB,eAAe;QACjD,CAAC,CAAE,MAAM,CAAC,YAAyB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5C,OAAO,EAAE,GAAG;YACZ,GAAG,EAAE,GAAG;YACR,SAAS,EAAE,OAAO;YAClB,GAAG,EAAE,EAAE;SACR,CAAC,CAAC;QACL,CAAC,CAAC,EAAE,CAAA;IAEN,qCAAqC;IACrC,MAAM,YAAY,GAAG,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAA;IACnF,MAAM,kBAAkB,GAA0B;QAChD;YACE,EAAE,EAAE,UAAU;YACd,WAAW,EAAE,YAAY,IAAI,iBAAiB;YAC9C,YAAY,EAAE,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;SACxD;KACF,CAAA;IAED,6BAA6B;IAC7B,MAAM,SAAS,GAAc;QAC3B,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ;QAC5C,WAAW,EAAE,UAAU;QACvB,MAAM,EAAE,IAAI;QACZ,gBAAgB,EAAE,EAAE;QACpB,0BAA0B,EAAE,EAAE;QAC9B,yBAAyB,EAAE,EAAE;QAC7B,SAAS,EAAE;YACT,MAAM,EAAE,4BAA4B;YACpC,qBAAqB,EAAE,eAAe;gBACpC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,YAAY,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE;oBACnC,IAAI,EAAE,SAAkB;oBACxB,OAAO,EAAE,GAAG;iBACb,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;wBACC,YAAY,EAAE,cAAc;wBAC5B,IAAI,EAAE,QAAiB;wBACvB,WAAW,EAAE,aAAa;qBAC3B,CAAC;YACN,QAAQ,EAAE;gBACR,IAAI,EAAE,kBAAkB;gBACxB,iBAAiB,EAAE,CAAC;aACrB;SACF;QACD,MAAM,EAAE;YACN,YAAY,EAAE,WAAW;YACzB,WAAW,EAAE,cAAc;SAC5B;KACF,CAAA;IAED,0BAA0B;IAC1B,MAAM,WAAW,GAAgB;QAC/B,QAAQ,EAAE,CAAC;QACX,cAAc,EAAE,CAAC;QACjB,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,oBAAoB,EAAE;QACjC,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,qBAAqB,EAAE;QACnC,YAAY,EAAE,uBAAuB,EAAE;QACvC,qBAAqB,EAAE,EAAqC;QAC5D,OAAO,EAAE,EAAyB;QAClC,QAAQ,EAAE,CAAC,mDAAmD,CAAC;QAC/D,SAAS,EAAE,IAAI;KAChB,CAAA;IAED,qCAAqC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,aAAa,CAAA;IACjC,MAAM,aAAa,GAAG,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QACpD,CAAC,CAAC,oBAAoB,CAAC,IAA+B,CAAC;QACvD,CAAC,CAAC,IAAI,CAAA;IAER,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,SAAS,CAAC;QAClC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC;QACtC,MAAM,EAAE,CAAC,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAwB;QAC9F,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAqB,CAAC,CAAC,CAAC,EAAE;QAC9E,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAyB,CAAC,CAAC,CAAC,EAAE;QAC1F,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,IAAI,KAAK,CAAC;QACnD,QAAQ,EAAE,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QACtE,aAAa;QACb,aAAa,EAAE,OAAO,MAAM,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI;QACrF,SAAS,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;QACzE,SAAS;QACT,kBAAkB;QAClB,YAAY;QACZ,cAAc,EAAE,EAAE;QAClB,gBAAgB,EAAE,IAAI;QACtB,SAAS;QACT,WAAW;QACX,cAAc,EAAE,IAAI;KACrB,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAA6B;IACzD,SAAS,cAAc,CAAC,IAAY;QAClC,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,EAAE;SACb,CAAA;IACH,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,GAAW,EAAc,EAAE;QAChD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;QACpB,IAAI,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,EAA6B,CAAA;YACvC,OAAO;gBACL,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;gBAC3B,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACtF,CAAC,CAAC,CAAC,CAAC,MAA8B;oBAClC,CAAC,CAAC,SAAS;gBACb,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAA2B,CAAC,CAAC,CAAC,EAAE;aACzE,CAAA;QACH,CAAC;QACD,OAAO,cAAc,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC,CAAA;IAED,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;QACpC,WAAW,EAAE,aAAa,CAAC,aAAa,CAAC;QACzC,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC;QACnC,gBAAgB,EAAE,aAAa,CAAC,kBAAkB,CAAC;QACnD,gBAAgB,EAAE,aAAa,CAAC,kBAAkB,CAAC;QACnD,gBAAgB,EAAE,aAAa,CAAC,kBAAkB,CAAC;QACnD,WAAW,EAAE,aAAa,CAAC,aAAa,CAAC;QACzC,QAAQ;QACR,aAAa,EAAE,IAAI;QACnB,YAAY,EAAE,IAAI;QAClB,QAAQ,EAAE,IAAI;QACd,qBAAqB,EAAE,IAAI;KAC5B,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB;IAC3B,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,IAAI;KAChB,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB;IAC5B,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,IAAI;QACb,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,EAAE;KACT,CAAA;AACH,CAAC;AAED,SAAS,uBAAuB;IAC9B,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,EAAE;KACT,CAAA;AACH,CAAC"}

package/dist/flowrun/pr.d.ts

@@ -0,0 +1,132 @@
+import type { TaskState } from "./types.js";
+export interface CreatePRParams {
+    repo: string;
+    headBranch: string;
+    baseBranch: string;
+    title: string;
+    body: string;
+}
+export interface CreatePRResult {
+    prNumber: number;
+    prUrl: string;
+    created: boolean;
+}
+export type PreflightResult = {
+    ok: true;
+} | {
+    ok: false;
+    code: string;
+    message: string;
+};
+export interface ReworkInput {
+    kind: "behavior" | "refactor";
+    affectedCriterionIds: string[];
+    startHeadSha: string;
+}
+export type ReworkResult = {
+    ok: true;
+    task: TaskState;
+} | {
+    ok: false;
+    code: string;
+    message: string;
+};
+export interface CompleteReworkInput {
+    committedHeadSha: string;
+}
+export type CompleteReworkResult = {
+    ok: true;
+    task: TaskState;
+} | {
+    ok: false;
+    code: string;
+    message: string;
+};
+export interface RemotePRHead {
+    headSha: string;
+    treeSha: string;
+}
+export type FetchRemoteHeadResult = {
+    ok: true;
+    head: RemotePRHead;
+} | {
+    ok: false;
+    code: string;
+    message: string;
+};
+export type RevalidateResult = {
+    ok: true;
+    action: "revalidate";
+    summary: string;
+} | {
+    ok: false;
+    action: "rework-needed";
+    summary: string;
+};
+type GhFn = (args: string) => Promise<{
+    stdout: string;
+    stderr: string;
+}>;
+export declare function setGhExecutor(fn: GhFn): void;
+/**
+ * 执行 PR 创建前的前置条件检查（无副作用）。
+ *
+ * 规则：
+ * 1. Task 状态为 running
+ * 2. committed-head regression.status === "pass"
+ * 3. committed-head verification.status === "pass"
+ * 4. evidence headSha 与当前 head 一致
+ */
+export declare function preflightPRCreate(task: TaskState, currentHeadSha: string): PreflightResult;
+/**
+ * 创建或复用 PR。
+ *
+ * 流程：
+ * 1. 查询已有 open PR（按 head branch）
+ * 2. 已有 → 复用（created: false）
+ * 3. 无 → 创建新 PR（created: true）
+ *
+ * @throws 如果 gh CLI 执行失败
+ */
+export declare function createOrReusePR(params: CreatePRParams): Promise<CreatePRResult>;
+/**
+ * 发起 rework。
+ *
+ * behavior rework：
+ * - 声明 affected criterionIds，增加 reworkRevision
+ * - 重置 regression 和 verification 为 pending
+ * - 旧 cycle 保持不变（不重新绑定）
+ *
+ * refactor rework：
+ * - 不要求 RED，但必须重跑 regression + 审批
+ * - 同样增加 reworkRevision，重置 evidence
+ *
+ * 要求：Task 状态为 reviewing 且已有 PR。
+ */
+export declare function initiateRework(task: TaskState, input: ReworkInput): ReworkResult;
+/**
+ * 完成 rework，验证后恢复 Task 为 reviewing。
+ *
+ * 检查：
+ * 1. 当前有激活的 rework（evidence.status === "in-progress"）
+ * 2. regression 和 verification 均已 pass
+ * 3. evidence head SHA 与 committed head 一致
+ */
+export declare function completeRework(task: TaskState, input: CompleteReworkInput): CompleteReworkResult;
+/**
+ * 查询 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 declare function fetchRemotePRHead(repo: string, prNumber: number): Promise<FetchRemoteHeadResult>;
+/**
+ * 重新验证 remote head。
+ *
+ * 比较 task.tddEvidence.verification.treeSha 与 remote tree SHA：
+ * - 相同 tree SHA：可以重新绑定 new head（重跑 regression/verification）
+ * - 不同 tree SHA：需要先执行 rework
+ */
+export declare function revalidateRemoteHead(task: TaskState, remoteHead: RemotePRHead): RevalidateResult;
+export {};