@semacode/cli 1.3.7 → 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

@@ -1,73 +1,93 @@
 # Sema CLI
 
-Sema e um Protocolo de Governanca de Intencao para IA e backend vivo.
+`@semacode/cli` e a interface publica principal da Sema.
 
-Ela nao foi desenhada para ergonomia humana como prioridade. O alvo principal e IA operando contrato, drift e contexto de sistema vivo com menos chute.
+Ela valida contratos `.sema`, mede `drift` entre contrato e codigo vivo, importa legado, gera codigo derivado, produz contexto IA-first e agora governa persistencia vendor-first para `postgres`, `mysql`, `sqlite`, `mongodb` e `redis`.
 
-Este pacote entrega a CLI oficial para:
+## Instalar
 
-- validar contratos `.sema`
-- inspecionar projeto
-- medir `drift` entre contrato e codigo vivo
-- importar legado
-- gerar resumo compacto por capacidade de IA
-- preparar contexto para IA
-
-Quando a CLI roda em projeto, a trilha IA-first recomendada fica assim:
-
-- raiz do repo: `llms.txt`, `SEMA_BRIEF.*`, `SEMA_INDEX.json`, `AGENTS.md`, `README.md`
-- modulo alvo: `resumo.micro.txt`, `briefing.min.json`, `prompt-curto.txt`, `drift.json`, `briefing.json`
-
-Isto nao existe para agradar humano. Existe para a IA achar o contexto certo sem entupir a janela com lixo.
-
-Para regenerar os entrypoints IA-first da raiz:
-
-```bash
-sema sync-ai-entrypoints --json
-```
-
-## Instalacao pelo npm registry
+Global:
 
 ```bash
 npm install -g @semacode/cli
 sema --help
+sema doctor
 ```
 
-## Instalacao via tarball da release
+Local ao projeto:
 
 ```bash
-npm install -g ./sema-cli-1.3.7.tgz
+npm install @semacode/cli
+npx sema --help
 ```
 
-Ou direto da GitHub Release:
+Tarball da release:
 
 ```bash
 npm install -g https://github.com/gerlanss/Sema/releases/latest/download/sema-cli-latest.tgz
 ```
 
-## Instalacao local ao projeto
+## Fluxos principais
+
+Projeto novo:
 
 ```bash
-npm install @semacode/cli
-npx sema --help
+sema iniciar
+sema validar contratos/pedidos.sema --json
+sema compilar contratos --alvo typescript --saida ./generated/typescript
+sema verificar contratos --json
 ```
 
-Ou, se voce estiver testando um tarball local:
+Projeto que ja usa Sema:
 
 ```bash
-npm install ./sema-cli-1.3.7.tgz
-npx sema --help
+sema inspecionar . --json
+sema resumo contratos/pedidos.sema --micro --para mudanca
+sema drift contratos/pedidos.sema --json
+sema contexto-ia contratos/pedidos.sema --saida ./.tmp/contexto --json
 ```
 
-## Primeiro teste
+Adocao incremental em legado:
 
 ```bash
-mkdir sema-demo
-cd sema-demo
-sema iniciar
-sema validar contratos/pedidos.sema --json
-sema starter-ia
-sema resumo contratos/pedidos.sema --micro --para onboarding
+sema importar nextjs ./app --saida ./contratos-importados --json
+sema formatar ./contratos-importados
+sema validar ./contratos-importados --json
+sema drift ./contratos-importados --json
 ```
 
-Repositorio: https://github.com/gerlanss/Sema
+## Persistencia vendor-first
+
+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:
+
+- `postgres`: tabela, relacao, query SQL, schema e capacidades relacionais
+- `mysql`: tabela, indice e diferencas operacionais do engine
+- `sqlite`: armazenamento local, retencao curta e modos de transacao simples
+- `mongodb`: `collection`, `document`, pipeline e indices documentais
+- `redis`: `keyspace`, `stream`, TTL e superficies de estado/cache
+
+## Pacote publico
+
+O tarball publico da CLI inclui:
+
+- `dist/`
+- docs IA-first e docs de operacao
+- pasta `exemplos/`
+- `AGENTS.md`, `llms.txt`, `SEMA_BRIEF.*` e `SEMA_INDEX.json`
+
+## Comandos uteis
+
+- `sema validar <arquivo-ou-pasta> --json`
+- `sema drift <arquivo-ou-pasta> --json`
+- `sema resumo <arquivo-ou-pasta> --micro --para onboarding`
+- `sema prompt-curto <arquivo-ou-pasta> --curto --para mudanca`
+- `sema contexto-ia <arquivo.sema> --saida <diretorio> --json`
+- `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>`
+- `sema verificar <arquivo-ou-pasta> --saida <diretorio>`
+
+## Links
+
+- repositorio: <https://github.com/gerlanss/Sema>
+- docs: <https://github.com/gerlanss/Sema/tree/main/docs>

package/dist/drift.d.ts

@@ -1,4 +1,4 @@
-import type { NivelConfiancaSemantica, NivelRiscoSemantico } from "@sema/nucleo";
+import type { EngineBanco, NivelConfiancaSemantica, NivelRiscoSemantico, TipoRecursoPersistencia } from "@sema/nucleo";
 import type { ContextoProjetoCarregado } from "./projeto.js";
 type ConsumerFramework = "nextjs-consumer" | "react-vite-consumer" | "angular-consumer" | "flutter-consumer";
 interface RegistroConsumerSurfaceDrift {
@@ -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;
@@ -36,16 +42,36 @@ interface RegistroRotaDivergente {
     caminho?: string;
     motivo: string;
 }
+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;
     categoria: "persistencia";
     alvo: string;
     arquivo: string;
-    origem: "firebase";
-    tipo: "colecao";
+    origem: OrigemRecursoDrift;
+    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;
@@ -82,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[];
@@ -103,6 +189,7 @@ export interface ResultadoDrift {
     rotas_divergentes: RegistroRotaDivergente[];
     recursos_validos: RegistroRecursoDrift[];
     recursos_divergentes: RegistroRecursoDrift[];
+    persistencia_real: RegistroPersistenciaRealDrift[];
     resumo_operacional: {
         scoreMedio: number;
         confiancaGeral: NivelConfiancaSemantica;
@@ -114,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 {};