@semacode/cli 1.5.43 → 1.5.45

package/docs/deploy.md

@@ -16,7 +16,7 @@ npm run repo:verificar-privado
 npm run build
 ```
 
-For the VPS, deploy only the files required by the change, restart `sema-mcp.service` only when runtime code changed, and verify `/healthz` after restart.
+For the VPS, deploy only the files required by the change, restart `sema-mcp.service` only when runtime code changed, and verify `/healthz` after restart. For public/production MCP, `/healthz.hardening.authorized` must be `true`; otherwise fix env before exposing `/mcp`.
 
 ## Português
 
@@ -29,7 +29,7 @@ npm run repo:verificar-privado
 npm run build
 ```
 
-Na VPS, envie apenas os arquivos exigidos pela mudança, reinicie `sema-mcp.service` somente quando código de runtime mudar e valide `/healthz` depois do restart.
+Na VPS, envie apenas os arquivos exigidos pela mudança, reinicie `sema-mcp.service` somente quando código de runtime mudar e valide `/healthz` depois do restart. Para MCP publico/production, `/healthz.hardening.authorized` deve ser `true`; se nao for, corrija o ambiente antes de expor `/mcp`.
 
 ## Español
 
@@ -42,4 +42,4 @@ npm run repo:verificar-privado
 npm run build
 ```
 
-En la VPS, envía solo los archivos exigidos por el cambio, reinicia `sema-mcp.service` solo cuando cambie código de runtime y valida `/healthz` después del restart.
+En la VPS, envía solo los archivos exigidos por el cambio, reinicia `sema-mcp.service` solo cuando cambie código de runtime y valida `/healthz` después del restart. Para MCP publico/production, `/healthz.hardening.authorized` debe ser `true`; si no, corrige el ambiente antes de exponer `/mcp`.

package/docs/documentacao.md

@@ -1,94 +1,74 @@
-# Documentation Governance
-
-## English
-
-Sema treats documentation as part of the change, not as a polite afterthought. Before an AI edits a contract, code, configuration, workflow, deploy, Author text, game rule, legal note, research note, or operational runbook, it must resolve the documentation that explains the intended change.
-
-Public documentation follows the exact order defined in [i18n.md](./i18n.md): English, Português, Español. Portuguese and Spanish must keep proper accents. Code blocks, identifiers, paths, command names, and `.sema` symbols are preserved unless a semantic rename contract says otherwise.
-
-### Operational Gate
-
-```bash
-sema docs-impacto --intencao "criar rota de pagamento" --arquivo contratos/pagamento.sema --json
-```
-
-If the command reports missing docs, create or complete those docs before changing code, contracts, deploy, or configuration.
-
-### Required Reading
-
-The `docs-impacto` result returns:
-
-- `leituraObrigatoria`: docs, readmes, and contracts that must be read.
-- `docsAusentes`: docs that block the action.
-- `docsCriadas`: docs created automatically when authorized.
-- `bloqueios`: severity 4 diagnostics.
-
-Automatically created docs are scaffolds, not proof. The agent must replace the generic template with real procedure, validation, and rollback before `finalizar-mudanca` can pass.
-
-Before declaring the work done, the agent must run:
-
-```bash
-sema finalizar-mudanca --intencao "criar rota de pagamento" --doc-lida README.md --doc-lida docs/documentacao.md --json
-```
-
-## Português
-
-A Sema trata documentação como parte da mudança, não como pós-escrito simpático para alguém lembrar depois. Antes de uma IA editar contrato, código, configuração, workflow, deploy, texto Author, regra de jogo, nota jurídica, pesquisa ou runbook operacional, ela precisa resolver a documentação que explica a intenção da mudança.
-
-A documentação pública segue a ordem exata definida em [i18n.md](./i18n.md): English, Português, Español. Português e espanhol precisam preservar acentos. Blocos de código, identificadores, caminhos, nomes de comando e símbolos `.sema` são preservados, exceto quando houver contrato de renomeação semântica.
-
-### Gate Operacional
-
-```bash
-sema docs-impacto --intencao "criar rota de pagamento" --arquivo contratos/pagamento.sema --json
-```
-
-Se o comando apontar docs ausentes, crie ou complete essas docs antes de mudar código, contratos, deploy ou configuração.
-
-### Leitura Obrigatória
-
-O resultado de `docs-impacto` retorna:
-
-- `leituraObrigatoria`: docs, readmes e contratos que precisam ser lidos.
-- `docsAusentes`: docs que bloqueiam a ação.
-- `docsCriadas`: docs criadas automaticamente quando autorizado.
+# Governança De Documentação
+
+A Sema trata documentação como parte da mudança. README, runbook, contrato,
+instrução para IA, guia de CLI, deploy e rollback não são enfeites: são
+superfícies governadas.
+
+Antes de uma IA editar contrato, código, configuração, workflow, deploy, texto
+Author, regra de jogo, nota jurídica, pesquisa, operação ou README, ela precisa
+resolver qual documentação explica a intenção da mudança.
+
+## Idioma
+
+Documentação interna da Sema é em PT-BR por padrão, com acentos preservados e
+sem mojibake. Inglês e espanhol não são obrigatórios em documento privado.
+
+Documentação multilíngue só entra quando a superfície for externa ou quando o
+contrato pedir explicitamente outro idioma. Comandos, identificadores, caminhos,
+variáveis, endpoints, pacotes e símbolos `.sema` continuam literais.
+
+## Trava Operacional
+
+```bash
+sema docs-impacto --intencao "criar rota de pagamento" --arquivo contratos/pagamento.sema --json
+```
+
+O resultado informa:
+
+- `leituraObrigatoria`: documentos, READMEs e contratos que precisam ser lidos;
+- `docsAusentes`: documentação que bloqueia a mudança;
+- `docsCriadas`: esqueletos criados automaticamente quando autorizado;
 - `bloqueios`: diagnósticos de severidade 4.
 
-Docs criadas automaticamente são esqueletos, não prova. A IA precisa trocar o template genérico por procedimento, validação e rollback reais antes de `finalizar-mudanca` passar.
-
-Antes de dizer que o trabalho terminou, o agente precisa rodar:
-
-```bash
-sema finalizar-mudanca --intencao "criar rota de pagamento" --doc-lida README.md --doc-lida docs/documentacao.md --json
-```
-
-## Español
-
-Sema trata la documentación como parte del cambio, no como una nota amable para recordar después. Antes de que una IA edite contrato, código, configuración, workflow, deploy, texto Author, regla de juego, nota legal, investigación o runbook operativo, debe resolver la documentación que explica la intención del cambio.
-
-La documentación pública sigue el orden exacto definido en [i18n.md](./i18n.md): English, Português, Español. Portugués y español deben conservar sus acentos. Bloques de código, identificadores, rutas, nombres de comando y símbolos `.sema` se preservan, excepto cuando exista un contrato de renombrado semántico.
-
-### Gate Operativo
-
-```bash
-sema docs-impacto --intencao "criar rota de pagamento" --arquivo contratos/pagamento.sema --json
-```
-
-Si el comando informa docs ausentes, crea o completa esas docs antes de cambiar código, contratos, deploy o configuración.
-
-### Lectura Obligatoria
-
-El resultado de `docs-impacto` devuelve:
-
-- `leituraObrigatoria`: docs, readmes y contratos que deben leerse.
-- `docsAusentes`: docs que bloquean la acción.
-- `docsCriadas`: docs creadas automáticamente cuando se autoriza.
-- `bloqueios`: diagnósticos de severidad 4.
-
-Los documentos creados automáticamente son esqueletos, no prueba. El agente debe reemplazar el template genérico con procedimiento, validación y rollback reales antes de que `finalizar-mudanca` pueda aprobar.
-
-Antes de decir que el trabajo terminó, el agente debe ejecutar:
-
-```bash
-sema finalizar-mudanca --intencao "criar rota de pagamento" --doc-lida README.md --doc-lida docs/documentacao.md --json
+Documento criado automaticamente é rascunho. A IA precisa trocar template
+genérico por procedimento real, validação real e rollback real antes de
+considerar a mudança fechada.
+
+## Fechamento
+
+Antes de dizer que terminou, o agente roda:
+
+```bash
+sema finalizar-mudanca \
+  --intencao "criar rota de pagamento" \
+  --doc-lida README.md \
+  --doc-lida docs/documentacao.md \
+  --json
 ```
