@semacode/cli 1.5.28 → 1.5.29

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (81) hide show
  1. package/AGENTS.md +279 -265
  2. package/AGENT_CONTEXT_PACK.json +164 -0
  3. package/README.md +144 -144
  4. package/SEMA_BRIEF.curto.txt +7 -7
  5. package/SEMA_BRIEF.md +464 -65
  6. package/SEMA_BRIEF.micro.txt +6 -6
  7. package/SEMA_INDEX.json +6723 -669
  8. package/dist/bridge.d.ts +52 -0
  9. package/dist/bridge.js +318 -0
  10. package/dist/bridge.js.map +1 -0
  11. package/dist/comandos.d.ts +11 -0
  12. package/dist/comandos.js +110 -0
  13. package/dist/comandos.js.map +1 -0
  14. package/dist/contexto.d.ts +34 -0
  15. package/dist/contexto.js +197 -0
  16. package/dist/contexto.js.map +1 -0
  17. package/dist/drift.d.ts +1 -1
  18. package/dist/drift.js +32 -5
  19. package/dist/drift.js.map +1 -1
  20. package/dist/index.js +391 -64
  21. package/dist/index.js.map +1 -1
  22. package/dist/lua-symbols.d.ts +0 -6
  23. package/dist/lua-symbols.js +11 -78
  24. package/dist/lua-symbols.js.map +1 -1
  25. package/dist/projeto.js +6 -0
  26. package/dist/projeto.js.map +1 -1
  27. package/dist/tipos.d.ts +1 -1
  28. package/docs/AGENT_STARTER.md +109 -109
  29. package/docs/api.md +82 -0
  30. package/docs/cli.md +175 -175
  31. package/docs/como-ensinar-a-sema-para-ia.md +155 -155
  32. package/docs/deploy.md +93 -93
  33. package/docs/documentacao.md +88 -88
  34. package/docs/env.md +105 -105
  35. package/docs/extensao-vscode.md +53 -53
  36. package/docs/fluxo-pratico-ia-sema.md +187 -187
  37. package/docs/instalacao-e-primeiro-uso.md +134 -134
  38. package/docs/integracao-com-ia.md +110 -110
  39. package/docs/mcp.md +292 -292
  40. package/docs/pagamento-ponta-a-ponta.md +171 -171
  41. package/docs/persistencia-vendor-first.md +151 -151
  42. package/docs/prompt-base-ia-sema.md +111 -111
  43. package/docs/repositories.md +54 -54
  44. package/docs/rollback.md +49 -49
  45. package/docs/seguranca.md +126 -126
  46. package/docs/sintaxe.md +218 -218
  47. package/exemplos/author_obra_comum.sema +294 -294
  48. package/exemplos/author_tema_sensivel.sema +264 -264
  49. package/exemplos/profile_game.sema +114 -114
  50. package/exemplos/profile_legal.sema +105 -105
  51. package/exemplos/profile_ops.sema +110 -110
  52. package/exemplos/profile_research.sema +104 -104
  53. package/exemplos/profile_software.sema +123 -123
  54. package/exemplos/profile_workflow_n8n.sema +99 -99
  55. package/llms-full.txt +10 -9
  56. package/llms.txt +8 -7
  57. package/node_modules/@sema/gerador-css/package.json +1 -1
  58. package/node_modules/@sema/gerador-dart/package.json +1 -1
  59. package/node_modules/@sema/gerador-html/package.json +1 -1
  60. package/node_modules/@sema/gerador-javascript/package.json +1 -1
  61. package/node_modules/@sema/gerador-lua/package.json +1 -1
  62. package/node_modules/@sema/gerador-python/package.json +1 -1
  63. package/node_modules/@sema/gerador-typescript/package.json +1 -1
  64. package/node_modules/@sema/nucleo/dist/ast/tipos.d.ts +1 -1
  65. package/node_modules/@sema/nucleo/dist/index.d.ts +17 -0
  66. package/node_modules/@sema/nucleo/dist/index.js +28 -0
  67. package/node_modules/@sema/nucleo/dist/index.js.map +1 -1
  68. package/node_modules/@sema/nucleo/dist/ir/conversor.js +4 -0
  69. package/node_modules/@sema/nucleo/dist/ir/conversor.js.map +1 -1
  70. package/node_modules/@sema/nucleo/dist/ir/modelos.d.ts +3 -3
  71. package/node_modules/@sema/nucleo/dist/parser/parser.js +2 -0
  72. package/node_modules/@sema/nucleo/dist/parser/parser.js.map +1 -1
  73. package/node_modules/@sema/nucleo/dist/semantico/analisador.d.ts +2 -2
  74. package/node_modules/@sema/nucleo/dist/semantico/analisador.js +3 -1
  75. package/node_modules/@sema/nucleo/dist/semantico/analisador.js.map +1 -1
  76. package/node_modules/@sema/nucleo/package.json +1 -1
  77. package/node_modules/@sema/padroes/package.json +1 -1
  78. package/package.json +11 -10
  79. package/dist/php-symbols.d.ts +0 -24
  80. package/dist/php-symbols.js +0 -375
  81. package/dist/php-symbols.js.map +0 -1
