@payconductor/houndsman 0.5.0 → 0.6.0

package/src/skill/hunt.md

@@ -10,6 +10,11 @@ as regras do projeto ficam em `houndsman.config.ts` + `.houndsman/`.
 **Quando usar:** revisar PR antes de merge · code review de feature branch · validar
 mudanças antes de push.
 
+> **Harness nativo (opcional):** além deste skill, o CLI tem `houndsman hunt` — o mesmo
+> fluxo executado pelo próprio houndsman, com tools read-only, investigação por evidência
+> e `VERIFY` obrigatório. Use `houndsman hunt --dry-run` para inspecionar sem IA. Detalhes
+> em `docs/HARNESS.md`.
+
 ## Quem executa o quê
 
 - **Você** só invoca o skill: `/houndsman [hunt]`. Não precisa rodar nenhum script à mão.
@@ -76,6 +81,8 @@ staging dos subagentes em `<HOUNDSMAN_HOME>/work/<reviewId>/`:
 | Artefato | Conteúdo |
 |---|---|
 | `classification.json` | Watchdogs ativados por arquivo + status (A/M/D/R) + churn (storage) |
+| `ast-summary.json` | Fatos estruturais + delta por arquivo (AST TS/JS) (storage) |
+| `ast-impact.json` | Importadores reversos e exports públicos alterados (storage) |
 | `candidates.json` | Indícios da pré-análise Jev (regra + arquivo + confiança) (storage) |
 | `briefs/<watchdog>.md` | Instruções prontas para cada subagente (staging + storage, para auditoria) |
 | `manifest.json` | Resumo: watchdogs, arquivos, deletados, status, contexto, Jev, orçamento (storage) |
@@ -83,6 +90,11 @@ staging dos subagentes em `<HOUNDSMAN_HOME>/work/<reviewId>/`:
 > O prepare imprime o caminho absoluto do diretório de briefs e cada brief traz o
 > `outputPath` do JSON que o subagente deve gravar. Briefs e contexto também ficam
 > persistidos no storage para auditoria; o staging é limpo após o `--finalize`.
+>
+> **AST (TS/JS, ligado por padrão):** cada brief ganha a seção `Estrutura (AST)` com
+> símbolos adicionados/removidos/alterados, assinaturas e imports; o impacto reverso
+> (quem importa os arquivos alterados) aparece como mapa de leitura. É fail-open:
+> sem grammar/ABI, a revisão segue só com regex. Desative com `--no-ast`.
 
 **Excluídos automaticamente:** lock files, `dist/`, `build/`, `.env*`, imagens, source
 maps (padrões do projeto em `.houndsman/exclusions.ts`).
@@ -106,7 +118,7 @@ arquivos da PR. Cada brief recebe no máximo `budgets.maxFilesPerBrief` arquivos
 
 ### Pré-análise Jev (Passo 1.5, opcional)
 
-Se `TYPESAFE_API_KEY` estiver definida, cada arquivo é avaliado pelo modelo **Jev** contra
+Se `HOUNDSMAN_TYPE_SAFE_API_KEY` estiver definida, cada arquivo é avaliado pelo modelo **Jev** contra
 as regras atômicas dos watchdogs. Respostas acima do limiar viram **candidatos** em
 `candidates.json` e entram no brief como *warm start* — o subagente **confirma ou refuta**.
 
@@ -264,7 +276,7 @@ Se a branch não for informada, detecta com `git branch --show-current`. Base do
 | `houndsman watchdog <id>` | Contexto de um watchdog (`--json`, `--rules`) |
 
 Flags do review: `--base` · `--head` · `--branch` · `--clean` · `--full` (força
-completo) · `--no-jev` · `--fail-on-blocking` (com `--finalize`).
+completo) · `--no-jev` · `--no-ast` · `--fail-on-blocking` (com `--finalize`).
 
 > Persistência: SQLite global em `<HOUNDSMAN_HOME>/houndsman.db`. O staging dos subagentes
 > (`briefs/`, `findings/`, contexto) vive em `<HOUNDSMAN_HOME>/work/<reviewId>/` e é limpo

package/src/skill/verify.md

@@ -24,7 +24,7 @@ altera regras.
    - **âncora sumida** (`stale`) → provável **resolvido** — mas o trecho pode ter sido reescrito;
    - **arquivo ausente** → fora da verificação (deletado/movido).
 
