@semacode/cli 1.3.2 → 1.3.6
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/dist/index.js +33 -27
- package/dist/index.js.map +1 -1
- package/node_modules/@sema/gerador-css/package.json +10 -3
- package/node_modules/@sema/gerador-css/src/index.ts +605 -0
- package/node_modules/@sema/gerador-css/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-css/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-dart/package.json +10 -3
- package/node_modules/@sema/gerador-dart/src/index.ts +52 -0
- package/node_modules/@sema/gerador-dart/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-dart/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-html/package.json +10 -3
- package/node_modules/@sema/gerador-html/src/index.ts +185 -0
- package/node_modules/@sema/gerador-html/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-html/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-javascript/package.json +10 -3
- package/node_modules/@sema/gerador-javascript/src/index.ts +461 -0
- package/node_modules/@sema/gerador-javascript/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-javascript/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-lua/package.json +10 -3
- package/node_modules/@sema/gerador-lua/src/index.d.ts +3 -0
- package/node_modules/@sema/gerador-lua/src/index.js.map +1 -0
- package/node_modules/@sema/gerador-lua/src/index.ts +359 -0
- package/node_modules/@sema/gerador-lua/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-lua/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-python/package.json +10 -3
- package/node_modules/@sema/gerador-python/src/index.ts +706 -0
- package/node_modules/@sema/gerador-python/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-python/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-typescript/package.json +10 -3
- package/node_modules/@sema/gerador-typescript/src/index.ts +728 -0
- package/node_modules/@sema/gerador-typescript/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-typescript/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/nucleo/package.json +6 -3
- package/node_modules/@sema/nucleo/src/ast/tipos.ts +191 -0
- package/node_modules/@sema/nucleo/src/diagnosticos/index.ts +43 -0
- package/node_modules/@sema/nucleo/src/formatador/index.ts +507 -0
- package/node_modules/@sema/nucleo/src/index.ts +133 -0
- package/node_modules/@sema/nucleo/src/ir/conversor.ts +912 -0
- package/node_modules/@sema/nucleo/src/ir/modelos.ts +331 -0
- package/node_modules/@sema/nucleo/src/lexer/lexer.ts +166 -0
- package/node_modules/@sema/nucleo/src/lexer/tokens.ts +64 -0
- package/node_modules/@sema/nucleo/src/parser/gramatica.ebnf +39 -0
- package/node_modules/@sema/nucleo/src/parser/parser.ts +790 -0
- package/node_modules/@sema/nucleo/src/semantico/analisador.ts +2692 -0
- package/node_modules/@sema/nucleo/src/semantico/estruturas.ts +632 -0
- package/node_modules/@sema/nucleo/src/semantico/seguranca.ts +362 -0
- package/node_modules/@sema/nucleo/src/util/arquivos.ts +28 -0
- package/node_modules/@sema/nucleo/tsconfig.json +9 -0
- package/node_modules/@sema/nucleo/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/padroes/package.json +6 -3
- package/node_modules/@sema/padroes/src/index.ts +251 -0
- package/node_modules/@sema/padroes/tsconfig.json +9 -0
- package/node_modules/@sema/padroes/tsconfig.tsbuildinfo +1 -0
- package/package.json +21 -33
- package/AGENTS.md +0 -272
- package/LICENSE +0 -22
- package/README.md +0 -73
- package/SEMA_BRIEF.curto.txt +0 -9
- package/SEMA_BRIEF.md +0 -49
- package/SEMA_BRIEF.micro.txt +0 -7
- package/SEMA_INDEX.json +0 -546
- package/docs/AGENT_STARTER.md +0 -102
- package/docs/como-ensinar-a-sema-para-ia.md +0 -149
- package/docs/fluxo-pratico-ia-sema.md +0 -177
- package/docs/instalacao-e-primeiro-uso.md +0 -196
- package/docs/integracao-com-ia.md +0 -228
- package/docs/pagamento-ponta-a-ponta.md +0 -155
- package/docs/prompt-base-ia-sema.md +0 -104
- package/docs/sintaxe.md +0 -361
- package/exemplos/agendamento.sema +0 -106
- package/exemplos/assinatura.sema +0 -136
- package/exemplos/auditoria.sema +0 -88
- package/exemplos/autenticacao.sema +0 -125
- package/exemplos/automacao.sema +0 -107
- package/exemplos/cadastro_usuario.sema +0 -54
- package/exemplos/calculadora.sema +0 -78
- package/exemplos/crud_simples.sema +0 -89
- package/exemplos/estoque.sema +0 -126
- package/exemplos/exportacao.sema +0 -94
- package/exemplos/fila.sema +0 -131
- package/exemplos/integracao_externa.sema +0 -94
- package/exemplos/multi_tenant.sema +0 -140
- package/exemplos/notificacao.sema +0 -98
- package/exemplos/operacao_estrategia.sema +0 -402
- package/exemplos/pagamento.sema +0 -222
- package/exemplos/pagamento_dominio.sema +0 -35
- package/exemplos/pedido.sema +0 -119
- package/exemplos/permissao.sema +0 -121
- package/exemplos/relatorio.sema +0 -93
- package/exemplos/testes_embutidos.sema +0 -45
- package/exemplos/tratamento_erro.sema +0 -157
- package/exemplos/upload_arquivo.sema +0 -93
- package/exemplos/webhook.sema +0 -96
- package/llms-full.txt +0 -34
- package/llms.txt +0 -17
- package/logo.png +0 -0
|
@@ -1,149 +0,0 @@
|
|
|
1
|
-
# Como Ensinar a Sema para IA
|
|
2
|
-
|
|
3
|
-
Este documento explica como fazer uma IA entender a Sema sem depender de memoria previa do modelo. A estrategia correta nao e presumir que a IA "ja conhece a linguagem", e sim entregar contexto suficiente para ela operar com seguranca.
|
|
4
|
-
|
|
5
|
-
Leia isso do ponto de vista da CLI publica. A IA nao deve assumir que esta dentro do monorepo da Sema, nem que precisa chamar `node pacotes/cli/dist/index.js`.
|
|
6
|
-
|
|
7
|
-
## Principio central
|
|
8
|
-
|
|
9
|
-
Uma IA entende uma linguagem nova quando recebe quatro camadas de contexto:
|
|
10
|
-
|
|
11
|
-
1. sintaxe
|
|
12
|
-
2. semantica
|
|
13
|
-
3. estrutura intermediaria estavel
|
|
14
|
-
4. exemplos reais
|
|
15
|
-
|
|
16
|
-
Sem essas quatro camadas, o modelo comeca a adivinhar. E adivinhacao em linguagem de contrato e pedir para nascer bug feio.
|
|
17
|
-
|
|
18
|
-
Antes de qualquer outra coisa, a IA tambem precisa receber a **moldura correta**:
|
|
19
|
-
|
|
20
|
-
- a Sema e um protocolo de governanca de intencao
|
|
21
|
-
- a Sema foi feita para IA, nao para ergonomia humana
|
|
22
|
-
- a Sema nao foi feita para "automatizar tudo"
|
|
23
|
-
- a Sema existe para explicitar, alinhar e verificar contrato contra sistema vivo
|
|
24
|
-
- curadoria humana continua parte da proposta
|
|
25
|
-
|
|
26
|
-
Se a IA errar essa moldura, ela vai cobrar da ferramenta a coisa errada e operar feito um animal apressado.
|
|
27
|
-
|
|
28
|
-
## Camada 1. Sintaxe
|
|
29
|
-
|
|
30
|
-
A IA precisa saber como a linguagem e escrita.
|
|
31
|
-
|
|
32
|
-
Fontes principais:
|
|
33
|
-
|
|
34
|
-
- [README.md](../README.md)
|
|
35
|
-
- [sintaxe.md](./sintaxe.md)
|
|
36
|
-
- [integracao-com-ia.md](./integracao-com-ia.md)
|
|
37
|
-
|
|
38
|
-
Objetivo dessa camada:
|
|
39
|
-
|
|
40
|
-
- reconhecer blocos validos
|
|
41
|
-
- entender delimitadores
|
|
42
|
-
- nao inventar palavras-chave
|
|
43
|
-
- respeitar a organizacao canonicamente formatada
|
|
44
|
-
|
|
45
|
-
## Camada 2. Semantica
|
|
46
|
-
|
|
47
|
-
Depois de saber ler, a IA precisa saber o que cada bloco significa.
|
|
48
|
-
|
|
49
|
-
Fontes principais:
|
|
50
|
-
|
|
51
|
-
- [README.md](../README.md)
|
|
52
|
-
- [integracao-com-ia.md](./integracao-com-ia.md)
|
|
53
|
-
- [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
|
|
54
|
-
|
|
55
|
-
Objetivo dessa camada:
|
|
56
|
-
|
|
57
|
-
- distinguir contrato interno de `task`
|
|
58
|
-
- distinguir contrato publico de `route`
|
|
59
|
-
- entender `effects`, `guarantees`, `error`, `state` e `flow`
|
|
60
|
-
- operar na linguagem como especificacao executavel, nao como texto decorativo
|
|
61
|
-
- entender que `importar` e bootstrap
|
|
62
|
-
- entender que `drift` e regua de coerencia contra o runtime
|
|
63
|
-
- entender que `impl` e ponte rastreavel para simbolo vivo
|
|
64
|
-
|
|
65
|
-
## Camada 3. Estrutura intermediaria estavel
|
|
66
|
-
|
|
67
|
-
Essa e a camada que faz a parada parar de ser um cassino.
|
|
68
|
-
|
|
69
|
-
Em vez de confiar que a IA vai interpretar `.sema` cru de primeira, use a CLI como tradutora oficial da linguagem.
|
|
70
|
-
|
|
71
|
-
Comandos principais:
|
|
72
|
-
|
|
73
|
-
```bash
|
|
74
|
-
sema resumo arquivo.sema --micro --para onboarding
|
|
75
|
-
sema validar arquivo.sema --json
|
|
76
|
-
sema diagnosticos arquivo.sema --json
|
|
77
|
-
sema ast arquivo.sema --json
|
|
78
|
-
sema ir arquivo.sema --json
|
|
79
|
-
sema verificar arquivo-ou-pasta --json --saida ./.tmp/verificacao-ia
|
|
80
|
-
```
|
|
81
|
-
|
|
82
|
-
Como cada comando ajuda:
|
|
83
|
-
|
|
84
|
-
- `resumo`: entrega cartao semantico pequeno para IA com janela curta
|
|
85
|
-
- `validar --json`: diz se a base esta semanticamente valida
|
|
86
|
-
- `diagnosticos --json`: devolve erros e avisos como contrato estruturado
|
|
87
|
-
- `ast --json`: mostra a forma sintatica escrita
|
|
88
|
-
- `ir --json`: mostra a forma semantica resolvida
|
|
89
|
-
- `verificar --json`: mostra o estado operacional do projeto
|
|
90
|
-
|
|
91
|
-
Se a IA puder consumir `ir --json`, melhor ainda. E ali que a linguagem fica menos ambigua e mais utilizavel para automacao. Mas nao seja um animal: para modelo pequeno, comece em `resumo` e `briefing.min.json`.
|
|
92
|
-
|
|
93
|
-
## Camada 4. Exemplos reais
|
|
94
|
-
|
|
95
|
-
Modelo aprende muito por padrao. Por isso, bons exemplos valem quase tanto quanto especificacao.
|
|
96
|
-
|
|
97
|
-
Arquivos recomendados:
|
|
98
|
-
|
|
99
|
-
- [pagamento.sema](../exemplos/pagamento.sema)
|
|
100
|
-
- [pagamento_dominio.sema](../exemplos/pagamento_dominio.sema)
|
|
101
|
-
- [automacao.sema](../exemplos/automacao.sema)
|
|
102
|
-
- [tratamento_erro.sema](../exemplos/tratamento_erro.sema)
|
|
103
|
-
- [crud_simples.sema](../exemplos/crud_simples.sema)
|
|
104
|
-
|
|
105
|
-
O vertical oficial de pagamento deve ser tratado como a referencia principal.
|
|
106
|
-
|
|
107
|
-
## O que a IA nao deve fazer
|
|
108
|
-
|
|
109
|
-
- inventar palavras-chave fora da gramatica
|
|
110
|
-
- introduzir blocos inexistentes
|
|
111
|
-
- assumir semantica que nao aparece na especificacao
|
|
112
|
-
- tratar draft importado como contrato final so porque veio da CLI
|
|
113
|
-
- tratar a Sema como gerador magico de sistema completo
|
|
114
|
-
- editar `.sema` sem rodar `sema formatar`
|
|
115
|
-
- encerrar alteracao sem consultar `diagnosticos` quando houver falha
|
|
116
|
-
|
|
117
|
-
## O que a IA deve fazer
|
|
118
|
-
|
|
119
|
-
- usar a gramatica e os exemplos como fonte de estilo
|
|
120
|
-
- usar a IR como fonte de verdade semantica sempre que possivel
|
|
121
|
-
- usar diagnosticos estruturados como guia de correcao
|
|
122
|
-
- rodar o formatador antes de considerar o trabalho pronto
|
|
123
|
-
- validar e verificar a mudanca no mesmo fluxo
|
|
124
|
-
|
|
125
|
-
## Estrategia recomendada
|
|
126
|
-
|
|
127
|
-
Se voce for instruir uma IA para trabalhar com Sema, entregue o contexto nesta ordem:
|
|
128
|
-
|
|
129
|
-
1. [README.md](../README.md)
|
|
130
|
-
2. [como-ensinar-a-sema-para-ia.md](./como-ensinar-a-sema-para-ia.md)
|
|
131
|
-
3. [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
|
|
132
|
-
4. [prompt-base-ia-sema.md](./prompt-base-ia-sema.md)
|
|
133
|
-
5. `sema resumo --micro` ou `sema resumo --curto`, conforme a capacidade da IA
|
|
134
|
-
6. `ast --json`, `ir --json` e `diagnosticos --json` do modulo alvo, se a capacidade aguentar
|
|
135
|
-
|
|
136
|
-
Essa ordem faz a IA ir de contexto geral para contexto operacional, em vez de cair direto num arquivo cru e sair chutando.
|
|
137
|
-
|
|
138
|
-
## Regra de ouro
|
|
139
|
-
|
|
140
|
-
A Sema foi desenhada para ser entendida por IA, mas isso nao significa que a IA vai adivinhar sozinha.
|
|
141
|
-
|
|
142
|
-
Ela entende bem quando recebe:
|
|
143
|
-
|
|
144
|
-
- especificacao
|
|
145
|
-
- exemplos
|
|
146
|
-
- JSON estrutural
|
|
147
|
-
- feedback automatico
|
|
148
|
-
|
|
149
|
-
Sem isso, ate o modelo mais caro vira estagiario emocionado.
|
|
@@ -1,177 +0,0 @@
|
|
|
1
|
-
# Fluxo Pratico para IA Antes de Editar `.sema`
|
|
2
|
-
|
|
3
|
-
Este documento descreve o fluxo operacional recomendado para qualquer IA antes, durante e depois de alterar arquivos `.sema`.
|
|
4
|
-
|
|
5
|
-
Se a IA seguir isso, ela trabalha com contexto. Se nao seguir, vira adivinhacao gourmet.
|
|
6
|
-
|
|
7
|
-
## Fluxo curto
|
|
8
|
-
|
|
9
|
-
1. ler contexto do projeto
|
|
10
|
-
2. identificar a capacidade da IA
|
|
11
|
-
3. identificar o modulo alvo
|
|
12
|
-
4. consultar o menor artefato semantico suficiente
|
|
13
|
-
5. editar
|
|
14
|
-
6. formatar
|
|
15
|
-
7. validar
|
|
16
|
-
8. verificar
|
|
17
|
-
|
|
18
|
-
## Fluxo detalhado
|
|
19
|
-
|
|
20
|
-
### Etapa 1. Ler contexto minimo
|
|
21
|
-
|
|
22
|
-
Antes de tocar em qualquer arquivo, a IA deve ler:
|
|
23
|
-
|
|
24
|
-
- [README.md](../README.md)
|
|
25
|
-
- [integracao-com-ia.md](./integracao-com-ia.md)
|
|
26
|
-
- [como-ensinar-a-sema-para-ia.md](./como-ensinar-a-sema-para-ia.md)
|
|
27
|
-
|
|
28
|
-
Se o trabalho estiver ligado a pagamento, ler tambem:
|
|
29
|
-
|
|
30
|
-
- [pagamento-ponta-a-ponta.md](./pagamento-ponta-a-ponta.md)
|
|
31
|
-
|
|
32
|
-
### Etapa 2. Escolher a faixa de capacidade
|
|
33
|
-
|
|
34
|
-
Antes de despejar contexto na IA, escolha o que ela aguenta:
|
|
35
|
-
|
|
36
|
-
- IA pequena ou gratuita: `sema resumo --micro` e `briefing.min.json`
|
|
37
|
-
- IA media: `sema resumo --curto`, `briefing.min.json` e `drift.json`
|
|
38
|
-
- IA grande: `contexto-ia`, `briefing.json`, `drift.json`, `ir.json` e `ast.json`
|
|
39
|
-
|
|
40
|
-
### Etapa 3. Ler o modulo alvo e um exemplo parecido
|
|
41
|
-
|
|
42
|
-
A IA deve identificar:
|
|
43
|
-
|
|
44
|
-
- qual arquivo sera editado
|
|
45
|
-
- qual modulo esse arquivo representa
|
|
46
|
-
- qual exemplo oficial mais se parece com o que precisa ser feito
|
|
47
|
-
|
|
48
|
-
Regra pratica:
|
|
49
|
-
|
|
50
|
-
- automacao: [automacao.sema](../exemplos/automacao.sema)
|
|
51
|
-
- erros e fluxos de falha: [tratamento_erro.sema](../exemplos/tratamento_erro.sema)
|
|
52
|
-
- borda publica e pagamento: [pagamento.sema](../exemplos/pagamento.sema)
|
|
53
|
-
|
|
54
|
-
### Etapa 4. Consultar AST e IR quando fizer sentido
|
|
55
|
-
|
|
56
|
-
Antes de alterar, a IA deve executar:
|
|
57
|
-
|
|
58
|
-
```bash
|
|
59
|
-
sema resumo caminho/arquivo.sema --curto --para mudanca
|
|
60
|
-
sema ast caminho/arquivo.sema --json
|
|
61
|
-
sema ir caminho/arquivo.sema --json
|
|
62
|
-
```
|
|
63
|
-
|
|
64
|
-
Objetivo:
|
|
65
|
-
|
|
66
|
-
- ver a forma sintatica quando a capacidade aguentar
|
|
67
|
-
- ver a forma semantica resolvida quando a capacidade aguentar
|
|
68
|
-
- evitar interpretar errado o contrato
|
|
69
|
-
|
|
70
|
-
### Etapa 5. Editar o `.sema`
|
|
71
|
-
|
|
72
|
-
Ao editar, a IA deve:
|
|
73
|
-
|
|
74
|
-
- preservar a intencao do modulo
|
|
75
|
-
- seguir a gramatica existente
|
|
76
|
-
- evitar criar bloco ou operador nao suportado
|
|
77
|
-
- preferir a forma ja usada nos exemplos oficiais
|
|
78
|
-
|
|
79
|
-
### Etapa 6. Formatar
|
|
80
|
-
|
|
81
|
-
Depois da edicao:
|
|
82
|
-
|
|
83
|
-
```bash
|
|
84
|
-
sema formatar caminho/arquivo.sema
|
|
85
|
-
sema formatar caminho/arquivo.sema --check
|
|
86
|
-
```
|
|
87
|
-
|
|
88
|
-
Se `--check` falhar, o trabalho ainda nao esta pronto.
|
|
89
|
-
|
|
90
|
-
### Etapa 7. Validar e diagnosticar
|
|
91
|
-
|
|
92
|
-
Depois da formatacao:
|
|
93
|
-
|
|
94
|
-
```bash
|
|
95
|
-
sema validar caminho/arquivo.sema --json
|
|
96
|
-
sema diagnosticos caminho/arquivo.sema --json
|
|
97
|
-
```
|
|
98
|
-
|
|
99
|
-
Se houver falha:
|
|
100
|
-
|
|
101
|
-
- usar os diagnosticos estruturados como contrato de correcao
|
|
102
|
-
- nao insistir em leitura manual teimosa quando a CLI ja disse onde esta a merda
|
|
103
|
-
|
|
104
|
-
### Etapa 7.5. Compilar quando a tarefa pedir codigo derivado
|
|
105
|
-
|
|
106
|
-
Se a tarefa nao for so editar contrato, mas tambem gerar base de implementacao, a IA deve rodar explicitamente:
|
|
107
|
-
|
|
108
|
-
```bash
|
|
109
|
-
sema compilar caminho/arquivo.sema --alvo typescript --saida ./saida/typescript
|
|
110
|
-
```
|
|
111
|
-
|
|
112
|
-
Ou trocar o alvo para `python` ou `dart`, conforme o caso.
|
|
113
|
-
|
|
114
|
-
Regra pratica:
|
|
115
|
-
|
|
116
|
-
- se a entrega inclui codigo derivado, `sema compilar` nao e opcional
|
|
117
|
-
- se a IA ignorar `compilar`, ela pode acabar reescrevendo na mao coisa que a Sema ja gera sozinha, que e burrice operacional
|
|
118
|
-
|
|
119
|
-
### Etapa 8. Verificar
|
|
120
|
-
|
|
121
|
-
No fechamento:
|
|
122
|
-
|
|
123
|
-
```bash
|
|
124
|
-
sema verificar arquivo-ou-pasta --json --saida ./.tmp/verificacao-ia
|
|
125
|
-
```
|
|
126
|
-
|
|
127
|
-
## Fluxo minimo para automacao
|
|
128
|
-
|
|
129
|
-
Se voce quiser o menor fluxo aceitavel para uma IA pequena:
|
|
130
|
-
|
|
131
|
-
```bash
|
|
132
|
-
sema resumo caminho/arquivo.sema --micro --para mudanca
|
|
133
|
-
sema formatar caminho/arquivo.sema
|
|
134
|
-
sema validar caminho/arquivo.sema --json
|
|
135
|
-
```
|
|
136
|
-
|
|
137
|
-
Mas, sendo sincero, o fluxo bom mesmo e fechar com `verificar`.
|
|
138
|
-
|
|
139
|
-
Se a tarefa envolver codigo derivado, o fluxo minimo aceitavel vira:
|
|
140
|
-
|
|
141
|
-
```bash
|
|
142
|
-
sema ir caminho/arquivo.sema --json
|
|
143
|
-
sema formatar caminho/arquivo.sema
|
|
144
|
-
sema validar caminho/arquivo.sema --json
|
|
145
|
-
sema compilar caminho/arquivo.sema --alvo typescript --saida ./saida/typescript
|
|
146
|
-
```
|
|
147
|
-
|
|
148
|
-
## Checklist de saida
|
|
149
|
-
|
|
150
|
-
Antes de considerar a alteracao pronta, a IA deve responder mentalmente:
|
|
151
|
-
|
|
152
|
-
- eu entendi o modulo e o contrato?
|
|
153
|
-
- eu mantive a sintaxe dentro do que a linguagem suporta?
|
|
154
|
-
- eu formatei o arquivo?
|
|
155
|
-
- eu validei?
|
|
156
|
-
- eu olhei diagnosticos se algo falhou?
|
|
157
|
-
- eu fechei com verificacao?
|
|
158
|
-
|
|
159
|
-
Se alguma resposta for "nao", ainda nao terminou.
|
|
160
|
-
|
|
161
|
-
## Regra de ouro
|
|
162
|
-
|
|
163
|
-
Em Sema, a IA nao deveria operar no escuro.
|
|
164
|
-
|
|
165
|
-
Ela deve trabalhar sempre com:
|
|
166
|
-
|
|
167
|
-
- exemplo oficial
|
|
168
|
-
- AST
|
|
169
|
-
- IR
|
|
170
|
-
- diagnosticos
|
|
171
|
-
- formatador
|
|
172
|
-
|
|
173
|
-
Esse conjunto e o que faz a linguagem ser amigavel para IA de verdade, e nao so no discurso bonito.
|
|
174
|
-
|
|
175
|
-
## Observacao sobre caminhos
|
|
176
|
-
|
|
177
|
-
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.
|
|
@@ -1,196 +0,0 @@
|
|
|
1
|
-
# Instalacao e Primeiro Uso
|
|
2
|
-
|
|
3
|
-
Este guia mostra o caminho mais curto para testar a Sema do jeito certo, sem misturar fluxo de usuario com gambiarra de contribuinte.
|
|
4
|
-
|
|
5
|
-
## Requisitos
|
|
6
|
-
|
|
7
|
-
- Node.js instalado
|
|
8
|
-
- npm funcionando
|
|
9
|
-
- Python 3 e `pytest` se voce quiser rodar o fluxo completo de testes Python gerados
|
|
10
|
-
|
|
11
|
-
O repositorio so e necessario se voce quiser contribuir na Sema, rodar o showcase oficial localmente ou empacotar release.
|
|
12
|
-
|
|
13
|
-
## Caminho oficial
|
|
14
|
-
|
|
15
|
-
Instalacao via npm:
|
|
16
|
-
|
|
17
|
-
```bash
|
|
18
|
-
npm install -g @semacode/cli
|
|
19
|
-
sema --help
|
|
20
|
-
sema doctor
|
|
21
|
-
```
|
|
22
|
-
|
|
23
|
-
Se preferir o tarball oficial da GitHub Release:
|
|
24
|
-
|
|
25
|
-
```bash
|
|
26
|
-
npm install -g https://github.com/gerlanss/Sema/releases/latest/download/sema-cli-latest.tgz
|
|
27
|
-
sema --help
|
|
28
|
-
sema doctor
|
|
29
|
-
```
|
|
30
|
-
|
|
31
|
-
Instalacao local ao projeto:
|
|
32
|
-
|
|
33
|
-
```bash
|
|
34
|
-
npm install @semacode/cli
|
|
35
|
-
npx sema --help
|
|
36
|
-
```
|
|
37
|
-
|
|
38
|
-
Instaladores auxiliares para a linha publica atual:
|
|
39
|
-
|
|
40
|
-
- Linux/macOS: `curl -fsSL https://raw.githubusercontent.com/gerlanss/Sema/v1.0.0/install-sema.sh | bash`
|
|
41
|
-
- Windows PowerShell: `irm https://raw.githubusercontent.com/gerlanss/Sema/v1.0.0/install-sema.ps1 | iex`
|
|
42
|
-
|
|
43
|
-
Se voce quiser reproducao estrita, prefira o npm registry ou o tarball da GitHub Release.
|
|
44
|
-
|
|
45
|
-
## Primeiro teste sem clonar o repo
|
|
46
|
-
|
|
47
|
-
```bash
|
|
48
|
-
mkdir sema-demo
|
|
49
|
-
cd sema-demo
|
|
50
|
-
sema iniciar
|
|
51
|
-
sema validar contratos/pedidos.sema --json
|
|
52
|
-
```
|
|
53
|
-
|
|
54
|
-
## Primeiro fluxo util
|
|
55
|
-
|
|
56
|
-
```bash
|
|
57
|
-
sema validar contratos/pedidos.sema --json
|
|
58
|
-
sema ast contratos/pedidos.sema --json
|
|
59
|
-
sema ir contratos/pedidos.sema --json
|
|
60
|
-
sema formatar contratos/pedidos.sema
|
|
61
|
-
sema verificar contratos --saida ./.tmp/verificacao
|
|
62
|
-
```
|
|
63
|
-
|
|
64
|
-
## Primeiro fluxo de IA real
|
|
65
|
-
|
|
66
|
-
Sem clonar o repo, o fluxo que mais mostra a proposta da Sema hoje e:
|
|
67
|
-
|
|
68
|
-
```bash
|
|
69
|
-
sema inspecionar . --json
|
|
70
|
-
sema resumo contratos/pedidos.sema --micro --para mudanca
|
|
71
|
-
sema drift contratos/pedidos.sema --json
|
|
72
|
-
sema contexto-ia contratos/pedidos.sema --saida ./.tmp/contexto-pedidos --json
|
|
73
|
-
```
|
|
74
|
-
|
|
75
|
-
Esse fluxo mostra:
|
|
76
|
-
|
|
77
|
-
- base de projeto resolvida
|
|
78
|
-
- cartao semantico curto para IA pequena ou gratuita
|
|
79
|
-
- codigo vivo detectado
|
|
80
|
-
- `impl` e `vinculos` resolvidos
|
|
81
|
-
- score, confianca e lacunas do `drift`
|
|
82
|
-
- `briefing.min.json` e `briefing.json` para IA antes da edicao
|
|
83
|
-
|
|
84
|
-
## `sema.config.json`
|
|
85
|
-
|
|
86
|
-
Exemplo de configuracao para projeto real:
|
|
87
|
-
|
|
88
|
-
```json
|
|
89
|
-
{
|
|
90
|
-
"origens": ["./contratos"],
|
|
91
|
-
"saida": "./generated",
|
|
92
|
-
"alvos": ["typescript", "python"],
|
|
93
|
-
"alvoPadrao": "typescript",
|
|
94
|
-
"estruturaSaida": "backend",
|
|
95
|
-
"framework": "nestjs",
|
|
96
|
-
"modoEstrito": true,
|
|
97
|
-
"diretoriosSaidaPorAlvo": {
|
|
98
|
-
"typescript": "./generated/nestjs",
|
|
99
|
-
"python": "./generated/fastapi"
|
|
100
|
-
},
|
|
101
|
-
"convencoesGeracaoPorProjeto": "backend"
|
|
102
|
-
}
|
|
103
|
-
```
|
|
104
|
-
|
|
105
|
-
## Gerar codigo
|
|
106
|
-
|
|
107
|
-
Scaffold base:
|
|
108
|
-
|
|
109
|
-
```bash
|
|
110
|
-
sema compilar contratos/pedidos.sema --alvo typescript --saida ./saida/typescript
|
|
111
|
-
sema compilar contratos/pedidos.sema --alvo python --saida ./saida/python
|
|
112
|
-
sema compilar contratos/pedidos.sema --alvo dart --saida ./saida/dart
|
|
113
|
-
```
|
|
114
|
-
|
|
115
|
-
Scaffold backend:
|
|
116
|
-
|
|
117
|
-
```bash
|
|
118
|
-
sema compilar contratos/pedidos.sema --alvo typescript --framework nestjs --estrutura backend --saida ./generated/nestjs
|
|
119
|
-
sema compilar contratos/pedidos.sema --alvo python --framework fastapi --estrutura backend --saida ./generated/fastapi
|
|
120
|
-
```
|
|
121
|
-
|
|
122
|
-
## Extensao VS Code
|
|
123
|
-
|
|
124
|
-
Via GitHub Release:
|
|
125
|
-
|
|
126
|
-
```bash
|
|
127
|
-
curl -L -o sema-language-tools.vsix https://github.com/gerlanss/Sema/releases/latest/download/sema-language-tools-latest.vsix
|
|
128
|
-
code --install-extension ./sema-language-tools.vsix --force
|
|
129
|
-
```
|
|
130
|
-
|
|
131
|
-
Windows PowerShell:
|
|
132
|
-
|
|
133
|
-
```powershell
|
|
134
|
-
Invoke-WebRequest -Uri https://github.com/gerlanss/Sema/releases/latest/download/sema-language-tools-latest.vsix -OutFile sema-language-tools.vsix
|
|
135
|
-
code --install-extension .\sema-language-tools.vsix --force
|
|
136
|
-
```
|
|
137
|
-
|
|
138
|
-
Pagina oficial:
|
|
139
|
-
|
|
140
|
-
- [https://github.com/gerlanss/Sema/releases/latest](https://github.com/gerlanss/Sema/releases/latest)
|
|
141
|
-
|
|
142
|
-
Se voce estiver desenvolvendo a propria extensao localmente, ai sim entra a trilha de contribuinte:
|
|
143
|
-
|
|
144
|
-
```bash
|
|
145
|
-
npm run extensao:empacotar
|
|
146
|
-
npm run extensao:instalar-local
|
|
147
|
-
```
|
|
148
|
-
|
|
149
|
-
## Caminho de contribuinte
|
|
150
|
-
|
|
151
|
-
Se o objetivo for desenvolver a propria Sema:
|
|
152
|
-
|
|
153
|
-
```bash
|
|
154
|
-
npm install
|
|
155
|
-
npm run build
|
|
156
|
-
npm run cli:instalar-local
|
|
157
|
-
sema validar exemplos/calculadora.sema
|
|
158
|
-
```
|
|
159
|
-
|
|
160
|
-
Se quiser validar tudo de cara:
|
|
161
|
-
|
|
162
|
-
```bash
|
|
163
|
-
npm run project:check
|
|
164
|
-
```
|
|
165
|
-
|
|
166
|
-
## `npm link` continua existindo
|
|
167
|
-
|
|
168
|
-
Esse fluxo continua util, mas e trilha de contribuinte:
|
|
169
|
-
|
|
170
|
-
```powershell
|
|
171
|
-
npm run cli:instalar-local
|
|
172
|
-
```
|
|
173
|
-
|
|
174
|
-
Serve para:
|
|
175
|
-
|
|
176
|
-
- testar a experiencia de terminal no proprio ambiente
|
|
177
|
-
- desenvolver a CLI
|
|
178
|
-
- usar `sema` como interface principal mesmo durante o desenvolvimento local
|
|
179
|
-
|
|
180
|
-
Para remover:
|
|
181
|
-
|
|
182
|
-
```powershell
|
|
183
|
-
npm run cli:desinstalar-local
|
|
184
|
-
```
|
|
185
|
-
|
|
186
|
-
## Resumo honesto
|
|
187
|
-
|
|
188
|
-
Hoje o jeito certo de testar a Sema e:
|
|
189
|
-
|
|
190
|
-
1. instalar a CLI pelo npm ou pela GitHub Release
|
|
191
|
-
2. rodar `sema iniciar`
|
|
192
|
-
3. validar `contratos/pedidos.sema`
|
|
193
|
-
4. usar `inspecionar -> resumo -> drift -> contexto-ia` quando o projeto for vivo
|
|
194
|
-
5. ler `briefing.min.json` ou `briefing.json` antes de mandar a IA sair cavando arquivo
|
|
195
|
-
|
|
196
|
-
Clone + build + `npm link` continua bom para oficina, nao para landing page publica.
|