@devcxl/opencode-cabbage 1.1.0 → 1.3.0

package/dist/kernel/tdd/state.d.ts

@@ -1,79 +0,0 @@
-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>;

package/dist/kernel/tdd/state.js

@@ -1,363 +0,0 @@
-// ─── 辅助函数 ───
-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/kernel/tdd/state.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/kernel/tdd/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,aAAqB,EACrB,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/kernel/types.d.ts

@@ -1,180 +0,0 @@
-/** Flow Record 引用：GitHub Parent Issue 承载 Flow 生命周期与阶段状态 */
-export interface FlowRecordRef {
-    parentIssueNumber: number;
-    slug: string;
-}
-/** Task Record 引用：GitHub Sub Issue 承载 Task 生命周期与 TDD 证据 */
-export interface TaskRecordRef {
-    parentIssueNumber: number;
-    taskId: string;
-    issueNumber: number;
-}
-export interface AcceptanceCriterion {
-    id: string;
-    description: string;
-    verification: "tdd" | "regression" | "manual";
-}
-export type TddMode = "strict" | "relaxed" | "bypass";
-export type TddEnforcement = "advisory" | "runtime";
-export interface TddRunnerPolicy {
-    adapter: "vitest";
-    baseCommand: string;
-    timeoutMs: number;
-    executionInputPatterns: string[];
-}
-export interface VersionedDigest {
-    algorithm: "sha256-content-v1" | "sha256-output-v1" | "git-tree-v1";
-    value: string;
-}
-export type TddApproval = {
-    kind: "planning-pr";
-    repo: string;
-    prNumber: number;
-    reviewId: number;
-    approver: string;
-    mergedCommitSha: string;
-    policyDigest: string;
-} | {
-    kind: "issue-comment";
-    repo: string;
-    issueNumber: number;
-    commentId: number;
-    approver: string;
-    commentBodyDigest: VersionedDigest;
-    policyDigest: string;
-} | {
-    kind: "legacy-migration";
-    fromSchemaVersion: 1;
-};
-export interface TaskCommand {
-    command: string;
-    cwd: string;
-    timeoutMs: number;
-    env: Record<string, string>;
-}
-export type AlternativeValidation = {
-    validationId: string;
-    kind: "command";
-    command: TaskCommand;
-} | {
-    validationId: string;
-    kind: "manual";
-    description: string;
-};
-export interface TddException {
-    reason: string;
-    alternativeValidation: AlternativeValidation[];
-    approval: TddApproval;
-}
-export interface TddPolicy {
-    mode: TddMode;
-    enforcement: TddEnforcement;
-    runner: TddRunnerPolicy | null;
-    testFilePatterns: string[];
-    implementationFilePatterns: string[];
-    generatedArtifactPatterns: string[];
-    exception: TddException | null;
-    source: {
-        manifestPath: string;
-        revisionSha: string;
-    };
-}
-export type TddFailureKind = "assertion" | "missing-behavior" | "infrastructure" | "timeout" | "unknown";
-export interface TddCommandEvidence {
-    command: string;
-    testSelector: string | null;
-    exitCode: number | null;
-    failureKind: TddFailureKind | null;
-    testsCollected: number | null;
-    testsFailed: number | null;
-    startedAt: string;
-    finishedAt: string;
-    durationMs: number;
-    changedFiles: string[];
-    outputDigest: VersionedDigest;
-    workspaceDigest: VersionedDigest;
-    executionInputDigest: VersionedDigest;
-    summary: string;
-}
-export interface TddTaskStartEvidence {
-    status: "pending" | "pass" | "fail";
-    headSha: string | null;
-    treeSha: string | null;
-    startedAt: string | null;
-}
-export interface TddCycleEvidence {
-    cycleId: string;
-    criterionId: string;
-    reworkRevision: number;
-    status: "started" | "red" | "pass" | "failed" | "abandoned";
-    startWorkspaceDigest: VersionedDigest;
-    testFiles: string[];
-    redTestDigest: VersionedDigest | null;
-    redAttempts: TddCommandEvidence[];
-    greenAttempts: TddCommandEvidence[];
-}
-export interface TddRegressionEvidence {
-    status: "pending" | "pass" | "fail" | "skipped";
-    headSha: string | null;
-    treeSha: string | null;
-    reworkRevision: number;
-    runs: TddCommandEvidence[];
-}
-export interface FinalVerificationEvidence {
-    status: "pending" | "pass" | "fail";
-    headSha: string | null;
-    treeSha: string | null;
-    runs: TddCommandEvidence[];
-}
-export type AlternativeValidationEvidence = {
-    validationId: string;
-    kind: "command";
-    status: "pass" | "fail";
-    headSha: string;
-    treeSha: string;
-    reworkRevision: number;
-    evidence: TddCommandEvidence;
-} | {
-    validationId: string;
-    kind: "manual";
-    status: "pass" | "fail";
-    headSha: string;
-    treeSha: string;
-    reworkRevision: number;
-    reviewRef: string;
-    reviewer: string;
-    contentDigest: VersionedDigest;
-    policyDigest: string;
-    summary: string;
-};
-export interface ReworkApproval {
-    reworkRevision: number;
-    kind: "refactor";
-    headSha: string;
-    treeSha: string;
-    reviewerSessionId: string;
-    reviewerMessageId: string;
-    contentDigest: VersionedDigest;
-    policyDigest: string;
-}
-export interface TddReworkEvidence {
-    reworkRevision: number;
-    kind: "behavior" | "refactor";
-    affectedCriterionIds: string[];
-    status: "started" | "evidence-ready" | "pass" | "fail";
-    startHeadSha: string;
-    approval: ReworkApproval | null;
-}
-export interface TddEvidence {
-    revision: number;
-    reworkRevision: number;
-    status: "not-recorded" | "pending" | "in-progress" | "pass" | "fail" | "waived";
-    taskStart: TddTaskStartEvidence;
-    cycles: TddCycleEvidence[];
-    regression: TddRegressionEvidence;
-    verification: FinalVerificationEvidence;
-    alternativeValidation: AlternativeValidationEvidence[];
-    reworks: TddReworkEvidence[];
-    warnings: string[];
-    updatedAt: string | null;
-}

