@payconductor/houndsman 0.12.0 → 0.14.0

package/src/tests/__snapshots__/baseline.test.ts.snap

@@ -40,11 +40,11 @@ src/alpha/**
 - \`src/alpha/a.ts\` (modified, +3/−1)
 - \`src/alpha/b.ts\` (added, +2/−0)
 
-## Fora do orçamento (NÃO revisar)
+## Fora do recorte (NÃO revisar)
 
-> 1 arquivo(s) do seu domínio ficaram fora do orçamento
-> (menor churn). Não os leia: registre-os em \`skipped\` com o motivo
-> "budget" para que a cobertura do relatório fique honesta.
+> 1 arquivo(s) do escopo ficaram fora do recorte
+> (orçamento ou prioridade de fluxo). Não os leia: registre-os em \`skipped\`
+> com o motivo (\`budget\` ou \`fora do fluxo\`) para que a cobertura fique honesta.
 
 - \`src/alpha/c.ts\`
 
@@ -60,111 +60,22 @@ src/alpha/**
 
 - \`src/alpha/old.ts\`
 
-## Procedimento
-
-1. **FILTER** — descarte o que não for do seu domínio (ver *Prioridade de leitura* e *Não carregar*).
-2. **READ SCOPE** — carregue apenas as faixas alteradas em *Escopo do diff*; o restante do arquivo é só contexto.
-3. **GREP** — use as regras críticas/anti-padrões como heurística para localizar violações nas faixas alteradas.
-4. **DEEP-READ** — aprofunde apenas as faixas com suspeita de violação dentro do escopo.
-5. **CONCLUDE** — grave o JSON no caminho de output, com \`reviewedFiles\` preenchido e \`line\` dentro das faixas alteradas. Sem achados → \`"findings": []\` (arquivo obrigatório). Não escreva markdown livre."
-`;
-
-exports[`baseline — relatório renderReport consolidado 1`] = `
-"# PR Review — feature/x
-
-**Data:** <date>
-**Watchdogs ativos:** alpha, beta
-**Achados:** 1 bloqueantes · 1 atenção · 0 sugestões · 0 nits
-
-## Contexto da PR
-
-**PR:** #42 Entrega X — https://example.test/pull/42
-**Branch:** \`feature/x\` → \`main\`
-**Objetivo:** Entregar X
-**Motivação:** Reduzir Y
-
-**Resumo das alterações:**
-
-- Faz A
-- Remove B
+## Orçamento de exploração
 
-## Relatórios por domínio
-
-| Watchdog | Achados | Revisados | Relatório |
-|---|---|---|---|
-| Alpha | 2 | 2/2 | [\`review.alpha.md\`](review.alpha.md) |
-
-## Cobertura
-
-| Watchdog | Arquivos revisados | Findings |
-|---|---|---|
-| Alpha | 2 | 2 |
-| Beta | 1 | 0 |
-
-## Conclusão
-
-**Status:** ❌ Mudanças Necessárias
-**Resumo:** 1 violações bloqueantes, 1 pontos de atenção, 0 sugestões e 0 nits.
-
-## ❌ blocking
-
-### \`src/alpha/a.ts\`
-
-- **Nunca usar \`any\`.** — \`src/alpha/a.ts:1\` · _Alpha_ · \`id-alpha\`
-  any detectado
-  **Ação:** tipar
-  **Evidência:** \`export const a: any = 1;\`
-
-## ⚠️ attention
-
-### \`src/alpha/b.ts\`
+> O diff já está no brief. Limite **neste brief**: 6 leitura(s) de arquivo
+> e 6 busca(s) (grep).
+> Abra arquivo só para chamador/contexto de um símbolo citado nos trechos.
+> Se a prova não estiver no brief nem nesse orçamento, **não é achado** —
+> registre a dúvida no campo \`action\` do finding mais próximo ou descarte.
 
-- **Promover: validar a entrada.** — \`src/alpha/b.ts:2\` · _Alpha, Beta_ · \`id-beta\`
-  sem validação
-  **Ação:** adicionar schema
-"
-`;
-
-exports[`baseline — relatório renderDomainReport isolado 1`] = `
-"# Review — Alpha (\`alpha\`) — feature/x
-
-**Data:** <date>
-**Arquivos revisados:** 2/2
-**Achados:** 2
-
-## Contexto da PR
-
-**PR:** #42 Entrega X — https://example.test/pull/42
-**Branch:** \`feature/x\` → \`main\`
-**Objetivo:** Entregar X
-**Motivação:** Reduzir Y
-
-**Resumo das alterações:**
-
-- Faz A
-- Remove B
-
-## ❌ blocking
-
-### \`src/alpha/a.ts\`
-
-- **Nunca usar \`any\`.** — \`src/alpha/a.ts:1\` · _Alpha_ · \`id-alpha\`
-  any detectado
-  **Ação:** tipar
-  **Evidência:** \`export const a: any = 1;\`
-
-## ⚠️ attention
-
-### \`src/alpha/b.ts\`
-
-- **Promover: validar a entrada.** — \`src/alpha/b.ts:2\` · _Alpha, Beta_ · \`id-beta\`
-  sem validação
-  **Ação:** adicionar schema
-
-## Não revisados
+## Procedimento
 
-- \`src/alpha/c.ts\`
-"
+1. **RECONSTRUCT** — leia o recorte do *Modelo de intenção (negócio)* e diga para si mesmo o que a mudança DEVE entregar (fluxos, invariantes, contratos). Sem modelo, derive do contexto da PR.
+2. **SCOPE** — os *Trechos alterados (diff)* já estão no brief: **não releia o arquivo inteiro** para vê-los. Trecho com o marcador \`… [trecho truncado]\` pode ser aberto, uma vez, para o restante.
+3. **TRACE** — siga cada símbolo alterado até seus chamadores, adapters e tipos compartilhados **dentro do seu domínio** (use os importadores do AST), **dentro do orçamento de exploração** (seção acima). Priorize os arquivos de maior churn.
+4. **GREP** — use as regras críticas/anti-padrões como heurística para localizar violações nas faixas alteradas, **dentro do orçamento**. Pare quando tiver a prova: repetir busca não aumenta certeza.
+5. **PROVE** — para cada suspeita, descreva gatilho → comportamento observado → invariante/regra violada. Sem prova, não é achado. Trecho com o marcador de truncamento só sustenta achado depois de abrir o arquivo para ver o restante.
+6. **CONCLUDE** — grave o JSON no caminho de output. \`reviewedFiles\` é um subconjunto de \`## Arquivos do seu domínio\` (só o que você revisou; **não** liste chamadores/importadores nem arquivos de outros domínios) e o que ficou de fora entra em \`skipped\` ("budget", "truncated" ou "fora do fluxo"). Máximo de 20 achados: priorize severidade e agrupe ocorrências idênticas. \`line\` dentro das faixas alteradas. Sem achados → \`"findings": []\` (arquivo obrigatório). Não escreva markdown livre."
 `;
 
 exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 1`] = `
@@ -180,7 +91,7 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 1
   ".houndsman/core/skill/OUTPUT-FORMAT.md",
   ".houndsman/core/skill/README.md",
   ".houndsman/core/skill/SETUP.md",
-  ".houndsman/core/skill/example-review.md",
+  ".houndsman/core/skill/example-resume.md",
   ".houndsman/core/skill/fix.md",
   ".houndsman/core/skill/hunt.md",
   ".houndsman/core/skill/train.md",
@@ -214,6 +125,11 @@ consolida tudo num relatório. O motor é o CLI **\`houndsman\`**; as regras do
 **Terminologia:** **houndsman** = orquestrador/treinador (CLI + motor) · **watchdog** = agente
 especialista por domínio · **finding** = um achado da revisão · **Jev** = pré-análise opcional.
 
+> **Duas etapas são obrigatórias em toda revisão:** o **modelo de intenção**
+> (\`business-summary.json\`) e o revisor de fluxo **\`general\`** (id reservado, sempre ativo).
+> O modelo vem da IA no prepare quando há chave; sem chave, um subagente (Passo 1.5) ou o
+> pré-passe maki o produz. Nenhum dos dois é configurável pelo usuário.
+
 ## Capabilities
 
 | Capability | Objetivo | Documento |
@@ -238,6 +154,10 @@ especialista por domínio · **finding** = um achado da revisão · **Jev** = pr
 Um argumento extra é o alvo da capability. Escolha a capability pelo que o usuário quer,
 leia o documento correspondente em \`.houndsman/core/skill/<capability>.md\` e siga-o.
 
+> **Harness local (opcional):** para rodar sem agente externo, o operador pode instalar o
+> maki (\`houndsman hunt install\`) e usar \`houndsman hunt --pr 456\`. Isso não muda esta
+> skill: se você é o agente, siga o fluxo normal e não rode \`houndsman hunt\`.
+
 ### Alvo da revisão (PR × branch)
 
 Interprete o alvo em linguagem natural **antes** de rodar o CLI:
@@ -256,12 +176,16 @@ Interprete o alvo em linguagem natural **antes** de rodar o CLI:
 Sequência para uma PR (ex.: 456):
 
 \`\`\`bash
-houndsman context --pr 456
-houndsman --pr 456                 # cria/reusa o worktree e imprime o caminho
-# despache os briefs (cada um traz **Worktree:** <path>)
+houndsman --pr 456                 # cria/reusa o worktree, coleta o contexto e prepara
+# despache os briefs em paralelo (cada um traz **Worktree:** <path>)
 houndsman --pr 456 --finalize
 \`\`\`
 
+- O contexto da PR é coletado pelo próprio prepare (via \`gh\`); com IA ligada ele também é
+  resumido ali — não gaste um subagente nisso. Desative com \`--no-context\`.
+- Para comparar duas execuções, use \`--variant <label>\` em cada uma e depois
+  \`houndsman compare --branch <head> --a <a> --b <b>\` (ou \`compare --list\`).
+
 - O worktree vive em \`<repo>/.houndsman/worktrees/<repo>/<branch>\` (detached no commit da PR)
   e é reutilizado nas próximas execuções da mesma branch. Ele fica **dentro do workspace**
   (e o staging também) para o agente ler/executar sem prompts de permissão.
@@ -279,7 +203,7 @@ houndsman --pr 456 --finalize
 - \`.houndsman/core/skill/OUTPUT-FORMAT.md\` — schema do JSON de saída dos watchdogs.
 - \`.houndsman/core/skill/AUDIT-PROTOCOL.md\` — taxonomia da auditoria de regras (Modo B do \`train\`).
 - \`.houndsman/core/skill/SETUP.md\` · \`.houndsman/core/skill/README.md\` — configuração e visão geral.
-- \`.houndsman/core/skill/example-review.md\` — exemplo de relatório.
+- \`.houndsman/core/skill/example-resume.md\` — exemplo do resumo final.
 "
 ,
   ".claude/skills/houndsman/SKILL.md": 
@@ -299,6 +223,11 @@ consolida tudo num relatório. O motor é o CLI **\`houndsman\`**; as regras do
 **Terminologia:** **houndsman** = orquestrador/treinador (CLI + motor) · **watchdog** = agente
 especialista por domínio · **finding** = um achado da revisão · **Jev** = pré-análise opcional.
 
+> **Duas etapas são obrigatórias em toda revisão:** o **modelo de intenção**
+> (\`business-summary.json\`) e o revisor de fluxo **\`general\`** (id reservado, sempre ativo).
+> O modelo vem da IA no prepare quando há chave; sem chave, um subagente (Passo 1.5) ou o
+> pré-passe maki o produz. Nenhum dos dois é configurável pelo usuário.
+
 ## Capabilities
 
 | Capability | Objetivo | Documento |
@@ -323,6 +252,10 @@ especialista por domínio · **finding** = um achado da revisão · **Jev** = pr
 Um argumento extra é o alvo da capability. Escolha a capability pelo que o usuário quer,
 leia o documento correspondente em \`.houndsman/core/skill/<capability>.md\` e siga-o.
 
+> **Harness local (opcional):** para rodar sem agente externo, o operador pode instalar o
+> maki (\`houndsman hunt install\`) e usar \`houndsman hunt --pr 456\`. Isso não muda esta
+> skill: se você é o agente, siga o fluxo normal e não rode \`houndsman hunt\`.
+
 ### Alvo da revisão (PR × branch)
 
 Interprete o alvo em linguagem natural **antes** de rodar o CLI:
@@ -341,12 +274,16 @@ Interprete o alvo em linguagem natural **antes** de rodar o CLI:
 Sequência para uma PR (ex.: 456):
 
 \`\`\`bash
-houndsman context --pr 456
-houndsman --pr 456                 # cria/reusa o worktree e imprime o caminho
-# despache os briefs (cada um traz **Worktree:** <path>)
+houndsman --pr 456                 # cria/reusa o worktree, coleta o contexto e prepara
+# despache os briefs em paralelo (cada um traz **Worktree:** <path>)
 houndsman --pr 456 --finalize
 \`\`\`
 
+- O contexto da PR é coletado pelo próprio prepare (via \`gh\`); com IA ligada ele também é
+  resumido ali — não gaste um subagente nisso. Desative com \`--no-context\`.
+- Para comparar duas execuções, use \`--variant <label>\` em cada uma e depois
+  \`houndsman compare --branch <head> --a <a> --b <b>\` (ou \`compare --list\`).
+
 - O worktree vive em \`<repo>/.houndsman/worktrees/<repo>/<branch>\` (detached no commit da PR)
   e é reutilizado nas próximas execuções da mesma branch. Ele fica **dentro do workspace**
   (e o staging também) para o agente ler/executar sem prompts de permissão.
@@ -364,7 +301,7 @@ houndsman --pr 456 --finalize
 - \`.houndsman/core/skill/OUTPUT-FORMAT.md\` — schema do JSON de saída dos watchdogs.
 - \`.houndsman/core/skill/AUDIT-PROTOCOL.md\` — taxonomia da auditoria de regras (Modo B do \`train\`).
 - \`.houndsman/core/skill/SETUP.md\` · \`.houndsman/core/skill/README.md\` — configuração e visão geral.
-- \`.houndsman/core/skill/example-review.md\` — exemplo de relatório.
+- \`.houndsman/core/skill/example-resume.md\` — exemplo do resumo final.
 "
 ,
   ".houndsman/.gitignore": 
@@ -489,6 +426,7 @@ export type AiProviderOptions = Record<string, Record<string, unknown>>;
 /** Features de IA do fluxo normal (todas fail-open). */
 export type HoundsmanAiFeatures = {
 	context?: boolean;
+	business?: boolean;
 	brief?: boolean;
 	technical?: boolean;
 	classification?: boolean;
@@ -516,6 +454,28 @@ export type HoundsmanAi = {
 	watchdogs?: Record<string, HoundsmanAiWatchdog>;
 };
 
+/** Harness local da capability \`hunt\` (\`houndsman hunt\`) — opcional. */
+export type HoundsmanHunt = {
+	enabled?: boolean;
+	model?: string;
+	concurrency?: number;
+	timeoutMs?: number;
+	retries?: number;
+	binaryPath?: string;
+};
+
+/**
+ * Prioridade por caminho.
+ *
+ * \`bonus\` promove (linhas de churn equivalentes) e \`maxRiskFromChurn\` satura o
+ * superchurn de caminhos de baixa criticidade.
+ */
+export type HoundsmanPriority = {
+	pattern: RegExp;
+	bonus?: number;
+	maxRiskFromChurn?: number;
+};
+
 /** Contrato de configuração do motor. */
 export type HoundsmanConfig<TId extends string = string> = {
 	projectName: string;
@@ -524,11 +484,14 @@ export type HoundsmanConfig<TId extends string = string> = {
 	watchdogs: Record<TId, WatchdogDefinition>;
 	exclusions: readonly RegExp[];
 	docMappings: readonly (readonly [RegExp, readonly string[]])[];
+	/** Prioridade por caminho (opcional; a primeira regra que casar vence). */
+	priorities?: readonly HoundsmanPriority[];
 	alwaysIncludeDocs?: readonly string[];
 	budgets?: HoundsmanBudgets;
 	concurrency?: HoundsmanConcurrency;
 	ast?: HoundsmanAst;
 	ai?: HoundsmanAi;
+	hunt?: HoundsmanHunt;
 };
 
 /** Helper de autoria (identidade) — apenas tipagem. */
@@ -607,6 +570,9 @@ import { exampleWatchdog } from "./example";
 /**
  * Definições dos watchdogs — as chaves definem o union \`WatchdogId\`.
  * Adicionar um watchdog = criar \`<id>.ts\` e registrá-lo aqui.
+ *
+ * NÃO declare um watchdog com id \`general\`: ele é reservado pelo motor
+ * (revisor de fluxo obrigatório) e é injetado em todo ciclo.
  */
 export const WATCHDOG_DEFINITIONS = {
 	default: defaultWatchdog,
@@ -634,6 +600,15 @@ export const houndsmanConfig = {
 	watchdogs: WATCHDOG_DEFINITIONS,
 	exclusions: EXCLUSION_PATTERNS,
 	docMappings: DOC_MAPPINGS,
+	// Prioridade por caminho (opcional): "linhas de churn equivalentes".
+	// \`bonus\` promove caminho crítico; \`maxRiskFromChurn\` satura o superchurn de
+	// caminho de baixa criticidade (risco = min(churn, teto) + bonus).
+	// A primeira regra que casar vence; sem regra, o risco é o churn puro.
+	// priorities: [
+	//   { pattern: /^src\\/(db|repositories)\\//, bonus: 300 },
+	//   { pattern: /^src\\/(services|domain)\\//, bonus: 200 },
+	//   { pattern: /^src\\/(components|styles)\\//, maxRiskFromChurn: 120 },
+	// ],
 } satisfies HoundsmanConfig;
 
 export default houndsmanConfig;
@@ -650,19 +625,19 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 3
   },
   {
     "file": ".houndsman/core/skill/OUTPUT-FORMAT.md",
-    "sha256": "a78ed16d4d211889",
+    "sha256": "49d36854d10f795c",
   },
   {
     "file": ".houndsman/core/skill/README.md",
-    "sha256": "9aadf51b48c7f304",
+    "sha256": "4d200cf9e5c1d748",
   },
   {
     "file": ".houndsman/core/skill/SETUP.md",
-    "sha256": "5e5335870f493aba",
+    "sha256": "e7f587d1c8e459d1",
   },
   {
-    "file": ".houndsman/core/skill/example-review.md",
-    "sha256": "d9e75054cc9811dc",
+    "file": ".houndsman/core/skill/example-resume.md",
+    "sha256": "4993f56afdf2ffd1",
   },
   {
     "file": ".houndsman/core/skill/fix.md",
@@ -670,7 +645,7 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 3
   },
   {
     "file": ".houndsman/core/skill/hunt.md",
-    "sha256": "dfaec1a665d7ee65",
+    "sha256": "0a81003a5b39b84a",
   },
   {
     "file": ".houndsman/core/skill/train.md",
@@ -683,25 +658,31 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 3
 ]
 `;
 
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state 1`] = `
-"Discovery: 1 watchdog(s) ativado(s), 3 arquivo(s), 1 deletado(s).
+exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, resumo e state 1`] = `
+"Discovery: 1 watchdog(s) de domínio + revisor general, 3 arquivo(s), 1 deletado(s).
 Briefs: <cwd>/.home/work/<uuid>/briefs/
 Deletado (breaking change): src/alpha/old.ts
 Escopo: 2 arquivo(s), 0 símbolo(s) em 2 faixa(s) alterada(s).
+Escopo: 2 arquivo(s) em mais de um domínio (máx. 2) — cada domínio revisa o arquivo com o seu recorte.
 Jev: pulado (desativado (--no-jev)).
 AST: desabilitado ou sem grammar compatível.
 Sem contexto da PR (rode \`bun run houndsman context\` antes, se houver PR).
+Intenção da PR determinística (1 fluxo(s)) — enriquecida no passo de intenção (<cwd>/.home/work/<uuid>/business-brief.md).
 
 Próximo passo: despachar os sub-agentes (um por brief em <cwd>/.home/work/<uuid>/briefs/).
 Quando os findings estiverem gravados: bun run houndsman --finalize"
 `;
 
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state: classification.json 1`] = `
+exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, resumo e state: classification.json 1`] = `
 "{
   "watchdogs": {
     "alpha": [
       "src/alpha/a.ts",
       "src/alpha/b.ts"
+    ],
+    "general": [
+      "src/alpha/a.ts",
+      "src/alpha/b.ts"
     ]
   },
   "files": {
@@ -735,7 +716,8 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
     "src/alpha/old.ts"
   ],
   "stats": {
-    "alpha": 2
+    "alpha": 2,
+    "general": 2
   },
   "excludedCount": 0,
   "headSha": "<sha>",
