@semacode/cli 1.5.30 → 1.5.32
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 +294 -0
- package/AGENT_CONTEXT_PACK.json +164 -0
- package/LICENSE +22 -0
- package/README.md +85 -144
- package/SEMA_BRIEF.curto.txt +11 -0
- package/SEMA_BRIEF.md +616 -0
- package/SEMA_BRIEF.micro.txt +9 -0
- package/SEMA_INDEX.json +9393 -0
- package/dist/billing/index.d.ts +46 -0
- package/dist/billing/index.js +143 -0
- package/dist/billing/index.js.map +1 -0
- package/dist/comandos.js +33 -0
- package/dist/comandos.js.map +1 -1
- package/dist/controleComercialSupabase.d.ts +7 -0
- package/dist/controleComercialSupabase.js +6 -0
- package/dist/controleComercialSupabase.js.map +1 -0
- package/dist/controleComercialSupabaseAdmin.d.ts +7 -0
- package/dist/controleComercialSupabaseAdmin.js +138 -0
- package/dist/controleComercialSupabaseAdmin.js.map +1 -0
- package/dist/controleComercialSupabaseCadastro.d.ts +4 -0
- package/dist/controleComercialSupabaseCadastro.js +85 -0
- package/dist/controleComercialSupabaseCadastro.js.map +1 -0
- package/dist/controleComercialSupabaseConstantes.d.ts +28 -0
- package/dist/controleComercialSupabaseConstantes.js +44 -0
- package/dist/controleComercialSupabaseConstantes.js.map +1 -0
- package/dist/controleComercialSupabaseConsumo.d.ts +2 -0
- package/dist/controleComercialSupabaseConsumo.js +77 -0
- package/dist/controleComercialSupabaseConsumo.js.map +1 -0
- package/dist/controleComercialSupabaseConta.d.ts +11 -0
- package/dist/controleComercialSupabaseConta.js +157 -0
- package/dist/controleComercialSupabaseConta.js.map +1 -0
- package/dist/controleComercialSupabaseProfiles.d.ts +4 -0
- package/dist/controleComercialSupabaseProfiles.js +55 -0
- package/dist/controleComercialSupabaseProfiles.js.map +1 -0
- package/dist/controleComercialSupabaseTipos.d.ts +3 -0
- package/dist/controleComercialSupabaseTipos.js +2 -0
- package/dist/controleComercialSupabaseTipos.js.map +1 -0
- package/dist/controleComercialSupabaseTiposAdmin.d.ts +152 -0
- package/dist/controleComercialSupabaseTiposAdmin.js +2 -0
- package/dist/controleComercialSupabaseTiposAdmin.js.map +1 -0
- package/dist/controleComercialSupabaseTiposBase.d.ts +169 -0
- package/dist/controleComercialSupabaseTiposBase.js +2 -0
- package/dist/controleComercialSupabaseTiposBase.js.map +1 -0
- package/dist/controleComercialSupabaseTiposConta.d.ts +220 -0
- package/dist/controleComercialSupabaseTiposConta.js +2 -0
- package/dist/controleComercialSupabaseTiposConta.js.map +1 -0
- package/dist/dev/index.d.ts +18 -0
- package/dist/dev/index.js +143 -0
- package/dist/dev/index.js.map +1 -0
- package/dist/index.js +222 -46
- package/dist/index.js.map +1 -1
- package/dist/init/index.d.ts +23 -0
- package/dist/init/index.js +112 -0
- package/dist/init/index.js.map +1 -0
- package/dist/init/templates.d.ts +11 -0
- package/dist/init/templates.js +660 -0
- package/dist/init/templates.js.map +1 -0
- package/dist/runnerValidacaoRemota.d.ts +9 -0
- package/dist/runnerValidacaoRemota.js +9 -0
- package/dist/runnerValidacaoRemota.js.map +1 -0
- package/dist/runnerValidacaoRemotaBateria.d.ts +10 -0
- package/dist/runnerValidacaoRemotaBateria.js +115 -0
- package/dist/runnerValidacaoRemotaBateria.js.map +1 -0
- package/dist/runnerValidacaoRemotaCli.d.ts +4 -0
- package/dist/runnerValidacaoRemotaCli.js +86 -0
- package/dist/runnerValidacaoRemotaCli.js.map +1 -0
- package/dist/runnerValidacaoRemotaComandos.d.ts +7 -0
- package/dist/runnerValidacaoRemotaComandos.js +123 -0
- package/dist/runnerValidacaoRemotaComandos.js.map +1 -0
- package/dist/runnerValidacaoRemotaEscopo.d.ts +4 -0
- package/dist/runnerValidacaoRemotaEscopo.js +79 -0
- package/dist/runnerValidacaoRemotaEscopo.js.map +1 -0
- package/dist/runnerValidacaoRemotaExecucao.d.ts +2 -0
- package/dist/runnerValidacaoRemotaExecucao.js +102 -0
- package/dist/runnerValidacaoRemotaExecucao.js.map +1 -0
- package/dist/runnerValidacaoRemotaRelatorio.d.ts +3 -0
- package/dist/runnerValidacaoRemotaRelatorio.js +93 -0
- package/dist/runnerValidacaoRemotaRelatorio.js.map +1 -0
- package/dist/runnerValidacaoRemotaServidor.d.ts +3 -0
- package/dist/runnerValidacaoRemotaServidor.js +157 -0
- package/dist/runnerValidacaoRemotaServidor.js.map +1 -0
- package/dist/runnerValidacaoRemotaSnapshot.d.ts +10 -0
- package/dist/runnerValidacaoRemotaSnapshot.js +217 -0
- package/dist/runnerValidacaoRemotaSnapshot.js.map +1 -0
- package/dist/runnerValidacaoRemotaTipos.d.ts +158 -0
- package/dist/runnerValidacaoRemotaTipos.js +35 -0
- package/dist/runnerValidacaoRemotaTipos.js.map +1 -0
- package/dist/runnerValidacaoRemotaUtil.d.ts +3 -0
- package/dist/runnerValidacaoRemotaUtil.js +18 -0
- package/dist/runnerValidacaoRemotaUtil.js.map +1 -0
- package/dist/runnerValidacaoRemotaWorkspace.d.ts +2 -0
- package/dist/runnerValidacaoRemotaWorkspace.js +110 -0
- package/dist/runnerValidacaoRemotaWorkspace.js.map +1 -0
- package/dist/sync/index.d.ts +24 -0
- package/dist/sync/index.js +174 -0
- package/dist/sync/index.js.map +1 -0
- package/docs/AGENT_STARTER.md +109 -0
- package/docs/api.md +82 -0
- package/docs/cli.md +93 -0
- package/docs/como-ensinar-a-sema-para-ia.md +30 -0
- package/docs/deploy.md +45 -0
- package/docs/documentacao.md +88 -0
- package/docs/env.md +115 -0
- package/docs/extensao-vscode.md +42 -0
- package/docs/fluxo-pratico-ia-sema.md +187 -0
- package/docs/instalacao-e-primeiro-uso.md +48 -0
- package/docs/integracao-com-ia.md +24 -0
- package/docs/mcp.md +48 -0
- package/docs/pagamento-ponta-a-ponta.md +171 -0
- package/docs/persistencia-vendor-first.md +151 -0
- package/docs/prompt-base-ia-sema.md +111 -0
- package/docs/repositories.md +69 -0
- package/docs/rollback.md +24 -0
- package/docs/seguranca.md +126 -0
- package/docs/sintaxe.md +218 -0
- package/exemplos/profile_conversas.sema +165 -0
- package/llms-full.txt +35 -0
- package/llms.txt +18 -0
- package/node_modules/@sema/gerador-css/package.json +7 -14
- package/node_modules/@sema/gerador-dart/package.json +7 -14
- package/node_modules/@sema/gerador-html/package.json +7 -14
- package/node_modules/@sema/gerador-javascript/package.json +7 -14
- package/node_modules/@sema/gerador-lua/package.json +7 -14
- package/node_modules/@sema/gerador-python/package.json +7 -14
- package/node_modules/@sema/gerador-typescript/package.json +7 -14
- package/node_modules/@sema/nucleo/dist/diagnosticos/melhorador.d.ts +22 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/melhorador.js +97 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/melhorador.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/index.d.ts +1 -0
- package/node_modules/@sema/nucleo/dist/index.js +1 -0
- package/node_modules/@sema/nucleo/dist/index.js.map +1 -1
- package/node_modules/@sema/nucleo/package.json +7 -10
- package/node_modules/@sema/padroes/package.json +7 -10
- package/package.json +75 -74
- package/exemplos/.prepack-generated +0 -1
- package/node_modules/@sema/gerador-css/src/index.ts +0 -605
- package/node_modules/@sema/gerador-css/tsconfig.json +0 -13
- package/node_modules/@sema/gerador-css/tsconfig.tsbuildinfo +0 -1
- package/node_modules/@sema/gerador-dart/src/index.ts +0 -52
- package/node_modules/@sema/gerador-dart/tsconfig.json +0 -13
- package/node_modules/@sema/gerador-dart/tsconfig.tsbuildinfo +0 -1
- package/node_modules/@sema/gerador-html/src/index.ts +0 -185
- package/node_modules/@sema/gerador-html/tsconfig.json +0 -13
- package/node_modules/@sema/gerador-html/tsconfig.tsbuildinfo +0 -1
- package/node_modules/@sema/gerador-javascript/src/index.ts +0 -461
- package/node_modules/@sema/gerador-javascript/tsconfig.json +0 -13
- package/node_modules/@sema/gerador-javascript/tsconfig.tsbuildinfo +0 -1
- package/node_modules/@sema/gerador-lua/src/index.ts +0 -359
- package/node_modules/@sema/gerador-lua/tsconfig.json +0 -13
- package/node_modules/@sema/gerador-lua/tsconfig.tsbuildinfo +0 -1
- package/node_modules/@sema/gerador-python/src/index.ts +0 -850
- package/node_modules/@sema/gerador-python/tsconfig.json +0 -13
- package/node_modules/@sema/gerador-python/tsconfig.tsbuildinfo +0 -1
- package/node_modules/@sema/gerador-typescript/src/index.ts +0 -876
- package/node_modules/@sema/gerador-typescript/tsconfig.json +0 -13
- package/node_modules/@sema/gerador-typescript/tsconfig.tsbuildinfo +0 -1
- package/node_modules/@sema/nucleo/src/ast/tipos.ts +0 -207
- package/node_modules/@sema/nucleo/src/diagnosticos/index.ts +0 -43
- package/node_modules/@sema/nucleo/src/formatador/index.ts +0 -530
- package/node_modules/@sema/nucleo/src/index.ts +0 -183
- package/node_modules/@sema/nucleo/src/ir/conversor.ts +0 -1037
- package/node_modules/@sema/nucleo/src/ir/modelos.ts +0 -403
- package/node_modules/@sema/nucleo/src/lexer/lexer.ts +0 -166
- package/node_modules/@sema/nucleo/src/lexer/tokens.ts +0 -79
- package/node_modules/@sema/nucleo/src/parser/gramatica.ebnf +0 -41
- package/node_modules/@sema/nucleo/src/parser/parser.ts +0 -936
- package/node_modules/@sema/nucleo/src/persistencia/contratos.ts +0 -379
- package/node_modules/@sema/nucleo/src/semantico/analisador.ts +0 -3126
- package/node_modules/@sema/nucleo/src/semantico/estruturas.ts +0 -665
- package/node_modules/@sema/nucleo/src/semantico/seguranca.ts +0 -362
- package/node_modules/@sema/nucleo/src/util/arquivos.ts +0 -28
- package/node_modules/@sema/nucleo/tsconfig.json +0 -9
- package/node_modules/@sema/nucleo/tsconfig.tsbuildinfo +0 -1
- package/node_modules/@sema/padroes/src/index.ts +0 -382
- package/node_modules/@sema/padroes/tsconfig.json +0 -9
- package/node_modules/@sema/padroes/tsconfig.tsbuildinfo +0 -1
package/AGENTS.md
ADDED
|
@@ -0,0 +1,294 @@
|
|
|
1
|
+
# Sema — Regras obrigatorias para IA
|
|
2
|
+
|
|
3
|
+
O Sema e o contrato semantico IA-first deste projeto.
|
|
4
|
+
Toda IA deve consultar o Sema antes de qualquer acao sobre codigo ou contratos. Humanos escrevem e aprovam; agentes consomem o contrato para operar software vivo.
|
|
5
|
+
|
|
6
|
+
## Regras
|
|
7
|
+
|
|
8
|
+
1. Ao abrir o projeto, chame sema_resumo para entender o estado atual.
|
|
9
|
+
2. Antes de criar qualquer modulo, rota, task ou contrato, chame sema_inspecionar no arquivo .sema mais proximo.
|
|
10
|
+
3. Antes de editar codigo existente, chame sema_drift para verificar divergencias entre contrato e implementacao.
|
|
11
|
+
4. Ao criar ou editar um arquivo .sema, chame sema_validar ao final.
|
|
12
|
+
5. Nunca invente contratos — use o Sema para descobrir o que ja existe.
|
|
13
|
+
6. Se qualquer ferramenta Sema retornar erro, corrija o problema antes de prosseguir — nao avance com codigo enquanto houver erros Sema pendentes.
|
|
14
|
+
7. Contrato vem antes de qualquer acao: crie, edite ou remova o `.sema` aplicavel antes de codigo, deploy, docs operacionais, workflow, texto Author, game, legal, research ou ops.
|
|
15
|
+
|
|
16
|
+
## MCP
|
|
17
|
+
|
|
18
|
+
O servidor MCP do Sema e uma superficie privada/comercial acessada por endpoint remoto autorizado; ele nao e instalado por pacote npm publico neste repositorio.
|
|
19
|
+
Use as ferramentas quando o endpoint privado estiver configurado: sema_resumo, sema_validar, sema_drift, sema_impacto, sema_renomear_semantico, sema_inspecionar, sema_ir, sema_verificar, sema_contexto_ia, sema_prompt_ia, sema_author_iniciar, sema_author_validar, sema_author_briefing, sema_author_revisar_cliches, sema_sync_ai_entrypoints, sema_instalar_exemplos, sema_docs_impacto, sema_finalizar_mudanca.
|
|
20
|
+
|
|
21
|
+
O MCP deve deixar claro em toda orientacao: se nao existe contrato, crie; se a intencao mudou, edite; se a capacidade saiu, remova ou aposente. Isso vale para todo tipo de Sema: Software, Author, Workflow, Ops, Game, Legal, Research e profiles futuros.
|
|
22
|
+
|
|
23
|
+
## Plataformas e Interfaces
|
|
24
|
+
|
|
25
|
+
### IDEs com MCP (Roo Code, VS Code, Cursor, Windsurf, etc.)
|
|
26
|
+
Quando usar MCP Sema configurado:
|
|
27
|
+
1. Ao abrir o projeto, chame `sema_resumo` para entender o estado atual
|
|
28
|
+
2. **ANTES DE QUALQUER AÇÃO**: chame `sema_docs_impacto` com sua intenção declarada
|
|
29
|
+
3. Aguarde a resposta com as docs obrigatórias e leia-as antes de agir
|
|
30
|
+
4. Use `sema_finalizar_mudanca` para comprovar que leu as docs
|
|
31
|
+
|
|
32
|
+
### Web / Chat (ChatGPT, Lovable, etc.)
|
|
33
|
+
Quando usar Sema via web sem MCP:
|
|
34
|
+
1. Ao abrir o projeto, chame `sema_resumo` (se disponivel via web hook)
|
|
35
|
+
2. **ANTES DE QUALQUER AÇÃO**: Declare sua intenção ao usuário
|
|
36
|
+
3. Use `sema_docs_impacto` para descobrir docs obrigatórias (se via API)
|
|
37
|
+
4. Leia as docs antes de agir e finalize com `sema_finalizar_mudanca`
|
|
38
|
+
|
|
39
|
+
### CLI / Terminal
|
|
40
|
+
Quando usar Sema via CLI:
|
|
41
|
+
1. Execute `sema resumo` para entender o estado atual
|
|
42
|
+
2. Execute `sema docs-impacto` antes de qualquer ação
|
|
43
|
+
3. Leia as docs recomendadas antes de editar/criar/deletar
|
|
44
|
+
4. Execute `sema finalizar-mudanca` ao concluir
|
|
45
|
+
|
|
46
|
+
## Contratos e exemplos
|
|
47
|
+
|
|
48
|
+
- Sempre salve arquivos .sema na pasta `contratos/` do projeto.
|
|
49
|
+
- Crie um arquivo .sema por modulo ou contexto de negocio. Exemplo: `contratos/pedido.sema`, `contratos/pagamento.sema`, `contratos/usuario.sema`. Nunca coloque modulos de contextos diferentes no mesmo arquivo.
|
|
50
|
+
- Antes de criar qualquer arquivo .sema, leia todos os arquivos da pasta `exemplos/` para entender o formato correto da linguagem.
|
|
51
|
+
- Nunca edite os arquivos da pasta `exemplos/`.
|
|
52
|
+
|
|
53
|
+
## Quando o projeto nao tem .sema
|
|
54
|
+
|
|
55
|
+
Pergunte ao usuario se deseja semantizar o projeto e sugira: sema iniciar
|
|
56
|
+
|
|
57
|
+
## Exemplos de arquivos .sema (referencia de formato)
|
|
58
|
+
|
|
59
|
+
### 1. Task simples com testes
|
|
60
|
+
```
|
|
61
|
+
module exemplos.calculadora {
|
|
62
|
+
task somar {
|
|
63
|
+
input {
|
|
64
|
+
a: Numero required
|
|
65
|
+
b: Numero required
|
|
66
|
+
}
|
|
67
|
+
output {
|
|
68
|
+
resultado: Numero
|
|
69
|
+
}
|
|
70
|
+
rules {
|
|
71
|
+
a deve_ser numero_valido
|
|
72
|
+
b deve_ser numero_valido
|
|
73
|
+
}
|
|
74
|
+
effects {
|
|
75
|
+
auditoria operacao soma
|
|
76
|
+
}
|
|
77
|
+
guarantees {
|
|
78
|
+
resultado existe
|
|
79
|
+
}
|
|
80
|
+
error {
|
|
81
|
+
entrada_invalida: "Os valores precisam ser numericos."
|
|
82
|
+
}
|
|
83
|
+
tests {
|
|
84
|
+
caso "soma basica" {
|
|
85
|
+
given { a: 2 b: 3 }
|
|
86
|
+
expect { sucesso: verdadeiro }
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
```
|
|
92
|
+
|
|
93
|
+
### 2. Entity + CRUD com route
|
|
94
|
+
```
|
|
95
|
+
module exemplos.crud.simples {
|
|
96
|
+
entity Produto {
|
|
97
|
+
fields {
|
|
98
|
+
id: Id
|
|
99
|
+
nome: Texto
|
|
100
|
+
preco: Decimal
|
|
101
|
+
ativo: Booleano
|
|
102
|
+
}
|
|
103
|
+
}
|
|
104
|
+
|
|
105
|
+
task criar_produto {
|
|
106
|
+
input {
|
|
107
|
+
nome: Texto required
|
|
108
|
+
preco: Decimal required
|
|
109
|
+
}
|
|
110
|
+
output {
|
|
111
|
+
produto: Produto
|
|
112
|
+
}
|
|
113
|
+
rules {
|
|
114
|
+
nome deve_ser preenchido
|
|
115
|
+
preco deve_ser positivo
|
|
116
|
+
}
|
|
117
|
+
effects {
|
|
118
|
+
persistencia Produto
|
|
119
|
+
auditoria produto_criado
|
|
120
|
+
}
|
|
121
|
+
guarantees {
|
|
122
|
+
produto existe
|
|
123
|
+
}
|
|
124
|
+
tests {
|
|
125
|
+
caso "cria produto" {
|
|
126
|
+
given { nome: "Caneca" preco: 39.9 }
|
|
127
|
+
expect { sucesso: verdadeiro }
|
|
128
|
+
}
|
|
129
|
+
}
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
route produtos {
|
|
133
|
+
metodo: POST
|
|
134
|
+
caminho: /produtos
|
|
135
|
+
task: criar_produto
|
|
136
|
+
finalidade: cadastro_produto
|
|
137
|
+
input { nome: Texto preco: Decimal }
|
|
138
|
+
output { produto: Produto }
|
|
139
|
+
}
|
|
140
|
+
}
|
|
141
|
+
```
|
|
142
|
+
|
|
143
|
+
### 3. Cadastro com validacoes e unicidade
|
|
144
|
+
```
|
|
145
|
+
module exemplos.cadastro.usuario {
|
|
146
|
+
entity Usuario {
|
|
147
|
+
fields {
|
|
148
|
+
id: Id
|
|
149
|
+
nome: Texto
|
|
150
|
+
email: Email
|
|
151
|
+
ativo: Booleano
|
|
152
|
+
}
|
|
153
|
+
}
|
|
154
|
+
|
|
155
|
+
task criar_usuario {
|
|
156
|
+
input {
|
|
157
|
+
nome: Texto required
|
|
158
|
+
email: Email required
|
|
159
|
+
}
|
|
160
|
+
output {
|
|
161
|
+
usuario: Usuario
|
|
162
|
+
}
|
|
163
|
+
rules {
|
|
164
|
+
nome deve_ser preenchido
|
|
165
|
+
email deve_ser email_valido
|
|
166
|
+
email deve_ser unico em Usuario.email
|
|
167
|
+
}
|
|
168
|
+
effects {
|
|
169
|
+
persistencia Usuario
|
|
170
|
+
evento usuario_criado
|
|
171
|
+
auditoria cadastro_usuario
|
|
172
|
+
}
|
|
173
|
+
guarantees {
|
|
174
|
+
usuario existe
|
|
175
|
+
persistencia concluida
|
|
176
|
+
}
|
|
177
|
+
error {
|
|
178
|
+
email_duplicado: "Ja existe usuario com este email."
|
|
179
|
+
entrada_invalida: "Os dados informados nao atendem as regras."
|
|
180
|
+
}
|
|
181
|
+
tests {
|
|
182
|
+
caso "cria usuario valido" {
|
|
183
|
+
given { nome: "Ana" email: "ana@empresa.com" }
|
|
184
|
+
expect { sucesso: verdadeiro }
|
|
185
|
+
}
|
|
186
|
+
}
|
|
187
|
+
}
|
|
188
|
+
}
|
|
189
|
+
```
|
|
190
|
+
|
|
191
|
+
### 4. Pagamento com state e flow
|
|
192
|
+
```
|
|
193
|
+
module exemplos.pagamento {
|
|
194
|
+
task processar_pagamento {
|
|
195
|
+
input {
|
|
196
|
+
pagamento_id: Id required
|
|
197
|
+
valor: Decimal required
|
|
198
|
+
token: Texto required
|
|
199
|
+
}
|
|
200
|
+
output {
|
|
201
|
+
pagamento: Pagamento
|
|
202
|
+
status: StatusPagamento
|
|
203
|
+
}
|
|
204
|
+
rules {
|
|
205
|
+
valor > 0
|
|
206
|
+
token deve_ser valido
|
|
207
|
+
}
|
|
208
|
+
effects {
|
|
209
|
+
consulta gateway_pagamento criticidade = alta
|
|
210
|
+
persistencia Pagamento criticidade = alta
|
|
211
|
+
evento pagamento_autorizado criticidade = media
|
|
212
|
+
auditoria pagamento criticidade = alta
|
|
213
|
+
}
|
|
214
|
+
state ciclo_pagamento {
|
|
215
|
+
transitions {
|
|
216
|
+
PENDENTE -> AUTORIZADO
|
|
217
|
+
AUTORIZADO -> PROCESSADO
|
|
218
|
+
}
|
|
219
|
+
}
|
|
220
|
+
guarantees {
|
|
221
|
+
pagamento existe
|
|
222
|
+
status em [AUTORIZADO, PROCESSADO]
|
|
223
|
+
}
|
|
224
|
+
error {
|
|
225
|
+
autorizacao_negada: "Recusado pelo gateway."
|
|
226
|
+
timeout_gateway: "Gateway nao respondeu."
|
|
227
|
+
}
|
|
228
|
+
tests {
|
|
229
|
+
caso "pagamento autorizado" {
|
|
230
|
+
given { pagamento_id: "pag_1" valor: 199.9 token: "tok_ok" }
|
|
231
|
+
expect { sucesso: verdadeiro }
|
|
232
|
+
}
|
|
233
|
+
caso "pagamento recusado" {
|
|
234
|
+
given { pagamento_id: "pag_err" valor: 10 token: "tok_recusado" }
|
|
235
|
+
expect { sucesso: falso }
|
|
236
|
+
error { tipo: "autorizacao_negada" }
|
|
237
|
+
}
|
|
238
|
+
}
|
|
239
|
+
}
|
|
240
|
+
|
|
241
|
+
flow orquestracao_pagamento {
|
|
242
|
+
pagamento_id: Id
|
|
243
|
+
valor: Decimal
|
|
244
|
+
token: Texto
|
|
245
|
+
etapa autorizar usa processar_pagamento com pagamento_id = pagamento_id, valor = valor, token = token em_sucesso confirmar em_erro registrar_falha
|
|
246
|
+
etapa confirmar usa confirmar_pagamento com pagamento_id = pagamento_id depende_de autorizar
|
|
247
|
+
etapa registrar_falha usa registrar_timeout_pagamento com pagamento_id = pagamento_id depende_de autorizar
|
|
248
|
+
}
|
|
249
|
+
}
|
|
250
|
+
```
|
|
251
|
+
|
|
252
|
+
### 5. Tratamento de erro com flow ramificado
|
|
253
|
+
```
|
|
254
|
+
module exemplos.tratamento.erro {
|
|
255
|
+
task executar_operacao_sensivel {
|
|
256
|
+
input {
|
|
257
|
+
chave: Texto required
|
|
258
|
+
}
|
|
259
|
+
output {
|
|
260
|
+
protocolo: Id
|
|
261
|
+
}
|
|
262
|
+
rules {
|
|
263
|
+
chave deve_ser preenchida
|
|
264
|
+
}
|
|
265
|
+
effects {
|
|
266
|
+
consulta cofre
|
|
267
|
+
auditoria falha_operacao_sensivel
|
|
268
|
+
}
|
|
269
|
+
guarantees {
|
|
270
|
+
protocolo existe
|
|
271
|
+
}
|
|
272
|
+
error {
|
|
273
|
+
acesso_negado: "A chave nao tem permissao."
|
|
274
|
+
recurso_indisponivel: "Servico temporariamente indisponivel."
|
|
275
|
+
}
|
|
276
|
+
tests {
|
|
277
|
+
caso "falha por acesso negado" {
|
|
278
|
+
given { chave: "sem_permissao" }
|
|
279
|
+
expect { sucesso: falso }
|
|
280
|
+
error { tipo: "acesso_negado" }
|
|
281
|
+
}
|
|
282
|
+
}
|
|
283
|
+
}
|
|
284
|
+
|
|
285
|
+
flow resposta_segura {
|
|
286
|
+
chave: Texto
|
|
287
|
+
etapa tentar usa executar_operacao_sensivel com chave = chave em_sucesso concluir em_erro registrar_falha por_erro acesso_negado = tratar_acesso_negado, recurso_indisponivel = agendar_retentativa
|
|
288
|
+
etapa tratar_acesso_negado usa responder_acesso_negado com chave = chave depende_de tentar
|
|
289
|
+
etapa agendar_retentativa usa responder_retentativa com chave = chave depende_de tentar
|
|
290
|
+
etapa registrar_falha usa registrar_auditoria_falha com chave = chave depende_de tentar
|
|
291
|
+
etapa concluir usa registrar_sucesso com protocolo = tentar.protocolo depende_de tentar
|
|
292
|
+
}
|
|
293
|
+
}
|
|
294
|
+
```
|
|
@@ -0,0 +1,164 @@
|
|
|
1
|
+
{
|
|
2
|
+
"nome": "Agent Context Pack",
|
|
3
|
+
"versao": 1,
|
|
4
|
+
"objetivo": "Dar a agentes IA uma entrada curta, estruturada e auditavel antes de abrir codigo cru ou inventar contexto.",
|
|
5
|
+
"ordemLeitura": [
|
|
6
|
+
"llms.txt",
|
|
7
|
+
"AGENT_CONTEXT_PACK.json",
|
|
8
|
+
"SEMA_BRIEF.micro.txt",
|
|
9
|
+
"SEMA_INDEX.json",
|
|
10
|
+
"AGENTS.md",
|
|
11
|
+
"exemplos/"
|
|
12
|
+
],
|
|
13
|
+
"regrasObrigatorias": [
|
|
14
|
+
"Contrato vem antes da acao.",
|
|
15
|
+
"Leia AGENTS.md antes de editar codigo, contrato, docs operacionais, release ou deploy.",
|
|
16
|
+
"Use exemplos oficiais antes de criar ou corrigir sintaxe .sema.",
|
|
17
|
+
"Use SEMA_INDEX.json para escolher contrato, modulo e arquivos provaveis antes de abrir codigo cru.",
|
|
18
|
+
"Valide .sema alterado e rode drift antes de concluir.",
|
|
19
|
+
"Quando faltar contrato aplicavel, crie ou edite o contrato antes do codigo."
|
|
20
|
+
],
|
|
21
|
+
"proibicoes": [
|
|
22
|
+
"Nao inventar sintaxe Sema fora da gramatica e dos exemplos oficiais.",
|
|
23
|
+
"Nao tratar README, texto livre ou codigo como fonte superior ao contrato.",
|
|
24
|
+
"Nao sincronizar segredos, .env, node_modules, builds, caches, uploads ou artefatos privados fora do escopo.",
|
|
25
|
+
"Nao publicar, deployar ou remover capacidade sem contrato, drift e verificacao.",
|
|
26
|
+
"Nao misturar repositorio publico e privado sem conferir docs de repositorios e AGENTS.md."
|
|
27
|
+
],
|
|
28
|
+
"prioridades": [
|
|
29
|
+
"Menor artefato suficiente primeiro.",
|
|
30
|
+
"Contrato, indice e AGENTS antes de codigo cru.",
|
|
31
|
+
"Exemplos oficiais antes de nova sintaxe.",
|
|
32
|
+
"Diagnostico estruturado antes de opiniao livre.",
|
|
33
|
+
"Se risco ou escopo estiver ambigui, parar e pedir contrato/contexto."
|
|
34
|
+
],
|
|
35
|
+
"fontes": [
|
|
36
|
+
{
|
|
37
|
+
"caminho": "llms.txt",
|
|
38
|
+
"tipo": "entrypoint",
|
|
39
|
+
"prioridade": 1,
|
|
40
|
+
"obrigatorio": true,
|
|
41
|
+
"quandoUsar": "sempre no primeiro contato com o projeto",
|
|
42
|
+
"incluirTextoBrutoQuando": "a IA precisa de orientacao compacta para operar o repositorio"
|
|
43
|
+
},
|
|
44
|
+
{
|
|
45
|
+
"caminho": "AGENT_CONTEXT_PACK.json",
|
|
46
|
+
"tipo": "entrypoint",
|
|
47
|
+
"prioridade": 2,
|
|
48
|
+
"obrigatorio": true,
|
|
49
|
+
"quandoUsar": "sempre antes de decidir quais documentos ou exemplos abrir",
|
|
50
|
+
"incluirTextoBrutoQuando": "a IA precisa auditar regras, proibicoes, prioridades e fontes de verdade"
|
|
51
|
+
},
|
|
52
|
+
{
|
|
53
|
+
"caminho": "SEMA_BRIEF.micro.txt",
|
|
54
|
+
"tipo": "resumo",
|
|
55
|
+
"prioridade": 3,
|
|
56
|
+
"obrigatorio": true,
|
|
57
|
+
"quandoUsar": "IA pequena, onboarding, chat remoto ou primeiro triage",
|
|
58
|
+
"incluirTextoBrutoQuando": "a tarefa cabe em contexto curto"
|
|
59
|
+
},
|
|
60
|
+
{
|
|
61
|
+
"caminho": "SEMA_BRIEF.curto.txt",
|
|
62
|
+
"tipo": "resumo",
|
|
63
|
+
"prioridade": 4,
|
|
64
|
+
"obrigatorio": true,
|
|
65
|
+
"quandoUsar": "IA media, mudanca pequena ou review rapido",
|
|
66
|
+
"incluirTextoBrutoQuando": "o modulo alvo ainda nao esta claro pelo micro"
|
|
67
|
+
},
|
|
68
|
+
{
|
|
69
|
+
"caminho": "SEMA_INDEX.json",
|
|
70
|
+
"tipo": "indice",
|
|
71
|
+
"prioridade": 5,
|
|
72
|
+
"obrigatorio": true,
|
|
73
|
+
"quandoUsar": "antes de abrir codigo cru ou escolher contrato alvo",
|
|
74
|
+
"incluirTextoBrutoQuando": "a IA precisa mapear modulos, lacunas, riscos ou arquivos provaveis"
|
|
75
|
+
},
|
|
76
|
+
{
|
|
77
|
+
"caminho": "AGENTS.md",
|
|
78
|
+
"tipo": "operacional",
|
|
79
|
+
"prioridade": 6,
|
|
80
|
+
"obrigatorio": true,
|
|
81
|
+
"quandoUsar": "antes de editar codigo, contrato, docs operacionais, release ou deploy",
|
|
82
|
+
"incluirTextoBrutoQuando": "a IA precisa confirmar regras locais obrigatorias e prioridades do projeto"
|
|
83
|
+
},
|
|
84
|
+
{
|
|
85
|
+
"caminho": "exemplos/",
|
|
86
|
+
"tipo": "exemplos",
|
|
87
|
+
"prioridade": 7,
|
|
88
|
+
"obrigatorio": true,
|
|
89
|
+
"quandoUsar": "antes de criar ou corrigir arquivo .sema, profile, Author, workflow, ops, game, legal ou research",
|
|
90
|
+
"incluirTextoBrutoQuando": "a IA vai escrever sintaxe Sema ou comparar um contrato com formato oficial"
|
|
91
|
+
},
|
|
92
|
+
{
|
|
93
|
+
"caminho": "docs/AGENT_STARTER.md",
|
|
94
|
+
"tipo": "docs",
|
|
95
|
+
"prioridade": 8,
|
|
96
|
+
"obrigatorio": false,
|
|
97
|
+
"quandoUsar": "onboarding de agente novo ou explicacao curta do fluxo",
|
|
98
|
+
"incluirTextoBrutoQuando": "o agente remoto nao conhece Sema ainda"
|
|
99
|
+
},
|
|
100
|
+
{
|
|
101
|
+
"caminho": "docs/sintaxe.md",
|
|
102
|
+
"tipo": "docs",
|
|
103
|
+
"prioridade": 9,
|
|
104
|
+
"obrigatorio": false,
|
|
105
|
+
"quandoUsar": "duvida de gramatica, blocos ou formato do DSL",
|
|
106
|
+
"incluirTextoBrutoQuando": "a IA vai editar contrato e os exemplos nao bastam"
|
|
107
|
+
},
|
|
108
|
+
{
|
|
109
|
+
"caminho": "contratos/",
|
|
110
|
+
"tipo": "contrato",
|
|
111
|
+
"prioridade": 10,
|
|
112
|
+
"obrigatorio": true,
|
|
113
|
+
"quandoUsar": "antes de qualquer implementacao ou alteracao de comportamento",
|
|
114
|
+
"incluirTextoBrutoQuando": "a tarefa toca uma capacidade governada por contrato"
|
|
115
|
+
}
|
|
116
|
+
],
|
|
117
|
+
"exemplosOficiais": [
|
|
118
|
+
"exemplos/calculadora.sema",
|
|
119
|
+
"exemplos/pagamento.sema",
|
|
120
|
+
"exemplos/profile_software.sema",
|
|
121
|
+
"exemplos/profile_workflow_n8n.sema",
|
|
122
|
+
"exemplos/profile_ops.sema",
|
|
123
|
+
"exemplos/profile_game.sema",
|
|
124
|
+
"exemplos/profile_legal.sema",
|
|
125
|
+
"exemplos/profile_research.sema",
|
|
126
|
+
"exemplos/author_obra_comum.sema"
|
|
127
|
+
],
|
|
128
|
+
"textoBrutoSobDemanda": {
|
|
129
|
+
"llms.txt": "a IA precisa de orientacao compacta para operar o repositorio",
|
|
130
|
+
"AGENT_CONTEXT_PACK.json": "a IA precisa auditar regras, proibicoes, prioridades e fontes de verdade",
|
|
131
|
+
"SEMA_BRIEF.micro.txt": "a tarefa cabe em contexto curto",
|
|
132
|
+
"SEMA_BRIEF.curto.txt": "o modulo alvo ainda nao esta claro pelo micro",
|
|
133
|
+
"SEMA_INDEX.json": "a IA precisa mapear modulos, lacunas, riscos ou arquivos provaveis",
|
|
134
|
+
"AGENTS.md": "a IA precisa confirmar regras locais obrigatorias e prioridades do projeto",
|
|
135
|
+
"exemplos/": "a IA vai escrever sintaxe Sema ou comparar um contrato com formato oficial",
|
|
136
|
+
"docs/AGENT_STARTER.md": "o agente remoto nao conhece Sema ainda",
|
|
137
|
+
"docs/sintaxe.md": "a IA vai editar contrato e os exemplos nao bastam",
|
|
138
|
+
"contratos/": "a tarefa toca uma capacidade governada por contrato"
|
|
139
|
+
},
|
|
140
|
+
"guiaPorCapacidade": {
|
|
141
|
+
"pequena": [
|
|
142
|
+
"agent-context-pack.json",
|
|
143
|
+
"resumo.micro.txt",
|
|
144
|
+
"briefing.min.json",
|
|
145
|
+
"resumo.curto.txt"
|
|
146
|
+
],
|
|
147
|
+
"media": [
|
|
148
|
+
"agent-context-pack.json",
|
|
149
|
+
"resumo.curto.txt",
|
|
150
|
+
"briefing.min.json",
|
|
151
|
+
"drift.json",
|
|
152
|
+
"resumo.md"
|
|
153
|
+
],
|
|
154
|
+
"grande": [
|
|
155
|
+
"agent-context-pack.json",
|
|
156
|
+
"README.md",
|
|
157
|
+
"resumo.md",
|
|
158
|
+
"briefing.json",
|
|
159
|
+
"drift.json",
|
|
160
|
+
"ir.json",
|
|
161
|
+
"ast.json"
|
|
162
|
+
]
|
|
163
|
+
}
|
|
164
|
+
}
|
package/LICENSE
ADDED
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
MIT License
|
|
2
|
+
|
|
3
|
+
Copyright (c) 2026 Sema
|
|
4
|
+
|
|
5
|
+
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
6
|
+
of this software and associated documentation files (the "Software"), to deal
|
|
7
|
+
in the Software without restriction, including without limitation the rights
|
|
8
|
+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
9
|
+
copies of the Software, and to permit persons to whom the Software is
|
|
10
|
+
furnished to do so, subject to the following conditions:
|
|
11
|
+
|
|
12
|
+
The above copyright notice and this permission notice shall be included in all
|
|
13
|
+
copies or substantial portions of the Software.
|
|
14
|
+
|
|
15
|
+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
16
|
+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
17
|
+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
18
|
+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
19
|
+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
20
|
+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
21
|
+
SOFTWARE.
|
|
22
|
+
|