@devcxl/opencode-cabbage 1.1.0 → 1.3.0

package/dist/kernel/tdd/digest.js

@@ -1,303 +0,0 @@
-import { createHash } from "node:crypto";
-import { readFile, lstat, readdir, realpath } from "node:fs/promises";
-import { join, resolve, sep, isAbsolute } from "node:path";
-import { execFileSync } from "node:child_process";
-// ─── 常量 ───
-/** 始终忽略的目录 */
-const ALWAYS_IGNORED = new Set([
-    ".git",
-    "node_modules",
-    "coverage",
-    "dist",
-    ".nyc_output",
-]);
-/** 始终忽略的前缀（目录 + 分隔符） */
-function isAlwaysIgnored(relPath) {
-    const parts = relPath.split(sep);
-    if (parts.length === 0)
-        return false;
-    const top = parts[0];
-    if (!top)
-        return false;
-    return ALWAYS_IGNORED.has(top);
-}
-/** 危险字符正则：拒绝可能逃逸路径的字符 */
-const DANGEROUS_PATH = /[\x00-\x1f\x7f]/;
-// ─── Git 辅助 ───
-function runGit(args, cwd) {
-    try {
-        const output = execFileSync("git", args, {
-            cwd,
-            encoding: "utf-8",
-            env: { ...process.env, GIT_CONFIG_NOSYSTEM: "1" },
-            maxBuffer: 10 * 1024 * 1024,
-        });
-        return output.trim().split("\n").filter(Boolean);
-    }
-    catch {
-        return [];
-    }
-}
-/** 获取 Git 已跟踪的文件列表（repo-relative paths） */
-function getTrackedFiles(cwd) {
-    const lines = runGit(["ls-files", "--cached", "-z"], cwd);
-    if (lines.length === 0)
-        return new Set();
-    // -z 输出的行以 null 分隔，但 execFileSync 返回时 null 被转为换行
-    // 实际用 -z 时输出用 \0 分隔，这里按 \0 分割
-    const raw = execFileSync("git", ["ls-files", "--cached", "-z"], {
-        cwd, encoding: "utf-8",
-        env: { ...process.env, GIT_CONFIG_NOSYSTEM: "1" },
-        maxBuffer: 10 * 1024 * 1024,
-    });
-    return new Set(raw.split("\0").filter(Boolean));
-}
-/** 获取已跟踪但已删除的文件列表 */
-function getDeletedFiles(cwd) {
-    try {
-        const raw = execFileSync("git", ["ls-files", "--deleted", "-z"], {
-            cwd, encoding: "utf-8",
-            env: { ...process.env, GIT_CONFIG_NOSYSTEM: "1" },
-            maxBuffer: 10 * 1024 * 1024,
-        });
-        return new Set(raw.split("\0").filter(Boolean));
-    }
-    catch {
-        return new Set();
-    }
-}
-// ─── 模式匹配 ───
-/**
- * 简单的 glob 匹配（支持 **、*）
- * 不做完整 micromatch，仅覆盖常见 pattern
- */
-function matchPattern(filePath, pattern) {
-    // 将路径分隔符统一为 /
-    const normalized = filePath.split(sep).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++;
-        }
-    }
-    const regex = new RegExp(`^${regexStr}$`);
-    return regex.test(normalized);
-}
-export function matchesAnyPattern(filePath, patterns) {
-    return patterns.some(p => matchPattern(filePath, p));
-}
-// ─── 路径校验 ───
-function validateRelPath(relPath) {
-    // 拒绝包含危险字符的路径
-    if (DANGEROUS_PATH.test(relPath)) {
-        throw new Error(`Dangerous characters in path: ${relPath}`);
-    }
-    // 拒绝以 .. 开头的路径
-    const normalized = relPath.split(sep).join("/");
-    if (normalized.startsWith("..") || normalized.includes("/../")) {
-        throw new Error(`Path escapes worktree: ${relPath}`);
-    }
-    if (isAbsolute(relPath)) {
-        throw new Error(`Path must be relative: ${relPath}`);
-    }
-}
-// ─── 文件扫描 ───
-/**
- * 递归列出目录下所有文件（repo-relative paths）
- * 忽略 always-ignored 目录
- */
-async function scanDir(root, subDir = "", results = []) {
-    const fullPath = subDir ? join(root, subDir) : root;
-    let dirents;
-    try {
-        dirents = await readdir(fullPath, { withFileTypes: true });
-    }
-    catch {
-        return results;
-    }
-    for (const entry of dirents) {
-        const relPath = subDir ? `${subDir}${sep}${entry.name}` : entry.name;
-        const relPathSlash = relPath.split(sep).join("/");
-        // 跳过 always-ignored 顶层目录
-        if (isAlwaysIgnored(relPath))
-            continue;
-        if (entry.isDirectory()) {
-            await scanDir(root, relPath, results);
-        }
-        else if (entry.isFile() || entry.isSymbolicLink()) {
-            results.push(relPathSlash);
-        }
-    }
-    return results;
-}
-async function collectFileEntries(root, tracked, deleted, untrackedPaths, generatedPatterns) {
-    const entries = [];
-    // 处理已跟踪文件
-    for (const relPath of tracked) {
-        validateRelPath(relPath);
-        // 跳过生成的 artifacts
-        if (matchesAnyPattern(relPath, generatedPatterns))
-            continue;
-        // 跳过 always-ignored 目录
-        if (isAlwaysIgnored(relPath))
-            continue;
-        // 已删除文件：使用删除标记
-        if (deleted.has(relPath)) {
-            entries.push({ path: relPath, mode: 0, content: null });
-            continue;
-        }
-        const absPath = join(root, relPath);
-        try {
-            const fileLstat = await lstat(absPath);
-            // 检查 symlink 是否逃逸
-            if (fileLstat.isSymbolicLink()) {
-                const resolved = await realpath(absPath);
-                const resolvedNorm = resolve(resolved);
-                const rootNorm = resolve(root);
-                if (!resolvedNorm.startsWith(rootNorm + sep) && resolvedNorm !== rootNorm) {
-                    throw new Error(`Symlink escapes worktree: ${relPath} → ${resolved}`);
-                }
-            }
-            if (fileLstat.isFile() || fileLstat.isSymbolicLink()) {
-                const content = await readFile(absPath);
-                // mode: 只保留权限位（低 9 位），用于区分可执行位
-                const mode = fileLstat.mode & 0o777;
-                entries.push({ path: relPath, mode, content });
-            }
-            // 目录、设备文件等跳过
-        }
-        catch (err) {
-            if (err instanceof Error && err.message.startsWith("Symlink escapes")) {
-                throw err;
-            }
-            // 文件不存在（可能被外部删除），添加删除标记
-            entries.push({ path: relPath, mode: 0, content: null });
-        }
-    }
-    // 处理 policy 范围内的 untracked 文件
-    for (const relPath of untrackedPaths) {
-        validateRelPath(relPath);
-        // 跳过已跟踪文件的重复
-        if (tracked.has(relPath))
-            continue;
-        // 跳过 always-ignored
-        if (isAlwaysIgnored(relPath))
-            continue;
-        // 跳过生成的 artifacts
-        if (matchesAnyPattern(relPath, generatedPatterns))
-            continue;
-        const absPath = join(root, relPath);
-        try {
-            const fileLstat = await lstat(absPath);
-            if (fileLstat.isSymbolicLink()) {
-                const resolved = await realpath(absPath);
-                const resolvedNorm = resolve(resolved);
-                const rootNorm = resolve(root);
-                if (!resolvedNorm.startsWith(rootNorm + sep) && resolvedNorm !== rootNorm) {
-                    throw new Error(`Symlink escapes worktree: ${relPath} → ${resolved}`);
-                }
-            }
-            if (fileLstat.isFile() || fileLstat.isSymbolicLink()) {
-                const content = await readFile(absPath);
-                const mode = fileLstat.mode & 0o777;
-                entries.push({ path: relPath, mode, content });
-            }
-        }
-        catch (err) {
-            if (err instanceof Error && err.message.startsWith("Symlink escapes")) {
-                throw err;
-            }
-            // 无法读取的文件跳过
-        }
-    }
-    return entries;
-}
-// ─── 主函数 ───
-/**
- * 计算 worktree 的 Canonical Content Digest。
- *
- * 规则：
- * 1. repo-relative paths，按 UTF-8 字节序排序
- * 2. 纳入文件类型（含可执行位）、原始字节、删除标记
- * 3. 拒绝逃逸 worktree 的 symlink
- * 4. 忽略 .git/、node_modules/、coverage/、dist/、policy 声明的 generated artifacts
- * 5. tracked + policy 范围内 untracked 文件均纳入
- */
-export async function computeWorkspaceDigest(root, options) {
-    const rootNorm = resolve(root);
-    // 1. 获取 Git 跟踪状态
-    const tracked = getTrackedFiles(rootNorm);
-    const deleted = getDeletedFiles(rootNorm);
-    // 2. 扫描文件系统；tracked 与 untracked 均只纳入匹配 pattern 的文件，
-    //    保证实现 digest 与测试输入 digest 互不污染（GREEN 门禁依赖此隔离）
-    const allFiles = await scanDir(rootNorm);
-    const includedPatterns = [...options.testFilePatterns, ...options.implementationFilePatterns];
-    const includedTracked = new Set([...tracked].filter(f => matchesAnyPattern(f, includedPatterns)));
-    const untrackedPaths = new Set(allFiles.filter(f => !tracked.has(f) && matchesAnyPattern(f, includedPatterns)));
-    // 3. 收集文件条目
-    const entries = await collectFileEntries(rootNorm, includedTracked, deleted, untrackedPaths, options.generatedArtifactPatterns);
-    // 4. 按 UTF-8 字节序排序
-    entries.sort((a, b) => {
-        const bufA = Buffer.from(a.path, "utf-8");
-        const bufB = Buffer.from(b.path, "utf-8");
-        return Buffer.compare(bufA, bufB);
-    });
-    // 5. 构建 canonical 内容
-    const hash = createHash("sha256");
-    for (const entry of entries) {
-        // path
-        hash.update(entry.path);
-        hash.update("\0");
-        // mode (8 进制字符串)
-        hash.update(entry.mode.toString(8));
-        hash.update("\0");
-        // content 或删除标记
-        if (entry.content === null) {
-            hash.update("\0DELETED\0");
-        }
-        else {
-            hash.update(entry.content);
-        }
-        hash.update("\0");
-    }
-    return {
-        algorithm: "sha256-content-v1",
-        value: hash.digest("hex"),
-    };
-}
-//# sourceMappingURL=digest.js.map

