@devcxl/opencode-cabbage 0.2.0 → 0.3.0

package/assets/skills/flow-tdd/SKILL.md

@@ -0,0 +1,208 @@
+---
+name: flow-tdd
+description: TDD Prompt 协议 — Phase A Advisory 层，定义 RED→GREEN self-reported 流程
+---
+
+# flow-tdd
+
+TDD（Test-Driven Development）Prompt 协议，为所有编码阶段提供统一的 TDD 流程约束。
+本 skill 是 TDD 协议的唯一来源，其他 skills 和 agents 通过引用本协议获得一致的 TDD 行为。
+
+## Advisory Procedure
+
+Phase A Advisory 层协议：Agent 自行遵循 TDD 流程并 self-report 状态，无需工具拦截。
+
+### Cycle 状态机
+
+```
+            ┌─────────────┐
+            │ cycle-start │ ← 开始新的 TDD 循环
+            └──────┬──────┘
+                   │
+                   ▼
+            ┌─────────────┐
+            │    red      │ ← 编写/更新测试，验证测试失败（RED）
+            └──────┬──────┘
+                   │
+                   ▼
+            ┌─────────────┐
+            │   green     │ ← 最小实现使测试通过（GREEN），可在此阶段重构
+            └──────┬──────┘
+                   │
+        ┌──────────┼──────────┐
+        ▼          ▼          ▼
+   ┌─────────┐ ┌─────────┐ ┌──────────────┐
+   │ 下一个   │ │ abandon │ │ 所有 cycle   │
+   │ cycle   │ │ -cycle  │ │ 完成         │
+   └─────────┘ └─────────┘ └──────┬───────┘
+                                  │
+                                  ▼
+                          ┌──────────────────┐
+                          │ final-regression │ ← 运行全部测试，确认无回归
+                          └────────┬─────────┘
+                                   │
+                                   ▼
+                          ┌───────────────────┐
+                          │ final-verification│ ← 对照 acceptance_criteria 逐条验证
+                          └───────────────────┘
+```
+
+### cycle-start
+
+开始一个新的 RED→GREEN 循环。Agent 在开始实现前声明当前 cycle 的目标（要实现的测试/功能）。
+
+**self-report 格式：**
+```
+## TDD cycle-start
+- cycle: <序号>
+- target: <本 cycle 要实现的功能/测试描述>
+```
+
+### red
+
+编写或更新测试用例，验证测试在当前实现下失败。
+
+**约束：**
+- 测试必须有明确的 fail/pass 边界
+- 测试运行命令必须与 `test_commands` 中定义的一致
+- 记录测试失败输出作为 RED evidence
+
+**self-report 格式：**
+```
+## TDD red
+- test: <测试名称>
+- command: <运行命令>
+- result: FAIL（预期）
+```
+
+### green
+
+编写最小实现使 RED 阶段编写的测试通过。可在此阶段进行局部重构（消除重复、改善命名等），但不应扩展范围。
+
+**约束：**
+- 只写使当前测试通过的最少代码
+- 不新增与当前 test 无关的功能
+- 重构仅限于当前 cycle 涉及的代码
+
+**self-report 格式：**
+```
+## TDD green
+- test: <测试名称>
+- command: <运行命令>
+- result: PASS
+- changes: <涉及的文件列表>
+```
+
+### abandon-cycle
+
+当发现当前 cycle 的目标不合理、设计有缺陷或需要回退时，废弃当前 cycle 的所有修改。
+
+**触发条件：**
+- RED 阶段发现测试设计有误
+- GREEN 阶段发现需要根本性重新设计
+- 发现更简单的替代方案
+
+**流程：**
+1. 放弃当前 cycle 的修改（`git checkout -- <files>` 或 `git stash drop`）
+2. 记录 abandon 原因
+3. 重新从 cycle-start 开始
+
+**self-report 格式：**
+```
+## TDD abandon-cycle
+- cycle: <序号>
+- reason: <废弃原因>
+```
+
+### final-regression
+
+所有 cycle 完成后，运行项目全部测试套件，确认无回归。
+
+**约束：**
+- 必须运行 `test_commands` 中定义的全部命令
+- 所有测试必须通过
+- 如有失败 → 修复（不要求新 cycle，但需记录修复内容）
+
+**self-report 格式：**
+```
+## TDD final-regression
+- passed: <通过的测试数>
+- failed: <失败的测试数>
+- total: <测试总数>
+```
+
+### final-verification
+
+对照 Task 的 `acceptance_criteria` 逐条验证，确认全部满足。
+
+**self-report 格式：**
+```
+## TDD final-verification
+- criteria_total: <总数>
+- criteria_met: <已满足>
+- criteria_pending: <未满足>
+```
+
+## Runtime Procedure
+
+> **Phase C 启用** — 以下为 Runtime Enforcement 协议占位，当前阶段不生效。
+>
+> Phase C 将引入 `tdd_checkpoint` 工具在运行时拦截 RED/GREEN 状态切换，
+> 并将 evidence 写入 FlowRun 存储。Agent 不直接调用这些工具的时机和方式
+> 由 Phase C 的 `tdd_checkpoint` 工具实现决定。
+
+<!--
+Phase C 启用后的 Runtime Procedure:
+1. cycle-start → tdd_checkpoint({ stage: "cycle-start", task_id })
+2. red → tdd_checkpoint({ stage: "red", evidence: test_output, task_id })
+3. green → tdd_checkpoint({ stage: "green", evidence: test_output, task_id })
+4. abandon-cycle → tdd_checkpoint({ stage: "abandon-cycle", reason, task_id })
+5. final-regression → tdd_checkpoint({ stage: "final-regression", evidence: full_test_output, task_id })
+6. final-verification → tdd_checkpoint({ stage: "final-verification", evidence: criteria_checklist, task_id })
+-->
+
+## Contract
+
+### Trigger
+由编码阶段（`flow-code`）自动触发。Agent 在开始编码任务时加载 `flow-tdd` skill 获取 TDD 流程约束。
+
+### Inputs
+- Task 定义中的 `acceptance_criteria`（来源：`flow-tasks` 产出）
+- Task 定义中的 `test_commands`（来源：`flow-tasks` 产出）
+- Task 定义中的 `verify_commands`（来源：`flow-tasks` 产出）
+- Task 定义中的 `tdd` 配置块 — `mode`（`strict`/`advisory`）、`min_cycles`（来源：`flow-tasks` 产出）
+
+### Preconditions
+- Task 文件存在，包含 `acceptance_criteria`、`test_commands`、`tdd` 配置块
+- 测试运行环境就绪（`npm install` 已完成）
+
+### Procedure
+1. 读取 Task 的 `acceptance_criteria`、`test_commands`、`verify_commands`
+2. **Advisory Mode**：为每个验收标准识别对应的测试用例
+3. 执行 `cycle-start` → 声明当前 cycle 目标
+4. 执行 `red` → 编写测试，验证失败
+5. 执行 `green` → 最小实现，验证通过
+6. 重复 cycle 直到所有 criterion 覆盖
+7. 执行 `final-regression` → 运行全部测试
+8. 执行 `final-verification` → 逐条对照 acceptance_criteria
+
+### Outputs
+- 每个 cycle 的 self-report（提交到 commit message 或 PR body）
+- `final-regression` 报告（测试通过/失败统计）
+- `final-verification` 报告（criterion 覆盖情况）
+
+### Failure
+- RED 阶段测试意外通过 → 检查测试是否有意义，可能需要 abandon-cycle
+- GREEN 阶段测试持续失败 → 检查实现逻辑，记录失败原因
+- final-regression 失败 → 修复回归，不要求新 cycle
+- final-verification 未全部满足 → 返回未完成的 criterion，补充 cycle
+
+### Idempotency
+- 同一 cycle 重复执行 → 以最后一次结果为准
+- final-regression 重复执行 → 覆盖上次结果
+
+### Prohibited Actions
+- 不跳过 RED 阶段直接进入 GREEN
+- 不跳过 final-regression 直接 commit
+- 不在 abandon-cycle 后保留修改
+- 不修改 `tdd` 配置块中的 `mode` 和 `min_cycles` 值

