@semacode/cli 2.3.1 → 3.5.0

package/dist/drift.part08.d.ts

@@ -1,6 +1,6 @@
 import type { IrBancoDados, IrModulo, IrTask } from "@sema/nucleo";
 import { OrigemRecursoDrift, RecursoEsperadoDrift, RecursoResolvido, RegistroColunaPersistenciaDrift, RegistroPersistenciaRealDrift, RegistroRepositorioPersistenciaDrift, SimboloResolvido, TipoRecursoDrift } from "./drift.part01.js";
-import type { CatalogoDrift } from "./driftCatalogo.js";
+import { type AdaptadorLeituraCompartilhadaDrift } from "./drift.part04.js";
 export declare function registrarRepositorioPersistenciaDrift(repositorios: Map<string, RegistroRepositorioPersistenciaDrift>, origem: OrigemRecursoDrift, recurso: string, arquivo: string): void;
 export declare function extrairColunasSqlDetalhadas(arquivo: string, codigo: string): RegistroColunaPersistenciaDrift[];
 export declare function extrairColunasPrismaDetalhadas(arquivo: string, codigo: string): RegistroColunaPersistenciaDrift[];
@@ -8,7 +8,7 @@ export declare function extrairCamposMongoDetalhados(arquivo: string, codigo: st
 export declare function extrairCamposRedisDetalhados(arquivo: string, codigo: string): RegistroColunaPersistenciaDrift[];
 export declare function extrairCamposArquivoLocalDetalhados(arquivo: string, codigo: string): RegistroColunaPersistenciaDrift[];
 export declare function registrarRepositoriosPorRecursos(repositorios: Map<string, RegistroRepositorioPersistenciaDrift>, arquivo: string, codigo: string, recursos: RecursoResolvido[]): void;
-export declare function indexarPersistenciaDetalhada(diretorios: string[], catalogo?: CatalogoDrift): Promise<{
+export declare function indexarPersistenciaDetalhada(diretorios: string[], adaptadorLeitura?: AdaptadorLeituraCompartilhadaDrift): Promise<{
     colunas: RegistroColunaPersistenciaDrift[];
     repositorios: RegistroRepositorioPersistenciaDrift[];
 }>;

package/dist/drift.part08.js

@@ -1,11 +1,11 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
+// SEMA-GOVERNED: sema.produto.governanca_ia.drift
+// Descricao: indexa persistencia detalhada reutilizando o catalogo fisico do drift.
 import { readFile } from "node:fs/promises";
 import { categorizarPersistenciaPorOrigem, normalizarFragmentoArquivo, quebrarTermosEscopo } from "./drift.part01.js";
 import { fecharPrefixoRecurso, limparLiteralRecurso, normalizarNomeRecursoDrift } from "./drift.part02.js";
 import { extrairRecursosArquivoLocal, extrairRecursosMongoDb, extrairRecursosPersistenciaCodigoVivo, extrairRecursosPrisma, inferirMotoresRelacionais, variantesNomeRecursoDrift } from "./drift.part03.js";
 import { normalizarOrigemParaEngine, registrarColunaPersistenciaDrift } from "./drift.part07.js";
-import { listarArquivosRecursivos } from "./drift.part04.js";
+import { chaveCaminhoCanonicoDrift, deduplicarRaizesSobrepostasDrift, listarArquivosRecursivos, } from "./drift.part04.js";
 import { recursoResolvidoCombinaEsperado } from "./drift.part10.js";
 import { recursoPersistenciaCombinaAlvo } from "./drift.part09.js";
 export function registrarRepositorioPersistenciaDrift(repositorios, origem, recurso, arquivo) {
@@ -172,39 +172,48 @@ export function registrarRepositoriosPorRecursos(repositorios, arquivo, codigo,
         registrarRepositorioPersistenciaDrift(repositorios, recurso.origem, recurso.nome, arquivo);
     }
 }
-export async function indexarPersistenciaDetalhada(diretorios, catalogo) {
-    catalogo?.emitir("extractor.run");
+export async function indexarPersistenciaDetalhada(diretorios, adaptadorLeitura) {
+    adaptadorLeitura?.emitir?.("extractor.run");
     const colunas = new Map();
     const repositorios = new Map();
-    for (const diretorio of diretorios) {
+    const arquivosUnicos = new Map();
+    for (const diretorio of deduplicarRaizesSobrepostasDrift(diretorios)) {
         const arquivos = await listarArquivosRecursivos(diretorio, [
             ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
             ".py", ".dart", ".lua", ".cs", ".java", ".go", ".rs", ".cpp", ".cc", ".cxx", ".hpp", ".h", ".php",
             ".sql", ".psql", ".ddl", ".prisma",
-        ], catalogo);
+        ], adaptadorLeitura);
         for (const arquivo of arquivos) {
-            const codigo = catalogo ? await catalogo.lerTexto(arquivo) : await readFile(arquivo, "utf8");
-            const recursos = arquivo.endsWith(".prisma")
-                ? extrairRecursosPrisma(arquivo, codigo)
-                : extrairRecursosPersistenciaCodigoVivo(arquivo, codigo);
-            for (const coluna of extrairColunasSqlDetalhadas(arquivo, codigo)) {
-                registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
+            const chave = chaveCaminhoCanonicoDrift(arquivo);
+            if (!arquivosUnicos.has(chave)) {
+                arquivosUnicos.set(chave, arquivo);
             }
-            for (const coluna of extrairColunasPrismaDetalhadas(arquivo, codigo)) {
-                registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
-            }
-            for (const coluna of extrairCamposMongoDetalhados(arquivo, codigo)) {
-                registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
-            }
-            for (const coluna of extrairCamposRedisDetalhados(arquivo, codigo)) {
-                registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
-            }
-            for (const coluna of extrairCamposArquivoLocalDetalhados(arquivo, codigo)) {
-                registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
-            }
-            registrarRepositoriosPorRecursos(repositorios, arquivo, codigo, recursos);
         }
     }
+    for (const arquivo of arquivosUnicos.values()) {
+        const codigo = adaptadorLeitura
+            ? await adaptadorLeitura.lerTexto(arquivo)
+            : await readFile(arquivo, "utf8");
+        const recursos = arquivo.endsWith(".prisma")
+            ? extrairRecursosPrisma(arquivo, codigo)
+            : extrairRecursosPersistenciaCodigoVivo(arquivo, codigo);
+        for (const coluna of extrairColunasSqlDetalhadas(arquivo, codigo)) {
+            registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
+        }
+        for (const coluna of extrairColunasPrismaDetalhadas(arquivo, codigo)) {
+            registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
+        }
+        for (const coluna of extrairCamposMongoDetalhados(arquivo, codigo)) {
+            registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
+        }
+        for (const coluna of extrairCamposRedisDetalhados(arquivo, codigo)) {
+            registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
+        }
+        for (const coluna of extrairCamposArquivoLocalDetalhados(arquivo, codigo)) {
+            registrarColunaPersistenciaDrift(colunas, coluna.origem, coluna.recurso, coluna.coluna, coluna.arquivo);
+        }
+        registrarRepositoriosPorRecursos(repositorios, arquivo, codigo, recursos);
+    }
     return {
         colunas: [...colunas.values()],
         repositorios: [...repositorios.values()],

package/dist/drift.part09.d.ts

@@ -5,7 +5,7 @@ import { OpcoesDriftLegado, OrigemCodigoDrift, RecursoResolvido, RegistroPersist
 import { indexarPersistenciaDetalhada } from "./drift.part08.js";
 export declare function analisarPersistenciaReal(contexto: ContextoProjetoCarregado, mapaRecursos?: Map<string, RecursoResolvido[]>, detalhesPersistencia?: Awaited<ReturnType<typeof indexarPersistenciaDetalhada>>, opcoes?: OpcoesDriftLegado, mapaImpl?: Map<string, SimboloResolvido>): Promise<RegistroPersistenciaRealDrift[]>;
 export declare function normalizarCaminhoRota(caminho?: string): string;
-export declare function extrairFontesHttpTypeScript(fontesLegado: FonteLegado[]): Array<"nestjs" | "nextjs" | "firebase">;
+export declare function extrairFontesHttpTypeScript(fontesLegado: FonteLegado[]): Array<"nestjs" | "nextjs" | "firebase" | "express" | "fastify">;
 export declare function extrairFontesHttpBackend(fontesLegado: FonteLegado[]): Array<"dotnet" | "java" | "go" | "rust" | "php">;
 export declare function ultimoSegmentoSimbolico(caminho: string): string;
 export declare function pontuarCandidatoDeclarado(candidato: SimboloResolvido, origem: OrigemCodigoDrift, caminhoDeclarado: string): SimboloCandidatoDrift | undefined;
@@ -14,7 +14,7 @@ export declare function deduplicarCandidatos(candidatos: SimboloCandidatoDrift[]
 export declare function ordenarCandidatos(candidatos: SimboloCandidatoDrift[]): SimboloCandidatoDrift[];
 export declare function sugerirCandidatosParaImpl(simbolos: SimboloResolvido[], origem: OrigemCodigoDrift, caminhoDeclarado: string): SimboloCandidatoDrift[];
 export declare function sugerirCandidatosParaTaskSemImpl(simbolos: SimboloResolvido[], nomeTask: string): SimboloCandidatoDrift[];
-export declare function escolherRotasEsperadas(task: IrTask, fontesLegado: FonteLegado[]): Array<"nestjs" | "fastapi" | "flask" | "nextjs" | "firebase" | "dotnet" | "java" | "go" | "rust" | "php">;
+export declare function escolherRotasEsperadas(task: IrTask, fontesLegado: FonteLegado[]): Array<"nestjs" | "express" | "fastify" | "fastapi" | "flask" | "nextjs" | "firebase" | "dotnet" | "java" | "go" | "rust" | "php">;
 export declare function taskEhBridgeFirebase(task: IrTask): boolean;
 export declare function tiposAceitosParaRecursoPersistencia(recurso: IrRecursoPersistencia): TipoRecursoDrift[];
 export declare function nomesRecursoPersistencia(recurso: IrRecursoPersistencia): string[];

package/dist/drift.part09.js

@@ -80,13 +80,14 @@ export function normalizarCaminhoRota(caminho) {
     if (!caminho) {
         return "/";
     }
-    const limpo = normalizarCaminhoFlask(caminho.trim().replace(/\s*\/\s*/g, "/"));
+    const limpo = normalizarCaminhoFlask(caminho.trim().replace(/\s*\/\s*/g, "/"))
+        .replace(/:([A-Za-z_]\w*)/g, "{$1}");
     const comBarra = limpo.startsWith("/") ? limpo : `/${limpo}`;
     const normalizado = comBarra.replace(/\/+/g, "/");
     return normalizado.endsWith("/") && normalizado !== "/" ? normalizado.slice(0, -1) : normalizado;
 }
 export function extrairFontesHttpTypeScript(fontesLegado) {
-    return fontesLegado.filter((fonte) => fonte === "nestjs" || fonte === "nextjs" || fonte === "firebase");
+    return fontesLegado.filter((fonte) => fonte === "nestjs" || fonte === "nextjs" || fonte === "firebase" || fonte === "express" || fonte === "fastify");
 }
 export function extrairFontesHttpBackend(fontesLegado) {
     return fontesLegado.filter((fonte) => fonte === "dotnet" || fonte === "java" || fonte === "go" || fonte === "rust" || fonte === "php");
@@ -227,13 +228,19 @@ export function escolherRotasEsperadas(task, fontesLegado) {
         if (fontesTs.includes("firebase") && /(apps\.worker|worker|sema_contract_bridge|health)/i.test(implTsOuJs.caminho)) {
             esperadas.add("firebase");
         }
+        if (/\bexpress\b|\broutes?\b|\brouter\b/i.test(implTsOuJs.caminho) && fontesTs.includes("express")) {
+            esperadas.add("express");
+        }
+        if (/\bfastify\b/i.test(implTsOuJs.caminho) && fontesTs.includes("fastify")) {
+            esperadas.add("fastify");
+        }
         if (esperadas.size > 0) {
             return [...esperadas];
         }
         if (fontesTs.length > 0) {
             return fontesTs;
         }
-        return ["nestjs", "nextjs", "firebase"];
+        return ["nestjs", "nextjs", "firebase", "express", "fastify"];
     }
     if (task.implementacoesExternas.some((impl) => impl.origem === "py")) {
         const fontesPython = fontesLegado.filter((fonte) => fonte === "fastapi" || fonte === "flask");

package/dist/drift.part11.js

@@ -1,16 +1,124 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
+// SEMA-GOVERNED: sema.governanca_ia_contexto, sema.produto.governanca_ia.drift.cache.store
+// Descrição: integra índices calculados ou reutilizados e sempre recalcula o resultado final do drift.
 import path from "node:path";
+import { resolverAlvoPadrao, resolverEstruturaSaidaPadrao, resolverFrameworkPadrao } from "./projeto.js";
 import { emitirDiagnosticosArquivosOrcamento, workspaceExigeCabecalhoCodigoGovernado, } from "./driftOrcamento.js";
 import { definirDiretoriosIgnoradosAtivos, obterDiretoriosIgnoradosAtivos, extrairTermosEscopoDrift, resolverDiretoriosIgnoradosAtivos, resolverOpcoesDrift } from "./drift.part01.js";
 import { construirContextoRelevanciaConsumer, filtrarConsumerSurfacesPorEscopo } from "./drift.part02.js";
 import { inferirConsumerFrameworkPrincipal } from "./drift.part06.js";
-import { calcularConfiancaTask, calcularRiscoOperacional, calcularScoreTask, resumirLacunasTask, resumirOperacional } from "./drift.part04.js";
-import { analisarPersistenciaReal } from "./drift.part09.js";
+import { calcularConfiancaTask, calcularRiscoOperacional, calcularScoreTask, carregarEvidenciaVerificacaoDrift, chaveCaminhoCanonicoDrift, encontrarCandidatosFisicosImplementacaoDrift, resumirLacunasTask, resumirOperacional } from "./drift.part04.js";
+import { analisarPersistenciaReal, ordenarCandidatos } from "./drift.part09.js";
 import { simboloEhBridgeConsumer } from "./drift.part05.js";
 import { prepararIndicesDrift } from "./drift.part13.js";
 import { analisarModulosSelecionadosDrift } from "./drift.part14.js";
 import { resolverPoliticaPontuacaoSemantica } from "./driftScore.js";
+function arquivosVinculadosFisicamenteDrift(contexto, modulo, task) {
+    const arquivos = new Set();
+    for (const vinculo of [...modulo.vinculos, ...task.vinculos]) {
+        const arquivo = vinculo.arquivo
+            ?? (vinculo.tipo === "arquivo" ? vinculo.valor : undefined);
+        if (arquivo) {
+            arquivos.add(chaveCaminhoCanonicoDrift(path.resolve(contexto.baseProjeto, arquivo)));
+        }
+    }
+    return arquivos;
+}
+function prepararMapaImplementacoesHonestoDrift(contexto, mapaImpl, todosSimbolos) {
+    const mapaImplHonesto = new Map(mapaImpl);
+    const usosPorOrigemECaminho = new Map();
+    for (const item of contexto.modulosSelecionados) {
+        const ir = item.resultado.ir;
+        if (!ir) {
+            continue;
+        }
+        for (const task of ir.tasks) {
+            const arquivosVinculados = arquivosVinculadosFisicamenteDrift(contexto, ir, task);
+            for (const impl of task.implementacoesExternas) {
+                const candidatos = encontrarCandidatosFisicosImplementacaoDrift(todosSimbolos, impl.origem, impl.caminho);
+                const candidatosVinculados = candidatos.filter((candidato) => arquivosVinculados.has(chaveCaminhoCanonicoDrift(candidato.arquivo)));
+                const resolvido = candidatos.length === 1
+                    ? candidatos[0]
+                    : candidatosVinculados.length === 1
+                        ? candidatosVinculados[0]
+                        : undefined;
+                const uso = {
+                    modulo: ir.nome,
+                    task: task.nome,
+                    origem: impl.origem,
+                    caminho: impl.caminho,
+                    implementacao: impl,
+                    candidatos,
+                    resolvido,
+                    ambiguo: candidatos.length > 1 && candidatosVinculados.length !== 1,
+                };
+                const chaveGrupo = `${impl.origem}\u0000${impl.caminho}`;
+                const usos = usosPorOrigemECaminho.get(chaveGrupo) ?? [];
+                usos.push(uso);
+                usosPorOrigemECaminho.set(chaveGrupo, usos);
+            }
+        }
+    }
+    const ambiguidades = [];
+    const gruposPorCaminho = new Map();
+    for (const usos of usosPorOrigemECaminho.values()) {
+        const caminho = usos[0].caminho;
+        const resolvidos = new Map();
+        for (const uso of usos) {
+            if (uso.resolvido) {
+                resolvidos.set(chaveCaminhoCanonicoDrift(uso.resolvido.arquivo), uso.resolvido);
+            }
+        }
+        const conflitoEntreUsos = resolvidos.size > 1;
+        const deveFalharFechado = usos.some((uso) => uso.ambiguo || !uso.resolvido)
+            || conflitoEntreUsos;
+        if (deveFalharFechado && (usos.some((uso) => uso.ambiguo) || conflitoEntreUsos)) {
+            const candidatosDoGrupo = [...new Map(usos.flatMap((uso) => uso.candidatos).map((candidato) => [
+                    chaveCaminhoCanonicoDrift(candidato.arquivo),
+                    candidato,
+                ])).values()];
+            for (const uso of usos) {
+                ambiguidades.push({
+                    ...uso,
+                    candidatos: uso.candidatos.length > 1 ? uso.candidatos : candidatosDoGrupo,
+                    ambiguo: true,
+                });
+            }
+        }
+        const grupos = gruposPorCaminho.get(caminho) ?? [];
+        grupos.push({
+            usos,
+            resolvido: deveFalharFechado ? undefined : resolvidos.values().next().value,
+        });
+        gruposPorCaminho.set(caminho, grupos);
+    }
+    const substituicoesCaminho = [];
+    let sequenciaCaminhoTemporario = 0;
+    for (const [caminho, grupos] of gruposPorCaminho) {
+        mapaImplHonesto.delete(caminho);
+        const gruposResolvidos = grupos.filter((grupo) => grupo.resolvido);
+        const resolucoesDistintas = new Map();
+        for (const grupo of gruposResolvidos) {
+            const resolvido = grupo.resolvido;
+            resolucoesDistintas.set(`${resolvido.origem}:${chaveCaminhoCanonicoDrift(resolvido.arquivo)}:${resolvido.caminho}`, resolvido);
+        }
+        if (gruposResolvidos.length === grupos.length && resolucoesDistintas.size === 1) {
+            mapaImplHonesto.set(caminho, resolucoesDistintas.values().next().value);
+            continue;
+        }
+        for (const grupo of gruposResolvidos) {
+            for (const uso of grupo.usos) {
+                const temporario = `__sema_impl_${sequenciaCaminhoTemporario++}`;
+                mapaImplHonesto.set(temporario, uso.resolvido);
+                substituicoesCaminho.push({
+                    implementacao: uso.implementacao,
+                    original: uso.caminho,
+                    temporario,
+                });
+            }
+        }
+    }
+    return { mapaImplHonesto, ambiguidades, substituicoesCaminho };
+}
 export async function analisarDriftLegado(contexto, opcoes) {
     const opcoesResolvidas = resolverOpcoesDrift(opcoes);
     const configuracaoEscopo = {
@@ -23,14 +131,16 @@ export async function analisarDriftLegado(contexto, opcoes) {
     definirDiretoriosIgnoradosAtivos(resolverDiretoriosIgnoradosAtivos(opcoesResolvidas));
     try {
         const indicesPreparados = await prepararIndicesDrift(contexto, configuracaoEscopo, {
-            politicaCache: opcoesResolvidas.cache,
             observador: opcoesResolvidas.observador,
+            modoCache: opcoesResolvidas.modoCache,
+            avisosModoCache: opcoesResolvidas.avisosModoCache,
         });
-        const { arquivosOrcamentoAvaliados, detalhesPersistencia, diagnosticosOrcamento: diagnosticosOrcamentoPrecalculados, indexDart, indexTs, mapaImpl, mapaRecursos, todasRotasIndexadas, todosArquivosConhecidos, todosRecursos, todosSimbolos, planoEscopo, cache: estadoCache, catalogo: metricasCatalogo, } = indicesPreparados;
-        const leitorArquivosPlanejados = indicesPreparados.leitorArquivosPlanejados;
+        const { detalhesPersistencia, indexDart, indexTs, mapaImpl, mapaRecursos, todasRotasIndexadas, todosArquivosConhecidos, todosRecursos, todosSimbolos, planoEscopo, cache: estadoCache, catalogo: metricasCatalogo, leitorArquivosPlanejados, } = indicesPreparados;
         const relativoEscopo = (arquivo) => {
             const relativo = path.relative(contexto.baseProjeto, arquivo).replace(/\\/g, "/");
-            return relativo && !relativo.startsWith("../") ? relativo : arquivo.replace(/\\/g, "/");
+            return relativo && !relativo.startsWith("../")
+                ? relativo
+                : arquivo.replace(/\\/g, "/");
         };
         configuracaoEscopo.estrategia = planoEscopo.estrategia;
         configuracaoEscopo.cobertura = planoEscopo.cobertura;
@@ -38,9 +148,11 @@ export async function analisarDriftLegado(contexto, opcoes) {
         configuracaoEscopo.arquivosDeclarados = planoEscopo.arquivosDeclarados.map(relativoEscopo);
         configuracaoEscopo.arquivosInferidos = planoEscopo.arquivosInferidos.map(relativoEscopo);
         configuracaoEscopo.arquivosAusentes = planoEscopo.arquivosAusentes.map(relativoEscopo);
-        configuracaoEscopo.bloqueios = [...planoEscopo.bloqueios];
-        configuracaoEscopo.cache = estadoCache;
+        const bloqueiosAnalise = new Set(planoEscopo.bloqueios);
+        configuracaoEscopo.bloqueios = [...bloqueiosAnalise];
         configuracaoEscopo.catalogo = metricasCatalogo;
+        configuracaoEscopo.cache = estadoCache;
+        const { mapaImplHonesto, ambiguidades, substituicoesCaminho } = prepararMapaImplementacoesHonestoDrift(contexto, mapaImpl, todosSimbolos);
         const implsValidos = [];
         const implsQuebrados = [];
         const vinculosValidos = [];
@@ -49,12 +161,41 @@ export async function analisarDriftLegado(contexto, opcoes) {
         const recursosValidos = [];
         const recursosDivergentes = [];
         const diagnosticos = [];
+        const moduloDiagnostico = contexto.modulosSelecionados[0]?.resultado.ir?.nome
+            ?? contexto.modulosSelecionados[0]?.resultado.modulo?.nome
+            ?? "projeto";
+        for (const arquivoAusente of planoEscopo.arquivosAusentes) {
+            const arquivo = relativoEscopo(arquivoAusente);
+            diagnosticos.push({
+                tipo: "vinculo_quebrado",
+                modulo: moduloDiagnostico,
+                arquivo,
+                severidade: "erro",
+                mensagem: `O arquivo planejado "${arquivo}" não existe no workspace; a cobertura do drift ficou parcial.`,
+            });
+        }
+        if (planoEscopo.cobertura === "parcial" && planoEscopo.arquivosAusentes.length === 0) {
+            diagnosticos.push({
+                tipo: "vinculo_quebrado",
+                modulo: moduloDiagnostico,
+                severidade: "erro",
+                mensagem: "A cobertura do drift ficou parcial e não permite declarar a análise como bem-sucedida.",
+            });
+        }
         if (planoEscopo.bloqueios.includes("escopo_estreito_sem_vinculos")) {
             diagnosticos.push({
                 tipo: "escopo_estreito_sem_vinculos",
-                modulo: contexto.modulosSelecionados[0]?.resultado.ir?.nome ?? "projeto",
+                modulo: moduloDiagnostico,
+                severidade: "erro",
+                mensagem: "Escopo de arquivo ou módulo sem arquivo vinculado nem implementação resolvível. Declare `vinculos { arquivo: ... }` ou execute explicitamente com `--escopo projeto`.",
+            });
+        }
+        if (planoEscopo.bloqueios.includes("escopo_estreito_ambiguo")) {
+            diagnosticos.push({
+                tipo: "escopo_estreito_ambiguo",
+                modulo: moduloDiagnostico,
                 severidade: "erro",
-                mensagem: "Escopo arquivo/modulo sem arquivo vinculado ou implementação resolvível. Declare vinculos { arquivo: ... } ou execute explicitamente com --escopo projeto.",
+                mensagem: "Mais de um arquivo pode implementar o mesmo símbolo. Declare um vínculo de arquivo inequívoco antes do drift.",
             });
         }
         const tasksResumo = [];
@@ -62,28 +203,97 @@ export async function analisarDriftLegado(contexto, opcoes) {
         const guardrailsPorTask = new Map();
         const resumoVinculosPorTask = new Map();
         const arquivosAncoraHerdadosPorTask = new Map();
-        analisarModulosSelecionadosDrift({
-            contexto,
-            mapaImpl,
-            todosSimbolos,
-            mapaRecursos,
-            todosRecursos,
-            todasRotasIndexadas,
-            todosArquivosConhecidos,
-            implsValidos,
-            implsQuebrados,
-            vinculosValidos,
-            vinculosQuebrados,
-            rotasDivergentes,
-            recursosValidos,
-            recursosDivergentes,
-            diagnosticos,
-            tasksResumo,
-            taskPorChave,
-            guardrailsPorTask,
-            resumoVinculosPorTask,
-            arquivosAncoraHerdadosPorTask,
-        });
+        // O analisador legado consulta implementações apenas pelo caminho. Chaves efêmeras
+        // mantêm resoluções de origens distintas isoladas durante essa chamada e são restauradas logo depois.
+        for (const substituicao of substituicoesCaminho) {
+            substituicao.implementacao.caminho = substituicao.temporario;
+        }
+        try {
+            analisarModulosSelecionadosDrift({
+                contexto,
+                mapaImpl: mapaImplHonesto,
+                todosSimbolos,
+                mapaRecursos,
+                todosRecursos,
+                todasRotasIndexadas,
+                todosArquivosConhecidos,
+                implsValidos,
+                implsQuebrados,
+                vinculosValidos,
+                vinculosQuebrados,
+                rotasDivergentes,
+                recursosValidos,
+                recursosDivergentes,
+                diagnosticos,
+                tasksResumo,
+                taskPorChave,
+                guardrailsPorTask,
+                resumoVinculosPorTask,
+                arquivosAncoraHerdadosPorTask,
+            });
+        }
+        finally {
+            for (const substituicao of substituicoesCaminho) {
+                substituicao.implementacao.caminho = substituicao.original;
+            }
+        }
+        const caminhoOriginalPorTemporario = new Map(substituicoesCaminho.map((substituicao) => [substituicao.temporario, substituicao.original]));
+        for (const registro of [...implsValidos, ...implsQuebrados]) {
+            registro.caminho = caminhoOriginalPorTemporario.get(registro.caminho) ?? registro.caminho;
+        }
+        for (const ambiguidade of ambiguidades) {
+            const candidatos = ambiguidade.candidatos.map((candidato) => ({
+                origem: candidato.origem,
+                caminho: candidato.caminho,
+                arquivo: candidato.arquivo,
+                simbolo: candidato.simbolo,
+                confianca: "alta",
+                motivo: `Arquivo físico candidato à implementação ambígua "${ambiguidade.origem}:${ambiguidade.caminho}".`,
+            }));
+            const registro = implsQuebrados.find((impl) => impl.modulo === ambiguidade.modulo
+                && impl.task === ambiguidade.task
+                && impl.origem === ambiguidade.origem
+                && impl.caminho === ambiguidade.caminho);
+            if (registro) {
+                registro.candidatos = candidatos;
+            }
+            const resumo = tasksResumo.find((task) => task.modulo === ambiguidade.modulo && task.task === ambiguidade.task);
+            if (resumo) {
+                const arquivosCandidatos = new Set(candidatos.map((candidato) => chaveCaminhoCanonicoDrift(candidato.arquivo)));
+                const candidatosRestantes = resumo.candidatosImpl.filter((candidato) => !arquivosCandidatos.has(chaveCaminhoCanonicoDrift(candidato.arquivo)));
+                resumo.candidatosImpl = [
+                    ...candidatos,
+                    ...ordenarCandidatos(candidatosRestantes),
+                ].slice(0, 5);
+            }
+            diagnosticos.push({
+                tipo: "escopo_estreito_ambiguo",
+                modulo: ambiguidade.modulo,
+                task: ambiguidade.task,
+                severidade: "erro",
+                mensagem: `A implementação "${ambiguidade.origem}:${ambiguidade.caminho}" é ambígua: ${candidatos.length} arquivos físicos correspondem ao mesmo caminho semântico. Declare um vínculo de arquivo inequívoco.`,
+            });
+            bloqueiosAnalise.add("escopo_estreito_ambiguo");
+        }
+        configuracaoEscopo.bloqueios = [...bloqueiosAnalise];
+        const evidenciaPorModulo = new Map();
+        for (const item of contexto.modulosSelecionados) {
+            const nomeModulo = item.resultado.ir?.nome;
+            if (!nomeModulo) {
+                continue;
+            }
+            const frameworkVerificacao = resolverFrameworkPadrao(undefined, contexto.configCarregada);
+            const evidencia = await carregarEvidenciaVerificacaoDrift({
+                caminhoContrato: item.caminho,
+                nomeModulo,
+                alvo: resolverAlvoPadrao(undefined, contexto.configCarregada),
+                framework: frameworkVerificacao,
+                estrutura: resolverEstruturaSaidaPadrao(undefined, frameworkVerificacao, contexto.configCarregada),
+            });
+            if (evidencia) {
+                evidenciaPorModulo.set(nomeModulo, evidencia);
+            }
+        }
         for (const resumo of tasksResumo) {
             const chaveTask = `${resumo.modulo}:${resumo.task}`;
             const task = taskPorChave.get(chaveTask);
@@ -113,8 +323,10 @@ export async function analisarDriftLegado(contexto, opcoes) {
             }
             resumo.confiancaVinculo = calcularConfiancaTask(task, resumo.implsValidos, resumo.implsQuebrados, resumoVinculos.validos, resumoVinculos.quebrados);
             resumo.riscoOperacional = calcularRiscoOperacional(task);
-            resumo.lacunas = resumirLacunasTask(task, resumo.semImplementacao, resumo.implsQuebrados, resumoVinculos.quebrados, guardrails);
-            resumo.scoreSemantico = calcularScoreTask(task, resumo.implsValidos, resumo.implsQuebrados, resumoVinculos.validos, resumoVinculos.quebrados, resumo.semImplementacao);
+            const evidenciaVerificada = evidenciaPorModulo.get(resumo.modulo);
+            resumo.lacunas = resumirLacunasTask(task, resumo.semImplementacao, resumo.implsQuebrados, resumoVinculos.quebrados, guardrails, evidenciaVerificada);
+            resumo.scoreSemantico = calcularScoreTask(task, resumo.implsValidos, resumo.implsQuebrados, resumoVinculos.validos, resumoVinculos.quebrados, resumo.semImplementacao, evidenciaVerificada);
+            resumo.evidenciaVerificacao = evidenciaVerificada;
             resumo.ancoragemVinculo = task.vinculos.length > 0
                 ? "propria"
                 : arquivosAncoraHerdados.length > 0
@@ -230,7 +442,7 @@ export async function analisarDriftLegado(contexto, opcoes) {
         const appRoutes = [...new Set(consumerSurfaces.map((surface) => surface.rota))]
             .sort((a, b) => a.localeCompare(b, "pt-BR"));
         const consumerFramework = inferirConsumerFrameworkPrincipal(contexto.fontesLegado, consumerSurfaces, consumerBridges);
-        const persistenciaReal = await analisarPersistenciaReal(contexto, mapaRecursos, detalhesPersistencia, opcoesResolvidas, mapaImpl);
+        const persistenciaReal = await analisarPersistenciaReal(contexto, mapaRecursos, detalhesPersistencia, opcoesResolvidas, mapaImplHonesto);
         for (const item of persistenciaReal) {
             if (item.status === "divergente") {
                 diagnosticos.push({
@@ -284,42 +496,31 @@ export async function analisarDriftLegado(contexto, opcoes) {
             chaveArquivoOrcamento(modulo.caminho),
             modulo.codigo,
         ]));
-        const arquivosPlanejados = new Set((planoEscopo.estrategia === "projeto"
-            ? todosArquivosConhecidos
-            : planoEscopo.arquivos).map(chaveArquivoOrcamento));
-        const arquivosAvaliados = new Set(arquivosOrcamentoAvaliados.map(chaveArquivoOrcamento));
-        const arquivosSolicitadosOrcamento = new Set([...arquivosOrcamento].map(chaveArquivoOrcamento));
         const leitorArquivosOrcamento = {
             contem: (arquivo) => {
                 const chave = chaveArquivoOrcamento(arquivo);
-                if (contratosJaCarregados.has(chave)) {
-                    return true;
-                }
-                return arquivosPlanejados.has(chave)
-                    && leitorArquivosPlanejados?.contem(arquivo) === true;
+                return contratosJaCarregados.has(chave)
+                    || leitorArquivosPlanejados.contem(arquivo);
             },
             lerTexto: async (arquivo) => {
-                const chave = chaveArquivoOrcamento(arquivo);
-                const contrato = contratosJaCarregados.get(chave);
+                const contrato = contratosJaCarregados.get(chaveArquivoOrcamento(arquivo));
                 if (contrato !== undefined) {
                     return contrato;
                 }
-                if (!arquivosPlanejados.has(chave) || !leitorArquivosPlanejados?.contem(arquivo)) {
-                    throw new Error(`Arquivo fora do catalogo planejado do drift: ${arquivo}`);
+                if (!leitorArquivosPlanejados.contem(arquivo)) {
+                    throw new Error(`Arquivo fora do catálogo planejado do drift: ${arquivo}`);
                 }
                 return leitorArquivosPlanejados.lerTexto(arquivo);
             },
         };
-        const diagnosticosOrcamentoCalculadosAgora = await emitirDiagnosticosArquivosOrcamento({
+        const arquivosOrcamentoPlanejados = [...arquivosOrcamento]
+            .filter((arquivo) => leitorArquivosOrcamento.contem(arquivo));
+        const diagnosticosOrcamento = await emitirDiagnosticosArquivosOrcamento({
             baseProjeto: contexto.baseProjeto,
-            arquivos: [...arquivosOrcamento].filter((arquivo) => !arquivosAvaliados.has(chaveArquivoOrcamento(arquivo))),
+            arquivos: arquivosOrcamentoPlanejados,
             exigirCabecalhoCodigoGovernado: exigeCabecalhoCodigoGovernado,
             leitorArquivos: leitorArquivosOrcamento,
         });
-        const diagnosticosOrcamento = [
-            ...diagnosticosOrcamentoPrecalculados.filter((diagnostico) => arquivosSolicitadosOrcamento.has(chaveArquivoOrcamento(diagnostico.arquivo))),
-            ...diagnosticosOrcamentoCalculadosAgora,
-        ];
         for (const diagnostico of diagnosticosOrcamento) {
             diagnosticos.push({
                 tipo: diagnostico.tipo,
@@ -338,7 +539,9 @@ export async function analisarDriftLegado(contexto, opcoes) {
             && recursosDivergentes.length === 0
             && vinculosQuebrados.length === 0
             && persistenciaReal.every((item) => item.status !== "divergente" && item.compatibilidade !== "invalido")
-            && planoEscopo.bloqueios.length === 0
+            && planoEscopo.cobertura === "completa"
+            && planoEscopo.arquivosAusentes.length === 0
+            && bloqueiosAnalise.size === 0
             && !possuiBloqueioOrcamento;
         const payloadBase = {
             comando: "drift",

package/dist/drift.part12.d.ts

@@ -7,7 +7,7 @@ export declare function classificarArquivoImpacto(arquivo: string): RegistroImpa
 export declare function prioridadeArquivoImpacto(tipo: RegistroImpactoSemanticoArquivo["tipo"]): RegistroImpactoSemanticoArquivo["prioridade"];
 export declare function textoIrCombinaTermos(texto: string, termos: string[]): boolean;
 export declare function registrarArquivoImpactado(mapa: Map<string, RegistroImpactoSemanticoArquivo>, arquivo: string, linhas: number[], motivos: string[]): void;
-export declare function listarArquivosImpacto(contexto: ContextoProjetoCarregado, opcoes?: OpcoesDriftLegado): Promise<string[]>;
+export declare function listarArquivosImpacto(contexto: ContextoProjetoCarregado, opcoes?: OpcoesDriftLegado, arquivosPlanejados?: readonly string[]): Promise<string[]>;
 export declare function extrairLinhasComVariantes(codigo: string, variantes: string[]): number[];
 export declare function serializarTaskParaImpacto(task: IrTask): string;
 export declare function serializarRouteParaImpacto(route: IrRoute): string;