@payconductor/houndsman 0.2.0 → 0.4.0

package/src/core/orchestrator.ts

@@ -5,68 +5,65 @@
  * Genérico: recebe o `HoundsmanConfig` por parâmetro (injeção explícita).
  * Entrypoints: `cli/index.ts` (`houndsman`). Aqui não há `process.argv`.
  *
- * Artefatos (em `opts.dir`, default `HoundsmanConfig.artifactDir/<branch-slug>/`):
- *   classification.json   watchdogs ativados por arquivo + status (A/M/D/R)
- *   candidates.json       candidatos da pré-análise Jev
- *   briefs/<id>.md        instruções prontas para cada sub-agente
- *   findings/<id>.json    saída dos sub-agentes (schema skill/OUTPUT-FORMAT.md)
- *   manifest.json         resumo do que foi ativado
- *   review.md             relatório final (gerado no finalize)
+ * Persistência:
+ *   storage               reviews/findings/artefatos (SQLite por default)
+ *   <home>/work/<review>  staging dos subagentes
+ *     briefs/<id>.md      instruções prontas para cada sub-agente
+ *     findings/<id>.json  saída dos sub-agentes (schema skill/OUTPUT-FORMAT.md)
+ *     context*.json/md    contexto da PR (Passo 0)
+ *
+ * Artefatos persistidos: classification, candidates, manifest, review.md,
+ * review.<watchdog>.md, context e context-summary.
  */
 
-import { existsSync, mkdirSync, readFileSync, rmSync, writeFileSync } from "node:fs";
-import { join, relative } from "node:path";
-import { renderBrief } from "./brief";
 import {
 	type HoundsmanConfig,
 	resolveJevConcurrency,
 	resolveMaxFilesPerBrief,
 } from "./config";
-import { churnToRecord, collectDiff, type DiffSource } from "./diff-source";
+import type { DiffSource } from "./diff-source";
 import { discoverDocs } from "./doc-discoverer";
-import {
-	type BudgetSelection,
-	type ClassificationResult,
-	classifyEntries,
-	classifyRange,
-	selectByBudget,
-} from "./file-classifier";
-import {
-	buildStateFromFindings,
-	type FindingsStateFile,
-	FindingsStateStore,
-	fileReader,
-} from "./findings-state";
-import { collectDiffSince, diffEntries, isAncestor, resolveSha } from "./git-revision";
+import { Classification } from "./domain/classification";
+import { Watchdog } from "./domain/watchdog";
+import { mergeCarryover } from "./engine/carryover";
+import { ReviewScopeResolver, type RunClassification } from "./engine/review-scope";
+import type { BudgetSelection, ClassificationResult } from "./file-classifier";
+import { buildStateFromFindings, fileReader } from "./findings-state";
+import { resolveSha } from "./git-revision";
 import {
 	type JevCandidate,
 	type JevCandidatesFile,
 	JevCandidatesStore,
 	JevClient,
 	JevDetector,
+	parseCandidates,
+	serializeCandidates,
 } from "./jev";
-import { ARTIFACT_DIR, OUTPUT_FORMAT_PATH } from "./paths";
-import { contextPaths, currentBranch, readContextSummary } from "./pr-context";
+import { displayPath, OUTPUT_FORMAT_PATH, REVIEW_FILE } from "./paths";
+import { currentBranch } from "./pr-context";
+import { ProjectConfig } from "./project-config";
+import { BriefRenderer } from "./renderers/brief-renderer";
+import { ManifestWriter } from "./renderers/manifest-writer";
+import { ReportRenderer } from "./renderers/report-renderer";
 import {
 	type ContextSummary,
 	type DomainReport,
 	dedupeFindings,
-	type MergedFinding,
-	parseWatchdogReport,
-	renderDomainReport,
-	renderReport,
+	parseContextSummary,
 	sanitizeBranch,
 	type WatchdogReport,
 } from "./report-builder";
 import { writeRunStatus } from "./run-status";
