@semacode/cli 2.0.1 → 2.2.0

package/dist/agentEntryPoints.js

@@ -140,162 +140,162 @@ export function renderizarSemaBoot(agentContextPack) {
     const politicaTimeout = agentContextPack.politicaTimeoutResumo;
     const politicaDesign = agentContextPack.politicaDesignVisual;
     const politicaPlataforma = agentContextPack.politicaPlataforma;
-    return `# SEMA_BOOT
-
-Você está em um projeto governado por Sema. O contrato semântico vem antes de qualquer ação.
-
-## Primeira ação
-
-1. Confirme \`AGENTS.md\` na raiz e rode \`sema --version\`; se o comando não existir, pare e peça a instalação da CLI.
-2. Use a CLI local diretamente para ler o workspace: \`sema resumo\`, \`sema docs-impacto\`, \`sema inspecionar\`, \`sema drift\` e \`sema impacto\`.
-3. Não use fonte externa de workspace para substituir a CLI local quando ela estiver operacional.
-4. Este boot é para workspace local em disco; se não houver workspace local, pare bloqueado em vez de inventar caminho.
-5. Antes de criar módulo, rota, task ou contrato, inspecione o contrato \`.sema\` aplicável.
-6. Antes de editar código existente, rode drift e impacto pela CLI local.
-7. Antes de criar ou corrigir \`.sema\`, use os exemplos oficiais na CLI local.
-8. Se qualquer etapa falhar, pare e diga que está bloqueado.
-
-Não substitua esse fluxo por leitura manual de \`AGENTS.md\`, \`README.md\`, busca local, inferência pelo nome do projeto, bom senso ou ferramenta não citada aqui.
-
-## Políticas da plataforma
-
-${politicaPlataforma.regra}
-
-- Escopo: ${politicaPlataforma.escopoGovernanca}
-- Se houver alerta externo: ${politicaPlataforma.quandoHouverBloqueio}
-- IA fraca: ${politicaPlataforma.porCapacidade.fraca}
-- IA média: ${politicaPlataforma.porCapacidade.media}
-- IA forte: ${politicaPlataforma.porCapacidade.forte}
-
-## Capacidade do agente
-
-- Fraca: leia \`${ARQUIVO_SEMA_SMALL_MODEL}\`, \`SEMA_BRIEF.micro.txt\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\` e só suba contexto se necessário.
-- Média: leia este boot, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.curto.txt\`, \`SEMA_INDEX.json\` e a doc indicada pelo Sema.
-- Forte: leia este boot, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.md\`, \`SEMA_INDEX.json\`, \`AGENTS.md\` e rode os gates completos.
-
-## Código governado
-
-${politicaCodigo.regra}
-
-- Marcador: \`${politicaCodigo.marcador}\`.
-- 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} 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.
-- IA fraca: ${politicaCodigo.porCapacidade.fraca}
-- IA média: ${politicaCodigo.porCapacidade.media}
-- IA forte: ${politicaCodigo.porCapacidade.forte}
-
-## Sinal, evidência e ritual
-
-Score composto, \`achados[]\` e \`decisaoAgente\` são sinais para guiar a próxima ação. Abaixo de 80 bloqueia; alvo evolui 0.5 ponto até 100; nada disso basta sozinho.
-
-- Fraca: se o score passou, confira se cada achado tem evidência concreta; se não souber provar, pare.
-- Média: conecte regra, arquivo, contrato e evidência antes de concluir aderência.
-- 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 fora do workspace local aberto pelo usuário não substitui a pasta local.
-
-## Acabamento visual e terminal
-
-${politicaDesign.regra}
-
-- Aplicar quando: ${politicaDesign.aplicarQuando}
-- IA fraca: ${politicaDesign.porCapacidade.fraca}
-- IA média: ${politicaDesign.porCapacidade.media}
-- IA forte: ${politicaDesign.porCapacidade.forte}
-- Proibido: ${politicaDesign.proibicoes.slice(0, 5).join(", ")}.
-
-## Timeout e retry
-
-${politicaTimeout.regra}
-
-- Timeout inicial recomendado para projeto inteiro: ${politicaTimeout.timeoutInicialSegundos}s.
-- Escalonamento: ${politicaTimeout.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
-- IA fraca: ${politicaTimeout.porCapacidade.fraca}
-- IA média: ${politicaTimeout.porCapacidade.media}
-- IA forte: ${politicaTimeout.porCapacidade.forte}
-- ${politicaTimeout.ateQuandoTentar}
-
-## Idioma humano
-
-${politica.regra}
-
-- Use o idioma falado pelo usuário.
-- Em PT-BR, escreva com acentos, cedilha e pontuação normal.
-- Use vocabulário Sema canônico para conceitos de produto: pontuação, desvio semântico, trava, pré-checagem, ambiente de execução e perfil.
-- Não traduza comandos, rotas, nomes de arquivos, endpoints, variáveis, pacotes, marcas, símbolos de código nem palavras-chave da DSL.
-
-## Falha fechada
-
-${agentContextPack.failClosed.map((regra) => `- ${regra}`).join("\n")}
+    return `# SEMA_BOOT
+
+Você está em um projeto governado por Sema. O contrato semântico vem antes de qualquer ação.
+
+## Primeira ação
+
+1. Confirme \`AGENTS.md\` na raiz e rode \`sema --version\`; se o comando não existir, pare e peça a instalação da CLI.
+2. Use a CLI local diretamente para ler o workspace: \`sema resumo\`, \`sema docs-impacto\`, \`sema inspecionar\`, \`sema drift\` e \`sema impacto\`.
+3. Não use fonte externa de workspace para substituir a CLI local quando ela estiver operacional.
+4. Este boot é para workspace local em disco; se não houver workspace local, pare bloqueado em vez de inventar caminho.
+5. Antes de criar módulo, rota, task ou contrato, inspecione o contrato \`.sema\` aplicável.
+6. Antes de editar código existente, rode drift e impacto pela CLI local.
+7. Antes de criar ou corrigir \`.sema\`, use os exemplos oficiais na CLI local.
+8. Se qualquer etapa falhar, pare e diga que está bloqueado.
+
+Não substitua esse fluxo por leitura manual de \`AGENTS.md\`, \`README.md\`, busca local, inferência pelo nome do projeto, bom senso ou ferramenta não citada aqui.
+
+## Políticas da plataforma
+
+${politicaPlataforma.regra}
+
+- Escopo: ${politicaPlataforma.escopoGovernanca}
+- Se houver alerta externo: ${politicaPlataforma.quandoHouverBloqueio}
+- IA fraca: ${politicaPlataforma.porCapacidade.fraca}
+- IA média: ${politicaPlataforma.porCapacidade.media}
+- IA forte: ${politicaPlataforma.porCapacidade.forte}
+
+## Capacidade do agente
+
+- Fraca: leia \`${ARQUIVO_SEMA_SMALL_MODEL}\`, \`SEMA_BRIEF.micro.txt\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\` e só suba contexto se necessário.
+- Média: leia este boot, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.curto.txt\`, \`SEMA_INDEX.json\` e a doc indicada pelo Sema.
+- Forte: leia este boot, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.md\`, \`SEMA_INDEX.json\`, \`AGENTS.md\` e rode os gates completos.
+
+## Código governado
+
+${politicaCodigo.regra}
+
+- Marcador: \`${politicaCodigo.marcador}\`.
+- 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} 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.
+- IA fraca: ${politicaCodigo.porCapacidade.fraca}
+- IA média: ${politicaCodigo.porCapacidade.media}
+- IA forte: ${politicaCodigo.porCapacidade.forte}
+
+## Sinal, evidência e ritual
+
+Score composto, \`achados[]\` e \`decisaoAgente\` são sinais para guiar a próxima ação. Abaixo de 80 bloqueia; alvo evolui 0.5 ponto até 100; nada disso basta sozinho.
+
+- Fraca: se o score passou, confira se cada achado tem evidência concreta; se não souber provar, pare.
+- Média: conecte regra, arquivo, contrato e evidência antes de concluir aderência.
+- 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 fora do workspace local aberto pelo usuário não substitui a pasta local.
+
+## Acabamento visual e terminal
+
+${politicaDesign.regra}
+
+- Aplicar quando: ${politicaDesign.aplicarQuando}
+- IA fraca: ${politicaDesign.porCapacidade.fraca}
+- IA média: ${politicaDesign.porCapacidade.media}
+- IA forte: ${politicaDesign.porCapacidade.forte}
+- Proibido: ${politicaDesign.proibicoes.slice(0, 5).join(", ")}.
+
+## Timeout e retry
+
+${politicaTimeout.regra}
+
+- Timeout inicial recomendado para projeto inteiro: ${politicaTimeout.timeoutInicialSegundos}s.
+- Escalonamento: ${politicaTimeout.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
+- IA fraca: ${politicaTimeout.porCapacidade.fraca}
+- IA média: ${politicaTimeout.porCapacidade.media}
+- IA forte: ${politicaTimeout.porCapacidade.forte}
+- ${politicaTimeout.ateQuandoTentar}
+
+## Idioma humano
+
+${politica.regra}
+
+- Use o idioma falado pelo usuário.
+- Em PT-BR, escreva com acentos, cedilha e pontuação normal.
+- Use vocabulário Sema canônico para conceitos de produto: pontuação, desvio semântico, trava, pré-checagem, ambiente de execução e perfil.
+- Não traduza comandos, rotas, nomes de arquivos, endpoints, variáveis, pacotes, marcas, símbolos de código nem palavras-chave da DSL.
+
+## Falha fechada
+
+${agentContextPack.failClosed.map((regra) => `- ${regra}`).join("\n")}
 `;
 }
 export function renderizarSemaSmallModel(agentContextPack) {
     const politicaTimeout = agentContextPack.politicaTimeoutResumo;
     const politicaDesign = agentContextPack.politicaDesignVisual;
     const politicaPlataforma = agentContextPack.politicaPlataforma;
-    return `# SEMA_SMALL_MODEL
-
-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 workspace local, rode \`sema --version\`; se falhar, pare e peça a instalação da CLI. Com a CLI disponível, opere diretamente sobre a pasta local e não use espelho externo.
-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.
-6. Se for escrever \`.sema\`: leia \`exemplos/\`; se a pasta estiver ausente, rode \`sema instalar-exemplos --json\` antes.
-7. Se não houver contrato ou vínculo semântico do arquivo: inspecione o arquivo, crie ou edite o contrato aplicável e vincule antes do código.
-8. Se não conseguir chamar Sema: pare e declare bloqueio.
-9. Responda no idioma do usuário. Em PT-BR, use vocabulário Sema: pontuação, desvio semântico, pré-checagem, ambiente de execução e perfil; preserve comandos, endpoints e identificadores.
-10. Se abrir código com \`${agentContextPack.politicaCodigoGovernado.marcador}\`: volte ao contrato, chame Sema e só então edite.
-11. Score 100, achados atendidos ou validação inline são sinais; confira evidência real no contrato e no código.
-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} 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.
-20. Não substitua o contexto Sema por AGENTS.md, README.md, busca local, inferência por nome ou bom senso.
-
-Ordem curta:
-
-- \`${ARQUIVO_SEMA_BOOT}\`
-- \`SEMA_BRIEF.micro.txt\`
-- \`${ARQUIVO_AGENT_CONTEXT_PACK}\`
-- \`SEMA_INDEX.json\`
-- \`AGENTS.md\`
-
-Políticas da plataforma:
-
-- ${politicaPlataforma.regra}
-- IA fraca: ${politicaPlataforma.porCapacidade.fraca}
-- Se houver bloqueio externo: ${politicaPlataforma.quandoHouverBloqueio}
-
-Timeout:
-
-- Timeout local do agente não é falha do Sema.
-- Projeto inteiro: comece com ${politicaTimeout.timeoutInicialSegundos}s ou mais.
-- Escalonamento: ${politicaTimeout.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
-- Se o projeto inteiro for lento, escopar para \`sema resumo <arquivo.sema> --micro --para mudanca\`.
-- ${politicaTimeout.ateQuandoTentar}
-
-Acabamento visual e terminal:
-
-- ${politicaDesign.regra}
-- IA fraca: ${politicaDesign.porCapacidade.fraca}
-- Evidência mínima: ${politicaDesign.evidencias.fraca.join(", ")}.
-- Proibido: ${politicaDesign.proibicoes.slice(0, 5).join(", ")}.
-
-Fail-closed:
-
-${agentContextPack.failClosed.map((regra) => `- ${regra}`).join("\n")}
+    return `# SEMA_SMALL_MODEL
+
+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 workspace local, rode \`sema --version\`; se falhar, pare e peça a instalação da CLI. Com a CLI disponível, opere diretamente sobre a pasta local e não use espelho externo.
+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.
+6. Se for escrever \`.sema\`: leia \`exemplos/\`; se a pasta estiver ausente, rode \`sema instalar-exemplos --json\` antes.
+7. Se não houver contrato ou vínculo semântico do arquivo: inspecione o arquivo, crie ou edite o contrato aplicável e vincule antes do código.
+8. Se não conseguir chamar Sema: pare e declare bloqueio.
+9. Responda no idioma do usuário. Em PT-BR, use vocabulário Sema: pontuação, desvio semântico, pré-checagem, ambiente de execução e perfil; preserve comandos, endpoints e identificadores.
+10. Se abrir código com \`${agentContextPack.politicaCodigoGovernado.marcador}\`: volte ao contrato, chame Sema e só então edite.
+11. Score 100, achados atendidos ou validação inline são sinais; confira evidência real no contrato e no código.
+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} 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.
+20. Não substitua o contexto Sema por AGENTS.md, README.md, busca local, inferência por nome ou bom senso.
+
+Ordem curta:
+
+- \`${ARQUIVO_SEMA_BOOT}\`
+- \`SEMA_BRIEF.micro.txt\`
+- \`${ARQUIVO_AGENT_CONTEXT_PACK}\`
+- \`SEMA_INDEX.json\`
+- \`AGENTS.md\`
+
+Políticas da plataforma:
+
+- ${politicaPlataforma.regra}
+- IA fraca: ${politicaPlataforma.porCapacidade.fraca}
+- Se houver bloqueio externo: ${politicaPlataforma.quandoHouverBloqueio}
+
+Timeout:
+
+- Timeout local do agente não é falha do Sema.
+- Projeto inteiro: comece com ${politicaTimeout.timeoutInicialSegundos}s ou mais.
+- Escalonamento: ${politicaTimeout.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
+- Se o projeto inteiro for lento, escopar para \`sema resumo <arquivo.sema> --micro --para mudanca\`.
+- ${politicaTimeout.ateQuandoTentar}
+
+Acabamento visual e terminal:
+
+- ${politicaDesign.regra}
+- IA fraca: ${politicaDesign.porCapacidade.fraca}
+- Evidência mínima: ${politicaDesign.evidencias.fraca.join(", ")}.
+- Proibido: ${politicaDesign.proibicoes.slice(0, 5).join(", ")}.
+
+Fail-closed:
+
+${agentContextPack.failClosed.map((regra) => `- ${regra}`).join("\n")}
 `;
 }
 export function renderizarDocumentoAgentesPorCapacidade(agentContextPack) {
@@ -418,367 +418,367 @@ function renderizarInstrucaoCodexSema(agentContextPack) {
     const politicaTimeout = agentContextPack.politicaTimeoutResumo;
     const politicaDesign = agentContextPack.politicaDesignVisual;
     const politicaPlataforma = agentContextPack.politicaPlataforma;
-    return `# Sema para Codex
-
-Este workspace é governado por Sema. Antes de qualquer ação em código, contrato, documentação operacional, workflow, profile ou deploy:
-
-1. Leia \`${ARQUIVO_SEMA_BOOT}\`.
-2. Rode \`sema --version\`; se falhar, pare e peça a instalação da CLI.
-3. Use diretamente a CLI local: \`sema resumo\`, \`sema docs-impacto\`, \`sema inspecionar\`, \`sema drift\` e \`sema impacto\`.
-4. Não use fonte externa de workspace para substituir a CLI local quando ela 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.
-8. Antes de criar ou editar \`.sema\`, use exemplos oficiais.
-9. Ao concluir mudança de contrato, rode validar.
-10. Antes de finalizar, use finalizar-mudanca com as docs lidas.
-
-É proibido substituir esse fluxo por leitura manual de \`AGENTS.md\`, \`README.md\`, busca local por arquivos, inferência pelo nome do projeto, bom senso ou ferramenta não citada nesta lista.
-
-Entrypoint oficial do Codex: \`${agentContextPack.entrypointCodex}\`.
-Capacidade padrão do Codex: ${capacidade}.
-Ordem de leitura: ${guia.join(" -> ")}.
-
-Políticas da plataforma:
-- ${politicaPlataforma.regra}
-- Capacidade ${capacidade}: ${politicaPlataforma.porCapacidade[capacidade]}
-- Se houver alerta externo: ${politicaPlataforma.quandoHouverBloqueio}
-
-Falha fechada:
-${agentContextPack.failClosed.map((regra) => `- ${regra}`).join("\n")}
-
-Timeout:
-- Timeout local do agente não é falha do Sema.
-- Se uma chamada Sema estourar, aumente o timeout e tente de novo antes de declarar bloqueio.
-- Para projeto inteiro, comece com ${politicaTimeout.timeoutInicialSegundos}s ou mais; se for lento, escale ${politicaTimeout.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
-- Se possível, reduza escopo para \`sema resumo <arquivo.sema> --micro --para mudanca\`.
-
-Código governado:
-- Mantenha o marcador \`${agentContextPack.politicaCodigoGovernado.marcador}\` em código gerado ou 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} 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 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.
-- Capacidade ${capacidade}: ${politicaDesign.porCapacidade[capacidade]}
-- Evidências: ${politicaDesign.evidencias[capacidade].join(", ")}.
-- Responsividade/ergonomia real: valide desktop/mobile e, em viewport estreito como 390px, confirme \`document.documentElement.scrollWidth <= document.documentElement.clientWidth\`; em terminal/CLI/TUI, rode smoke check de saída, erro e ajuda quando aplicável.
-- Proibido: ${politicaDesign.proibicoes.slice(0, 5).join(", ")}.
-
-Idioma:
-- Responda no idioma do usuário.
-- Em PT-BR, use vocabulário Sema canônico, acentos, cedilha, pontuação e símbolos normais.
-- A DSL \`.sema\` pode ser ASCII; texto humano não precisa ser.
-- Não traduza comandos, rotas, arquivos, endpoints, variáveis, pacotes, marcas, símbolos de código nem palavras-chave da DSL.
+    return `# Sema para Codex
+
+Este workspace é governado por Sema. Antes de qualquer ação em código, contrato, documentação operacional, workflow, profile ou deploy:
+
+1. Leia \`${ARQUIVO_SEMA_BOOT}\`.
+2. Rode \`sema --version\`; se falhar, pare e peça a instalação da CLI.
+3. Use diretamente a CLI local: \`sema resumo\`, \`sema docs-impacto\`, \`sema inspecionar\`, \`sema drift\` e \`sema impacto\`.
+4. Não use fonte externa de workspace para substituir a CLI local quando ela 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.
+8. Antes de criar ou editar \`.sema\`, use exemplos oficiais.
+9. Ao concluir mudança de contrato, rode validar.
+10. Antes de finalizar, use finalizar-mudanca com as docs lidas.
+
+É proibido substituir esse fluxo por leitura manual de \`AGENTS.md\`, \`README.md\`, busca local por arquivos, inferência pelo nome do projeto, bom senso ou ferramenta não citada nesta lista.
+
+Entrypoint oficial do Codex: \`${agentContextPack.entrypointCodex}\`.
+Capacidade padrão do Codex: ${capacidade}.
+Ordem de leitura: ${guia.join(" -> ")}.
+
+Políticas da plataforma:
+- ${politicaPlataforma.regra}
+- Capacidade ${capacidade}: ${politicaPlataforma.porCapacidade[capacidade]}
+- Se houver alerta externo: ${politicaPlataforma.quandoHouverBloqueio}
+
+Falha fechada:
+${agentContextPack.failClosed.map((regra) => `- ${regra}`).join("\n")}
+
+Timeout:
+- Timeout local do agente não é falha do Sema.
+- Se uma chamada Sema estourar, aumente o timeout e tente de novo antes de declarar bloqueio.
+- Para projeto inteiro, comece com ${politicaTimeout.timeoutInicialSegundos}s ou mais; se for lento, escale ${politicaTimeout.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
+- Se possível, reduza escopo para \`sema resumo <arquivo.sema> --micro --para mudanca\`.
+
+Código governado:
+- Mantenha o marcador \`${agentContextPack.politicaCodigoGovernado.marcador}\` em código gerado ou 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} 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 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.
+- Capacidade ${capacidade}: ${politicaDesign.porCapacidade[capacidade]}
+- Evidências: ${politicaDesign.evidencias[capacidade].join(", ")}.
+- Responsividade/ergonomia real: valide desktop/mobile e, em viewport estreito como 390px, confirme \`document.documentElement.scrollWidth <= document.documentElement.clientWidth\`; em terminal/CLI/TUI, rode smoke check de saída, erro e ajuda quando aplicável.
+- Proibido: ${politicaDesign.proibicoes.slice(0, 5).join(", ")}.
+
+Idioma:
+- Responda no idioma do usuário.
+- Em PT-BR, use vocabulário Sema canônico, acentos, cedilha, pontuação e símbolos normais.
+- A DSL \`.sema\` pode ser ASCII; texto humano não precisa ser.
+- Não traduza comandos, rotas, arquivos, endpoints, variáveis, pacotes, marcas, símbolos de código nem palavras-chave da DSL.
 `;
 }
 function renderizarDocSintaxeSemaLocal(_agentContextPack) {
-    return `# Sema Syntax for Codex
-
-Use this file as a compact reference before creating or fixing \`.sema\` contracts.
-
-## Golden Rule
-
-Contract comes before code. Before writing \`.sema\`, read the local examples in \`exemplos/\`.
-
-## Minimal Example
-
-\`\`\`sema
-module app.example {
-  entity Item {
-    fields {
-      id: Id
-      name: Texto
-      active: Booleano
-    }
-  }
-
-  task create_item {
-    input {
-      name: Texto required
-    }
-    output {
-      item: Item
-    }
-    rules {
-      name deve_ser preenchido
-    }
-    effects {
-      persistencia Item
-      auditoria item_created
-    }
-    guarantees {
-      item existe
-    }
-    tests {
-      caso "creates valid item" {
-        given { name: "Item" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
-\`\`\`
-
-## Common Blocks
-
-- \`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.
-
-## Canonical \`use\` and \`impl\` Origins
-
-Use these origins before inventing a new one:
-
-- \`ts\` ou \`typescript\`
-- \`js\` ou \`javascript\`
-- \`py\` ou \`python\`
-- \`dart\`
-- \`lua\`
-- \`cs\` ou \`dotnet\`
-- \`java\`
-- \`go\`
-- \`rust\`
-- \`cpp\`
-
-Examples:
-
-\`\`\`sema
-use javascript app.web.expenses
-
-impl {
-  js: src.app.saveExpense
-}
-\`\`\`
-
-\`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.
-
-## 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\`.
-
-## Contract Size
-
-- 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 Is Supported
-
-The CLI supports JavaScript generation:
-
-\`\`\`bash
-sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
-\`\`\`
-
-The project can also generate TypeScript, Python, PHP, Dart, Lua, HTML, and CSS when those targets are enabled in \`sema.config.json\`.
-
-## Support Files
-
-- \`AGENTS.md\`: official Codex repository rules, loaded automatically.
-- \`${ARQUIVO_SEMA_BOOT}\`: first Sema read for Codex.
-- \`${ARQUIVO_SEMA_SMALL_MODEL}\`: compact guidance for a small context budget.
-- \`${ARQUIVO_AGENT_CONTEXT_PACK}\`: structured Codex context pack.
-- \`SEMA_INDEX.json\`: project index.
-- \`docs/commands.md\`: command catalog, gates, and \`--saida\` rule.
-- \`exemplos/\`: official DSL examples.
-
-If Codex 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.
-
-Platform policy: Sema governs project contracts, scope, drift, evidence, and quality. It never bypasses platform policies, permissions, security controls, terms, or laws.
+    return `# Sema Syntax for Codex
+
+Use this file as a compact reference before creating or fixing \`.sema\` contracts.
+
+## Golden Rule
+
+Contract comes before code. Before writing \`.sema\`, read the local examples in \`exemplos/\`.
+
+## Minimal Example
+
+\`\`\`sema
+module app.example {
+  entity Item {
+    fields {
+      id: Id
+      name: Texto
+      active: Booleano
+    }
+  }
+
+  task create_item {
+    input {
+      name: Texto required
+    }
+    output {
+      item: Item
+    }
+    rules {
+      name deve_ser preenchido
+    }
+    effects {
+      persistencia Item
+      auditoria item_created
+    }
+    guarantees {
+      item existe
+    }
+    tests {
+      caso "creates valid item" {
+        given { name: "Item" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}
+\`\`\`
+
+## Common Blocks
+
+- \`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.
+
+## Canonical \`use\` and \`impl\` Origins
+
+Use these origins before inventing a new one:
+
+- \`ts\` ou \`typescript\`
+- \`js\` ou \`javascript\`
+- \`py\` ou \`python\`
+- \`dart\`
+- \`lua\`
+- \`cs\` ou \`dotnet\`
+- \`java\`
+- \`go\`
+- \`rust\`
+- \`cpp\`
+
+Examples:
+
+\`\`\`sema
+use javascript app.web.expenses
+
+impl {
+  js: src.app.saveExpense
+}
+\`\`\`
+
+\`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.
+
+## 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\`.
+
+## Contract Size
+
+- 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 Is Supported
+
+The CLI supports JavaScript generation:
+
+\`\`\`bash
+sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
+\`\`\`
+
+The project can also generate TypeScript, Python, PHP, Dart, Lua, HTML, CSS, C#/.NET (\`dotnet\`), and C++ (\`cpp\`) when those targets are enabled in \`sema.config.json\`.
+
+## Support Files
+
+- \`AGENTS.md\`: official Codex repository rules, loaded automatically.
+- \`${ARQUIVO_SEMA_BOOT}\`: first Sema read for Codex.
+- \`${ARQUIVO_SEMA_SMALL_MODEL}\`: compact guidance for a small context budget.
+- \`${ARQUIVO_AGENT_CONTEXT_PACK}\`: structured Codex context pack.
+- \`SEMA_INDEX.json\`: project index.
+- \`docs/commands.md\`: command catalog, gates, and \`--saida\` rule.
+- \`exemplos/\`: official DSL examples.
+
+If Codex 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.
+
+Platform policy: Sema governs project contracts, scope, drift, evidence, and quality. It never bypasses platform policies, permissions, security controls, terms, or laws.
 `;
 }
 function renderizarDocFluxoPraticoSemaLocal(_agentContextPack) {
-    return `# Practical Codex + Sema Workflow
-
-This is the minimum workflow for Codex in a local workspace.
-
-1. Read \`${ARQUIVO_SEMA_BOOT}\`.
-2. Run \`sema --version\`. Success enables direct local execution; there is no login, license, token, billing, panel, or authorization gate.
-3. Run \`sema resumo\`.
-4. Run \`sema docs-impacto --intencao "<change>" --json\`.
-5. Read every required document returned by the command.
-6. Read \`docs/commands.md\` before selecting a command or interpreting \`--saida\`.
-7. Use \`exemplos/\` and \`docs/syntax.md\` before creating or editing a contract.
-8. Run \`sema drift\` and \`sema impacto\` before editing existing code.
-9. Run \`sema formatar\` and \`sema validar\` after changing a \`.sema\` contract.
-10. Run \`sema finalizar-mudanca\` with the documents read before closure.
-
-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\`.
-
-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.
-
-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.
-
-## Codex Context Capacity
-
-- Small context: \`${ARQUIVO_SEMA_SMALL_MODEL}\`, \`SEMA_BRIEF.micro.txt\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_INDEX.json\`.
-- Medium context: \`${ARQUIVO_SEMA_BOOT}\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.curto.txt\`, \`SEMA_INDEX.json\`, \`AGENTS.md\`.
-- Large context: \`${ARQUIVO_SEMA_BOOT}\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.md\`, \`SEMA_INDEX.json\`, AST, IR, drift, and impact.
-
-## When to Generate Code
-
-If the delivery includes code derived from a contract, run \`sema compilar\`.
-
-\`\`\`bash
-sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
-\`\`\`
-
-Replace \`javascript\` with \`typescript\`, \`python\`, \`php\`, \`dart\`, \`lua\`, \`html\`, or \`css\` when appropriate.
-
-## Fail Closed
-
-- If the local CLI is unavailable, stop before editing governed code or contracts and ask for \`@semacode/cli\` installation.
-- If the applicable contract or semantic link is missing, create or repair it before code.
-- If validation or drift reports failure, broken links, divergent routes, or broken implementations, fix the evidence and run the gate again.
-- A local timeout is not authorization to skip Sema; retry with a larger timeout or a narrower scope.
+    return `# Practical Codex + Sema Workflow
+
+This is the minimum workflow for Codex in a local workspace.
+
+1. Read \`${ARQUIVO_SEMA_BOOT}\`.
+2. Run \`sema --version\`. Success enables direct local execution; there is no login, license, token, billing, panel, or authorization gate.
+3. Run \`sema resumo\`.
+4. Run \`sema docs-impacto --intencao "<change>" --json\`.
+5. Read every required document returned by the command.
+6. Read \`docs/commands.md\` before selecting a command or interpreting \`--saida\`.
+7. Use \`exemplos/\` and \`docs/syntax.md\` before creating or editing a contract.
+8. Run \`sema drift\` and \`sema impacto\` before editing existing code.
+9. Run \`sema formatar\` and \`sema validar\` after changing a \`.sema\` contract.
+10. Run \`sema finalizar-mudanca\` with the documents read before closure.
+
+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\`.
+
+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.
+
+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.
+
+## Codex Context Capacity
+
+- Small context: \`${ARQUIVO_SEMA_SMALL_MODEL}\`, \`SEMA_BRIEF.micro.txt\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_INDEX.json\`.
+- Medium context: \`${ARQUIVO_SEMA_BOOT}\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.curto.txt\`, \`SEMA_INDEX.json\`, \`AGENTS.md\`.
+- Large context: \`${ARQUIVO_SEMA_BOOT}\`, \`${ARQUIVO_AGENT_CONTEXT_PACK}\`, \`SEMA_BRIEF.md\`, \`SEMA_INDEX.json\`, AST, IR, drift, and impact.
+
+## When to Generate Code
+
+If the delivery includes code derived from a contract, run \`sema compilar\`.
+
+\`\`\`bash
+sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
+\`\`\`
+
+Replace \`javascript\` with \`typescript\`, \`python\`, \`php\`, \`dart\`, \`lua\`, \`html\`, \`css\`, \`dotnet\`, or \`cpp\` when appropriate.
+
+## Fail Closed
+
+- If the local CLI is unavailable, stop before editing governed code or contracts and ask for \`@semacode/cli\` installation.
+- If the applicable contract or semantic link is missing, create or repair it before code.
+- If validation or drift reports failure, broken links, divergent routes, or broken implementations, fix the evidence and run the gate again.
+- A local timeout is not authorization to skip Sema; retry with a larger timeout or a narrower scope.
 `;
 }
 function renderizarDocComandosSemaLocal(agentContextPack) {
-    return `# Sema Command Catalog
-
-Use this file when Codex does not know which command to run. A Sema command is an operational gate; do not replace it with a Markdown report.
-
-## Minimum Local Flow
-
-\`\`\`bash
-sema --version
-sema resumo
-sema docs-impacto --intencao "<acao>" --json
-\`\`\`
-
-Then read every required doc returned by \`docs-impacto\`.
-
-## Contract and Discovery
-
-- \`sema iniciar --template <template> [--force]\`: creates a new Sema project and preserves existing files by default; \`--force\` is the only explicit overwrite path.
-- \`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.
-
-## Change and Closure
-
-- \`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.
-
-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 Code
-
-- \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|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.
-
-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.
-
-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.
-
-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.
-
-## Canonical Syntax Lists
-
-- 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\` is a generation target. \`impl { js: ... }\` is the live-code origin. Do not swap one for the other.
-
-## Codex and Context
-
-- \`sema ajuda-ia\`: short guidance for Codex.
-- \`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-codex --json\`: synchronizes the official Codex entrypoint and local support docs.
-- \`sema instalar-exemplos --json\`: installs official examples in the workspace.
-- \`sema exemplos-prompt-ia\`: shows prompt examples, not \`.sema\` examples.
-
-## Profiles and Author
-
-- \`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.
-
-## Operational
-
-- \`sema doctor\`: diagnoses local installation.
-
-## Forbidden
-
-- 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 the contract requires generated 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.
-
-Governed code policy: keep the \`SEMA-GOVERNED\` marker, split large code by real responsibility, preserve contract links, and never treat a generated output directory as the final delivery.
+    return `# Sema Command Catalog
+
+Use this file when Codex does not know which command to run. A Sema command is an operational gate; do not replace it with a Markdown report.
+
+## Minimum Local Flow
+
+\`\`\`bash
+sema --version
+sema resumo
+sema docs-impacto --intencao "<acao>" --json
+\`\`\`
+
+Then read every required doc returned by \`docs-impacto\`.
+
+## Contract and Discovery
+
+- \`sema iniciar --template <template> [--force]\`: creates a new Sema project and preserves existing files by default; \`--force\` is the only explicit overwrite path.
+- \`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.
+
+## Change and Closure
+
+- \`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.
+
+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 Code
+
+- \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --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.
+
+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.
+
+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.
+
+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.
+
+## Canonical Syntax Lists
+
+- 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\` is a generation target. \`impl { js: ... }\` is the live-code origin. Do not swap one for the other.
+
+## Codex and Context
+
+- \`sema ajuda-ia\`: short guidance for Codex.
+- \`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-codex --json\`: synchronizes the official Codex entrypoint and local support docs.
+- \`sema instalar-exemplos --json\`: installs official examples in the workspace.
+- \`sema exemplos-prompt-ia\`: shows prompt examples, not \`.sema\` examples.
+
+## Profiles and Author
+
+- \`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.
+
+## Operational
+
+- \`sema doctor\`: diagnoses local installation.
+
+## Forbidden
+
+- 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 the contract requires generated 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.
+
+Governed code policy: keep the \`SEMA-GOVERNED\` marker, split large code by real responsibility, preserve contract links, and never treat a generated output directory as the final delivery.
 `;
 }
 function renderizarAgentStarterLocal(_agentContextPack) {
-    return `# Codex Starter
-
-Codex is operating in a Sema-governed project.
-
-Read in this order:
-
-1. \`${ARQUIVO_SEMA_BOOT}\`
-2. \`${ARQUIVO_AGENT_CONTEXT_PACK}\`
-3. \`SEMA_INDEX.json\`
-4. \`AGENTS.md\`
-5. \`docs/commands.md\`
-6. \`docs/syntax.md\`
-7. \`exemplos/\`
-
-Basic commands:
-
-\`\`\`bash
-sema --version
-sema resumo
-sema docs-impacto --intencao "<acao>" --json
-sema validar contratos/orders.sema --json
-sema drift contratos/orders.sema --escopo modulo --json
-sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
-\`\`\`
-
-Do not replace these gates with local search, guessing from a filename, or random contract reading outside the project.
-
-Closure is not an opinion: \`sema drift --json\` must be green. \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\`, or broken impls block closure.
-
-Ready UI requires proof: desktop/mobile and a narrow viewport without horizontal overflow (\`scrollWidth <= clientWidth\`).
-
-Keep \`SEMA-GOVERNED\` markers and follow the applicable contract before editing governed code.
+    return `# Codex Starter
+
+Codex is operating in a Sema-governed project.
+
+Read in this order:
+
+1. \`${ARQUIVO_SEMA_BOOT}\`
+2. \`${ARQUIVO_AGENT_CONTEXT_PACK}\`
+3. \`SEMA_INDEX.json\`
+4. \`AGENTS.md\`
+5. \`docs/commands.md\`
+6. \`docs/syntax.md\`
+7. \`exemplos/\`
+
+Basic commands:
+
+\`\`\`bash
+sema --version
+sema resumo
+sema docs-impacto --intencao "<acao>" --json
+sema validar contratos/orders.sema --json
+sema drift contratos/orders.sema --escopo modulo --json
+sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
+\`\`\`
+
+Do not replace these gates with local search, guessing from a filename, or random contract reading outside the project.
+
+Closure is not an opinion: \`sema drift --json\` must be green. \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\`, or broken impls block closure.
+
+Ready UI requires proof: desktop/mobile and a narrow viewport without horizontal overflow (\`scrollWidth <= clientWidth\`).
+
+Keep \`SEMA-GOVERNED\` markers and follow the applicable contract before editing governed code.
 `;
 }
 export async function sincronizarEntrypointCodex(baseProjeto, agentContextPack) {