patchwarden 0.6.4 → 1.1.0

package/dist/goal/acceptanceEngine.js

@@ -0,0 +1,103 @@
+/**
+ * v0.7.2: 验收引擎 — 基于证据推导 4 级验收结论。
+ *
+ * 输入：status.json、task_meta（goal/scope/forbidden/verification/done_evidence）、
+ *       audit checks（pass/warn/fail）、release claims、artifact 信息
+ * 输出：ACCEPTED / NEEDS_FIX / REJECTED / BLOCKED_BY_APPROVAL
+ *       + reasons + required_evidence + next_suggested_task
+ *
+ * 决策规则：
+ *   1. 存在 fail 级检查项 → REJECTED
+ *   2. 存在 release claims 但无法验证远端 → BLOCKED_BY_APPROVAL
+ *   3. 存在 warn 级检查项或文档不同步 → NEEDS_FIX
+ *   4. 所有检查通过 → ACCEPTED
+ */
+// ── 验收决策 ──────────────────────────────────────────────────────
+/**
+ * 核心验收决策函数。
+ * 输入所有证据，输出 4 级验收结论。
+ */
+export function evaluateAcceptance(evidence) {
+    const reasons = [];
+    const requiredEvidence = [];
+    const failChecks = [];
+    const warnChecks = [];
+    // 收集 fail 和 warn 检查项
+    for (const check of evidence.checks) {
+        if (check.result === "fail") {
+            failChecks.push(check);
+        }
+        else if (check.result === "warn") {
+            warnChecks.push(check);
+        }
+    }
+    // ── Rule 1: fail 级检查项 → REJECTED ──────────────────────
+    if (failChecks.length > 0) {
+        for (const check of failChecks) {
+            reasons.push(`[FAIL] ${check.name}: ${check.detail}`);
+        }
+        return {
+            verdict: "REJECTED",
+            acceptance_status: "rejected",
+            reason: `${failChecks.length} fail-level check(s): ${failChecks.map((c) => c.name).join(", ")}`,
+            reasons,
+            required_evidence: requiredEvidence.length > 0 ? requiredEvidence : ["Fix all fail-level issues and re-run audit_task"],
+            next_suggested_task: `Fix fail-level issues: ${failChecks.map((c) => c.name).join(", ")}`,
+            fail_checks: failChecks,
+            warn_checks: warnChecks,
+        };
+    }
+    // ── Rule 2: release claims 无法验证 → BLOCKED_BY_APPROVAL ──
+    if (evidence.release_claims_unverified) {
+        reasons.push("[BLOCKED] Release claims detected but remote state cannot be verified");
+        requiredEvidence.push("Verify remote release state (npm publish, GitHub release, git tag)");
+        return {
+            verdict: "BLOCKED_BY_APPROVAL",
+            acceptance_status: "blocked",
+            reason: "Release claims require manual verification of remote state",
+            reasons,
+            required_evidence: requiredEvidence,
+            next_suggested_task: "Manually verify remote release state, then re-run audit_task",
+            fail_checks: failChecks,
+            warn_checks: warnChecks,
+        };
+    }
+    // ── Rule 3: warn 级检查项 → NEEDS_FIX ──────────────────────
+    if (warnChecks.length > 0) {
+        for (const check of warnChecks) {
+            reasons.push(`[WARN] ${check.name}: ${check.detail}`);
+        }
+        return {
+            verdict: "NEEDS_FIX",
+            acceptance_status: "needs_fix",
+            reason: `${warnChecks.length} warn-level check(s) require fixes: ${warnChecks.map((c) => c.name).join(", ")}`,
+            reasons,
+            required_evidence: requiredEvidence.length > 0 ? requiredEvidence : ["Resolve all warn-level issues"],
+            next_suggested_task: `Fix warn-level issues: ${warnChecks.map((c) => c.name).join(", ")}`,
+            fail_checks: failChecks,
+            warn_checks: warnChecks,
+        };
+    }
+    // ── Rule 4: 所有检查通过 → ACCEPTED ───────────────────────
+    return {
+        verdict: "ACCEPTED",
+        acceptance_status: "accepted",
+        reason: "All acceptance checks passed",
+        reasons: ["All checks passed, no warnings or failures"],
+        required_evidence: [],
+        next_suggested_task: "Task accepted. Proceed to next goal or task.",
+        fail_checks: failChecks,
+        warn_checks: warnChecks,
+    };
+}
+/**
+ * 将 AcceptanceVerdict 映射到 AcceptanceStatus（用于回写 status.json）。
+ */
+export function verdictToStatus(verdict) {
+    switch (verdict) {
+        case "ACCEPTED": return "accepted";
+        case "REJECTED": return "rejected";
+        case "NEEDS_FIX": return "needs_fix";
+        case "BLOCKED_BY_APPROVAL": return "blocked";
+    }
+}

