@semacode/cli 3.0.0 → 3.5.0

package/dist/initCommand.d.ts

@@ -1,5 +1,6 @@
 import { type TemplateIniciar } from "./initTemplatesBase.js";
 export declare function comandoIniciar(cwd: string, template: TemplateIniciar, opcoes?: {
     force?: boolean;
+    exemplosCompletos?: boolean;
 }): Promise<number>;
 export declare function comandoInstalarExemplos(emJson: boolean): Promise<number>;

package/dist/initCommand.js

@@ -4,7 +4,7 @@ import * as fs from "node:fs";
 import path from "node:path";
 import { escreverArquivos } from "./fsGovernado.js";
 import { arquivosTemplateIniciar } from "./initTemplatesBase.js";
-import { materializarExemplosOficiais, planejarExemplosOficiais } from "./exemplosOficiais.js";
+import { materializarExemplosOficiais, normalizarCaminhoExemplo, planejarExemplosOficiais } from "./exemplosOficiais.js";
 import { validarDestinosEscritaWorkspace } from "./workspaceWrite.js";
 async function sincronizarKitIaInicial(cwd) {
     const [{ gerarResumoProjetoIa }, { sincronizarEntrypointCodex }] = await Promise.all([
@@ -26,6 +26,12 @@ async function sincronizarKitIaInicial(cwd) {
         codex,
     };
 }
+const EXEMPLOS_STARTER_INICIAR = new Set([
+    "exemplos/crud_simples.sema",
+    "exemplos/cadastro_usuario.sema",
+    "exemplos/pedido.sema",
+    "exemplos/autenticacao.sema",
+]);
 export async function comandoIniciar(cwd, template, opcoes = {}) {
     const arquivos = arquivosTemplateIniciar(template);
     const planoExemplos = await planejarExemplosOficiais();
@@ -33,6 +39,9 @@ export async function comandoIniciar(cwd, template, opcoes = {}) {
         console.error("Diretorio de exemplos oficiais nao foi encontrado no pacote da CLI.");
         return 1;
     }
+    const exemplosIniciar = opcoes.exemplosCompletos
+        ? planoExemplos.arquivos
+        : planoExemplos.arquivos.filter((arquivo) => EXEMPLOS_STARTER_INICIAR.has(normalizarCaminhoExemplo(arquivo.caminhoRelativo)));
     const [{ ARQUIVOS_RESUMO_PROJETO_IA }, { listarDestinosEntrypointCodex }] = await Promise.all([
         import("./index.part04.js"),
         import("./agentEntryPoints.js"),
@@ -40,7 +49,7 @@ export async function comandoIniciar(cwd, template, opcoes = {}) {
     const caminhosTemplate = new Set(arquivos.map((arquivo) => arquivo.caminhoRelativo));
     const destinos = await validarDestinosEscritaWorkspace(cwd, [
         ...caminhosTemplate,
-        ...planoExemplos.arquivos.map((arquivo) => arquivo.caminhoRelativo),
+        ...exemplosIniciar.map((arquivo) => arquivo.caminhoRelativo),
         ...ARQUIVOS_RESUMO_PROJETO_IA,
         ...listarDestinosEntrypointCodex("AGENTS.md"),
     ]);
@@ -51,7 +60,7 @@ export async function comandoIniciar(cwd, template, opcoes = {}) {
         ? arquivos
         : arquivos.filter((arquivo) => !existentes.has(arquivo.caminhoRelativo));
     await escreverArquivos(cwd, arquivosParaEscrever, { inserirCabecalhoGovernado: true });
-    const exemplos = await materializarExemplosOficiais(cwd, true);
+    const exemplos = await materializarExemplosOficiais(cwd, true, opcoes.exemplosCompletos ? undefined : EXEMPLOS_STARTER_INICIAR);
     if (!exemplos.sucesso) {
         console.error(exemplos.erro);
         return 1;
@@ -67,6 +76,9 @@ export async function comandoIniciar(cwd, template, opcoes = {}) {
     console.log(`Projeto Sema inicializado com template ${template}.`);
     console.log(`Arquivos do projeto: ${arquivosParaEscrever.length} escritos, ${opcoes.force ? 0 : existentes.size} preservados.`);
     console.log(`Exemplos oficiais sincronizados em ${exemplos.destino} (${exemplos.criados.length} criados, ${exemplos.preservados.length} preservados).`);
+    if (!opcoes.exemplosCompletos) {
+        console.log("Starter de exemplos instalado; rode sema instalar-exemplos ou sema iniciar --com-exemplos para o pacote completo.");
+    }
     console.log(`Kit IA Codex-native sincronizado (${kitIa.artefatos.length} artefatos; entrypoint ${kitIa.codex.entrypointCodex}; ${kitIa.codex.criados.length} criados, ${kitIa.codex.atualizados.length} atualizados, ${kitIa.codex.preservados.length} preservados).`);
     return 0;
 }

package/dist/initTemplatesBase.js

@@ -8,54 +8,54 @@ export function arquivosBaseIniciar() {
     return [
         {
             caminhoRelativo: "contratos/pedidos.sema",
-            conteudo: `module app.pedidos {
-  entity Pedido {
-    fields {
-      id: Id
-      status: Texto
-      total: Decimal
-    }
-  }
-
-  task criar_pedido {
-    input {
-      cliente_id: Id required
-      total: Decimal required
-    }
-    output {
-      pedido_id: Id
-      status: Texto
-    }
-    rules {
-      total > 0
-    }
-    effects {
-      persistencia Pedido criticidade=alta
-      auditoria pedidos
-    }
-    guarantees {
-      pedido_id existe
-      status existe
-    }
-    tests {
-      caso "pedido valido" {
-        given {
-          cliente_id: "cli-1"
-          total: 10
-        }
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  route criar_pedido_publico {
-    metodo: POST
-    caminho: /pedidos
-    task: criar_pedido
-  }
-}
+            conteudo: `module app.pedidos {
+  entity Pedido {
+    fields {
+      id: Id
+      status: Texto
+      total: Decimal
+    }
+  }
+
+  task criar_pedido {
+    input {
+      cliente_id: Id required
+      total: Decimal required
+    }
+    output {
+      pedido_id: Id
+      status: Texto
+    }
+    rules {
+      total > 0
+    }
+    effects {
+      persistencia Pedido criticidade=alta
+      auditoria pedidos
+    }
+    guarantees {
+      pedido_id existe
+      status existe
+    }
+    tests {
+      caso "pedido valido" {
+        given {
+          cliente_id: "cli-1"
+          total: 10
+        }
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route criar_pedido_publico {
+    metodo: POST
+    caminho: /pedidos
+    task: criar_pedido
+  }
+}
 `,
         },
     ];
@@ -64,41 +64,41 @@ function arquivosApoioIaIniciar() {
     return [
         {
             caminhoRelativo: "README.md",
-            conteudo: `# Projeto Sema
-
-Este projeto foi inicializado com Sema.
-
-## Entrada oficial do Codex
-
-Antes de alterar codigo, contrato ou documentacao:
-
-1. leia \`AGENTS.md\`;
+            conteudo: `# Projeto Sema
+
+Este projeto foi inicializado com Sema.
+
+## Entrada oficial do Codex
+
+Antes de alterar codigo, contrato ou documentacao:
+
+1. leia \`AGENTS.md\`;
 2. rode \`sema --version\`; se o shell não localizar o comando, use \`$HOME/.sema/bin/sema\` no macOS/Linux; no Windows, PowerShell usa \`sema.ps1\` no PATH, cmd.exe usa \`sema.cmd\`, e o fallback absoluto é \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\`;
 3. rode \`sema resumo --drift none\` para contexto contratual; score, confiança e implementação ficam não avaliados;
 4. rode \`sema docs-impacto --intencao "<acao>" --json\`;
-5. leia \`docs/commands.md\` antes de escolher comando ou interpretar \`--saida\`;
-6. use \`sema descobrir recomendar --intencao "<objetivo>" --json\` quando não souber qual capacidade ou pipeline aplicar;
+5. leia \`docs/commands.md\` antes de escolher comando ou interpretar \`--saida\`;
+6. use \`sema descobrir recomendar --intencao "<objetivo>" --json\` quando não souber qual capacidade ou pipeline aplicar;
 7. use \`exemplos/\` e \`docs/syntax.md\` antes de criar ou corrigir \`.sema\`.
 
 Quando precisar comprovar o código vivo, rode \`sema drift <contrato.sema> --escopo modulo --cache fresh --json\`. Cache acelera navegação, mas não é prova final de fechamento.
-
-## Estrutura criada
-
-- \`contratos/\`: contratos semanticamente governados.
-- \`AGENTS.md\`: entrypoint oficial do Codex.
-- \`exemplos/\`: exemplos oficiais da DSL Sema.
-- \`docs/commands.md\`: catalogo de comandos, pipelines, gates e regra de \`--saida\`.
-- \`docs/syntax.md\`: referencia curta para escrever \`.sema\`.
-- \`docs/ai-workflow.md\`: fluxo minimo para agentes.
-- \`SEMA_BOOT.md\`, \`SEMA_SMALL_MODEL.md\`, \`AGENT_CONTEXT_PACK.json\` e \`SEMA_INDEX.json\`: contexto IA-first.
-
-## Geracao
-
-O template base ja declara alvo JavaScript. Exemplo:
-
-\`\`\`bash
-sema compilar contratos/pedidos.sema --alvo javascript --saida ./generated/javascript
-\`\`\`
+
+## Estrutura criada
+
+- \`contratos/\`: contratos semanticamente governados.
+- \`AGENTS.md\`: entrypoint oficial do Codex.
+- \`exemplos/\`: exemplos oficiais da DSL Sema.
+- \`docs/commands.md\`: catalogo de comandos, pipelines, gates e regra de \`--saida\`.
+- \`docs/syntax.md\`: referencia curta para escrever \`.sema\`.
+- \`docs/ai-workflow.md\`: fluxo minimo para agentes.
+- \`SEMA_BOOT.md\`, \`SEMA_SMALL_MODEL.md\`, \`AGENT_CONTEXT_PACK.json\` e \`SEMA_INDEX.json\`: contexto IA-first.
+
+## Geracao
+
+O template base ja declara alvo JavaScript. Exemplo:
+
+\`\`\`bash
+sema compilar contratos/pedidos.sema --alvo javascript --saida ./generated/javascript
+\`\`\`
 `,
         },
     ];
@@ -119,7 +119,7 @@ export function arquivosTemplateIniciar(template) {
         ?? [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: "{\n  \"origens\": [\"./contratos\"],\n  \"saida\": \"./generated\",\n  \"alvos\": [\"typescript\", \"javascript\", \"python\", \"php\", \"dart\", \"lua\", \"html\", \"css\"],\n  \"alvoPadrao\": \"typescript\",\n  \"estruturaSaida\": \"modulos\",\n  \"framework\": \"base\",\n  \"modoEstrito\": true,\n  \"diretoriosSaidaPorAlvo\": {\n    \"typescript\": \"./generated/typescript\",\n    \"javascript\": \"./generated/javascript\",\n    \"python\": \"./generated/python\",\n    \"php\": \"./generated/php\",\n    \"dart\": \"./generated/dart\",\n    \"lua\": \"./generated/lua\",\n    \"html\": \"./generated/html\",\n    \"css\": \"./generated/css\",\n    \"dotnet\": \"./generated/dotnet\",\n    \"cpp\": \"./generated/cpp\"\n  },\n  \"convencoesGeracaoPorProjeto\": \"base\"\n}\n",
+                conteudo: "{\n  \"origens\": [\"./contratos\"],\n  \"saida\": \"./generated\",\n  \"alvos\": [\"typescript\", \"javascript\"],\n  \"alvoPadrao\": \"typescript\",\n  \"estruturaSaida\": \"modulos\",\n  \"framework\": \"base\",\n  \"modoEstrito\": true,\n  \"diretoriosSaidaPorAlvo\": {\n    \"typescript\": \"./generated/typescript\",\n    \"javascript\": \"./generated/javascript\",\n    \"python\": \"./generated/python\",\n    \"php\": \"./generated/php\",\n    \"dart\": \"./generated/dart\",\n    \"lua\": \"./generated/lua\",\n    \"html\": \"./generated/html\",\n    \"css\": \"./generated/css\",\n    \"dotnet\": \"./generated/dotnet\",\n    \"cpp\": \"./generated/cpp\"\n  },\n  \"convencoesGeracaoPorProjeto\": \"base\"\n}\n",
             },
             ...arquivosBase,
         ];

package/dist/projetoConfig.js

@@ -74,6 +74,8 @@ export function normalizarFonteLegado(valor) {
         return "typescript";
     }
     if (valor === "nestjs"
+        || valor === "express"
+        || valor === "fastify"
         || valor === "fastapi"
         || valor === "flask"
         || valor === "nextjs"

package/dist/projetoLegado.js

@@ -17,6 +17,14 @@ export async function inferirFontesLegado(diretoriosCodigo, baseProjeto, configC
         if (/@nestjs\/common|@nestjs\/core/.test(packageJsonRaiz)) {
             encontrados.add("nestjs");
         }
+        if (/"express"\s*:/.test(packageJsonRaiz)) {
+            encontrados.add("express");
+            encontrados.add("typescript");
+        }
+        if (/"fastify"\s*:/.test(packageJsonRaiz)) {
+            encontrados.add("fastify");
+            encontrados.add("typescript");
+        }
         if (/typescript/.test(packageJsonRaiz)) {
             encontrados.add("typescript");
         }
@@ -64,6 +72,10 @@ export async function inferirFontesLegado(diretoriosCodigo, baseProjeto, configC
             const relacoesTs = arquivosTsJs.map((arquivo) => path.relative(diretorio, arquivo).replace(/\\/g, "/"));
             const temNest = textosPackage.some((texto) => /@nestjs\/common|@nestjs\/core/.test(texto ?? ""))
                 || amostrasTs.some((texto) => /@nestjs\/common|@nestjs\/core|@Controller\(|@Get\(|@Post\(|@Put\(|@Patch\(|@Delete\(/.test(texto ?? ""));
+            const temExpress = textosPackage.some((texto) => /"express"\s*:/.test(texto ?? ""))
+                || amostrasTs.some((texto) => /(?:from\s+["']express["']|require\(\s*["']express["']\s*\)|\bexpress\s*\(\s*\))/.test(texto ?? ""));
+            const temFastify = textosPackage.some((texto) => /"fastify"\s*:/.test(texto ?? ""))
+                || amostrasTs.some((texto) => /(?:from\s+["']fastify["']|require\(\s*["']fastify["']\s*\)|\bfastify\s*\(\s*\{)/.test(texto ?? ""));
             const temNext = textosPackage.some((texto) => /"next"\s*:/.test(texto ?? ""))
                 || nextConfigs.length > 0
                 || relacoesTs.some((relacao) => /(?:^|\/)(?:src\/)?app\/api\/.+\/route\.(?:ts|tsx|js|jsx)$/.test(relacao));
@@ -86,6 +98,12 @@ export async function inferirFontesLegado(diretoriosCodigo, baseProjeto, configC
             if (temNest) {
                 encontrados.add("nestjs");
             }
+            if (temExpress) {
+                encontrados.add("express");
+            }
+            if (temFastify) {
+                encontrados.add("fastify");
+            }
             if (temNext) {
                 encontrados.add("nextjs");
             }

package/dist/tipos.d.ts

@@ -1,3 +1,3 @@
 export type EstruturaSaida = "flat" | "modulos" | "backend";
-export type FonteLegado = "nestjs" | "fastapi" | "flask" | "nextjs" | "nextjs-consumer" | "react-vite-consumer" | "angular-consumer" | "flutter-consumer" | "firebase" | "typescript" | "javascript" | "python" | "dart" | "lua" | "dotnet" | "java" | "go" | "rust" | "cpp" | "php";
+export type FonteLegado = "nestjs" | "express" | "fastify" | "fastapi" | "flask" | "nextjs" | "nextjs-consumer" | "react-vite-consumer" | "angular-consumer" | "flutter-consumer" | "firebase" | "typescript" | "javascript" | "python" | "dart" | "lua" | "dotnet" | "java" | "go" | "rust" | "cpp" | "php";
 export type ModoAdocao = "incremental";

package/dist/typescript-http-modelos.d.ts

@@ -4,7 +4,7 @@ export interface ParametroRotaTypeScript {
     tipoSema: "Texto" | "Inteiro" | "Decimal" | "Id";
 }
 export interface RotaTypeScriptExtraida {
-    origem: "nextjs" | "firebase";
+    origem: "nextjs" | "firebase" | "express" | "fastify";
     metodo: string;
     caminho: string;
     simbolo: string;

package/dist/typescript-http-rotas.d.ts

@@ -6,4 +6,5 @@ export declare function inferirCaminhoNext(relacaoArquivo: string): {
 } | undefined;
 export declare function identificarRotasNodeHttp(sourceFile: ts.SourceFile, nomeSimbolo: string, corpo: ts.Block): RotaTypeScriptExtraida[];
 export declare function extrairRotasNodeWorker(sourceFile: ts.SourceFile, relacaoArquivo: string): RotaTypeScriptExtraida[];
+export declare function extrairRotasExpressFastify(sourceFile: ts.SourceFile): RotaTypeScriptExtraida[];
 export declare function extrairRotasTypeScriptHttp(sourceFile: ts.SourceFile, relacaoArquivo: string): RotaTypeScriptExtraida[];

package/dist/typescript-http-rotas.js

@@ -109,6 +109,98 @@ export function extrairRotasNodeWorker(sourceFile, relacaoArquivo) {
     }
     return deduplicarRotas(rotas);
 }
+export function extrairRotasExpressFastify(sourceFile) {
+    const textoArquivo = sourceFile.getFullText();
+    const importouExpress = /(?:from\s+["']express["']|require\(\s*["']express["']\s*\))/.test(textoArquivo);
+    const importouFastify = /(?:from\s+["']fastify["']|require\(\s*["']fastify["']\s*\))/.test(textoArquivo);
+    if (!importouExpress && !importouFastify) {
+        return [];
+    }
+    const rotas = [];
+    const escolherOrigemChamada = (receptor) => {
+        if (/fastify/i.test(receptor)) {
+            return "fastify";
+        }
+        if (importouExpress) {
+            return "express";
+        }
+        if (importouFastify) {
+            return "fastify";
+        }
+        return undefined;
+    };
+    const visitar = (node) => {
+        if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression) && ts.isIdentifier(node.expression.expression)) {
+            const receptor = node.expression.expression.text;
+            const nomeMetodo = node.expression.name.text.toLowerCase();
+            if (nomeMetodo === "route" && node.arguments[0] && ts.isObjectLiteralExpression(node.arguments[0]) && importouFastify) {
+                let metodo;
+                let caminho;
+                for (const propriedade of node.arguments[0].properties) {
+                    if (!ts.isPropertyAssignment(propriedade) || !ts.isIdentifier(propriedade.name)) {
+                        continue;
+                    }
+                    const valor = propriedade.initializer && ts.isStringLiteralLike(propriedade.initializer)
+                        ? propriedade.initializer.text
+                        : undefined;
+                    if (propriedade.name.text === "method" && valor) {
+                        metodo = valor.toUpperCase();
+                    }
+                    if (propriedade.name.text === "url" && valor) {
+                        caminho = valor;
+                    }
+                }
+                if (metodo && caminho?.startsWith("/") && METODOS_HTTP.has(metodo)) {
+                    rotas.push({
+                        origem: "fastify",
+                        metodo,
+                        caminho: converterCaminhoParametros(caminho),
+                        simbolo: receptor,
+                        parametros: extrairParametrosCaminhoDoisPontos(caminho),
+                    });
+                }
+            }
+            else if (nomeMetodo === "all" || METODOS_HTTP.has(nomeMetodo.toUpperCase())) {
+                const caminho = node.arguments[0] && ts.isStringLiteralLike(node.arguments[0])
+                    ? node.arguments[0].text
+                    : undefined;
+                const origem = escolherOrigemChamada(receptor);
+                const handler = node.arguments[1] && ts.isIdentifier(node.arguments[1]) ? node.arguments[1].text : undefined;
+                if (caminho?.startsWith("/") && origem) {
+                    const metodos = nomeMetodo === "all"
+                        ? ["GET", "POST", "PUT", "PATCH", "DELETE"]
+                        : [nomeMetodo.toUpperCase()];
+                    for (const metodo of metodos) {
+                        rotas.push({
+                            origem,
+                            metodo,
+                            caminho: converterCaminhoParametros(caminho),
+                            simbolo: handler ?? receptor,
+                            parametros: extrairParametrosCaminhoDoisPontos(caminho),
+                        });
+                    }
+                }
+            }
+        }
+        node.forEachChild(visitar);
+    };
+    visitar(sourceFile);
+    return deduplicarRotas(rotas);
+}
+function converterCaminhoParametros(caminho) {
+    return caminho.replace(/:([A-Za-z_]\w*)/g, "{$1}");
+}
+function extrairParametrosCaminhoDoisPontos(caminho) {
+    const parametros = [];
+    for (const correspondencia of caminho.matchAll(/:([A-Za-z_]\w*)/g)) {
+        const nome = correspondencia[1];
+        parametros.push({
+            nome,
+            tipoSema: /(^|_)id$/i.test(nome) ? "Id" : "Texto",
+        });
+    }
+    return parametros;
+}
 export function extrairRotasTypeScriptHttp(sourceFile, relacaoArquivo) {
     const rotas = [];
     const caminhoNext = inferirCaminhoNext(relacaoArquivo);
@@ -124,6 +216,7 @@ export function extrairRotasTypeScriptHttp(sourceFile, relacaoArquivo) {
         }
     }
     rotas.push(...extrairRotasNodeWorker(sourceFile, relacaoArquivo));
+    rotas.push(...extrairRotasExpressFastify(sourceFile));
     return deduplicarRotas(rotas);
 }
 //# sourceMappingURL=typescript-http-rotas.js.map

package/dist/typescript-http.d.ts

@@ -1,3 +1,3 @@
 export type { CampoInferidoTypeScriptHttp, ExportacaoTypeScriptHttp, ParametroRotaTypeScript, RotaTypeScriptExtraida, SemanticaHandlerTypeScriptHttp, } from "./typescript-http-modelos.js";
-export { extrairRotasTypeScriptHttp } from "./typescript-http-rotas.js";
+export { extrairRotasExpressFastify, extrairRotasTypeScriptHttp } from "./typescript-http-rotas.js";
 export { inferirSemanticaHandlerTypeScriptHttp, localizarExportacaoTypeScriptHttp, } from "./typescript-http-semantica.js";

package/dist/typescript-http.js

@@ -1,5 +1,5 @@
 // SEMA-GOVERNED: sema.governanca_ia_contexto
 // Descricao: fachada de extracao HTTP TypeScript; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
-export { extrairRotasTypeScriptHttp } from "./typescript-http-rotas.js";
+export { extrairRotasExpressFastify, extrairRotasTypeScriptHttp } from "./typescript-http-rotas.js";
 export { inferirSemanticaHandlerTypeScriptHttp, localizarExportacaoTypeScriptHttp, } from "./typescript-http-semantica.js";
 //# sourceMappingURL=typescript-http.js.map

package/dist/verificacaoCache.d.ts

@@ -0,0 +1,25 @@
+export declare const SCHEMA_CACHE_VERIFICACAO = "sema.verificacao-cache/v1";
+export interface EntradaCacheVerificacao {
+    schemaVersion: typeof SCHEMA_CACHE_VERIFICACAO;
+    chave: string;
+    versaoCli: string;
+    alvo: string;
+    modulo: string;
+    sucesso: boolean;
+    quantidadeTestes: number;
+    testesExecutados: boolean;
+    arquivosGerados: string[];
+    geradoEm: string;
+}
+export declare function calcularChaveVerificacao(entradas: {
+    versaoCli: string;
+    versaoNode: string;
+    modulo: string;
+    alvo: string;
+    framework: string;
+    estrutura: string;
+    conteudoContrato: string;
+}): string;
+export declare function carregarCacheVerificacao(chave: string, pastaAlvo: string, raizCache?: string): Promise<EntradaCacheVerificacao | undefined>;
+export declare function carregarManifestoVerificacao(chave: string, raizCache?: string): Promise<EntradaCacheVerificacao | undefined>;
+export declare function gravarCacheVerificacao(entrada: EntradaCacheVerificacao, raizCache?: string): Promise<void>;

package/dist/verificacaoCache.js

@@ -0,0 +1,80 @@
+// SEMA-GOVERNED: sema.produto.cli_verificacao
+// Descrição: cache incremental de verificação fora do workspace, endereçado por conteúdo do contrato.
+import { createHash } from "node:crypto";
+import { mkdir, readFile, stat, writeFile } from "node:fs/promises";
+import path from "node:path";
+import { resolverRaizCacheSema } from "./driftCacheFilesystem.js";
+export const SCHEMA_CACHE_VERIFICACAO = "sema.verificacao-cache/v1";
+export function calcularChaveVerificacao(entradas) {
+    return createHash("sha256")
+        .update(JSON.stringify({
+        schemaVersion: SCHEMA_CACHE_VERIFICACAO,
+        versaoCli: entradas.versaoCli,
+        versaoNode: entradas.versaoNode,
+        modulo: entradas.modulo,
+        alvo: entradas.alvo,
+        framework: entradas.framework,
+        estrutura: entradas.estrutura,
+        conteudoContrato: entradas.conteudoContrato,
+    }))
+        .digest("hex");
+}
+function resolverPastaCacheVerificacao(raizCache) {
+    const resolucao = resolverRaizCacheSema(raizCache ? { raizCache } : {});
+    return resolucao.disponivel ? path.join(resolucao.raiz, "verificacao") : undefined;
+}
+export async function carregarCacheVerificacao(chave, pastaAlvo, raizCache) {
+    const pasta = resolverPastaCacheVerificacao(raizCache);
+    if (!pasta) {
+        return undefined;
+    }
+    let entrada;
+    try {
+        entrada = JSON.parse(await readFile(path.join(pasta, `${chave}.json`), "utf8"));
+    }
+    catch {
+        return undefined;
+    }
+    if (entrada.schemaVersion !== SCHEMA_CACHE_VERIFICACAO || entrada.chave !== chave) {
+        return undefined;
+    }
+    for (const relativo of entrada.arquivosGerados) {
+        try {
+            await stat(path.join(pastaAlvo, relativo));
+        }
+        catch {
+            return undefined;
+        }
+    }
+    return entrada;
+}
+export async function carregarManifestoVerificacao(chave, raizCache) {
+    const pasta = resolverPastaCacheVerificacao(raizCache);
+    if (!pasta) {
+        return undefined;
+    }
+    try {
+        const entrada = JSON.parse(await readFile(path.join(pasta, `${chave}.json`), "utf8"));
+        if (entrada.schemaVersion !== SCHEMA_CACHE_VERIFICACAO || entrada.chave !== chave) {
+            return undefined;
+        }
+        return entrada;
+    }
+    catch {
+        return undefined;
+    }
+}
+export async function gravarCacheVerificacao(entrada, raizCache) {
+    const pasta = resolverPastaCacheVerificacao(raizCache);
+    if (!pasta) {
+        return;
+    }
+    try {
+        await mkdir(pasta, { recursive: true });
+        await writeFile(path.join(pasta, `${entrada.chave}.json`), `${JSON.stringify(entrada, null, 2)}\n`, "utf8");
+    }
+    catch {
+        // Cache é aceleração: falha de gravação nunca derruba a verificação.
+    }
+}
+//# sourceMappingURL=verificacaoCache.js.map

package/docs/syntax.md

@@ -87,6 +87,20 @@ impl {
 
 `sema compilar --alvo javascript` defines a generation target. `impl { js: ... }` defines the live-code origin linked to the contract. They are different layers and both are valid.
 
+## Layered `impl` Roles
+
+Layered code (route + service + persistence in the same language) can declare one `impl` per role. Append a supported role to the origin: `rota`, `servico`, `persistencia` or `repositorio`.
+
+```sema
+impl {
+  ts_rota: server.routes.monitores.criarMonitor
+  ts_servico: server.services.monitores.criarMonitor
+  ts_persistencia: server.repositories.monitores.criar
+}
+```
+
+Each origin-plus-role pair must appear at most once; the bare origin (for example `ts`) stays valid for single-layer tasks, and drift resolves every role independently.
+
 ## Small Canonical Lists
 
 - `effects`: `persistencia`, `consulta`, `evento`, `auditoria`, `db.write`, `queue.publish`, `fs.write`, `network.egress`, `secret.read`, `shell.exec`.