@semacode/cli 1.3.1 → 1.3.5

package/dist/index.js

@@ -60,8 +60,8 @@ Comandos essenciais:
 - validacao: \`sema validar <arquivo.sema> --json\`
 - diagnosticos: \`sema diagnosticos <arquivo.sema> --json\`
 - formatacao: \`sema formatar <arquivo.sema>\`
-- importacao assistida de legado: \`sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> --saida <diretorio>\`
-- geracao de codigo: \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>\`
+- importacao assistida de legado: \`sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> --saida <diretorio>\`
+- geracao de codigo: \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>\`
 - verificacao final: \`sema verificar <arquivo-ou-pasta> [--json]\`
 
 Antes de editar:
@@ -100,24 +100,24 @@ Superficies que a IA deve enxergar como first-class:
 
 Nao improvise quando faltar contexto.
 `;
-const PROMPT_BASE_IA = `Voce esta trabalhando com Sema, um Protocolo de Governanca de Intencao orientado a contrato, desenhado para operacao por IA.
-
-Trate a Sema como camada semantica e linguagem de especificacao executavel feita para IA, nao para leitura humana confortavel. Nao invente sintaxe, palavras-chave ou blocos fora da gramatica e dos exemplos oficiais.
-
-Fontes de verdade, em ordem:
-1. se o projeto expuser \`SEMA_CONTEXT.md\`, comece por ele
-2. \`SEMA_BRIEF.md\`
-3. \`SEMA_INDEX.json\`
-4. README do projeto
-5. gramatica e documentacao de sintaxe da Sema
-6. especificacao semantica da linguagem
-7. exemplos oficiais, com prioridade para o vertical de pagamento
-8. \`sema resumo\` e \`briefing.min.json\` quando a IA for pequena
-9. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar
-
-Regras de operacao:
-- preserve o significado semantico
-- use o formatador oficial da Sema como fonte unica de estilo
+const PROMPT_BASE_IA = `Voce esta trabalhando com Sema, um Protocolo de Governanca de Intencao orientado a contrato, desenhado para operacao por IA.
+
+Trate a Sema como camada semantica e linguagem de especificacao executavel feita para IA, nao para leitura humana confortavel. Nao invente sintaxe, palavras-chave ou blocos fora da gramatica e dos exemplos oficiais.
+
+Fontes de verdade, em ordem:
+1. se o projeto expuser \`SEMA_CONTEXT.md\`, comece por ele
+2. \`SEMA_BRIEF.md\`
+3. \`SEMA_INDEX.json\`
+4. README do projeto
+5. gramatica e documentacao de sintaxe da Sema
+6. especificacao semantica da linguagem
+7. exemplos oficiais, com prioridade para o vertical de pagamento
+8. \`sema resumo\` e \`briefing.min.json\` quando a IA for pequena
+9. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar
+
+Regras de operacao:
+- preserve o significado semantico
+- use o formatador oficial da Sema como fonte unica de estilo
 - use diagnosticos estruturados como contrato de correcao
 - use a IR como fonte de verdade semantica quando houver duvida
 - nao conclua uma alteracao sem validar e verificar o modulo
@@ -432,29 +432,35 @@ async function escreverArquivos(base, arquivos) {
     }
 }
 function obterOpcao(args, nome, padrao) {
-    const indice = args.findIndex((arg) => arg === nome);
-    if (indice === -1) {
-        return padrao;
+    const nomes = [nome, ...Object.entries(ALIAS_OPCOES).filter(([, v]) => v === nome).map(([k]) => k)];
+    for (const n of nomes) {
+        const indice = args.findIndex((arg) => arg === n);
+        if (indice !== -1)
+            return args[indice + 1] ?? padrao;
     }
-    return args[indice + 1] ?? padrao;
+    return padrao;
 }
 function possuiFlag(args, nome) {
     return args.includes(nome);
 }
 const OPCOES_COM_VALOR = new Set([
     "--template",
-    "--alvo",
-    "--saida",
+    "--alvo", "-a",
+    "--saida", "-s",
     "--estrutura",
     "--framework",
     "--namespace",
     "--para",
 ]);
+const ALIAS_OPCOES = {
+    "-a": "--alvo",
+    "-s": "--saida",
+};
 function obterPosicionais(args) {
     const posicionais = [];
     for (let indice = 0; indice < args.length; indice += 1) {
         const atual = args[indice];
-        if (atual.startsWith("--")) {
+        if (atual.startsWith("-")) {
             if (OPCOES_COM_VALOR.has(atual)) {
                 indice += 1;
             }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semacode/cli",
-  "version": "1.3.1",
+  "version": "1.3.5",
   "type": "module",
   "description": "CLI da Sema para validar contratos, medir drift e governar a navegacao operacional de agentes sobre software vivo em backend e front consumer.",
   "license": "MIT",
@@ -37,15 +37,15 @@
     "build": "tsc -p tsconfig.json"
   },
   "dependencies": {
-    "@sema/nucleo": "1.3.1",
-    "@sema/gerador-dart": "1.3.1",
-    "@sema/gerador-lua": "1.3.1",
-    "@sema/gerador-python": "1.3.1",
-    "@sema/gerador-typescript": "1.3.1",
-    "@sema/gerador-javascript": "1.3.1",
-    "@sema/gerador-html": "1.3.1",
-    "@sema/gerador-css": "1.3.1",
-    "@sema/padroes": "1.3.1",
+    "@sema/nucleo": "file:../nucleo",
+    "@sema/gerador-dart": "file:../gerador-dart",
+    "@sema/gerador-lua": "file:../gerador-lua",
+    "@sema/gerador-python": "file:../gerador-python",
+    "@sema/gerador-typescript": "file:../gerador-typescript",
+    "@sema/gerador-javascript": "file:../gerador-javascript",
+    "@sema/gerador-html": "file:../gerador-html",
+    "@sema/gerador-css": "file:../gerador-css",
+    "@sema/padroes": "file:../padroes",
     "typescript": "^5.8.3"
   },
   "bundleDependencies": [

package/src/index.ts

@@ -12,14 +12,14 @@ import {
   temErros,
   type IrModulo,
 } from "@sema/nucleo";
-import { descreverEstruturaModulo, type AlvoGeracao, type FrameworkGeracao } from "@sema/padroes";
-import { gerarDart } from "@sema/gerador-dart";
-import { gerarLua } from "@sema/gerador-lua";
-import { gerarPython } from "@sema/gerador-python";
-import { gerarTypeScript } from "@sema/gerador-typescript";
-import { gerarJavaScript } from "@sema/gerador-javascript";
-import { gerarHtml } from "@sema/gerador-html";
-import { gerarCss } from "@sema/gerador-css";
+import { descreverEstruturaModulo, type AlvoGeracao, type FrameworkGeracao } from "@sema/padroes";
+import { gerarDart } from "@sema/gerador-dart";
+import { gerarLua } from "@sema/gerador-lua";
+import { gerarPython } from "@sema/gerador-python";
+import { gerarTypeScript } from "@sema/gerador-typescript";
+import { gerarJavaScript } from "@sema/gerador-javascript";
+import { gerarHtml } from "@sema/gerador-html";
+import { gerarCss } from "@sema/gerador-css";
 import {
   carregarConfiguracaoProjeto,
   carregarProjeto,
@@ -80,16 +80,16 @@ interface ResultadoExecucaoTestes {
   quantidadeTestes: number;
 }
 
-interface ResumoAlvoVerificacao {
-  alvo: AlvoGeracao;
-  arquivosGerados: number;
-  quantidadeTestes: number;
-  pastaSaida: string;
-  sucesso: boolean;
-  framework: FrameworkGeracao;
-  estrutura: EstruturaSaida;
-  testesExecutados: boolean;
-}
+interface ResumoAlvoVerificacao {
+  alvo: AlvoGeracao;
+  arquivosGerados: number;
+  quantidadeTestes: number;
+  pastaSaida: string;
+  sucesso: boolean;
+  framework: FrameworkGeracao;
+  estrutura: EstruturaSaida;
+  testesExecutados: boolean;
+}
 
 interface ResumoModuloVerificacao {
   modulo: string;
@@ -266,8 +266,8 @@ Comandos essenciais:
 - validacao: \`sema validar <arquivo.sema> --json\`
 - diagnosticos: \`sema diagnosticos <arquivo.sema> --json\`
 - formatacao: \`sema formatar <arquivo.sema>\`
-- importacao assistida de legado: \`sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> --saida <diretorio>\`
-- geracao de codigo: \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>\`
+- importacao assistida de legado: \`sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> --saida <diretorio>\`
+- geracao de codigo: \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>\`
 - verificacao final: \`sema verificar <arquivo-ou-pasta> [--json]\`
 
 Antes de editar:
@@ -307,24 +307,24 @@ Superficies que a IA deve enxergar como first-class:
 Nao improvise quando faltar contexto.
 `;
 