@@ -766,7 +748,7 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
 "
 `;
 
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state: manifest.json 1`] = `
+exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, resumo e state: manifest.json 1`] = `
 "{
   "branch": "main",
   "slug": "main",
@@ -795,12 +777,31 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
       "brief": "<cwd>\\\\.home\\\\work\\\\<uuid>\\\\briefs\\\\alpha.md",
       "findings": "<cwd>\\\\.home\\\\work\\\\<uuid>\\\\findings\\\\alpha.json",
       "status": "pending"
+    },
+    {
+      "id": "general",
+      "name": "Lógica e domínio (fluxo)",
+      "files": [
+        "src/alpha/a.ts",
+        "src/alpha/b.ts"
+      ],
+      "overflow": 0,
+      "brief": "<cwd>\\\\.home\\\\work\\\\<uuid>\\\\briefs\\\\general.md",
+      "findings": "<cwd>\\\\.home\\\\work\\\\<uuid>\\\\findings\\\\general.json",
+      "status": "pending"
     }
   ],
   "context": {
     "summarized": false,
     "source": null
   },
+  "business": {
+    "source": "deterministic",
+    "flows": 1,
+    "invariants": 0,
+    "contracts": 0,
+    "states": 0
+  },
   "jev": {
     "available": false,
     "reason": "desativado (--no-jev)"
@@ -824,7 +825,7 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
 "
 `;
 
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state: briefs/alpha.md 1`] = `
+exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, resumo e state: briefs/alpha.md 1`] = `
 "# Brief — Alpha (\`alpha\`)
 
 **Branch:** main
