@semacode/cli 3.12.2 → 4.0.0

package/node_modules/@sema/gerador-dotnet/dist/index.js

@@ -509,54 +509,54 @@ function gerarTask(task, contexto) {
     const erros = Object.entries(task.errors)
         .map(([codigo, mensagem]) => `        [${literalString(codigo)}] = ${literalString(mensagem)},`)
         .join("\n");
-    return `// SEMA-TASK: ${escaparComentario(task.nome)}
-public sealed record class ${nomeEntrada}
-{
-${gerarPropriedades(task.input, contexto)}
-}
-
-public sealed record class ${nomeSaida}
-{
-${gerarPropriedades(task.output, contexto)}
-}
-
-public static class ${nome}Contract
-{
-    public static IReadOnlyList<string> Rules { get; } = ${regras};
-    public static IReadOnlyList<string> Guarantees { get; } = ${garantias};
-    public static IReadOnlyList<string> Effects { get; } = ${efeitos};
-    public static IReadOnlyDictionary<string, string> Errors { get; } = new Dictionary<string, string>
-    {
-${erros}
-    };
-
-    public static void Validate(${nomeEntrada} input)
-    {
-        ArgumentNullException.ThrowIfNull(input);
-${gerarValidacoes(task, contexto)}
-    }
-
-    public static ${nomeSaida} Execute(${nomeEntrada} input, string? expectedErrorCode = null)
-    {
-        Validate(input);
-        if (!string.IsNullOrWhiteSpace(expectedErrorCode))
-        {
-            var message = Errors.TryGetValue(expectedErrorCode, out var declaredMessage)
-                ? declaredMessage
-                : "Erro esperado pelo caso Sema.";
-            throw new SemaContractException(expectedErrorCode, message);
-        }
-
-        var output = ${gerarInicializadorSaida(task, contexto)};
-        VerifyGuarantees(output);
-        return output;
-    }
-
-    public static void VerifyGuarantees(${nomeSaida} output)
-    {
-        ArgumentNullException.ThrowIfNull(output);
-${gerarVerificacaoGarantias(task, contexto)}
-    }
+    return `// SEMA-TASK: ${escaparComentario(task.nome)}
+public sealed record class ${nomeEntrada}
+{
+${gerarPropriedades(task.input, contexto)}
+}
+
+public sealed record class ${nomeSaida}
+{
+${gerarPropriedades(task.output, contexto)}
+}
+
+public static class ${nome}Contract
+{
+    public static IReadOnlyList<string> Rules { get; } = ${regras};
+    public static IReadOnlyList<string> Guarantees { get; } = ${garantias};
+    public static IReadOnlyList<string> Effects { get; } = ${efeitos};
+    public static IReadOnlyDictionary<string, string> Errors { get; } = new Dictionary<string, string>
+    {
+${erros}
+    };
+
+    public static void Validate(${nomeEntrada} input)
+    {
+        ArgumentNullException.ThrowIfNull(input);
+${gerarValidacoes(task, contexto)}
+    }
+
+    public static ${nomeSaida} Execute(${nomeEntrada} input, string? expectedErrorCode = null)
+    {
+        Validate(input);
+        if (!string.IsNullOrWhiteSpace(expectedErrorCode))
+        {
+            var message = Errors.TryGetValue(expectedErrorCode, out var declaredMessage)
+                ? declaredMessage
+                : "Erro esperado pelo caso Sema.";
+            throw new SemaContractException(expectedErrorCode, message);
+        }
+
+        var output = ${gerarInicializadorSaida(task, contexto)};
+        VerifyGuarantees(output);
+        return output;
+    }
+
+    public static void VerifyGuarantees(${nomeSaida} output)
+    {
+        ArgumentNullException.ThrowIfNull(output);
+${gerarVerificacaoGarantias(task, contexto)}
+    }
 }`;
 }
 function removerAspas(valor) {
@@ -636,27 +636,27 @@ function gerarMetodoTeste(task, caso, indice, contexto) {
         .join(", ");
     const assercoesEsperadas = gerarAssercoesEsperadas(task, caso, contexto);
     const corpo = erro
-        ? `        try
-        {
-            ${nomeTask}.Execute(input, ${literalString(erro)});
-            throw new InvalidOperationException(${literalString(`O caso ${caso.nome} deveria falhar.`)});
-        }
-        catch (SemaContractException exception) when (exception.Code == ${literalString(erro)})
-        {
-            // Erro declarado e observado conforme o contrato.
+        ? `        try
+        {
+            ${nomeTask}.Execute(input, ${literalString(erro)});
+            throw new InvalidOperationException(${literalString(`O caso ${caso.nome} deveria falhar.`)});
+        }
+        catch (SemaContractException exception) when (exception.Code == ${literalString(erro)})
+        {
+            // Erro declarado e observado conforme o contrato.
         }`
-        : `        var output = ${nomeTask}.Execute(input);
-        SemaAssert.NotNull(output, ${literalString(`O caso ${caso.nome} não retornou saída.`)});
-        ${nomeTask}.VerifyGuarantees(output);
+        : `        var output = ${nomeTask}.Execute(input);
+        SemaAssert.NotNull(output, ${literalString(`O caso ${caso.nome} não retornou saída.`)});
+        ${nomeTask}.VerifyGuarantees(output);
 ${assercoesEsperadas || "        // O caso não declarou campos de saída verificáveis."}`;
     return {
         nome,
-        codigo: `    // SEMA-TEST: ${escaparComentario(task.nome)} :: ${escaparComentario(caso.nome)}
-    private static void ${nome}()
-    {
-        // SEMA-EXPECT: ${escaparComentario(detalhesEsperados || "sucesso")}
-        var input = ${entrada};
-${corpo}
+        codigo: `    // SEMA-TEST: ${escaparComentario(task.nome)} :: ${escaparComentario(caso.nome)}
+    private static void ${nome}()
+    {
+        // SEMA-EXPECT: ${escaparComentario(detalhesEsperados || "sucesso")}
+        var input = ${entrada};
+${corpo}
     }`,
     };
 }
@@ -671,30 +671,30 @@ function gerarCodigoFonte(modulo, contexto) {
     const flows = modulo.flows.map((item) => `// SEMA-FLOW: ${escaparComentario(item.nome)} tasks=${escaparComentario(item.tasksReferenciadas.join(", ") || "nenhuma")}`).join("\n");
     const routes = modulo.routes.map((item) => `// SEMA-ROUTE: ${escaparComentario(item.nome)} metodo=${escaparComentario(item.metodo ?? "nao_definido")} caminho=${escaparComentario(item.caminho ?? "nao_definido")} task=${escaparComentario(item.task ?? "nao_definida")}`).join("\n");
     const states = modulo.states.map((item) => `// SEMA-STATE: ${escaparComentario(item.nome ?? "anonimo")} campos=${item.campos.length} invariantes=${item.invariantes.length} transicoes=${item.transicoes.length}`).join("\n");
-    return `${gerarCabecalhoCSharp(modulo, "código C# gerado a partir do IR Sema, incluindo modelos, regras, garantias e metadados operacionais.")}using System;
-using System.Collections.Generic;
-using System.Globalization;
-using System.Linq;
-
-namespace ${namespace};
-
-public class SemaContractException : Exception
-{
-    public SemaContractException(string code, string message) : base(message) => Code = code;
-    public string Code { get; }
-}
-
-public sealed class SemaValidationException : SemaContractException
-{
-    public SemaValidationException(string rule) : base("regra_invalida", $"Regra Sema violada: {rule}") { }
-}
-
-public sealed class SemaGuaranteeException : SemaContractException
-{
-    public SemaGuaranteeException(string guarantee) : base("garantia_violada", $"Garantia Sema violada: {guarantee}") { }
-}
-
-${interops ? `${interops}\n\n` : ""}${externos ? `${externos}\n\n` : ""}${enums ? `${enums}\n\n` : ""}${tipos ? `${tipos}\n\n` : ""}${entidades ? `${entidades}\n\n` : ""}${tasks}${states ? `\n\n${states}` : ""}${flows ? `\n${flows}` : ""}${routes ? `\n${routes}` : ""}
+    return `${gerarCabecalhoCSharp(modulo, "código C# gerado a partir do IR Sema, incluindo modelos, regras, garantias e metadados operacionais.")}using System;
+using System.Collections.Generic;
+using System.Globalization;
+using System.Linq;
+
+namespace ${namespace};
+
+public class SemaContractException : Exception
+{
+    public SemaContractException(string code, string message) : base(message) => Code = code;
+    public string Code { get; }
+}
+
+public sealed class SemaValidationException : SemaContractException
+{
+    public SemaValidationException(string rule) : base("regra_invalida", $"Regra Sema violada: {rule}") { }
+}
+
+public sealed class SemaGuaranteeException : SemaContractException
+{
+    public SemaGuaranteeException(string guarantee) : base("garantia_violada", $"Garantia Sema violada: {guarantee}") { }
+}
+
+${interops ? `${interops}\n\n` : ""}${externos ? `${externos}\n\n` : ""}${enums ? `${enums}\n\n` : ""}${tipos ? `${tipos}\n\n` : ""}${entidades ? `${entidades}\n\n` : ""}${tasks}${states ? `\n\n${states}` : ""}${flows ? `\n${flows}` : ""}${routes ? `\n${routes}` : ""}
 `;
 }
 function gerarCodigoTestes(modulo, contexto) {
@@ -703,96 +703,96 @@ function gerarCodigoTestes(modulo, contexto) {
     if (metodos.length === 0) {
         metodos.push({
             nome: "TestEstruturaGerada",
-            codigo: `    // SEMA-TEST: estrutura gerada :: módulo sem casos declarados
-    private static void TestEstruturaGerada()
-    {
-        SemaAssert.True(true, "A estrutura .NET gerada deve ser executavel.");
+            codigo: `    // SEMA-TEST: estrutura gerada :: módulo sem casos declarados
+    private static void TestEstruturaGerada()
+    {
+        SemaAssert.True(true, "A estrutura .NET gerada deve ser executavel.");
     }`,
         });
     }
     const registros = metodos.map((metodo) => `            (${literalString(metodo.nome)}, ${metodo.nome}),`).join("\n");