-const PROMPT_BASE_IA = `Voce esta trabalhando com Sema, um Protocolo de Governanca de Intencao orientado a contrato, desenhado para operacao por IA.
-
-Trate a Sema como camada semantica e linguagem de especificacao executavel feita para IA, nao para leitura humana confortavel. Nao invente sintaxe, palavras-chave ou blocos fora da gramatica e dos exemplos oficiais.
-
-Fontes de verdade, em ordem:
-1. se o projeto expuser \`SEMA_CONTEXT.md\`, comece por ele
-2. \`SEMA_BRIEF.md\`
-3. \`SEMA_INDEX.json\`
-4. README do projeto
-5. gramatica e documentacao de sintaxe da Sema
-6. especificacao semantica da linguagem
-7. exemplos oficiais, com prioridade para o vertical de pagamento
-8. \`sema resumo\` e \`briefing.min.json\` quando a IA for pequena
-9. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar
-
-Regras de operacao:
-- preserve o significado semantico
-- use o formatador oficial da Sema como fonte unica de estilo
+const PROMPT_BASE_IA = `Voce esta trabalhando com Sema, um Protocolo de Governanca de Intencao orientado a contrato, desenhado para operacao por IA.
+
+Trate a Sema como camada semantica e linguagem de especificacao executavel feita para IA, nao para leitura humana confortavel. Nao invente sintaxe, palavras-chave ou blocos fora da gramatica e dos exemplos oficiais.
+
+Fontes de verdade, em ordem:
+1. se o projeto expuser \`SEMA_CONTEXT.md\`, comece por ele
+2. \`SEMA_BRIEF.md\`
+3. \`SEMA_INDEX.json\`
+4. README do projeto
+5. gramatica e documentacao de sintaxe da Sema
+6. especificacao semantica da linguagem
+7. exemplos oficiais, com prioridade para o vertical de pagamento
+8. \`sema resumo\` e \`briefing.min.json\` quando a IA for pequena
+9. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar
+
+Regras de operacao:
+- preserve o significado semantico
+- use o formatador oficial da Sema como fonte unica de estilo
 - use diagnosticos estruturados como contrato de correcao
 - use a IR como fonte de verdade semantica quando houver duvida
 - nao conclua uma alteracao sem validar e verificar o modulo
@@ -582,7 +582,7 @@ function ajuda(): string {
       "[1] Projeto novo / producao inicial",
       "sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer>",
       "sema validar contratos/<modulo>.sema --json",
-      "sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>",
+      "sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>",
       "sema verificar <arquivo-ou-pasta> --json",
       "",
       "[2] Editar projeto que ja usa Sema",
@@ -607,11 +607,11 @@ function ajuda(): string {
     renderizarSecaoAscii("Comandos principais", [
       "descoberta: sema inspecionar [arquivo-ou-pasta] [--json]",
       "auditoria: sema drift <arquivo-ou-pasta> [--json]",
-      "importacao: sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> [--saida <diretorio>] [--namespace <base>] [--json]",
+      "importacao: sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> [--saida <diretorio>] [--namespace <base>] [--json]",
       "validacao: sema validar <arquivo-ou-pasta> [--json]",
       "diagnostico: sema diagnosticos <arquivo.sema> [--json]",
-      "geracao: sema compilar <arquivo-ou-pasta> --alvo <python|typescript|dart|lua> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
-      "teste local: sema testar <arquivo.sema> --alvo <python|typescript|dart|lua> --saida <diretorio-temporario> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
+      "geracao: sema compilar <arquivo-ou-pasta> --alvo <python|typescript|dart|lua> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
+      "teste local: sema testar <arquivo.sema> --alvo <python|typescript|dart|lua> --saida <diretorio-temporario> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
       "verificacao final: sema verificar <arquivo-ou-pasta> [--saida <diretorio-base>] [--json]",
       "formatacao: sema formatar <arquivo-ou-pasta> [--check] [--json]",
     ]),
@@ -651,11 +651,12 @@ async function escreverArquivos(base: string, arquivos: Array<{ caminhoRelativo:
 }
 
 function obterOpcao(args: string[], nome: string, padrao?: string): string | undefined {
-  const indice = args.findIndex((arg) => arg === nome);
-  if (indice === -1) {
-    return padrao;
+  const nomes = [nome, ...Object.entries(ALIAS_OPCOES).filter(([, v]) => v === nome).map(([k]) => k)];
+  for (const n of nomes) {
+    const indice = args.findIndex((arg) => arg === n);
+    if (indice !== -1) return args[indice + 1] ?? padrao;
   }
-  return args[indice + 1] ?? padrao;
+  return padrao;
 }
 
 function possuiFlag(args: string[], nome: string): boolean {
@@ -664,19 +665,24 @@ function possuiFlag(args: string[], nome: string): boolean {
 
 const OPCOES_COM_VALOR = new Set([
   "--template",
-  "--alvo",
-  "--saida",
+  "--alvo", "-a",
+  "--saida", "-s",
   "--estrutura",
   "--framework",
   "--namespace",
   "--para",
 ]);
 
+const ALIAS_OPCOES: Record<string, string> = {
+  "-a": "--alvo",
+  "-s": "--saida",
+};
+
 function obterPosicionais(args: string[]): string[] {
   const posicionais: string[] = [];
   for (let indice = 0; indice < args.length; indice += 1) {
     const atual = args[indice]!;
-    if (atual.startsWith("--")) {
+    if (atual.startsWith("-")) {
       if (OPCOES_COM_VALOR.has(atual)) {
         indice += 1;
       }
@@ -754,11 +760,11 @@ function validarCompatibilidadeFramework(alvo: AlvoGeracao, framework: Framework
   if (framework === "fastapi" && alvo !== "python") {
     return `Framework "${framework}" so pode ser usado com o alvo python.`;
   }
-  if (alvo === "dart" || alvo === "lua" || alvo === "javascript" || alvo === "html" || alvo === "css") {
-    return `Framework "${framework}" nao e suportado para o alvo ${alvo}.`;
-  }
-  return undefined;
-}
+  if (alvo === "dart" || alvo === "lua" || alvo === "javascript" || alvo === "html" || alvo === "css") {
+    return `Framework "${framework}" nao e suportado para o alvo ${alvo}.`;
+  }
+  return undefined;
+}
 
 function normalizarFonteImportacao(valor: string | undefined): FonteImportacao | undefined {
   if (!valor) {
@@ -826,10 +832,10 @@ function normalizarFonteImportacao(valor: string | undefined): FonteImportacao |
     || valor === "cpp"
     || valor === "typescript"
     || valor === "python"
-    || valor === "dart"
-  ) {
-    return valor;
-  }
+    || valor === "dart"
+  ) {
+    return valor;
+  }
   return undefined;
 }
 
@@ -861,27 +867,27 @@ function garantirIr(resultado: ReturnType<typeof compilarCodigo>, caminho: strin
   return resultado.ir;
 }
 
-function gerarArquivosPorAlvo(ir: IrModulo, alvo: AlvoGeracao, framework: FrameworkGeracao) {
-  if (alvo === "python") {
-    return gerarPython(ir, { framework });
-  }
-  if (alvo === "dart") {
-    return gerarDart(ir);
-  }
-  if (alvo === "lua") {
-    return gerarLua(ir);
-  }
-  if (alvo === "javascript") {
-    return gerarJavaScript(ir);
-  }
-  if (alvo === "html") {
-    return gerarHtml(ir);
-  }
-  if (alvo === "css") {
-    return gerarCss(ir);
-  }
-  return gerarTypeScript(ir, { framework });
-}
+function gerarArquivosPorAlvo(ir: IrModulo, alvo: AlvoGeracao, framework: FrameworkGeracao) {
+  if (alvo === "python") {
+    return gerarPython(ir, { framework });
+  }
+  if (alvo === "dart") {
+    return gerarDart(ir);
+  }
+  if (alvo === "lua") {
+    return gerarLua(ir);
+  }
+  if (alvo === "javascript") {
+    return gerarJavaScript(ir);
+  }
+  if (alvo === "html") {
+    return gerarHtml(ir);
+  }
+  if (alvo === "css") {
+    return gerarCss(ir);
+  }
+  return gerarTypeScript(ir, { framework });
+}
 
 function aplicarEstruturaSaida(
   arquivos: Array<{ caminhoRelativo: string; conteudo: string }>,
@@ -912,23 +918,23 @@ function aplicarEstruturaSaida(
     } else if (basename === `test_${nomeBaseAntigo}.py`) {
       novoBasename = `test_${nomeArquivo}.py`;
       conteudo = conteudo.replace(`from ${nomeBaseAntigo} import *`, `from ${nomeArquivo} import *`);
-    } else if (basename === `${nomeBaseAntigo}.dart`) {
-      novoBasename = `${nomeArquivo}.dart`;
-    } else if (basename === `${nomeBaseAntigo}.lua`) {
-      novoBasename = `${nomeArquivo}.lua`;
-    } else if (basename === `test_${nomeBaseAntigo}.lua`) {
-      novoBasename = `test_${nomeArquivo}.lua`;
-      conteudo = conteudo.replace(`${nomeBaseAntigo}.lua`, `${nomeArquivo}.lua`);
-    } else if (basename === `${nomeBaseAntigo}.js`) {
-      novoBasename = `${nomeArquivo}.js`;
-    } else if (basename === `${nomeBaseAntigo}.test.js`) {
-      novoBasename = `${nomeArquivo}.test.js`;
-      conteudo = conteudo.replace(`./${nomeBaseAntigo}.js`, `./${nomeArquivo}.js`);
-    } else if (basename === `${nomeBaseAntigo}.html`) {
-      novoBasename = `${nomeArquivo}.html`;
-    } else if (basename === `${nomeBaseAntigo}.css`) {
-      novoBasename = `${nomeArquivo}.css`;
-    }
+    } else if (basename === `${nomeBaseAntigo}.dart`) {
+      novoBasename = `${nomeArquivo}.dart`;
+    } else if (basename === `${nomeBaseAntigo}.lua`) {
+      novoBasename = `${nomeArquivo}.lua`;
+    } else if (basename === `test_${nomeBaseAntigo}.lua`) {
+      novoBasename = `test_${nomeArquivo}.lua`;
+      conteudo = conteudo.replace(`${nomeBaseAntigo}.lua`, `${nomeArquivo}.lua`);
+    } else if (basename === `${nomeBaseAntigo}.js`) {
+      novoBasename = `${nomeArquivo}.js`;
+    } else if (basename === `${nomeBaseAntigo}.test.js`) {
+      novoBasename = `${nomeArquivo}.test.js`;
+      conteudo = conteudo.replace(`./${nomeBaseAntigo}.js`, `./${nomeArquivo}.js`);
+    } else if (basename === `${nomeBaseAntigo}.html`) {
+      novoBasename = `${nomeArquivo}.html`;
+    } else if (basename === `${nomeBaseAntigo}.css`) {
+      novoBasename = `${nomeArquivo}.css`;
+    }
 
     return {
       caminhoRelativo: pastaModulo ? path.join(pastaModulo, novoBasename) : novoBasename,
@@ -937,32 +943,32 @@ function aplicarEstruturaSaida(
   });
 }
 
-function contarCasosDeTesteGerados(alvo: AlvoGeracao, arquivos: Array<{ caminhoRelativo: string; conteudo: string }>): number {
-  if (alvo === "dart" || alvo === "html" || alvo === "css") {
-    return 0;
-  }
-  if (alvo === "lua") {
-    const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".lua"));
-    if (!arquivoTeste) {
-      return 0;
-    }
-    return (arquivoTeste.conteudo.match(/\blocal function test_/g) ?? []).length;
-  }
-
-  if (alvo === "typescript") {
+function contarCasosDeTesteGerados(alvo: AlvoGeracao, arquivos: Array<{ caminhoRelativo: string; conteudo: string }>): number {
+  if (alvo === "dart" || alvo === "html" || alvo === "css") {
+    return 0;
+  }
+  if (alvo === "lua") {
+    const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".lua"));
+    if (!arquivoTeste) {
+      return 0;
+    }
+    return (arquivoTeste.conteudo.match(/\blocal function test_/g) ?? []).length;
+  }
+
+  if (alvo === "typescript") {
     const arquivoTeste = arquivos.find((item) => item.caminhoRelativo.endsWith(".test.ts"));
     if (!arquivoTeste) {
       return 0;
     }
     return (arquivoTeste.conteudo.match(/\btest\(/g) ?? []).length;
-  }
-
-  if (alvo === "javascript") {
-    const arquivoTeste = arquivos.find((item) => item.caminhoRelativo.endsWith(".test.js"));
-    if (!arquivoTeste) {
-      return 0;
-    }
-    return (arquivoTeste.conteudo.match(/\btest\(/g) ?? []).length;
+  }
+
+  if (alvo === "javascript") {
+    const arquivoTeste = arquivos.find((item) => item.caminhoRelativo.endsWith(".test.js"));
+    if (!arquivoTeste) {
+      return 0;
+    }
+    return (arquivoTeste.conteudo.match(/\btest\(/g) ?? []).length;
   }
 
   const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_"));
@@ -972,24 +978,24 @@ function contarCasosDeTesteGerados(alvo: AlvoGeracao, arquivos: Array<{ caminhoR
   return (arquivoTeste.conteudo.match(/\bdef test_/g) ?? []).length;
 }
 
-function executarTestesGerados(
-  alvo: AlvoGeracao,
-  baseSaida: string,
-  arquivos: Array<{ caminhoRelativo: string; conteudo: string }>,
+function executarTestesGerados(
+  alvo: AlvoGeracao,
+  baseSaida: string,
+  arquivos: Array<{ caminhoRelativo: string; conteudo: string }>,
   silencioso = false,
 ): SaidaTesteCapturada {
-  const quantidadeTestes = contarCasosDeTesteGerados(alvo, arquivos);
-  if (quantidadeTestes === 0) {
-    if (!silencioso) {
-      const nomesAlvo: Record<AlvoGeracao, string> = { typescript: "TypeScript", python: "Python", lua: "Lua", dart: "Dart", javascript: "JavaScript", html: "HTML", css: "CSS" };
-      console.log(`Nenhum teste ${nomesAlvo[alvo] ?? alvo} foi gerado.`);
-    }
-    return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
-  }
-
-  if (alvo === "html" || alvo === "css") {
-    return { codigoSaida: 0, quantidadeTestes: 0, saidaPadrao: "", saidaErro: "" };
-  }
+  const quantidadeTestes = contarCasosDeTesteGerados(alvo, arquivos);
+  if (quantidadeTestes === 0) {
+    if (!silencioso) {
+      const nomesAlvo: Record<AlvoGeracao, string> = { typescript: "TypeScript", python: "Python", lua: "Lua", dart: "Dart", javascript: "JavaScript", html: "HTML", css: "CSS" };
+      console.log(`Nenhum teste ${nomesAlvo[alvo] ?? alvo} foi gerado.`);
+    }
+    return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
+  }
+
+  if (alvo === "html" || alvo === "css") {
+    return { codigoSaida: 0, quantidadeTestes: 0, saidaPadrao: "", saidaErro: "" };
+  }
 
   if (alvo === "typescript") {
     const arquivoTeste = arquivos.find((item) => item.caminhoRelativo.endsWith(".test.ts"))?.caminhoRelativo;
@@ -1009,52 +1015,52 @@ function executarTestesGerados(
       saidaPadrao: typeof execucao.stdout === "string" ? execucao.stdout : "",
       saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
     };
-  }
-
-  if (alvo === "javascript") {
-    const arquivoTeste = arquivos.find((item) => item.caminhoRelativo.endsWith(".test.js"))?.caminhoRelativo;
-    if (!arquivoTeste) {
-      if (!silencioso) {
-        console.log("Nenhum teste JavaScript foi gerado.");
-      }
-      return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
-    }
-    const execucao = spawnSync("node", ["--test", path.join(baseSaida, arquivoTeste)], {
-      stdio: silencioso ? "pipe" : "inherit",
-      encoding: silencioso ? "utf8" : undefined,
-    });
-    return {
-      codigoSaida: execucao.status ?? 1,
-      quantidadeTestes,
-      saidaPadrao: typeof execucao.stdout === "string" ? execucao.stdout : "",
-      saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
-    };
-  }
-
-  if (alvo === "lua") {
-    const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".lua"))?.caminhoRelativo;
-    if (!arquivoTeste) {
-      if (!silencioso) {
-        console.log("Nenhum teste Lua foi gerado.");
-      }
-      return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
-    }
-    const execucao = spawnSync("lua", [arquivoTeste], {
-      stdio: silencioso ? "pipe" : "inherit",
-      cwd: baseSaida,
-      encoding: silencioso ? "utf8" : undefined,
-      shell: process.platform === "win32",
-    });
-    return {
-      codigoSaida: execucao.status ?? 1,
-      quantidadeTestes,
-      saidaPadrao: typeof execucao.stdout === "string" ? execucao.stdout : "",
-      saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
-    };
-  }
-
-  const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_"))?.caminhoRelativo;
-  if (!arquivoTeste) {
+  }
+
+  if (alvo === "javascript") {
+    const arquivoTeste = arquivos.find((item) => item.caminhoRelativo.endsWith(".test.js"))?.caminhoRelativo;
+    if (!arquivoTeste) {
+      if (!silencioso) {
+        console.log("Nenhum teste JavaScript foi gerado.");
+      }
+      return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
+    }
+    const execucao = spawnSync("node", ["--test", path.join(baseSaida, arquivoTeste)], {
+      stdio: silencioso ? "pipe" : "inherit",
+      encoding: silencioso ? "utf8" : undefined,
+    });
+    return {
+      codigoSaida: execucao.status ?? 1,
+      quantidadeTestes,
+      saidaPadrao: typeof execucao.stdout === "string" ? execucao.stdout : "",
+      saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
+    };
+  }
+
+  if (alvo === "lua") {
+    const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".lua"))?.caminhoRelativo;
+    if (!arquivoTeste) {
+      if (!silencioso) {
+        console.log("Nenhum teste Lua foi gerado.");
+      }
+      return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
+    }
+    const execucao = spawnSync("lua", [arquivoTeste], {
+      stdio: silencioso ? "pipe" : "inherit",
+      cwd: baseSaida,
+      encoding: silencioso ? "utf8" : undefined,
+      shell: process.platform === "win32",
+    });
+    return {
+      codigoSaida: execucao.status ?? 1,
+      quantidadeTestes,
+      saidaPadrao: typeof execucao.stdout === "string" ? execucao.stdout : "",
+      saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
+    };
+  }
+
+  const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_"))?.caminhoRelativo;
+  if (!arquivoTeste) {
     if (!silencioso) {
       console.log("Nenhum teste Python foi gerado.");
     }
@@ -1065,60 +1071,60 @@ function executarTestesGerados(
     cwd: baseSaida,
     encoding: silencioso ? "utf8" : undefined,
   });
-  return {
-    codigoSaida: execucao.status ?? 1,
-    quantidadeTestes,
-    saidaPadrao: typeof execucao.stdout === "string" ? execucao.stdout : "",
-    saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
-  };
-}
-
-function resolverConfiguracaoVerificacaoPorAlvo(
-  alvo: AlvoGeracao,
-  configCarregada?: Awaited<ReturnType<typeof carregarConfiguracaoProjeto>>,
-): {
-  framework: FrameworkGeracao;
-  estrutura: EstruturaSaida;
-  incompatibilidade?: string;
-} {
-  const framework = resolverFrameworkPadrao(undefined, configCarregada);
-  const incompatibilidade = validarCompatibilidadeFramework(alvo, framework);
-  const estrutura = resolverEstruturaSaidaPadrao(undefined, framework, configCarregada);
-
-  return {
-    framework,
-    estrutura,
-    incompatibilidade,
-  };
-}
-
-function executarTestesParaVerificacao(
-  alvo: AlvoGeracao,
-  baseSaida: string,
-  arquivos: Array<{ caminhoRelativo: string; conteudo: string }>,
-  framework: FrameworkGeracao,
-  silencioso = false,
-): {
-  execucao: SaidaTesteCapturada;
-  testesExecutados: boolean;
-} {
-  if (framework !== "base") {
-    return {
-      execucao: {
-        codigoSaida: 0,
-        quantidadeTestes: 0,
-        saidaPadrao: "",
-        saidaErro: "",
-      },
-      testesExecutados: false,
-    };
-  }
-
-  return {
-    execucao: executarTestesGerados(alvo, baseSaida, arquivos, silencioso),
-    testesExecutados: true,
-  };
-}
+  return {
+    codigoSaida: execucao.status ?? 1,
+    quantidadeTestes,
+    saidaPadrao: typeof execucao.stdout === "string" ? execucao.stdout : "",
+    saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
+  };
+}
+
+function resolverConfiguracaoVerificacaoPorAlvo(
+  alvo: AlvoGeracao,
+  configCarregada?: Awaited<ReturnType<typeof carregarConfiguracaoProjeto>>,
+): {
+  framework: FrameworkGeracao;
+  estrutura: EstruturaSaida;
+  incompatibilidade?: string;
+} {
+  const framework = resolverFrameworkPadrao(undefined, configCarregada);
+  const incompatibilidade = validarCompatibilidadeFramework(alvo, framework);
+  const estrutura = resolverEstruturaSaidaPadrao(undefined, framework, configCarregada);
+
+  return {
+    framework,
+    estrutura,
+    incompatibilidade,
+  };
+}
+
+function executarTestesParaVerificacao(
+  alvo: AlvoGeracao,
+  baseSaida: string,
+  arquivos: Array<{ caminhoRelativo: string; conteudo: string }>,
+  framework: FrameworkGeracao,
+  silencioso = false,
+): {
+  execucao: SaidaTesteCapturada;
+  testesExecutados: boolean;
+} {
+  if (framework !== "base") {
+    return {
+      execucao: {
+        codigoSaida: 0,
+        quantidadeTestes: 0,
+        saidaPadrao: "",
+        saidaErro: "",
+      },
+      testesExecutados: false,
+    };
+  }
+
+  return {
+    execucao: executarTestesGerados(alvo, baseSaida, arquivos, silencioso),
+    testesExecutados: true,
+  };
+}
 
 function nomeSubpastaModulo(caminhoArquivo: string): string {
   return path.basename(caminhoArquivo, ".sema");
@@ -3847,7 +3853,7 @@ async function comandoAjudaIa(): Promise<number> {
     "Use `sema inspecionar` para descobrir base, codigo vivo e fontes legado.",
     "Use `sema drift` para medir impls, vinculos, rotas, score e lacunas.",
     "Use `sema contexto-ia <arquivo.sema>` para gerar AST, IR, drift, `briefing.json` e `briefing.min.json`.",
-    "Use `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>` quando a tarefa pedir codigo derivado.",
+    "Use `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>` quando a tarefa pedir codigo derivado.",
   ]));
   console.log("");
   console.log(renderizarSecaoAscii("Regras praticas", [
@@ -4125,14 +4131,14 @@ function imprimirResumoVerificacao(resumos: ResumoModuloVerificacao[]): void {
   for (const resumo of resumos) {
     console.log(`- Modulo ${resumo.modulo} (${resumo.arquivoFonte})`);
     for (const alvo of resumo.alvos) {
-      totalArquivos += alvo.arquivosGerados;
-      totalTestes += alvo.quantidadeTestes;
-      totalAlvos += 1;
-      console.log(
-        `  alvo=${alvo.alvo} framework=${alvo.framework} estrutura=${alvo.estrutura} status=${alvo.sucesso ? "ok" : "falhou"} arquivos=${alvo.arquivosGerados} testes=${alvo.quantidadeTestes}${alvo.testesExecutados ? "" : " (skip)"} saida=${alvo.pastaSaida}`,
-      );
-    }
-  }
+      totalArquivos += alvo.arquivosGerados;
+      totalTestes += alvo.quantidadeTestes;
+      totalAlvos += 1;
+      console.log(
+        `  alvo=${alvo.alvo} framework=${alvo.framework} estrutura=${alvo.estrutura} status=${alvo.sucesso ? "ok" : "falhou"} arquivos=${alvo.arquivosGerados} testes=${alvo.quantidadeTestes}${alvo.testesExecutados ? "" : " (skip)"} saida=${alvo.pastaSaida}`,
+      );
+    }
+  }
 
   console.log(`Totais: modulos=${resumos.length} alvos=${totalAlvos} arquivos=${totalArquivos} testes=${totalTestes}`);
 }
@@ -4148,47 +4154,47 @@ async function comandoVerificar(
   if (temErros(diagnosticos)) {
     console.error(formatarDiagnosticos(diagnosticos));
     return 1;
-  }
-
-  const alvos = resolverAlvosVerificacao(contextoProjeto.configCarregada);
-  const configuracoesAlvo = alvos.map((alvo) => ({
-    alvo,
-    ...resolverConfiguracaoVerificacaoPorAlvo(alvo, contextoProjeto.configCarregada),
-  }));
-  const incompatibilidade = configuracoesAlvo.find((item) => item.incompatibilidade);
-  if (incompatibilidade?.incompatibilidade) {
-    console.error(incompatibilidade.incompatibilidade);
-    return 1;
-  }
-
-  const resumos: ResumoModuloVerificacao[] = [];
-  for (const modulo of modulos) {
-    const ir = garantirIr(modulo.resultado, modulo.caminho);
-    console.log(`Verificando modulo ${modulo.caminho}`);
+  }
+
+  const alvos = resolverAlvosVerificacao(contextoProjeto.configCarregada);
+  const configuracoesAlvo = alvos.map((alvo) => ({
+    alvo,
+    ...resolverConfiguracaoVerificacaoPorAlvo(alvo, contextoProjeto.configCarregada),
+  }));
+  const incompatibilidade = configuracoesAlvo.find((item) => item.incompatibilidade);
+  if (incompatibilidade?.incompatibilidade) {
+    console.error(incompatibilidade.incompatibilidade);
+    return 1;
+  }
+
+  const resumos: ResumoModuloVerificacao[] = [];
+  for (const modulo of modulos) {
+    const ir = garantirIr(modulo.resultado, modulo.caminho);
+    console.log(`Verificando modulo ${modulo.caminho}`);
     const resumoModulo: ResumoModuloVerificacao = {
       modulo: ir.nome,
-      arquivoFonte: modulo.caminho,
-      alvos: [],
-    };
-    for (const configuracaoAlvo of configuracoesAlvo) {
-      const { alvo, framework, estrutura } = configuracaoAlvo;
-      const pastaAlvo = path.join(baseSaida, alvo, nomeSubpastaModulo(modulo.caminho));
-      const arquivos = aplicarEstruturaSaida(gerarArquivosPorAlvo(ir, alvo, framework), ir, estrutura);
-      await escreverArquivos(pastaAlvo, arquivos);
-      const { execucao, testesExecutados } = executarTestesParaVerificacao(alvo, pastaAlvo, arquivos, framework);
-      resumoModulo.alvos.push({
-        alvo,
-        arquivosGerados: arquivos.length,
-        quantidadeTestes: execucao.quantidadeTestes,
-        pastaSaida: pastaAlvo,
-        sucesso: execucao.codigoSaida === 0,
-        framework,
-        estrutura,
-        testesExecutados,
-      });
-      if (execucao.codigoSaida !== 0) {
-        imprimirResumoVerificacao([...resumos, resumoModulo]);
-        console.error(`Falha na verificacao do modulo ${modulo.caminho} para o alvo ${alvo}.`);
+      arquivoFonte: modulo.caminho,
+      alvos: [],
+    };
+    for (const configuracaoAlvo of configuracoesAlvo) {
+      const { alvo, framework, estrutura } = configuracaoAlvo;
+      const pastaAlvo = path.join(baseSaida, alvo, nomeSubpastaModulo(modulo.caminho));
+      const arquivos = aplicarEstruturaSaida(gerarArquivosPorAlvo(ir, alvo, framework), ir, estrutura);
+      await escreverArquivos(pastaAlvo, arquivos);
+      const { execucao, testesExecutados } = executarTestesParaVerificacao(alvo, pastaAlvo, arquivos, framework);
+      resumoModulo.alvos.push({
+        alvo,
+        arquivosGerados: arquivos.length,
+        quantidadeTestes: execucao.quantidadeTestes,
+        pastaSaida: pastaAlvo,
+        sucesso: execucao.codigoSaida === 0,
+        framework,
+        estrutura,
+        testesExecutados,
+      });
+      if (execucao.codigoSaida !== 0) {
+        imprimirResumoVerificacao([...resumos, resumoModulo]);
+        console.error(`Falha na verificacao do modulo ${modulo.caminho} para o alvo ${alvo}.`);
         return execucao.codigoSaida;
       }
     }
@@ -4217,27 +4223,27 @@ async function comandoVerificarJson(
       totais: { modulos: 0, alvos: 0, arquivos: 0, testes: 0 },
     }, null, 2));
     return 1;
-  }
-
-  const alvos = resolverAlvosVerificacao(contextoProjeto.configCarregada);
-  const configuracoesAlvo = alvos.map((alvo) => ({
-    alvo,
-    ...resolverConfiguracaoVerificacaoPorAlvo(alvo, contextoProjeto.configCarregada),
-  }));
-  const incompatibilidade = configuracoesAlvo.find((item) => item.incompatibilidade);
-  if (incompatibilidade?.incompatibilidade) {
-    console.log(JSON.stringify({
-      comando: "verificar",
-      sucesso: false,
-      erro: incompatibilidade.incompatibilidade,
-      modulos: [],
-      totais: { modulos: 0, alvos: 0, arquivos: 0, testes: 0 },
-    }, null, 2));
-    return 1;
-  }
-
-  const resumos: Array<ResumoModuloVerificacao & { saidaTestes?: Array<{ alvo: string; stdout: string; stderr: string }> }> = [];
-  let codigoSaida = 0;
+  }
+
+  const alvos = resolverAlvosVerificacao(contextoProjeto.configCarregada);
+  const configuracoesAlvo = alvos.map((alvo) => ({
+    alvo,
+    ...resolverConfiguracaoVerificacaoPorAlvo(alvo, contextoProjeto.configCarregada),
+  }));
+  const incompatibilidade = configuracoesAlvo.find((item) => item.incompatibilidade);
+  if (incompatibilidade?.incompatibilidade) {
+    console.log(JSON.stringify({
+      comando: "verificar",
+      sucesso: false,
+      erro: incompatibilidade.incompatibilidade,
+      modulos: [],
+      totais: { modulos: 0, alvos: 0, arquivos: 0, testes: 0 },
+    }, null, 2));
+    return 1;
+  }
+
+  const resumos: Array<ResumoModuloVerificacao & { saidaTestes?: Array<{ alvo: string; stdout: string; stderr: string }> }> = [];
+  let codigoSaida = 0;
 
   for (const modulo of modulos) {
     const ir = garantirIr(modulo.resultado, modulo.caminho);
@@ -4245,29 +4251,29 @@ async function comandoVerificarJson(
       modulo: ir.nome,
       arquivoFonte: modulo.caminho,
       alvos: [],
-      saidaTestes: [],
-    };
-
-    for (const configuracaoAlvo of configuracoesAlvo) {
-      const { alvo, framework, estrutura } = configuracaoAlvo;
-      const pastaAlvo = path.join(baseSaida, alvo, nomeSubpastaModulo(modulo.caminho));
-      const arquivos = aplicarEstruturaSaida(gerarArquivosPorAlvo(ir, alvo, framework), ir, estrutura);
-      await escreverArquivos(pastaAlvo, arquivos);
-      const { execucao, testesExecutados } = executarTestesParaVerificacao(alvo, pastaAlvo, arquivos, framework, true);
-      resumoModulo.alvos.push({
-        alvo,
-        arquivosGerados: arquivos.length,
-        quantidadeTestes: execucao.quantidadeTestes,
-        pastaSaida: pastaAlvo,
-        sucesso: execucao.codigoSaida === 0,
-        framework,
-        estrutura,
-        testesExecutados,
-      });
-      resumoModulo.saidaTestes.push({ alvo, stdout: execucao.saidaPadrao, stderr: execucao.saidaErro });
-      if (execucao.codigoSaida !== 0) {
-        codigoSaida = execucao.codigoSaida;
-      }
+      saidaTestes: [],
+    };
+
+    for (const configuracaoAlvo of configuracoesAlvo) {
+      const { alvo, framework, estrutura } = configuracaoAlvo;
+      const pastaAlvo = path.join(baseSaida, alvo, nomeSubpastaModulo(modulo.caminho));
+      const arquivos = aplicarEstruturaSaida(gerarArquivosPorAlvo(ir, alvo, framework), ir, estrutura);
+      await escreverArquivos(pastaAlvo, arquivos);
+      const { execucao, testesExecutados } = executarTestesParaVerificacao(alvo, pastaAlvo, arquivos, framework, true);
+      resumoModulo.alvos.push({
+        alvo,
+        arquivosGerados: arquivos.length,
+        quantidadeTestes: execucao.quantidadeTestes,
+        pastaSaida: pastaAlvo,
+        sucesso: execucao.codigoSaida === 0,
+        framework,
+        estrutura,
+        testesExecutados,
+      });
+      resumoModulo.saidaTestes.push({ alvo, stdout: execucao.saidaPadrao, stderr: execucao.saidaErro });
+      if (execucao.codigoSaida !== 0) {
+        codigoSaida = execucao.codigoSaida;
+      }
     }
 
     resumos.push(resumoModulo);
@@ -4386,7 +4392,7 @@ async function principal(): Promise<void> {
       {
         const fonte = normalizarFonteImportacao(posicionais[0]);
         if (!fonte || !posicionais[1]) {
-          console.error("Uso: sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> [--saida <diretorio>] [--namespace <base>] [--json]");
+          console.error("Uso: sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> [--saida <diretorio>] [--namespace <base>] [--json]");
           codigoSaida = 1;
           break;
         }