@semacode/cli 1.5.48 → 1.5.53

package/dist/agentEntryPoints.js

@@ -4,7 +4,7 @@ import { mkdir, readFile, stat, writeFile } from 'node:fs/promises';
 import path from 'node:path';
 import { LIMITE_AVISO_LINHAS_CODIGO_GOVERNADO, LIMITE_AVISO_LINHAS_CONTRATO_SEMA, LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO, LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA, } from './driftOrcamento.js';
 import { ARQUIVO_AGENT_CONTEXT_PACK, ARQUIVO_SEMA_BOOT, ARQUIVO_SEMA_SMALL_MODEL, } from './agentContextTipos.js';
-import { LIMITE_CARACTERES_PAYLOAD_INLINE_MCP } from './agentContextPack.js';
+import { LIMITE_CARACTERES_PAYLOAD_INLINE } from './agentContextPack.js';
 const MARCADOR_SEMA_AGENT_ENTRYPOINT_INICIO = '<!-- sema:agent-entrypoint:start -->';
 const MARCADOR_SEMA_AGENT_ENTRYPOINT_FIM = '<!-- sema:agent-entrypoint:end -->';
 async function statSeguro(caminho) {
@@ -18,7 +18,7 @@ async function statSeguro(caminho) {
 function pareceEntradaSemaLegada(conteudo) {
     return /Sema.*Regras obrigat[oó]rias para IA/is.test(conteudo) ||
         /Sema.*Regras obrigatorias para IA/is.test(conteudo) ||
-        /Sema.*Regras obrigatórias para IA/is.test(conteudo);
+        /Sema.*Regras obrigatórias para IA/is.test(conteudo);
 }
 function montarBlocoGerenciadoSema(conteudo) {
     return `${MARCADOR_SEMA_AGENT_ENTRYPOINT_INICIO}\n${conteudo.trim()}\n${MARCADOR_SEMA_AGENT_ENTRYPOINT_FIM}\n`;
@@ -68,7 +68,7 @@ Você está em um projeto governado por Sema. O contrato semântico vem antes de
 1. Em IDE local, confirme \`AGENTS.md\` na raiz e rode \`sema --version\`; se o comando não existir, pare. A IA não acessa o painel Sema: peça ao humano para instalar a CLI pelo painel.
 2. Chame \`sema preflight resumo --json\`; se \`decisao\` não for \`use_cli_local\`, pare bloqueado.
 3. Use a CLI local para ler o workspace: \`sema resumo\`, \`sema docs-impacto\`, \`sema inspecionar\`, \`sema drift\` e \`sema impacto\`.
-4. Não use rota remota, sincronização externa ou leitura por espelho para substituir a CLI local quando a CLI estiver operacional.
+4. Não use fonte externa de workspace para substituir a CLI local quando a CLI estiver operacional.
 5. Este boot é para workspace local em disco; se não houver workspace local, pare bloqueado em vez de inventar caminho.
 6. Antes de criar módulo, rota, task ou contrato, inspecione o contrato \`.sema\` aplicável.
 7. Antes de editar código existente, rode drift e impacto pelo caminho autorizado da superfície atual.
@@ -101,7 +101,7 @@ ${politicaCodigo.regra}
 - Orçamento de código: arquivo governado acima de ${LIMITE_AVISO_LINHAS_CODIGO_GOVERNADO} linhas gera diagnóstico; acima de ${LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO} bloqueia conclusão, geração e snapshot. Documentação Markdown não entra nesse limite de código.
 - Orçamento de contrato .sema: até ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA} linhas é saudável; ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA + 1}-${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA} é diagnóstico; acima de ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA} bloqueia criação, edição, drift, finalização, geração e snapshot.
 - Divida .sema por domínio/capacidade, nunca parte_1/parte_2. Um mesmo arquivo de código pode ter vários contratos governando via vinculos; preserve essa rastreabilidade no Sema Código.
-- Payload inline: acima de ${LIMITE_CARACTERES_PAYLOAD_INLINE_MCP} caracteres em \`arquivos_codigo.conteudo\` ou \`conteudo\` não é timeout; divida por responsabilidade ou use anexo/caminho de servidor autorizado.
+- Payload inline: acima de ${LIMITE_CARACTERES_PAYLOAD_INLINE} caracteres em \`arquivos_codigo.conteudo\` ou \`conteudo\` não é timeout; divida por responsabilidade ou use anexo/caminho de servidor autorizado.
 - Validação inline com score alto não substitui cabeçalho no arquivo físico: ela prova o payload enviado, não prepara a próxima IA que vai abrir o arquivo depois.
 - Divisão correta é por responsabilidade real. Exemplo web: \`index.html\` para estrutura, \`styles/*.css\` para estilos, \`js/state.js\`, \`js/calc.js\`, \`js/render/*.js\` para comportamento, e \`data/*.json\` para dados.
 - Proibido fatiar arquivo em \`index_p1.html\`, \`index_p2.html\` ou similares sem fronteira semântica só para passar no limite.
@@ -118,7 +118,7 @@ Score composto, \`achados[]\` e \`decisaoAgente\` são sinais para guiar a próx
 - Forte: não transforme regex, palavra-chave ou score 100 em ritual vazio; valide substância, risco e comportamento.
 - Fechamento governado: se \`sema drift --json\` retornar \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou impls quebradas, não diga que passou limpo. Corrija e rode drift de novo.
 - Experiência governada: se a tarefa cria ou altera site, sistema, app, UI, painel, jogo, CLI/TUI ou terminal, prove acabamento moderno, contextual e não genérico. Em UI estreita (ex. 390px), \`document.documentElement.scrollWidth <= document.documentElement.clientWidth\` precisa ser verdadeiro.
-- Caminho de servidor ou espelho governado não é a pasta local do usuário.
+- Caminho fora do workspace local aberto pelo usuário não substitui a pasta local.
 
 ## Acabamento visual e terminal
 
@@ -164,7 +164,7 @@ export function renderizarSemaSmallModel(agentContextPack) {
 Leia isto primeiro se você tem pouco contexto, pouca memória, pouco tool use ou tendência a ignorar instruções longas.
 
 1. Não edite nada antes de chamar Sema.
-2. Em IDE local, rode \`sema --version\`; se falhar, pare. A IA não acessa o painel Sema: peça ao humano para instalar a CLI pelo painel. Depois rode \`sema preflight resumo --json\`; só continue com \`use_cli_local\`; não use rota remota, sincronização externa ou leitura por espelho para workspace local.
+2. Em IDE local, rode \`sema --version\`; se falhar, pare. A IA não acessa o painel Sema: peça ao humano para instalar a CLI pelo painel. Depois rode \`sema preflight resumo --json\`; só continue com \`use_cli_local\`; não use fonte externa de workspace para substituir a CLI local.
 3. Sema não contorna políticas da plataforma: ele governa contrato, escopo, drift, evidência e qualidade.
 4. Se aparecer alerta de política: pare, explique de forma neutra e não tente burlar filtro.
 5. Se não houver workspace local em disco: pare bloqueado e peça o fluxo apropriado; não invente leitura por caminho.
@@ -177,8 +177,8 @@ Leia isto primeiro se você tem pouco contexto, pouca memória, pouco tool use o
 12. Validação inline não dispensa cabeçalho \`${agentContextPack.politicaCodigoGovernado.marcador}\` no arquivo físico.
 13. Não crie código governado acima de ${LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO} linhas nem contrato .sema acima de ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}; acima de ${LIMITE_AVISO_LINHAS_CODIGO_GOVERNADO} em código ou ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA} em .sema, planeje divisão por responsabilidade.
 14. Divida por função real: HTML, CSS, estado, cálculo, renderização, dados. Não faça \`index_p1.html\` e \`index_p2.html\` sem sentido.
-15. Payload inline acima de ${LIMITE_CARACTERES_PAYLOAD_INLINE_MCP} caracteres não é lentidão: divida por responsabilidade; não aumente timeout para tentar passar limite de transporte.
-16. Caminho \`/srv/sema/projetos/...\` ou caminho de servidor é espelho governado, não a pasta local do usuário.
+15. Payload inline acima de ${LIMITE_CARACTERES_PAYLOAD_INLINE} caracteres não é lentidão: divida por responsabilidade; não aumente timeout para tentar passar limite de transporte.
+16. Se aparecer caminho que não pertence ao workspace local aberto pelo usuário, pare e confirme a fonte antes de agir.
 17. Se Sema estourar por timeout local: aumente o timeout e tente de novo. Não trate isso como falha do Sema.
 18. Se \`sema drift --json\` retornar \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou impl quebrada, não conclua. Corrija contrato/código e rode drift de novo.
 19. Se a tarefa tiver site, sistema, app, UI, painel, jogo, CLI/TUI ou terminal: aplique acabamento moderno, contextual, responsivo/ergonômico, com hierarquia clara, estados e evidência. Em UI, valide mobile/desktop e prove \`scrollWidth <= clientWidth\` em viewport estreito como 390px.
@@ -219,132 +219,99 @@ ${agentContextPack.failClosed.map((regra) => `- ${regra}`).join("\n")}
 `;
 }
 export function renderizarDocumentoAgentesPorCapacidade(agentContextPack) {
-    const politicaDesign = agentContextPack.politicaDesignVisual;
-    const politicaPlataforma = agentContextPack.politicaPlataforma;
-    return `# Agentes por capacidade
-
-Sema deve funcionar em agentes fortes, médios e fracos. A diferença não é só tamanho de contexto; é disciplina operacional.
-
-## Políticas da Plataforma
-
-${politicaPlataforma.regra}
-
-- Escopo: ${politicaPlataforma.escopoGovernanca}
-- Se houver alerta externo: ${politicaPlataforma.quandoHouverBloqueio}
-- Fraca: ${politicaPlataforma.porCapacidade.fraca}
-- Média: ${politicaPlataforma.porCapacidade.media}
-- Forte: ${politicaPlataforma.porCapacidade.forte}
-- Proibido: ${politicaPlataforma.proibicoes.join(", ")}.
-
-## Código Governado
-
-Arquivos gerados ou governados pela Sema devem manter o marcador \`${agentContextPack.politicaCodigoGovernado.marcador}\`.
-Orçamento semântico é regra: código governado com ${LIMITE_AVISO_LINHAS_CODIGO_GOVERNADO}+ linhas exige plano de divisão e ${LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO}+ bloqueia. Contrato .sema avisa acima de ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA} linhas e bloqueia acima de ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}. Markdown documental não entra nesse limite de código.
-Contratos .sema devem ser divididos por domínio/capacidade real, nunca parte_1/parte_2; vários contratos podem governar o mesmo arquivo via vinculos.
-Validação inline 100/100 não remove essa obrigação: ela comprova aquele payload, mas o arquivo físico ainda precisa avisar a próxima IA que existe contrato.
-
-- Fraca: ${agentContextPack.politicaCodigoGovernado.porCapacidade.fraca}
-- Média: ${agentContextPack.politicaCodigoGovernado.porCapacidade.media}
-- Forte: ${agentContextPack.politicaCodigoGovernado.porCapacidade.forte}
-
-## Payload e Transporte
-
-Payload inline em \`arquivos_codigo.conteudo\` ou \`conteudo\` tem limite de ${LIMITE_CARACTERES_PAYLOAD_INLINE_MCP} caracteres. Esse limite é de transporte e validação de entrada; não é timeout operacional.
-
-- Fraca: se aparecer \`too_big\`, payload grande ou arquivo grande, pare e divida por responsabilidade antes de chamar Sema de novo. Não aumente timeout para tentar empurrar o mesmo payload.
-- Média: em HTML/app estático, modularize em \`index.html\`, \`styles/*.css\`, \`js/state.js\`, \`js/render/*.js\` e \`data/*.json\`, cada arquivo governado com cabeçalho quando aplicável.
-- Forte: escolha o transporte correto: inline só até o limite; acima disso use anexo, caminho de servidor autorizado, manifesto/índice ou arquivos lógicos separados. Diagnostique reset/timeout como transporte/performance, não como permissão para monólito.
-- Proibido: resolver limite de transporte com \`index_p1.html\`/\`index_p2.html\`, aumentar timeout para passar \`too_big\`, ou remover dados essenciais só para a validação inline caber.
-
-## Divisão por Responsabilidade
-
-Sema não manda quebrar HTML em pedaços artificiais. Ele manda manter arquivos pequenos, coesos e governáveis.
-
-- Fraca: se um arquivo crescer, pare e peça/execute divisão por responsabilidade antes de continuar.
-- Média: em projeto web, prefira \`index.html\`, \`styles/*.css\`, \`js/state.js\`, \`js/calc.js\`, \`js/render/*.js\` e \`data/*.json\`.
-- Forte: preserve arquitetura e experiência de uso, mas não use contexto grande como desculpa para monólito.
-- Proibido: \`index_p1.html\`, \`index_p2.html\` ou nomes semelhantes quando eles só escondem um arquivo gigante sem fronteira semântica.
-
-## Sinal vs Ritual
-
-Score composto, \`achados[]\` e \`decisaoAgente\` são bons sinais operacionais. Abaixo de 80 bloqueia; alvo evolui 0.5 ponto até 100; vira teatro se a IA só coloca palavra-chave para passar.
-
-- Fraca: achado atendido precisa de evidência simples e visível.
-- Média: conecte cada regra a contrato, arquivo e comportamento esperado.
-- Forte: trate regex/palavra-chave como triagem, não como prova final de substância.
-- Drift: \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou impl quebrada bloqueiam conclusão mesmo que testes unitários tenham passado.
-- UI: responsividade real exige prova mobile/desktop; viewport estreito como 390px não pode ter \`scrollWidth\` maior que \`clientWidth\`.
-- Terminal/CLI/TUI: ergonomia real exige saída hierárquica, status, erros claros, ajuda e smoke check quando aplicável.
-- Caminho de servidor ou espelho governado não é o checkout local do usuário.
-
-## Acabamento Visual E Terminal
-
-${politicaDesign.regra}
-
-- Fraca: ${politicaDesign.porCapacidade.fraca}
-  Evidência: ${politicaDesign.evidencias.fraca.join(", ")}.
-- Média: ${politicaDesign.porCapacidade.media}
-  Evidência: ${politicaDesign.evidencias.media.join(", ")}.
-- Forte: ${politicaDesign.porCapacidade.forte}
-  Evidência: ${politicaDesign.evidencias.forte.join(", ")}.
-- Proibido: ${politicaDesign.proibicoes.join(", ")}.
-- Critérios mínimos: ${politicaDesign.criteriosMinimos.join(", ")}.
-
-## Fraca
-
-Use para Copilot em modo simples, Cline/Roo com pouco contexto, modelos locais pequenos e agentes que ignoram instrução longa.
-
-- Entrada: \`${ARQUIVO_SEMA_BOOT}\` -> \`${ARQUIVO_SEMA_SMALL_MODEL}\` -> \`SEMA_BRIEF.micro.txt\`.
-- Não abrir AST/IR completos no começo.
-- Não editar se Sema não respondeu.
-- Não pedir para ferramenta remota ler pasta local.
-- Não criar código governado acima de ${LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO} linhas nem contrato .sema acima de ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}.
-- Não fatiar código ou contrato grande em partes artificiais; divida por responsabilidade real. Para .sema, use domínio/capacidade, nunca parte_1/parte_2.
-- Não aceitar score ou achado como prova sem evidência concreta.
-
-## Média
-
-Use para agentes com bom contexto, mas sem garantia de seguir todos os gates.
-
-- Entrada: \`${ARQUIVO_SEMA_BOOT}\` -> \`${ARQUIVO_AGENT_CONTEXT_PACK}\` -> \`SEMA_BRIEF.curto.txt\` -> \`SEMA_INDEX.json\`.
-- Rodar docs-impacto antes de agir.
-- Validar drift e contrato no fechamento.
-- Tratar ${LIMITE_AVISO_LINHAS_CODIGO_GOVERNADO}+ linhas em código como sinal de refatoração e ${LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO}+ como bloqueio. Para .sema, tratar ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA}+ como diagnóstico e ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}+ como bloqueio.
-- Em UI ou HTML estático, separar estrutura, estilos, estado, cálculo, renderização e dados antes de sincronizar.
-- Verificar se score, achados e decisão correspondem a regra real, não só termo copiado.
-
-## Forte
-
-Use para Codex, Claude e agentes com tool use confiável.
-
-- Entrada: \`${ARQUIVO_SEMA_BOOT}\` -> \`${ARQUIVO_AGENT_CONTEXT_PACK}\` -> \`SEMA_BRIEF.md\` -> \`SEMA_INDEX.json\`.
-- Pode consumir AST/IR/drift completos.
-- Ainda deve respeitar contrato primeiro e falha fechada.
-- Não usar contexto grande como desculpa para monólito: IA forte também respeita ${LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO} linhas para código e ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA} para .sema.
-- Se validar inline, ainda preparar o arquivo físico para a próxima IA com cabeçalho governado e descrição humana.
-- Se o MCP usar caminho Linux, tratar como espelho remoto autorizado, não como leitura local do usuário.
-
-## Timeout e Retry
-
-${agentContextPack.politicaTimeoutResumo.regra}
-
-- Timeout inicial para resumo de projeto inteiro: ${agentContextPack.politicaTimeoutResumo.timeoutInicialSegundos}s.
-- Escalonamento recomendado: ${agentContextPack.politicaTimeoutResumo.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
-- Fraca: ${agentContextPack.politicaTimeoutResumo.porCapacidade.fraca}
-- Média: ${agentContextPack.politicaTimeoutResumo.porCapacidade.media}
-- Forte: ${agentContextPack.politicaTimeoutResumo.porCapacidade.forte}
-- ${agentContextPack.politicaTimeoutResumo.ateQuandoTentar}
-
-## Idioma
-
-${agentContextPack.politicaIdioma.regra}
-
-A gramática Sema pode ter palavras-chave ASCII. Isso não autoriza resposta humana sem acentos.
-
-## Clientes
-
-${agentContextPack.entrypointsClientes.map((cliente) => `- ${cliente.cliente}: ${cliente.arquivos.join(", ")}. Capacidade padrão: ${cliente.capacidadePadrao}. ${cliente.observacao}`).join("\n")}
-`;
+    const supportedCapacities = Object.keys(agentContextPack.guiaPorCapacidade).join(", ");
+    return [
+        "# AI Integration",
+        "",
+        "Sema is designed for AI agents with different context sizes and discipline",
+        "levels. The public repository documents the local CLI flow only: agents run the",
+        "CLI inside the project, read contracts, check drift, map impact, and close the",
+        "change with evidence.",
+        "",
+        `Supported capacity labels: ${supportedCapacities}.`,
+        "",
+        "## Local-Only Rule",
+        "",
+        "For a local workspace, use the local CLI:",
+        "",
+        "```bash",
+        "sema --version",
+        "sema preflight resumo --json",
+        "sema resumo",
+        "```",
+        "",
+        "Continue only when preflight returns `use_cli_local`. Do not replace the local",
+        "CLI with an external workspace source, external sync, or project-name guessing.",
+        "",
+        "## Before Editing",
+        "",
+        "```bash",
+        "sema docs-impacto --intencao \"describe the change\" --json",
+        "sema inspecionar contratos/example.sema --json",
+        "sema drift contratos/example.sema --escopo modulo --json",
+        "sema impacto contratos/example.sema --alvo app.example --mudanca \"describe the change\" --json",
+        "```",
+        "",
+        "Read every document listed by `docs-impacto` before changing code, contracts,",
+        "operational docs, generated artifacts, workflows, profiles, or release material.",
+        "",
+        "## Capacity Tiers",
+        "",
+        "Weak agents should start with `" + ARQUIVO_SEMA_BOOT + "`,",
+        "`" + ARQUIVO_SEMA_SMALL_MODEL + "`, `SEMA_BRIEF.micro.txt`,",
+        "`" + ARQUIVO_AGENT_CONTEXT_PACK + "`, and `SEMA_INDEX.json`. They should stop early",
+        "when a gate is unclear.",
+        "",
+        "Medium agents should start with `" + ARQUIVO_SEMA_BOOT + "`,",
+        "`" + ARQUIVO_AGENT_CONTEXT_PACK + "`, `SEMA_BRIEF.curto.txt`,",
+        "`SEMA_INDEX.json`, and `AGENTS.md`. They must run docs-impact, drift, and",
+        "impact before edits.",
+        "",
+        "Strong agents may consume `" + ARQUIVO_AGENT_CONTEXT_PACK + "`, `SEMA_BRIEF.md`,",
+        "`SEMA_INDEX.json`, AST, IR, drift, and impact outputs, but larger context does",
+        "not remove the contract-first rule.",
+        "",
+        "## Governed Code",
+        "",
+        "Generated or governed code should keep a short `SEMA-GOVERNED` marker that",
+        "points back to the applicable contract. The marker is not a substitute for",
+        "validation, drift, impact, or finalization gates.",
+        "",
+        `Governed code above ${LIMITE_AVISO_LINHAS_CODIGO_GOVERNADO} lines requires a`,
+        `split plan. Governed code above ${LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO}`,
+        "lines blocks closure. Markdown documentation is not counted as governed code",
+        "size, but it is still governed by documentation and publication checks.",
+        "",
+        "## Contract Size",
+        "",
+        "`.sema` contracts above " + LIMITE_AVISO_LINHAS_CONTRATO_SEMA + " lines require a",
+        "split plan. Above " + LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA + " lines, do not keep",
+        "editing the same contract before splitting it by real domain or capability.",
+        "Never create artificial `parte_1` or `parte_2` files to hide a large contract.",
+        "",
+        "## Payload Size",
+        "",
+        "Inline payloads in `arquivos_codigo.conteudo` or `conteudo` are limited to",
+        `${LIMITE_CARACTERES_PAYLOAD_INLINE} characters. That is a transport/input limit,`,
+        "not an operational timeout. Split by responsibility or use an authorized file",
+        "path/attachment strategy instead of increasing timeouts to push the same payload.",
+        "",
+        "## UI And Terminal Work",
+        "",
+        "When the task involves a site, app, dashboard, form, game, CLI, TUI, or any",
+        "user-facing experience, closure requires evidence:",
+        "",
+        "- desktop and mobile validation for UI work;",
+        "- no horizontal overflow on narrow mobile viewports such as 390px;",
+        "- clear loading, empty, success, and error states when relevant;",
+        "- structured terminal output, clear errors, help, and smoke checks for CLI/TUI",
+        "  work.",
+        "",
+        "## Platform Policy",
+        "",
+        "Sema governs contract, scope, drift, evidence, and quality. It does not bypass",
+        "platform policies, terms of use, permissions, security controls, or laws.",
+    ].join("\n");
 }
 function renderizarInstrucaoClienteSema(cliente, capacidade, agentContextPack) {
     const guia = agentContextPack.guiaPorCapacidade[capacidade];
@@ -359,7 +326,7 @@ Este workspace é governado por Sema. Antes de qualquer ação em código, contr
 1. Leia \`${ARQUIVO_SEMA_BOOT}\`.
 2. Em IDE local, rode \`sema --version\`; se falhar, pare. A IA não acessa o painel Sema: peça ao humano para instalar a CLI pelo painel. Depois rode \`sema preflight resumo --json\`; se \`decisao\` não for \`use_cli_local\`, pare.
 3. Use CLI local: \`sema resumo\`, \`sema docs-impacto\`, \`sema inspecionar\`, \`sema drift\` e \`sema impacto\`.
-4. Não use rota remota, sincronização externa ou leitura por espelho para substituir a CLI local quando a CLI estiver operacional.
+4. Não use fonte externa de workspace para substituir a CLI local quando a CLI estiver operacional.
 5. Chame docs-impacto com a intenção declarada antes de agir.
 6. Chame inspecionar no contrato \`.sema\` aplicável.
 7. Antes de editar código existente, rode drift e impacto.
@@ -391,14 +358,14 @@ Código governado:
 - Ao encontrar esse marcador, volte ao contrato .sema aplicável e chame Sema antes de editar.
 - Comentário de código é lembrete curto; não substitui drift, docs-impacto nem finalizar-mudanca.
 - Validação inline prova o payload enviado; não dispensa o marcador no arquivo físico sincronizado.
-- Payload inline acima de ${LIMITE_CARACTERES_PAYLOAD_INLINE_MCP} caracteres não deve virar retry de timeout: modularize por responsabilidade ou use anexo/caminho de servidor autorizado.
+- Payload inline acima de ${LIMITE_CARACTERES_PAYLOAD_INLINE} caracteres não deve virar retry de timeout: modularize por responsabilidade ou use anexo/caminho de servidor autorizado.
 - Se um arquivo crescer, divida por responsabilidade real. Em web: \`index.html\`, \`styles/*.css\`, \`js/state.js\`, \`js/calc.js\`, \`js/render/*.js\`, \`data/*.json\`. Não fatie em p1/p2 sem fronteira semântica.
 
 Sinal e evidência:
 - Score composto, \`achados[]\` e \`decisaoAgente\` orientam a ação; abaixo de 80 bloqueia, alvo evolui 0.5 ponto até 100, e nada substitui evidência concreta.
 - Palavra-chave ou regex passando não prova governança se contrato, código e comportamento não batem.
 - \`sema drift --json\` com \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou impls quebradas bloqueia fechamento. Não diga "drift limpo" até rodar de novo e ficar verde.
-- Caminho de servidor ou espelho governado do Sema não é pasta local do usuário.
+- Caminho fora do workspace local aberto pelo usuário não substitui a pasta local.
 
 Acabamento visual e terminal:
 - Se houver site, sistema, app, UI, painel, jogo, CLI/TUI ou terminal, acabamento moderno, contextual e não genérico é requisito governado, não enfeite.
@@ -415,46 +382,46 @@ Idioma:
 `;
 }
 function renderizarDocSintaxeSemaLocal(agentContextPack) {
-    return `# Sintaxe Sema Para IA
+    return `# Sema Syntax for AI Agents
 
-Use este arquivo como referencia curta antes de criar ou corrigir contratos \`.sema\`.
+Use this file as a compact reference before creating or fixing \`.sema\` contracts.
 
-## Regra de ouro
+## Golden Rule
 
-Contrato vem antes de codigo. Antes de escrever \`.sema\`, consulte os exemplos locais em \`exemplos/\`.
+Contract comes before code. Before writing \`.sema\`, read the local examples in \`exemplos/\`.
 
-## Exemplo minimo
+## Minimal Example
 
 \`\`\`sema
-module app.exemplo {
+module app.example {
   entity Item {
     fields {
       id: Id
-      nome: Texto
-      ativo: Booleano
+      name: Texto
+      active: Booleano
     }
   }
 
-  task criar_item {
+  task create_item {
     input {
-      nome: Texto required
+      name: Texto required
     }
     output {
       item: Item
     }
     rules {
-      nome deve_ser preenchido
+      name deve_ser preenchido
     }
     effects {
       persistencia Item
-      auditoria item_criado
+      auditoria item_created
     }
     guarantees {
       item existe
     }
     tests {
-      caso "cria item valido" {
-        given { nome: "Item" }
+      caso "creates valid item" {
+        given { name: "Item" }
         expect { sucesso: verdadeiro }
       }
     }
@@ -462,23 +429,23 @@ module app.exemplo {
 }
 \`\`\`
 
-## Blocos mais usados
+## Common Blocks
 
-- \`docs\`: resumo e notas do modulo.
-- \`entity\`: modelo de dominio.
-- \`task\`: operacao governada.
-- \`input\` e \`output\`: contrato de entrada e saida.
-- \`rules\`: validacoes e regras de negocio.
-- \`effects\`: persistencia, consulta, evento, auditoria e chamadas externas.
-- \`guarantees\`: o que a task precisa entregar se tiver sucesso.
-- \`error\`: erros nomeados e mensagens.
-- \`tests\`: casos minimos de comportamento.
-- \`route\`: superficie publica vinculada a uma task.
-- \`impl\` e \`vinculos\`: ligacao entre contrato e codigo real.
+- \`docs\`: module summary and notes.
+- \`entity\`: domain model.
+- \`task\`: governed operation.
+- \`input\` and \`output\`: input and output contracts.
+- \`rules\`: validations and business rules.
+- \`effects\`: persistence, reads, events, audit, and external calls.
+- \`guarantees\`: what the task must provide after success.
+- \`error\`: named errors and messages.
+- \`tests\`: minimal behavior examples.
+- \`route\`: public surface linked to a task.
+- \`impl\` and \`vinculos\`: links between the contract and real code.
 
-## Origens canonicas de \`use\` e \`impl\`
+## Canonical \`use\` and \`impl\` Origins
 
-Use estas origens em contratos antes de inventar palavra nova:
+Use these origins before inventing a new one:
 
 - \`ts\` ou \`typescript\`
 - \`js\` ou \`javascript\`
@@ -491,62 +458,62 @@ Use estas origens em contratos antes de inventar palavra nova:
 - \`rust\`
 - \`cpp\`
 
-Exemplos:
+Examples:
 
 \`\`\`sema
-use javascript app.web.despesas
+use javascript app.web.expenses
 
 impl {
-  js: src.app.salvarDespesa
+  js: src.app.saveExpense
 }
 \`\`\`
 
-\`sema compilar --alvo javascript\` define o alvo de geracao. \`impl { js: ... }\` define a origem do codigo vivo ligado ao contrato. Sao camadas diferentes e ambas sao validas.
+\`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.
 
-## Listas canonicas pequenas
+## Small Canonical Lists
 
 - \`effects\`: \`persistencia\`, \`consulta\`, \`evento\`, \`auditoria\`, \`db.write\`, \`queue.publish\`, \`fs.write\`, \`network.egress\`, \`secret.read\`, \`shell.exec\`.
 - \`audit.motivo\`: \`obrigatorio\`, \`opcional\`, \`dispensado\`.
 
-## Tamanho de contrato .sema
+## Contract Size
 
-- ate ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA} linhas: saudavel
-- ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA + 1}-${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA} linhas: diagnostico, planeje split
-- acima de ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}: bloqueia criacao, edicao, drift, finalizacao, geracao e snapshot
-- divida por dominio/capacidade real, como \`despesas_cadastro.sema\`, \`despesas_totais.sema\`, \`despesas_persistencia.sema\`
-- nunca use \`parte_1\`, \`parte_2\`, \`part_3\` ou nomes equivalentes
-- nao remova \`guarantees\`, \`tests\`, \`authz\`, \`dados\` ou \`vinculos\` so para caber no limite
-- varios contratos \`.sema\` podem governar o mesmo arquivo de codigo via \`vinculos\`; isso e esperado
+- up to ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA} lines: healthy
+- ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA + 1}-${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA} lines: diagnostic warning, plan a split
+- above ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}: blocks creation, edits, drift, finalization, generation, and snapshots
+- split by real domain/capability, such as \`expenses_entry.sema\`, \`expenses_totals.sema\`, \`expenses_persistence.sema\`
+- never use \`parte_1\`, \`parte_2\`, \`part_3\`, or equivalent names
+- do not remove \`guarantees\`, \`tests\`, \`authz\`, \`dados\`, or \`vinculos\` just to fit under the limit
+- multiple \`.sema\` contracts may govern the same code file through \`vinculos\`; this is expected
 
-## JavaScript existe
+## JavaScript Is Supported
 
-A CLI suporta geracao JavaScript. Use:
+The CLI supports JavaScript generation:
 
 \`\`\`bash
-sema compilar contratos/pedidos.sema --alvo javascript --saida ./generated/javascript
+sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
 \`\`\`
 
-O projeto tambem pode gerar TypeScript, Python, Dart, Lua, HTML e CSS quando esses alvos estiverem em \`sema.config.json\`.
+The project can also generate TypeScript, Python, Dart, Lua, HTML, and CSS when those targets are enabled in \`sema.config.json\`.
 
-## Arquivos de apoio
+## Support Files
 
-- \`AGENTS.md\`: regras obrigatorias do agente.
-- \`${ARQUIVO_SEMA_BOOT}\`: primeira leitura para qualquer IA.
-- \`${ARQUIVO_SEMA_SMALL_MODEL}\`: versao curta para IA fraca.
-- \`${ARQUIVO_AGENT_CONTEXT_PACK}\`: pacote estruturado para agentes.
-- \`SEMA_INDEX.json\`: indice do projeto.
-- \`docs/comandos.md\`: catalogo de comandos, gates e regra de \`--saida\`.
-- \`exemplos/\`: exemplos oficiais da DSL.
+- \`AGENTS.md\`: required agent rules.
+- \`${ARQUIVO_SEMA_BOOT}\`: first read for every AI agent.
+- \`${ARQUIVO_SEMA_SMALL_MODEL}\`: short version for weaker agents.
+- \`${ARQUIVO_AGENT_CONTEXT_PACK}\`: structured agent context pack.
+- \`SEMA_INDEX.json\`: project index.
+- \`docs/commands.md\`: command catalog, gates, and \`--saida\` rule.
+- \`exemplos/\`: official DSL examples.
 
-Se a IA nao souber qual forma usar, ela deve abrir \`exemplos/calculadora.sema\`, \`exemplos/crud_simples.sema\`, \`exemplos/pagamento.sema\` ou \`exemplos/tratamento_erro.sema\` antes de inventar sintaxe.
+If an AI agent does not know which shape to use, it must open \`exemplos/calculadora.sema\`, \`exemplos/crud_simples.sema\`, \`exemplos/pagamento.sema\`, or \`exemplos/tratamento_erro.sema\` before inventing syntax.
 
-Politica de plataforma: ${agentContextPack.politicaPlataforma.regra}
+Platform policy: ${agentContextPack.politicaPlataforma.regra}
 `;
 }
 function renderizarDocFluxoPraticoSemaLocal(agentContextPack) {
-    return `# Fluxo Pratico IA + Sema
+    return `# Practical AI + Sema Workflow
 
-Este e o fluxo minimo para agentes em workspace local.
+This is the minimum workflow for agents in a local workspace.
 
 1. Leia \`${ARQUIVO_SEMA_BOOT}\`.
 2. Rode \`sema --version\`.
@@ -554,45 +521,45 @@ Este e o fluxo minimo para agentes em workspace local.
 4. Rode \`sema resumo\`.
 5. Rode \`sema docs-impacto --intencao "<acao>" --json\`.
 6. Leia a documentacao obrigatoria retornada.
-7. Antes de escolher comando ou interpretar \`--saida\`, leia \`docs/comandos.md\`.
-8. Antes de criar ou editar contrato, use \`exemplos/\` e \`docs/sintaxe.md\`.
+7. Antes de escolher comando ou interpretar \`--saida\`, leia \`docs/commands.md\`.
+8. Antes de criar ou editar contrato, use \`exemplos/\` e \`docs/syntax.md\`.
 9. Antes de editar codigo existente, rode \`sema drift\` e \`sema impacto\`.
 10. Depois de alterar \`.sema\`, rode \`sema formatar\` e \`sema validar\`.
 11. Antes de concluir, rode \`sema finalizar-mudanca\` com as docs lidas.
 
-Regra de edicao de contrato: \`.sema\` tem limite proprio. Acima de ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA} linhas, planeje split por dominio/capacidade; acima de ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}, nao crie nem edite antes de dividir. Nao use parte_1/parte_2 e nao force relacao 1:1 entre contrato e arquivo; varios contratos podem governar o mesmo arquivo por \`vinculos\`.
+Contract edit rule: \`.sema\` has its own size budget. Above ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA} lines, plan a split by domain/capability; above ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}, do not create or edit before splitting. Do not use parte_1/parte_2 and do not force a 1:1 contract-to-file relationship; several contracts can govern the same file through \`vinculos\`.
 
-Regra de fechamento: \`sema drift --json\` precisa retornar \`sucesso:true\`. Se houver \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou impl quebrada, a tarefa ainda esta bloqueada. Teste unitario verde nao substitui drift verde.
+Closing rule: \`sema drift --json\` must return \`sucesso:true\`. If it reports \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\`, or broken impls, the task is still blocked. Passing unit tests do not replace green drift.
 
-Regra de UI: se a tarefa envolve interface, a evidencia minima inclui desktop e mobile. Em viewport estreito como 390px, \`document.documentElement.scrollWidth <= document.documentElement.clientWidth\` precisa passar; scroll horizontal bloqueia a conclusao.
+UI rule: if the task involves an interface, minimum evidence includes desktop and mobile. On a narrow viewport such as 390px, \`document.documentElement.scrollWidth <= document.documentElement.clientWidth\` must pass; horizontal scroll blocks closure.
 
-## Capacidade
+## Agent Capacity
 
-- IA fraca: \`${ARQUIVO_SEMA_SMALL_MODEL}\`, \`SEMA_BRIEF.micro.txt\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_INDEX.json\`.
-- IA media: \`${ARQUIVO_SEMA_BOOT}\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.curto.txt\`, \`SEMA_INDEX.json\`, \`AGENTS.md\`.
-- IA forte: \`${ARQUIVO_SEMA_BOOT}\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.md\`, \`SEMA_INDEX.json\`, AST, IR, drift e impacto.
+- Weak agent: \`${ARQUIVO_SEMA_SMALL_MODEL}\`, \`SEMA_BRIEF.micro.txt\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_INDEX.json\`.
+- Medium agent: \`${ARQUIVO_SEMA_BOOT}\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.curto.txt\`, \`SEMA_INDEX.json\`, \`AGENTS.md\`.
+- Strong agent: \`${ARQUIVO_SEMA_BOOT}\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.md\`, \`SEMA_INDEX.json\`, AST, IR, drift, and impact.
 
-## Quando gerar codigo
+## When to Generate Code
 
-Se a entrega inclui codigo derivado do contrato, rode \`sema compilar\`.
+If the delivery includes code derived from a contract, run \`sema compilar\`.
 
 \`\`\`bash
-sema compilar contratos/pedidos.sema --alvo javascript --saida ./generated/javascript
+sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
 \`\`\`
 
-Troque \`javascript\` por \`typescript\`, \`python\`, \`dart\`, \`lua\`, \`html\` ou \`css\` quando fizer sentido.
+Replace \`javascript\` with \`typescript\`, \`python\`, \`dart\`, \`lua\`, \`html\`, or \`css\` when appropriate.
 
-## Falha fechada
+## Fail Closed
 
 ${agentContextPack.failClosed.map((regra) => `- ${regra}`).join("\n")}
 `;
 }
 function renderizarDocComandosSemaLocal(agentContextPack) {
-    return `# Catalogo de comandos Sema
+    return `# Sema Command Catalog
 
-Use este arquivo quando a IA nao souber qual comando chamar. Comando Sema e gate operacional; nao substitua por relatorio Markdown.
+Use this file when an AI agent does not know which command to run. A Sema command is an operational gate; do not replace it with a Markdown report.
 
-## Fluxo minimo local
+## Minimum Local Flow
 
 \`\`\`bash
 sema --version
@@ -601,118 +568,115 @@ sema resumo
 sema docs-impacto --intencao "<acao>" --json
 \`\`\`
 
-Depois leia as docs obrigatorias retornadas por \`docs-impacto\`.
+Then read every required doc returned by \`docs-impacto\`.
 
-## Contrato e descoberta
+## Contract and Discovery
 
-- \`sema iniciar --template <template>\`: cria projeto Sema novo com contrato, docs, exemplos e kit IA.
-- \`sema validar <arquivo-ou-pasta> --json\`: valida contrato \`.sema\`.
-- \`sema diagnosticos <arquivo.sema> --json\`: detalha erros e avisos.
-- \`sema formatar <arquivo-ou-pasta>\`: formata contrato.
-- \`sema inspecionar <arquivo-ou-pasta> --json\`: mostra modulos, tasks, routes, entidades, vinculos e arquivos esperados.
-- \`sema ast <arquivo.sema> --json\`: mostra AST para depurar sintaxe.
-- \`sema ir <arquivo.sema> --json\`: mostra a IR que os gates e geradores enxergam.
+- \`sema iniciar --template <template>\`: creates a new Sema project with a contract, docs, examples, and AI kit.
+- \`sema validar <arquivo-ou-pasta> --json\`: validates \`.sema\` contracts.
+- \`sema diagnosticos <arquivo.sema> --json\`: details errors and warnings.
+- \`sema formatar <arquivo-ou-pasta>\`: formats contracts.
+- \`sema inspecionar <arquivo-ou-pasta> --json\`: shows modules, tasks, routes, entities, links, and expected files.
+- \`sema ast <arquivo.sema> --json\`: shows AST for syntax debugging.
+- \`sema ir <arquivo.sema> --json\`: shows the IR used by gates and generators.
 
-## Mudanca e fechamento
+## Change and Closure
 
-- \`sema docs-impacto --intencao "<acao>" --json\`: descobre docs obrigatorias e bloqueios documentais.
-- \`sema drift <arquivo-ou-pasta> --escopo modulo --json\`: compara contrato e implementacao.
-- \`sema impacto <arquivo-ou-pasta> --alvo <token> --mudanca "<descricao>" --json\`: mapeia impacto antes de alterar comportamento.
-- \`sema verificar <arquivo-ou-pasta> --json\`: verificacao final agregada.
-- \`sema finalizar-mudanca --intencao "<acao>" --doc-lida <arquivo> --json\`: comprova leitura documental antes de concluir.
+- \`sema docs-impacto --intencao "<acao>" --json\`: discovers required docs and documentary blockers.
+- \`sema drift <arquivo-ou-pasta> --escopo modulo --json\`: compares contract and implementation.
+- \`sema impacto <arquivo-ou-pasta> --alvo <token> --mudanca "<descricao>" --json\`: maps impact before changing behavior.
+- \`sema verificar <arquivo-ou-pasta> --json\`: runs aggregated final verification.
+- \`sema finalizar-mudanca --intencao "<acao>" --doc-lida <arquivo> --json\`: proves documentation reading before closure.
 
-Fechamento honesto: trate o JSON do drift como fonte de verdade. \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou impls quebradas significam que a mudanca ainda nao esta concluida. Nao relate "drift limpo" sem esse JSON verde.
+Honest closure: treat drift JSON as the source of truth. \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\`, or broken impls mean the change is not complete yet. Do not report "clean drift" without green JSON.
 
-## Sema Codigo
+## Sema Code
 
-- \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua|javascript|html|css> --saida <diretorio>\`: gera esqueleto/artefatos de apoio a partir do contrato.
-- \`sema testar <arquivo.sema> --alvo <alvo> --saida <diretorio-temporario>\`: gera e executa testes locais quando o alvo suporta.
-- \`sema importar <fonte> <diretorio> --saida <diretorio> --json\`: importa projeto legado para contratos iniciais.
-- \`sema renomear-semantico <arquivo-ou-pasta> --de <nome> --para <nome> --json\`: ajuda a renomear simbolos semanticamente.
+- \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua|javascript|html|css> --saida <diretorio>\`: generates starter/support artifacts from the contract.
+- \`sema testar <arquivo.sema> --alvo <alvo> --saida <diretorio-temporario>\`: generates and runs local tests when the target supports it.
+- \`sema importar <fonte> <diretorio> --saida <diretorio> --json\`: imports a legacy project into initial contracts.
+- \`sema renomear-semantico <arquivo-ou-pasta> --de <nome> --para <nome> --json\`: helps rename symbols semantically.
 
-Regra de \`--saida\`: a pasta informada em \`sema compilar --saida\` e saida gerada. Ela nao e entrega final por si so. A entrega final sao os arquivos alvo/vinculos declarados no contrato. Se o contrato pede \`index.html\`, \`css/styles.css\` e \`js/app.js\`, criar apenas \`saida/controle_despesas.ts\` nao conclui a tarefa.
+Rule for \`--saida\`: the folder passed to \`sema compilar --saida\` is generated output. It is not the final delivery by itself. The final delivery is the target files/links declared by the contract. If the contract asks for \`index.html\`, \`css/styles.css\`, and \`js/app.js\`, creating only \`saida/expense_control.ts\` does not complete the task.
 
-Regra de rastreabilidade do Sema Codigo: os artefatos gerados devem apontar o modulo/contrato de origem e preservar que um mesmo arquivo final pode ser governado por varios contratos \`.sema\` via \`vinculos\`. Nao force relacao 1:1 contrato-arquivo e nao trate \`saida/\` como projeto final.
+Sema Code traceability rule: generated artifacts must point back to the source module/contract and preserve that the same final file may be governed by several \`.sema\` contracts through \`vinculos\`. Do not force a 1:1 contract-file relationship and do not treat \`saida/\` as the final project.
 
-Regra de UI pronta: se a tarefa gerar app, site, dashboard, formulario ou HTML estatico, rode validacao visual desktop/mobile quando a superficie permitir. Em mobile estreito (ex. 390px), \`scrollWidth <= clientWidth\` precisa passar; layout que empilha mas estoura horizontalmente nao e responsivo.
+Ready UI rule: if the task generates an app, site, dashboard, form, or static HTML, run desktop/mobile visual validation when the surface allows it. On narrow mobile (for example 390px), \`scrollWidth <= clientWidth\` must pass; a layout that stacks but overflows horizontally is not responsive.
 
-## Listas canonicas de sintaxe
+## Canonical Syntax Lists
 
-- Origens de \`use\` e \`impl\`: \`ts/typescript\`, \`js/javascript\`, \`py/python\`, \`dart\`, \`lua\`, \`cs/dotnet\`, \`java\`, \`go\`, \`rust\`, \`cpp\`.
-- Categorias frequentes de \`effects\`: \`persistencia\`, \`consulta\`, \`evento\`, \`auditoria\`, \`db.write\`, \`queue.publish\`, \`fs.write\`, \`network.egress\`, \`secret.read\`, \`shell.exec\`.
-- Valores aceitos em \`audit.motivo\`: \`obrigatorio\`, \`opcional\`, \`dispensado\`.
+- Origins for \`use\` and \`impl\`: \`ts/typescript\`, \`js/javascript\`, \`py/python\`, \`dart\`, \`lua\`, \`cs/dotnet\`, \`java\`, \`go\`, \`rust\`, \`cpp\`.
+- Frequent \`effects\` categories: \`persistencia\`, \`consulta\`, \`evento\`, \`auditoria\`, \`db.write\`, \`queue.publish\`, \`fs.write\`, \`network.egress\`, \`secret.read\`, \`shell.exec\`.
+- Accepted \`audit.motivo\` values: \`obrigatorio\`, \`opcional\`, \`dispensado\`.
 
-\`sema compilar --alvo javascript\` e alvo de geracao. \`impl { js: ... }\` e origem do codigo vivo. Nao troque um pelo outro.
+\`sema compilar --alvo javascript\` is a generation target. \`impl { js: ... }\` is the live-code origin. Do not swap one for the other.
 
-## IA e contexto
+## AI and Context
 
-- \`sema ajuda-ia\`: orientacao curta para agentes.
-- \`sema starter-ia\`: starter de operacao.
-- \`sema contexto-ia <arquivo.sema> --saida <dir> --json\`: pacote de contexto para IA.
-- \`sema prompt-curto <arquivo-ou-pasta> --json\`: prompt compacto.
-- \`sema sync-ai-entrypoints --json\`: sincroniza AGENTS, boot, pack e docs locais.
-- \`sema instalar-exemplos --json\`: instala exemplos oficiais no workspace.
-- \`sema exemplos-prompt-ia\`: mostra exemplos de prompts, nao exemplos \`.sema\`.
+- \`sema ajuda-ia\`: short guidance for agents.
+- \`sema starter-ia\`: operational starter.
+- \`sema contexto-ia <arquivo.sema> --saida <dir> --json\`: AI context package.
+- \`sema prompt-curto <arquivo-ou-pasta> --json\`: compact prompt.
+- \`sema sync-ai-entrypoints --json\`: synchronizes AGENTS, boot, pack, and local docs.
+- \`sema instalar-exemplos --json\`: installs official examples in the workspace.
+- \`sema exemplos-prompt-ia\`: shows prompt examples, not \`.sema\` examples.
 
 ## Profiles e Author
 
-- \`sema author iniciar|validar|briefing|revisar-cliches|validar-narrativa|validar-proibicoes\`: governa escrita autoral.
-- \`sema profile validar <software|workflow|ops|game|legal|research|redacao|propostas|conversas> <arquivo> --json\`: valida artefato por profile.
-- \`sema profile capabilities --json\`: lista profiles/capacidades.
-- \`sema rule-packs --profile <profile> --json\`: lista pacotes de regras.
+- \`sema author iniciar|validar|briefing|revisar-cliches|validar-narrativa|validar-proibicoes\`: governs authorial writing.
+- \`sema profile validar <software|workflow|ops|game|legal|research|redacao|propostas|conversas> <arquivo> --json\`: validates an artifact by profile.
+- \`sema profile capabilities --json\`: lists profiles/capabilities.
+- \`sema rule-packs --profile <profile> --json\`: lists rule packs.
 
-## Operacional
+## Operational
 
-- \`sema doctor\`: diagnostica instalacao local.
-- \`sema chat doctor --json\`: diagnostica Sema Chat/OpenCode local.
-- \`sema mcp-instalar-chave --stdin --json\`: instala chave obtida pelo humano no painel.
-- \`sema runner validar-remoto --snapshot <arquivo.json|-> --saida <dir> --json\`: validacao remota por snapshot.
+- \`sema doctor\`: diagnoses local installation.
 
-## Proibido
+## Forbidden
 
-- Nao usar rota remota, sincronizacao externa ou leitura por espelho para ler workspace local quando \`sema --version\` funciona.
-- Nao procurar \`.sema\` no disco inteiro para aprender sintaxe; use \`exemplos/\`, \`docs/sintaxe.md\` e este catalogo.
-- Nao encerrar depois de \`sema compilar\` se os arquivos alvo do contrato ainda nao existem.
-- Nao trocar \`sema compilar\` por \`sema testar\` quando o Guard pede Sema Codigo.
-- Nao criar relatorio Markdown para fingir que rodou gate.
-- Nao dizer que drift passou quando \`sema drift --json\` retornou \`sucesso:false\`, vinculo quebrado, rota divergente ou impl quebrada.
-- Nao declarar UI responsiva sem prova mobile/desktop; scroll horizontal em 390px bloqueia.
+- Do not use an external workspace source to inspect a local workspace when \`sema --version\` works.
+- Do not search the entire disk for \`.sema\` syntax; use \`exemplos/\`, \`docs/syntax.md\`, and this catalog.
+- Do not stop after \`sema compilar\` if the contract target files still do not exist.
+- Do not replace \`sema compilar\` with \`sema testar\` when Guard asks for Sema Code.
+- Do not create a Markdown report to pretend a gate ran.
+- Do not say drift passed when \`sema drift --json\` returned \`sucesso:false\`, broken link, divergent route, or broken impl.
+- Do not declare a UI responsive without mobile/desktop proof; horizontal scroll at 390px blocks closure.
 
-Politica de codigo governado: ${agentContextPack.politicaCodigoGovernado.regra}
+Governed code policy: ${agentContextPack.politicaCodigoGovernado.regra}
 `;
 }
 function renderizarAgentStarterLocal(agentContextPack) {
     return `# Agent Starter
 
-Voce esta em um projeto governado por Sema.
+You are in a Sema-governed project.
 
-Leia nesta ordem:
+Read in this order:
 
 1. \`${ARQUIVO_SEMA_BOOT}\`
 2. \`${ARQUIVO_AGENT_CONTEXT_PACK}\`
 3. \`SEMA_INDEX.json\`
 4. \`AGENTS.md\`
-5. \`docs/comandos.md\`
-6. \`docs/sintaxe.md\`
+5. \`docs/commands.md\`
+6. \`docs/syntax.md\`
 7. \`exemplos/\`
 
-Comandos basicos:
+Basic commands:
 
 \`\`\`bash
 sema --version
 sema preflight resumo --json
 sema resumo
 sema docs-impacto --intencao "<acao>" --json
-sema validar contratos/pedidos.sema --json
-sema drift contratos/pedidos.sema --escopo modulo --json
-sema compilar contratos/pedidos.sema --alvo javascript --saida ./generated/javascript
+sema validar contratos/orders.sema --json
+sema drift contratos/orders.sema --escopo modulo --json
+sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
 \`\`\`
 
-Nao substitua esses gates por busca local, chute pelo nome do arquivo ou leitura aleatoria de contratos fora do projeto.
+Do not replace these gates with local search, guessing from a filename, or random contract reading outside the project.
 
-Fechamento nao e opiniao: \`sema drift --json\` precisa estar verde. \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou impls quebradas bloqueiam conclusao.
+Closure is not an opinion: \`sema drift --json\` must be green. \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\`, or broken impls block closure.
 
-UI pronta exige prova: desktop/mobile e viewport estreito sem overflow horizontal (\`scrollWidth <= clientWidth\`).
+Ready UI requires proof: desktop/mobile and a narrow viewport without horizontal overflow (\`scrollWidth <= clientWidth\`).
 
 ${agentContextPack.politicaCodigoGovernado.regra}
 `;
@@ -725,10 +689,9 @@ export async function sincronizarEntryPointsAgentes(baseProjeto, agentContextPac
         resultados.push({ caminho: relativo, status });
     };
     await registrar("AGENTS.md", renderizarInstrucaoClienteSema("generico", "media", agentContextPack), true);
-    await registrar("docs/sintaxe.md", renderizarDocSintaxeSemaLocal(agentContextPack), true);
-    await registrar("docs/fluxo-pratico-ia-sema.md", renderizarDocFluxoPraticoSemaLocal(agentContextPack), true);
-    await registrar("docs/comandos.md", renderizarDocComandosSemaLocal(agentContextPack), true);
-    await registrar("docs/AGENT_STARTER.md", renderizarAgentStarterLocal(agentContextPack), true);
+    await registrar("docs/syntax.md", renderizarDocSintaxeSemaLocal(agentContextPack), true);
+    await registrar("docs/ai-workflow.md", renderizarDocFluxoPraticoSemaLocal(agentContextPack), true);
+    await registrar("docs/commands.md", renderizarDocComandosSemaLocal(agentContextPack), true);
     await registrar(".github/copilot-instructions.md", renderizarInstrucaoClienteSema("copilot", "media", agentContextPack), true);
     const clinePath = path.join(baseProjeto, ".clinerules");
     const clineStat = await statSeguro(clinePath);