@semacode/cli 2.3.0 → 2.3.1

package/dist/drift.part11.js

@@ -1,7 +1,7 @@
 // SEMA-GOVERNED: sema.governanca_ia_contexto
 // Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
 import path from "node:path";
-import { emitirDiagnosticosArquivosOrcamento } from "./driftOrcamento.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";
@@ -22,7 +22,25 @@ export async function analisarDriftLegado(contexto, opcoes) {
     const diretoriosIgnoradosAnteriores = obterDiretoriosIgnoradosAtivos();
     definirDiretoriosIgnoradosAtivos(resolverDiretoriosIgnoradosAtivos(opcoesResolvidas));
     try {
-        const { detalhesPersistencia, indexDart, indexTs, mapaImpl, mapaRecursos, todasRotasIndexadas, todosArquivosConhecidos, todosRecursos, todosSimbolos, } = await prepararIndicesDrift(contexto, configuracaoEscopo);
+        const indicesPreparados = await prepararIndicesDrift(contexto, configuracaoEscopo, {
+            politicaCache: opcoesResolvidas.cache,
+            observador: opcoesResolvidas.observador,
+        });
+        const { arquivosOrcamentoAvaliados, detalhesPersistencia, diagnosticosOrcamento: diagnosticosOrcamentoPrecalculados, indexDart, indexTs, mapaImpl, mapaRecursos, todasRotasIndexadas, todosArquivosConhecidos, todosRecursos, todosSimbolos, planoEscopo, cache: estadoCache, catalogo: metricasCatalogo, } = indicesPreparados;
+        const leitorArquivosPlanejados = indicesPreparados.leitorArquivosPlanejados;
+        const relativoEscopo = (arquivo) => {
+            const relativo = path.relative(contexto.baseProjeto, arquivo).replace(/\\/g, "/");
+            return relativo && !relativo.startsWith("../") ? relativo : arquivo.replace(/\\/g, "/");
+        };
+        configuracaoEscopo.estrategia = planoEscopo.estrategia;
+        configuracaoEscopo.cobertura = planoEscopo.cobertura;
+        configuracaoEscopo.arquivosPlanejados = planoEscopo.arquivos.map(relativoEscopo);
+        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;
+        configuracaoEscopo.catalogo = metricasCatalogo;
         const implsValidos = [];
         const implsQuebrados = [];
         const vinculosValidos = [];
@@ -31,6 +49,14 @@ export async function analisarDriftLegado(contexto, opcoes) {
         const recursosValidos = [];
         const recursosDivergentes = [];
         const diagnosticos = [];
+        if (planoEscopo.bloqueios.includes("escopo_estreito_sem_vinculos")) {
+            diagnosticos.push({
+                tipo: "escopo_estreito_sem_vinculos",
+                modulo: contexto.modulosSelecionados[0]?.resultado.ir?.nome ?? "projeto",
+                severidade: "erro",
+                mensagem: "Escopo arquivo/modulo sem arquivo vinculado ou implementação resolvível. Declare vinculos { arquivo: ... } ou execute explicitamente com --escopo projeto.",
+            });
+        }
         const tasksResumo = [];
         const taskPorChave = new Map();
         const guardrailsPorTask = new Map();
@@ -249,13 +275,51 @@ export async function analisarDriftLegado(contexto, opcoes) {
         const moduloOrcamento = contexto.modulosSelecionados[0]?.resultado.ir?.nome
             ?? contexto.modulosSelecionados[0]?.resultado.modulo?.nome
             ?? "projeto";
-        const exigeCabecalhoCodigoGovernado = contexto.configCarregada?.config.modoEstrito === true
-            && contexto.arquivosProjeto.some((arquivo) => path.basename(arquivo).toLowerCase() === "agents.md");
-        const diagnosticosOrcamento = await emitirDiagnosticosArquivosOrcamento({
+        const exigeCabecalhoCodigoGovernado = await workspaceExigeCabecalhoCodigoGovernado(contexto.baseProjeto, contexto.configCarregada?.config.modoEstrito === true);
+        const chaveArquivoOrcamento = (arquivo) => {
+            const absoluto = path.resolve(contexto.baseProjeto, arquivo);
+            return process.platform === "win32" ? absoluto.toLowerCase() : absoluto;
+        };
+        const contratosJaCarregados = new Map(contexto.modulosCarregados.map((modulo) => [
+            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;
+            },
+            lerTexto: async (arquivo) => {
+                const chave = chaveArquivoOrcamento(arquivo);
+                const contrato = contratosJaCarregados.get(chave);
+                if (contrato !== undefined) {
+                    return contrato;
+                }
+                if (!arquivosPlanejados.has(chave) || !leitorArquivosPlanejados?.contem(arquivo)) {
+                    throw new Error(`Arquivo fora do catalogo planejado do drift: ${arquivo}`);
+                }
+                return leitorArquivosPlanejados.lerTexto(arquivo);
+            },
+        };
+        const diagnosticosOrcamentoCalculadosAgora = await emitirDiagnosticosArquivosOrcamento({
             baseProjeto: contexto.baseProjeto,
-            arquivos: [...arquivosOrcamento],
+            arquivos: [...arquivosOrcamento].filter((arquivo) => !arquivosAvaliados.has(chaveArquivoOrcamento(arquivo))),
             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,
@@ -274,6 +338,7 @@ 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
             && !possuiBloqueioOrcamento;
         const payloadBase = {
             comando: "drift",

package/dist/drift.part12.js

@@ -3,9 +3,10 @@
 import { readFile } from "node:fs/promises";
 import path from "node:path";
 import { listarArquivosRecursivos, paraIdentificadorModulo } from "./drift.part04.js";
-import { definirDiretoriosIgnoradosAtivos, obterDiretoriosIgnoradosAtivos, normalizarFragmentoArquivo, quebrarTermosEscopo, resolverDiretoriosIgnoradosAtivos, resolverOpcoesDrift } from "./drift.part01.js";
+import { definirDiretoriosIgnoradosAtivos, obterDiretoriosIgnoradosAtivos, normalizarFragmentoArquivo, quebrarTermosEscopo, extrairTermosEscopoDrift, resolverDiretoriosIgnoradosAtivos, resolverOpcoesDrift } from "./drift.part01.js";
 import { filtrarCaminhosEscopoReal, resolverDiretoriosCodigoEscopoReal, textoCombinaEscopo } from "./drift.part02.js";
 import { analisarDriftLegado } from "./drift.part11.js";
+import { planejarEscopoDrift } from "./driftEscopo.js";
 export const EXTENSOES_BUSCA_IMPACTO = [
     ".sema",
     ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
@@ -100,6 +101,18 @@ export function registrarArquivoImpactado(mapa, arquivo, linhas, motivos) {
 export async function listarArquivosImpacto(contexto, opcoes) {
     const opcoesResolvidas = resolverOpcoesDrift(opcoes);
     const arquivos = new Set(filtrarCaminhosEscopoReal(contexto.arquivosProjeto, contexto, opcoesResolvidas));
+    if (opcoesResolvidas.escopo !== "projeto") {
+        const plano = await planejarEscopoDrift(contexto, {
+            escopo: opcoesResolvidas.escopo,
+            ignorarWorktrees: opcoesResolvidas.ignorarWorktrees,
+            ignorarConsumidoresLaterais: opcoesResolvidas.ignorarConsumidoresLaterais,
+            termosEscopo: extrairTermosEscopoDrift(contexto, opcoesResolvidas.escopo),
+        });
+        for (const arquivo of plano.arquivos) {
+            arquivos.add(arquivo);
+        }
+        return [...arquivos].sort((a, b) => a.localeCompare(b, "pt-BR"));
+    }
     for (const diretorio of resolverDiretoriosCodigoEscopoReal(contexto, opcoesResolvidas)) {
         for (const arquivo of await listarArquivosRecursivos(diretorio, EXTENSOES_BUSCA_IMPACTO)) {
             arquivos.add(arquivo);

package/dist/drift.part13.d.ts

@@ -3,15 +3,50 @@ import type { ConfiguracaoEscopoDriftAplicada, RecursoResolvido, RotaResolvida,
 import { indexarTypeScript } from "./drift.part06.js";
 import { indexarDart } from "./drift.part07.js";
 import { indexarPersistenciaDetalhada } from "./drift.part08.js";
-export interface IndicesDriftPreparados {
-    detalhesPersistencia: Awaited<ReturnType<typeof indexarPersistenciaDetalhada>>;
-    indexDart: Awaited<ReturnType<typeof indexarDart>>;
-    indexTs: Awaited<ReturnType<typeof indexarTypeScript>>;
-    mapaImpl: Map<string, SimboloResolvido>;
-    mapaRecursos: Map<string, RecursoResolvido[]>;
+import { type DiagnosticoOrcamentoArquivo } from "./driftOrcamento.js";
+import { type CatalogoDrift, type MetricasCatalogoDrift, type ObservadorOperacaoDrift } from "./driftCatalogo.js";
+import { type PoliticaCacheDrift } from "./driftCache.js";
+import { type MetricasCacheIncrementalDrift } from "./driftCacheIncremental.js";
+import { type PlanoEscopoDrift } from "./driftEscopo.js";
+type IndiceTypeScriptDrift = Awaited<ReturnType<typeof indexarTypeScript>>;
+type IndiceDartDrift = Awaited<ReturnType<typeof indexarDart>>;
+type DetalhesPersistenciaDrift = Awaited<ReturnType<typeof indexarPersistenciaDetalhada>>;
+interface IndicesDriftSerializaveis {
+    arquivosOrcamentoAvaliados: string[];
+    detalhesPersistencia: DetalhesPersistenciaDrift;
+    diagnosticosOrcamento: DiagnosticoOrcamentoArquivo[];
+    indexDart: IndiceDartDrift;
+    indexTs: IndiceTypeScriptDrift;
     todasRotasIndexadas: RotaResolvida[];
     todosArquivosConhecidos: string[];
     todosRecursos: RecursoResolvido[];
     todosSimbolos: SimboloResolvido[];
 }
-export declare function prepararIndicesDrift(contexto: ContextoProjetoCarregado, configuracaoEscopo: ConfiguracaoEscopoDriftAplicada): Promise<IndicesDriftPreparados>;
+export interface EstadoCacheIndicesDrift {
+    politica: PoliticaCacheDrift;
+    origem: "cache" | "calculado" | "nao_aplicavel";
+    chave?: string;
+    incremental?: MetricasCacheIncrementalDrift;
+    fasesMs?: {
+        planejamento: number;
+        catalogacao: number;
+        dependencias: number;
+        assinaturas: number;
+        indexacao: number;
+        total: number;
+    };
+}
+export interface IndicesDriftPreparados extends IndicesDriftSerializaveis {
+    mapaImpl: Map<string, SimboloResolvido>;
+    mapaRecursos: Map<string, RecursoResolvido[]>;
+    planoEscopo: PlanoEscopoDrift;
+    cache: EstadoCacheIndicesDrift;
+    catalogo: MetricasCatalogoDrift;
+    leitorArquivosPlanejados?: Pick<CatalogoDrift, "contem" | "lerTexto">;
+}
+export interface OpcoesPrepararIndicesDrift {
+    politicaCache?: PoliticaCacheDrift;
+    observador?: ObservadorOperacaoDrift;
+}
+export declare function prepararIndicesDrift(contexto: ContextoProjetoCarregado, configuracaoEscopo: ConfiguracaoEscopoDriftAplicada, opcoes?: OpcoesPrepararIndicesDrift): Promise<IndicesDriftPreparados>;
+export {};