package/dist/flowrun/adapter.d.ts

@@ -0,0 +1,49 @@
+import type { TddRunnerPolicy, TddCommandEvidence, TddFailureKind } from "./types.js";
+export interface VitestOutput {
+    exitCode: number | null;
+    testsCollected: number | null;
+    testsFailed: number | null;
+    stdout: string;
+    stderr: string;
+    timedOut: boolean;
+}
+/** classifyVitestFailure 的输入 */
+export interface FailureInput {
+    exitCode: number | null;
+    testsCollected: number | null;
+    testsFailed: number | null;
+    stderr: string;
+    timedOut?: boolean;
+}
+/**
+ * 校验 test selector 语法安全。
+ * 拒绝 shell 元字符、命令替换、换行等。
+ */
+export declare function validateSelector(selector: string): void;
+/**
+ * 将 baseCommand 字符串解析为 argv 数组并附加 selector。
+ */
+export declare function buildVitestArgs(policy: TddRunnerPolicy, selector: string): string[];
+/**
+ * 执行 vitest 命令并捕获输出。
+ */
+export declare function executeVitest(args: string[], cwd: string, timeoutMs: number): Promise<VitestOutput>;
+/**
+ * 根据 vitest 输出分类失败类型。
+ *
+ * 规则：
+ * - timeout → "timeout"
+ * - 成功启动 + 收集测试 + assertion 失败 → "assertion"（RED）
+ * - 成功启动 + 目标代码不存在 → "missing-behavior"（RED）
+ * - config/transform/dep 错误 → "infrastructure"
+ * - 零测试收集 → "infrastructure"
+ */
+export declare function classifyVitestFailure(input: FailureInput): TddFailureKind | null;
+/**
+ * 执行 RED check：运行 vitest focused test，返回 TddCommandEvidence。
+ *
+ * @param policy - TDD runner policy（含 baseCommand、timeoutMs 等）
+ * @param selector - focused test selector（文件路径或 vitest flag）
+ * @param cwd - 工作目录
+ */
+export declare function executeRedCheck(policy: TddRunnerPolicy, selector: string, cwd: string): Promise<TddCommandEvidence>;

