@devcxl/opencode-cabbage 0.2.0 → 0.3.0

package/dist/flowrun/state.js

@@ -0,0 +1,363 @@
+// ─── 辅助函数 ───
+function findCycle(evidence, cycleId) {
+    return evidence.cycles.find(c => c.cycleId === cycleId);
+}
+function replaceCycle(evidence, updated) {
+    return evidence.cycles.map(c => c.cycleId === updated.cycleId ? updated : c);
+}
+function bumpRevision(evidence) {
+    return { ...evidence, revision: evidence.revision + 1, updatedAt: new Date().toISOString() };
+}
+/**
+ * 简单 glob 匹配（支持 *、**）
+ */
+function matchSimpleGlob(filePath, pattern) {
+    const normalized = filePath.split("/").join("/");
+    let regexStr = "";
+    let i = 0;
+    while (i < pattern.length) {
+        if (pattern[i] === "*" && pattern[i + 1] === "*") {
+            i += 2;
+            if (i < pattern.length && pattern[i] === "/") {
+                regexStr += "(.*/)?";
+                i++;
+            }
+            else {
+                regexStr += ".*";
+            }
+        }
+        else if (pattern[i] === "*") {
+            regexStr += "[^/]*";
+            i++;
+        }
+        else if (pattern[i] === ".") {
+            regexStr += "\\.";
+            i++;
+        }
+        else if (pattern[i] === "?") {
+            regexStr += "[^/]";
+            i++;
+        }
+        else {
+            if ("+^$(){}[]|\\".includes(pattern[i])) {
+                regexStr += "\\" + pattern[i];
+            }
+            else {
+                regexStr += pattern[i];
+            }
+            i++;
+        }
+    }
+    return new RegExp(`^${regexStr}$`).test(normalized);
+}
+function matchesAnyPattern(path, patterns) {
+    if (patterns.length === 0)
+        return false;
+    return patterns.some(p => matchSimpleGlob(path, p));
+}
+function digestEqual(a, b) {
+    if (a === null || b === null)
+        return a === b;
+    return a.algorithm === b.algorithm && a.value === b.value;
+}
+/**
+ * 判断 RED failure 是否有效：
+ * 只有 assertion 和 missing-behavior 才是有效的 RED failure。
+ */
+function isValidRedFailure(failureKind) {
+    return failureKind === "assertion" || failureKind === "missing-behavior";
+}
+// ─── 公开函数 ───
+/**
+ * 创建初始 TddEvidence（status=not-recorded, revision=0）。
+ */
+export function createTaskEvidence() {
+    return {
+        revision: 0,
+        reworkRevision: 0,
+        status: "not-recorded",
+        taskStart: { status: "pending", headSha: null, treeSha: null, startedAt: null },
+        cycles: [],
+        regression: { status: "pending", headSha: null, treeSha: null, reworkRevision: 0, runs: [] },
+        verification: { status: "pending", headSha: null, treeSha: null, runs: [] },
+        alternativeValidation: [],
+        reworks: [],
+        warnings: [],
+        updatedAt: null,
+    };
+}
+/**
+ * 启动一个新的 TDD cycle。
+ *
+ * 验证：
+ * - criterion 存在且 verification=tdd
+ * - testPaths 匹配 testFilePatterns
+ * - 同 cycleId + 同 workspace digest → 幂等返回原 evidence
+ * - 同 cycleId + 不同 workspace digest → CYCLE_CONFLICT
+ */
+export function startCycle(evidence, cycleId, criterionId, testPaths, testSelector, workspaceDigest, acceptanceCriteria, testFilePatterns) {
+    // ── 验证 criterion 存在且为 tdd ──
+    const criterion = acceptanceCriteria.find(c => c.id === criterionId);
+    if (!criterion || criterion.verification !== "tdd") {
+        return {
+            ok: false,
+            error: { code: "CRITERION_NOT_FOUND", message: `Criterion "${criterionId}" not found or not verification=tdd` },
+        };
+    }
+    // ── 验证 testPaths 匹配 testFilePatterns ──
+    for (const tp of testPaths) {
+        if (!matchesAnyPattern(tp, testFilePatterns)) {
+            return {
+                ok: false,
+                error: { code: "POLICY_INVALID", message: `Test path "${tp}" does not match testFilePatterns` },
+            };
+        }
+    }
+    // ── 检查已有 cycle ──
+    const existing = findCycle(evidence, cycleId);
+    if (existing) {
+        // 幂等：相同 workspace digest
+        if (digestEqual(existing.startWorkspaceDigest, workspaceDigest)) {
+            return { ok: true, value: { evidence, cycle: existing } };
+        }
+        // 冲突
+        return {
+            ok: false,
+            error: { code: "CYCLE_CONFLICT", message: `Cycle "${cycleId}" already exists with different workspace digest` },
+        };
+    }
+    // ── 创建新 cycle ──
+    const cycle = {
+        cycleId,
+        criterionId,
+        reworkRevision: evidence.reworkRevision,
+        status: "started",
+        startWorkspaceDigest: workspaceDigest,
+        testFiles: testPaths,
+        redTestDigest: null,
+        redAttempts: [],
+        greenAttempts: [],
+    };
+    const newEvidence = bumpRevision({
+        ...evidence,
+        status: evidence.status === "not-recorded" ? "in-progress" : evidence.status,
+        cycles: [...evidence.cycles, cycle],
+    });
+    return { ok: true, value: { evidence: newEvidence, cycle } };
+}
+/**
+ * 记录 RED 尝试。
+ *
+ * 验证：
+ * - cycle 存在且 status ∈ {started, red}
+ * - failureKind 为 assertion 或 missing-behavior（有效 RED）
+ * - 幂等：相同 outputDigest → 返回原结果
+ */
+export function recordRed(evidence, cycleId, redEvidence) {
+    const existing = findCycle(evidence, cycleId);
+    if (!existing) {
+        return {
+            ok: false,
+            error: { code: "CYCLE_CONFLICT", message: `Cycle "${cycleId}" not found` },
+        };
+    }
+    // cycle 必须处于 started 或 red 状态
+    if (existing.status !== "started" && existing.status !== "red") {
+        return {
+            ok: false,
+            error: { code: "INVALID_TRANSITION", message: `Cycle "${cycleId}" is in "${existing.status}" state, cannot record RED` },
+        };
+    }
+    // ── 失败分类校验 ──
+    const exitCode = redEvidence.exitCode;
+    // 测试通过（exitCode === 0）→ RED_EXPECTED_FAILURE
+    if (exitCode === 0) {
+        return {
+            ok: false,
+            error: { code: "RED_EXPECTED_FAILURE", message: "RED requires test failure (exitCode !== 0)" },
+        };
+    }
+    // timeout
+    if (redEvidence.failureKind === "timeout") {
+        return {
+            ok: false,
+            error: { code: "COMMAND_TIMEOUT", message: "Test execution timed out" },
+        };
+    }
+    // infrastructure 或 unknown → 不算 RED
+    if (!isValidRedFailure(redEvidence.failureKind)) {
+        return {
+            ok: false,
+            error: { code: "RED_INFRASTRUCTURE_FAILURE", message: `Failure kind "${redEvidence.failureKind}" is not a valid RED failure (expected assertion or missing-behavior)` },
+        };
+    }
+    // ── 幂等检查：相同 outputDigest ──
+    const dup = existing.redAttempts.find(a => digestEqual(a.outputDigest, redEvidence.outputDigest));
+    if (dup) {
+        // 已经记录过相同的 RED，返回原 evidence（不修改）
+        return { ok: true, value: { evidence, cycle: existing } };
+    }
+    // ── 记录 RED ──
+    const updatedCycle = {
+        ...existing,
+        status: "red",
+        redTestDigest: redEvidence.executionInputDigest,
+        redAttempts: [...existing.redAttempts, redEvidence],
+    };
+    const newEvidence = bumpRevision({
+        ...evidence,
+        cycles: replaceCycle(evidence, updatedCycle),
+    });
+    return { ok: true, value: { evidence: newEvidence, cycle: updatedCycle } };
+}
+/**
+ * 记录 GREEN 尝试。
+ *
+ * 验证：
+ * - cycle 存在且已有有效 RED（redTestDigest !== null）
+ * - GREEN exitCode === 0
+ * - implementation files 有变化
+ * - 幂等：相同 outputDigest → 返回原结果
+ */
+export function recordGreen(evidence, cycleId, greenEvidence, implementationFilesChanged) {
+    const existing = findCycle(evidence, cycleId);
+    if (!existing) {
+        return {
+            ok: false,
+            error: { code: "CYCLE_CONFLICT", message: `Cycle "${cycleId}" not found` },
+        };
+    }
+    // 必须有 RED
+    if (existing.redTestDigest === null || existing.redAttempts.length === 0) {
+        return {
+            ok: false,
+            error: { code: "INVALID_TRANSITION", message: `Cycle "${cycleId}" has no RED recorded` },
+        };
+    }
+    // GREEN 测试必须通过
+    if (greenEvidence.exitCode !== 0) {
+        return {
+            ok: false,
+            error: { code: "GREEN_EXPECTED_PASS", message: "GREEN requires all tests to pass (exitCode === 0)" },
+        };
+    }
+    // 必须有实现变化
+    if (!implementationFilesChanged) {
+        return {
+            ok: false,
+            error: { code: "IMPLEMENTATION_CHANGE_REQUIRED", message: "GREEN requires implementation file changes" },
+        };
+    }
+    // ── 幂等检查：相同 outputDigest ──
+    const dup = existing.greenAttempts.find(a => digestEqual(a.outputDigest, greenEvidence.outputDigest));
+    if (dup) {
+        return { ok: true, value: { evidence, cycle: existing } };
+    }
+    // ── 记录 GREEN ──
+    const updatedCycle = {
+        ...existing,
+        status: "pass",
+        greenAttempts: [...existing.greenAttempts, greenEvidence],
+    };
+    const newEvidence = bumpRevision({
+        ...evidence,
+        cycles: replaceCycle(evidence, updatedCycle),
+    });
+    return { ok: true, value: { evidence: newEvidence, cycle: updatedCycle } };
+}
+/**
+ * 记录最终 regression 结果。
+ *
+ * 验证：
+ * - runs 非空
+ * - 所有 run exitCode === 0 且无 timeout 则 pass，否则 fail
+ */
+export function recordFinalRegression(evidence, headSha, treeSha, runs) {
+    if (runs.length === 0) {
+        return {
+            ok: false,
+            error: { code: "REGRESSION_FAILED", message: "Regression requires at least one run" },
+        };
+    }
+    const allPass = runs.every(r => r.exitCode === 0 && r.failureKind !== "timeout");
+    const status = allPass ? "pass" : "fail";
+    const newEvidence = bumpRevision({
+        ...evidence,
+        regression: {
+            status,
+            headSha,
+            treeSha,
+            reworkRevision: evidence.reworkRevision,
+            runs,
+        },
+    });
+    return { ok: true, value: newEvidence };
+}
+/**
+ * 记录最终 verification 结果。
+ *
+ * 规则：
+ * - runs 为空 → pass（未配置 verifyCommands）
+ * - 所有 run exitCode === 0 则 pass，否则 fail
+ */
+export function recordFinalVerification(evidence, headSha, treeSha, runs) {
+    if (runs.length === 0) {
+        // 未配置 verifyCommands，视为 pass
+        const newEvidence = bumpRevision({
+            ...evidence,
+            verification: {
+                status: "pass",
+                headSha,
+                treeSha,
+                runs: [],
+            },
+        });
+        return { ok: true, value: newEvidence };
+    }
+    const allPass = runs.every(r => r.exitCode === 0);
+    const status = allPass ? "pass" : "fail";
+    const newEvidence = bumpRevision({
+        ...evidence,
+        verification: {
+            status,
+            headSha,
+            treeSha,
+            runs,
+        },
+    });
+    return { ok: true, value: newEvidence };
+}
+/**
+ * 放弃一个 cycle。
+ *
+ * 规则：
+ * - cycle 必须存在
+ * - cycle 状态不能是 "pass"（已通过的 cycle 不能放弃）
+ * - 保留审计记录，reason 写入 warnings
+ */
+export function abandonCycle(evidence, cycleId, reason) {
+    const existing = findCycle(evidence, cycleId);
+    if (!existing) {
+        return {
+            ok: false,
+            error: { code: "CYCLE_CONFLICT", message: `Cycle "${cycleId}" not found` },
+        };
+    }
+    if (existing.status === "pass") {
+        return {
+            ok: false,
+            error: { code: "INVALID_TRANSITION", message: `Cannot abandon cycle "${cycleId}" that has already passed` },
+        };
+    }
+    const updatedCycle = {
+        ...existing,
+        status: "abandoned",
+    };
+    const newEvidence = bumpRevision({
+        ...evidence,
+        cycles: replaceCycle(evidence, updatedCycle),
+        warnings: [...evidence.warnings, reason],
+    });
+    return { ok: true, value: newEvidence };
+}
+//# sourceMappingURL=state.js.map