-2. **Tier Jev (opcional, só nos ambíguos).** Com `TYPESAFE_API_KEY`, os casos `stale` / sem
+2. **Tier Jev (opcional, só nos ambíguos).** Com `HOUNDSMAN_TYPE_SAFE_API_KEY`, os casos `stale` / sem
    âncora são confirmados pelo LLM sobre um **diff focado** do arquivo (`foundAtSha..HEAD`), uma
    pergunta `noul` por finding. Falha-aberto: sem chave/erro → vale o resultado local.
 

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

@@ -172,6 +172,10 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 1
   ".agents/skills/houndsman/SKILL.md",
   ".claude/skills/houndsman/SKILL.md",
   ".houndsman/.gitignore",
+  ".houndsman/core/grammars/tree-sitter-javascript.wasm",
+  ".houndsman/core/grammars/tree-sitter-tsx.wasm",
+  ".houndsman/core/grammars/tree-sitter-typescript.wasm",
+  ".houndsman/core/grammars/web-tree-sitter.wasm",
   ".houndsman/core/skill/AUDIT-PROTOCOL.md",
   ".houndsman/core/skill/OUTPUT-FORMAT.md",
   ".houndsman/core/skill/README.md",
@@ -184,6 +188,7 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 1
   ".houndsman/core/types.ts",
   ".houndsman/doc-mappings.ts",
   ".houndsman/exclusions.ts",
+  ".houndsman/watchdogs/default.ts",
   ".houndsman/watchdogs/example.ts",
   ".houndsman/watchdogs/index.ts",
   "houndsman.config.ts",
@@ -330,11 +335,21 @@ export type Rule = {
 	severity: Severity;
 	text: string;
 	jev?: JevRuleSpec;
+	hints?: RuleHints;
+};
+
+/** Sinais opcionais de uma regra (símbolos, imports, decorators, paths, checks). */
+export type RuleHints = {
+	symbols?: string[];
+	imports?: string[];
+	decorators?: string[];
+	paths?: string[];
+	checks?: string[];
 };
 
 /** Como o watchdog casa um arquivo alterado. \`value\` é sempre regex. */
 export type ClassifyRule = {
-	type?: "filename" | "content";
+	type?: "filename" | "content" | "symbol" | "import" | "export" | "decorator";
 	value: string;
 };
 
@@ -351,6 +366,10 @@ export type WatchdogDefinition = WatchdogMeta & {
 	id: string;
 	description: string;
 	breakingChange?: boolean;
+	/** Só assume arquivos que nenhum outro watchdog casou. */
+	fallback?: boolean;
+	/** Permite findings emergentes (Lógica:/Domínio:) fora das regras. */
+	allowEmergentFindings?: boolean;
 	reviewFocus?: readonly string[];
 	exclude?: readonly string[];
 };
@@ -389,6 +408,54 @@ export type HoundsmanStorage = {
 	path?: string;
 };
 