package/dist/kernel/tdd/digest.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"digest.js","sourceRoot":"","sources":["../../../src/kernel/tdd/digest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AACrE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAWjD,aAAa;AAEb,cAAc;AACd,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,MAAM;IACN,cAAc;IACd,UAAU;IACV,MAAM;IACN,aAAa;CACd,CAAC,CAAA;AAEF,wBAAwB;AACxB,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IACpB,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,CAAA;IACtB,OAAO,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAChC,CAAC;AAED,yBAAyB;AACzB,MAAM,cAAc,GAAG,iBAAiB,CAAA;AAExC,iBAAiB;AAEjB,SAAS,MAAM,CAAC,IAAc,EAAE,GAAW;IACzC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE;YACvC,GAAG;YACH,QAAQ,EAAE,OAAO;YACjB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,mBAAmB,EAAE,GAAG,EAAE;YACjD,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAA;QACF,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAA;IACX,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,SAAS,eAAe,CAAC,GAAW;IAClC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IACxC,iDAAiD;IACjD,8BAA8B;IAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE;QAC9D,GAAG,EAAE,QAAQ,EAAE,OAAO;QACtB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,mBAAmB,EAAE,GAAG,EAAE;QACjD,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;KAC5B,CAAC,CAAA;IACF,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;AACjD,CAAC;AAED,qBAAqB;AACrB,SAAS,eAAe,CAAC,GAAW;IAClC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE;YAC/D,GAAG,EAAE,QAAQ,EAAE,OAAO;YACtB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,mBAAmB,EAAE,GAAG,EAAE;YACjD,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAA;QACF,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,GAAG,EAAE,CAAA;IAClB,CAAC;AACH,CAAC;AAED,eAAe;AAEf;;;GAGG;AACH,SAAS,YAAY,CAAC,QAAgB,EAAE,OAAe;IACrD,cAAc;IACd,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAEhD,OAAO;IACP,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,aAAa;YACb,CAAC,IAAI,CAAC,CAAA;YACN,wBAAwB;YACxB,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,kBAAkB;gBAClB,QAAQ,IAAI,IAAI,CAAA;YAClB,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9B,oBAAoB;YACpB,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,WAAW;YACX,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;IAED,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAA;IACzC,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;AAC/B,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,QAAkB;IACpE,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAA;AACtD,CAAC;AAED,eAAe;AAEf,SAAS,eAAe,CAAC,OAAe;IACtC,cAAc;IACd,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,iCAAiC,OAAO,EAAE,CAAC,CAAA;IAC7D,CAAC;IACD,eAAe;IACf,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC/C,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,EAAE,CAAC,CAAA;IACtD,CAAC;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,EAAE,CAAC,CAAA;IACtD,CAAC;AACH,CAAC;AAED,eAAe;AAEf;;;GAGG;AACH,KAAK,UAAU,OAAO,CAAC,IAAY,EAAE,SAAiB,EAAE,EAAE,UAAoB,EAAE;IAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACnD,IAAI,OAAO,CAAA;IACX,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,OAAO,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAA;IAChB,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAA;QACpE,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAEjD,yBAAyB;QACzB,IAAI,eAAe,CAAC,OAAO,CAAC;YAAE,SAAQ;QAEtC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,MAAM,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;QACvC,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC;AAUD,KAAK,UAAU,kBAAkB,CAC/B,IAAY,EACZ,OAAoB,EACpB,OAAoB,EACpB,cAA2B,EAC3B,iBAA2B;IAE3B,MAAM,OAAO,GAAgB,EAAE,CAAA;IAE/B,UAAU;IACV,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;QAC9B,eAAe,CAAC,OAAO,CAAC,CAAA;QAExB,kBAAkB;QAClB,IAAI,iBAAiB,CAAC,OAAO,EAAE,iBAAiB,CAAC;YAAE,SAAQ;QAC3D,uBAAuB;QACvB,IAAI,eAAe,CAAC,OAAO,CAAC;YAAE,SAAQ;QAEtC,eAAe;QACf,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;YACvD,SAAQ;QACV,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QACnC,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,CAAA;YAEtC,kBAAkB;YAClB,IAAI,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAA;gBACxC,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;gBACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;gBAC9B,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,GAAG,GAAG,CAAC,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;oBAC1E,MAAM,IAAI,KAAK,CAAC,6BAA6B,OAAO,MAAM,QAAQ,EAAE,CAAC,CAAA;gBACvE,CAAC;YACH,CAAC;YAED,IAAI,SAAS,CAAC,MAAM,EAAE,IAAI,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC;gBACrD,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAA;gBACvC,+BAA+B;gBAC/B,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,GAAG,KAAK,CAAA;gBACnC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;YACD,aAAa;QACf,CAAC;QAAC,OAAO,GAAY,EAAE,CAAC;YACtB,IAAI,GAAG,YAAY,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACtE,MAAM,GAAG,CAAA;YACX,CAAC;YACD,wBAAwB;YACxB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;QACzD,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;QACrC,eAAe,CAAC,OAAO,CAAC,CAAA;QAExB,aAAa;QACb,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QAClC,oBAAoB;QACpB,IAAI,eAAe,CAAC,OAAO,CAAC;YAAE,SAAQ;QACtC,kBAAkB;QAClB,IAAI,iBAAiB,CAAC,OAAO,EAAE,iBAAiB,CAAC;YAAE,SAAQ;QAE3D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QACnC,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,CAAA;YAEtC,IAAI,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAA;gBACxC,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;gBACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;gBAC9B,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,GAAG,GAAG,CAAC,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;oBAC1E,MAAM,IAAI,KAAK,CAAC,6BAA6B,OAAO,MAAM,QAAQ,EAAE,CAAC,CAAA;gBACvE,CAAC;YACH,CAAC;YAED,IAAI,SAAS,CAAC,MAAM,EAAE,IAAI,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC;gBACrD,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAA;gBACvC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,GAAG,KAAK,CAAA;gBACnC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;QACH,CAAC;QAAC,OAAO,GAAY,EAAE,CAAC;YACtB,IAAI,GAAG,YAAY,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACtE,MAAM,GAAG,CAAA;YACX,CAAC;YACD,YAAY;QACd,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,cAAc;AAEd;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,IAAY,EACZ,OAAsB;IAEtB,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAE9B,iBAAiB;IACjB,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAA;IACzC,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAA;IAEzC,oDAAoD;IACpD,kDAAkD;IAClD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAA;IACxC,MAAM,gBAAgB,GAAG,CAAC,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAA;IAC7F,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAA;IACjG,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAChF,CAAA;IAED,YAAY;IACZ,MAAM,OAAO,GAAG,MAAM,kBAAkB,CACtC,QAAQ,EACR,eAAe,EACf,OAAO,EACP,cAAc,EACd,OAAO,CAAC,yBAAyB,CAClC,CAAA;IAED,mBAAmB;IACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QACzC,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;IAEF,qBAAqB;IACrB,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAA;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,OAAO;QACP,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACvB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACjB,iBAAiB;QACjB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;QACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACjB,gBAAgB;QAChB,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;QAC5B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QAC5B,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACnB,CAAC;IAED,OAAO;QACL,SAAS,EAAE,mBAAmB;QAC9B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;KAC1B,CAAA;AACH,CAAC"}

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

