@semacode/cli 1.4.0 → 1.5.0

package/AGENTS.md

@@ -18,8 +18,8 @@ Pense como IA, nao como humano. Voce nao esta "programando" — esta consumindo
 
 ## MCP
 
-O servidor MCP do Sema roda localmente via: npx -y @semacode/mcp@latest
-Use as ferramentas: sema_resumo, sema_validar, sema_drift, sema_inspecionar, sema_ir, sema_verificar, sema_contexto_ia, sema_prompt_ia.
+O servidor MCP do Sema roda localmente via: npx -y @semacode/mcp
+Use as ferramentas: sema_resumo, sema_validar, sema_drift, sema_impacto, sema_renomear_semantico, sema_inspecionar, sema_ir, sema_verificar, sema_contexto_ia, sema_prompt_ia.
 
 ## Contratos e exemplos
 

package/README.md

@@ -58,7 +58,7 @@ sema drift ./contratos-importados --json
 
 ## Persistencia vendor-first
 
-A CLI 1.4.0 entende blocos `database` e recursos de persistencia no IR, no formatador, no semantico, na importacao e no drift. O objetivo nao e esconder diferencas entre bancos, e sim capturar essas diferencas no contrato.
+A CLI 1.5.0 entende blocos `database` e recursos de persistencia no IR, no formatador, no semantico, na importacao, no drift, no impact map e na renomeacao semantica assistida. O objetivo nao e esconder diferencas entre bancos, e sim capturar essas diferencas no contrato.
 
 Cobertura publica:
 

package/dist/drift.d.ts

@@ -11,6 +11,12 @@ interface RegistroConsumerBridgeDrift {
     arquivo: string;
     simbolo: string;
 }