+/** Linguagens suportadas pelo AST na primeira fase. */
+export type AstLanguage = "typescript" | "tsx" | "javascript";
+
+/** Configuração do AST determinístico (classificação estrutural, brief e impacto). */
+export type HoundsmanAst = {
+	enabled?: boolean;
+	maxFileBytes?: number;
+	maxImpactFiles?: number;
+	languages?: Record<string, AstLanguage>;
+	aliases?: Record<string, string>;
+};
+
+/** Providers suportados pela camada de IA. */
+export type AiProviderKind = "deepseek" | "openai" | "anthropic";
+
+/** Features de IA do fluxo normal (todas fail-open). */
+export type HoundsmanAiFeatures = {
+	context?: boolean;
+	brief?: boolean;
+	classification?: boolean;
+	preAnalysis?: boolean;
+	verify?: boolean;
+};
+
+/** Overrides de IA por watchdog. */
+export type HoundsmanAiWatchdog = {
+	model?: string;
+	maxSteps?: number;
+	maxOutputTokens?: number;
+};
+
+/** Configuração da camada de IA (briefs, contexto, classificação e hunt nativo). */
+export type HoundsmanAi = {
+	enabled?: boolean;
+	provider?: AiProviderKind;
+	model?: string;
+	baseURL?: string;
+	concurrency?: number;
+	maxSteps?: number;
+	maxOutputTokens?: number;
+	temperature?: number;
+	timeoutMs?: number;
+	maxCallsPerReview?: number;
+	maxTokensPerReview?: number;
+	features?: HoundsmanAiFeatures;
+	watchdogs?: Record<string, HoundsmanAiWatchdog>;
+};
+
 /** Contrato de configuração do motor. */
 export type HoundsmanConfig<TId extends string = string> = {
 	projectName: string;
@@ -400,6 +467,8 @@ export type HoundsmanConfig<TId extends string = string> = {
 	alwaysIncludeDocs?: readonly string[];
 	budgets?: HoundsmanBudgets;
 	concurrency?: HoundsmanConcurrency;
+	ast?: HoundsmanAst;
+	ai?: HoundsmanAi;
 };
 
 /** Helper de autoria (identidade) — apenas tipagem. */
@@ -419,9 +488,10 @@ export function defineHoundsmanConfig<TId extends string>(
 "/**
  * Mapeamento de padrões nos paths → documentação relevante.
  * Consumido pelo motor via \`HoundsmanConfig.docMappings\`.
- */\`core/\` é regenerado por \`houndsman update\`.
-# Runs, findings e artefatos vivem no storage global (fora do projeto).
-core
+ *
+ * Exemplo: [/^src\\//, ["README.md"]]
+ */
+export const DOC_MAPPINGS: readonly (readonly [RegExp, readonly string[]])[] = [];
 "
 ,
   ".houndsman/exclusions.ts": 
@@ -444,7 +514,8 @@ export function isExcluded(filePath: string): boolean {
 
 /**
  * Watchdog de exemplo — substitua pelas regras reais do projeto.
- * Um watchdog declara seus arquivos via \`classify\` (regex de path ou conteúdo).
+ * Um watchdog declara seus arquivos via \`classify\` (regex de path, conteúdo ou
+ * fatos AST: \`symbol\`/\`import\`/\`export\`/\`decorator\`).
  * O texto de cada regra começa com a polaridade: \`Promover:\` (DEVE acontecer)
  * ou \`Evitar:\`/\`Não\`/\`Nunca\` (NÃO DEVE acontecer).
  */
@@ -452,8 +523,8 @@ export const exampleWatchdog = defineWatchdog({
 	id: "example",
 	name: "Exemplo",
 	description: "Watchdog de exemplo — descreva o propósito em uma frase.",
-	scope: "Todo o repositório (ajuste o escopo)",
-	classify: [{ value: "^src/" }],
+	scope: "src/example/** (ajuste o escopo)",
+	classify: [{ value: "^src/example/" }],
 	rules: [
 		{
 			severity: "attention",
@@ -470,13 +541,15 @@ export const exampleWatchdog = defineWatchdog({
 "
 ,
   ".houndsman/watchdogs/index.ts": 
-"import { exampleWatchdog } from "./example";
+"import { defaultWatchdog } from "./default";
+import { exampleWatchdog } from "./example";
 
 /**
  * Definições dos watchdogs — as chaves definem o union \`WatchdogId\`.
  * Adicionar um watchdog = criar \`<id>.ts\` e registrá-lo aqui.
  */
 export const WATCHDOG_DEFINITIONS = {
+	default: defaultWatchdog,
 	example: exampleWatchdog,
 };
 
@@ -517,7 +590,7 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 3
   },
   {
     "file": ".houndsman/core/skill/OUTPUT-FORMAT.md",
-    "sha256": "06aedccd5688aaa8",
+    "sha256": "94ea2b8def871784",
   },
   {
     "file": ".houndsman/core/skill/README.md",
@@ -525,7 +598,7 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 3
   },
   {
     "file": ".houndsman/core/skill/SETUP.md",
-    "sha256": "7ce23b97d9609ac2",
+    "sha256": "b74af7e1979bf1b4",
   },
   {
     "file": ".houndsman/core/skill/example-review.md",
@@ -537,7 +610,7 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 3
   },
   {
     "file": ".houndsman/core/skill/hunt.md",
-    "sha256": "c978287603f4e088",
+    "sha256": "b55507d62d3c1fcd",
   },
   {
     "file": ".houndsman/core/skill/train.md",
@@ -545,7 +618,7 @@ exports[`baseline — camada gerada setup gera os mesmos arquivos e conteúdos 3
   },
   {
     "file": ".houndsman/core/skill/verify.md",
-    "sha256": "29bfdeb7def2298e",
+    "sha256": "780f4b078daa104b",
   },
 ]
 `;
@@ -555,6 +628,7 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
 Briefs: <cwd>/.home/work/<uuid>/briefs/
 Deletado (breaking change): src/alpha/old.ts
 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).
 
 Próximo passo: despachar os sub-agentes (um por brief em <cwd>/.home/work/<uuid>/briefs/).
@@ -603,8 +677,6 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
     "alpha": 2
   },
   "excludedCount": 0,
-  "base": "<sha>",
-  "head": "HEAD",
   "headSha": "<sha>",
   "mode": "full"
 }
@@ -650,6 +722,16 @@ exports[`baseline — artefatos de prepare/finalize gera classification, brief,
     "available": false,
     "reason": "desativado (--no-jev)"
   },