@@ -1,38 +0,0 @@
-import type { TddPolicy, TddEvidence, AcceptanceCriterion } from "../types.js";
-/**
- * evaluateTddCompliance 的结果类型。
- *
- * - status = pass    → 合规（advisory 下缺口记 warning）
- * - status = fail    → 不合规，阻断
- * - status = waived  → 豁免（bypass 模式下替代验证全部通过）
- */
-export interface EvaluationResult {
-    status: "pass" | "fail" | "waived";
-    warnings: string[];
-}
-/**
- * 判定 TDD 模式是否合规的纯函数。
- *
- * 规则（参见 Spec Section 4.3）：
- *
- * **strict**：
- * - 必须至少有一个 verification=tDD 的 criterion
- * - 每个 TDD criterion 都必须有 status=pass 的 cycle 覆盖
- * - verification=regression 的 criterion 由 final regression 覆盖
- * - verification=manual 不允许在 strict 模式下使用
- * - final regression 和 final verification 必须 pass
- *
- * **relaxed**：
- * - 仅要求 final regression 为 pass，不检查 cycle
- * - final verification 必须 pass
- *
- * **bypass**：
- * - 必须有 exception 且其 alternativeValidation 全部完成（evidence 中对应 status=pass）
- * - final verification 仍必须 pass
- * - 不要求 runner / cycle / regression
- *
- * **enforcement**：
- * - advisory：缺失 evidence 仅产生 warning，不阻断（仍返回 pass/waived）
- * - runtime：缺失 evidence 直接阻断（返回 fail）
- */
-export declare function evaluateTddCompliance(policy: TddPolicy, evidence: TddEvidence, criteria: AcceptanceCriterion[]): EvaluationResult;