package/dist/goal/acceptanceTemplate.d.ts

@@ -0,0 +1,10 @@
+/**
+ * v0.7.2: ACCEPTANCE.md 模板生成 — 人类可读的验收报告导出。
+ *
+ * 将 AcceptanceResult 渲染为 Markdown，落盘到 .patchwarden/tasks/{task_id}/ACCEPTANCE.md。
+ */
+import type { AcceptanceResult, AcceptanceEvidence } from "./acceptanceEngine.js";
+/**
+ * 生成 ACCEPTANCE.md 内容。
+ */
+export declare function renderAcceptanceMarkdown(taskId: string, result: AcceptanceResult, evidence: AcceptanceEvidence): string;

package/dist/goal/acceptanceTemplate.js

@@ -0,0 +1,104 @@
+/**
+ * v0.7.2: ACCEPTANCE.md 模板生成 — 人类可读的验收报告导出。
+ *
+ * 将 AcceptanceResult 渲染为 Markdown，落盘到 .patchwarden/tasks/{task_id}/ACCEPTANCE.md。
+ */
+import { PATCHWARDEN_VERSION } from "../version.js";
+/**
+ * 生成 ACCEPTANCE.md 内容。
+ */
+export function renderAcceptanceMarkdown(taskId, result, evidence) {
+    const lines = [];
+    const now = new Date().toISOString();
+    lines.push("# Acceptance Report — " + taskId);
+    lines.push("");
+    lines.push("Generated: " + now);
+    lines.push("");
+    // ── Verdict ──────────────────────────────────────────────
+    lines.push("## Verdict");
+    lines.push("");
+    lines.push("| Field | Value |");
+    lines.push("| --- | --- |");
+    lines.push("| Verdict | **" + result.verdict + "** |");
+    lines.push("| Acceptance Status | " + (result.acceptance_status ?? "null") + " |");
+    lines.push("| Reason | " + result.reason + " |");
+    lines.push("| Next Suggested Task | " + result.next_suggested_task + " |");
+    lines.push("");
+    // ── Evidence Summary ────────────────────────────────────
+    lines.push("## Evidence Summary");
+    lines.push("");
+    lines.push("| Evidence | Present |");
+    lines.push("| --- | --- |");
+    lines.push("| result.md | " + (evidence.result_md_exists ? "YES" : "NO") + " |");
+    lines.push("| result.json | " + (evidence.result_json_exists ? "YES" : "NO") + " |");
+    lines.push("| verify.json | " + (evidence.verify_json_exists ? "YES" : "NO") + " |");
+    lines.push("| test.log | " + (evidence.test_log_exists ? "YES" : "NO") + " |");
+    lines.push("| git.diff | " + (evidence.git_diff_exists ? "YES" : "NO") + " |");
+    lines.push("| verify_status | " + (evidence.verify_status ?? "N/A") + " |");
+    lines.push("| artifact_status | " + (evidence.artifact_status ?? "N/A") + " |");
+    lines.push("| out_of_scope_changes | " + evidence.new_out_of_scope_changes.length + " |");
+    lines.push("| release_claims_unverified | " + (evidence.release_claims_unverified ? "YES" : "NO") + " |");
+    lines.push("");
+    // ── Task Metadata ────────────────────────────────────────
+    if (evidence.goal || evidence.scope || evidence.forbidden || evidence.verification || evidence.done_evidence) {
+        lines.push("## Task Acceptance Criteria");
+        lines.push("");
+        if (evidence.goal) {
+            lines.push("- **Goal**: " + evidence.goal);
+        }
+        if (evidence.scope && evidence.scope.length > 0) {
+            lines.push("- **Scope**: " + evidence.scope.join(", "));
+        }
+        if (evidence.forbidden && evidence.forbidden.length > 0) {
+            lines.push("- **Forbidden**: " + evidence.forbidden.join(", "));
+        }
+        if (evidence.verification && evidence.verification.length > 0) {
+            lines.push("- **Verification**: " + evidence.verification.join(", "));
+        }
+        if (evidence.done_evidence && evidence.done_evidence.length > 0) {
+            lines.push("- **Done Evidence**: " + evidence.done_evidence.join(", "));
+        }
+        lines.push("");
+    }
+    // ── Fail Checks ─────────────────────────────────────────
+    if (result.fail_checks.length > 0) {
+        lines.push("## Fail-Level Checks");
+        lines.push("");
+        for (const check of result.fail_checks) {
+            lines.push("- **" + check.name + "**: " + check.detail);
+        }
+        lines.push("");
+    }
+    // ── Warn Checks ─────────────────────────────────────────
+    if (result.warn_checks.length > 0) {
+        lines.push("## Warn-Level Checks");
+        lines.push("");
+        for (const check of result.warn_checks) {
+            lines.push("- **" + check.name + "**: " + check.detail);
+        }
+        lines.push("");
+    }
+    // ── Reasons ─────────────────────────────────────────────
+    if (result.reasons.length > 0) {
+        lines.push("## Reasons");
+        lines.push("");
+        for (const reason of result.reasons) {
+            lines.push("- " + reason);
+        }
+        lines.push("");
+    }
+    // ── Required Evidence ────────────────────────────────────
+    if (result.required_evidence.length > 0) {
+        lines.push("## Required Evidence");
+        lines.push("");
+        for (const reqEvidence of result.required_evidence) {
+            lines.push("- " + reqEvidence);
+        }
+        lines.push("");
+    }
+    lines.push("---");
+    lines.push("");
+    lines.push("This report was generated by PatchWarden v" + PATCHWARDEN_VERSION + " acceptanceEngine.");
+    lines.push("");
+    return lines.join("\n");
+}