-import { severityRank, type WatchdogMeta } from "./types";
+import { systemClock } from "./services/clock";
+import type { ReviewRecord, StorageProvider } from "./storage/types";
+import { ReviewWorkArea } from "./storage/work-area";
+import type { WatchdogMeta } from "./types";
 import { findWatchdog } from "./watchdog-registry";
 
 export type ReviewOptions = {
 	base: string;
 	head: string;
 	branch?: string;
-	dir: string;
 	finalize: boolean;
 	failOnBlocking: boolean;
 	clean: boolean;
@@ -76,11 +73,10 @@ export type ReviewOptions = {
 };
 
 /** Valores default das opções (o CLI sobrepõe com as flags). */
-export function defaultOptions(artifactDir: string = ARTIFACT_DIR): ReviewOptions {
+export function defaultOptions(): ReviewOptions {
 	return {
 		base: "main",
 		head: "HEAD",
-		dir: artifactDir,
 		finalize: false,
 		failOnBlocking: false,
 		clean: false,
@@ -89,64 +85,30 @@ export function defaultOptions(artifactDir: string = ARTIFACT_DIR): ReviewOption
 	};
 }
 
-/** Caminho relativo à raiz, sempre com `/` (portável/legível). */
-function relFromRoot(absPath: string): string {
-	return relative(process.cwd(), absPath).replace(/\\/g, "/");
-}
-
-type Paths = {
-	slug: string;
-	outDir: string;
-	briefsDir: string;
-	findingsDir: string;
+/** Contexto de uma run: storage + review + staging. */
+export type ReviewContext = {
+	storage: StorageProvider;
+	review: ReviewRecord;
+	work: ReviewWorkArea;
 };
 
-function paths(opts: ReviewOptions, branch: string): Paths {
-	const slug = sanitizeBranch(branch);
-	const outDir = join(opts.dir, slug);
-	return {
-		slug,
-		outDir,
-		briefsDir: join(outDir, "briefs"),
-		findingsDir: join(outDir, "findings"),
-	};
-}
-
-function prepareDirs(dirs: Paths, clean: boolean): void {
-	mkdirSync(dirs.briefsDir, { recursive: true });
-	mkdirSync(dirs.findingsDir, { recursive: true });
-	if (clean) {
-		rmSync(dirs.findingsDir, { recursive: true, force: true });
-		mkdirSync(dirs.findingsDir, { recursive: true });
-	}
+/** Cria o contexto de uma review existente. */
+export function reviewContext(
+	storage: StorageProvider,
+	review: ReviewRecord,
+): ReviewContext {
+	return { storage, review, work: new ReviewWorkArea(review) };
 }
 
 // ---------------------------------------------------------------------------
 // Escopo da revisão (completo vs incremental)
 // ---------------------------------------------------------------------------
 
-/** Classificação enriquecida gravada no `classification.json` (modo + revisão + carry-over). */
-type RunClassification = ClassificationResult & {
-	/** Commit revisado (head do diff). */
-	headSha?: string;
-	/** Modo do prepare: completo ou incremental (delta desde a última revisão). */
-	mode: "full" | "incremental";
-	/** Commit da última revisão (só no incremental). */
-	reviewedFrom?: string;
-	/** Findings preservados do review anterior (arquivos inalterados). */
-	carryover?: MergedFinding[];
-};
-
 /** SHA curto para logs (7 chars, como o git). */
 function shortSha(sha: string): string {
 	return sha.slice(0, 7);
 }
 
-/** Chave de dedupe de finding: `(file, line, rule)` — igual ao `dedupeFindings`. */
-function findingKey(finding: Pick<MergedFinding, "file" | "line" | "rule">): string {
-	return `${finding.file}|${finding.line ?? ""}|${finding.rule}`;
-}
-
 /** Aviso no topo do `review.md` quando a revisão foi incremental (senão vazio). */
 function incrementalNote(classification: RunClassification): string {
 	if (classification.mode !== "incremental" || !classification.reviewedFrom) return "";
@@ -158,215 +120,6 @@ function incrementalNote(classification: RunClassification): string {
 	);
 }
 
-/**
- * Findings do review anterior em arquivos inalterados — carregados sem
- * re-revisão (carry-over). Preserva o `foundAtSha` para o diff focado do verify.
- */
-function buildCarryover(
-	previous: FindingsStateFile | null,
-	changedPaths: Set<string>,
-): MergedFinding[] {
-	if (!previous) return [];
-	return Object.values(previous.findings)
-		.filter((finding) => finding.present && !changedPaths.has(finding.file))
-		.map((finding) => ({
-			id: finding.id,
-			rule: finding.rule,
-			severity: finding.severity,
-			file: finding.file,
-			line: finding.line ?? undefined,
-			message: finding.message,
-			action: finding.action,
-			evidence: finding.evidence,
-			foundAtSha: finding.foundAtSha,
-			watchdogs: [...finding.watchdogIds],
-		}));
-}
-
-/** Une os findings re-reportados com os carry-over (preserva ids do estado anterior). */
-function mergeCarryover(
-	merged: MergedFinding[],
-	carryover: readonly MergedFinding[],
-): MergedFinding[] {
-	const byKey = new Map(merged.map((finding) => [findingKey(finding), finding]));
-	for (const carried of carryover) {
-		const existing = byKey.get(findingKey(carried));
-		if (existing) {
-			for (const watchdog of carried.watchdogs) {
-				if (!existing.watchdogs.includes(watchdog))
-					existing.watchdogs.push(watchdog);
-			}
-			continue;
-		}
-		byKey.set(findingKey(carried), carried);
-		merged.push(carried);
-	}
-	merged.sort((a, b) => {
-		const bySeverity = severityRank(a.severity) - severityRank(b.severity);
-		if (bySeverity !== 0) return bySeverity;
-		if (a.file !== b.file) return a.file.localeCompare(b.file);
-		return (a.line ?? 0) - (b.line ?? 0);
-	});
-	return merged;
-}
-
-/**
- * Decide entre review completo e incremental. Incremental só quando há um
- * `reviewed.headSha` anterior, o `HEAD` atual o sucede (sem rebase) e não veio
- * `--full`/`--clean`. Reconstrói só o delta `prevSha..headSha` e carrega os
- * findings de arquivos inalterados do estado anterior.
- */
-function resolveReviewScope(
-	opts: ReviewOptions,
-	previous: FindingsStateFile | null,
-	headSha: string,
-	config: HoundsmanConfig,
-): { classification: RunClassification; diff: DiffSource; reviewedFrom?: string } {
-	const prevSha = previous?.reviewed?.headSha;
-	if (
-		opts.full ||
-		opts.clean ||
-		!prevSha ||
-		prevSha === headSha ||
-		!isAncestor(prevSha, headSha)
-	) {
-		const diff = collectDiff(opts.base, opts.head);
-		return {
-			diff,
-			classification: {
-				...classifyRange(opts.base, opts.head, config, diff),
-				headSha,
-				mode: "full",
-			},
-		};
-	}
-
-	const range = `${prevSha}..${headSha}`;
-	const diff = collectDiffSince(prevSha, headSha);
-	const entries = diffEntries(range);
-	const changedPaths = new Set(entries.map((entry) => entry.path));
-	const classification: RunClassification = {
-		...classifyEntries(entries, config, churnToRecord(diff.churn)),
-		base: prevSha,
-		head: opts.head,
-		headSha,
-		mode: "incremental",
-		reviewedFrom: prevSha,
-		carryover: buildCarryover(previous, changedPaths),
-	};
-	return { classification, diff, reviewedFrom: prevSha };
-}
-
-// ---------------------------------------------------------------------------
-// Findings
-// ---------------------------------------------------------------------------
-
-function readFindings(
-	findingsDir: string,
-	activeIds: string[],
-): { reports: WatchdogReport[]; pending: string[] } {
-	const reports: WatchdogReport[] = [];
-	const pending: string[] = [];
-	for (const id of activeIds) {
-		const path = join(findingsDir, `${id}.json`);
-		if (!existsSync(path)) {
-			pending.push(id);
-			continue;
-		}
-		try {
-			const raw = JSON.parse(readFileSync(path, "utf8"));
-			const report = parseWatchdogReport(raw, path);
-			if (report) reports.push(report);
-			else pending.push(id);
-		} catch (err) {
-			console.error(
-				`[houndsman] ${relFromRoot(path)} inválido: ${err instanceof Error ? err.message : err}`,
-			);
-			pending.push(id);
-		}
-	}
-	return { reports, pending };
-}
-
-// ---------------------------------------------------------------------------
-// Manifesto
-// ---------------------------------------------------------------------------
-
-function contextManifest(
-	opts: ReviewOptions,
-	branch: string,
-): { summarized: boolean; source: ContextSummary["source"] | null } {
-	const summary = readContextSummary(contextPaths(opts.dir, branch).summary);
-	if (!summary) return { summarized: false, source: null };
-	return { summarized: true, source: summary.source ?? null };
-}
-
-function writeManifest(
-	outDir: string,
-	opts: ReviewOptions,
-	branch: string,
-	classification: RunClassification,
-	activeIds: string[],
-	pending: string[],
-	jev: JevCandidatesFile,
-	config: HoundsmanConfig,
-): void {
-	const maxFilesPerBrief = resolveMaxFilesPerBrief(config);
-	let filesOverBudget = 0;
-	const watchdogs = activeIds.map((id) => {
-		const selection = budgetFor(classification, id, maxFilesPerBrief);
-		filesOverBudget += selection.overflow.length;
-		return {
-			id,
-			name: findWatchdog(config, id)?.name ?? id,
-			files: selection.selected,
-			overflow: selection.overflow.length,
-			brief: relFromRoot(join(outDir, "briefs", `${id}.md`)),
-			findings: relFromRoot(join(outDir, "findings", `${id}.json`)),
-			status: pending.includes(id) ? "pending" : "done",
-		};
-	});
-
-	const manifest = {
-		branch,
-		slug: sanitizeBranch(branch),
-		base: opts.base,
-		head: opts.head,
-		headSha: classification.headSha,
-		generatedAt: new Date().toISOString(),
-		outputFormat: OUTPUT_FORMAT_PATH,
-		budget: { maxFilesPerBrief, filesOverBudget },
-		churn: churnTotals(classification),
-		incremental:
-			classification.mode === "incremental"
-				? {
-						from: classification.reviewedFrom,
-						changedFiles: Object.keys(classification.files).length,
-						carried: classification.carryover?.length ?? 0,
-					}
-				: undefined,
-		watchdogs,
-		context: contextManifest(opts, branch),
-		jev: jev.available
-			? {
-					available: true,
-					model: jev.model,
-					threshold: jev.threshold,
-					analyzedFiles: jev.analyzedFiles,
-					candidates: jev.candidates.length,
-					skipped: jev.skipped?.length ?? 0,
-				}
-			: { available: false, reason: jev.reason },
-		deleted: classification.deleted,
-		unclassified: classification.unclassified,
-		excludedCount: classification.excludedCount,
-	};
-	writeFileSync(
-		join(outDir, "manifest.json"),
-		`${JSON.stringify(manifest, null, 2)}\n`,
-	);
-}
-
 // ---------------------------------------------------------------------------
 // Orçamento (triage de PRs grandes)
 // ---------------------------------------------------------------------------
@@ -377,25 +130,26 @@ function budgetFor(
 	id: string,
 	maxFiles: number,
 ): BudgetSelection {
-	return selectByBudget(
-		classification.watchdogs[id] ?? [],
-		classification.churn,
-		maxFiles,
-	);
+	return Classification.from(classification).budgetFor(id, maxFiles);
 }
 
-/** Totais de churn do diff (métricas do manifesto). */
-function churnTotals(classification: ClassificationResult): {
-	additions: number;
-	deletions: number;
-} {
-	let additions = 0;
-	let deletions = 0;
-	for (const entry of Object.values(classification.churn ?? {})) {
-		additions += entry.additions;
-		deletions += entry.deletions;
-	}
-	return { additions, deletions };
+/** Grava o manifesto da run (delegado ao `ManifestWriter`). */
+function writeManifest(
+	ctx: ReviewContext,
+	config: HoundsmanConfig,
+	opts: ReviewOptions,
+	classification: RunClassification,
+	activeIds: string[],
+	pending: string[],
+	jev: JevCandidatesFile,
+): void {
+	new ManifestWriter(
+		ctx.storage,
+		ctx.review,
+		ctx.work,
+		new ProjectConfig(config),
+		opts,
+	).write(classification, activeIds, pending, jev);
 }
 
 // ---------------------------------------------------------------------------
@@ -405,19 +159,21 @@ function churnTotals(classification: ClassificationResult): {
 function writeBriefs(
 	activeIds: string[],
 	classification: ClassificationResult,
-	dirs: Paths,
+	ctx: ReviewContext,
 	branch: string,
 	context: ContextSummary | null,
 	candidates: JevCandidate[],
 	config: HoundsmanConfig,
 ): void {
+	const work = ctx.work;
 	const docs = discoverDocs(Object.keys(classification.files), config);
 	const maxFilesPerBrief = resolveMaxFilesPerBrief(config);
+	const renderer = new BriefRenderer();
 	for (const id of activeIds) {
 		const def = findWatchdog(config, id);
 		if (!def) continue;
 		const { selected, overflow } = budgetFor(classification, id, maxFilesPerBrief);
-		const brief = renderBrief(def, {
+		const brief = renderer.render(new Watchdog(def), {
 			watchdogId: id,
 			files: selected,
 			statuses: classification.files,
@@ -425,13 +181,20 @@ function writeBriefs(
 			overflow,
 			deleted: classification.deleted,
 			branch,
-			outputPath: relFromRoot(join(dirs.findingsDir, `${id}.json`)),
+			outputPath: work.findingFile(id),
 			outputFormatPath: OUTPUT_FORMAT_PATH,
 			docs,
 			context,
 			candidates: candidates.filter((c) => c.watchdogId === id),
 		});
-		writeFileSync(join(dirs.briefsDir, `${id}.md`), `${brief}\n`);
+		const content = `${brief}\n`;
+		work.writeBrief(id, content);
+		// Auditoria: o brief também fica no storage (o staging é limpo no finalize).
+		ctx.storage.writeArtifact(ctx.review.id, {
+			name: `briefs/${id}.md`,
+			kind: "brief",
+			content,
+		});
 	}
 }
 
@@ -446,16 +209,16 @@ function writeBriefs(
 async function resolveCandidates(
 	opts: ReviewOptions,
 	classification: ClassificationResult,
-	dirs: Paths,
+	ctx: ReviewContext,
 	config: HoundsmanConfig,
 	diff: DiffSource,
 ): Promise<JevCandidatesFile> {
-	const store = new JevCandidatesStore(
-		join(dirs.outDir, "candidates.json"),
-		config.watchdogIds,
-	);
 	const save = (data: JevCandidatesFile): JevCandidatesFile => {
-		store.write(data);
+		ctx.storage.writeArtifact(ctx.review.id, {
+			name: "candidates.json",
+			kind: "candidates",
+			content: serializeCandidates(data),
+		});
 		return data;
 	};
 
@@ -494,138 +257,198 @@ async function resolveCandidates(
 	}
 }
 
-function printJevSummary(jev: JevCandidatesFile): void {
-	if (!jev.available) {
-		console.log(`Jev: pulado (${jev.reason}).`);
-		return;
-	}
+function jevSummary(jev: JevCandidatesFile): string[] {
+	if (!jev.available) return [`Jev: pulado (${jev.reason}).`];
 	const skipped = jev.skipped?.length ?? 0;
-	console.log(
+	return [
 		`Jev: ${jev.candidates.length} candidato(s) em ${jev.analyzedFiles ?? 0} arquivo(s)` +
 			(skipped > 0 ? `, ${skipped} com falha.` : "."),
-	);
+	];
 }
 
-function printDiscovery(
+function discoveryMessages(
 	activeIds: string[],
 	classification: ClassificationResult,
 	briefsDir: string,
-): void {
-	console.log(
+): string[] {
+	const messages = [
 		`Discovery: ${activeIds.length} watchdog(s) ativado(s), ${Object.keys(classification.files).length} arquivo(s), ${classification.deleted.length} deletado(s).`,
-	);
-	console.log(`Briefs: ${relFromRoot(briefsDir)}/`);
+		`Briefs: ${displayPath(briefsDir)}/`,
+	];
 	for (const file of classification.deleted) {
-		console.log(`Deletado (breaking change): ${file}`);
+		messages.push(`Deletado (breaking change): ${file}`);
 	}
+	return messages;
 }
 
 /** Resumo do orçamento — só quando algum arquivo ficou de fora (PR grande). */
-function printBudget(
+function budgetMessage(
 	classification: ClassificationResult,
 	config: HoundsmanConfig,
-): void {
+): string[] {
 	const maxFiles = resolveMaxFilesPerBrief(config);
 	let overflow = 0;
 	for (const id of Object.keys(classification.watchdogs)) {
 		overflow += budgetFor(classification, id, maxFiles).overflow.length;
 	}
-	if (overflow === 0) return;
-	console.log(
+	if (overflow === 0) return [];
+	return [
 		`Orçamento: ${maxFiles} arquivo(s)/brief — ${overflow} fora do orçamento (menor churn; registrar em skipped).`,
-	);
+	];
 }
 
+/** Resultado do prepare — mensagens para o CLI imprimir. */
+export type PrepareResult = { messages: string[] };
+
 /** Passo 1 — descobre os arquivos e grava briefs + manifesto. */
 export async function prepare(
 	opts: ReviewOptions,
 	branch: string,
 	config: HoundsmanConfig,
-	dirs: Paths = paths(opts, branch),
-): Promise<void> {
-	prepareDirs(dirs, opts.clean);
+	ctx: ReviewContext,
+): Promise<PrepareResult> {
+	const messages: string[] = [];
+	ctx.work.ensure();
+	if (opts.clean) ctx.work.cleanFindings();
+	ctx.storage.updateReview(ctx.review.id, { base: opts.base, head: opts.head });
 
 	// Marca o run como "revisando" (reinicia o ciclo) — a UI mostra o status.
-	writeRunStatus(dirs.outDir, { branch, status: "reviewing", resetStartedAt: true });
+	writeRunStatus(ctx.storage, ctx.review.id, {
+		status: "reviewing",
+		resetStartedAt: true,
+	});
 
 	// Marca o commit revisado e decide entre review completo e incremental.
 	const headSha = resolveSha(opts.head);
-	const previous = FindingsStateStore.at(opts.dir, branch).read();
-	const { classification, diff } = resolveReviewScope(opts, previous, headSha, config);
-	writeFileSync(
-		join(dirs.outDir, "classification.json"),
-		`${JSON.stringify(classification, null, 2)}\n`,
+	const previous = ctx.storage.readFindings(ctx.review.id);
+	const { classification, diff } = new ReviewScopeResolver(opts, config).resolve(
+		previous,
+		headSha,
 	);
+	ctx.storage.writeArtifact(ctx.review.id, {
+		name: "classification.json",
+		kind: "classification",
+		content: `${JSON.stringify(classification, null, 2)}\n`,
+	});
 
-	const jev = await resolveCandidates(opts, classification, dirs, config, diff);
+	const jev = await resolveCandidates(opts, classification, ctx, config, diff);
 
 	const activeIds = Object.keys(classification.watchdogs);
 	if (Object.keys(classification.files).length === 0) {
-		writeRunStatus(dirs.outDir, { branch, status: "review_done" });
-		console.log(
+		writeRunStatus(ctx.storage, ctx.review.id, { status: "review_done" });
+		messages.push(
 			classification.mode === "incremental"
 				? `Nenhuma alteração desde a última revisão (${shortSha(classification.reviewedFrom ?? "")}).`
 				: `Nenhuma alteração entre ${opts.base}...${opts.head}.`,
 		);
-		return;
+		return { messages };
 	}
 	if (activeIds.length === 0) {
-		writeRunStatus(dirs.outDir, { branch, status: "review_done" });
-		console.log("Nenhum arquivo revisável (tudo excluído, deletado ou irrelevante).");
-		return;
+		writeRunStatus(ctx.storage, ctx.review.id, { status: "review_done" });
+		messages.push(
+			"Nenhum arquivo revisável (tudo excluído, deletado ou irrelevante).",
+		);
+		return { messages };
 	}
 	if (classification.mode === "incremental") {
-		console.log(
+		messages.push(
 			`Modo incremental: ${Object.keys(classification.files).length} arquivo(s) alterado(s) desde ${shortSha(classification.reviewedFrom ?? "")}; ${classification.carryover?.length ?? 0} finding(s) carregado(s) do review anterior.`,
 		);
 	}
 
-	const context = readContextSummary(contextPaths(opts.dir, branch).summary);
+	const context = ctx.work.readContextSummary() ?? readPersistedContextSummary(ctx);
+	persistContext(ctx);
 
-	writeBriefs(activeIds, classification, dirs, branch, context, jev.candidates, config);
-	writeManifest(
-		dirs.outDir,
-		opts,
-		branch,
-		classification,
-		activeIds,
-		activeIds,
-		jev,
-		config,
+	writeBriefs(activeIds, classification, ctx, branch, context, jev.candidates, config);
+	writeManifest(ctx, config, opts, classification, activeIds, activeIds, jev);
+
+	messages.push(
+		...discoveryMessages(activeIds, classification, ctx.work.briefsDir),
+		...budgetMessage(classification, config),
+		...jevSummary(jev),
 	);
-	printDiscovery(activeIds, classification, dirs.briefsDir);
-	printBudget(classification, config);
-	printJevSummary(jev);
 
 	if (context) {
-		console.log("Contexto da PR resumido e injetado nos briefs.");
+		messages.push("Contexto da PR resumido e injetado nos briefs.");
 	} else {
-		console.log(
+		messages.push(
 			"Sem contexto da PR (rode `bun run houndsman context` antes, se houver PR).",
 		);
 	}
 
-	console.log(
-		`\nPróximo passo: despachar os sub-agentes (um por brief em ${relFromRoot(dirs.briefsDir)}/).`,
+	messages.push(
+		`\nPróximo passo: despachar os sub-agentes (um por brief em ${displayPath(ctx.work.briefsDir)}/).`,
+		"Quando os findings estiverem gravados: bun run houndsman --finalize",
 	);
-	console.log("Quando os findings estiverem gravados: bun run houndsman --finalize");
+
+	return { messages };
+}
+/** Persiste o contexto da PR (bruto + resumo) como artefatos, quando existirem. */
+function persistContext(ctx: ReviewContext): void {
+	const raw = ctx.work.readContextRaw();
+	if (raw !== null) {
+		ctx.storage.writeArtifact(ctx.review.id, {
+			name: "context.json",
+			kind: "context",
+			content: raw,
+		});
+	}
+	const summary = ctx.work.readContextSummaryRaw();
+	if (summary !== null) {
+		ctx.storage.writeArtifact(ctx.review.id, {
+			name: "context-summary.json",
+			kind: "context-summary",
+			content: summary,
+		});
+	}
+	const brief = ctx.work.readContextBriefRaw();
+	if (brief !== null) {
+		ctx.storage.writeArtifact(ctx.review.id, {
+			name: "context-brief.md",
+			kind: "context-brief",
+			content: brief,
+		});
+	}
 }
 
 // ---------------------------------------------------------------------------
 // Passo 2 — finalizar
 // ---------------------------------------------------------------------------
 
-/** Lê o classification.json gravado pelo passo de preparação (lança se ausente). */
-function readClassification(classificationPath: string): RunClassification {
-	if (!existsSync(classificationPath)) {
+/** Lê o `classification.json` persistido pelo prepare (lança se ausente). */
+function readClassification(ctx: ReviewContext): RunClassification {
+	const artifact = ctx.storage.readArtifact(ctx.review.id, "classification.json");
+	if (!artifact) {
 		throw new Error(
-			`Não encontrei ${relFromRoot(classificationPath)}. Rode \`bun run houndsman\` (preparar) primeiro.`,
+			`Não encontrei a classificação da review. Rode \`bun run houndsman\` (preparar) primeiro.`,
 		);
 	}
-	const parsed = JSON.parse(
-		readFileSync(classificationPath, "utf8"),
-	) as RunClassification;
-	return parsed;
+	return JSON.parse(artifact.content) as RunClassification;
+}
+
+/** Lê os candidatos Jev persistidos (unavailable se ausente/inválido). */
+function readCandidates(ctx: ReviewContext, config: HoundsmanConfig): JevCandidatesFile {
+	const artifact = ctx.storage.readArtifact(ctx.review.id, "candidates.json");
+	if (!artifact) return JevCandidatesStore.unavailable("candidates.json ausente");
+	try {
+		return (
+			parseCandidates(JSON.parse(artifact.content), config.watchdogIds) ??
+			JevCandidatesStore.unavailable("candidates.json inválido")
+		);
+	} catch {
+		return JevCandidatesStore.unavailable("candidates.json inválido");
+	}
+}
+
+/** Resumo do contexto persistido (usado quando o staging já foi limpo). */
+function readPersistedContextSummary(ctx: ReviewContext): ContextSummary | null {
+	const artifact = ctx.storage.readArtifact(ctx.review.id, "context-summary.json");
+	if (!artifact) return null;
+	try {
+		return parseContextSummary(JSON.parse(artifact.content));
+	} catch {
+		return null;
+	}
 }
 
 /**
@@ -633,7 +456,7 @@ function readClassification(classificationPath: string): RunClassification {
  * Mantém o `review.md` consolidado navegável em PRs grandes (centenas de achados).
  */
 function writeDomainReports(
-	outDir: string,
+	ctx: ReviewContext,
 	branch: string,
 	reports: WatchdogReport[],
 	classification: ClassificationResult,
@@ -641,22 +464,23 @@ function writeDomainReports(
 	nameOf: (id: string) => string,
 ): DomainReport[] {
 	const domains: DomainReport[] = [];
+	const renderer = new ReportRenderer(nameOf);
 	for (const report of reports) {
 		const findings = dedupeFindings([report]);
 		if (findings.length === 0) continue;
 		const file = `review.${sanitizeBranch(report.watchdogId)}.md`;
 		const expected = classification.watchdogs[report.watchdogId] ?? [];
-		writeFileSync(
-			join(outDir, file),
-			`${renderDomainReport(
+		ctx.storage.writeArtifact(ctx.review.id, {
+			name: file,
+			kind: "domain-review",
+			content: `${renderer.renderDomain(
 				branch,
 				report,
 				findings,
 				expected.length,
 				context,
-				nameOf,
 			)}\n`,
-		);
+		});
 		domains.push({
 			id: report.watchdogId,
 			name: nameOf(report.watchdogId),
@@ -673,6 +497,7 @@ export type FinalizeResult = {
 	reportPath: string;
 	blockers: number;
 	attention: number;
+	messages: string[];
 };
 
 /**
@@ -683,43 +508,32 @@ export function finalize(
 	opts: ReviewOptions,
 	branch: string,
 	config: HoundsmanConfig,
-	dirs: Paths = paths(opts, branch),
+	ctx: ReviewContext,
 ): FinalizeResult {
-	const classification = readClassification(join(dirs.outDir, "classification.json"));
+	const classification = readClassification(ctx);
 	const activeIds = Object.keys(classification.watchdogs);
 
-	const { reports, pending } = readFindings(dirs.findingsDir, activeIds);
-	const jev =
-		new JevCandidatesStore(
-			join(dirs.outDir, "candidates.json"),
-			config.watchdogIds,
-		).read() ?? JevCandidatesStore.unavailable("candidates.json ausente");
-	writeManifest(
-		dirs.outDir,
-		opts,
-		branch,
-		classification,
-		activeIds,
-		pending,
-		jev,
-		config,
-	);
+	const messages: string[] = [];
+	const { reports, pending, warnings } = ctx.work.readFindings(activeIds);
+	messages.push(...warnings);
+	const jev = readCandidates(ctx, config);
+	writeManifest(ctx, config, opts, classification, activeIds, pending, jev);
 
 	if (pending.length > 0) {
 		throw new Error(
 			`Faltam ${pending.length}/${activeIds.length} findings: ${pending.join(", ")}.\n` +
-				`Cada watchdog deve gravar ${relFromRoot(dirs.findingsDir)}/<id>.json (schema ${OUTPUT_FORMAT_PATH}).`,
+				`Cada watchdog deve gravar ${displayPath(ctx.work.findingsDir)}/<id>.json (schema ${OUTPUT_FORMAT_PATH}).`,
 		);
 	}
 
-	const now = new Date().toISOString();
+	const now = systemClock();
 	// Findings re-reportados neste ciclo + carry-over (arquivos inalterados).
 	const merged = mergeCarryover(
 		dedupeFindings(reports),
 		classification.carryover ?? [],
 	);
 	if (classification.mode === "incremental") {
-		console.log(
+		messages.push(
 			`Carry-over: ${classification.carryover?.length ?? 0} finding(s) preservado(s) de ${shortSha(classification.reviewedFrom ?? "")}.`,
 		);
 	}
@@ -728,53 +542,65 @@ export function finalize(
 	// anexa o `id` de cada finding aos itens do relatório. A linha é cache —
 	// recalculada por `houndsman findings sync` após edições. O commit revisado
 	// (`reviewed.headSha`) habilita o review incremental e o diff focado do verify.
-	const store = FindingsStateStore.at(opts.dir, branch);
 	const state = buildStateFromFindings(merged, {
 		branch,
 		readFile: fileReader(process.cwd()),
-		previous: store.read(),
+		previous: ctx.storage.readFindings(ctx.review.id),
 		now,
 		headSha: classification.headSha,
 		reviewed: classification.headSha
 			? { headSha: classification.headSha, at: now }
 			: undefined,
 	});
-	store.write(state);
-	console.log(
-		`Triagem: ${relFromRoot(store.filePath)} — ${Object.keys(state.findings).length} finding(s).`,
-	);
-	writeRunStatus(dirs.outDir, { branch, status: "review_done" });
+	ctx.storage.writeFindings(ctx.review.id, state);
+	ctx.storage.updateReview(ctx.review.id, {
+		base: opts.base,
+		head: opts.head,
+		headSha: classification.headSha,
+	});
+	writeRunStatus(ctx.storage, ctx.review.id, { status: "review_done" });
 
-	const context = readContextSummary(contextPaths(opts.dir, branch).summary);
+	persistContext(ctx);
+	const context = ctx.work.readContextSummary() ?? readPersistedContextSummary(ctx);
 	const nameOf = (id: string): string => findWatchdog(config, id)?.name ?? id;
 	const domains = writeDomainReports(
-		dirs.outDir,
+		ctx,
 		branch,
 		reports,
 		classification,
 		context,
 		nameOf,
 	);
-	const markdown = renderReport(
+	const markdown = new ReportRenderer(nameOf).render(
 		branch,
 		reports,
 		merged,
 		{ classified: classification.watchdogs },
 		context,
 		jev.available ? jev.candidates : undefined,
-		nameOf,
 		domains,
 	);
-	const reportPath = join(dirs.outDir, "review.md");
-	writeFileSync(reportPath, `${incrementalNote(classification)}${markdown}\n`);
+	ctx.storage.writeArtifact(ctx.review.id, {
+		name: REVIEW_FILE,
+		kind: "review",
+		content: `${incrementalNote(classification)}${markdown}\n`,
+	});
+
+	const location = ctx.storage.location(ctx.review.id);
+	messages.push(
+		`Triagem: ${location} — ${Object.keys(state.findings).length} finding(s).`,
+	);
 
 	const blockers = merged.filter((f) => f.severity === "blocking").length;
 	const attention = merged.filter((f) => f.severity === "attention").length;
-	console.log(
-		`Relatório: ${relFromRoot(reportPath)} — ${blockers} bloqueante(s), ${attention} atenção.`,
+	messages.push(
+		`Relatório: ${location} — ${blockers} bloqueante(s), ${attention} atenção.`,
 	);
 
-	return { reportPath, blockers, attention };
+	// O staging já cumpriu o papel (briefs/findings/contexto estão no storage).
+	ctx.work.clean();
+
+	return { reportPath: location, blockers, attention, messages };
 }
 
 /** Resolve a branch (opção explícita ou a atual do git). */