package/dist/kernel/types.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=types.js.map

package/dist/kernel/types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/kernel/types.ts"],"names":[],"mappings":""}

package/dist/kernel/worktree.d.ts

@@ -1,45 +0,0 @@
-import type { BranchType } from "./slug.js";
-type GitFn = (args: string) => Promise<{
-    stdout: string;
-    stderr: string;
-}>;
-export declare function setWorktreeGitExecutor(fn: GitFn | null): void;
-export type WorktreeStartResult = {
-    ok: true;
-    branch: string;
-    path: string;
-    reused: boolean;
-} | {
-    ok: false;
-    code: "BRANCH_EXISTS" | "BRANCH_EXISTS_UNMERGED" | "BRANCH_MISMATCH" | "INVALID_SLUG" | "GIT_FAILED";
-    message: string;
-};
-export interface WorktreeStartInput {
-    projectDir: string;
-    slug: string;
-    base: string;
-    branchType?: BranchType;
-}
-/** 分支已存在（本地 ref），未合并 → BRANCH_EXISTS_UNMERGED；已合并残留 → BRANCH_EXISTS */
-export declare function worktreeStart(input: WorktreeStartInput): Promise<WorktreeStartResult>;
-export type DestroyReason = "OK" | "DIRTY_WORKTREE" | "PR_NOT_MERGED" | "BRANCH_NOT_PUSHED" | "NOT_FOUND";
-export type DestroyWorktreeResult = {
-    ok: true;
-    reason: "OK" | "NOT_FOUND";
-} | {
-    ok: false;
-    reason: "DIRTY_WORKTREE" | "PR_NOT_MERGED" | "BRANCH_NOT_PUSHED" | "GIT_FAILED";
-    message: string;
-};
-export interface DestroyWorktreeInput {
-    worktreeDir: string;
-    branch: string;
-    prMerged: boolean;
-    userConfirmed: boolean;
-}
-/**
- * preflight 顺序：不存在 → 幂等跳过；脏 → 拒绝（不 --force）；
- * 未合并 → 需 user_confirmed 且分支已推送；合并且干净 → 自动删除。
- */
-export declare function destroyWorktree(input: DestroyWorktreeInput): Promise<DestroyWorktreeResult>;
-export {};