package/dist/flowrun/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../src/flowrun/state.ts"],"names":[],"mappings":"AAmBA,eAAe;AAEf,SAAS,SAAS,CAAC,QAAqB,EAAE,OAAe;IACvD,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAA;AACzD,CAAC;AAED,SAAS,YAAY,CAAC,QAAqB,EAAE,OAAyB;IACpE,OAAO,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC9E,CAAC;AAED,SAAS,YAAY,CAAC,QAAqB;IACzC,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAA;AAC9F,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,QAAgB,EAAE,OAAe;IACxD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAChD,IAAI,QAAQ,GAAG,EAAE,CAAA;IACjB,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACjD,CAAC,IAAI,CAAC,CAAA;YACN,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC7C,QAAQ,IAAI,QAAQ,CAAA;gBACpB,CAAC,EAAE,CAAA;YACL,CAAC;iBAAM,CAAC;gBACN,QAAQ,IAAI,IAAI,CAAA;YAClB,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9B,QAAQ,IAAI,OAAO,CAAA;YACnB,CAAC,EAAE,CAAA;QACL,CAAC;aAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9B,QAAQ,IAAI,KAAK,CAAA;YACjB,CAAC,EAAE,CAAA;QACL,CAAC;aAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9B,QAAQ,IAAI,MAAM,CAAA;YAClB,CAAC,EAAE,CAAA;QACL,CAAC;aAAM,CAAC;YACN,IAAI,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxC,QAAQ,IAAI,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;YAC/B,CAAC;iBAAM,CAAC;gBACN,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,CAAA;YACxB,CAAC;YACD,CAAC,EAAE,CAAA;QACL,CAAC;IACH,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;AACrD,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,QAAkB;IACzD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACvC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,SAAS,WAAW,CAAC,CAAyB,EAAE,CAAyB;IACvE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IAC5C,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAA;AAC3D,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,WAA0B;IACnD,OAAO,WAAW,KAAK,WAAW,IAAI,WAAW,KAAK,kBAAkB,CAAA;AAC1E,CAAC;AAED,eAAe;AAEf;;GAEG;AACH,MAAM,UAAU,kBAAkB;IAChC,OAAO;QACL,QAAQ,EAAE,CAAC;QACX,cAAc,EAAE,CAAC;QACjB,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE;QAC/E,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;QAC5F,YAAY,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;QAC3E,qBAAqB,EAAE,EAAE;QACzB,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,IAAI;KAChB,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CACxB,QAAqB,EACrB,OAAe,EACf,WAAmB,EACnB,SAAmB,EACnB,YAAoB,EACpB,eAAgC,EAChC,kBAAyC,EACzC,gBAA0B;IAE1B,8BAA8B;IAC9B,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAA;IACpE,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,YAAY,KAAK,KAAK,EAAE,CAAC;QACnD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,cAAc,WAAW,qCAAqC,EAAE;SAChH,CAAA;IACH,CAAC;IAED,yCAAyC;IACzC,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,CAAC;YAC7C,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE,mCAAmC,EAAE;aAChG,CAAA;QACH,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC7C,IAAI,QAAQ,EAAE,CAAC;QACb,yBAAyB;QACzB,IAAI,WAAW,CAAC,QAAQ,CAAC,oBAAoB,EAAE,eAAe,CAAC,EAAE,CAAC;YAChE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAA;QAC3D,CAAC;QACD,KAAK;QACL,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,OAAO,kDAAkD,EAAE;SAChH,CAAA;IACH,CAAC;IAED,kBAAkB;IAClB,MAAM,KAAK,GAAqB;QAC9B,OAAO;QACP,WAAW;QACX,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,MAAM,EAAE,SAAS;QACjB,oBAAoB,EAAE,eAAe;QACrC,SAAS,EAAE,SAAS;QACpB,aAAa,EAAE,IAAI;QACnB,WAAW,EAAE,EAAE;QACf,aAAa,EAAE,EAAE;KAClB,CAAA;IAED,MAAM,WAAW,GAAG,YAAY,CAAC;QAC/B,GAAG,QAAQ;QACX,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM;QAC5E,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;KACpC,CAAC,CAAA;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,CAAA;AAC9D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CACvB,QAAqB,EACrB,OAAe,EACf,WAA+B;IAE/B,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,OAAO,aAAa,EAAE;SAC3E,CAAA;IACH,CAAC;IAED,8BAA8B;IAC9B,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAC/D,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,UAAU,OAAO,YAAY,QAAQ,CAAC,MAAM,4BAA4B,EAAE;SACzH,CAAA;IACH,CAAC;IAED,eAAe;IACf,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAA;IAErC,6CAA6C;IAC7C,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,4CAA4C,EAAE;SAC/F,CAAA;IACH,CAAC;IAED,UAAU;IACV,IAAI,WAAW,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,0BAA0B,EAAE;SACxE,CAAA;IACH,CAAC;IAED,oCAAoC;IACpC,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;QAChD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,OAAO,EAAE,iBAAiB,WAAW,CAAC,WAAW,uEAAuE,EAAE;SACxK,CAAA;IACH,CAAC;IAED,6BAA6B;IAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC,CAAA;IACjG,IAAI,GAAG,EAAE,CAAC;QACR,iCAAiC;QACjC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAA;IAC3D,CAAC;IAED,eAAe;IACf,MAAM,YAAY,GAAqB;QACrC,GAAG,QAAQ;QACX,MAAM,EAAE,KAAK;QACb,aAAa,EAAE,WAAW,CAAC,oBAAoB;QAC/C,WAAW,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;KACpD,CAAA;IAED,MAAM,WAAW,GAAG,YAAY,CAAC;QAC/B,GAAG,QAAQ;QACX,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC;KAC7C,CAAC,CAAA;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,CAAA;AAC5E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CACzB,QAAqB,EACrB,OAAe,EACf,aAAiC,EACjC,0BAAmC;IAEnC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,OAAO,aAAa,EAAE;SAC3E,CAAA;IACH,CAAC;IAED,UAAU;IACV,IAAI,QAAQ,CAAC,aAAa,KAAK,IAAI,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,UAAU,OAAO,uBAAuB,EAAE;SACzF,CAAA;IACH,CAAC;IAED,eAAe;IACf,IAAI,aAAa,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,mDAAmD,EAAE;SACrG,CAAA;IACH,CAAC;IAED,UAAU;IACV,IAAI,CAAC,0BAA0B,EAAE,CAAC;QAChC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,gCAAgC,EAAE,OAAO,EAAE,4CAA4C,EAAE;SACzG,CAAA;IACH,CAAC;IAED,6BAA6B;IAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC,CAAA;IACrG,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAA;IAC3D,CAAC;IAED,iBAAiB;IACjB,MAAM,YAAY,GAAqB;QACrC,GAAG,QAAQ;QACX,MAAM,EAAE,MAAM;QACd,aAAa,EAAE,CAAC,GAAG,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;KAC1D,CAAA;IAED,MAAM,WAAW,GAAG,YAAY,CAAC;QAC/B,GAAG,QAAQ;QACX,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC;KAC7C,CAAC,CAAA;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,CAAA;AAC5E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAqB,EACrB,OAAe,EACf,OAAe,EACf,IAA0B;IAE1B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,sCAAsC,EAAE;SACtF,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAA;IAChF,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAA;IAExC,MAAM,WAAW,GAAG,YAAY,CAAC;QAC/B,GAAG,QAAQ;QACX,UAAU,EAAE;YACV,MAAM;YACN,OAAO;YACP,OAAO;YACP,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,IAAI;SACL;KACF,CAAC,CAAA;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAqB,EACrB,OAAe,EACf,OAAe,EACf,IAA0B;IAE1B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,6BAA6B;QAC7B,MAAM,WAAW,GAAG,YAAY,CAAC;YAC/B,GAAG,QAAQ;YACX,YAAY,EAAE;gBACZ,MAAM,EAAE,MAAM;gBACd,OAAO;gBACP,OAAO;gBACP,IAAI,EAAE,EAAE;aACT;SACF,CAAC,CAAA;QACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;IACzC,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAA;IAExC,MAAM,WAAW,GAAG,YAAY,CAAC;QAC/B,GAAG,QAAQ;QACX,YAAY,EAAE;YACZ,MAAM;YACN,OAAO;YACP,OAAO;YACP,IAAI;SACL;KACF,CAAC,CAAA;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;AACzC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAqB,EACrB,OAAe,EACf,MAAc;IAEd,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,OAAO,aAAa,EAAE;SAC3E,CAAA;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC/B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,yBAAyB,OAAO,2BAA2B,EAAE;SAC5G,CAAA;IACH,CAAC;IAED,MAAM,YAAY,GAAqB;QACrC,GAAG,QAAQ;QACX,MAAM,EAAE,WAAW;KACpB,CAAA;IAED,MAAM,WAAW,GAAG,YAAY,CAAC;QAC/B,GAAG,QAAQ;QACX,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC;QAC5C,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;KACzC,CAAC,CAAA;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;AACzC,CAAC"}

