fix: review fires for all tasks — commit then review committed diff, merge on pass
Previous flow reviewed uncommitted changes, so when a task agent self-committed its work the review was silently skipped (no uncommitted changes → review loop body never entered). This caused reviews to fire inconsistently across tasks. New review-gated flow (when autoReview is on): 1. Execute task 2. Ensure committed — commit session fallback when the agent didn't self-commit (handles both self-commit and no-commit agents) 3. Review the COMPLETE task diff (baseRef..HEAD) captured before execution, so the reviewer sees all commits not just the latest 4. On fail → re-execute with feedback → commit → re-review (same baseRef, so reviewer sees complete state including fixes) 5. On pass → merge worktree (all changes already committed) Commit is now mandated when autoReview is on (autoCommit forced true, not asked at startup). autoCommit only asked when autoReview is off. Add captureGitHead + getCommitRangeDiff helpers to utils.ts. Switch review prompt from buildReviewPromptUncommitted to buildReviewPrompt (reviewing committed changes, not uncommitted).
This commit is contained in:
137
src/executor.ts
137
src/executor.ts
@@ -15,7 +15,7 @@ import type {
|
||||
} from "@earendil-works/pi-coding-agent";
|
||||
import {
|
||||
buildTaskPrompt,
|
||||
buildReviewPromptUncommitted,
|
||||
buildReviewPrompt,
|
||||
buildConflictResolutionPrompt,
|
||||
MAX_DIFF_BYTES,
|
||||
} from "./prompts";
|
||||
@@ -42,6 +42,8 @@ import {
|
||||
writeFileSafe,
|
||||
ensureDir,
|
||||
captureGitCommits,
|
||||
captureGitHead,
|
||||
getCommitRangeDiff,
|
||||
hasUncommittedChanges,
|
||||
getGitStatusPorcelain,
|
||||
getGitDiff,
|
||||
@@ -805,6 +807,12 @@ async function executeTask(
|
||||
task.dependencies || [],
|
||||
);
|
||||
|
||||
// Capture base HEAD before execution so the review-gated loop can diff
|
||||
// the complete task output (baseRef..HEAD) across execution + fix attempts.
|
||||
const baseRef = config.execution.autoReview
|
||||
? captureGitHead(worktreeDir)
|
||||
: undefined;
|
||||
|
||||
// Run the task
|
||||
const result = await runTask(
|
||||
task,
|
||||
@@ -826,26 +834,57 @@ async function executeTask(
|
||||
let reviewRetries = 0;
|
||||
|
||||
if (config.execution.autoReview) {
|
||||
// ── Review-gated loop: review FIRST, re-execute on reject, commit on pass ──
|
||||
// The review examines uncommitted changes. If the verdict is "fail",
|
||||
// the task is re-executed with the review feedback injected into the
|
||||
// prompt (up to maxReviewRetries). On pass (or after retries exhaust)
|
||||
// the commit session runs when autoCommit is also enabled — otherwise
|
||||
// the changes are left uncommitted for manual inspection.
|
||||
// ── Review-gated loop: commit → review → re-execute on fail → merge on pass ──
|
||||
// The commit is mandated — when the task agent didn't self-commit, a
|
||||
// commit session handles it. Then the COMPLETE task diff (baseRef..HEAD)
|
||||
// is reviewed. On 'fail' the task is re-executed with the review feedback
|
||||
// injected (up to maxReviewRetries); after re-execution changes are
|
||||
// committed again and the full diff is re-reviewed with the SAME baseRef
|
||||
// so the reviewer sees the complete state, not just incremental fixes.
|
||||
// On pass the changes are already committed — the worktree merges next.
|
||||
const maxRetries = config.execution.maxReviewRetries;
|
||||
let attempt = 0;
|
||||
|
||||
try {
|
||||
while (hasUncommittedChanges(worktreeDir)) {
|
||||
const status = getGitStatusPorcelain(worktreeDir);
|
||||
const reviewDiff = getGitDiff(worktreeDir);
|
||||
if (!reviewDiff && !status) break;
|
||||
// ── Ensure committed (commit session fallback) ──
|
||||
// If the task agent didn't self-commit, a commit session handles it.
|
||||
if (hasUncommittedChanges(worktreeDir)) {
|
||||
const commitResult = await runCommitSession(
|
||||
ctx,
|
||||
config,
|
||||
task,
|
||||
worktreeDir,
|
||||
currentModel,
|
||||
roundRobin,
|
||||
sendChatMessage,
|
||||
);
|
||||
if (commitResult.success) {
|
||||
finalCommitMessages = [
|
||||
...finalCommitMessages,
|
||||
...commitResult.commitMessages,
|
||||
];
|
||||
finalCommitSummary = finalCommitSummary
|
||||
? `${finalCommitSummary}; ${commitResult.commitSummary}`
|
||||
: commitResult.commitSummary;
|
||||
}
|
||||
}
|
||||
|
||||
const reviewPrompt = buildReviewPromptUncommitted(
|
||||
// ── Review loop ──
|
||||
// baseRef was captured before runTask (above). Each review iteration
|
||||
// diffs the range baseRef..HEAD — the complete task output including
|
||||
// all fix attempts. On re-execution the same baseRef is reused.
|
||||
while (true) {
|
||||
const reviewInfo = baseRef
|
||||
? getCommitRangeDiff(worktreeDir, baseRef)
|
||||
: null;
|
||||
if (!reviewInfo || !reviewInfo.diff) break; // nothing to review
|
||||
|
||||
const reviewPrompt = buildReviewPrompt(
|
||||
task,
|
||||
project,
|
||||
status,
|
||||
reviewDiff,
|
||||
reviewInfo.hash,
|
||||
reviewInfo.subject,
|
||||
reviewInfo.diff,
|
||||
config.prompts.projectContext,
|
||||
);
|
||||
|
||||
@@ -875,11 +914,15 @@ async function executeTask(
|
||||
`~ review for ${task.id} · ${task.title} — review session failed: ${reviewResult.error}`,
|
||||
{ toolCalls: reviewToolCalls },
|
||||
);
|
||||
break; // commit on autoCommit, otherwise leave uncommitted
|
||||
break; // proceed with what we have (changes already committed)
|
||||
}
|
||||
|
||||
const reviewText = reviewResult.text.trim();
|
||||
const review = extractReview(reviewText, task.id, "uncommitted");
|
||||
const review = extractReview(
|
||||
reviewText,
|
||||
task.id,
|
||||
reviewInfo.hash,
|
||||
);
|
||||
finalReview = review ?? undefined;
|
||||
|
||||
// Persist structured review JSON when opted in.
|
||||
@@ -897,7 +940,7 @@ async function executeTask(
|
||||
review &&
|
||||
(review.verdict === "pass" || review.verdict === "warn")
|
||||
) {
|
||||
// Review passed — proceed to commit.
|
||||
// Review passed — all changes are committed; merge will follow.
|
||||
const label = `${verdictGlyph(review.verdict)} ${verdictSummary(review)}`;
|
||||
const savedHint = reviewPath ? ` · saved to ${reviewPath}` : "";
|
||||
sendChatMessage?.(
|
||||
@@ -909,7 +952,7 @@ async function executeTask(
|
||||
reviewResult: review,
|
||||
},
|
||||
);
|
||||
break; // good to commit
|
||||
break; // good to merge
|
||||
}
|
||||
|
||||
// Review rejected (fail) or verdict not parsed.
|
||||
@@ -934,7 +977,7 @@ async function executeTask(
|
||||
}
|
||||
|
||||
if (attempt >= maxRetries) {
|
||||
// Retries exhausted.
|
||||
// Retries exhausted — changes are already committed; proceed.
|
||||
if (config.execution.reviewBlockOnFail) {
|
||||
sendChatMessage?.(
|
||||
`✗ ${task.id} · ${task.title} — review rejected after ${maxRetries} retr${maxRetries === 1 ? "y" : "ies"} (reviewBlockOnFail)`,
|
||||
@@ -952,11 +995,9 @@ async function executeTask(
|
||||
return;
|
||||
}
|
||||
sendChatMessage?.(
|
||||
config.execution.autoCommit
|
||||
? `~ review for ${task.id} · ${task.title} — max retries (${maxRetries}) exhausted, committing anyway`
|
||||
: `~ review for ${task.id} · ${task.title} — max retries (${maxRetries}) exhausted, leaving changes as-is`,
|
||||
`~ review for ${task.id} · ${task.title} — max retries (${maxRetries}) exhausted, proceeding with current state`,
|
||||
);
|
||||
break; // commit on autoCommit, otherwise leave uncommitted
|
||||
break; // changes already committed — merge proceeds
|
||||
}
|
||||
|
||||
attempt++;
|
||||
@@ -984,7 +1025,7 @@ async function executeTask(
|
||||
sendChatMessage?.(
|
||||
`~ re-execution for ${task.id} · ${task.title} failed: ${fixResult.error}`,
|
||||
);
|
||||
break; // commit what we have
|
||||
break; // proceed with what we have
|
||||
}
|
||||
|
||||
// Merge commit messages from the fix attempt.
|
||||
@@ -995,34 +1036,30 @@ async function executeTask(
|
||||
finalCommitSummary = finalCommitSummary
|
||||
? `${finalCommitSummary}; ${fixResult.commitSummary ?? ""}`
|
||||
: (fixResult.commitSummary ?? "");
|
||||
// Loop back to review the updated changes.
|
||||
}
|
||||
|
||||
// ── Commit (after review passes or retries exhausted) ──
|
||||
// Only commit when autoCommit is enabled; review-only mode leaves
|
||||
// changes uncommitted so the user can inspect them manually.
|
||||
if (
|
||||
config.execution.autoCommit &&
|
||||
hasUncommittedChanges(worktreeDir)
|
||||
) {
|
||||
const commitResult = await runCommitSession(
|
||||
ctx,
|
||||
config,
|
||||
task,
|
||||
worktreeDir,
|
||||
currentModel,
|
||||
roundRobin,
|
||||
sendChatMessage,
|
||||
);
|
||||
if (commitResult.success) {
|
||||
finalCommitMessages = [
|
||||
...finalCommitMessages,
|
||||
...commitResult.commitMessages,
|
||||
];
|
||||
finalCommitSummary = finalCommitSummary
|
||||
? `${finalCommitSummary}; ${commitResult.commitSummary}`
|
||||
: commitResult.commitSummary;
|
||||
// Ensure committed after re-execution (same commit fallback).
|
||||
if (hasUncommittedChanges(worktreeDir)) {
|
||||
const commitResult = await runCommitSession(
|
||||
ctx,
|
||||
config,
|
||||
task,
|
||||
worktreeDir,
|
||||
currentModel,
|
||||
roundRobin,
|
||||
sendChatMessage,
|
||||
);
|
||||
if (commitResult.success) {
|
||||
finalCommitMessages = [
|
||||
...finalCommitMessages,
|
||||
...commitResult.commitMessages,
|
||||
];
|
||||
finalCommitSummary = finalCommitSummary
|
||||
? `${finalCommitSummary}; ${commitResult.commitSummary}`
|
||||
: commitResult.commitSummary;
|
||||
}
|
||||
}
|
||||
// Loop back to review with the same baseRef — the reviewer sees the
|
||||
// complete diff (original work + fixes), not just incremental changes.
|
||||
}
|
||||
} catch (error) {
|
||||
sendChatMessage?.(
|
||||
|
||||
22
src/types.ts
22
src/types.ts
@@ -211,12 +211,13 @@ export interface RalpiConfig {
|
||||
models: string[];
|
||||
/** Spawn a follow-up agent to commit changes after each task completes */
|
||||
autoCommit: boolean;
|
||||
/** Spawn a review agent to review uncommitted changes against the
|
||||
* task description BEFORE committing. On a 'fail' verdict the task is
|
||||
* re-executed with the review feedback injected (loops until pass or
|
||||
* maxReviewRetries is exhausted). When autoCommit is also enabled, the
|
||||
* commit runs after the review passes (or retries exhaust); otherwise
|
||||
* changes are left uncommitted. */
|
||||
/** Spawn a review agent to review the task's committed changes against
|
||||
* the task description. When autoReview is on, commit is mandated:
|
||||
* changes are committed (via commit session fallback when the agent
|
||||
* didn't self-commit), then the COMPLETE diff (baseRef..HEAD) is
|
||||
* reviewed. On 'fail' the task is re-executed with feedback (loops
|
||||
* until pass or maxReviewRetries). On pass the worktree merges.
|
||||
* When autoReview is off, autoCommit controls standalone commit. */
|
||||
autoReview: boolean;
|
||||
/** Persist the full review output to `.ralpi/reviews/<task-id>.md`.
|
||||
* Only active when autoReview is true and the user opts in at loop start. */
|
||||
@@ -236,13 +237,12 @@ export interface RalpiConfig {
|
||||
reviewTimeoutMs: number;
|
||||
/** Max review-fix re-execution attempts before giving up (0 = no retries;
|
||||
* review runs once, reject = stop). Active whenever autoReview is
|
||||
* enabled. On exhaustion: if autoCommit is enabled, the changes are
|
||||
* committed anyway; if reviewBlockOnFail is set, the task is marked
|
||||
* failed instead of committing. */
|
||||
* enabled. On exhaustion the task proceeds with its committed changes
|
||||
* (the worktree merges) unless reviewBlockOnFail is set. */
|
||||
maxReviewRetries: number;
|
||||
/** When true, a 'fail' review verdict after exhausting maxReviewRetries
|
||||
* marks the task as failed instead of leaving changes (committing when
|
||||
* autoCommit, or leaving uncommitted otherwise). */
|
||||
* marks the task as failed instead of proceeding with its committed
|
||||
* changes (the worktree does not merge). */
|
||||
reviewBlockOnFail: boolean;
|
||||
/** Maximum total duration for the entire loop execution in milliseconds (0 = no limit). Checked between batches — in-progress tasks finish naturally. */
|
||||
loopTimeoutMs: number;
|
||||
|
||||
73
src/utils.ts
73
src/utils.ts
@@ -807,3 +807,76 @@ export function getLatestCommitDiff(
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Capture the current HEAD commit SHA. Returns the full 40-char SHA, or
|
||||
* undefined when not a git repo / git unavailable. Used to snapshot the
|
||||
* worktree HEAD before a task runs so the review can diff the complete task
|
||||
* output (baseRef..HEAD) — including any commits the task agent makes.
|
||||
*/
|
||||
export function captureGitHead(projectDir: string): string | undefined {
|
||||
const { execSync } = require("node:child_process");
|
||||
try {
|
||||
const sha = execSync("git rev-parse HEAD", {
|
||||
cwd: projectDir,
|
||||
encoding: "utf-8",
|
||||
stdio: ["pipe", "pipe", "pipe"],
|
||||
}).trim();
|
||||
// Guard against injection — only accept hex SHAs.
|
||||
return /^[0-9a-f]{7,40}$/i.test(sha) ? sha : undefined;
|
||||
} catch {
|
||||
return undefined;
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the diff from `baseRef` to HEAD — the complete set of committed changes
|
||||
* made since the base reference. Used by the review-gated loop so the reviewer
|
||||
* sees the full task diff (all commits, not just the latest) across execution
|
||||
* attempts and re-execution fixes. `baseRef` must be a validated hex SHA from
|
||||
* captureGitHead(). Returns the short HEAD hash, HEAD subject, and range diff,
|
||||
* or null when git is unavailable / baseRef is invalid / no changes exist.
|
||||
*/
|
||||
export function getCommitRangeDiff(
|
||||
projectDir: string,
|
||||
baseRef: string,
|
||||
): { hash: string; subject: string; diff: string } | null {
|
||||
const { execSync } = require("node:child_process");
|
||||
|
||||
// Only pass validated hex SHAs to the shell.
|
||||
if (!/^[0-9a-f]{7,40}$/i.test(baseRef)) return null;
|
||||
|
||||
try {
|
||||
execSync("git rev-parse --git-dir", {
|
||||
cwd: projectDir,
|
||||
stdio: "pipe",
|
||||
});
|
||||
} catch {
|
||||
return null;
|
||||
}
|
||||
|
||||
try {
|
||||
const hash = execSync("git rev-parse --short HEAD", {
|
||||
cwd: projectDir,
|
||||
encoding: "utf-8",
|
||||
}).trim();
|
||||
|
||||
const subject = execSync("git log -1 --format=%s", {
|
||||
cwd: projectDir,
|
||||
encoding: "utf-8",
|
||||
}).trim();
|
||||
|
||||
// Diff from baseRef to HEAD — shows all committed changes made since
|
||||
// the snapshot. Includes stat overview + full patch.
|
||||
const diff = execSync(`git diff ${baseRef} HEAD --stat --patch`, {
|
||||
cwd: projectDir,
|
||||
encoding: "utf-8",
|
||||
maxBuffer: 1024 * 1024,
|
||||
}).trim();
|
||||
|
||||
if (!diff) return null; // no changes since baseRef
|
||||
return { hash, subject, diff };
|
||||
} catch {
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user