@semacode/cli 1.5.17 → 1.5.18

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

@@ -1,177 +1,181 @@
-# Fluxo Pratico para IA Antes de Editar `.sema`
-
+# Fluxo Pratico para IA Antes de Editar `.sema`
+
 Este documento descreve o fluxo operacional recomendado para qualquer IA antes, durante e depois de alterar arquivos `.sema`.
 
 Se a IA seguir isso, ela trabalha com contexto. Se nao seguir, vira adivinhacao gourmet.
 
-## Fluxo curto
-
-1. ler contexto do projeto
-2. identificar a capacidade da IA
-3. identificar o modulo alvo
-4. consultar o menor artefato semantico suficiente
-5. editar
-6. formatar
-7. validar
-8. verificar
-
-## Fluxo detalhado
-
-### Etapa 1. Ler contexto minimo
-
-Antes de tocar em qualquer arquivo, a IA deve ler:
-
-- [README.md](../README.md)
-- [integracao-com-ia.md](./integracao-com-ia.md)
-- [como-ensinar-a-sema-para-ia.md](./como-ensinar-a-sema-para-ia.md)
-
-Se o trabalho estiver ligado a pagamento, ler tambem:
-
-- [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
-
-### Etapa 2. Escolher a faixa de capacidade
-
-Antes de despejar contexto na IA, escolha o que ela aguenta:
-
-- IA pequena ou gratuita: `sema resumo --micro` e `briefing.min.json`
-- IA media: `sema resumo --curto`, `briefing.min.json` e `drift.json`
-- IA grande: `contexto-ia`, `briefing.json`, `drift.json`, `ir.json` e `ast.json`
-
-### Etapa 3. Ler o modulo alvo e um exemplo parecido
-
-A IA deve identificar:
-
-- qual arquivo sera editado
-- qual modulo esse arquivo representa
-- qual exemplo oficial mais se parece com o que precisa ser feito
-
-Regra pratica:
-
-- automacao: [automacao.sema](../exemplos/automacao.sema)
-- erros e fluxos de falha: [tratamento_erro.sema](../exemplos/tratamento_erro.sema)
-- borda publica e pagamento: [pagamento.sema](../exemplos/pagamento.sema)
-
-### Etapa 4. Consultar AST e IR quando fizer sentido
-
-Antes de alterar, a IA deve executar:
-
-```bash
-sema resumo caminho/arquivo.sema --curto --para mudanca
-sema ast caminho/arquivo.sema --json
-sema ir caminho/arquivo.sema --json
-```
-
-Objetivo:
-
-- ver a forma sintatica quando a capacidade aguentar
-- ver a forma semantica resolvida quando a capacidade aguentar
-- evitar interpretar errado o contrato
-
-### Etapa 5. Editar o `.sema`
-
+O ponto central: Sema nao e texto para agradar humano. E contrato semantico IA-first. Humanos autorizam e revisam; a IA consome o contrato para decidir o proximo movimento.
+
+## Fluxo curto
+
+1. ler contexto do projeto
+2. identificar a capacidade da IA
+3. identificar o modulo alvo
+4. consultar o menor artefato semantico suficiente
+5. editar
+6. formatar
+7. validar
+8. verificar
+
+## Fluxo detalhado
+
+### Etapa 1. Ler contexto minimo
+
+Antes de tocar em qualquer arquivo, a IA deve ler:
+
+- [README.md](../README.md)
+- [integracao-com-ia.md](./integracao-com-ia.md)
+- [como-ensinar-a-sema-para-ia.md](./como-ensinar-a-sema-para-ia.md)
+
+Se o trabalho estiver ligado a pagamento, ler tambem:
+
+- [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
+
+### Etapa 2. Escolher a faixa de capacidade
+
+Antes de despejar contexto na IA, escolha o que ela aguenta:
+
+- IA pequena ou gratuita: `sema resumo --micro` e `briefing.min.json`
+- IA media: `sema resumo --curto`, `briefing.min.json` e `drift.json`
+- IA grande: `contexto-ia`, `briefing.json`, `drift.json`, `ir.json` e `ast.json`
+
+### Etapa 3. Ler o modulo alvo e um exemplo parecido
+
+A IA deve identificar:
+
+- qual arquivo sera editado
+- qual modulo esse arquivo representa
+- qual exemplo oficial mais se parece com o que precisa ser feito
+
+Regra pratica:
+
+- automacao: [automacao.sema](../exemplos/automacao.sema)
+- erros e fluxos de falha: [tratamento_erro.sema](../exemplos/tratamento_erro.sema)
+- borda publica e pagamento: [pagamento.sema](../exemplos/pagamento.sema)
+
+### Etapa 4. Consultar AST e IR quando fizer sentido
+
+Antes de alterar, a IA deve executar:
+
+```bash
+sema resumo caminho/arquivo.sema --curto --para mudanca
+sema ast caminho/arquivo.sema --json
+sema ir caminho/arquivo.sema --json
+```
+
+Objetivo:
+
+- ver a forma sintatica quando a capacidade aguentar
+- ver a forma semantica resolvida quando a capacidade aguentar
+- evitar interpretar errado o contrato
+
+### Etapa 5. Editar o `.sema`
+
 Ao editar, a IA deve:
 
 - preservar a intencao do modulo
 - seguir a gramatica existente
 - evitar criar bloco ou operador nao suportado
 - preferir a forma ja usada nos exemplos oficiais
-
-### Etapa 6. Formatar
-
-Depois da edicao:
-
-```bash
-sema formatar caminho/arquivo.sema
-sema formatar caminho/arquivo.sema --check
-```
-
-Se `--check` falhar, o trabalho ainda nao esta pronto.
-
-### Etapa 7. Validar e diagnosticar
-
-Depois da formatacao:
-
-```bash
-sema validar caminho/arquivo.sema --json
-sema diagnosticos caminho/arquivo.sema --json
-```
-
-Se houver falha:
-
-- usar os diagnosticos estruturados como contrato de correcao
-- nao insistir em leitura manual teimosa quando a CLI ja disse onde esta a merda
-
-### Etapa 7.5. Compilar quando a tarefa pedir codigo derivado
-
-Se a tarefa nao for so editar contrato, mas tambem gerar base de implementacao, a IA deve rodar explicitamente:
-
-```bash
-sema compilar caminho/arquivo.sema --alvo typescript --saida ./saida/typescript
-```
-
-Ou trocar o alvo para `python`, `dart` ou `lua`, conforme o caso.
-
-Regra pratica:
-
-- se a entrega inclui codigo derivado, `sema compilar` nao e opcional
-- se a IA ignorar `compilar`, ela pode acabar reescrevendo na mao coisa que a Sema ja gera sozinha, que e burrice operacional
-
-### Etapa 8. Verificar
-
-No fechamento:
-
-```bash
-sema verificar arquivo-ou-pasta --json --saida ./.tmp/verificacao-ia
-```
-
-## Fluxo minimo para automacao
-
-Se voce quiser o menor fluxo aceitavel para uma IA pequena:
-
-```bash
-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 codigo derivado, o fluxo minimo aceitavel vira:
-
-```bash
-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
-```
-
-## Checklist de saida
-
-Antes de considerar a alteracao pronta, a IA deve responder mentalmente:
-
-- eu entendi o modulo e o contrato?
-- eu mantive a sintaxe dentro do que a linguagem suporta?
-- eu formatei o arquivo?
-- eu validei?
-- eu olhei diagnosticos se algo falhou?
-- eu fechei com verificacao?
-
-Se alguma resposta for "nao", ainda nao terminou.
-
-## Regra de ouro
-
-Em Sema, a IA nao deveria operar no escuro.
-
-Ela deve trabalhar sempre com:
-
-- exemplo oficial
-- AST
-- IR
-- diagnosticos
-- formatador
-
-Esse conjunto e o que faz a linguagem ser amigavel para IA de verdade, e nao so no discurso bonito.
-
-## Observacao sobre caminhos
-
-Esta documentacao usa placeholders de arquivo e pasta, nao caminhos do monorepo da Sema. A IA deve adaptar isso ao projeto atual e continuar tratando `sema` como interface publica principal.
+- usar blocos existentes como `auth`, `authz`, `dados`, `audit`, `forbidden`, `execucao`, `use`, `state` e `enum` antes de propor sintaxe nova
+- evitar teste fraco em task sensivel; `expect { sucesso: verdadeiro }` sozinho nao prova semantica operacional
+
+### Etapa 6. Formatar
+
+Depois da edicao:
+
+```bash
+sema formatar caminho/arquivo.sema
+sema formatar caminho/arquivo.sema --check
+```
+
+Se `--check` falhar, o trabalho ainda nao esta pronto.
+
+### Etapa 7. Validar e diagnosticar
+
+Depois da formatacao:
+
+```bash
+sema validar caminho/arquivo.sema --json
+sema diagnosticos caminho/arquivo.sema --json
+```
+
+Se houver falha:
+
+- usar os diagnosticos estruturados como contrato de correcao
+- nao insistir em leitura manual teimosa quando a CLI ja disse onde esta a merda
+
+### Etapa 7.5. Compilar quando a tarefa pedir codigo derivado
+
+Se a tarefa nao for so editar contrato, mas tambem gerar base de implementacao, a IA deve rodar explicitamente:
+
+```bash
+sema compilar caminho/arquivo.sema --alvo typescript --saida ./saida/typescript
+```
+
+Ou trocar o alvo para `python` ou `dart`, conforme o caso.
+
+Regra pratica:
+
+- se a entrega inclui codigo derivado, `sema compilar` nao e opcional
+- se a IA ignorar `compilar`, ela pode acabar reescrevendo na mao coisa que a Sema ja gera sozinha, que e burrice operacional
+
+### Etapa 8. Verificar
+
+No fechamento:
+
+```bash
+sema verificar arquivo-ou-pasta --json --saida ./.tmp/verificacao-ia
+```
+
+## Fluxo minimo para automacao
+
+Se voce quiser o menor fluxo aceitavel para uma IA pequena:
+
+```bash
+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 codigo derivado, o fluxo minimo aceitavel vira:
+
+```bash
+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
+```
+
+## Checklist de saida
+
+Antes de considerar a alteracao pronta, a IA deve responder mentalmente:
+
+- eu entendi o modulo e o contrato?
+- eu mantive a sintaxe dentro do que a linguagem suporta?
+- eu formatei o arquivo?
+- eu validei?
+- eu olhei diagnosticos se algo falhou?
+- eu fechei com verificacao?
+
+Se alguma resposta for "nao", ainda nao terminou.
+
+## Regra de ouro
+
+Em Sema, a IA nao deveria operar no escuro.
+
+Ela deve trabalhar sempre com:
+
+- exemplo oficial
+- AST
+- IR
+- diagnosticos
+- formatador
+
+Esse conjunto e o que faz a linguagem ser amigavel para IA de verdade, e nao so no discurso bonito.
+
+## Observacao sobre caminhos
+
+Esta documentacao usa placeholders de arquivo e pasta, nao caminhos do monorepo da Sema. A IA deve adaptar isso ao projeto atual e continuar tratando `sema` como interface publica principal.

package/docs/integracao-com-ia.md

@@ -1,101 +1,103 @@
-# Integracao com IA
-
-Sema foi feita para IA operar software vivo com menos adivinhacao.
-
-## Ordem recomendada
-
-1. `sema inspecionar . --json`
-2. `sema resumo <arquivo-ou-pasta> --micro --para onboarding`
-3. `sema drift <arquivo-ou-pasta> --json`
-4. `sema contexto-ia <arquivo.sema> --saida <diretorio> --json`
-
-Nao comece cavando codigo bruto quando a ferramenta ja consegue te dar contrato, score, lacuna e superficie viva.
-
-## Por capacidade do modelo
-
-IA pequena:
-
-- `sema resumo --micro`
-- `briefing.min.json`
-- `prompt-curto.txt`
-
-IA media:
-
-- `sema resumo --curto`
-- `drift.json`
-- `briefing.min.json`
-
-IA grande:
-
-- `sema contexto-ia`
-- `briefing.json`
-- `ir.json`
-- `ast.json`
-
-## MCP
-
-Se o agente usa MCP:
-
-```bash
-npm install -g @semacode/cli @semacode/mcp
-```
-
-Depois configure:
-
-```json
-{
-  "mcpServers": {
-    "sema": {
-      "command": "npx",
-      "args": ["-y", "@semacode/mcp"]
-    }
-  }
-}
-```
-
-Ferramentas mais uteis no fluxo de mudanca:
-
-- `sema_drift` para medir coerencia viva
-- `sema_impacto` para dizer o que tocar
-- `sema_renomear_semantico` para guiar troca de nomes sem misturar payload antigo e novo
-- `sema_docs_impacto` para obrigar leitura das docs relacionadas antes de agir
-- `sema_finalizar_mudanca` para bloquear conclusao sem leitura documental comprovada
-
-As ferramentas MCP usam a CLI como backend operacional. Portanto, suporte de linguagem como Lua em `use`, `impl`, IR, `drift` e importacao fica disponivel no MCP quando `@semacode/cli` e `@semacode/mcp` estao na mesma linha publica.
-
-## Portao documental
-
-Antes de editar ou executar operacao sensivel, declare a intencao:
-
-```bash
-sema docs-impacto --intencao "fazer deploy" --criar-ausentes --json
-```
-
-Leia todos os itens em `leituraObrigatoria`. Se `docsAusentes` vier preenchido, crie ou complete os documentos antes da acao.
-
-Antes de concluir:
-
-```bash
-sema finalizar-mudanca --intencao "fazer deploy" --doc-lida docs/deploy.md --json
-```
-
-Se houver diagnostico de severidade 4+, a IA nao deve finalizar a mudanca.
-
-## Regras praticas
-
+# Integracao com IA
+
+Sema foi feita para IA operar software vivo com menos adivinhacao. O consumidor principal nao e o humano lendo arquivo bonito; e o agente decidindo o que pode tocar, que efeito vai causar e como validar antes de mexer no codigo vivo.
+
+Humanos entram como autores, revisores e aprovadores do contrato. A ponte da Sema e da intencao operacional para um formato que IA consegue consumir sem transformar contexto em chute.
+
+## Ordem recomendada
+
+1. `sema inspecionar . --json`
+2. `sema resumo <arquivo-ou-pasta> --micro --para onboarding`
+3. `sema drift <arquivo-ou-pasta> --json`
+4. `sema contexto-ia <arquivo.sema> --saida <diretorio> --json`
+
+Nao comece cavando codigo bruto quando a ferramenta ja consegue te dar contrato, score, lacuna e superficie viva.
+
+## Por capacidade do modelo
+
+IA pequena:
+
+- `sema resumo --micro`
+- `briefing.min.json`
+- `prompt-curto.txt`
+
+IA media:
+
+- `sema resumo --curto`
+- `drift.json`
+- `briefing.min.json`
+
+IA grande:
+
+- `sema contexto-ia`
+- `briefing.json`
+- `ir.json`
+- `ast.json`
+
+## MCP
+
+Se o agente usa MCP:
+
+```bash
+npm install -g @semacode/cli @semacode/mcp
+```
+
+Depois configure:
+
+```json
+{
+  "mcpServers": {
+    "sema": {
+      "command": "npx",
+      "args": ["-y", "@semacode/mcp"]
+    }
+  }
+}
+```
+
+Ferramentas mais uteis no fluxo de mudanca:
+
+- `sema_drift` para medir coerencia viva
+- `sema_impacto` para dizer o que tocar
+- `sema_renomear_semantico` para guiar troca de nomes sem misturar payload antigo e novo
+- `sema_docs_impacto` para obrigar leitura das docs relacionadas antes de agir
+- `sema_finalizar_mudanca` para bloquear conclusao sem leitura documental comprovada
+
+## Portao documental
+
+Antes de editar ou executar operacao sensivel, declare a intencao:
+
+```bash
+sema docs-impacto --intencao "fazer deploy" --criar-ausentes --json
+```
+
+Leia todos os itens em `leituraObrigatoria`. Se `docsAusentes` vier preenchido, crie ou complete os documentos antes da acao.
+
+Antes de concluir:
+
+```bash
+sema finalizar-mudanca --intencao "fazer deploy" --doc-lida docs/deploy.md --json
+```
+
+Se houver diagnostico de severidade 4+, a IA nao deve finalizar a mudanca.
+
+## Regras praticas
+
 - trate `.sema` e IR como fonte de verdade semantica
+- trate humanos como donos/aprovadores e agentes como consumidores primarios do contrato
 - trate `drift` como juiz da adocao incremental
 - use `briefing.min.json` antes de abrir dezenas de arquivos
 - nao invente sintaxe fora da gramatica oficial
+- em task sensivel, teste que valida apenas `sucesso` e fraco; inclua output, erro esperado ou garantia observavel
 - em persistencia, nao assuma que bancos diferentes tem o mesmo contrato operacional
-
-## Arquivos uteis no repo
-
-- `AGENTS.md`
-- `llms.txt`
-- `llms-full.txt`
-- `SEMA_BRIEF.md`
-- `SEMA_INDEX.json`
-- `docs/persistencia-vendor-first.md`
-- `docs/mcp.md`
-- `docs/documentacao.md`
+
+## Arquivos uteis no repo
+
+- `AGENTS.md`
+- `llms.txt`
+- `llms-full.txt`
+- `SEMA_BRIEF.md`
+- `SEMA_INDEX.json`
+- `docs/persistencia-vendor-first.md`
+- `docs/mcp.md`
+- `docs/documentacao.md`

package/docs/mcp.md

@@ -1,53 +1,51 @@
-# MCP
-
-O MCP da Sema e a porta de entrada para agentes que precisam obedecer contrato, ler contexto certo e fechar mudanca com verificacao rastreavel.
-
-## Fluxo obrigatorio para agentes
-
-Antes de uma acao operacional, a IA deve declarar a intencao e chamar:
-
-```bash
-sema docs-impacto --intencao "fazer deploy" --criar-ausentes --json
-```
-
-Via MCP, use `sema_docs_impacto` com a mesma intencao. A resposta contem `leituraObrigatoria` com caminhos, motivos e conteudo dos documentos existentes. Se algum documento obrigatorio estiver ausente, o resultado vem com bloqueio de severidade 4.
-
-Antes de concluir, a IA deve comprovar leitura:
-
-```bash
-sema finalizar-mudanca --intencao "fazer deploy" --doc-lida docs/deploy.md --json
-```
-
-Via MCP, use `sema_finalizar_mudanca`.
-
-## Ferramentas de documentacao
-
-- `sema_docs_impacto`: resolve docs obrigatorias por intencao, arquivos alvo e categoria inferida.
-- `sema_finalizar_mudanca`: bloqueia conclusao sem docs lidas ou docs ausentes.
-
-## Quando criar docs
-
-Se a intencao exige um runbook e ele nao existe, rode `sema_docs_impacto` com `criar_ausentes: true`. Exemplos:
-
-- deploy: cria `docs/deploy.md`, `docs/env.md` e `docs/rollback.md`.
-- rota/API: cria `docs/api.md`.
-- auth: cria `docs/auth.md` e `docs/seguranca.md`.
-- banco: cria `docs/database.md`.
-- MCP: cria `docs/mcp.md`.
-- extensao: cria `docs/extensao-vscode.md`.
-
-O documento criado e um ponto de partida. A IA ainda deve preencher detalhes reais do projeto antes de executar a acao.
-
-## Regra de conclusao
-
-Uma mudanca nao deve ser considerada concluida enquanto `sema_finalizar_mudanca` retornar diagnostico de severidade 4 ou maior. Isso inclui:
-
-- documento obrigatorio ausente
-- leitura obrigatoria nao comprovada
-- runbook criado mas ainda nao revisado para a operacao real
-
-## Relacao com contratos
-
-Essas ferramentas nao substituem `sema_resumo`, `sema_inspecionar`, `sema_drift` ou `sema_validar`. Elas adicionam o portao documental: a IA descobre o que ler e o que documentar antes de agir.
-
-O MCP acompanha a semantica entregue pela CLI. Quando a CLI aceita uma origem viva, como Lua em `use`, `impl`, IR, `drift` e `sema importar`, a ferramenta MCP correspondente passa a operar esse contrato desde que CLI e MCP estejam na mesma versao.
+# MCP
+
+O MCP da Sema e a porta de entrada para agentes que precisam obedecer contrato, ler contexto certo e fechar mudanca com verificacao rastreavel.
+
+## Fluxo obrigatorio para agentes
+
+Antes de uma acao operacional, a IA deve declarar a intencao e chamar:
+
+```bash
+sema docs-impacto --intencao "fazer deploy" --criar-ausentes --json
+```
+
+Via MCP, use `sema_docs_impacto` com a mesma intencao. A resposta contem `leituraObrigatoria` com caminhos, motivos e conteudo dos documentos existentes. Se algum documento obrigatorio estiver ausente, o resultado vem com bloqueio de severidade 4.
+
+Antes de concluir, a IA deve comprovar leitura:
+
+```bash
+sema finalizar-mudanca --intencao "fazer deploy" --doc-lida docs/deploy.md --json
+```
+
+Via MCP, use `sema_finalizar_mudanca`.
+
+## Ferramentas de documentacao
+
+- `sema_docs_impacto`: resolve docs obrigatorias por intencao, arquivos alvo e categoria inferida.
+- `sema_finalizar_mudanca`: bloqueia conclusao sem docs lidas ou docs ausentes.
+
+## Quando criar docs
+
+Se a intencao exige um runbook e ele nao existe, rode `sema_docs_impacto` com `criar_ausentes: true`. Exemplos:
+
+- deploy: cria `docs/deploy.md`, `docs/env.md` e `docs/rollback.md`.
+- rota/API: cria `docs/api.md`.
+- auth: cria `docs/auth.md` e `docs/seguranca.md`.
+- banco: cria `docs/database.md`.
+- MCP: cria `docs/mcp.md`.
+- extensao: cria `docs/extensao-vscode.md`.
+
+O documento criado e um ponto de partida. A IA ainda deve preencher detalhes reais do projeto antes de executar a acao.
+
+## Regra de conclusao
+
+Uma mudanca nao deve ser considerada concluida enquanto `sema_finalizar_mudanca` retornar diagnostico de severidade 4 ou maior. Isso inclui:
+
+- documento obrigatorio ausente
+- leitura obrigatoria nao comprovada
+- runbook criado mas ainda nao revisado para a operacao real
+
+## Relacao com contratos
+
+Essas ferramentas nao substituem `sema_resumo`, `sema_inspecionar`, `sema_drift` ou `sema_validar`. Elas adicionam o portao documental: a IA descobre o que ler e o que documentar antes de agir.