package/dist/flowrun/transitions.d.ts

@@ -0,0 +1,66 @@
+import type { FlowRun, FlowStage, TaskState, TaskExecutionBinding, TddPolicy } from "./types.js";
+export interface TransitionError {
+    code: string;
+    message: string;
+}
+export type TransitionResult<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    error: TransitionError;
+};
+/**
+ * 启动 FlowRun：planned → running
+ *
+ * 幂等：已经是 running 则直接返回（不报错）。
+ */
+export declare function flowRunStart(flowRun: FlowRun): TransitionResult<FlowRun>;
+/**
+ * 启动 Stage：pending → running
+ *
+ * 约束：
+ * - 仅允许 requirements/design/tasks/code
+ * - 验证前置 stage 已 pass
+ *
+ * 幂等：已经是 running 则直接返回。
+ */
+export declare function flowStageStart(flowRun: FlowRun, stage: FlowStage): TransitionResult<FlowRun>;
+/**
+ * 完成 Stage：running → pass
+ *
+ * 约束：
+ * - 仅允许 requirements/design/tasks
+ * - code/test/review/merge 由 finalize 完成
+ * - 验证 pending checks 均已 pass
+ *
+ * 幂等：已经是 pass 则直接返回。
+ */
+export declare function flowStageComplete(flowRun: FlowRun, stage: FlowStage): TransitionResult<FlowRun>;
+/**
+ * 启动 Task：pending/ready → running
+ *
+ * 步骤：
+ * 1. gate check：canStartTask（依赖已 merged、code stage 活跃等）
+ * 2. policy 冻结：如果传入 tddPolicy，则覆盖 TaskState.tddPolicy
+ * 3. 写入 executionBinding
+ * 4. status → running
+ *
+ * 幂等：已经是 running 则直接返回（相同 taskId）。
+ */
+export declare function flowTaskStart(flowRun: FlowRun, taskId: string, executionBinding: TaskExecutionBinding, tddPolicy?: TddPolicy): TransitionResult<{
+    flowRun: FlowRun;
+    task: TaskState;
+}>;
+/**
+ * FlowRun 终态绑定：所有 Task merged 后，顺序标记 code→test→review→merge 为 pass，
+ * 并将 FlowRun 状态设为 completed。
+ *
+ * 规则：
+ * - canMerge() 必须通过（所有 Task merged + FlowRun status 为 running/merging）
+ * - 对 code/test/review/merge 四个 stage：若未 pass 则逐个标记 pass
+ * - FlowRun status → completed，设置 completedAt
+ *
+ * 幂等：已经是 completed 则直接返回（不修改任何字段）。
+ */
+export declare function flowRunFinalize(flowRun: FlowRun): TransitionResult<FlowRun>;