package/dist/flowrun/adapter.js

@@ -0,0 +1,293 @@
+import { createHash } from "node:crypto";
+import { spawn } from "node:child_process";
+// ─── Selector 校验 ───
+/** 危险字符正则 */
+const DANGEROUS_SELECTOR = /[|;&$()`\x00-\x08\x0b\x0c\x0e-\x1f\r\n]/;
+/**
+ * 校验 test selector 语法安全。
+ * 拒绝 shell 元字符、命令替换、换行等。
+ */
+export function validateSelector(selector) {
+    if (!selector || !selector.trim()) {
+        throw new Error("Selector must not be empty");
+    }
+    if (DANGEROUS_SELECTOR.test(selector)) {
+        throw new Error(`Selector contains invalid or dangerous characters: ${JSON.stringify(selector)}`);
+    }
+}
+// ─── 命令构建 ───
+/**
+ * 将 baseCommand 字符串解析为 argv 数组并附加 selector。
+ */
+export function buildVitestArgs(policy, selector) {
+    const args = policy.baseCommand.trim().split(/\s+/).filter(Boolean);
+    args.push(selector);
+    return args;
+}
+// ─── 进程执行 ───
+/**
+ * 执行 vitest 命令并捕获输出。
+ */
+export function executeVitest(args, cwd, timeoutMs) {
+    return new Promise((resolve, reject) => {
+        const child = spawn(args[0], args.slice(1), {
+            cwd,
+            env: { ...process.env },
+            stdio: ["ignore", "pipe", "pipe"],
+            timeout: timeoutMs,
+        });
+        let stdout = "";
+        let stderr = "";
+        let timedOut = false;
+        child.stdout?.on("data", (chunk) => {
+            stdout += chunk.toString("utf-8");
+        });
+        child.stderr?.on("data", (chunk) => {
+            stderr += chunk.toString("utf-8");
+        });
+        child.on("error", (err) => {
+            // spawn 本身失败（如找不到命令）
+            if (err.code === "ENOENT") {
+                resolve({
+                    exitCode: 127,
+                    testsCollected: null,
+                    testsFailed: null,
+                    stdout,
+                    stderr: `${stderr}\nCommand not found: ${args[0]}`,
+                    timedOut: false,
+                });
+            }
+            else {
+                reject(err);
+            }
+        });
+        child.on("close", (code, signal) => {
+            timedOut = signal === "SIGTERM" || signal === "SIGKILL";
+            resolve({
+                exitCode: code,
+                testsCollected: null, // will be enriched later
+                testsFailed: null,
+                stdout,
+                stderr,
+                timedOut,
+            });
+        });
+    });
+}
+// ─── 输出解析 ───
+/**
+ * 从 vitest stdout 解析 JSON reporter 输出，提取测试统计数据。
+ */
+function parseVitestJson(stdout) {
+    // 在 stdout 中查找 vitest JSON reporter 的输出（通常是一个 JSON 对象）
+    // 支持多行 JSON 输出，查找以 "numTotalTests" 为特征的 JSON
+    const jsonMatch = stdout.match(/\{[\s\S]*"numTotalTests"\s*:\s*\d+[\s\S]*\}/);
+    if (!jsonMatch)
+        return null;
+    try {
+        const json = JSON.parse(jsonMatch[0]);
+        const collected = typeof json.numTotalTests === "number" ? json.numTotalTests : null;
+        const failed = typeof json.numFailedTests === "number" ? json.numFailedTests : null;
+        if (collected === null || failed === null)
+            return null;
+        return { testsCollected: collected, testsFailed: failed };
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * 从 stderr 解析 vitest 错误，提取测试计数（兜底解析）。
+ */
+function parseVitestSummary(stderr) {
+    // vitest verbose 输出: "Tests  2 passed (2) | 1 failed (1)"
+    // 或 "Tests  2 passed (2)"
+    const summaryMatch = stderr.match(/Tests\s+\d+\s+failed\s*\((\d+)\)/);
+    const totalMatch = stderr.match(/Tests\s+\d+\s+failed[\s\S]*?\|\s*(\d+)\s+passed/);
+    const passedMatch = stderr.match(/(\d+)\s+passed/);
+    let testsCollected = null;
+    let testsFailed = null;
+    if (summaryMatch) {
+        testsFailed = parseInt(summaryMatch[1], 10);
+    }
+    else {
+        // 检查是否有 "No test files found" 或 "0 tests"
+        if (stderr.includes("No test files found") || stderr.includes("no tests found")) {
+            return { testsCollected: 0, testsFailed: 0 };
+        }
+    }
+    // 尝试计算 collected = passed + failed
+    const totalPassedMatch = stderr.match(/(\d+)\s+passed/);
+    if (totalPassedMatch && testsFailed !== null) {
+        testsCollected = parseInt(totalPassedMatch[1], 10) + testsFailed;
+    }
+    else if (testsFailed === null) {
+        // 可能全部通过
+        const allPassedMatch = stderr.match(/Tests\s+(\d+)\s+passed/);
+        if (allPassedMatch) {
+            testsCollected = parseInt(allPassedMatch[1], 10);
+            testsFailed = 0;
+        }
+    }
+    return { testsCollected, testsFailed };
+}
+// ─── 失败分类 ───
+/**
+ * 根据 vitest 输出分类失败类型。
+ *
+ * 规则：
+ * - timeout → "timeout"
+ * - 成功启动 + 收集测试 + assertion 失败 → "assertion"（RED）
+ * - 成功启动 + 目标代码不存在 → "missing-behavior"（RED）
+ * - config/transform/dep 错误 → "infrastructure"
+ * - 零测试收集 → "infrastructure"
+ */
+export function classifyVitestFailure(input) {
+    // timeout
+    if (input.timedOut)
+        return "timeout";
+    // 测试全部通过
+    if (input.exitCode === 0 && input.testsFailed === 0)
+        return null;
+    // 退出码正常但无法判断
+    if (input.exitCode === 0 && input.testsFailed === null)
+        return null;
+    // 失败的退出码
+    if (input.exitCode !== null && input.exitCode !== 0) {
+        const stderr = input.stderr;
+        // ── 基础设施错误 ──
+        // 配置加载失败
+        if (/failed to load config/i.test(stderr) ||
+            /cannot find module.*vitest/i.test(stderr) ||
+            /cannot find package.*vitest/i.test(stderr)) {
+            return "infrastructure";
+        }
+        // Transform 错误
+        if (/transform failed/i.test(stderr) ||
+            /unexpected token/i.test(stderr)) {
+            return "infrastructure";
+        }
+        // 依赖缺失（非实现代码的模块）
+        if (/cannot find module/i.test(stderr)) {
+            // 区分：如果缺失的模块匹配实现文件路径模式，则是 missing-behavior
+            // 否则是 infrastructure（缺少外部依赖）
+            const moduleMatch = stderr.match(/cannot find module\s+['"]([^'"]+)['"]/i);
+            if (moduleMatch) {
+                const missingModule = moduleMatch[1];
+                // 相对路径导入 → missing-behavior（目标代码不存在）
+                if (missingModule.startsWith(".") || missingModule.startsWith("/")) {
+                    return "missing-behavior";
+                }
+                // 绝对包名 → infrastructure（缺少依赖）
+                return "infrastructure";
+            }
+            // 无法判断是什么模块，默认为 infrastructure
+            return "infrastructure";
+        }
+        // 零测试收集
+        if (input.testsCollected === 0)
+            return "infrastructure";
+        // ── assertion 失败 ──
+        // 需要 testsCollected > 0 AND testsFailed > 0 才算是 assertion
+        if (input.testsCollected !== null && input.testsCollected > 0 &&
+            input.testsFailed !== null && input.testsFailed > 0) {
+            return "assertion";
+        }
+        // ── 有测试收集但 testsFailed 为 0/null 且 exitCode 非零 ── 无法确定失败原因
+        if (input.testsCollected !== null && input.testsCollected > 0) {
+            return "unknown";
+        }
+        // 无法分类
+        return "unknown";
+    }
+    // 无退出码（被 kill 等）
+    if (input.exitCode === null && input.testsCollected !== null && input.testsCollected === 0) {
+        return "infrastructure";
+    }
+    return "unknown";
+}
+// ─── SHA-256 辅助 ───
+function sha256Hex(content) {
+    return createHash("sha256").update(content, "utf-8").digest("hex");
+}
+// ─── 主函数 ───
+/**
+ * 执行 RED check：运行 vitest focused test，返回 TddCommandEvidence。
+ *
+ * @param policy - TDD runner policy（含 baseCommand、timeoutMs 等）
+ * @param selector - focused test selector（文件路径或 vitest flag）
+ * @param cwd - 工作目录
+ */
+export async function executeRedCheck(policy, selector, cwd) {
+    // 1. 校验 selector
+    validateSelector(selector);
+    // 2. 构建命令
+    const args = buildVitestArgs(policy, selector);
+    const commandStr = args.join(" ");
+    // 3. 执行
+    const startedAt = new Date().toISOString();
+    const startMs = Date.now();
+    const output = await executeVitest(args, cwd, policy.timeoutMs);
+    const durationMs = Date.now() - startMs;
+    const finishedAt = new Date().toISOString();
+    // 4. 解析 vitest 输出获取测试统计数据
+    const jsonStats = parseVitestJson(output.stdout);
+    const summaryStats = parseVitestSummary(output.stderr);
+    const testsCollected = jsonStats?.testsCollected ?? summaryStats.testsCollected ?? null;
+    const testsFailed = jsonStats?.testsFailed ?? summaryStats.testsFailed ?? null;
+    // 5. 分类失败
+    const failureKind = classifyVitestFailure({
+        exitCode: output.exitCode,
+        testsCollected,
+        testsFailed,
+        stderr: output.stderr,
+        timedOut: output.timedOut,
+    });
+    // 6. 计算 outputDigest（stdout + stderr 的 SHA-256）
+    const outputDigest = {
+        algorithm: "sha256-output-v1",
+        value: sha256Hex(output.stdout + "\n" + output.stderr),
+    };
+    // 7. workspaceDigest 和 executionInputDigest 留空（由调用方/broker 填充）
+    const placeholderDigest = {
+        algorithm: "sha256-content-v1",
+        value: "0".repeat(64),
+    };
+    // 8. 构建 summary
+    let summary;
+    if (output.timedOut) {
+        summary = `Test execution timed out after ${policy.timeoutMs}ms`;
+    }
+    else if (failureKind === "assertion") {
+        summary = `${testsFailed}/${testsCollected} tests failed (assertion)`;
+    }
+    else if (failureKind === "missing-behavior") {
+        summary = `Target code not found: ${selector}`;
+    }
+    else if (failureKind === "infrastructure") {
+        summary = `Infrastructure error: ${output.stderr.slice(0, 200)}`;
+    }
+    else if (output.exitCode === 0) {
+        summary = `${testsCollected ?? "?"} tests passed`;
+    }
+    else {
+        summary = `Exit code ${output.exitCode}: ${output.stderr.slice(0, 200)}`;
+    }
+    return {
+        command: commandStr,
+        testSelector: selector,
+        exitCode: output.exitCode,
+        failureKind,
+        testsCollected,
+        testsFailed,
+        startedAt,
+        finishedAt,
+        durationMs,
+        changedFiles: [],
+        outputDigest,
+        workspaceDigest: placeholderDigest,
+        executionInputDigest: placeholderDigest,
+        summary,
+    };
+}
+//# sourceMappingURL=adapter.js.map

package/dist/flowrun/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../../src/flowrun/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAuB1C,sBAAsB;AAEtB,aAAa;AACb,MAAM,kBAAkB,GAAG,yCAAyC,CAAA;AAEpE;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAA;IAC/C,CAAC;IACD,IAAI,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,sDAAsD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACnG,CAAC;AACH,CAAC;AAED,eAAe;AAEf;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,MAAuB,EAAE,QAAgB;IACvE,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACnE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACnB,OAAO,IAAI,CAAA;AACb,CAAC;AAED,eAAe;AAEf;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAc,EAAE,GAAW,EAAE,SAAiB;IAC1E,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YAC1C,GAAG;YACH,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;YACvB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;YACjC,OAAO,EAAE,SAAS;SACnB,CAAC,CAAA;QAEF,IAAI,MAAM,GAAG,EAAE,CAAA;QACf,IAAI,MAAM,GAAG,EAAE,CAAA;QACf,IAAI,QAAQ,GAAG,KAAK,CAAA;QAEpB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QACnC,CAAC,CAAC,CAAA;QAEF,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QACnC,CAAC,CAAC,CAAA;QAEF,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAA0B,EAAE,EAAE;YAC/C,qBAAqB;YACrB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC1B,OAAO,CAAC;oBACN,QAAQ,EAAE,GAAG;oBACb,cAAc,EAAE,IAAI;oBACpB,WAAW,EAAE,IAAI;oBACjB,MAAM;oBACN,MAAM,EAAE,GAAG,MAAM,wBAAwB,IAAI,CAAC,CAAC,CAAC,EAAE;oBAClD,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAA;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,CAAA;YACb,CAAC;QACH,CAAC,CAAC,CAAA;QAEF,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAmB,EAAE,MAAqB,EAAE,EAAE;YAC/D,QAAQ,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAA;YACvD,OAAO,CAAC;gBACN,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,IAAI,EAAE,yBAAyB;gBAC/C,WAAW,EAAE,IAAI;gBACjB,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT,CAAC,CAAA;QACJ,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,eAAe;AAEf;;GAEG;AACH,SAAS,eAAe,CAAC,MAAc;IACrC,uDAAuD;IACvD,6CAA6C;IAC7C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAA;IAC7E,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAA;IAE3B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;QACrC,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAA;QACpF,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAA;QACnF,IAAI,SAAS,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAA;QACtD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,CAAA;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,MAAc;IACxC,0DAA0D;IAC1D,0BAA0B;IAC1B,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAA;IACrE,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,iDAAiD,CAAC,CAAA;IAClF,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;IAElD,IAAI,cAAc,GAAkB,IAAI,CAAA;IACxC,IAAI,WAAW,GAAkB,IAAI,CAAA;IAErC,IAAI,YAAY,EAAE,CAAC;QACjB,WAAW,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC7C,CAAC;SAAM,CAAC;QACN,0CAA0C;QAC1C,IAAI,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAChF,OAAO,EAAE,cAAc,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAA;QAC9C,CAAC;IACH,CAAC;IAED,mCAAmC;IACnC,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;IACvD,IAAI,gBAAgB,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QAC7C,cAAc,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAA;IAClE,CAAC;SAAM,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QAChC,SAAS;QACT,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAA;QAC7D,IAAI,cAAc,EAAE,CAAC;YACnB,cAAc,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAChD,WAAW,GAAG,CAAC,CAAA;QACjB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,CAAA;AACxC,CAAC;AAED,eAAe;AAEf;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAmB;IACvD,UAAU;IACV,IAAI,KAAK,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAA;IAEpC,SAAS;IACT,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAEhE,aAAa;IACb,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IAEnE,SAAS;IACT,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;QAE3B,eAAe;QAEf,SAAS;QACT,IAAI,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC;YACrC,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1C,8BAA8B,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,OAAO,gBAAgB,CAAA;QACzB,CAAC;QAED,eAAe;QACf,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC;YAChC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,OAAO,gBAAgB,CAAA;QACzB,CAAC;QAED,iBAAiB;QACjB,IAAI,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,2CAA2C;YAC3C,6BAA6B;YAC7B,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAA;YAC1E,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;gBACpC,qCAAqC;gBACrC,IAAI,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnE,OAAO,kBAAkB,CAAA;gBAC3B,CAAC;gBACD,8BAA8B;gBAC9B,OAAO,gBAAgB,CAAA;YACzB,CAAC;YACD,+BAA+B;YAC/B,OAAO,gBAAgB,CAAA;QACzB,CAAC;QAED,QAAQ;QACR,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC;YAAE,OAAO,gBAAgB,CAAA;QAEvD,qBAAqB;QACrB,0DAA0D;QAC1D,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,IAAI,KAAK,CAAC,cAAc,GAAG,CAAC;YACzD,KAAK,CAAC,WAAW,KAAK,IAAI,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,EAAE,CAAC;YACxD,OAAO,WAAW,CAAA;QACpB,CAAC;QAED,2DAA2D;QAC3D,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,IAAI,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;YAC9D,OAAO,SAAS,CAAA;QAClB,CAAC;QAED,OAAO;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,iBAAiB;IACjB,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAC3F,OAAO,gBAAgB,CAAA;IACzB,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,qBAAqB;AAErB,SAAS,SAAS,CAAC,OAAe;IAChC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACpE,CAAC;AAED,cAAc;AAEd;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,MAAuB,EACvB,QAAgB,EAChB,GAAW;IAEX,iBAAiB;IACjB,gBAAgB,CAAC,QAAQ,CAAC,CAAA;IAE1B,UAAU;IACV,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAEjC,QAAQ;IACR,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC1B,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,CAAA;IAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAA;IACvC,MAAM,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IAE3C,0BAA0B;IAC1B,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAChD,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAEtD,MAAM,cAAc,GAAG,SAAS,EAAE,cAAc,IAAI,YAAY,CAAC,cAAc,IAAI,IAAI,CAAA;IACvF,MAAM,WAAW,GAAG,SAAS,EAAE,WAAW,IAAI,YAAY,CAAC,WAAW,IAAI,IAAI,CAAA;IAE9E,UAAU;IACV,MAAM,WAAW,GAAG,qBAAqB,CAAC;QACxC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,cAAc;QACd,WAAW;QACX,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC,CAAA;IAEF,gDAAgD;IAChD,MAAM,YAAY,GAAoB;QACpC,SAAS,EAAE,kBAAkB;QAC7B,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;KACvD,CAAA;IAED,+DAA+D;IAC/D,MAAM,iBAAiB,GAAoB;QACzC,SAAS,EAAE,mBAAmB;QAC9B,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KACtB,CAAA;IAED,gBAAgB;IAChB,IAAI,OAAe,CAAA;IACnB,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,OAAO,GAAG,kCAAkC,MAAM,CAAC,SAAS,IAAI,CAAA;IAClE,CAAC;SAAM,IAAI,WAAW,KAAK,WAAW,EAAE,CAAC;QACvC,OAAO,GAAG,GAAG,WAAW,IAAI,cAAc,2BAA2B,CAAA;IACvE,CAAC;SAAM,IAAI,WAAW,KAAK,kBAAkB,EAAE,CAAC;QAC9C,OAAO,GAAG,0BAA0B,QAAQ,EAAE,CAAA;IAChD,CAAC;SAAM,IAAI,WAAW,KAAK,gBAAgB,EAAE,CAAC;QAC5C,OAAO,GAAG,yBAAyB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAA;IAClE,CAAC;SAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,GAAG,cAAc,IAAI,GAAG,eAAe,CAAA;IACnD,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,aAAa,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAA;IAC1E,CAAC;IAED,OAAO;QACL,OAAO,EAAE,UAAU;QACnB,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW;QACX,cAAc;QACd,WAAW;QACX,SAAS;QACT,UAAU;QACV,UAAU;QACV,YAAY,EAAE,EAAE;QAChB,YAAY;QACZ,eAAe,EAAE,iBAAiB;QAClC,oBAAoB,EAAE,iBAAiB;QACvC,OAAO;KACR,CAAA;AACH,CAAC"}

package/dist/flowrun/ci.d.ts

@@ -0,0 +1,64 @@
+import type { RepositoryQualityPolicy, TaskCommand, CoveragePolicy } from "./types.js";
+/** 从 gh pr view --json statusCheckRollup 获取的 PR 检查结果 */
+export interface PRCheckResult {
+    context: string;
+    state: "EXPECTED" | "ERROR" | "FAILURE" | "PENDING" | "SUCCESS";
+    app: {
+        id: number;
+        name: string;
+    } | null;
+}
+/** checkRequiredChecks 的返回结果 */
+export interface CICheckResult {
+    allPassed: boolean;
+    missingContexts: string[];
+    failedContexts: string[];
+    pendingContexts: string[];
+    untrustedSources: Array<{
+        context: string;
+        expectedAppId: number;
+        actualAppId: number | null;
+    }>;
+}
+/** validateRequiredWorkflow 的返回结果 */
+export interface RequiredWorkflowValidation {
+    valid: boolean;
+    errors: string[];
+}
+/**
+ * 验证 PR 的状态检查是否满足 RepositoryQualityPolicy 中定义的 required checks。
+ *
+ * 规则：
+ * - mode 为 "off" 时不校验，直接返回 allPassed: true
+ * - mode 为 "required" 时：
+ *   1. 每个 requiredChecks 中的 context 必须在 PR checks 中存在
+ *   2. 状态必须为 SUCCESS
+ *   3. 发布该 check 的 GitHub App ID 必须与配置的 appId 匹配
+ *      （appId 为 0 时不校验来源）
+ */
+export declare function checkRequiredChecks(policy: RepositoryQualityPolicy, prChecks: PRCheckResult[]): CICheckResult;
+/**
+ * 验证 RepositoryQualityPolicy 的 requiredChecks 配置有效性。
+ *
+ * 规则：
+ * - mode 为 "off" 时跳过所有校验
+ * - mode 为 "required" 时：
+ *   1. requiredChecks 不能为空
+ *   2. 每个 entry 必须有 workflowPath、workflowRef
+ *   3. 不允许重复的 context
+ */
+export declare function validateRequiredWorkflow(policy: RepositoryQualityPolicy): RequiredWorkflowValidation;
+/**
+ * checkBranchProtection 委托给 merge.ts 中已有的实现。
+ * 这里作为 re-export wrapper，保持 CI 模块的 API 统一性。
+ */
+export { checkBranchProtection } from "./merge.js";
+/**
+ * 计算质量契约摘要（Quality Contract Digest）。
+ *
+ * 绑定 testCommands + verifyCommands + coveragePolicy，
+ * 使用 JCS (JSON Canonicalization Scheme) + SHA-256 生成确定性摘要。
+ *
+ * 用于在 PR checkpoint 中记录期望的契约版本，确保 CI 执行时契约未被修改。
+ */
+export declare function computeQualityContractDigest(testCommands: TaskCommand[], verifyCommands: TaskCommand[], coveragePolicy: CoveragePolicy | null): string;