package/dist/goal/goalGraph.d.ts

@@ -0,0 +1,58 @@
+/**
+ * v0.8.0: Goal Session 依赖图 — 就绪/阻塞判定、下一子目标建议、环检测、拓扑排序。
+ *
+ * 所有函数均为纯函数，不修改传入的 goalStatus 对象。
+ * 依赖语义：subgoal.depends_on 引用其他 subgoal 的 id，被引用者 status 必须为
+ * "accepted" 才算依赖满足。引用不存在的 id 视为数据不一致，按阻塞处理。
+ */
+import type { GoalStatus, Subgoal } from "./goalStatus.js";
+/**
+ * 返回所有 status 为 "ready" 且依赖全部满足的子目标。
+ * 依赖满足 = depends_on 中所有 id 都存在且对应 subgoal status 为 "accepted"。
+ * depends_on 为空数组视为依赖满足。
+ * depends_on 引用不存在的 subgoal 时，该子目标不算 ready（跳过）。
+ */
+export declare function getReadySubgoals(goalStatus: GoalStatus): Subgoal[];
+/**
+ * 返回所有 status 为 "ready" 但依赖未全部满足的子目标，附带阻塞它的依赖 id 列表。
+ * blocked_by 包含 depends_on 中 status 不为 "accepted" 的 subgoal_id，
+ * 以及引用不存在的 id。
+ */
+export declare function getBlockedSubgoals(goalStatus: GoalStatus): Array<{
+    subgoal: Subgoal;
+    blocked_by: string[];
+}>;
+/**
+ * 建议下一个可执行的子目标。
+ *
+ * 优先级：
+ *   1. 有 ready 子目标 → 返回第一个（按 subgoal 添加顺序）的 { subgoal_id, title, depends_on }
+ *   2. 无 ready 但有 blocked → 返回 { subgoal_id: null, reason: "dependencies_not_met", blocked_by: [...] }
+ *   3. 无 ready 无 blocked → 返回 { subgoal_id: null, reason: "no_ready_subgoal" }
+ */
+export declare function suggestNextSubgoal(goalStatus: GoalStatus): {
+    subgoal_id: string | null;
+    title?: string;
+    depends_on?: string[];
+    reason?: string;
+    blocked_by?: string[];
+};
+/**
+ * 检测 subgoal 依赖图是否有环（DFS 三色标记法）。
+ *
+ * 沿 depends_on 深度优先遍历，遇到当前路径上正在访问的节点即为环。
+ * depends_on 引用不存在的 subgoal 不算环（忽略）。
+ *
+ * @returns 有环时返回环上的 subgoal_id 数组（任一环即可）；无环返回 null。
+ */
+export declare function detectCycle(goalStatus: GoalStatus): string[] | null;
+/**
+ * 对 subgoal 做拓扑排序（依赖在前）。
+ *
+ * 如果 B depends_on A，则 A 排在 B 之前。
+ * depends_on 引用不存在的 id 会被忽略（不影响排序）。
+ *
+ * @throws {PatchWardenError} reason="dependency_cycle" 当依赖图存在环时。
+ * @returns subgoal_id 数组，依赖项在前。
+ */
+export declare function topologicalSort(goalStatus: GoalStatus): string[];