+
+Se houver leitura obrigatória não comprovada, documento ausente, template cru ou
+diagnóstico de severidade 4, a mudança não está concluída.
+
+## Regra Para README
+
+O README principal deste repositório é manual interno. Ele deve explicar o Sema
+com profundidade suficiente para uma IA local operar sem inventar fluxo:
+
+- superfície CLI local;
+- superfície MCP remoto;
+- pré-checagem e SEMAS;
+- contratos `.sema`;
+- desvio semântico e impacto;
+- geração automática de código;
+- importação de legado;
+- templates de projeto novo;
+- contexto IA;
+- profiles;
+- Author;
+- documentação como trava;
+- comandos de sanidade;
+- fronteira privada.
+
+Se uma função importante existe na CLI, o README deve descrevê-la ou apontar
+para a documentação específica. README curto demais vira convite para IA
+apressada fazer besteira com confiança.

package/docs/env.md

@@ -24,13 +24,13 @@ Ambiente necessário para publicar a Sema.
 No PowerShell, o instalador recebe a versão por parametro:
 
 ```powershell
-.\install-sema.ps1 -Version 1.5.35 -WithVSCode
+.\install-sema.ps1 -Version 1.5.45 -WithVSCode
 ```
 
 No shell:
 
 ```bash
-SEMA_VERSION=1.5.35 ./install-sema.sh --with-vscode
+SEMA_VERSION=1.5.45 ./install-sema.sh --with-vscode
 ```
 
 ## Credenciais