package/dist/kernel/tdd/evaluator.js

@@ -1,185 +0,0 @@
-/**
- * 判定 TDD 模式是否合规的纯函数。
- *
- * 规则（参见 Spec Section 4.3）：
- *
- * **strict**：
- * - 必须至少有一个 verification=tDD 的 criterion
- * - 每个 TDD criterion 都必须有 status=pass 的 cycle 覆盖
- * - verification=regression 的 criterion 由 final regression 覆盖
- * - verification=manual 不允许在 strict 模式下使用
- * - final regression 和 final verification 必须 pass
- *
- * **relaxed**：
- * - 仅要求 final regression 为 pass，不检查 cycle
- * - final verification 必须 pass
- *
- * **bypass**：
- * - 必须有 exception 且其 alternativeValidation 全部完成（evidence 中对应 status=pass）
- * - final verification 仍必须 pass
- * - 不要求 runner / cycle / regression
- *
- * **enforcement**：
- * - advisory：缺失 evidence 仅产生 warning，不阻断（仍返回 pass/waived）
- * - runtime：缺失 evidence 直接阻断（返回 fail）
- */
-export function evaluateTddCompliance(policy, evidence, criteria) {
-    const warnings = [];
-    const isAdvisory = policy.enforcement === "advisory";
-    // ── 通用检查：final verification ──
-    const verificationOk = evidence.verification.status === "pass";
-    if (!verificationOk) {
-        if (isAdvisory) {
-            warnings.push("final verification 未通过（advisory 模式：仅记录 warning）");
-        }
-        else {
-            warnings.push("final verification 未通过");
-            return { status: "fail", warnings };
-        }
-    }
-    // ── bypass 模式 ──
-    if (policy.mode === "bypass") {
-        return evaluateBypass(policy, evidence, isAdvisory, warnings, verificationOk);
-    }
-    // ── strict 模式 ──
-    if (policy.mode === "strict") {
-        return evaluateStrict(policy, evidence, criteria, isAdvisory, warnings, verificationOk);
-    }
-    // ── relaxed 模式 ──
-    return evaluateRelaxed(evidence, isAdvisory, warnings, verificationOk);
-}
-// ── 私有辅助函数 ──
-function evaluateBypass(policy, evidence, isAdvisory, warnings, verificationOk) {
-    // bypass 必须有 exception
-    if (!policy.exception) {
-        if (isAdvisory) {
-            warnings.push("bypass 模式缺少 exception（advisory 模式：仅记录 warning）");
-            return { status: "waived", warnings };
-        }
-        warnings.push("bypass 模式缺少 exception");
-        return { status: "fail", warnings };
-    }
-    // verification 失败时已在主函数中返回 fail，此处 verificationOk 保证为 true（或 advisory 已记 warning）
-    if (!verificationOk) {
-        // advisory 下 verification 失败已记 warning，继续检查替代验证
-        // 统一返回 waived（advisory 不阻断）
-        if (isAdvisory) {
-            checkAltValidations(policy, evidence, isAdvisory, warnings);
-            return { status: "waived", warnings };
-        }
-        return { status: "fail", warnings };
-    }
-    // 检查替代验证
-    const altOk = checkAltValidations(policy, evidence, isAdvisory, warnings);
-    if (isAdvisory) {
-        return { status: "waived", warnings };
-    }
-    if (!altOk) {
-        return { status: "fail", warnings };
-    }
-    return { status: "waived", warnings: warnings.filter(w => w.length > 0) };
-}
-function evaluateStrict(_policy, evidence, criteria, isAdvisory, warnings, verificationOk) {
-    // verification 已前置检查，runtime 下失败则已在主函数返回 fail
-    if (!verificationOk && !isAdvisory) {
-        return { status: "fail", warnings };
-    }
-    const tddCriteria = criteria.filter(c => c.verification === "tdd");
-    const regressionCriteria = criteria.filter(c => c.verification === "regression");
-    const manualCriteria = criteria.filter(c => c.verification === "manual");
-    let hasFailure = false;
-    // strict 必须至少有一个 TDD criterion
-    if (tddCriteria.length === 0) {
-        if (isAdvisory) {
-            warnings.push("strict 模式要求至少一个 verification=tdd 的 criterion（advisory 模式：仅记录 warning）");
-        }
-        else {
-            warnings.push("strict 模式要求至少一个 verification=tdd 的 criterion");
-            hasFailure = true;
-        }
-    }
-    // manual criterion 不允许在 strict 模式
-    if (manualCriteria.length > 0) {
-        if (isAdvisory) {
-            warnings.push(`strict 模式不允许 verification=manual 的 criterion: ${manualCriteria.map(c => c.id).join(", ")}（advisory 模式：仅记录 warning）`);
-        }
-        else {
-            warnings.push(`strict 模式不允许 verification=manual 的 criterion: ${manualCriteria.map(c => c.id).join(", ")}`);
-            hasFailure = true;
-        }
-    }
-    // 每个 TDD criterion 都需要有 pass cycle 覆盖
-    for (const c of tddCriteria) {
-        const matchingCycles = evidence.cycles.filter(cycle => cycle.criterionId === c.id);
-        const hasPassCycle = matchingCycles.some(cycle => cycle.status === "pass");
-        if (!hasPassCycle) {
-            if (isAdvisory) {
-                warnings.push(`TDD criterion "${c.id}" 缺少有效 cycle（advisory 模式：仅记录 warning）`);
-            }
-            else {
-                warnings.push(`TDD criterion "${c.id}" 缺少有效 cycle`);
-                hasFailure = true;
-            }
-        }
-    }
-    // regression criterion 由 final regression 覆盖
-    if (regressionCriteria.length > 0) {
-        const regressionOk = evidence.regression.status === "pass";
-        if (!regressionOk) {
-            if (isAdvisory) {
-                warnings.push("final regression 未通过，无法覆盖 regression criterion（advisory 模式：仅记录 warning）");
-            }
-            else {
-                warnings.push("final regression 未通过，无法覆盖 regression criterion");
-                hasFailure = true;
-            }
-        }
-    }
-    if (isAdvisory) {
-        return { status: "pass", warnings };
-    }
-    if (hasFailure) {
-        return { status: "fail", warnings };
-    }
-    return { status: "pass", warnings };
-}
-function evaluateRelaxed(evidence, isAdvisory, warnings, verificationOk) {
-    if (!verificationOk && !isAdvisory) {
-        return { status: "fail", warnings };
-    }
-    const regressionOk = evidence.regression.status === "pass";
-    if (!regressionOk) {
-        if (isAdvisory) {
-            warnings.push("relaxed 模式要求 final regression 通过（advisory 模式：仅记录 warning）");
-            return { status: "pass", warnings };
-        }
-        warnings.push("relaxed 模式要求 final regression 通过");
-        return { status: "fail", warnings };
-    }
-    return { status: "pass", warnings };
-}
-/**
- * 检查 bypass 模式下所有 alternative validation 是否完成。
- * 返回 true 表示全部通过，false 表示有缺失或失败。
- */
-function checkAltValidations(policy, evidence, isAdvisory, warnings) {
-    if (!policy.exception) {
-        return false;
-    }
-    let allOk = true;
-    for (const av of policy.exception.alternativeValidation) {
-        const matchingEvidence = evidence.alternativeValidation.filter(ev => ev.validationId === av.validationId);
-        const hasPass = matchingEvidence.some(ev => ev.status === "pass");
-        if (!hasPass) {
-            if (isAdvisory) {
-                warnings.push(`替代验证 "${av.validationId}" 未完成（advisory 模式：仅记录 warning）`);
-            }
-            else {
-                warnings.push(`替代验证 "${av.validationId}" 未完成`);
-                allOk = false;
-            }
-        }
-    }
-    return allOk;
-}
-//# sourceMappingURL=evaluator.js.map