+  "ast": {
+    "enabled": false,
+    "languages": [],
+    "files": 0,
+    "impact": {
+      "affectedFiles": 0,
+      "importers": 0,
+      "exportedChanges": 0
+    }
+  },
   "deleted": [
     "src/alpha/old.ts"
   ],

package/src/tests/ai-core.test.ts

@@ -0,0 +1,120 @@
+/**
+ * Fundação de IA: cliente fail-open, budget, provider fake e config.
+ */
+
+import { describe, expect, test } from "bun:test";
+import { z } from "zod";
+import { AiClient, AiUsageBudget, AiUsageRecorder } from "../core/ai";
+import { defineHoundsmanConfig } from "../core/config";
+import { DEFAULT_AI_MODEL } from "../core/defaults";
+import { ProjectConfig } from "../core/project-config";
+import { checkRegistry } from "../core/registry-check";
+import { FakeModelProvider } from "./fixtures/fake-model-provider";
+import { fakeHoundsmanConfig } from "./fixtures/fake-project";
+
+const project = new ProjectConfig(fakeHoundsmanConfig);
+
+describe("config de IA", () => {
+	test("modelo default do DeepSeek é 4.1 flash", () => {
+		expect(DEFAULT_AI_MODEL).toBe("deepseek-v4.1-flash");
+		expect(project.aiModel).toBe("deepseek-v4.1-flash");
+	});
+});
+
+describe("AiClient", () => {
+	test("sem provider/chave → indisponível e fail-open", async () => {
+		const client = new AiClient({ project, provider: null });
+		expect(client.available).toBe(false);
+		const result = await client.generateObject("x", {
+			prompt: "oi",
+			outputSchema: z.object({ ok: z.boolean() }),
+		});
+		expect(result.ok).toBe(false);
+	});
+
+	test("provider fake devolve saída, uso e registra no recorder", async () => {
+		const provider = new FakeModelProvider(() => ({ ok: true }));
+		const client = new AiClient({ project, provider });
+		expect(client.available).toBe(true);
+		const result = await client.generateObject("context", {
+			prompt: "oi",
+			outputSchema: z.object({ ok: z.boolean() }),
+		});
+		expect(result.ok).toBe(true);
+		if (result.ok) expect(result.output.ok).toBe(true);
+		expect(client.recorder.total.calls).toBe(1);
+		expect(provider.calls).toBe(1);
+	});
+
+	test("budget estourado vira fail-open sem chamar o provider", async () => {
+		const provider = new FakeModelProvider(() => ({ ok: true }));
+		const client = new AiClient({
+			project,
+			provider,
+			budget: new AiUsageBudget({ maxCalls: 0 }),
+		});
+		const result = await client.generateObject("x", {
+			prompt: "oi",
+			outputSchema: z.object({ ok: z.boolean() }),
+		});
+		expect(result.ok).toBe(false);
+		expect(provider.calls).toBe(0);
+	});
+	describe("validateCredential", () => {
+		test("ok, inválida e ausente", async () => {
+			const okClient = new AiClient({
+				project,
+				provider: new FakeModelProvider(() => "OK"),
+			});
+			expect((await okClient.validateCredential()).kind).toBe("ok");
+
+			const invalid = new AiClient({
+				project,
+				provider: new FakeModelProvider(() => {
+					throw new Error("401 invalid api key");
+				}),
+			});
+			expect((await invalid.validateCredential()).kind).toBe("invalid");
+
+			const missing = new AiClient({ project, provider: null });
+			expect((await missing.validateCredential()).kind).toBe("missing");
+		});
+	});
+});
+
+describe("AiUsageBudget / AiUsageRecorder", () => {
+	test("acumula uso e bloqueia no teto", () => {
+		const budget = new AiUsageBudget({ maxCalls: 2 });
+		budget.record({ inputTokens: 1, outputTokens: 1, totalTokens: 2, calls: 1 });
+		budget.record({ inputTokens: 1, outputTokens: 1, totalTokens: 2, calls: 1 });
+		expect(budget.canCall).toBe(false);
+		expect(() => budget.assertCanCall()).toThrow();
+	});
+
+	test("recorder serializa total e entradas", () => {
+		const recorder = new AiUsageRecorder("deepseek", "fake");
+		recorder.record("brief", "fake", {
+			inputTokens: 10,
+			outputTokens: 5,
+			totalTokens: 15,
+			calls: 1,
+		});
+		const data = recorder.toJSON();
+		expect(data.total.calls).toBe(1);
+		expect(data.total.totalTokens).toBe(15);
+		expect(data.entries[0]?.feature).toBe("brief");
+		expect(recorder.serialize()).toContain('"calls": 1');
+	});
+});
+
+describe("checkRegistry (IA)", () => {
+	test("provider inválido é problema; budgets inválidos são aviso", () => {
+		const config = defineHoundsmanConfig({
+			...fakeHoundsmanConfig,
+			ai: { provider: "nope" as never, concurrency: 0 },
+		});
+		const { problems, warnings } = checkRegistry(config);
+		expect(problems.some((item) => item.includes("ai.provider"))).toBe(true);
+		expect(warnings.some((item) => item.includes("ai.concurrency"))).toBe(true);
+	});
+});