@@ -71,10 +71,13 @@ Variaveis usadas pelo servidor MCP privado quando roda em modo HTTP:
 - `MCP_PORT`: porta HTTP. Quando ausente, o MCP roda em `stdio`.
 - `MCP_HOST`: host de bind. Padrão: `0.0.0.0`.
 - `SEMA_MCP_PUBLIC_BASE_URL`: URL pública HTTPS usada nos metadados OAuth do ChatGPT.
-- `SEMA_MCP_OAUTH_SECRET`: segredo usado para assinar access/refresh tokens OAuth.
-- `SEMA_MCP_OAUTH_PASSCODE`: passcode privado digitado no login OAuth do ChatGPT.
+- `SEMA_MCP_OAUTH_SECRET`: segredo usado para assinar access/refresh tokens OAuth.
+- `SEMA_MCP_OAUTH_PASSCODE`: fallback local/laboratorio; em MCP publico ou `production`, bloqueia o boot.
 - `SEMA_MCP_PROJECT_ROOTS`: raizes permitidas para projetos, separadas por `;`.
-- `SEMA_MCP_CORS_ORIGIN`: origem CORS permitida, `*` ou lista separada por `;`.
+- `SEMA_MCP_CORS_ORIGIN`: origem CORS permitida, lista separada por `;`. Nao use `*` em MCP publico ou `production`.
+- `SEMA_SUPABASE_URL`: URL do control plane Supabase usado para OAuth e billing.
+- `SEMA_SUPABASE_ANON_KEY` ou `SEMA_SUPABASE_PUBLISHABLE_KEY`: chave publica do Supabase para RPCs de OAuth/billing.
+- `SEMA_MCP_BILLING_DISABLED`: somente laboratorio local; em MCP publico ou `production`, bloqueia o boot.
 - `SEMA_MCP_MAX_CONTRACT_FILE_BYTES`: limite por contrato `.sema` enviado por snapshot ou conteudo inline. Padrao: `262144`.
 - `SEMA_MCP_MAX_CODE_FILE_BYTES`: limite por arquivo de codigo selecionado enviado por snapshot. Padrao: `262144`.
 - `SEMA_MCP_MAX_DOC_FILE_BYTES`: limite por arquivo de documentacao enviado por snapshot. Padrao: `262144`.
@@ -84,17 +87,18 @@ Variaveis usadas pelo servidor MCP privado quando roda em modo HTTP:
 Exemplo operacional privado:
 
 ```bash
-MCP_PORT=3333 \
-SEMA_MCP_PUBLIC_BASE_URL="https://sema.exemplo.com" \
+MCP_PORT=3333 \
+SEMA_MCP_PUBLIC_BASE_URL="https://sema.exemplo.com" \
 SEMA_MCP_OAUTH_SECRET="segredo-longo-para-oauth" \
-SEMA_MCP_OAUTH_PASSCODE="passcode-privado-chatgpt" \
+SEMA_SUPABASE_URL="https://projeto.supabase.co" \
+SEMA_SUPABASE_PUBLISHABLE_KEY="sb_publishable_..." \
 SEMA_MCP_PROJECT_ROOTS="/srv/sema/projetos" \
 SEMA_MCP_MAX_CONTRACT_FILE_BYTES=262144 \
 SEMA_MCP_MAX_CODE_FILE_BYTES=262144 \
 SEMA_MCP_MAX_DOC_FILE_BYTES=262144
 ```
 