package/dist/kernel/tdd/evaluator.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"evaluator.js","sourceRoot":"","sources":["../../../src/kernel/tdd/evaluator.ts"],"names":[],"mappings":"AAkBA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAiB,EACjB,QAAqB,EACrB,QAA+B;IAE/B,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,KAAK,UAAU,CAAA;IAEpD,gCAAgC;IAEhC,MAAM,cAAc,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,MAAM,CAAA;IAC9D,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAA;QAClE,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;YACvC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;QACrC,CAAC;IACH,CAAC;IAED,kBAAkB;IAElB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAA;IAC/E,CAAC;IAED,kBAAkB;IAElB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAA;IACzF,CAAC;IAED,mBAAmB;IAEnB,OAAO,eAAe,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAA;AACxE,CAAC;AAED,eAAe;AAEf,SAAS,cAAc,CACrB,MAAiB,EACjB,QAAqB,EACrB,UAAmB,EACnB,QAAkB,EAClB,cAAuB;IAEvB,uBAAuB;IACvB,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QACtB,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAA;YAC/D,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;QACvC,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;QACtC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,kFAAkF;IAClF,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,gDAAgD;QAChD,4BAA4B;QAC5B,IAAI,UAAU,EAAE,CAAC;YACf,mBAAmB,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;YAC3D,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;QACvC,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,SAAS;IACT,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;IAEzE,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAA;AAC3E,CAAC;AAED,SAAS,cAAc,CACrB,OAAkB,EAClB,QAAqB,EACrB,QAA+B,EAC/B,UAAmB,EACnB,QAAkB,EAClB,cAAuB;IAEvB,8CAA8C;IAC9C,IAAI,CAAC,cAAc,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC,CAAA;IAClE,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,CAAC,CAAA;IAChF,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAA;IAExE,IAAI,UAAU,GAAG,KAAK,CAAA;IAEtB,+BAA+B;IAC/B,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAA;QACxF,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAA;YAC7D,UAAU,GAAG,IAAI,CAAA;QACnB,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,iDAAiD,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAA;QACrI,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,iDAAiD,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAC1G,UAAU,GAAG,IAAI,CAAA;QACnB,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,CAAC,EAAE,CAAC,CAAA;QAClF,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAA;QAE1E,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,IAAI,UAAU,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,uCAAuC,CAAC,CAAA;YAC9E,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;gBACnD,UAAU,GAAG,IAAI,CAAA;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAA;QAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,IAAI,UAAU,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAA;YAC1F,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAA;gBAC/D,UAAU,GAAG,IAAI,CAAA;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;AACrC,CAAC;AAED,SAAS,eAAe,CACtB,QAAqB,EACrB,UAAmB,EACnB,QAAkB,EAClB,cAAuB;IAEvB,IAAI,CAAC,cAAc,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAA;IAE1D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAA;YAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;QACrC,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAA;QACjD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACrC,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;AACrC,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAC1B,MAAiB,EACjB,QAAqB,EACrB,UAAmB,EACnB,QAAkB;IAElB,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QACtB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,KAAK,GAAG,IAAI,CAAA;IAEhB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS,CAAC,qBAAqB,EAAE,CAAC;QACxD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,KAAK,EAAE,CAAC,YAAY,CAAC,CAAA;QACzG,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,CAAA;QAEjE,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,IAAI,UAAU,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,YAAY,gCAAgC,CAAC,CAAA;YACzE,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,YAAY,OAAO,CAAC,CAAA;gBAC9C,KAAK,GAAG,KAAK,CAAA;YACf,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC"}

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