package/docs/cli.md CHANGED
@@ -1,175 +1,175 @@
1
- # Sema CLI
2
-
3
- ## English
4
-
5
- The Sema CLI is the public npm package for local semantic governance. It validates `.sema` contracts, checks drift, maps impact, prepares AI-first context, resolves documentation gates, and runs profile validators before an agent continues.
6
-
7
- Current public version: `1.5.28`.
8
-
9
- ```bash
10
- npm install -g @semacode/cli
11
- sema --version
12
- sema validar contratos/pedidos.sema --json
13
- ```
14
-
15
- ## Português
16
-
17
- A CLI da Sema é o pacote público no npm para governança semântica local. Ela valida contratos `.sema`, verifica drift, mapeia impacto, prepara contexto IA-first, resolve gates de documentação e roda validadores de profiles antes de um agente continuar.
18
-
19
- Versão pública atual: `1.5.28`.
20
-
21
- ```bash
22
- npm install -g @semacode/cli
23
- sema --version
24
- sema validar contratos/pedidos.sema --json
25
- ```
26
-
27
- ## Español
28
-
29
- La CLI de Sema es el paquete público en npm para gobernanza semántica local. Valida contratos `.sema`, verifica drift, mapea impacto, prepara contexto IA-first, resuelve gates de documentación y ejecuta validadores de profiles antes de que un agente continúe.
30
-
31
- Versión pública actual: `1.5.28`.
32
-
33
- ```bash
34
- npm install -g @semacode/cli
35
- sema --version
36
- sema validar contratos/pedidos.sema --json
37
- ```
38
-
39
- ## Referência Operacional
40
-
41
- ### Papel da CLI
42
-
43
- A CLI é a interface oficial da Sema para:
44
-
45
- - validar contratos `.sema`
46
- - exportar AST e IR
47
- - medir `drift` entre contrato e código vivo
48
- - importar legado para rascunho revisável
49
- - gerar código derivado
50
- - preparar contexto IA-first
51
- - resolver docs obrigatórias por intenção antes de editar ou operar
52
- - verificar múltiplos alvos de geração
53
-
54
- ### Três Modos De Operação
55
-
56
- Projeto novo:
57
-
58
- - `sema iniciar`
59
- - `sema validar`
60
- - `sema compilar`
61
- - `sema verificar`
62
-
63
- Projeto já semantizado:
64
-
65
- - `sema inspecionar`
66
- - `sema resumo`
67
- - `sema drift`
68
- - `sema contexto-ia`
69
-
70
- Adoção incremental:
71
-
72
- - `sema importar`
73
- - `sema formatar`
74
- - `sema validar`
75
- - `sema drift`
76
-
77
- ## Persistência vendor-first
78
-
79
- A linha 1.5.28 mantém persistência vendor-first como seção canônica no contrato, no semântico, na IR e no formatador, além de `drift` com escopo real, `impacto`, renomeação semântica assistida, `verificar` mais coerente nos alvos gerados, match de métodos JS/TS definidos via `Object.assign(...prototype...)`, leitura de `Preferences`/`localStorage`/`sessionStorage`, fallback para `angular-consumer` standalone sem `.routes`, limpeza de runtime da CLI pública no Windows, Sema Author oficial e MCP remoto desmembrado da distribuição pública.
80
-
81
- Cobertura pública:
82
-
83
- - `postgres`: `table`, `relationship`, `query`, `schema`, capacidades relacionais
84
- - `mysql`: `table`, `index`, consultas SQL e diferenças operacionais do engine
85
- - `sqlite`: `table`, `retention`, uso local e edge
86
- - `mongodb`: `collection`, `document`, `query` em `pipeline`
87
- - `redis`: `keyspace`, `stream`, `retention`, TTL e superfícies de estado
88
-
89
- ## Drift e código vivo
90
-
91
- `sema drift` agora cruza contrato com recursos reais encontrados em:
92
-
93
- - código de backend
94
- - DDL `.sql`
95
- - schema `.prisma`
96
- - uso de MongoDB
97
- - uso de Redis, incluindo keyspaces e streams
98
-
99
- O objetivo não é adivinhar tudo; é produzir um score explicável com lacunas claras.
100
-
101
- ## Ajuda IA-first
102
-
103
- - `sema ajuda-ia`
104
- - `sema starter-ia`
105
- - `sema resumo <arquivo-ou-pasta> --micro|--curto|--medio`
106
- - `sema prompt-curto <arquivo-ou-pasta> --micro|--curto|--medio`
107
- - `sema contexto-ia <arquivo.sema> --saida <diretorio>`
108
- - `sema sync-ai-entrypoints --json`
109
- - `sema docs-impacto --intencao <acao> --criar-ausentes --json`
110
- - `sema finalizar-mudanca --intencao <acao> --doc-lida <caminho> --json`
111
-
112
- ## Profiles Semânticos
113
-
114
- Profiles oficiais usam contrato Sema normal e um gate de requisitos obrigatórios. O requisito comum é contrato primeiro: criar, editar ou remover contrato antes de qualquer ação. Se o contrato não declara o mínimo do domínio, o comando falha.
115
-
116
- ```bash
117
- sema profile validar software contratos/sema/software.sema --json
118
- sema profile validar workflow contratos/sema/workflow_ops.sema --json
119
- sema profile validar ops contratos/sema/workflow_ops.sema --json
120
- sema profile validar game contratos/sema/game.sema --json
121
- sema profile validar legal contratos/sema/legal.sema --json
122
- sema profile validar research contratos/sema/research.sema --json
123
- ```
124
-
125
- ## Sema Author
126
-
127
- Author é um profile oficial para governança autoral IA-first. Ele usa a mesma DSL, sem palavra-chave nova, e organiza contratos em core, agents e flow. Se obra, tom, limite, público ou política muda, edite o contrato antes de gerar ou revisar texto.
128
-
129
- ```bash
130
- sema author iniciar --saida contratos/author.sema
131
- sema author iniciar --tema-sensivel --saida contratos/author.sema
132
- sema author validar contratos/author.sema --json
133
- sema author briefing contratos/author.sema --json
134
- sema author revisar-cliches contratos/author.sema --texto "O escolhido predestinado aceitou a missão." --json
135
- sema author validar-narrativa contratos/author.sema --texto "Mara perdeu a chave para salvar Raul. Por isso, o capitulo seguinte muda a promessa dela." --texto-anterior "Mara prometeu proteger a chave." --json
136
- ```
137
-
138
- O comando `author iniciar` usa os exemplos oficiais `author_obra_comum.sema` ou `author_tema_sensivel.sema` como starter. Ele não sobrescreve contrato existente.
139
-
140
- ## Importadores Públicos
141
-
142
- - `nestjs`
143
- - `fastapi`
144
- - `flask`
145
- - `nextjs`
146
- - `nextjs-consumer`
147
- - `react-vite-consumer`
148
- - `angular-consumer`
149
- - `flutter-consumer`
150
- - `firebase`
151
- - `dotnet`
152
- - `java`
153
- - `go`
154
- - `rust`
155
- - `cpp`
156
- - `typescript`
157
- - `python`
158
- - `dart`
159
-
160
- ## Comandos mais usados
161
-
162
- ```bash
163
- sema validar <arquivo-ou-pasta> --json
164
- sema diagnosticos <arquivo.sema> --json
165
- sema ir <arquivo.sema> --json
166
- sema drift <arquivo-ou-pasta> --json
167
- sema author briefing <arquivo.sema> --json
168
- sema author revisar-cliches <arquivo.sema> --texto <texto> --json
169
- sema author validar-narrativa <arquivo.sema> --texto <texto> [--texto-anterior <texto>] --json
170
- sema importar <fonte> <diretorio> --saida <diretorio> --json
171
- sema docs-impacto --intencao "fazer deploy" --criar-ausentes --json
172
- sema finalizar-mudanca --intencao "fazer deploy" --doc-lida docs/deploy.md --json
173
- sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>
174
- sema verificar <arquivo-ou-pasta> --saida <diretorio>
175
- ```
1
+ # Sema CLI
2
+
3
+ ## English
4
+
5
+ The Sema CLI is the public npm package for local semantic governance. It validates `.sema` contracts, checks drift, maps impact, prepares AI-first context, resolves documentation gates, and runs profile validators before an agent continues.
6
+
7
+ Current public version: `1.5.29`.
8
+
9
+ ```bash
10
+ npm install -g @semacode/cli
11
+ sema --version
12
+ sema validar contratos/pedidos.sema --json
13
+ ```
14
+
15
+ ## Português
16
+
17
+ A CLI da Sema é o pacote público no npm para governança semântica local. Ela valida contratos `.sema`, verifica drift, mapeia impacto, prepara contexto IA-first, resolve gates de documentação e roda validadores de profiles antes de um agente continuar.
18
+
19
+ Versão pública atual: `1.5.29`.
20
+
21
+ ```bash
22
+ npm install -g @semacode/cli
23
+ sema --version
24
+ sema validar contratos/pedidos.sema --json
25
+ ```
26
+
27
+ ## Español
28
+
29
+ La CLI de Sema es el paquete público en npm para gobernanza semántica local. Valida contratos `.sema`, verifica drift, mapea impacto, prepara contexto IA-first, resuelve gates de documentación y ejecuta validadores de profiles antes de que un agente continúe.
30
+
31
+ Versión pública actual: `1.5.29`.
32
+
33
+ ```bash
34
+ npm install -g @semacode/cli
35
+ sema --version
36
+ sema validar contratos/pedidos.sema --json
37
+ ```
38
+
39
+ ## Referência Operacional
40
+
41
+ ### Papel da CLI
42
+
43
+ A CLI é a interface oficial da Sema para:
44
+
45
+ - validar contratos `.sema`
46
+ - exportar AST e IR
47
+ - medir `drift` entre contrato e código vivo
48
+ - importar legado para rascunho revisável
49
+ - gerar código derivado
50
+ - preparar contexto IA-first
51
+ - resolver docs obrigatórias por intenção antes de editar ou operar
52
+ - verificar múltiplos alvos de geração
53
+
54
+ ### Três Modos De Operação
55
+
56
+ Projeto novo:
57
+
58
+ - `sema iniciar`
59
+ - `sema validar`
60
+ - `sema compilar`
61
+ - `sema verificar`
62
+
63
+ Projeto já semantizado:
64
+
65
+ - `sema inspecionar`
66
+ - `sema resumo`
67
+ - `sema drift`
68
+ - `sema contexto-ia`
69
+
70
+ Adoção incremental:
71
+
72
+ - `sema importar`
73
+ - `sema formatar`
74
+ - `sema validar`
75
+ - `sema drift`
76
+
77
+ ## Persistência vendor-first
78
+
79
+ A linha 1.5.29 mantém persistência vendor-first como seção canônica no contrato, no semântico, na IR e no formatador, além de `drift` com escopo real, `impacto`, renomeação semântica assistida, `verificar` mais coerente nos alvos gerados, match de métodos JS/TS definidos via `Object.assign(...prototype...)`, leitura de `Preferences`/`localStorage`/`sessionStorage`, fallback para `angular-consumer` standalone sem `.routes`, limpeza de runtime da CLI pública no Windows, Sema Author oficial e MCP remoto desmembrado da distribuição pública.
80
+
81
+ Cobertura pública:
82
+
83
+ - `postgres`: `table`, `relationship`, `query`, `schema`, capacidades relacionais
84
+ - `mysql`: `table`, `index`, consultas SQL e diferenças operacionais do engine
85
+ - `sqlite`: `table`, `retention`, uso local e edge
86
+ - `mongodb`: `collection`, `document`, `query` em `pipeline`
87
+ - `redis`: `keyspace`, `stream`, `retention`, TTL e superfícies de estado
88
+
89
+ ## Drift e código vivo
90
+
91
+ `sema drift` agora cruza contrato com recursos reais encontrados em:
92
+
93
+ - código de backend
94
+ - DDL `.sql`
95
+ - schema `.prisma`
96
+ - uso de MongoDB
97
+ - uso de Redis, incluindo keyspaces e streams
98
+
99
+ O objetivo não é adivinhar tudo; é produzir um score explicável com lacunas claras.
100
+
101
+ ## Ajuda IA-first
102
+
103
+ - `sema ajuda-ia`
104
+ - `sema starter-ia`
105
+ - `sema resumo <arquivo-ou-pasta> --micro|--curto|--medio`
106
+ - `sema prompt-curto <arquivo-ou-pasta> --micro|--curto|--medio`
107
+ - `sema contexto-ia <arquivo.sema> --saida <diretorio>`
108
+ - `sema sync-ai-entrypoints --json`
109
+ - `sema docs-impacto --intencao <acao> --criar-ausentes --json`
110
+ - `sema finalizar-mudanca --intencao <acao> --doc-lida <caminho> --json`
111
+
112
+ ## Profiles Semânticos
113
+
114
+ Profiles oficiais usam contrato Sema normal e um gate de requisitos obrigatórios. O requisito comum é contrato primeiro: criar, editar ou remover contrato antes de qualquer ação. Se o contrato não declara o mínimo do domínio, o comando falha.
115
+
116
+ ```bash
117
+ sema profile validar software contratos/sema/software.sema --json
118
+ sema profile validar workflow contratos/sema/workflow_ops.sema --json
119
+ sema profile validar ops contratos/sema/workflow_ops.sema --json
120
+ sema profile validar game contratos/sema/game.sema --json
121
+ sema profile validar legal contratos/sema/legal.sema --json
122
+ sema profile validar research contratos/sema/research.sema --json
123
+ ```
124
+
125
+ ## Sema Author
126
+
127
+ Author é um profile oficial para governança autoral IA-first. Ele usa a mesma DSL, sem palavra-chave nova, e organiza contratos em core, agents e flow. Se obra, tom, limite, público ou política muda, edite o contrato antes de gerar ou revisar texto.
128
+
129
+ ```bash
130
+ sema author iniciar --saida contratos/author.sema
131
+ sema author iniciar --tema-sensivel --saida contratos/author.sema
132
+ sema author validar contratos/author.sema --json
133
+ sema author briefing contratos/author.sema --json
134
+ sema author revisar-cliches contratos/author.sema --texto "O escolhido predestinado aceitou a missão." --json
135
+ sema author validar-narrativa contratos/author.sema --texto "Mara perdeu a chave para salvar Raul. Por isso, o capitulo seguinte muda a promessa dela." --texto-anterior "Mara prometeu proteger a chave." --json
136
+ ```
137
+
138
+ O comando `author iniciar` usa os exemplos oficiais `author_obra_comum.sema` ou `author_tema_sensivel.sema` como starter. Ele não sobrescreve contrato existente.
139
+
140
+ ## Importadores Públicos
141
+
142
+ - `nestjs`
143
+ - `fastapi`
144
+ - `flask`
145
+ - `nextjs`
146
+ - `nextjs-consumer`
147
+ - `react-vite-consumer`
148
+ - `angular-consumer`
149
+ - `flutter-consumer`
150
+ - `firebase`
151
+ - `dotnet`
152
+ - `java`
153
+ - `go`
154
+ - `rust`
155
+ - `cpp`
156
+ - `typescript`
157
+ - `python`
158
+ - `dart`
159
+
160
+ ## Comandos mais usados
161
+
162
+ ```bash
163
+ sema validar <arquivo-ou-pasta> --json
164
+ sema diagnosticos <arquivo.sema> --json
165
+ sema ir <arquivo.sema> --json
166
+ sema drift <arquivo-ou-pasta> --json
167
+ sema author briefing <arquivo.sema> --json
168
+ sema author revisar-cliches <arquivo.sema> --texto <texto> --json
169
+ sema author validar-narrativa <arquivo.sema> --texto <texto> [--texto-anterior <texto>] --json
170
+ sema importar <fonte> <diretorio> --saida <diretorio> --json
171
+ sema docs-impacto --intencao "fazer deploy" --criar-ausentes --json
172
+ sema finalizar-mudanca --intencao "fazer deploy" --doc-lida docs/deploy.md --json
173
+ sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>
174
+ sema verificar <arquivo-ou-pasta> --saida <diretorio>
175
+ ```
@@ -1,155 +1,155 @@
1
- # Como Ensinar a Sema para IA
2
-
3
- <!-- sema:i18n -->
4
- > EN: English first. The canonical operational body below may still be in Portuguese until full translation lands.
5
- > PT: Português depois, com acentos preservados.
6
- > ES: Español al final; não traduza comandos, rotas nem sómbolos `.sema` sem contrato.
7
-
8
-
9
- Este documento explica como fazer uma IA entender a Sema sem depender de memória prévia do modelo. A estratégia correta não é presumir que a IA "já conhece a linguagem", e sim entregar contexto suficiente para ela operar com segurança.
10
-
11
- Leia isso do ponto de vista da CLI pública. A IA não deve assumir que está dentro do monorepo da Sema, nem que precisa chamar `node pacotes/cli/dist/index.js`.
12
-
13
- ## Principio central
14
-
15
- Uma IA entende uma linguagem nova quando recebe quatro camadas de contexto:
16
-
17
- 1. sintaxe
18
- 2. semântica
19
- 3. estrutura intermediaria estavel
20
- 4. exemplos reais
21
-
22
- Sem essas quatro camadas, o modelo comeca a adivinhar. É adivinhação em linguagem de contrato e pedir para nascer bug feio.
23
-
24
- Antes de qualquer outra coisa, a IA também precisa receber a **moldura correta**:
25
-
26
- - a Sema é um contrato semântico IA-first para agentes operarem software vivo
27
- - a Sema foi feita para IA, não para ergonomia humana
28
- - a Sema não foi feita para "automatizar tudo"
29
- - a Sema existe para explicitar, alinhar e verificar contrato contra sistema vivo
30
- - humanos sao autores, revisores e aprovadores; agentes sao consumidores primarios
31
-
32
- Se a IA errar essa moldura, ela vai cobrar da ferramenta a coisa errada e operar por adivinhação.
33
-
34
- ## Camada 1. Sintaxe
35
-
36
- A IA precisa saber como a linguagem e escrita.
37
-
38
- Fontes principais:
39
-
40
- - [README.md](../README.md)
41
- - [sintaxe.md](./sintaxe.md)
42
- - [integração-com-ia.md](./integracao-com-ia.md)
43
-
44
- Objetivo dessa camada:
45
-
46
- - reconhecer blocos validos
47
- - entender delimitadores
48
- - não inventar palavras-chave
49
- - respeitar a organizacao canonicamente formatada
50
-
51
- ## Camada 2. Semântica
52
-
53
- Depois de saber ler, a IA precisa saber o que cada bloco significa.
54
-
55
- Fontes principais:
56
-
57
- - [README.md](../README.md)
58
- - [integração-com-ia.md](./integracao-com-ia.md)
59
- - [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
60
-
61
- Objetivo dessa camada:
62
-
63
- - distinguir contrato interno de `task`
64
- - distinguir contrato público de `route`
65
- - entender `effects`, `guarantees`, `error`, `state` e `flow`
66
- - operar na linguagem como especificacao executavel, não como texto decorativo
67
- - entender que `importar` e bootstrap
68
- - entender que `drift` e regua de coerência contra o runtime
69
- - entender que `impl` e ponte rastreavel para simbolo vivo
70
-
71
- ## Camada 3. Estrutura intermediaria estavel
72
-
73
- Essa e a camada que faz a parada parar de ser um cassino.
74
-
75
- Em vez de confiar que a IA vai interpretar `.sema` cru de primeira, use a CLI como tradutora oficial da linguagem.
76
-
77
- Comandos principais:
78
-
79
- ```bash
80
- sema resumo arquivo.sema --micro --para onboarding
81
- sema validar arquivo.sema --json
82
- sema diagnosticos arquivo.sema --json
83
- sema ast arquivo.sema --json
84
- sema ir arquivo.sema --json
85
- sema verificar arquivo-ou-pasta --json --saida ./.tmp/verificacao-ia
86
- ```
87
-
88
- Como cada comando ajuda:
89
-
90
- - `resumo`: entrega cartao semântico pequeno para IA com janela curta
91
- - `validar --json`: diz se a base está semanticamente valida
92
- - `diagnosticos --json`: devolve erros e avisos como contrato estruturado
93
- - `ast --json`: mostra a forma sintatica escrita
94
- - `ir --json`: mostra a forma semântica resolvida
95
- - `verificar --json`: mostra o estado operacional do projeto
96
-
97
- Se a IA puder consumir `ir --json`, melhor ainda. É ali que a linguagem fica menos ambigua e mais utilizavel para automacao. Para modelo pequeno, comece em `resumo` e `briefing.min.json`.
98
-
99
- ## Camada 4. Exemplos reais
100
-
101
- Modelo aprende muito por padrão. Por isso, bons exemplos valem quase tanto quanto especificacao.
102
-
103
- Arquivos recomendados:
104
-
105
- - [pagamento.sema](../exemplos/pagamento.sema)
106
- - [pagamento_dominio.sema](../exemplos/pagamento_dominio.sema)
107
- - [automacao.sema](../exemplos/automacao.sema)
108
- - [tratamento_erro.sema](../exemplos/tratamento_erro.sema)
109
- - [crud_simples.sema](../exemplos/crud_simples.sema)
110
-
111
- O vertical oficial de pagamento deve ser tratado como a referência principal.
112
-
113
- ## O que a IA não deve fazer
114
-
115
- - inventar palavras-chave fora da gramática
116
- - introduzir blocos inexistentes
117
- - assumir semântica que não aparece na especificacao
118
- - tratar draft importado como contrato final só porque veio da CLI
119
- - tratar a Sema como gerador mágico de sistema completo
120
- - editar `.sema` sem rodar `sema formatar`
121
- - encerrar alteracao sem consultar `diagnosticos` quando houver falha
122
-
123
- ## O que a IA deve fazer
124
-
125
- - usar a gramática e os exemplos como fonte de estilo
126
- - usar a IR como fonte de verdade semântica sempre que possóvel
127
- - usar diagnósticos estruturados como guia de correcao
128
- - rodar o formatador antes de considerar o trabalho pronto
129
- - validar e verificar a mudanca no mesmo fluxo
130
-
131
- ## Estratégia recomendada
132
-
133
- Se voce for instruir uma IA para trabalhar com Sema, entregue o contexto nesta ordem:
134
-
135
- 1. [README.md](../README.md)
136
- 2. [como-ensinar-a-sema-para-ia.md](./como-ensinar-a-sema-para-ia.md)
137
- 3. [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
138
- 4. [prompt-base-ia-sema.md](./prompt-base-ia-sema.md)
139
- 5. `sema resumo --micro` ou `sema resumo --curto`, conforme a capacidade da IA
140
- 6. `ast --json`, `ir --json` e `diagnosticos --json` do módulo alvo, se a capacidade aguentar
141
-
142
- Essa ordem faz a IA ir de contexto geral para contexto operacional, em vez de cair direto num arquivo cru e sair chutando.
143
-
144
- ## Regra de ouro
145
-
146
- A Sema foi desenhada para ser entendida por IA, mas isso não significa que a IA vai adivinhar sozinha.
147
-
148
- Ela entende bem quando recebe:
149
-
150
- - especificacao
151
- - exemplos
152
- - JSON estrutural
153
- - feedback automático
154
-
155
- Sem isso, até o modelo mais caro vira estagiário emocionado.
1
+ # Como Ensinar a Sema para IA
2
+
3
+ <!-- sema:i18n -->
4
+ > EN: English first. The canonical operational body below may still be in Portuguese until full translation lands.
5
+ > PT: Português depois, com acentos preservados.
6
+ > ES: Español al final; não traduza comandos, rotas nem sómbolos `.sema` sem contrato.
7
+
8
+
9
+ Este documento explica como fazer uma IA entender a Sema sem depender de memória prévia do modelo. A estratégia correta não é presumir que a IA "já conhece a linguagem", e sim entregar contexto suficiente para ela operar com segurança.
10
+
11
+ Leia isso do ponto de vista da CLI pública. A IA não deve assumir que está dentro do monorepo da Sema, nem que precisa chamar `node pacotes/cli/dist/index.js`.
12
+
13
+ ## Principio central
14
+
15
+ Uma IA entende uma linguagem nova quando recebe quatro camadas de contexto:
16
+
17
+ 1. sintaxe
18
+ 2. semântica
19
+ 3. estrutura intermediaria estavel
20
+ 4. exemplos reais
21
+
22
+ Sem essas quatro camadas, o modelo comeca a adivinhar. É adivinhação em linguagem de contrato e pedir para nascer bug feio.
23
+
24
+ Antes de qualquer outra coisa, a IA também precisa receber a **moldura correta**:
25
+
26
+ - a Sema é um contrato semântico IA-first para agentes operarem software vivo
27
+ - a Sema foi feita para IA, não para ergonomia humana
28
+ - a Sema não foi feita para "automatizar tudo"
29
+ - a Sema existe para explicitar, alinhar e verificar contrato contra sistema vivo
30
+ - humanos sao autores, revisores e aprovadores; agentes sao consumidores primarios
31
+
32
+ Se a IA errar essa moldura, ela vai cobrar da ferramenta a coisa errada e operar por adivinhação.
33
+
34
+ ## Camada 1. Sintaxe
35
+
36
+ A IA precisa saber como a linguagem e escrita.
37
+
38
+ Fontes principais:
39
+
40
+ - [README.md](../README.md)
41
+ - [sintaxe.md](./sintaxe.md)
42
+ - [integração-com-ia.md](./integracao-com-ia.md)
43
+
44
+ Objetivo dessa camada:
45
+
46
+ - reconhecer blocos validos
47
+ - entender delimitadores
48
+ - não inventar palavras-chave
49
+ - respeitar a organizacao canonicamente formatada
50
+
51
+ ## Camada 2. Semântica
52
+
53
+ Depois de saber ler, a IA precisa saber o que cada bloco significa.
54
+
55
+ Fontes principais:
56
+
57
+ - [README.md](../README.md)
58
+ - [integração-com-ia.md](./integracao-com-ia.md)
59
+ - [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
60
+
61
+ Objetivo dessa camada:
62
+
63
+ - distinguir contrato interno de `task`
64
+ - distinguir contrato público de `route`
65
+ - entender `effects`, `guarantees`, `error`, `state` e `flow`
66
+ - operar na linguagem como especificacao executavel, não como texto decorativo
67
+ - entender que `importar` e bootstrap
68
+ - entender que `drift` e regua de coerência contra o runtime
69
+ - entender que `impl` e ponte rastreavel para simbolo vivo
70
+
71
+ ## Camada 3. Estrutura intermediaria estavel
72
+
73
+ Essa e a camada que faz a parada parar de ser um cassino.
74
+
75
+ Em vez de confiar que a IA vai interpretar `.sema` cru de primeira, use a CLI como tradutora oficial da linguagem.
76
+
77
+ Comandos principais:
78
+
79
+ ```bash
80
+ sema resumo arquivo.sema --micro --para onboarding
81
+ sema validar arquivo.sema --json
82
+ sema diagnosticos arquivo.sema --json
83
+ sema ast arquivo.sema --json
84
+ sema ir arquivo.sema --json
85
+ sema verificar arquivo-ou-pasta --json --saida ./.tmp/verificacao-ia
86
+ ```
87
+
88
+ Como cada comando ajuda:
89
+
90
+ - `resumo`: entrega cartao semântico pequeno para IA com janela curta
91
+ - `validar --json`: diz se a base está semanticamente valida
92
+ - `diagnosticos --json`: devolve erros e avisos como contrato estruturado
93
+ - `ast --json`: mostra a forma sintatica escrita
94
+ - `ir --json`: mostra a forma semântica resolvida
95
+ - `verificar --json`: mostra o estado operacional do projeto
96
+
97
+ Se a IA puder consumir `ir --json`, melhor ainda. É ali que a linguagem fica menos ambigua e mais utilizavel para automacao. Para modelo pequeno, comece em `resumo` e `briefing.min.json`.
98
+
99
+ ## Camada 4. Exemplos reais
100
+
101
+ Modelo aprende muito por padrão. Por isso, bons exemplos valem quase tanto quanto especificacao.
102
+
103
+ Arquivos recomendados:
104
+
105
+ - [pagamento.sema](../exemplos/pagamento.sema)
106
+ - [pagamento_dominio.sema](../exemplos/pagamento_dominio.sema)
107
+ - [automacao.sema](../exemplos/automacao.sema)
108
+ - [tratamento_erro.sema](../exemplos/tratamento_erro.sema)
109
+ - [crud_simples.sema](../exemplos/crud_simples.sema)
110
+
111
+ O vertical oficial de pagamento deve ser tratado como a referência principal.
112
+
113
+ ## O que a IA não deve fazer
114
+
115
+ - inventar palavras-chave fora da gramática
116
+ - introduzir blocos inexistentes
117
+ - assumir semântica que não aparece na especificacao
118
+ - tratar draft importado como contrato final só porque veio da CLI
119
+ - tratar a Sema como gerador mágico de sistema completo
120
+ - editar `.sema` sem rodar `sema formatar`
121
+ - encerrar alteracao sem consultar `diagnosticos` quando houver falha
122
+
123
+ ## O que a IA deve fazer
124
+
125
+ - usar a gramática e os exemplos como fonte de estilo
126
+ - usar a IR como fonte de verdade semântica sempre que possóvel
127
+ - usar diagnósticos estruturados como guia de correcao
128
+ - rodar o formatador antes de considerar o trabalho pronto
129
+ - validar e verificar a mudanca no mesmo fluxo
130
+
131
+ ## Estratégia recomendada
132
+
133
+ Se voce for instruir uma IA para trabalhar com Sema, entregue o contexto nesta ordem:
134
+
135
+ 1. [README.md](../README.md)
136
+ 2. [como-ensinar-a-sema-para-ia.md](./como-ensinar-a-sema-para-ia.md)
137
+ 3. [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
138
+ 4. [prompt-base-ia-sema.md](./prompt-base-ia-sema.md)
139
+ 5. `sema resumo --micro` ou `sema resumo --curto`, conforme a capacidade da IA
140
+ 6. `ast --json`, `ir --json` e `diagnosticos --json` do módulo alvo, se a capacidade aguentar
141
+
142
+ Essa ordem faz a IA ir de contexto geral para contexto operacional, em vez de cair direto num arquivo cru e sair chutando.
143
+
144
+ ## Regra de ouro
145
+
146
+ A Sema foi desenhada para ser entendida por IA, mas isso não significa que a IA vai adivinhar sozinha.
147
+
148
+ Ela entende bem quando recebe:
149
+
150
+ - especificacao
151
+ - exemplos
152
+ - JSON estrutural
153
+ - feedback automático
154
+
155
+ Sem isso, até o modelo mais caro vira estagiário emocionado.