-Nunca publique `/mcp` ou `/sse` na internet sem chave comercial bearer por request ou OAuth configurado, raiz restrita e HTTPS no proxy. Nunca registre chaves `sema_mcp_*`, OAuth secret ou passcode em docs publicas, logs, release notes ou screenshots.
+Nunca publique `/mcp` ou `/sse` na internet sem billing habilitado, Supabase de billing configurado, chave comercial bearer por request ou OAuth com conta Sema, raiz restrita e HTTPS no proxy. Nunca registre chaves `sema_mcp_*`, OAuth secret ou passcode em docs publicas, logs, release notes ou screenshots.
 
 O limite de bytes e validado antes de gravar espelhos remotos ou executar contratos inline. Clientes MCP devem respeitar o limite anunciado no schema da ferramenta e dividir snapshots grandes em arquivos focados, sem enviar repositorio inteiro.
 

package/docs/extensao-vscode.md

@@ -1,42 +1,49 @@
 # Extensão VS Code
 
-<!-- sema:i18n -->
-> EN: English first.
-> PT: Português depois, com acentos preservados.
-> ES: Español al final.
-
-## English
-
-The VS Code extension is part of the private Sema workflow. It should help local IDE agents read `AGENTS.md`, prove the local CLI with `sema --version`, ask the human to install the key/CLI through the Sema panel when the command is missing, and synchronize AI entry points without exposing secrets.
-
-Smoke test:
-
-1. Open a project with `.sema` contracts.
-2. Confirm the language server starts.
-3. Run `sema --version`.
-4. If the command is missing, have the human open the Sema panel and run the key/CLI installer.
-5. Synchronize AI entry points.
-
-## Português
-
-A extensão VS Code faz parte do fluxo privado da Sema. Ela deve ajudar agentes em IDE local a ler `AGENTS.md`, provar a CLI local com `sema --version`, parar quando o comando não existir, avisar que a IA não acessa o painel Sema e pedir ao humano para instalar chave/CLI pelo painel sem expor segredos.
-
-Smoke test:
-
-1. Abra um projeto com contratos `.sema`.
-2. Confirme que o language server inicia.
-3. Rode `sema --version`.
-4. Se o comando não existir, pare. A IA não acessa o painel Sema: peça ao humano para abrir o painel e rodar o instalador de chave/CLI.
-5. Sincronize entrypoints IA.
-
-## Español
-
-La extensión VS Code forma parte del flujo privado de Sema. Debe ayudar a agentes en IDE local a leer `AGENTS.md`, probar la CLI local con `sema --version`, pedir al humano que instale la clave/CLI desde el panel Sema cuando el comando no exista y sincronizar entrypoints IA sin exponer secretos.
-
-Smoke test:
-
-1. Abre un proyecto con contratos `.sema`.
-2. Confirma que el language server inicia.
-3. Ejecuta `sema --version`.
-4. Si el comando no existe, pide al humano que abra el panel Sema y ejecute el instalador de clave/CLI.
-5. Sincroniza entrypoints IA.
+A extensão VS Code faz parte do fluxo privado da Sema. Ela ajuda humanos e IAs
+em IDE local a escrever contratos `.sema`, receber feedback rápido e manter o
+projeto preso ao fluxo correto: CLI local primeiro, contrato antes de código e
+fechamento governado.
+
+Esta extensão é o **Sema Guard**. Ela é guarda, diagnóstico e apoio de autoria.
+Ela não é o Sema Chat, não deve ser tratada como produto principal de chat e não
+deve virar gambiarra visual em cima de botões. O Sema Chat local nasce sobre o
+runtime OpenCode, documentado em
+[`docs/sema-chat-opencode.md`](./sema-chat-opencode.md).
+
+Ela não substitui o painel, a chave local, a CLI, o MCP remoto nem a validação
+final.
+
+## Fluxo Obrigatório
+
+1. Abrir o projeto no VS Code.
+2. Ler `AGENTS.md`.
+3. Rodar `sema --version`.
+4. Se o comando não existir, parar. A IA não acessa o painel Sema: peça ao
+   humano para abrir o painel e rodar o instalador de chave/CLI.
+5. Rodar `sema preflight resumo --json` e exigir `use_cli_local`.
+6. Editar ou criar o contrato `.sema` aplicável antes de alterar código.
+7. Usar a extensão para autoria, snippets, hover, formatação e diagnóstico.
+8. Fechar pela CLI com `validar`, `drift`, `impacto`, testes e
+   `finalizar-mudanca`.
+
+## Empacotar E Instalar Localmente
+
+```bash
+npm run extensao:empacotar
+code --install-extension .tmp/editor-vscode/sema-language-tools-1.5.45.vsix --force
+```
+
+## Limites
+
+A extensão não deve:
+
+- fingir que é chat visual;
+- substituir o runtime OpenCode do Sema Chat;
+- tratar `sema chat doctor --json` como produto final;
+- instalar chave sozinha;
+- consultar o painel como se fosse humano;
+- usar MCP remoto para ler workspace local;
+- publicar pacote;
+- dizer que uma mudança está concluída sem CLI;
+- substituir contrato por README ou comentário de código.

