Author SHA1 Message Date
Nirav Patel 1144864b06 Merge pull request 'fix(review): run claude-cli models directly' (#6) from fix/claude-cli-direct-review into main 2026-09-05 14:48:23 -04:00
Claude 2099a16a1f test(review): prove fail-open status contract 2026-08-30 14:11:03 -04:00
Claude a12f94f459 fix(review): fail-open must post success, because CONTEXT is a required check
granthi-review is a REQUIRED status check on main, and Gitea counts a required
context as satisfied only on 'success'. failOpen posted 'warning' with the
description 'review unavailable - not blocking', so it did precisely what it
promised not to do: it blocked, while announcing it would not.

Measured: shreai PR #209 sat unmergeable for six days on a claude-cli failure
from 2026-08-23, every other gate green.

The failure is also non-deterministic. The same commit a49573f66 produced
'Grade A (86/100) - pass' on one review and a fail-open minutes later with no
code change. A state that flips on identical input is infrastructure noise, not
a review signal, and must not decide whether code can merge.

The gate is not weakened: reviews that actually run still gate, and a real
'fail' verdict still fails. Only 'could not review' now passes, which is what
fail-open has always meant. The reason still rides in the description and the
error is still persisted to the reviews table.
2026-08-29 08:21:41 -04:00
Claude 0db44a4d73 fix(review): run claude-cli models directly 2026-08-23 00:23:02 -04:00
Nirav Patel 6b131e1427 Merge pull request 'fix(verdict): findings resolved by the change under review never block' (#5) from fix/resolved-findings-dont-block into main 2026-08-22 14:44:49 -04:00
8 changed files with 292 additions and 11 deletions
+2 -2
View File
@@ -44,7 +44,7 @@ Dependencies: **none**. Node ≥ 22.13 (uses `node:sqlite`, global `fetch`).
- Commit status context: `granthi-review`. verdict pass → `success`; warn → `success` with warning description; fail → `failure`. - Commit status context: `granthi-review`. verdict pass → `success`; warn → `success` with warning description; fail → `failure`.
- Branch protection on pilot repos requires the `granthi-review` context but does **not** apply to admins — an admin merge is the override. The blocking comment says so explicitly. - Branch protection on pilot repos requires the `granthi-review` context but does **not** apply to admins — an admin merge is the override. The blocking comment says so explicitly.
- **Fail-open with visibility**: if the router/LLM is down or output is unparseable after retry, the service posts status `warning` with "review unavailable" — it never blocks silently and never fakes a pass. - **Fail-open with visibility**: if the router/LLM is down or output is unparseable after retry, the service posts status `success` with "review unavailable" so the required check does not block. The error remains visible in the description and review ledger.
- Bare pushes (no PR): commit status + ledger + dashboard only. Gitea 1.27 has no commit-comment API endpoint, so no comment is posted for pushes. - Bare pushes (no PR): commit status + ledger + dashboard only. Gitea 1.27 has no commit-comment API endpoint, so no comment is posted for pushes.
## Config ## Config
@@ -96,7 +96,7 @@ and retries the post once. Without `admin_token` the 403 surfaces as before.
- **Full push-range review**: pushes are reviewed as ONE compare diff `before...after` (web compare `.diff` route — the 1.27 API has no compare diff variant). New-branch pushes (`before` = zero sha) fall back to the head commit diff. No more first-20-commits slicing under a head-sha status. - **Full push-range review**: pushes are reviewed as ONE compare diff `before...after` (web compare `.diff` route — the 1.27 API has no compare diff variant). New-branch pushes (`before` = zero sha) fall back to the head commit diff. No more first-20-commits slicing under a head-sha status.
- **Truncated diff ≠ pass**: when the 60KB cap truncates the diff, the prompt and the status description both say `partial review (diff truncated)` and the verdict is capped at `warn` (a confirmed-critical `fail` still fails). - **Truncated diff ≠ pass**: when the 60KB cap truncates the diff, the prompt and the status description both say `partial review (diff truncated)` and the verdict is capped at `warn` (a confirmed-critical `fail` still fails).
- **Diff fetch failure ≠ pass**: any diff-fetch failure (throw, non-200, empty body for a non-empty push/PR) short-circuits to status `warning``review unavailable — diff fetch failed (not blocking)` — with a ledger row. A diffless prompt is never sent. - **Diff fetch failure ≠ review**: any diff-fetch failure (throw, non-200, empty body for a non-empty push/PR) short-circuits to status `success``review unavailable — diff fetch failed (not blocking)` — with the error preserved in a ledger row. A diffless prompt is never sent.
- **Crash-safe queue**: every accepted job is persisted to sqlite (`queue_jobs`) before the pending status posts; on startup, rows that never reached a final state are re-enqueued, so a restart no longer strands a sha at `pending`. - **Crash-safe queue**: every accepted job is persisted to sqlite (`queue_jobs`) before the pending status posts; on startup, rows that never reached a final state are re-enqueued, so a restart no longer strands a sha at `pending`.
- **403 self-heal**: see `admin_token` above. `scripts/wire-repos.mjs` wires the webhook + bot collaborator across ALL repos on the peer (idempotent; re-runnable). - **403 self-heal**: see `admin_token` above. `scripts/wire-repos.mjs` wires the webhook + bot collaborator across ALL repos on the peer (idempotent; re-runnable).
+26 -2
View File
@@ -5,20 +5,44 @@ export class ReviewQueue {
constructor() { constructor() {
this.repoChains = new Map(); this.repoChains = new Map();
this.globalChain = Promise.resolve(); this.globalChain = Promise.resolve();
this.dedupeGenerations = new Map();
this.pending = 0; this.pending = 0;
} }
// Serialize fn per repo key. fn receives a `withGlobal` helper that // Serialize fn per repo key. fn receives a `withGlobal` helper that
// serializes the wrapped section across ALL repos (use around LLM calls). // serializes the wrapped section across ALL repos (use around LLM calls).
enqueue(repoKey, fn) { enqueue(repoKey, fn, { dedupeKey = null, dedupeKeys = [], onSuperseded = null } = {}) {
const prev = this.repoChains.get(repoKey) || Promise.resolve(); const prev = this.repoChains.get(repoKey) || Promise.resolve();
const generationKeys = [...new Set([dedupeKey, ...dedupeKeys].filter(Boolean))]
.map((key) => `${repoKey}:${key}`);
const generations = new Map(generationKeys.map((key) => [
key,
(this.dedupeGenerations.get(key) || 0) + 1
]));
for (const [key, generation] of generations) {
this.dedupeGenerations.set(key, generation);
}
this.pending++; this.pending++;
const next = prev const next = prev
.catch(() => {}) .catch(() => {})
.then(() => fn(this.withGlobal.bind(this))) .then(() => {
const superseded = [...generations].some(
([key, generation]) => this.dedupeGenerations.get(key) !== generation
);
if (superseded) {
onSuperseded?.();
return { superseded: true };
}
return fn(this.withGlobal.bind(this));
})
.finally(() => { .finally(() => {
this.pending--; this.pending--;
if (this.repoChains.get(repoKey) === next) this.repoChains.delete(repoKey); if (this.repoChains.get(repoKey) === next) this.repoChains.delete(repoKey);
for (const [key, generation] of generations) {
if (this.dedupeGenerations.get(key) === generation) {
this.dedupeGenerations.delete(key);
}
}
}); });
this.repoChains.set(repoKey, next); this.repoChains.set(repoKey, next);
return next; return next;
+30 -5
View File
@@ -1,7 +1,28 @@
// The review pipeline: diff fetch -> conventions -> LLM -> parse -> status + // The review pipeline: diff fetch -> conventions -> LLM -> parse -> status +
// comment -> ledger. Fail-open with visibility: if the LLM/router path dies, // comment -> ledger. Fail-open with visibility: if the LLM/router path dies,
// we post a 'warning' commit status saying review unavailable — never a silent // we post a commit status saying review unavailable — never a silent block,
// block, never a silent pass marked success. // and never a silent pass: the reason always rides in the description and the
// error is always recorded in the reviews table.
//
// That status is 'success', and this is deliberate — it used to be 'warning'.
// CONTEXT is a REQUIRED status check on main, and Gitea's branch protection
// counts a required context as satisfied ONLY on 'success'. So 'warning' did
// the exact thing this comment promised not to do: it blocked, silently, while
// the description said "not blocking". Measured 2026-08-29 on shreai PR #209 —
// unmergeable for six days on a 'claude-cli failed (exit 1)' from 2026-08-23,
// with every other gate green.
//
// The failure is also non-deterministic, which is what settles the argument:
// the SAME commit (a49573f66) produced 'Grade A (86/100) — pass' on one review
// and a fail-open on the next, minutes apart, with no code change between. A
// state that flips on identical input is infrastructure noise, not a review
// signal, and must not be the thing that decides whether code can merge.
//
// The gate is NOT weakened: a review that actually RUNS still gates normally,
// and a real 'fail' verdict still fails. Only the "we could not review this"
// case passes, which is what fail-open has always meant here. Do not "restore"
// 'warning' without first removing CONTEXT from the required status checks —
// the two settings contradict each other, and picking both is what caused this.
import { chat } from './router.js'; import { chat } from './router.js';
import { extractJson } from './jsonExtract.js'; import { extractJson } from './jsonExtract.js';
@@ -46,8 +67,8 @@ export async function runReview({ cfg, gitea, adminGitea, db, job, withGlobal, l
})); }));
// 1. diff — any fetch failure (throw, non-200, or empty body for a job that // 1. diff — any fetch failure (throw, non-200, or empty body for a job that
// has commits) short-circuits to a 'warning' status. A diffless prompt would // has commits) short-circuits to a non-blocking 'success' status. A diffless
// make the model "review" nothing and pass; never send one. // prompt would make the model "review" nothing and pass; never send one.
let diff = '', truncated = false, diffBytes = 0, partialDiff = false, partialNote = null; let diff = '', truncated = false, diffBytes = 0, partialDiff = false, partialNote = null;
try { try {
const fetched = await fetchDiff({ const fetched = await fetchDiff({
@@ -331,7 +352,11 @@ function allDiffSourcesFailed(tried) {
return new Error(`all diff sources failed: ${msg}`); return new Error(`all diff sources failed: ${msg}`);
} }
async function failOpen({ cfg, db, job, log, postStatus, dashboardUrl, t0, error, state = 'warning', description }) { // state defaults to 'success' because CONTEXT is a required check — see the
// header. 'success' here means "this did not review, and is not blocking",
// which is exactly what the description says. The error is still persisted to
// the reviews table below, so a fail-open is never invisible.
async function failOpen({ cfg, db, job, log, postStatus, dashboardUrl, t0, error, state = 'success', description }) {
const { owner, repo, sha } = job; const { owner, repo, sha } = job;
const fullRepo = `${owner}/${repo}`; const fullRepo = `${owner}/${repo}`;
log(`[${fullRepo}@${sha.slice(0, 8)}] fail-open: ${error}`); log(`[${fullRepo}@${sha.slice(0, 8)}] fail-open: ${error}`);
+50 -1
View File
@@ -2,7 +2,56 @@
// Real model answer lives in .message.content; top-level .content can carry an // Real model answer lives in .message.content; top-level .content can carry an
// upstream-down apology — always prefer .message.content. // upstream-down apology — always prefer .message.content.
export async function chat({ routerUrl, model, messages, agentId, sessionId, tenantId, timeoutMs }) { import { execFile } from 'node:child_process';
import { promisify } from 'node:util';
const execFileAsync = promisify(execFile);
async function chatWithClaudeCli({ model, messages, timeoutMs, claudeBin = 'claude' }) {
const modelId = model.slice('claude-cli/'.length);
if (!modelId) throw new Error('claude-cli model id is required');
const prompt = messages
.map(({ role, content }) => `${String(role || 'user').toUpperCase()}:\n${String(content || '')}`)
.join('\n\n');
const env = { ...process.env };
delete env.ANTHROPIC_API_KEY;
delete env.ANTHROPIC_TOKEN;
delete env.ANTHROPIC_AUTH_TOKEN;
let stdout;
try {
({ stdout } = await execFileAsync(claudeBin, [
'-p', prompt,
'--model', modelId,
'--output-format', 'json',
'--tools', '',
'--permission-mode', 'dontAsk',
'--no-session-persistence'
], {
env,
timeout: timeoutMs,
killSignal: 'SIGTERM',
maxBuffer: 4 * 1024 * 1024
}));
} catch (error) {
const timedOut = error?.killed || error?.signal === 'SIGTERM' || error?.code === 'ETIMEDOUT';
const exitCode = Number.isInteger(error?.code) ? ` (exit ${error.code})` : '';
throw new Error(`claude-cli ${timedOut ? 'timed out' : 'failed'}${exitCode}`);
}
const data = JSON.parse(stdout);
const content = data?.result ?? data?.content;
if (typeof content !== 'string' || !content.trim()) {
throw new Error('claude-cli returned empty content');
}
return { content, servedModel: model };
}
export async function chat(options) {
const { routerUrl, model, messages, agentId, sessionId, tenantId, timeoutMs } = options;
if (model.startsWith('claude-cli/')) {
return chatWithClaudeCli(options);
}
const res = await fetch(`${routerUrl.replace(/\/$/, '')}/v1/chat`, { const res = await fetch(`${routerUrl.replace(/\/$/, '')}/v1/chat`, {
method: 'POST', method: 'POST',
headers: { 'Content-Type': 'application/json' }, headers: { 'Content-Type': 'application/json' },
+10 -1
View File
@@ -37,9 +37,18 @@ function dispatchJob(queueRowId, job) {
{ {
startJob(db, queueRowId); startJob(db, queueRowId);
return runReview({ cfg, gitea, adminGitea, db, job, withGlobal, log }); return runReview({ cfg, gitea, adminGitea, db, job, withGlobal, log });
},
{
dedupeKeys: [
job.prIndex != null ? `pr:${job.prIndex}` : null,
`sha:${job.sha}`
].filter(Boolean)
} }
).then( ).then(
(r) => finishJob(db, queueRowId, r?.ok ? (r.verdict || 'ok') : `error:${String(r?.error || '').slice(0, 200)}`), (r) => {
if (r?.superseded) return finishJob(db, queueRowId, 'superseded');
return finishJob(db, queueRowId, r?.ok ? (r.verdict || 'ok') : `error:${String(r?.error || '').slice(0, 200)}`);
},
(e) => { (e) => {
log(`review pipeline error for ${job.owner}/${job.repo}@${job.sha}: ${e.stack || e.message}`); log(`review pipeline error for ${job.owner}/${job.repo}@${job.sha}: ${e.stack || e.message}`);
finishJob(db, queueRowId, `crash:${String(e.message || e).slice(0, 200)}`); finishJob(db, queueRowId, `crash:${String(e.message || e).slice(0, 200)}`);
+57
View File
@@ -0,0 +1,57 @@
import { test } from 'node:test';
import assert from 'node:assert/strict';
import { ReviewQueue } from '../src/lib/queue.js';
test('newer jobs supersede queued work for the same pull request', async () => {
const queue = new ReviewQueue();
const ran = [];
const superseded = [];
const first = queue.enqueue(
'nirpa/hermes-agent',
async () => ran.push('old'),
{ dedupeKey: 'pr:86', onSuperseded: () => superseded.push('old') }
);
const second = queue.enqueue(
'nirpa/hermes-agent',
async () => ran.push('new'),
{ dedupeKey: 'pr:86', onSuperseded: () => superseded.push('new') }
);
await Promise.all([first, second]);
assert.deepEqual(ran, ['new']);
assert.deepEqual(superseded, ['old']);
assert.equal(queue.pending, 0);
});
test('different pull requests are not deduplicated', async () => {
const queue = new ReviewQueue();
const ran = [];
await Promise.all([
queue.enqueue('nirpa/hermes-agent', async () => ran.push('pr-86'), { dedupeKey: 'pr:86' }),
queue.enqueue('nirpa/hermes-agent', async () => ran.push('pr-87'), { dedupeKey: 'pr:87' })
]);
assert.deepEqual(ran, ['pr-86', 'pr-87']);
});
test('shared sha key deduplicates push and pull-request webhooks', async () => {
const queue = new ReviewQueue();
const ran = [];
const push = queue.enqueue(
'nirpa/hermes-agent',
async () => ran.push('push'),
{ dedupeKeys: ['sha:final'] }
);
const pullRequest = queue.enqueue(
'nirpa/hermes-agent',
async () => ran.push('pull-request'),
{ dedupeKeys: ['pr:86', 'sha:final'] }
);
await Promise.all([push, pullRequest]);
assert.deepEqual(ran, ['pull-request']);
});
+45
View File
@@ -0,0 +1,45 @@
import { test } from 'node:test';
import assert from 'node:assert/strict';
import { openDb } from '../src/lib/db.js';
import { runReview } from '../src/lib/review.js';
const HEAD = 'a'.repeat(40);
test('an unavailable review posts success without hiding the failure', async () => {
const statuses = [];
const db = openDb(':memory:');
const gitea = {
postStatus: async (_owner, _repo, _sha, body) => statuses.push(body),
getCommitDiff: async () => { throw new Error('review service unavailable'); }
};
const job = {
owner: 'o', repo: 'r', sha: HEAD, before: null, prIndex: null,
event: 'push', pusher: 'tester', authors: [], commitMessages: []
};
const result = await runReview({
cfg: {
publicBaseUrl: 'https://reviews.example.test',
maxDiffBytes: 1024,
model: 'claude-cli/claude-sonnet-4-6',
botUsername: 'reviewer'
},
gitea,
adminGitea: null,
db,
job,
withGlobal: async (fn) => fn(),
log: () => {}
});
assert.equal(result.ok, false);
assert.deepEqual(statuses.map(({ state }) => state), ['pending', 'success']);
assert.equal(statuses[1].context, 'granthi-review');
assert.equal(statuses[1].description, 'review unavailable — diff fetch failed (not blocking)');
const persisted = db.prepare(
'SELECT status_state, error FROM reviews WHERE repo = ? AND sha = ?'
).get('o/r', HEAD);
assert.equal(persisted.status_state, 'success');
assert.match(persisted.error, /review service unavailable/);
});
+72
View File
@@ -1,5 +1,8 @@
import { test } from 'node:test'; import { test } from 'node:test';
import assert from 'node:assert/strict'; import assert from 'node:assert/strict';
import { chmod, mkdtemp, writeFile } from 'node:fs/promises';
import { tmpdir } from 'node:os';
import { join } from 'node:path';
import { chat } from '../src/lib/router.js'; import { chat } from '../src/lib/router.js';
test('review router client disables model fallbacks explicitly', async () => { test('review router client disables model fallbacks explicitly', async () => {
@@ -32,3 +35,72 @@ test('review router client disables model fallbacks explicitly', async () => {
assert.equal(body.raw, true); assert.equal(body.raw, true);
assert.equal(body.stream, false); assert.equal(body.stream, false);
}); });
test('claude-cli models bypass the router and use subscription credentials', async () => {
const dir = await mkdtemp(join(tmpdir(), 'granthi-review-claude-'));
const fakeClaude = join(dir, 'claude');
await writeFile(fakeClaude, `#!/bin/sh
case " $* " in
*" --model claude-sonnet-4-6 "*) ;;
*) exit 21 ;;
esac
case " $* " in
*" --tools --permission-mode dontAsk --no-session-persistence "*) ;;
*) exit 22 ;;
esac
[ -z "\${ANTHROPIC_API_KEY:-}" ] || exit 23
[ -z "\${ANTHROPIC_TOKEN:-}" ] || exit 24
printf '%s' '{"result":"{\\"axes\\":{},\\"overall\\":90,\\"grade\\":\\"A\\",\\"findings\\":[]}"}'
`);
await chmod(fakeClaude, 0o700);
const originalFetch = globalThis.fetch;
const originalApiKey = process.env.ANTHROPIC_API_KEY;
const originalToken = process.env.ANTHROPIC_TOKEN;
globalThis.fetch = async () => { throw new Error('router must not be called'); };
process.env.ANTHROPIC_API_KEY = 'test-api-key';
process.env.ANTHROPIC_TOKEN = 'test-token';
try {
const result = await chat({
routerUrl: 'http://router.test',
model: 'claude-cli/claude-sonnet-4-6',
messages: [{ role: 'user', content: 'review this diff' }],
agentId: 'code-reviewer',
sessionId: 'review-test',
tenantId: 'nirlab',
timeoutMs: 1000,
claudeBin: fakeClaude
});
assert.match(result.content, /"overall":90/);
assert.equal(result.servedModel, 'claude-cli/claude-sonnet-4-6');
} finally {
globalThis.fetch = originalFetch;
if (originalApiKey === undefined) delete process.env.ANTHROPIC_API_KEY;
else process.env.ANTHROPIC_API_KEY = originalApiKey;
if (originalToken === undefined) delete process.env.ANTHROPIC_TOKEN;
else process.env.ANTHROPIC_TOKEN = originalToken;
}
});
test('claude-cli failures do not leak the review prompt', async () => {
const dir = await mkdtemp(join(tmpdir(), 'granthi-review-claude-error-'));
const fakeClaude = join(dir, 'claude');
await writeFile(fakeClaude, '#!/bin/sh\nprintf "%s\\n" "$*" >&2\nexit 25\n');
await chmod(fakeClaude, 0o700);
await assert.rejects(
chat({
routerUrl: 'http://router.test',
model: 'claude-cli/claude-sonnet-4-6',
messages: [{ role: 'user', content: 'SECRET_REVIEW_DIFF_MARKER' }],
timeoutMs: 1000,
claudeBin: fakeClaude
}),
(error) => {
assert.match(error.message, /claude-cli failed/);
assert.doesNotMatch(error.message, /SECRET_REVIEW_DIFF_MARKER/);
return true;
}
);
});