@semacode/cli 3.0.0 → 3.8.0

package/exemplos/express_crud.sema

@@ -0,0 +1,139 @@
+module exemplos.express.crud {
+  entity Monitor {
+    fields {
+      id: Id
+      nome: Texto
+      url: Texto
+      ativo: Booleano
+    }
+  }
+
+  task criar_monitor {
+    input {
+      nome: Texto required
+      url: Texto required
+    }
+    output {
+      monitor: Monitor
+    }
+    rules {
+      nome deve_ser preenchido
+      url deve_ser preenchido
+    }
+    effects {
+      persistencia Monitor
+      auditoria monitor_criado
+    }
+    guarantees {
+      monitor existe
+    }
+    tests {
+      caso "cria monitor" {
+        given {
+          nome: "API Pagamentos"
+          url: "https://api.exemplo.dev/status"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task listar_monitores {
+    input {
+      ativo: Booleano
+    }
+    output {
+      monitores: Lista
+    }
+    effects {
+      consulta Monitor
+    }
+    guarantees {
+      monitores existe
+    }
+    tests {
+      caso "lista monitores" {
+        given {
+          ativo: verdadeiro
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task remover_monitor {
+    input {
+      id: Id required
+    }
+    output {
+      removido: Booleano
+    }
+    rules {
+      id deve_ser valido
+    }
+    effects {
+      persistencia Monitor
+      auditoria monitor_removido
+    }
+    guarantees {
+      removido == verdadeiro
+    }
+    tests {
+      caso "remove monitor por id" {
+        given {
+          id: "mon_1"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route monitores_criar {
+    metodo: POST
+    caminho: /monitores
+    task: criar_monitor
+    finalidade: cadastro_monitor
+    input {
+      nome: Texto
+      url: Texto
+    }
+    output {
+      monitor: Monitor
+    }
+  }
+
+  route monitores_listar {
+    metodo: GET
+    caminho: /monitores
+    task: listar_monitores
+    finalidade: consulta_monitores
+    input {
+      ativo: Booleano
+    }
+    output {
+      monitores: Lista
+    }
+  }
+
+  route monitores_remover {
+    metodo: DELETE
+    caminho: "/monitores/{id}"
+    task: remover_monitor
+    finalidade: exclusao_monitor
+    input {
+      id: Id
+    }
+    output {
+      removido: Booleano
+    }
+  }
+}

package/exemplos/fastify_crud.sema

@@ -0,0 +1,146 @@
+module exemplos.fastify.crud {
+  entity Pedido {
+    fields {
+      id: Id
+      cliente: Texto
+      total: Decimal
+      status: Texto
+    }
+  }
+
+  task criar_pedido {
+    input {
+      cliente: Texto required
+      total: Decimal required
+    }
+    output {
+      pedido: Pedido
+    }
+    rules {
+      cliente deve_ser preenchido
+      total deve_ser positivo
+    }
+    effects {
+      persistencia Pedido
+      auditoria pedido_criado
+    }
+    guarantees {
+      pedido existe
+    }
+    tests {
+      caso "cria pedido" {
+        given {
+          cliente: "Ana"
+          total: 149.9
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task obter_pedido {
+    input {
+      id: Id required
+    }
+    output {
+      pedido: Pedido
+    }
+    rules {
+      id deve_ser valido
+    }
+    effects {
+      consulta Pedido
+    }
+    guarantees {
+      pedido existe
+    }
+    tests {
+      caso "obtem pedido por id" {
+        given {
+          id: "ped_1"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task atualizar_pedido {
+    input {
+      id: Id required
+      status: Texto required
+    }
+    output {
+      pedido: Pedido
+    }
+    rules {
+      id deve_ser valido
+      status deve_ser preenchido
+    }
+    effects {
+      persistencia Pedido
+      auditoria pedido_atualizado
+    }
+    guarantees {
+      pedido existe
+    }
+    tests {
+      caso "atualiza status do pedido" {
+        given {
+          id: "ped_1"
+          status: "pago"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route pedidos_criar {
+    metodo: POST
+    caminho: /pedidos
+    task: criar_pedido
+    finalidade: cadastro_pedido
+    input {
+      cliente: Texto
+      total: Decimal
+    }
+    output {
+      pedido: Pedido
+    }
+  }
+
+  route pedidos_obter {
+    metodo: GET
+    caminho: "/pedidos/{id}"
+    task: obter_pedido
+    finalidade: consulta_pedido
+    input {
+      id: Id
+    }
+    output {
+      pedido: Pedido
+    }
+  }
+
+  route pedidos_atualizar {
+    metodo: PATCH
+    caminho: "/pedidos/{id}"
+    task: atualizar_pedido
+    finalidade: alteracao_pedido
+    input {
+      id: Id
+      status: Texto
+    }
+    output {
+      pedido: Pedido
+    }
+  }
+}

package/exemplos/koa_crud.sema

@@ -0,0 +1,95 @@
+module exemplos.koa.crud {
+  entity Tarefa {
+    fields {
+      id: Id
+      titulo: Texto
+      concluida: Booleano
+    }
+  }
+
+  task criar_tarefa {
+    input {
+      titulo: Texto required
+    }
+    output {
+      tarefa: Tarefa
+    }
+    rules {
+      titulo deve_ser preenchido
+    }
+    effects {
+      persistencia Tarefa
+      auditoria tarefa_criada
+    }
+    guarantees {
+      tarefa existe
+    }
+    tests {
+      caso "cria tarefa" {
+        given {
+          titulo: "Revisar contrato"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task concluir_tarefa {
+    input {
+      id: Id required
+    }
+    output {
+      tarefa: Tarefa
+    }
+    rules {
+      id deve_ser valido
+    }
+    effects {
+      persistencia Tarefa
+      auditoria tarefa_concluida
+    }
+    guarantees {
+      tarefa existe
+    }
+    tests {
+      caso "conclui tarefa por id" {
+        given {
+          id: "tar_1"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route tarefas_criar {
+    metodo: POST
+    caminho: /api/tarefas
+    task: criar_tarefa
+    finalidade: cadastro_tarefa
+    input {
+      titulo: Texto
+    }
+    output {
+      tarefa: Tarefa
+    }
+  }
+
+  route tarefas_concluir {
+    metodo: PATCH
+    caminho: "/api/tarefas/{id}"
+    task: concluir_tarefa
+    finalidade: alteracao_tarefa
+    input {
+      id: Id
+    }
+    output {
+      tarefa: Tarefa
+    }
+  }
+}

package/node_modules/@sema/nucleo/dist/ir/conversor.part01.js

@@ -242,53 +242,52 @@ export function converterDatabase(database) {
             .filter((item) => Boolean(item)),
     };
 }
+const ORIGENS_INTEROP_IMPLEMENTACAO = {
+    ts: "ts",
+    typescript: "ts",
+    js: "js",
+    javascript: "js",
+    py: "py",
+    python: "py",
+    dart: "dart",
+    lua: "lua",
+    cs: "cs",
+    csharp: "cs",
+    dotnet: "cs",
+    java: "java",
+    go: "go",
+    golang: "go",
+    rust: "rust",
+    rs: "rust",
+    cpp: "cpp",
+    cxx: "cpp",
+    cc: "cpp",
+    "c++": "cpp",
+    php: "php",
+};
+const PAPEIS_IMPLEMENTACAO_IR = new Set(["rota", "servico", "persistencia", "repositorio"]);
 export function converterImplementacoes(bloco) {
     const implementacoes = [];
     for (const campo of bloco?.campos ?? []) {
-        const origem = campo.nome.toLowerCase();
-        if (origem === "ts" || origem === "typescript") {
-            implementacoes.push({ origem: "ts", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
+        const segmentos = campo.nome.toLowerCase().split("_");
+        if (segmentos.length > 2) {
             continue;
         }
-        if (origem === "js" || origem === "javascript") {
-            implementacoes.push({ origem: "js", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
+        const origem = ORIGENS_INTEROP_IMPLEMENTACAO[segmentos[0] ?? ""];
+        if (!origem) {
             continue;
         }
-        if (origem === "py" || origem === "python") {
-            implementacoes.push({ origem: "py", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
+        const papel = segmentos[1];
+        if (papel !== undefined && !PAPEIS_IMPLEMENTACAO_IR.has(papel)) {
             continue;
         }
-        if (origem === "dart") {
-            implementacoes.push({ origem: "dart", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
-            continue;
-        }
-        if (origem === "lua") {
-            implementacoes.push({ origem: "lua", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
-            continue;
-        }
-        if (origem === "cs" || origem === "csharp" || origem === "dotnet") {
-            implementacoes.push({ origem: "cs", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
-            continue;
-        }
-        if (origem === "java") {
-            implementacoes.push({ origem: "java", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
-            continue;
-        }
-        if (origem === "go" || origem === "golang") {
-            implementacoes.push({ origem: "go", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
-            continue;
-        }
-        if (origem === "rust" || origem === "rs") {
-            implementacoes.push({ origem: "rust", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
-            continue;
-        }
-        if (origem === "cpp" || origem === "cxx" || origem === "cc" || origem === "c++") {
-            implementacoes.push({ origem: "cpp", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
-            continue;
-        }
-        if (origem === "php") {
-            implementacoes.push({ origem: "php", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" });
-        }
+        implementacoes.push({
+            origem,
+            papel: papel,
+            caminho: campo.valor,
+            resolucaoImpl: campo.valor,
+            statusImpl: "nao_verificado",
+        });
     }
     return implementacoes;
 }

package/node_modules/@sema/nucleo/dist/ir/modelos.d.ts

@@ -24,6 +24,7 @@ export interface IrCampo {
 export interface IrImplementacaoTask {
     origem: "ts" | "js" | "py" | "dart" | "lua" | "cs" | "java" | "go" | "rust" | "cpp" | "php";
     caminho: string;
+    papel?: "rota" | "servico" | "persistencia" | "repositorio";
     origemArquivo?: string;
     origemSimbolo?: string;
     resolucaoImpl?: string;

package/node_modules/@sema/nucleo/dist/semantico/analisador.part01.d.ts

@@ -32,6 +32,7 @@ export interface InteropSemantico {
 export interface ImplementacaoTaskSemantica {
     origem: "ts" | "js" | "py" | "dart" | "lua" | "cs" | "java" | "go" | "rust" | "cpp" | "php";
     caminho: string;
+    papel?: "rota" | "servico" | "persistencia" | "repositorio";
 }
 export interface ContextoSemantico {
     modulo: string;
@@ -83,6 +84,12 @@ export declare function converterCampoSemantico(campo: CampoAst): CampoSemantico
 export declare function indicesCampos(campos: CampoSemantico[]): Map<string, CampoSemantico>;
 export declare function indiceErros(erros: ErroSemanticoTask[]): Map<string, ErroSemanticoTask>;
 export declare function coletarErrosTask(task: TaskAst): ErroSemanticoTask[];
+export declare const PAPEIS_IMPLEMENTACAO_SUPORTADOS: Set<"servico" | "persistencia" | "rota" | "repositorio">;
+export interface NomeCampoImplementacao {
+    origem: ImplementacaoTaskSemantica["origem"];
+    papel?: ImplementacaoTaskSemantica["papel"];
+}
+export declare function normalizarNomeCampoImplementacao(valor: string): NomeCampoImplementacao | undefined;
 export declare function coletarResumoTask(task: TaskAst): ResumoTaskSemantico;
 export declare function validarImplementacoesTask(task: TaskAst, diagnosticos: Diagnostico[]): void;
 export declare function validarVinculos(bloco: BlocoGenericoAst | undefined, diagnosticos: Diagnostico[], contexto: string): void;

package/node_modules/@sema/nucleo/dist/semantico/analisador.part01.js

@@ -236,6 +236,25 @@ export function coletarErrosTask(task) {
     }
     return [...erros.values()];
 }
+export const PAPEIS_IMPLEMENTACAO_SUPORTADOS = new Set(["rota", "servico", "persistencia", "repositorio"]);
+export function normalizarNomeCampoImplementacao(valor) {
+    const segmentos = valor.toLowerCase().split("_");
+    if (segmentos.length > 2) {
+        return undefined;
+    }
+    const origem = normalizarOrigemImplementacao(segmentos[0] ?? "");
+    if (!origem) {
+        return undefined;
+    }
+    const papel = segmentos[1];
+    if (papel === undefined) {
+        return { origem };
+    }
+    if (!PAPEIS_IMPLEMENTACAO_SUPORTADOS.has(papel)) {
+        return undefined;
+    }
+    return { origem, papel: papel };
+}
 export function coletarResumoTask(task) {
     return {
         input: (task.input?.campos ?? []).map(converterCampoSemantico),
@@ -244,8 +263,10 @@ export function coletarResumoTask(task) {
         guarantees: (task.guarantees?.linhas ?? []).map((linha) => linha.conteudo),
         implementacoes: (task.impl?.campos ?? [])
             .map((campo) => {
-            const origem = normalizarOrigemImplementacao(campo.nome);
-            return origem ? { origem, caminho: campo.valor } : undefined;
+            const nome = normalizarNomeCampoImplementacao(campo.nome);
+            return nome
+                ? { origem: nome.origem, ...(nome.papel ? { papel: nome.papel } : {}), caminho: campo.valor }
+                : undefined;
         })
             .filter((item) => Boolean(item)),
     };
@@ -254,20 +275,22 @@ export function validarImplementacoesTask(task, diagnosticos) {
     if (!task.impl) {
         return;
     }
-    const origens = new Set();
+    const chaves = new Set();
     for (const campo of task.impl.campos) {
-        const origem = normalizarOrigemImplementacao(campo.nome);
-        if (!origem) {
-            diagnosticos.push(criarDiagnostico("SEM059", `Task "${task.nome}" declarou implementacao externa invalida em impl: "${campo.nome}".`, "erro", campo.intervalo, "Use apenas ts, js, py, dart, lua, cs, java, go, rust, cpp ou php dentro do bloco impl."));
+        const nome = normalizarNomeCampoImplementacao(campo.nome);
+        if (!nome) {
+            diagnosticos.push(criarDiagnostico("SEM059", `Task "${task.nome}" declarou implementacao externa invalida em impl: "${campo.nome}".`, "erro", campo.intervalo, "Use ts, js, py, dart, lua, cs, java, go, rust, cpp ou php, opcionalmente com papel: ts_rota, ts_servico, ts_persistencia ou ts_repositorio."));
             continue;
         }
-        if (origens.has(origem)) {
-            diagnosticos.push(criarDiagnostico("SEM060", `Task "${task.nome}" declarou mais de uma implementacao ${origem} no bloco impl.`, "erro", campo.intervalo, "Cada origem externa deve aparecer no maximo uma vez dentro de impl."));
+        const rotulo = nome.papel ? `${nome.origem}_${nome.papel}` : nome.origem;
+        const chave = `${nome.origem}:${nome.papel ?? "-"}`;
+        if (chaves.has(chave)) {
+            diagnosticos.push(criarDiagnostico("SEM060", `Task "${task.nome}" declarou mais de uma implementacao ${rotulo} no bloco impl.`, "erro", campo.intervalo, "Cada combinacao de origem e papel deve aparecer no maximo uma vez; use papeis distintos como ts_rota e ts_servico para camadas diferentes."));
             continue;
         }
-        origens.add(origem);
+        chaves.add(chave);
         if (!PADRAO_CAMINHO_INTEROP.test(campo.valor)) {
-            diagnosticos.push(criarDiagnostico("SEM061", `Task "${task.nome}" declarou caminho invalido para impl ${origem}: "${campo.valor}".`, "erro", campo.intervalo, "Use um identificador de implementacao como pacote.modulo.funcao ou app.servico.metodo."));
+            diagnosticos.push(criarDiagnostico("SEM061", `Task "${task.nome}" declarou caminho invalido para impl ${rotulo}: "${campo.valor}".`, "erro", campo.intervalo, "Use um identificador de implementacao como pacote.modulo.funcao ou app.servico.metodo."));
         }
     }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semacode/cli",
-  "version": "3.0.0",
+  "version": "3.8.0",
   "description": "Codex-native local semantic governance CLI for contracts, drift, impact, documentation gates, and code generation.",
   "type": "module",
   "icon": "logo.png",