package/docs/fluxo-pratico-ia-sema.md

@@ -12,36 +12,36 @@ Se a IA seguir isso, ela trabalha com contexto. Se não seguir, vira adivinhaç
 
 O ponto central: Sema não é texto para agradar humano. É contrato semântico IA-first. Humanos autorizam e revisam; a IA consome o contrato para decidir o próximo movimento.
 
-Antes de qualquer etapa, classifique a capacidade operacional do agente:
-
-- IA fraca: leia `SEMA_BOOT.md`, `SEMA_SMALL_MODEL.md` e `SEMA_BRIEF.micro.txt`; se Sema não responder, pare.
-- IA média: leia `SEMA_BOOT.md`, `AGENT_CONTEXT_PACK.json`, `SEMA_BRIEF.curto.txt` e `SEMA_INDEX.json`.
-- IA forte: pode usar `SEMA_BRIEF.md`, AST, IR e drift completo, mas ainda começa pelo boot.
-
-Regra de idioma humano: responda no idioma do usuário. Em PT-BR, use acentos, cedilha, pontuação e símbolos normais. A gramática `.sema` pode ser ASCII; texto humano não precisa ser.
-
-Regra de timeout: timeout local do agente não é falha do Sema. Se `sema resumo`, `drift`, `docs-impacto` ou outro gate estourar, aumente o timeout e tente de novo antes de declarar bloqueio. Para projeto grande, escopo menor vem primeiro: `sema resumo caminho/arquivo.sema --micro --para mudanca`.
-
-## Superfície obrigatória
-
-1. IDE local com workspace no disco: rode `sema --version`; se falhar, pare. A IA não acessa o painel Sema: peça ao humano para instalar pelo painel. Depois rode `sema preflight resumo --json`. Se `decisao` não for `use_cli_local`, pare bloqueado.
-2. IDE local autorizada: use somente a CLI local para `resumo`, `docs-impacto`, `inspecionar`, `drift`, `impacto`, `validar`, `verificar` e `finalizar-mudanca`.
-3. IDE local proibida: não chame MCP remoto, `sema_sync`, `sema_contratos_sincronizar` nem `sema mcp-client` para ler o workspace local.
-4. Web/chat/remoto sem workspace local: use `sema_chat_contexto`, depois `sema_sync` inline com contrato `.sema`, código selecionado, documentação operacional e índice; use o `projeto` retornado.
-5. Se a IA não consegue identificar se está em IDE local ou web/chat remoto, ela deve parar e declarar bloqueio. Não invente superfície.
-
-## Fluxo curto
-
-1. identificar a superfície: CLI local ou MCP remoto web/chat
-2. em IDE local, rodar `sema --version`; se falhar, parar. A IA não acessa o painel Sema: pedir ao humano para instalar pelo painel; depois rodar `sema preflight resumo --json` e parar se não retornar `use_cli_local`
-3. ler contexto do projeto
-4. identificar a capacidade da IA
-5. identificar o módulo alvo
-6. consultar o menor artefato semântico suficiente
-7. editar
-8. formatar
-9. validar
-10. verificar
+Antes de qualquer etapa, classifique a capacidade operacional do agente:
+
+- IA fraca: leia `SEMA_BOOT.md`, `SEMA_SMALL_MODEL.md` e `SEMA_BRIEF.micro.txt`; se Sema não responder, pare.
+- IA média: leia `SEMA_BOOT.md`, `AGENT_CONTEXT_PACK.json`, `SEMA_BRIEF.curto.txt` e `SEMA_INDEX.json`.
+- IA forte: pode usar `SEMA_BRIEF.md`, AST, IR e drift completo, mas ainda começa pelo boot.
+
+Regra de idioma humano: responda no idioma do usuário. Em PT-BR, use acentos, cedilha, pontuação e símbolos normais. A gramática `.sema` pode ser ASCII; texto humano não precisa ser.
+
+Regra de timeout: timeout local do agente não é falha do Sema. Se `sema resumo`, `drift`, `docs-impacto` ou outro gate estourar, aumente o timeout e tente de novo antes de declarar bloqueio. Para projeto grande, escopo menor vem primeiro: `sema resumo caminho/arquivo.sema --micro --para mudanca`.
+
+## Superfície obrigatória
+
+1. IDE local com workspace no disco: rode `sema --version`; se falhar, pare. A IA não acessa o painel Sema: peça ao humano para instalar pelo painel. Depois rode `sema preflight resumo --json`. Se `decisao` não for `use_cli_local`, pare bloqueado.
+2. IDE local autorizada: use somente a CLI local para `resumo`, `docs-impacto`, `inspecionar`, `drift`, `impacto`, `validar`, `verificar` e `finalizar-mudanca`.
+3. IDE local proibida: não chame MCP remoto, `sema_sync`, `sema_contratos_sincronizar` nem `sema mcp-client` para ler o workspace local.
+4. Web/chat/remoto sem workspace local: use `sema_chat_contexto`, depois `sema_sync` inline com contrato `.sema`, código selecionado, documentação operacional e índice; use o `projeto` retornado.
+5. Se a IA não consegue identificar se está em IDE local ou web/chat remoto, ela deve parar e declarar bloqueio. Não invente superfície.
+
+## Fluxo curto
+
+1. identificar a superfície: CLI local ou MCP remoto web/chat
+2. em IDE local, rodar `sema --version`; se falhar, parar. A IA não acessa o painel Sema: pedir ao humano para instalar pelo painel; depois rodar `sema preflight resumo --json` e parar se não retornar `use_cli_local`
+3. ler contexto do projeto
+4. identificar a capacidade da IA
+5. identificar o módulo alvo
+6. consultar o menor artefato semântico suficiente
+7. editar
+8. formatar
+9. validar
+10. verificar
 
 ## Fluxo detalhado
 
