@semacode/cli 1.2.12 → 1.3.0

package/README.md

@@ -36,7 +36,7 @@ sema --help
 ## Instalacao via tarball da release
 
 ```bash
-npm install -g ./sema-cli-1.2.12.tgz
+npm install -g ./{{TGZ_ARQUIVO}}
 ```
 
 Ou direto da GitHub Release:
@@ -55,7 +55,7 @@ npx sema --help
 Ou, se voce estiver testando um tarball local:
 
 ```bash
-npm install ./sema-cli-1.2.12.tgz
+npm install ./{{TGZ_ARQUIVO}}
 npx sema --help
 ```
 

package/dist/index.js

@@ -10,6 +10,9 @@ 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, resolverAlvoPadrao, resolverAlvosVerificacao, resolverEstruturaSaidaPadrao, resolverFrameworkPadrao, resolverSaidaPadrao, } from "./projeto.js";
 import { importarProjetoLegado, resumoImportacao } from "./importador.js";
 import { analisarDriftLegado } from "./drift.js";
@@ -97,21 +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. README do projeto
-2. gramatica e documentacao de sintaxe da Sema
-3. especificacao semantica da linguagem
-4. exemplos oficiais, com prioridade para o vertical de pagamento
-5. \`sema resumo\` e \`briefing.min.json\` quando a IA for pequena
-6. 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
@@ -515,7 +521,7 @@ function validarCompatibilidadeFramework(alvo, framework) {
     if (framework === "fastapi" && alvo !== "python") {
         return `Framework "${framework}" so pode ser usado com o alvo python.`;
     }
-    if (alvo === "dart" || alvo === "lua") {
+    if (alvo === "dart" || alvo === "lua" || alvo === "javascript" || alvo === "html" || alvo === "css") {
         return `Framework "${framework}" nao e suportado para o alvo ${alvo}.`;
     }
     return undefined;
@@ -624,6 +630,15 @@ function gerarArquivosPorAlvo(ir, alvo, framework) {
     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, ir, estrutura) {
@@ -662,6 +677,19 @@ function aplicarEstruturaSaida(arquivos, ir, estrutura) {
             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,
             conteudo,
@@ -669,7 +697,7 @@ function aplicarEstruturaSaida(arquivos, ir, estrutura) {
     });
 }
 function contarCasosDeTesteGerados(alvo, arquivos) {
-    if (alvo === "dart") {
+    if (alvo === "dart" || alvo === "html" || alvo === "css") {
         return 0;
     }
     if (alvo === "lua") {
@@ -686,6 +714,13 @@ function contarCasosDeTesteGerados(alvo, arquivos) {
         }
         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_"));
     if (!arquivoTeste) {
         return 0;
@@ -696,17 +731,14 @@ function executarTestesGerados(alvo, baseSaida, arquivos, silencioso = false) {
     const quantidadeTestes = contarCasosDeTesteGerados(alvo, arquivos);
     if (quantidadeTestes === 0) {
         if (!silencioso) {
-            const nomeAlvo = alvo === "typescript"
-                ? "TypeScript"
-                : alvo === "python"
-                    ? "Python"
-                    : alvo === "lua"
-                        ? "Lua"
-                        : "Dart";
-            console.log(`Nenhum teste ${nomeAlvo} foi gerado.`);
+            const nomesAlvo = { 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;
         if (!arquivoTeste) {
@@ -726,6 +758,25 @@ function executarTestesGerados(alvo, baseSaida, arquivos, silencioso = false) {
             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) {

package/dist/projeto.js

@@ -59,9 +59,12 @@ export function normalizarFrameworkGeracao(valor) {
     return "base";
 }
 function normalizarAlvo(valor) {
-    if (valor === "typescript" || valor === "python" || valor === "dart" || valor === "lua") {
+    if (valor === "typescript" || valor === "python" || valor === "dart" || valor === "lua" || valor === "javascript" || valor === "html" || valor === "css") {
         return valor;
     }
+    if (valor === "js") {
+        return "javascript";
+    }
     return undefined;
 }
 function resolverEntradaPadrao(cwd, configCarregada) {

package/package.json

@@ -1,9 +1,8 @@
 {
   "name": "@semacode/cli",
-  "version": "1.2.12",
-  "description": "CLI da Sema para validar contratos, medir drift e governar a navegacao operacional de agentes sobre software vivo em backend e front consumer.",
+  "version": "1.3.0",
   "type": "module",
-  "icon": "logo.png",
+  "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",
   "repository": {
     "type": "git",
@@ -28,41 +27,25 @@
   "publishConfig": {
     "access": "public"
   },
+  "icon": "logo.png",
   "bin": {
     "sema": "dist/index.js"
   },
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
-  "files": [
-    "dist",
-    "docs",
-    "exemplos",
-    "AGENTS.md",
-    "llms.txt",
-    "llms-full.txt",
-    "SEMA_BRIEF.md",
-    "SEMA_BRIEF.micro.txt",
-    "SEMA_BRIEF.curto.txt",
-    "SEMA_INDEX.json",
-    "logo.png",
-    "README.md",
-    "LICENSE"
-  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.json"
+  },
   "dependencies": {
-    "@sema/nucleo": "1.2.12",
-    "@sema/gerador-dart": "1.2.12",
-    "@sema/gerador-lua": "1.2.12",
-    "@sema/gerador-python": "1.2.12",
-    "@sema/gerador-typescript": "1.2.12",
-    "@sema/padroes": "1.2.12",
+    "@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"
-  },
-  "bundledDependencies": [
-    "@sema/nucleo",
-    "@sema/gerador-dart",
-    "@sema/gerador-lua",
-    "@sema/gerador-python",
-    "@sema/gerador-typescript",
-    "@sema/padroes"
-  ]
-}
+  }
+}

package/src/cpp-symbols.ts

@@ -0,0 +1,82 @@
+export interface SimboloCppExtraido {
+  simbolo: string;
+  retorno?: string;
+  parametros: Array<{ nome: string; tipoTexto?: string; obrigatorio: boolean }>;
+}
+
+function extrairParametrosCpp(assinatura: string): Array<{ nome: string; tipoTexto?: string; obrigatorio: boolean }> {
+  return assinatura.split(",").map((parametroBruto) => {
+    const parametro = parametroBruto.trim();
+    if (!parametro || parametro === "void") {
+      return undefined;
+    }
+    const semPadrao = parametro.split("=")[0]?.trim() ?? parametro;
+    const partes = semPadrao.split(/\s+/).filter(Boolean);
+    if (partes.length < 2) {
+      return undefined;
+    }
+    const nome = partes.at(-1)!.replace(/[&*]+$/, "");
+    const tipoTexto = partes.slice(0, -1).join(" ");
+    return {
+      nome,
+      tipoTexto,
+      obrigatorio: !parametro.includes("="),
+    };
+  }).filter((item): item is NonNullable<typeof item> => Boolean(item));
+}
+
+export function extrairSimbolosCpp(codigo: string): SimboloCppExtraido[] {
+  const simbolos = new Map<string, SimboloCppExtraido>();
+
+  for (const match of codigo.matchAll(/(?:^|\n)\s*(?:inline\s+|static\s+|virtual\s+|constexpr\s+|friend\s+|extern\s+|template\s*<[^>]+>\s*)*(?:[\w:<>~*&]+\s+)+([A-Za-z_]\w*)::([A-Za-z_]\w*)\s*\(([^)]*)\)\s*(?:const)?\s*(?:\{|;)/g)) {
+    const simbolo = `${match[1]!}.${match[2]!}`;
+    simbolos.set(simbolo, {
+      simbolo,
+      parametros: extrairParametrosCpp(match[3] ?? ""),
+    });
+  }
+
+  for (const match of codigo.matchAll(/(?:^|\n)\s*(?:inline\s+|static\s+|virtual\s+|constexpr\s+|friend\s+|extern\s+)*(?:[\w:<>~*&]+\s+)+([A-Za-z_]\w*)\s*\(([^)]*)\)\s*(?:const)?\s*(?:\{|;)/g)) {
+    const nome = match[1]!;
+    if (["if", "for", "while", "switch", "return"].includes(nome)) {
+      continue;
+    }
+    if (!simbolos.has(nome)) {
+      simbolos.set(nome, {
+        simbolo: nome,
+        parametros: extrairParametrosCpp(match[2] ?? ""),
+      });
+    }
+  }
+
+  const pilhaClasses: string[] = [];
+  for (const linha of codigo.split(/\r?\n/)) {
+    const trim = linha.trim();
+    const classe = trim.match(/^(?:class|struct)\s+([A-Za-z_]\w*)/);
+    if (classe) {
+      pilhaClasses.push(classe[1]!);
+      continue;
+    }
+    if (trim.startsWith("};") || trim === "}" || trim === "};") {
+      pilhaClasses.pop();
+      continue;
+    }
+
+    const metodoClasse = trim.match(/^(?:inline\s+|static\s+|virtual\s+|constexpr\s+)*(?:[\w:<>~*&]+\s+)+([A-Za-z_]\w*)\s*\(([^)]*)\)\s*(?:const)?\s*\{/);
+    if (metodoClasse && pilhaClasses.length > 0) {
+      const nomeClasse = pilhaClasses[pilhaClasses.length - 1]!;
+      const nomeMetodo = metodoClasse[1]!;
+      if (!["if", "for", "while", "switch"].includes(nomeMetodo)) {
+        const simbolo = `${nomeClasse}.${nomeMetodo}`;
+        if (!simbolos.has(simbolo)) {
+          simbolos.set(simbolo, {
+            simbolo,
+            parametros: extrairParametrosCpp(metodoClasse[2] ?? ""),
+          });
+        }
+      }
+    }
+  }
+
+  return [...simbolos.values()];
+}