+export type EscopoDriftReal = "arquivo" | "modulo" | "projeto";
+export interface OpcoesDriftLegado {
+    escopo?: EscopoDriftReal;
+    ignorarWorktrees?: boolean;
+    ignorarConsumidoresLaterais?: boolean;
+}
 export interface DiagnosticoDrift {
     tipo: "impl_quebrado" | "task_sem_impl" | "rota_divergente" | "recurso_divergente" | "vinculo_quebrado" | "seguranca_frouxa";
     modulo: string;
@@ -38,6 +44,13 @@ interface RegistroRotaDivergente {
 }
 type OrigemRecursoDrift = "firebase" | EngineBanco;
 type TipoRecursoDrift = "colecao" | TipoRecursoPersistencia;
+interface RecursoResolvido {
+    origem: OrigemRecursoDrift;
+    nome: string;
+    arquivo: string;
+    simbolo?: string;
+    tipo: TipoRecursoDrift;
+}
 interface RegistroRecursoDrift {
     modulo: string;
     task: string;
@@ -48,6 +61,17 @@ interface RegistroRecursoDrift {
     tipo: TipoRecursoDrift;
     status: "resolvido" | "divergente";
 }
+interface RegistroColunaPersistenciaDrift {
+    engine: EngineBanco;
+    recurso: string;
+    coluna: string;
+    arquivo: string;
+}
+interface RegistroRepositorioPersistenciaDrift {
+    engine: EngineBanco;
+    recurso: string;
+    arquivo: string;
+}
 interface SimboloCandidatoDrift {
     origem: "ts" | "py" | "dart" | "cs" | "java" | "go" | "rust" | "cpp";
     caminho: string;
@@ -84,9 +108,69 @@ interface RegistroVinculoDrift {
     status: "resolvido" | "parcial" | "nao_encontrado";
     confianca: NivelConfiancaSemantica;
 }
+export interface RegistroPersistenciaRealDrift {
+    modulo: string;
+    task: string;
+    alvo: string;
+    engine: OrigemRecursoDrift | "desconhecido";
+    tipo: TipoRecursoDrift;
+    status: "materializado" | "parcial" | "divergente";
+    arquivos: string[];
+    colunas: string[];
+    repositorios: string[];
+    compatibilidade: "nativo" | "adaptado" | "parcial" | "invalido" | "desconhecida";
+    motivoCompatibilidade?: string;
+}
+export interface ConfiguracaoEscopoDriftAplicada {
+    escopo: EscopoDriftReal;
+    ignorarWorktrees: boolean;
+    ignorarConsumidoresLaterais: boolean;
+    termosEscopo: string[];
+}
+export interface RegistroImpactoSemanticoArquivo {
+    arquivo: string;
+    tipo: "contrato" | "persistencia" | "repositorio" | "rota" | "worker" | "ui" | "teste" | "codigo";
+    prioridade: "alta" | "media" | "baixa";
+    linhas: number[];
+    motivos: string[];
+}
+export interface ResultadoImpactoSemantico {
+    comando: "impacto";
+    sucesso: boolean;
+    escopo: EscopoDriftReal;
+    alvoSemantico: string;
+    mudancaProposta: string;
+    contratosAfetados: string[];
+    tasksAfetadas: string[];
+    routesAfetadas: string[];
+    superficiesAfetadas: string[];
+    persistenciaAfetada: string[];
+    arquivos: RegistroImpactoSemanticoArquivo[];
+    ordemOperacional: string[];
+    validacoes: string[];
+}
+export interface SugestaoRenomeacaoSemantica {
+    arquivo: string;
+    linha: number;
+    atual: string;
+    sugerido: string;
+    contexto: string;
+}
+export interface ResultadoRenomeacaoSemantica {
+    comando: "renomear-semantico";
+    sucesso: boolean;
+    escopo: EscopoDriftReal;
+    de: string;
+    para: string;
+    arquivos: RegistroImpactoSemanticoArquivo[];
+    sugestoes: SugestaoRenomeacaoSemantica[];
+    ordemOperacional: string[];
+    validacoes: string[];
+}
 export interface ResultadoDrift {
     comando: "drift";
     sucesso: boolean;
+    escopo_aplicado: ConfiguracaoEscopoDriftAplicada;
     consumerFramework: ConsumerFramework | null;
     appRoutes: string[];
     consumerSurfaces: RegistroConsumerSurfaceDrift[];
@@ -105,6 +189,7 @@ export interface ResultadoDrift {
     rotas_divergentes: RegistroRotaDivergente[];
     recursos_validos: RegistroRecursoDrift[];
     recursos_divergentes: RegistroRecursoDrift[];
+    persistencia_real: RegistroPersistenciaRealDrift[];
     resumo_operacional: {
         scoreMedio: number;
         confiancaGeral: NivelConfiancaSemantica;
@@ -116,5 +201,12 @@ export interface ResultadoDrift {
     };
     diagnosticos: DiagnosticoDrift[];
 }
-export declare function analisarDriftLegado(contexto: ContextoProjetoCarregado): Promise<ResultadoDrift>;
+declare function indexarPersistenciaDetalhada(diretorios: string[]): Promise<{
+    colunas: RegistroColunaPersistenciaDrift[];
+    repositorios: RegistroRepositorioPersistenciaDrift[];
+}>;
+export declare function analisarPersistenciaReal(contexto: ContextoProjetoCarregado, mapaRecursos?: Map<string, RecursoResolvido[]>, detalhesPersistencia?: Awaited<ReturnType<typeof indexarPersistenciaDetalhada>>, opcoes?: OpcoesDriftLegado): Promise<RegistroPersistenciaRealDrift[]>;
+export declare function analisarDriftLegado(contexto: ContextoProjetoCarregado, opcoes?: OpcoesDriftLegado): Promise<ResultadoDrift>;
+export declare function gerarMapaImpactoSemantico(contexto: ContextoProjetoCarregado, alvoSemantico: string, mudancaProposta: string, opcoes?: OpcoesDriftLegado): Promise<ResultadoImpactoSemantico>;
+export declare function assistirRenomeacaoSemantica(contexto: ContextoProjetoCarregado, nomeAtual: string, nomeNovo: string, opcoes?: OpcoesDriftLegado): Promise<ResultadoRenomeacaoSemantica>;
 export {};