@@ -61,11 +61,11 @@ Se o trabalho estiver ligado a pagamento, ler também:
 
 Antes de despejar contexto na IA, escolha o que ela aguenta:
 
-- IA fraca, gratuita ou com pouca disciplina: `sema preflight resumo --json`, `SEMA_BOOT.md`, `SEMA_SMALL_MODEL.md`, `sema resumo --micro` e `briefing.min.json`
-- IA média: `sema preflight resumo --json`, `sema resumo --curto`, `briefing.min.json` e `drift.json`
-- IA forte: `sema preflight resumo --json`, `contexto-ia`, `briefing.json`, `drift.json`, `ir.json` e `ast.json`
-
-Se qualquer comando Sema acima estourar timeout definido pela própria IA, ela deve aumentar o timeout e repetir. Timeout do agente não autoriza pular Sema nem concluir que a sessão está inativa.
+- IA fraca, gratuita ou com pouca disciplina: `sema preflight resumo --json`, `SEMA_BOOT.md`, `SEMA_SMALL_MODEL.md`, `sema resumo --micro` e `briefing.min.json`
+- IA média: `sema preflight resumo --json`, `sema resumo --curto`, `briefing.min.json` e `drift.json`
+- IA forte: `sema preflight resumo --json`, `contexto-ia`, `briefing.json`, `drift.json`, `ir.json` e `ast.json`
+
+Se qualquer comando Sema acima estourar timeout definido pela própria IA, ela deve aumentar o timeout e repetir. Timeout do agente não autoriza pular Sema nem concluir que a sessão está inativa.
 
 ### Etapa 3. Ler o módulo alvo e um exemplo parecido
 