package/dist/flowrun/transitions.js

@@ -0,0 +1,168 @@
+import { canStartStage, canCompleteStage, canStartTask, canMerge, } from "./gate.js";
+// ─── 受控 stage 集合 ───
+/** flow_control 可启动的 stage */
+const STARTABLE_STAGES = ["requirements", "design", "tasks", "code"];
+/** flow_control 可完成的 stage（code/test/review/merge 由 finalize 完成） */
+const COMPLETABLE_STAGES = ["requirements", "design", "tasks"];
+function gateToError(gate) {
+    return {
+        code: "GATE_BLOCKED",
+        message: gate.reason ?? "Gate check failed",
+    };
+}
+// ─── FlowRun 状态迁移 ───
+/**
+ * 启动 FlowRun：planned → running
+ *
+ * 幂等：已经是 running 则直接返回（不报错）。
+ */
+export function flowRunStart(flowRun) {
+    if (flowRun.status === "running") {
+        return { ok: true, value: flowRun };
+    }
+    if (flowRun.status !== "planned") {
+        return {
+            ok: false,
+            error: { code: "INVALID_TRANSITION", message: `FlowRun is ${flowRun.status}, not planned` },
+        };
+    }
+    flowRun.status = "running";
+    flowRun.startedAt = new Date().toISOString();
+    return { ok: true, value: flowRun };
+}
+// ─── Stage 状态迁移 ───
+/**
+ * 启动 Stage：pending → running
+ *
+ * 约束：
+ * - 仅允许 requirements/design/tasks/code
+ * - 验证前置 stage 已 pass
+ *
+ * 幂等：已经是 running 则直接返回。
+ */
+export function flowStageStart(flowRun, stage) {
+    if (!STARTABLE_STAGES.includes(stage)) {
+        return {
+            ok: false,
+            error: { code: "STAGE_NOT_CONTROLLABLE", message: `Stage "${stage}" cannot be started via flow_control` },
+        };
+    }
+    if (flowRun.stages[stage].status === "running") {
+        return { ok: true, value: flowRun };
+    }
+    const gate = canStartStage(flowRun, stage);
+    if (!gate.allowed) {
+        return { ok: false, error: gateToError(gate) };
+    }
+    flowRun.stages[stage].status = "running";
+    return { ok: true, value: flowRun };
+}
+/**
+ * 完成 Stage：running → pass
+ *
+ * 约束：
+ * - 仅允许 requirements/design/tasks
+ * - code/test/review/merge 由 finalize 完成
+ * - 验证 pending checks 均已 pass
+ *
+ * 幂等：已经是 pass 则直接返回。
+ */
+export function flowStageComplete(flowRun, stage) {
+    if (!COMPLETABLE_STAGES.includes(stage)) {
+        return {
+            ok: false,
+            error: { code: "STAGE_NOT_CONTROLLABLE", message: `Stage "${stage}" completion is only via finalize` },
+        };
+    }
+    if (flowRun.stages[stage].status === "pass") {
+        return { ok: true, value: flowRun };
+    }
+    const gate = canCompleteStage(flowRun, stage);
+    if (!gate.allowed) {
+        return { ok: false, error: gateToError(gate) };
+    }
+    flowRun.stages[stage].status = "pass";
+    flowRun.stages[stage].completedAt = new Date().toISOString();
+    return { ok: true, value: flowRun };
+}
+// ─── Task 状态迁移 ───
+/**
+ * 启动 Task：pending/ready → running
+ *
+ * 步骤：
+ * 1. gate check：canStartTask（依赖已 merged、code stage 活跃等）
+ * 2. policy 冻结：如果传入 tddPolicy，则覆盖 TaskState.tddPolicy
+ * 3. 写入 executionBinding
+ * 4. status → running
+ *
+ * 幂等：已经是 running 则直接返回（相同 taskId）。
+ */
+export function flowTaskStart(flowRun, taskId, executionBinding, tddPolicy) {
+    const task = flowRun.tasks[taskId];
+    if (!task) {
+        return {
+            ok: false,
+            error: { code: "TASK_NOT_FOUND", message: `Task "${taskId}" not found in FlowRun` },
+        };
+    }
+    // 幂等：已经是 running
+    if (task.status === "running") {
+        // 更新 executionBinding（可能重连）
+        task.executionBinding = executionBinding;
+        return { ok: true, value: { flowRun, task } };
+    }
+    const gate = canStartTask(flowRun, taskId);
+    if (!gate.allowed) {
+        return { ok: false, error: gateToError(gate) };
+    }
+    // 冻结 policy
+    if (tddPolicy) {
+        task.tddPolicy = tddPolicy;
+    }
+    // 写入 execution binding
+    task.executionBinding = executionBinding;
+    task.status = "running";
+    task.startedAt = new Date().toISOString();
+    return { ok: true, value: { flowRun, task } };
+}
+// ─── FlowRun Finalize ───
+/**
+ * FlowRun 终态绑定：所有 Task merged 后，顺序标记 code→test→review→merge 为 pass，
+ * 并将 FlowRun 状态设为 completed。
+ *
+ * 规则：
+ * - canMerge() 必须通过（所有 Task merged + FlowRun status 为 running/merging）
+ * - 对 code/test/review/merge 四个 stage：若未 pass 则逐个标记 pass
+ * - FlowRun status → completed，设置 completedAt
+ *
+ * 幂等：已经是 completed 则直接返回（不修改任何字段）。
+ */
+export function flowRunFinalize(flowRun) {
+    // 幂等：已 completed
+    if (flowRun.status === "completed") {
+        return { ok: true, value: flowRun };
+    }
+    // 前置检查：canMerge（所有 Task merged + FlowRun 状态正确）
+    const mergeGate = canMerge(flowRun);
+    if (!mergeGate.allowed) {
+        return { ok: false, error: gateToError(mergeGate) };
+    }
+    // 顺序标记 finalize stages
+    const finalizeStages = ["code", "test", "review", "merge"];
+    for (const stage of finalizeStages) {
+        const stageState = flowRun.stages[stage];
+        if (!stageState)
+            continue;
+        // 已经是 pass → 跳过
+        if (stageState.status === "pass")
+            continue;
+        // 标记 pass
+        stageState.status = "pass";
+        stageState.completedAt = new Date().toISOString();
+    }
+    // FlowRun → completed
+    flowRun.status = "completed";
+    flowRun.completedAt = new Date().toISOString();
+    return { ok: true, value: flowRun };
+}
+//# sourceMappingURL=transitions.js.map