package/src/tests/ai-features.test.ts

@@ -0,0 +1,183 @@
+/**
+ * Features de IA do fluxo normal (brief, contexto, classificação, verify).
+ */
+
+import { describe, expect, test } from "bun:test";
+import { AiClient } from "../core/ai";
+import { AiBriefEnricher } from "../core/ai/features/brief-enricher";
+import { AiClassifier } from "../core/ai/features/classifier";
+import { AiContextSummarizer } from "../core/ai/features/context-summarizer";
+import { AiPreAnalyzer } from "../core/ai/features/pre-analyzer";
+import { AiVerifier } from "../core/ai/features/verifier";
+import { briefInstructions, briefPrompt } from "../core/ai/prompts/brief";
+import { renderBrief } from "../core/brief";
+import { ProjectConfig } from "../core/project-config";
+import { FakeModelProvider } from "./fixtures/fake-model-provider";
+import { fakeHoundsmanConfig } from "./fixtures/fake-project";
+
+const project = new ProjectConfig(fakeHoundsmanConfig);
+const alpha = fakeHoundsmanConfig.watchdogs.alpha;
+
+describe("AiBriefEnricher", () => {
+	test("devolve o plano do modelo", async () => {
+		const provider = new FakeModelProvider(() => ({
+			focus: ["checar any"],
+			questions: ["há any?"],
+			risks: ["tipagem fraca"],
+		}));
+		const enricher = new AiBriefEnricher(new AiClient({ project, provider }));
+		const plan = await enricher.enrich({
+			watchdogId: "alpha",
+			name: "Alpha",
+			description: "x",
+			scope: "src/alpha",
+			rules: alpha.rules,
+			files: ["src/alpha/a.ts"],
+		});
+		expect(plan?.focus[0]).toBe("checar any");
+	});
+
+	test("sem IA → null (brief inalterado)", async () => {
+		const enricher = new AiBriefEnricher(new AiClient({ project, provider: null }));
+		expect(enricher.enabled).toBe(false);
+		expect(
+			await enricher.enrich({
+				watchdogId: "alpha",
+				name: "Alpha",
+				description: "x",
+				scope: "src/alpha",
+				rules: alpha.rules,
+				files: [],
+			}),
+		).toBeNull();
+	});
+
+	test("brief com aiPlan ganha a seção de sugestão", () => {
+		const args = {
+			watchdogId: "alpha",
+			files: ["src/alpha/a.ts"],
+			statuses: { "src/alpha/a.ts": { status: "modified" as const } },
+			deleted: [],
+			branch: "main",
+			outputPath: "findings/alpha.json",
+			outputFormatPath: "OUTPUT-FORMAT.md",
+			docs: [],
+			aiPlan: {
+				focus: ["foco"],
+				questions: ["pergunta"],
+				risks: ["risco"],
+				logic: [],
+				domain: [],
+			},
+		};
+		const markdown = renderBrief(alpha, args);
+		expect(markdown).toContain("## Plano de revisão (IA)");
+		expect(markdown).toContain("foco");
+	});
+
+	test("brief sem aiPlan é byte-idêntico ao render sem a seção", () => {
+		const base = {
+			watchdogId: "alpha",
+			files: ["src/alpha/a.ts"],
+			statuses: { "src/alpha/a.ts": { status: "modified" as const } },
+			deleted: [],
+			branch: "main",
+			outputPath: "findings/alpha.json",
+			outputFormatPath: "OUTPUT-FORMAT.md",
+			docs: [],
+		};
+		expect(renderBrief(alpha, base)).not.toContain("Plano de revisão (IA)");
+	});
+
+	test("prompt e render incluem lógica e domínio", () => {
+		expect(briefInstructions()).toContain("PISO");
+		const prompt = briefPrompt({
+			watchdogId: "alpha",
+			name: "Alpha",
+			description: "x",
+			scope: "src/alpha",
+			rules: alpha.rules,
+			files: ["src/alpha/a.ts"],
+		});
+		expect(prompt).toContain("Revisão além das regras");
+		const markdown = renderBrief(alpha, {
+			watchdogId: "alpha",
+			files: ["src/alpha/a.ts"],
+			statuses: { "src/alpha/a.ts": { status: "modified" as const } },
+			deleted: [],
+			branch: "main",
+			outputPath: "findings/alpha.json",
+			outputFormatPath: "OUTPUT-FORMAT.md",
+			docs: [],
+			aiPlan: {
+				focus: [],
+				questions: [],
+				risks: [],
+				logic: ["nome vs comportamento"],
+				domain: ["transição de estado"],
+			},
+		});
+		expect(markdown).toContain("Consistência lógica");
+		expect(markdown).toContain("Domínio de negócio");
+	});
+});
+
+describe("AiContextSummarizer", () => {
+	test("resume contexto bruto", async () => {
+		const provider = new FakeModelProvider(() => ({
+			available: true,
+			objective: "Entregar Y",
+			changeSummary: ["Faz X"],
+		}));
+		const summarizer = new AiContextSummarizer(new AiClient({ project, provider }));
+		const summary = await summarizer.summarize('{"title":"PR"}');
+		expect(summary?.objective).toBe("Entregar Y");
+	});
+});
+
+describe("AiClassifier", () => {
+	test("filtra ids e arquivos desconhecidos", async () => {
+		const provider = new FakeModelProvider(() => ({
+			assignments: [
+				{ file: "a.ts", watchdogId: "alpha" },
+				{ file: "a.ts", watchdogId: "nope" },
+				{ file: "b.ts", watchdogId: "alpha" },
+			],
+		}));
+		const classifier = new AiClassifier(new AiClient({ project, provider }));
+		// Feature desligada por default no fake config.
+		expect(classifier.enabled).toBe(false);
+		expect(
+			await classifier.classify(["a.ts"], [{ id: "alpha", name: "A", scope: "x" }]),
+		).toEqual(new Map());
+	});
+});
+
+describe("AiVerifier", () => {
+	test("devolve confiança apenas para ids conhecidos", async () => {
+		const provider = new FakeModelProvider(() => ({
+			verdicts: [
+				{ id: "f1", persisting: true, confidence: 0.9 },
+				{ id: "nope", persisting: false, confidence: 0 },
+			],
+		}));
+		const verifier = new AiVerifier(new AiClient({ project, provider }));
+		expect(verifier.enabled).toBe(false);
+	});
+});
+
+describe("AiPreAnalyzer", () => {
+	test("sem a feature ligada não gera candidatos", async () => {
+		const provider = new FakeModelProvider(() => ({ candidates: [] }));
+		const analyzer = new AiPreAnalyzer(new AiClient({ project, provider }));
+		expect(analyzer.enabled).toBe(false);
+		expect(
+			await analyzer.analyze({
+				watchdogId: "alpha",
+				name: "Alpha",
+				rules: alpha.rules,
+				files: [{ file: "a.ts", snippet: "x" }],
+			}),
+		).toEqual([]);
+	});
+});