@@ -85,12 +85,12 @@ Regra pratica:
 
 Antes de alterar, a IA deve executar:
 
-```bash
-sema --version
-sema preflight resumo --json
-sema resumo caminho/arquivo.sema --curto --para mudanca
-sema ast caminho/arquivo.sema --json
-sema ir caminho/arquivo.sema --json
+```bash
+sema --version
+sema preflight resumo --json
+sema resumo caminho/arquivo.sema --curto --para mudanca
+sema ast caminho/arquivo.sema --json
+sema ir caminho/arquivo.sema --json
 ```
 
 Objetivo:
@@ -143,7 +143,7 @@ Se a tarefa não for só editar contrato, mas também gerar base de implementaca
 sema compilar caminho/arquivo.sema --alvo typescript --saida ./saida/typescript
 ```
 
-Ou trocar o alvo para `python` ou `dart`, conforme o caso.
+Ou trocar o alvo para `python`, `dart`, `lua`, `javascript`, `html` ou `css`, conforme o caso.
 
 Regra pratica:
 
@@ -160,26 +160,26 @@ sema verificar arquivo-ou-pasta --json --saida ./.tmp/verificacao-ia
 
 ## Fluxo mínimo para automacao
 
-Se voce quiser o menor fluxo aceitavel para uma IA fraca:
+Se voce quiser o menor fluxo aceitavel para uma IA fraca:
 
-```bash
-sema --version
-sema preflight resumo --json
-sema resumo caminho/arquivo.sema --micro --para mudanca
-sema formatar caminho/arquivo.sema
-sema validar caminho/arquivo.sema --json
+```bash
+sema --version
+sema preflight resumo --json
+sema resumo caminho/arquivo.sema --micro --para mudanca
+sema formatar caminho/arquivo.sema
+sema validar caminho/arquivo.sema --json
 ```
 
 Mas, sendo sincero, o fluxo bom mesmo e fechar com `verificar`.
 
 Se a tarefa envolver código derivado, o fluxo mínimo aceitavel vira:
 
-```bash
-sema --version
-sema preflight resumo --json
-sema ir caminho/arquivo.sema --json
-sema formatar caminho/arquivo.sema
-sema validar caminho/arquivo.sema --json
+```bash
+sema --version
+sema preflight resumo --json
+sema ir caminho/arquivo.sema --json
+sema formatar caminho/arquivo.sema
+sema validar caminho/arquivo.sema --json
 sema compilar caminho/arquivo.sema --alvo typescript --saida ./saida/typescript
 ```
 
@@ -212,4 +212,4 @@ Esse conjunto e o que faz a linguagem ser amigavel para IA de verdade, e não s
 
 ## Observacao sobre caminhos
 
-Está documentação usa placeholders de arquivo e pasta, não caminhos do monorepo da Sema. A IA deve adaptar isso ao projeto atual e continuar tratando `sema` como interface pública principal.
+Está documentação usa placeholders de arquivo e pasta, não caminhos do monorepo da Sema. A IA deve adaptar isso ao projeto atual e continuar tratando `sema` como interface pública principal.

package/docs/mcp.md

@@ -10,6 +10,7 @@
 The Sema MCP is the private coordinator for agents. It authenticates clients, selects the project or mirror, charges SEMAS, chooses profiles/pipelines, asks the CLI to read or execute, and returns a traceable decision.
 
 It must stay compatible with web chats. For ChatGPT, Lovable, GPTs, and similar clients, the MCP runs on the VPS and uses the governed CLI installed there against authorized mirrors such as `/srv/sema/projetos/...`.
+When the MCP is public or runs as `production`, it fails closed unless billing is enabled, Supabase billing is configured, legacy bearer is absent, OAuth passcode fallback is absent, and CORS is not wildcard. A remote tool call must not execute if SEMAS billing is disabled.
 
 Local IDEs should not use remote MCP, `sema_sync`, `sema_contratos_sincronizar`, or `sema mcp-client` to read a local workspace. In that mode, the agent must run `sema --version` locally. If the command is missing, the agent must stop and ask the human to open the Sema panel, download/run the key installer, and then repeat `sema --version`. After that, run `sema preflight resumo --json` and continue locally only when the decision is `use_cli_local`.
 