package/dist/goal/goalGraph.js

@@ -0,0 +1,189 @@
+/**
+ * v0.8.0: Goal Session 依赖图 — 就绪/阻塞判定、下一子目标建议、环检测、拓扑排序。
+ *
+ * 所有函数均为纯函数，不修改传入的 goalStatus 对象。
+ * 依赖语义：subgoal.depends_on 引用其他 subgoal 的 id，被引用者 status 必须为
+ * "accepted" 才算依赖满足。引用不存在的 id 视为数据不一致，按阻塞处理。
+ */
+import { PatchWardenError } from "../errors.js";
+// ── 内部工具 ──────────────────────────────────────────────────────
+/**
+ * 构建 subgoal_id → Subgoal 的查找表。
+ */
+function buildSubgoalMap(goalStatus) {
+    const map = new Map();
+    for (const s of goalStatus.subgoals) {
+        map.set(s.id, s);
+    }
+    return map;
+}
+/**
+ * 判断单个 subgoal 的依赖是否全部满足（所有 depends_on 引用存在且 status 为 accepted）。
+ * depends_on 为空视为依赖满足。引用不存在的 id 视为未满足。
+ */
+function areDependenciesMet(subgoal, subgoalMap) {
+    for (const depId of subgoal.depends_on) {
+        const dep = subgoalMap.get(depId);
+        if (!dep)
+            return false;
+        if (dep.status !== "accepted")
+            return false;
+    }
+    return true;
+}
+// ── 公共 API ──────────────────────────────────────────────────────
+/**
+ * 返回所有 status 为 "ready" 且依赖全部满足的子目标。
+ * 依赖满足 = depends_on 中所有 id 都存在且对应 subgoal status 为 "accepted"。
+ * depends_on 为空数组视为依赖满足。
+ * depends_on 引用不存在的 subgoal 时，该子目标不算 ready（跳过）。
+ */
+export function getReadySubgoals(goalStatus) {
+    const subgoalMap = buildSubgoalMap(goalStatus);
+    return goalStatus.subgoals.filter((s) => s.status === "ready" && areDependenciesMet(s, subgoalMap));
+}
+/**
+ * 返回所有 status 为 "ready" 但依赖未全部满足的子目标，附带阻塞它的依赖 id 列表。
+ * blocked_by 包含 depends_on 中 status 不为 "accepted" 的 subgoal_id，
+ * 以及引用不存在的 id。
+ */
+export function getBlockedSubgoals(goalStatus) {
+    const subgoalMap = buildSubgoalMap(goalStatus);
+    const result = [];
+    for (const s of goalStatus.subgoals) {
+        if (s.status !== "ready")
+            continue;
+        const blockedBy = [];
+        for (const depId of s.depends_on) {
+            const dep = subgoalMap.get(depId);
+            if (!dep) {
+                blockedBy.push(depId);
+            }
+            else if (dep.status !== "accepted") {
+                blockedBy.push(depId);
+            }
+        }
+        if (blockedBy.length > 0) {
+            result.push({ subgoal: s, blocked_by: blockedBy });
+        }
+    }
+    return result;
+}
+/**
+ * 建议下一个可执行的子目标。
+ *
+ * 优先级：
+ *   1. 有 ready 子目标 → 返回第一个（按 subgoal 添加顺序）的 { subgoal_id, title, depends_on }
+ *   2. 无 ready 但有 blocked → 返回 { subgoal_id: null, reason: "dependencies_not_met", blocked_by: [...] }
+ *   3. 无 ready 无 blocked → 返回 { subgoal_id: null, reason: "no_ready_subgoal" }
+ */
+export function suggestNextSubgoal(goalStatus) {
+    const ready = getReadySubgoals(goalStatus);
+    if (ready.length > 0) {
+        const first = ready[0];
+        return {
+            subgoal_id: first.id,
+            title: first.title,
+            depends_on: [...first.depends_on],
+        };
+    }
+    const blocked = getBlockedSubgoals(goalStatus);
+    if (blocked.length > 0) {
+        return {
+            subgoal_id: null,
+            reason: "dependencies_not_met",
+            blocked_by: blocked.map((b) => b.subgoal.id),
+        };
+    }
+    return {
+        subgoal_id: null,
+        reason: "no_ready_subgoal",
+    };
+}
+/**
+ * 检测 subgoal 依赖图是否有环（DFS 三色标记法）。
+ *
+ * 沿 depends_on 深度优先遍历，遇到当前路径上正在访问的节点即为环。
+ * depends_on 引用不存在的 subgoal 不算环（忽略）。
+ *
+ * @returns 有环时返回环上的 subgoal_id 数组（任一环即可）；无环返回 null。
+ */
+export function detectCycle(goalStatus) {
+    const subgoalMap = buildSubgoalMap(goalStatus);
+    const WHITE = 0;
+    const GRAY = 1;
+    const BLACK = 2;
+    const color = new Map();
+    for (const s of goalStatus.subgoals) {
+        color.set(s.id, WHITE);
+    }
+    let cycle = null;
+    const dfs = (id, path) => {
+        color.set(id, GRAY);
+        path.push(id);
+        const node = subgoalMap.get(id);
+        if (node) {
+            for (const depId of node.depends_on) {
+                if (!subgoalMap.has(depId))
+                    continue; // 引用不存在，忽略
+                const depColor = color.get(depId);
+                if (depColor === GRAY) {
+                    // 发现环：截取从依赖节点到当前节点的路径
+                    const cycleStart = path.indexOf(depId);
+                    cycle = path.slice(cycleStart);
+                    return true;
+                }
+                if (depColor === WHITE) {
+                    if (dfs(depId, path))
+                        return true;
+                }
+            }
+        }
+        path.pop();
+        color.set(id, BLACK);
+        return false;
+    };
+    for (const s of goalStatus.subgoals) {
+        if (color.get(s.id) === WHITE) {
+            if (dfs(s.id, []))
+                return cycle;
+        }
+    }
+    return null;
+}
+/**
+ * 对 subgoal 做拓扑排序（依赖在前）。
+ *
+ * 如果 B depends_on A，则 A 排在 B 之前。
+ * depends_on 引用不存在的 id 会被忽略（不影响排序）。
+ *
+ * @throws {PatchWardenError} reason="dependency_cycle" 当依赖图存在环时。
+ * @returns subgoal_id 数组，依赖项在前。
+ */
+export function topologicalSort(goalStatus) {
+    const cycle = detectCycle(goalStatus);
+    if (cycle) {
+        throw new PatchWardenError("dependency_cycle", `Dependency cycle detected among subgoals: ${cycle.join(" -> ")}`, "Remove the circular dependency among subgoals before performing topological sort.", true, { cycle });
+    }
+    const subgoalMap = buildSubgoalMap(goalStatus);
+    const visited = new Set();
+    const result = [];
+    const visit = (id) => {
+        if (visited.has(id))
+            return;
+        visited.add(id);
+        const node = subgoalMap.get(id);
+        if (node) {
+            for (const depId of node.depends_on) {
+                if (subgoalMap.has(depId)) {
+                    visit(depId);
+                }
+            }
+        }
+        result.push(id);
+    };
+    for (const s of goalStatus.subgoals) {
+        visit(s.id);
+    }
+    return result;
+}

