@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.
- package/AGENTS.md +279 -265
- package/AGENT_CONTEXT_PACK.json +164 -0
- package/README.md +144 -144
- package/SEMA_BRIEF.curto.txt +7 -7
- package/SEMA_BRIEF.md +464 -65
- package/SEMA_BRIEF.micro.txt +6 -6
- package/SEMA_INDEX.json +6723 -669
- package/dist/bridge.d.ts +52 -0
- package/dist/bridge.js +318 -0
- package/dist/bridge.js.map +1 -0
- package/dist/comandos.d.ts +11 -0
- package/dist/comandos.js +110 -0
- package/dist/comandos.js.map +1 -0
- package/dist/contexto.d.ts +34 -0
- package/dist/contexto.js +197 -0
- package/dist/contexto.js.map +1 -0
- package/dist/drift.d.ts +1 -1
- package/dist/drift.js +32 -5
- package/dist/drift.js.map +1 -1
- package/dist/index.js +391 -64
- package/dist/index.js.map +1 -1
- package/dist/lua-symbols.d.ts +0 -6
- package/dist/lua-symbols.js +11 -78
- package/dist/lua-symbols.js.map +1 -1
- package/dist/projeto.js +6 -0
- package/dist/projeto.js.map +1 -1
- package/dist/tipos.d.ts +1 -1
- package/docs/AGENT_STARTER.md +109 -109
- package/docs/api.md +82 -0
- package/docs/cli.md +175 -175
- package/docs/como-ensinar-a-sema-para-ia.md +155 -155
- package/docs/deploy.md +93 -93
- package/docs/documentacao.md +88 -88
- package/docs/env.md +105 -105
- package/docs/extensao-vscode.md +53 -53
- package/docs/fluxo-pratico-ia-sema.md +187 -187
- package/docs/instalacao-e-primeiro-uso.md +134 -134
- package/docs/integracao-com-ia.md +110 -110
- package/docs/mcp.md +292 -292
- package/docs/pagamento-ponta-a-ponta.md +171 -171
- package/docs/persistencia-vendor-first.md +151 -151
- package/docs/prompt-base-ia-sema.md +111 -111
- package/docs/repositories.md +54 -54
- package/docs/rollback.md +49 -49
- package/docs/seguranca.md +126 -126
- package/docs/sintaxe.md +218 -218
- package/exemplos/author_obra_comum.sema +294 -294
- package/exemplos/author_tema_sensivel.sema +264 -264
- package/exemplos/profile_game.sema +114 -114
- package/exemplos/profile_legal.sema +105 -105
- package/exemplos/profile_ops.sema +110 -110
- package/exemplos/profile_research.sema +104 -104
- package/exemplos/profile_software.sema +123 -123
- package/exemplos/profile_workflow_n8n.sema +99 -99
- package/llms-full.txt +10 -9
- package/llms.txt +8 -7
- package/node_modules/@sema/gerador-css/package.json +1 -1
- package/node_modules/@sema/gerador-dart/package.json +1 -1
- package/node_modules/@sema/gerador-html/package.json +1 -1
- package/node_modules/@sema/gerador-javascript/package.json +1 -1
- package/node_modules/@sema/gerador-lua/package.json +1 -1
- package/node_modules/@sema/gerador-python/package.json +1 -1
- package/node_modules/@sema/gerador-typescript/package.json +1 -1
- package/node_modules/@sema/nucleo/dist/ast/tipos.d.ts +1 -1
- package/node_modules/@sema/nucleo/dist/index.d.ts +17 -0
- package/node_modules/@sema/nucleo/dist/index.js +28 -0
- package/node_modules/@sema/nucleo/dist/index.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/ir/conversor.js +4 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/ir/modelos.d.ts +3 -3
- package/node_modules/@sema/nucleo/dist/parser/parser.js +2 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/semantico/analisador.d.ts +2 -2
- package/node_modules/@sema/nucleo/dist/semantico/analisador.js +3 -1
- package/node_modules/@sema/nucleo/dist/semantico/analisador.js.map +1 -1
- package/node_modules/@sema/nucleo/package.json +1 -1
- package/node_modules/@sema/padroes/package.json +1 -1
- package/package.json +11 -10
- package/dist/php-symbols.d.ts +0 -24
- package/dist/php-symbols.js +0 -375
- 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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|