@@ -30,6 +31,7 @@ Scores, findings, and agent decisions are useful signals, not proof by themselve
 O MCP da Sema é o coordenador privado dos agentes. Ele autentica clientes, escolhe o projeto ou espelho, cobra SEMAS, seleciona profiles/pipelines, pede para a CLI ler ou executar e devolve uma decisão rastreável.
 
 Ele precisa continuar compatível com chats web. Para ChatGPT, Lovable, GPTs e clientes parecidos, o MCP roda na VPS e usa a CLI governada instalada lá contra espelhos autorizados como `/srv/sema/projetos/...`.
+Quando o MCP é publico ou roda como `production`, ele falha fechado se billing nao estiver habilitado, Supabase de billing nao estiver configurado, bearer legado existir, fallback por passcode OAuth existir ou CORS estiver em wildcard. Chamada remota de ferramenta nao deve executar se a cobranca SEMAS estiver desabilitada.
 
 IDEs locais não devem usar MCP remoto, `sema_sync`, `sema_contratos_sincronizar` nem `sema mcp-client` para ler workspace local. Nesse modo, o agente deve rodar `sema --version` localmente. Se o comando não existir, o agente deve parar e pedir ao humano para abrir o painel Sema, baixar/rodar o instalador de chave e repetir `sema --version`. Depois disso, rode `sema preflight resumo --json` e continue localmente somente quando a decisão for `use_cli_local`.
 
@@ -50,6 +52,7 @@ Scores, achados e decisoes do agente sao sinais uteis, nao prova isolada. O MCP
 El MCP de Sema es el coordinador privado de los agentes. Autentica clientes, elige el proyecto o espejo, cobra SEMAS, selecciona profiles/pipelines, pide a la CLI que lea o ejecute y devuelve una decisión trazable.
 
 Debe seguir compatible con chats web. Para ChatGPT, Lovable, GPTs y clientes similares, el MCP corre en la VPS y usa la CLI gobernada instalada allí contra espejos autorizados como `/srv/sema/projetos/...`.
+Cuando el MCP es publico o corre como `production`, falla cerrado si billing no esta habilitado, Supabase de billing no esta configurado, bearer legado existe, fallback por passcode OAuth existe o CORS esta en wildcard. Una llamada remota de herramienta no debe ejecutar si la cobranza SEMAS esta deshabilitada.
 
 Las IDEs locales no deben usar el MCP remoto, `sema_sync`, `sema_contratos_sincronizar` ni `sema mcp-client` para leer un workspace local. En ese modo, el agente debe ejecutar `sema --version` localmente. Si el comando no existe, el agente debe parar y pedir al humano que abra el panel Sema, descargue/ejecute el instalador de clave y repita `sema --version`. Después ejecuta `sema preflight resumo --json` y continúa localmente solo cuando la decisión sea `use_cli_local`.
 

package/docs/sintaxe.md

@@ -215,4 +215,4 @@ O IR de persistência calcula compatibilidade por recurso com quatro estados:
 
 Isso existe para deixar explícito quando um contrato está pedindo de um banco algo que ele não entrega do mesmo jeito.
 
-O mesmo principio vale para runtime de orquestração. Superfícies como `webhook`, `cron`, `worker`, `evento` e `fila` podem ser medidas contra famílias como `n8n`, mas o contrato continua canonicamente modelado em Sema, sem rebaixar a linguagem para a sintaxe do adapter alvo.
+O mesmo principio vale para runtime de orquestração. Superfícies como `webhook`, `cron`, `worker`, `evento` e `fila` podem ser medidas contra famílias como `n8n`, mas o contrato continua canonicamente modelado em Sema, sem rebaixar a linguagem para a sintaxe do adapter alvo.

package/node_modules/@sema/gerador-css/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-css",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-dart/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-dart",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-html/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-html",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-javascript/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-javascript",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-lua/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-lua",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-python/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-python",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-typescript/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-typescript",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/nucleo/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/nucleo",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/padroes/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/padroes",
-  "version": "1.5.42",
+  "version": "1.5.45",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"