@@ -1,42 +0,0 @@
-import { type DigestOptions } from "./digest.js";
-import type { TddFailureKind, VersionedDigest } from "../types.js";
-/** worktree-start 时记录的干净基线快照 */
-export interface WorkspaceBaseline {
-    digest: VersionedDigest;
-    capturedAt: string;
-    testFilePatterns: string[];
-    implementationFilePatterns: string[];
-}
-/**
- * 计算 worktree 的干净基线 digest 快照。
- * 供 task_control start-task 在 worktree-start 时调用，作为 RED 阶段
- * "实现文件相对基线未变" 与 GREEN "输入未偷换" 校验的基准。
- */
-export declare function captureWorkspaceBaseline(worktreeDir: string, options: DigestOptions): Promise<WorkspaceBaseline>;
-/** 组装 evidence block 的输入（criterion/cycle/命令/exit code/failure kind/digest/状态） */
-export interface EvidenceBlockInput {
-    stage: string;
-    criterionId?: string;
-    cycleId?: string;
-    command: string;
-    testSelector: string | null;
-    exitCode: number | null;
-    failureKind: TddFailureKind | null;
-    status: string;
-    workspaceDigest: VersionedDigest | null;
-    summary: string;
-}
-/**
- * 将结构化证据组装为可追加到 Task Record 受控 comment 的 markdown block。
- * 纯函数：内容含 criterion、cycle、命令、exit code、failure kind、digest、状态、summary。
- */
-export declare function buildEvidenceBlock(input: EvidenceBlockInput): string;
-/**
- * 组装 evidence block 并追加到 Task Record 的单个受控 comment。
- * 委托 records.appendTddEvidence 完成写入（含 mutex 串行与 revision 管理）。
- */
-export declare function recordTddEvidence(issueNumber: number, input: EvidenceBlockInput): Promise<{
-    ok: boolean;
-    revision: number;
-    error?: string;
-}>;