package/dist/goal/goalProgress.d.ts

@@ -0,0 +1,81 @@
+/**
+ * v0.8.0: Goal Session 子目标验收业务逻辑 — accept / reject / summarize。
+ *
+ * 三个公共函数：
+ *   - acceptSubgoal：校验所有关联 task 已 accepted 后，将 subgoal 置为 accepted
+ *   - rejectSubgoal：从任意非终态拒绝 subgoal，记录 rejected_reason
+ *   - summarizeGoalProgress：统计 goal 进度，返回 completion_rate / blocked / risks
+ *
+ * 任务 status.json 路径解析：
+ *   优先用 getConfig().tasksDir（绝对路径直接用，相对路径 join workspaceRoot）。
+ *   所有函数接受可选的 workspaceRoot 参数用于测试。
+ */
+export interface GoalProgressSummary {
+    goal_id: string;
+    title: string;
+    total: number;
+    accepted: number;
+    rejected: number;
+    running: number;
+    ready: number;
+    needs_fix: number;
+    done_by_agent: number;
+    completion_rate: string;
+    blocked_subgoals: Array<{
+        subgoal_id: string;
+        title: string;
+        blocked_by: string[];
+    }>;
+    risks: Array<{
+        subgoal_id: string;
+        title: string;
+        status: string;
+        reason: string;
+    }>;
+}
+/**
+ * 验收子目标：校验所有关联 task 已 accepted 后，将 subgoal 置为 accepted。
+ *
+ * 校验规则（理解 B — 更严格）：
+ *   1. task_ids 不能为空（无关联任务无法验收）
+ *   2. 所有 task_ids 对应的 task status 必须为 "accepted"
+ *   3. 通过 updateSubgoalStatus 状态机校验（要求 subgoal 当前为 done_by_agent）
+ *
+ * @param goalId        Goal 标识
+ * @param subgoalId     Subgoal 标识
+ * @param workspaceRoot 可选，用于测试
+ * @returns { subgoal_id, status, accepted_at }
+ * @throws {PatchWardenError} reason="goal_not_found" | "subgoal_not_found" | "subgoal_not_ready" | "invalid_status_transition"
+ */
+export declare function acceptSubgoal(goalId: string, subgoalId: string, workspaceRoot?: string): {
+    subgoal_id: string;
+    status: "accepted";
+    accepted_at: string;
+};
+/**
+ * 拒绝子目标：从任意非终态（ready/running/done_by_agent/needs_fix）拒绝 subgoal。
+ *
+ * 不使用 updateSubgoalStatus 的状态机校验（因为状态机只允许 done_by_agent → rejected），
+ * 直接手动设置 status 和 rejected_reason。
+ *
+ * @param goalId        Goal 标识
+ * @param subgoalId     Subgoal 标识
+ * @param reason        拒绝原因
+ * @param workspaceRoot 可选，用于测试
+ * @returns { subgoal_id, status, rejected_reason }
+ * @throws {PatchWardenError} reason="goal_not_found" | "subgoal_not_found" | "invalid_status_transition"
+ */
+export declare function rejectSubgoal(goalId: string, subgoalId: string, reason: string, workspaceRoot?: string): {
+    subgoal_id: string;
+    status: "rejected";
+    rejected_reason: string;
+};
+/**
+ * 汇总 Goal 进度：统计各状态数量、完成率、阻塞子目标、风险项。
+ *
+ * @param goalId        Goal 标识
+ * @param workspaceRoot 可选，用于测试
+ * @returns GoalProgressSummary
+ * @throws {PatchWardenError} reason="goal_not_found"
+ */
+export declare function summarizeGoalProgress(goalId: string, workspaceRoot?: string): GoalProgressSummary;