@semacode/cli 1.2.11 → 1.2.17

package/dist/index.js

@@ -97,21 +97,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
@@ -766,6 +769,33 @@ function executarTestesGerados(alvo, baseSaida, arquivos, silencioso = false) {
         saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
     };
 }
+function resolverConfiguracaoVerificacaoPorAlvo(alvo, configCarregada) {
+    const framework = resolverFrameworkPadrao(undefined, configCarregada);
+    const incompatibilidade = validarCompatibilidadeFramework(alvo, framework);
+    const estrutura = resolverEstruturaSaidaPadrao(undefined, framework, configCarregada);
+    return {
+        framework,
+        estrutura,
+        incompatibilidade,
+    };
+}
+function executarTestesParaVerificacao(alvo, baseSaida, arquivos, framework, silencioso = false) {
+    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) {
     return path.basename(caminhoArquivo, ".sema");
 }
@@ -3557,7 +3587,7 @@ function imprimirResumoVerificacao(resumos) {
             totalArquivos += alvo.arquivosGerados;
             totalTestes += alvo.quantidadeTestes;
             totalAlvos += 1;
-            console.log(`  alvo=${alvo.alvo} status=${alvo.sucesso ? "ok" : "falhou"} arquivos=${alvo.arquivosGerados} testes=${alvo.quantidadeTestes} saida=${alvo.pastaSaida}`);
+            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}`);
@@ -3571,6 +3601,15 @@ async function comandoVerificar(entrada, baseSaida, cwd = process.cwd()) {
         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 = [];
     for (const modulo of modulos) {
         const ir = garantirIr(modulo.resultado, modulo.caminho);
@@ -3580,18 +3619,21 @@ async function comandoVerificar(entrada, baseSaida, cwd = process.cwd()) {
             arquivoFonte: modulo.caminho,
             alvos: [],
         };
-        for (const alvo of alvos) {
+        for (const configuracaoAlvo of configuracoesAlvo) {
+            const { alvo, framework, estrutura } = configuracaoAlvo;
             const pastaAlvo = path.join(baseSaida, alvo, nomeSubpastaModulo(modulo.caminho));
-            const framework = alvo === "typescript" ? "base" : alvo === "python" ? "base" : "base";
-            const arquivos = gerarArquivosPorAlvo(ir, alvo, framework);
+            const arquivos = aplicarEstruturaSaida(gerarArquivosPorAlvo(ir, alvo, framework), ir, estrutura);
             await escreverArquivos(pastaAlvo, arquivos);
-            const execucao = executarTestesGerados(alvo, 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]);
@@ -3620,6 +3662,21 @@ async function comandoVerificarJson(entrada, baseSaida, cwd = process.cwd()) {
         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 = [];
     let codigoSaida = 0;
     for (const modulo of modulos) {
@@ -3630,17 +3687,21 @@ async function comandoVerificarJson(entrada, baseSaida, cwd = process.cwd()) {
             alvos: [],
             saidaTestes: [],
         };
-        for (const alvo of alvos) {
+        for (const configuracaoAlvo of configuracoesAlvo) {
+            const { alvo, framework, estrutura } = configuracaoAlvo;
             const pastaAlvo = path.join(baseSaida, alvo, nomeSubpastaModulo(modulo.caminho));
-            const arquivos = gerarArquivosPorAlvo(ir, alvo, "base");
+            const arquivos = aplicarEstruturaSaida(gerarArquivosPorAlvo(ir, alvo, framework), ir, estrutura);
             await escreverArquivos(pastaAlvo, arquivos);
-            const execucao = executarTestesGerados(alvo, pastaAlvo, arquivos, true);
+            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) {