package/dist/kernel/tdd/evidence.js

@@ -1,48 +0,0 @@
-import { appendTddEvidence } from "../records.js";
-import { computeWorkspaceDigest } from "./digest.js";
-/**
- * 计算 worktree 的干净基线 digest 快照。
- * 供 task_control start-task 在 worktree-start 时调用，作为 RED 阶段
- * "实现文件相对基线未变" 与 GREEN "输入未偷换" 校验的基准。
- */
-export async function captureWorkspaceBaseline(worktreeDir, options) {
-    const digest = await computeWorkspaceDigest(worktreeDir, options);
-    return {
-        digest,
-        capturedAt: new Date().toISOString(),
-        testFilePatterns: options.testFilePatterns,
-        implementationFilePatterns: options.implementationFilePatterns,
-    };
-}
-/**
- * 将结构化证据组装为可追加到 Task Record 受控 comment 的 markdown block。
- * 纯函数：内容含 criterion、cycle、命令、exit code、failure kind、digest、状态、summary。
- */
-export function buildEvidenceBlock(input) {
-    const lines = [`### stage: ${input.stage}`];
-    if (input.criterionId)
-        lines.push(`- criterion: ${input.criterionId}`);
-    if (input.cycleId)
-        lines.push(`- cycle: ${input.cycleId}`);
-    lines.push(`- command: \`${input.command}\``);
-    if (input.testSelector)
-        lines.push(`- selector: \`${input.testSelector}\``);
-    lines.push(`- exitCode: ${input.exitCode ?? "null"}`);
-    lines.push(`- failureKind: ${input.failureKind ?? "null"}`);
-    lines.push(`- status: ${input.status}`);
-    if (input.workspaceDigest) {
-        lines.push(`- workspaceDigest: ${input.workspaceDigest.algorithm}:${input.workspaceDigest.value}`);
-    }
-    lines.push(`- summary: ${input.summary}`);
-    return lines.join("\n");
-}
-// ─── evidence 追加（复用 records.appendTddEvidence） ───
-/**
- * 组装 evidence block 并追加到 Task Record 的单个受控 comment。
- * 委托 records.appendTddEvidence 完成写入（含 mutex 串行与 revision 管理）。
- */
-export async function recordTddEvidence(issueNumber, input) {
-    const block = buildEvidenceBlock(input);
-    return appendTddEvidence(issueNumber, block);
-}
-//# sourceMappingURL=evidence.js.map