package/dist/flowrun/transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../src/flowrun/transitions.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,QAAQ,GACxD,MAAM,WAAW,CAAA;AAclB,sBAAsB;AAEtB,8BAA8B;AAC9B,MAAM,gBAAgB,GAAgB,CAAC,cAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;AAEjF,oEAAoE;AACpE,MAAM,kBAAkB,GAAgB,CAAC,cAAc,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;AAE3E,SAAS,WAAW,CAAC,IAAgB;IACnC,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,IAAI,CAAC,MAAM,IAAI,mBAAmB;KAC5C,CAAA;AACH,CAAC;AAED,uBAAuB;AAEvB;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;IACrC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,OAAO,CAAC,MAAM,eAAe,EAAE;SAC5F,CAAA;IACH,CAAC;IACD,OAAO,CAAC,MAAM,GAAG,SAAS,CAAA;IAC1B,OAAO,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IAC5C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AACrC,CAAC;AAED,qBAAqB;AAErB;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,KAAgB;IAC/D,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,UAAU,KAAK,sCAAsC,EAAE;SAC1G,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC1C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAA;IAChD,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,SAAS,CAAA;IACxC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AACrC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,KAAgB;IAClE,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,UAAU,KAAK,mCAAmC,EAAE;SACvG,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAA;IAChD,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,MAAM,CAAA;IACrC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IAC5D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AACrC,CAAC;AAED,oBAAoB;AAEpB;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,MAAc,EACd,gBAAsC,EACtC,SAAqB;IAErB,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAClC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,MAAM,wBAAwB,EAAE;SACpF,CAAA;IACH,CAAC;IAED,iBAAiB;IACjB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,4BAA4B;QAC5B,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAA;QACxC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAA;IAC/C,CAAC;IAED,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAC1C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAA;IAChD,CAAC;IAED,YAAY;IACZ,IAAI,SAAS,EAAE,CAAC;QACd,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;IAC5B,CAAC;IAED,uBAAuB;IACvB,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAA;IACxC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAA;IACvB,IAAI,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IAEzC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAA;AAC/C,CAAC;AAED,2BAA2B;AAE3B;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,iBAAiB;IACjB,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;IACrC,CAAC;IAED,+CAA+C;IAC/C,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAA;IACnC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,SAAS,CAAC,EAAE,CAAA;IACrD,CAAC;IAED,uBAAuB;IACvB,MAAM,cAAc,GAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAEvE,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACxC,IAAI,CAAC,UAAU;YAAE,SAAQ;QAEzB,gBAAgB;QAChB,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QAE1C,UAAU;QACV,UAAU,CAAC,MAAM,GAAG,MAAM,CAAA;QAC1B,UAAU,CAAC,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IACnD,CAAC;IAED,sBAAsB;IACtB,OAAO,CAAC,MAAM,GAAG,WAAW,CAAA;IAC5B,OAAO,CAAC,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IAE9C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AACrC,CAAC"}