@@ -849,6 +850,47 @@ src/alpha/**
 - \`src/alpha/a.ts\` — linhas 1-2 _(faixas do diff)_
 - \`src/alpha/b.ts\` — linhas 1 _(faixas do diff)_
 
+## Modelo de intenção (negócio)
+
+> Fonte: determinístico. Use para saber o que a mudança **deve** entregar; não é achado.
+
+> Recorte do seu domínio: fluxos/arquivos de outros domínios pertencem a outros watchdogs — não os investigue.
+
+**Fluxos (1):**
+- **Alpha**
+  arquivos: src/alpha/a.ts, src/alpha/b.ts
+
+## Trechos alterados (diff)
+
+> Trechos já extraídos do diff (\`-U0\`, só linhas alteradas). Eles bastam
+> para achar violações: **não abra os arquivos apenas para reler o que já
+> está aqui**. Use o arquivo só para contexto adjacente ou chamadores.
+
+### \`src/alpha/a.ts\`
+
+\`\`\`diff
+diff --git a/src/alpha/a.ts b/src/alpha/a.ts
+index cc798ff..bc84e2e 100644
+--- a/src/alpha/a.ts
++++ b/src/alpha/a.ts
+@@ -1 +1,2 @@
+-export const a = 1;
++export const a: any = 1;
++export const b = 2;
+\`\`\`
+
+### \`src/alpha/b.ts\`
+
+\`\`\`diff
+diff --git a/src/alpha/b.ts b/src/alpha/b.ts
+new file mode 100644
+index 0000000..f4082f0
+--- /dev/null
++++ b/src/alpha/b.ts
+@@ -0,0 +1 @@
++export const b = 3;
+\`\`\`
+
 ## Regras (por severidade)
 
 - ❌ **blocking** — Nunca usar \`any\`.
@@ -867,77 +909,62 @@ src/alpha/**
 
 - \`src/alpha/old.ts\`
 
+## Orçamento de exploração
+
+> O diff já está no brief. Limite **neste brief**: 6 leitura(s) de arquivo
+> e 6 busca(s) (grep).
+> Abra arquivo só para chamador/contexto de um símbolo citado nos trechos.
+> Se a prova não estiver no brief nem nesse orçamento, **não é achado** —
+> registre a dúvida no campo \`action\` do finding mais próximo ou descarte.
+
 ## Procedimento
 
-1. **FILTER** — descarte o que não for do seu domínio (ver *Prioridade de leitura* e *Não carregar*).
-2. **READ SCOPE** — carregue apenas as faixas alteradas em *Escopo do diff*; o restante do arquivo é só contexto.
-3. **GREP** — use as regras críticas/anti-padrões como heurística para localizar violações nas faixas alteradas.
-4. **DEEP-READ** — aprofunde apenas as faixas com suspeita de violação dentro do escopo.
-5. **CONCLUDE** — grave o JSON no caminho de output, com \`reviewedFiles\` preenchido e \`line\` dentro das faixas alteradas. Sem achados → \`"findings": []\` (arquivo obrigatório). Não escreva markdown livre.
+1. **RECONSTRUCT** — leia o recorte do *Modelo de intenção (negócio)* e diga para si mesmo o que a mudança DEVE entregar (fluxos, invariantes, contratos). Sem modelo, derive do contexto da PR.
+2. **SCOPE** — os *Trechos alterados (diff)* já estão no brief: **não releia o arquivo inteiro** para vê-los. Trecho com o marcador \`… [trecho truncado]\` pode ser aberto, uma vez, para o restante.
+3. **TRACE** — siga cada símbolo alterado até seus chamadores, adapters e tipos compartilhados **dentro do seu domínio** (use os importadores do AST), **dentro do orçamento de exploração** (seção acima). Priorize os arquivos de maior churn.
+4. **GREP** — use as regras críticas/anti-padrões como heurística para localizar violações nas faixas alteradas, **dentro do orçamento**. Pare quando tiver a prova: repetir busca não aumenta certeza.
+5. **PROVE** — para cada suspeita, descreva gatilho → comportamento observado → invariante/regra violada. Sem prova, não é achado. Trecho com o marcador de truncamento só sustenta achado depois de abrir o arquivo para ver o restante.
+6. **CONCLUDE** — grave o JSON no caminho de output. \`reviewedFiles\` é um subconjunto de \`## Arquivos do seu domínio\` (só o que você revisou; **não** liste chamadores/importadores nem arquivos de outros domínios) e o que ficou de fora entra em \`skipped\` ("budget", "truncated" ou "fora do fluxo"). Máximo de 20 achados: priorize severidade e agrupe ocorrências idênticas. \`line\` dentro das faixas alteradas. Sem achados → \`"findings": []\` (arquivo obrigatório). Não escreva markdown livre.
 "
 `;
 
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state 2`] = `
+exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, resumo e state 2`] = `
 "Triagem: sqlite:<cwd>\\houndsman.db#<uuid> — 1 finding(s).
-Relatório: sqlite:<cwd>\\houndsman.db#<uuid> — 1 bloqueante(s), 0 atenção."
+Resumo: sqlite:<cwd>\\houndsman.db#<uuid> (review-resume.md) — 1 bloqueante(s), 0 atenção."
 `;
 
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state: review.md 1`] = `
-"# PR Review — main
+exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, resumo e state: review-resume.md 1`] = `
+"# Resumo da revisão — main
 
-**Data:** <date>
-**Watchdogs ativos:** alpha
-**Achados:** 1 bloqueantes · 0 atenção · 0 sugestões · 0 nits
+**Data:** <date> · **Status:** ❌ Mudanças necessárias
 
-## Relatórios por domínio
+## Resumo de negócio
 
-| Watchdog | Achados | Revisados | Relatório |
-|---|---|---|---|
-| Alpha | 1 | 2/2 | [\`review.alpha.md\`](review.alpha.md) |
+**Fluxos (1):**
+- **Alpha**
+  arquivos: src/alpha/a.ts, src/alpha/b.ts
 
-## Cobertura
+## Pontos técnicos
 
-| Watchdog | Arquivos revisados | Findings |
-|---|---|---|
-| Alpha | 2 | 1 |
-
-## Conclusão
-
-**Status:** ❌ Mudanças Necessárias
-**Resumo:** 1 violações bloqueantes, 0 pontos de atenção, 0 sugestões e 0 nits.
-
-## ❌ blocking
-
-### \`src/alpha/a.ts\`
+- **Estrutura** — Novo diretório \`src/alpha\` com 1 arquivo(s).
+- **Remoções** — \`src/alpha/old.ts\`
 
-- **Nunca usar \`any\`.** — \`src/alpha/a.ts:1\` · _Alpha_ · \`<id>\`
-  any detectado
-  **Ação:** tipar
-  **Evidência:** \`export const a: any = 1;\`
+## Cobertura por domínio
 
-"
-`;
-
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state: review.alpha.md 1`] = `
-"# Review — Alpha (\`alpha\`) — main
-
-**Data:** <date>
-**Arquivos revisados:** 2/2
-**Achados:** 1
+| Domínio | Achados | Revisados | Fora do recorte | Faltam |
+|---|---|---|---|---|
+| Alpha | 1 | 2/2 | — | — |
+| Lógica e domínio (fluxo) | 0 | 2/2 | — | — |
 
-## ❌ blocking
+> \`Faltam\` = arquivos do escopo sem revisão e sem declaração em \`skipped\`.
 
-### \`src/alpha/a.ts\`
-
-- **Nunca usar \`any\`.** — \`src/alpha/a.ts:1\` · _Alpha_
-  any detectado
-  **Ação:** tipar
-  **Evidência:** \`export const a: any = 1;\`
+## Conclusão
 
+**Resumo:** 1 bloqueantes · 0 atenção · 0 sugestões · 0 nits.
 "
 `;
 
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state: state.json 1`] = `
+exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, resumo e state: state.json 1`] = `
 "{
   "version": 2,
   "branch": "main",
@@ -960,6 +987,7 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
       "message": "any detectado",
       "action": "tipar",
       "evidence": "export const a: any = 1;",
+      "basis": "rule",
       "anchor": {
         "snippet": "export const a: any = 1;",
         "line": 1,
@@ -982,7 +1010,7 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
 }"
 `;
 
-exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, review e state: run.json 1`] = `
+exports[`baseline — artefatos de prepare/finalize gera classification, brief, manifest, resumo e state: run.json 1`] = `
 "{
   "id": "<uuid>",
   "repoKey": "path:<cwd>",