package/dist/kernel/tdd/evidence.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../src/kernel/tdd/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAE,sBAAsB,EAAsB,MAAM,aAAa,CAAA;AAaxE;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,WAAmB,EACnB,OAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAA;IACjE,OAAO;QACL,MAAM;QACN,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,0BAA0B,EAAE,OAAO,CAAC,0BAA0B;KAC/D,CAAA;AACH,CAAC;AAkBD;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAyB;IAC1D,MAAM,KAAK,GAAG,CAAC,cAAc,KAAK,CAAC,KAAK,EAAE,CAAC,CAAA;IAC3C,IAAI,KAAK,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,WAAW,EAAE,CAAC,CAAA;IACtE,IAAI,KAAK,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;IAC1D,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,OAAO,IAAI,CAAC,CAAA;IAC7C,IAAI,KAAK,CAAC,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,YAAY,IAAI,CAAC,CAAA;IAC3E,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC,CAAA;IACrD,KAAK,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,WAAW,IAAI,MAAM,EAAE,CAAC,CAAA;IAC3D,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IACvC,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,sBAAsB,KAAK,CAAC,eAAe,CAAC,SAAS,IAAI,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAA;IACpG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;IACzC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAED,oDAAoD;AAEpD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,WAAmB,EACnB,KAAyB;IAEzB,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAA;IACvC,OAAO,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;AAC9C,CAAC"}