-    return `${gerarCabecalhoCSharp(modulo, "runner de testes .NET gerado sem framework ou pacote NuGet externo.")}using System;
-using System.Collections.Generic;
-using System.Globalization;
-using ${namespace};
-
-internal static class SemaAssert
-{
-    public static void True(bool condition, string message)
-    {
-        if (!condition) throw new InvalidOperationException(message);
-    }
-
-    public static void NotNull(object? value, string message) => True(value is not null, message);
-
-    public static void Equal<T>(T expected, T actual, string message)
-    {
-        if (!EqualityComparer<T>.Default.Equals(expected, actual))
-        {
-            throw new InvalidOperationException($"{message} Esperado={expected}; Atual={actual}.");
-        }
-    }
-}
-
-internal static class Program
-{
-    private static int Main()
-    {
-        var tests = new (string Name, Action Run)[]
-        {
-${registros}
-        };
-
-        foreach (var test in tests)
-        {
-            Console.WriteLine($"test {test.Name}");
-            test.Run();
-        }
-
-        Console.WriteLine($"ok {tests.Length} testes");
-        return 0;
-    }
-
-${metodos.map((metodo) => metodo.codigo).join("\n\n")}
-}
+    return `${gerarCabecalhoCSharp(modulo, "runner de testes .NET gerado sem framework ou pacote NuGet externo.")}using System;
+using System.Collections.Generic;
+using System.Globalization;
+using ${namespace};
+
+internal static class SemaAssert
+{
+    public static void True(bool condition, string message)
+    {
+        if (!condition) throw new InvalidOperationException(message);
+    }
+
+    public static void NotNull(object? value, string message) => True(value is not null, message);
+
+    public static void Equal<T>(T expected, T actual, string message)
+    {
+        if (!EqualityComparer<T>.Default.Equals(expected, actual))
+        {
+            throw new InvalidOperationException($"{message} Esperado={expected}; Atual={actual}.");
+        }
+    }
+}
+
+internal static class Program
+{
+    private static int Main()
+    {
+        var tests = new (string Name, Action Run)[]
+        {
+${registros}
+        };
+
+        foreach (var test in tests)
+        {
+            Console.WriteLine($"test {test.Name}");
+            test.Run();
+        }
+
+        Console.WriteLine($"ok {tests.Length} testes");
+        return 0;
+    }
+
+${metodos.map((metodo) => metodo.codigo).join("\n\n")}
+}
 `;
 }
 function gerarProjetoFonte(modulo, base, assemblyName) {
-    return `${gerarCabecalhoProjeto(modulo, "biblioteca .NET gerada sem dependências NuGet externas.")}
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <TargetFramework>net8.0</TargetFramework>
-    <ImplicitUsings>enable</ImplicitUsings>
-    <Nullable>enable</Nullable>
-    <LangVersion>latest</LangVersion>
-    <AssemblyName>${assemblyName}</AssemblyName>
-    <RootNamespace>${assemblyName}</RootNamespace>
-    <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
-  </PropertyGroup>
-  <ItemGroup>
-    <Compile Include="${base}.cs" />
-  </ItemGroup>
-</Project>
+    return `${gerarCabecalhoProjeto(modulo, "biblioteca .NET gerada sem dependências NuGet externas.")}
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <TargetFramework>net8.0</TargetFramework>
+    <ImplicitUsings>enable</ImplicitUsings>
+    <Nullable>enable</Nullable>
+    <LangVersion>latest</LangVersion>
+    <AssemblyName>${assemblyName}</AssemblyName>
+    <RootNamespace>${assemblyName}</RootNamespace>
+    <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
+  </PropertyGroup>
+  <ItemGroup>
+    <Compile Include="${base}.cs" />
+  </ItemGroup>
+</Project>
 `;
 }
 function gerarProjetoTestes(modulo, base, assemblyName) {
-    return `${gerarCabecalhoProjeto(modulo, "executavel de testes .NET autocontido, sem xUnit, MSTest, NUnit ou outro pacote NuGet.")}
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <TargetFramework>net8.0</TargetFramework>
-    <ImplicitUsings>enable</ImplicitUsings>
-    <Nullable>enable</Nullable>
-    <LangVersion>latest</LangVersion>
-    <AssemblyName>${assemblyName}.Tests</AssemblyName>
-    <RootNamespace>${assemblyName}.Tests</RootNamespace>
-    <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
-  </PropertyGroup>
-  <ItemGroup>
-    <Compile Include="${base}.Tests.cs" />
-    <ProjectReference Include="${base}.csproj" />
-  </ItemGroup>
-</Project>
+    return `${gerarCabecalhoProjeto(modulo, "executavel de testes .NET autocontido, sem xUnit, MSTest, NUnit ou outro pacote NuGet.")}
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <TargetFramework>net8.0</TargetFramework>
+    <ImplicitUsings>enable</ImplicitUsings>
+    <Nullable>enable</Nullable>
+    <LangVersion>latest</LangVersion>
+    <AssemblyName>${assemblyName}.Tests</AssemblyName>
+    <RootNamespace>${assemblyName}.Tests</RootNamespace>
+    <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
+  </PropertyGroup>
+  <ItemGroup>
+    <Compile Include="${base}.Tests.cs" />
+    <ProjectReference Include="${base}.csproj" />
+  </ItemGroup>
+</Project>
 `;
 }
 export function gerarDotNet(modulo) {

package/node_modules/@sema/gerador-html/dist/index.js

@@ -112,7 +112,7 @@ ${etapas || '        <li>Nenhuma etapa estruturada.</li>'}
     </section>`;
 }
 function gerarRoute(route) {
-    return `    <section class="sema-route" data-route="${route.nome}">
+    return `    <section class="sema-route" data-route="${route.nome}">
       <h3>Route: ${route.nome}</h3>
       <div class="sema-route-detalhe">
         <span class="sema-route-metodo">${route.metodo ?? "POST"}</span>
@@ -124,13 +124,13 @@ function gerarRoute(route) {
     </section>`;
 }
 function gerarCabecalhoSemaHtml(modulo) {
-    return `<!--
-SEMA-GOVERNED
-Módulo de origem: ${escaparHtml(modulo.nome)}
-Consulte o contrato .sema aplicável antes de editar este arquivo.
-Rastreabilidade: outros contratos .sema podem governar este mesmo arquivo via vinculos.
-Para IA fraca/média/forte: chame Sema, rode docs-impacto e drift antes de alterar código.
-Descrição: página HTML gerada para humanos e IAs entenderem rapidamente a intenção do contrato.
+    return `<!--
+SEMA-GOVERNED
+Módulo de origem: ${escaparHtml(modulo.nome)}
+Consulte o contrato .sema aplicável antes de editar este arquivo.
+Rastreabilidade: outros contratos .sema podem governar este mesmo arquivo via vinculos.
+Para IA fraca/média/forte: chame Sema, rode docs-impacto e drift antes de alterar código.
+Descrição: página HTML gerada para humanos e IAs entenderem rapidamente a intenção do contrato.
 -->`;
 }
 export function gerarHtml(modulo) {
@@ -142,15 +142,15 @@ export function gerarHtml(modulo) {
     const tasks = modulo.tasks.map(gerarFormularioTask).join("\n\n");
     const flows = modulo.flows.map(gerarFlow).join("\n\n");
     const routes = modulo.routes.map(gerarRoute).join("\n\n");
-    const html = `<!DOCTYPE html>
-${gerarCabecalhoSemaHtml(modulo)}
-<html lang="pt-BR">
-<head>
-  <meta charset="UTF-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1.0">
-  <meta name="description" content="Contrato Sema: ${escaparHtml(modulo.nome)}">
-  <meta name="sema-governed" content="true">
-  <meta name="sema-module" content="${escaparHtml(modulo.nome)}">
+    const html = `<!DOCTYPE html>
+${gerarCabecalhoSemaHtml(modulo)}
+<html lang="pt-BR">
+<head>
+  <meta charset="UTF-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0">
+  <meta name="description" content="Contrato Sema: ${escaparHtml(modulo.nome)}">
+  <meta name="sema-governed" content="true">
+  <meta name="sema-module" content="${escaparHtml(modulo.nome)}">
   <title>${escaparHtml(titulo)} — Sema</title>
   <link rel="stylesheet" href="${nomeBase}.css">
 </head>

package/node_modules/@sema/gerador-python/dist/index.part02.js

@@ -333,9 +333,9 @@ def ${normalizarNomeParaSimbolo(route.nome)}(entrada: ${schemaEntrada}):
     return `${gerarCabecalhoSemaPython(modulo, "router")}${imports.join("\n")}${rotas}\n`;
 }
 export function gerarFastApiTests(modulo, caminhoRouter) {
-    return `${gerarCabecalhoSemaPython(modulo, "teste")}from fastapi.testclient import TestClient
-from ${caminhoRouter} import router
-from fastapi import FastAPI
+    return `${gerarCabecalhoSemaPython(modulo, "teste")}from fastapi.testclient import TestClient
+from ${caminhoRouter} import router
+from fastapi import FastAPI
 
 app = FastAPI()
 app.include_router(router)

package/node_modules/@sema/gerador-typescript/dist/index.part02.js

@@ -321,10 +321,10 @@ ${task.implementacoesExternas.length > 0 ? task.implementacoesExternas.map((impl
         .map((route) => `  async ${normalizarNomeParaSimbolo(route.nome)}(entrada: ${route.nome}EntradaPublica): Promise<${route.nome}RespostaPublica> {
     return adaptar_${normalizarNomeParaSimbolo(route.nome)}(entrada);
   }`).join("\n\n");
-    return `${gerarCabecalhoSemaTypeScript(modulo, "service")}${imports.join("\n")}
-
-@Injectable()
-export class ${nomeClasse} {
+    return `${gerarCabecalhoSemaTypeScript(modulo, "service")}${imports.join("\n")}
+
+@Injectable()
+export class ${nomeClasse} {
 ${metodosTask}${metodosTask && metodosRota ? "\n\n" : ""}${metodosRota}
 }
 `;
@@ -373,10 +373,10 @@ export function gerarNestJsController(modulo, caminhoDto, caminhoService) {
     const contratosImportados = [...new Set(modulo.routes
             .filter((route) => route.task)
             .map((route) => `type ${route.nome}RespostaPublica`))];
-    return `${gerarCabecalhoSemaTypeScript(modulo, "controller")}import { ${[...decoratorsImport].join(", ")} } from "@nestjs/common";
-import { ${nomeService} } from "${caminhoService}";
-${dtosImportados.length > 0 ? `import { ${dtosImportados.join(", ")} } from "${caminhoDto}";` : ""}
-${contratosImportados.length > 0 ? `import { ${contratosImportados.join(", ")} } from "./${descreverEstruturaModulo(modulo.nome).nomeArquivo}.contract";` : ""}
+    return `${gerarCabecalhoSemaTypeScript(modulo, "controller")}import { ${[...decoratorsImport].join(", ")} } from "@nestjs/common";
+import { ${nomeService} } from "${caminhoService}";
+${dtosImportados.length > 0 ? `import { ${dtosImportados.join(", ")} } from "${caminhoDto}";` : ""}
+${contratosImportados.length > 0 ? `import { ${contratosImportados.join(", ")} } from "./${descreverEstruturaModulo(modulo.nome).nomeArquivo}.contract";` : ""}
 
 @Controller()
 export class ${nomeClasse} {
@@ -390,9 +390,9 @@ export function gerarNestJsSpec(modulo, caminhoService, caminhoController) {
     const nomeArquivo = descreverEstruturaModulo(modulo.nome).nomeArquivo;
     const nomeService = `${paraPascalCase(nomeArquivo)}Service`;
     const nomeController = `${paraPascalCase(nomeArquivo)}Controller`;
-    return `${gerarCabecalhoSemaTypeScript(modulo, "spec")}import { describe, it } from "@jest/globals";
-import { ${nomeService} } from "${caminhoService}";
-import { ${nomeController} } from "${caminhoController}";
+    return `${gerarCabecalhoSemaTypeScript(modulo, "spec")}import { describe, it } from "@jest/globals";
+import { ${nomeService} } from "${caminhoService}";
+import { ${nomeController} } from "${caminhoController}";
 
 describe("${nomeController}", () => {
   it("mantem o scaffold inicial em pe", () => {

package/node_modules/@sema/nucleo/dist/diagnosticos/melhorador.js

@@ -3,43 +3,43 @@
 // Melhoria de mensagens de erro SEM0xx
 // Contrato: cli_melhoria_erros.sema
 const SNIPPETS_CORRECAO = {
-    SEM094: (nome) => `  auth {
-    modo: obrigatorio  // ou: anonimo, opcional
+    SEM094: (nome) => `  auth {
+    modo: obrigatorio  // ou: anonimo, opcional
   }`,
-    SEM095: (nome) => `  authz {
-    escopo: ${nome.toLowerCase().replace(/_/g, '.')}.executar
-    papeis: [admin, editor]  // ajuste conforme necessario
+    SEM095: (nome) => `  authz {
+    escopo: ${nome.toLowerCase().replace(/_/g, '.')}.executar
+    papeis: [admin, editor]  // ajuste conforme necessario
   }`,
-    SEM096: (nome) => `  dados {
-    classificacao_padrao: interno  // ou: publico, pii, financeiro, segredo
-    input {
-      campo1: interno
-      campo2: publico
-    }
-    output {
-      resultado: publico
-    }
+    SEM096: (nome) => `  dados {
+    classificacao_padrao: interno  // ou: publico, pii, financeiro, segredo
+    input {
+      campo1: interno
+      campo2: publico
+    }
+    output {
+      resultado: publico
+    }
   }`,
-    SEM097: (nome) => `  audit {
-    evento: ${nome.toLowerCase().replace(/_/g, '.')}.executado
-    ator: auth.usuario
-    correlacao: request_id
-    retencao: "90d"
-    motivo: obrigatorio
+    SEM097: (nome) => `  audit {
+    evento: ${nome.toLowerCase().replace(/_/g, '.')}.executado
+    ator: auth.usuario
+    correlacao: request_id
+    retencao: "90d"
+    motivo: obrigatorio
   }`,
-    SEM071: (nome) => `  execucao {
-    idempotencia: verdadeiro  // ou: falso
-    timeout: "30s"           // ajuste conforme necessidade
-    retry: "ate 3 tentativas com backoff"
-    compensacao: "descricao do rollback"
-    criticidade_operacional: alta  // ou: media, baixa
+    SEM071: (nome) => `  execucao {
+    idempotencia: verdadeiro  // ou: falso
+    timeout: "30s"           // ajuste conforme necessidade
+    retry: "ate 3 tentativas com backoff"
+    compensacao: "descricao do rollback"
+    criticidade_operacional: alta  // ou: media, baixa
   }`,
-    SEM072: (nome) => `  impl {
-    ts: pacote.src.modulo.${nome}  // ajuste o caminho
-  }
-  vinculos {
-    arquivo: "src/modulo/arquivo.ts"
-    simbolo: pacote.src.modulo.${nome}
+    SEM072: (nome) => `  impl {
+    ts: pacote.src.modulo.${nome}  // ajuste o caminho
+  }
+  vinculos {
+    arquivo: "src/modulo/arquivo.ts"
+    simbolo: pacote.src.modulo.${nome}
   }`
 };
 const EXPLICACOES = {
@@ -84,16 +84,16 @@ export function melhorarMensagemErro(erroOriginal, nomeElemento, tipoElemento) {
     };
 }
 export function formatarErroMelhorado(erro, mensagemMelhorada) {
-    return `
-❌ ${erro.codigo}: ${mensagemMelhorada.mensagemMelhorada}
-
-📝 Snippet de correcao:
-${mensagemMelhorada.snippetCorrecao}
-
-💡 ${mensagemMelhorada.explicacao}
-
-📖 Documentacao: ${mensagemMelhorada.documentacaoLink}
-📍 ${erro.localizacao?.arquivo ?? erro.arquivo}:${erro.localizacao?.linha ?? erro.linha}:${erro.localizacao?.coluna ?? erro.coluna}
+    return `
+❌ ${erro.codigo}: ${mensagemMelhorada.mensagemMelhorada}
+
+📝 Snippet de correcao:
+${mensagemMelhorada.snippetCorrecao}
+
+💡 ${mensagemMelhorada.explicacao}
+
+📖 Documentacao: ${mensagemMelhorada.documentacaoLink}
+📍 ${erro.localizacao?.arquivo ?? erro.arquivo}:${erro.localizacao?.linha ?? erro.linha}:${erro.localizacao?.coluna ?? erro.coluna}
 `;
 }
 //# sourceMappingURL=melhorador.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semacode/cli",
-  "version": "3.12.2",
+  "version": "4.0.0",
   "description": "Local-first semantic governance CLI for AI agents, proven with Claude, Codex, zCode (GLM) and Kimi: contracts, drift, impact, docs gates, and code generation.",
   "type": "module",
   "icon": "logo.png",