@semacode/cli 3.8.4 → 3.9.0

package/dist/agentContextPack.js

@@ -130,6 +130,7 @@ function criarPoliticaDesignVisualAgentContext() {
         criteriosMinimos: [
             "não parecer template de 2010",
             "não reciclar a mesma estética para domínios diferentes",
+            "declarar bloco design no contrato antes de construir UI",
             "domínio e público moldam layout, linguagem, componentes e interação",
             "hierarquia visual clara",
             "paleta com contraste e identidade do domínio",

package/dist/docs.part01.d.ts

@@ -5,6 +5,7 @@ export interface DocumentoPlanejado {
     tipo: TipoDocumentoMudanca;
     motivo: string;
     permitirCriacao: boolean;
+    obrigatoriedade?: "bloqueante" | "recomendada";
 }
 export interface DocumentoObrigatorioMudanca {
     caminho: string;
@@ -20,6 +21,7 @@ export interface DocumentoObrigatorioMudanca {
     template?: string;
     templatePendente?: boolean;
     substancia?: boolean;
+    obrigatoriedade: "bloqueante" | "recomendada";
 }
 export interface BloqueioDocumentacaoMudanca {
     tipo: "documentacao_ausente" | "leitura_obrigatoria_nao_comprovada" | "documentacao_template_cru" | "documentacao_sem_substancia" | "arquivo_monolitico" | "codigo_governado_sem_cabecalho";
@@ -38,6 +40,7 @@ export interface ResultadoDocumentacaoObrigatoria {
     leituraObrigatoria: DocumentoObrigatorioMudanca[];
     docsAusentes: DocumentoObrigatorioMudanca[];
     docsCriadas: DocumentoObrigatorioMudanca[];
+    leituraRecomendada: DocumentoObrigatorioMudanca[];
     bloqueios: BloqueioDocumentacaoMudanca[];
     instrucoes: string[];
 }
@@ -45,6 +48,7 @@ export interface ResultadoVerificacaoDocumentacaoMudanca {
     sucesso: boolean;
     baseProjeto: string;
     intencao: string;
+    leituraRecomendada: DocumentoObrigatorioMudanca[];
     categorias: string[];
     docsLidas: string[];
     leituraObrigatoria: DocumentoObrigatorioMudanca[];

package/dist/docs.part02.js

@@ -51,7 +51,7 @@ export async function resolverDocumentacaoObrigatoria(opcoes) {
     await adicionarDocsRaizExistentes(baseProjeto, registrar);
     for (const regra of REGRAS_DOCUMENTACAO.filter((item) => categorias.includes(item.categoria))) {
         for (const doc of regra.docs) {
-            registrar(doc);
+            registrar({ ...doc, obrigatoriedade: "recomendada" });
         }
     }
     await adicionarReadmesDeArquivos(baseProjeto, arquivosAlvo, registrar);
@@ -87,6 +87,7 @@ export async function resolverDocumentacaoObrigatoria(opcoes) {
             criado,
             criacaoAutomatica: doc.permitirCriacao,
             obrigatorio: true,
+            obrigatoriedade: doc.obrigatoriedade ?? "bloqueante",
             template: existe ? undefined : template,
         };
         if (existe) {
@@ -101,7 +102,7 @@ export async function resolverDocumentacaoObrigatoria(opcoes) {
     }
     const docsAusentes = leituraObrigatoria.filter((doc) => !doc.existe);
     const docsCriadas = leituraObrigatoria.filter((doc) => doc.criado);
-    const bloqueios = docsAusentes.map((doc) => ({
+    const bloqueios = docsAusentes.filter((doc) => doc.obrigatoriedade !== "recomendada").map((doc) => ({
         tipo: "documentacao_ausente",
         severidade: 4,
         caminho: doc.relativo,
@@ -118,6 +119,9 @@ export async function resolverDocumentacaoObrigatoria(opcoes) {
         leituraObrigatoria,
         docsAusentes,
         docsCriadas,
+        leituraRecomendada: leituraObrigatoria
+            .filter((doc) => doc.obrigatoriedade === "recomendada")
+            .map(compactarDocumentoObrigatorio),
         bloqueios,
         instrucoes: [
             "A IA deve ler todos os itens de leituraObrigatoria antes de executar a mudanca.",
@@ -149,9 +153,9 @@ export async function verificarDocumentacaoMudanca(opcoes) {
     });
     const docsLidas = [...new Set((opcoes.docsLidas ?? []).map((doc) => normalizarDocLida(baseProjeto, doc)).filter(Boolean))];
     const setDocsLidas = new Set(docsLidas);
-    const docsNaoLidas = impacto.leituraObrigatoria.filter((doc) => doc.existe && !setDocsLidas.has(doc.relativo));
-    const docsTemplatePendentes = impacto.leituraObrigatoria.filter((doc) => (doc.existe && doc.templatePendente && setDocsLidas.has(doc.relativo)));
-    const docsSemSubstancia = impacto.leituraObrigatoria.filter((doc) => (doc.existe && !doc.templatePendente && doc.substancia === false));
+    const docsNaoLidas = impacto.leituraObrigatoria.filter((doc) => (doc.existe && doc.obrigatoriedade !== "recomendada" && !setDocsLidas.has(doc.relativo)));
+    const docsTemplatePendentes = impacto.leituraObrigatoria.filter((doc) => (doc.existe && doc.obrigatoriedade !== "recomendada" && doc.templatePendente && setDocsLidas.has(doc.relativo)));
+    const docsSemSubstancia = impacto.leituraObrigatoria.filter((doc) => (doc.existe && doc.obrigatoriedade !== "recomendada" && !doc.templatePendente && doc.substancia === false));
     const diagnosticosOrcamento = await emitirDiagnosticosArquivosOrcamento({
         baseProjeto,
         arquivos: opcoes.arquivosAlvo ?? [],
@@ -201,6 +205,7 @@ export async function verificarDocumentacaoMudanca(opcoes) {
         intencao: opcoes.intencao,
         categorias: impacto.categorias,
         docsLidas,
+        leituraRecomendada: impacto.leituraRecomendada,
         leituraObrigatoria: impacto.leituraObrigatoria.map(compactarDocumentoObrigatorio),
         docsNaoLidas: docsNaoLidas.map(compactarDocumentoObrigatorio),
         docsAusentes: impacto.docsAusentes.map(compactarDocumentoObrigatorio),

package/dist/drift.part01.d.ts

@@ -39,7 +39,7 @@ export interface OpcoesDriftLegado {
     observador?: ObservadorOperacaoDrift | undefined;
 }
 export interface DiagnosticoDrift {
-    tipo: "impl_quebrado" | "task_sem_impl" | "rota_divergente" | "recurso_divergente" | "vinculo_quebrado" | "seguranca_frouxa" | "pontuacao_semantica_insuficiente" | "contrato_monolitico" | "codigo_monolitico" | "codigo_governado_sem_cabecalho" | "escopo_estreito_sem_vinculos" | "escopo_estreito_ambiguo";
+    tipo: "impl_quebrado" | "task_sem_impl" | "rota_divergente" | "recurso_divergente" | "vinculo_quebrado" | "seguranca_frouxa" | "pontuacao_semantica_insuficiente" | "contrato_monolitico" | "codigo_monolitico" | "codigo_governado_sem_cabecalho" | "escopo_estreito_sem_vinculos" | "escopo_estreito_ambiguo" | "design_nao_declarado";
     modulo: string;
     task?: string;
     route?: string;

package/dist/drift.part14.js

@@ -68,6 +68,14 @@ export function analisarModulosSelecionadosDrift(estado) {
                         || task.dados.campos.some((campo) => ["credencial", "segredo"].includes(campo.classificacao))),
             });
         }
+        if (ir.routes.length > 0 && !ir.design) {
+            diagnosticos.push({
+                tipo: "design_nao_declarado",
+                modulo: ir.nome,
+                severidade: "aviso",
+                mensagem: `Modulo "${ir.nome}" expoe rotas de UI sem bloco design; declare identidade e tokens para a interface nao regredir ao padrao.`,
+            });
+        }
         for (const route of ir.routes) {
             if (!route.task || route.perfilCompatibilidade !== "publico") {
                 continue;

package/dist/geracaoCore.d.ts

@@ -34,6 +34,10 @@ export declare function validarCompatibilidadeFramework(alvo: AlvoGeracao, frame
 export declare function normalizarFonteImportacao(valor: string | undefined): FonteImportacao | undefined;
 export declare function normalizarTemplateIniciar(valor?: string): TemplateIniciar;
 export declare function garantirIr(resultado: ReturnType<typeof compilarCodigo>, caminho: string): IrModulo;
+export declare function gerarDesignTokensArquivos(ir: IrModulo, alvo: AlvoGeracao): Array<{
+    caminhoRelativo: string;
+    conteudo: string;
+}>;
 export declare function gerarArquivosPorAlvo(ir: IrModulo, alvo: AlvoGeracao, framework: FrameworkGeracao): import("@sema/padroes").ArquivoGerado[];
 export declare function aplicarEstruturaSaida(arquivos: Array<{
     caminhoRelativo: string;

package/dist/geracaoCore.js

@@ -3,7 +3,7 @@
 import path from "node:path";
 import { spawnSync } from "node:child_process";
 import { formatarDiagnosticos } from "@sema/nucleo";
-import { descreverEstruturaModulo } from "@sema/padroes";
+import { descreverEstruturaModulo, resolverDesignTokens } from "@sema/padroes";
 import { gerarDart } from "@sema/gerador-dart";
 import { gerarLua } from "@sema/gerador-lua";
 import { gerarPython } from "@sema/gerador-python";
@@ -135,35 +135,118 @@ export function garantirIr(resultado, caminho) {
     }
     return resultado.ir;
 }
+export function gerarDesignTokensArquivos(ir, alvo) {
+    if (!ir.design || !["css", "html", "typescript", "javascript"].includes(alvo)) {
+        return [];
+    }
+    const design = resolverDesignTokens(ir.design);
+    const cabecalho = `/* SEMA-GOVERNED — design tokens de ${ir.nome}; edite o bloco design do contrato, nao este arquivo. */\n`;
+    const css = `${cabecalho}:root {
+  --sema-cor-primaria: ${design.cores.primaria};
+  --sema-cor-primaria-hover: ${design.cores.primariaHover};
+  --sema-cor-primaria-suave: ${design.cores.primariaSuave};
+  --sema-cor-fundo: ${design.cores.fundo};
+  --sema-cor-superficie: ${design.cores.superficie};
+  --sema-cor-texto: ${design.cores.texto};
+  --sema-cor-texto-secundario: ${design.cores.textoSecundario};
+  --sema-cor-borda: ${design.cores.borda};
+  --sema-cor-borda-foco: ${design.cores.bordaFoco};
+  --sema-fonte: ${design.tipografia.fonte};
+  --sema-fonte-titulo: ${design.tipografia.fonteTitulo};
+  --sema-fonte-mono: ${design.tipografia.fonteMono};
+  --sema-raio: ${design.forma.raio};
+  --sema-movimento-duracao: ${design.movimentoDuracao};
+}
+`;
+    const objetoTokens = JSON.stringify({
+        colors: design.cores,
+        typography: { ...design.tipografia, scale: design.escala },
+        shape: design.forma,
+        motion: { duration: design.movimentoDuracao },
+        domain: ir.design.dominio ?? null,
+        identity: ir.design.identidade ?? null,
+    }, null, 2);
+    const ts = `// SEMA-GOVERNED — design tokens de ${ir.nome}; edite o bloco design do contrato, nao este arquivo.
+export const designTokens = ${objetoTokens} as const;
+export type DesignTokens = typeof designTokens;
+`;
+    const js = `// SEMA-GOVERNED — design tokens de ${ir.nome}; edite o bloco design do contrato, nao este arquivo.
+export const designTokens = ${objetoTokens};
+`;
+    const scss = `${cabecalho}$sema-cor-primaria: ${design.cores.primaria};
+$sema-cor-primaria-hover: ${design.cores.primariaHover};
+$sema-cor-fundo: ${design.cores.fundo};
+$sema-cor-superficie: ${design.cores.superficie};
+$sema-cor-texto: ${design.cores.texto};
+$sema-cor-texto-secundario: ${design.cores.textoSecundario};
+$sema-cor-borda: ${design.cores.borda};
+$sema-fonte: ${design.tipografia.fonte};
+$sema-fonte-titulo: ${design.tipografia.fonteTitulo};
+$sema-raio: ${design.forma.raio};
+`;
+    const tailwind = `// SEMA-GOVERNED — tema Tailwind derivado do bloco design de ${ir.nome}.
+export const theme = {
+  extend: {
+    colors: {
+      sema: {
+        primary: "${design.cores.primaria}",
+        "primary-hover": "${design.cores.primariaHover}",
+        "primary-soft": "${design.cores.primariaSuave}",
+        background: "${design.cores.fundo}",
+        surface: "${design.cores.superficie}",
+        text: "${design.cores.texto}",
+        "text-muted": "${design.cores.textoSecundario}",
+        border: "${design.cores.borda}",
+      },
+    },
+    borderRadius: { sema: "${design.forma.raio}" },
+    transitionDuration: { sema: "${design.movimentoDuracao}" },
+  },
+};
+`;
+    const tui = `{\n  "comentario": "SEMA-GOVERNED — tema de terminal derivado do bloco design de ${ir.nome}",\n  "cores": ${JSON.stringify(design.cores, null, 2)},\n  "movimento": "${design.movimentoDuracao}"\n}\n`;
+    return [
+        { caminhoRelativo: `design/design-tokens.css`, conteudo: css },
+        { caminhoRelativo: `design/tokens.ts`, conteudo: ts },
+        { caminhoRelativo: `design/tokens.js`, conteudo: js },
+        { caminhoRelativo: `design/_tokens.scss`, conteudo: scss },
+        { caminhoRelativo: `design/tailwind.theme.js`, conteudo: tailwind },
+        { caminhoRelativo: `design/theme-tui.json`, conteudo: tui },
+    ];
+}
 export function gerarArquivosPorAlvo(ir, alvo, framework) {
-    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);
-    }
-    if (alvo === "php") {
-        return gerarPhp(ir);
-    }
-    if (alvo === "dotnet") {
-        return gerarDotNet(ir);
-    }
-    if (alvo === "cpp") {
-        return gerarCpp(ir);
-    }
-    return gerarTypeScript(ir, { framework });
+    const extras = gerarDesignTokensArquivos(ir, alvo);
+    const base = (() => {
+        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);
+        }
+        if (alvo === "php") {
+            return gerarPhp(ir);
+        }
+        if (alvo === "dotnet") {
+            return gerarDotNet(ir);
+        }
+        if (alvo === "cpp") {
+            return gerarCpp(ir);
+        }
+        return gerarTypeScript(ir, { framework });
+    })();
+    return extras.length > 0 ? [...base, ...extras] : base;
 }
 export function aplicarEstruturaSaida(arquivos, ir, estrutura) {
     if (estrutura === "flat" || estrutura === "backend") {

package/exemplos/painel_agro.sema

@@ -0,0 +1,68 @@
+module exemplos.painel.agro {
+  design {
+    dominio: agro
+    identidade: rustico_moderno
+    tokens {
+      paleta: terra
+      tipografia: display
+      densidade: confortavel
+      forma: arredondada
+      movimento: suave
+      cor_primaria: "#7c2d12"
+    }
+  }
+
+  entity Safra {
+    fields {
+      id: Id
+      cultura: Texto
+      hectares: Decimal
+    }
+  }
+
+  task registrar_safra {
+    input {
+      cultura: Texto required
+      hectares: Decimal required
+    }
+    output {
+      safra: Safra
+    }
+    rules {
+      hectares deve_ser positivo
+    }
+    effects {
+      persistencia Safra
+      auditoria safra_registrada
+    }
+    guarantees {
+      safra existe
+    }
+    tests {
+      caso "registra safra" {
+        given {
+          cultura: "Cafe"
+          hectares: 12.5
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route safras_criar {
+    metodo: POST
+    caminho: /safras
+    task: registrar_safra
+    finalidade: cadastro_safra
+    input {
+      cultura: Texto
+      hectares: Decimal
+    }
+    output {
+      safra: Safra
+    }
+  }
+}