@semacode/cli 1.3.7 → 1.4.0

package/docs/sintaxe.md

@@ -1,20 +1,20 @@
 # Sintaxe Canonica
 
-A Sema usa blocos declarativos com chaves e forma previsivel. A regra aqui nao e "ficar bonitinho para humano"; e reduzir ambiguidade para parser, IR, drift e contexto de IA.
+A Sema usa blocos declarativos previsiveis para reduzir ambiguidade no parser, na IR, no drift e no contexto de IA.
 
 ## Regras basicas
 
 - um arquivo `.sema` contem um `module` principal
 - cada bloco abre com palavra-chave e fecha com `}`
 - campos usam `nome: valor`
-- linhas declarativas continuam validas para regra, efeito, garantia, transicao e etapa de flow
-- `tests` contem blocos `caso`
-- quando uma palavra reservada aparece seguida de `:`, ela continua sendo campo, nao bloco
+- blocos declarativos podem aparecer aninhados quando o contrato exigir
+- `tests` usa blocos `caso`
 
 ## Blocos de primeira classe
 
 - `module`
 - `use`
+- `database`
 - `type`
 - `entity`
 - `enum`
@@ -34,7 +34,7 @@ A Sema usa blocos declarativos com chaves e forma previsivel. A regra aqui nao e
 - `docs`
 - `comments`
 
-## Subblocos mais usados
+## Subblocos comuns
 
 - `input`
 - `output`
@@ -60,8 +60,6 @@ A Sema usa blocos declarativos com chaves e forma previsivel. A regra aqui nao e
 
 ## Tipos compostos
 
-A Sema agora aceita formas canonicas para payload mais denso sem empurrar tudo para `Json`.
-
 ```sema
 input {
   ids: Lista<Id> required
@@ -79,283 +77,101 @@ Formas suportadas:
 - `T1|T2`
 - `T?`
 
-## Task com contrato operacional
-
-```sema
-task processar_pedido {
-  input {
-    pedido_id: Id required
-    itens: Lista<Texto> required
-  }
-  output {
-    protocolo: Id
-    status: Texto
-  }
-  impl {
-    ts: app.pedidos.processar
-  }
-  vinculos {
-    arquivo: "src/pedidos/processar.ts"
-    simbolo: app.pedidos.processar
-    fila: pedidos_processamento
-  }
-  execucao {
-    idempotencia: verdadeiro
-    timeout: "30s"
-    retry: "3x exponencial"
-    compensacao: "reverter_reserva"
-    criticidade_operacional: alta
-  }
-  effects {
-    persistencia pedidos criticidade = alta
-    auditoria pedidos criticidade = media
-  }
-  guarantees {
-    protocolo existe
-    status existe
-  }
-  error {
-    pedido_invalido {
-      mensagem: "payload invalido"
-      categoria: dominio
-      recuperabilidade: permanente
-      acao_chamador: corrigir_input
-      impacta_estado: falso
-      requer_compensacao: falso
-    }
-  }
-  tests {
-    caso "processa pedido valido" {
-      given {
-        pedido_id: "ped_1"
-      }
-      expect {
-        sucesso: verdadeiro
-      }
-    }
-  }
-}
-```
+## Persistencia vendor-first
 
-## `impl`
+O bloco `database` modela banco e recursos persistidos sem apagar as diferencas entre engines.
 
-`impl` liga a task ou a superficie ao simbolo real do runtime.
+Estrutura base:
 
 ```sema
-impl {
-  ts: app.pedidos.processar
-  py: services.orders.processar
-  cs: Pedidos.Api.Controllers.PedidosController.Processar
+database principal_postgres {
+  engine: postgres
+  consistency: forte
+  durability: alta
+  transaction_model: mvcc
+  query_model: sql
 }
 ```
 
-Regras:
+Recursos canonicamente suportados:
 
-- cada origem aparece no maximo uma vez por bloco
-- o caminho aponta para simbolo, nao para chamada com `()`
-- `ts|typescript`, `py|python`, `dart`, `cs|csharp|dotnet`, `java`, `go|golang`, `rust|rs`, `cpp|cxx|cc|c++` sao origens validas
+- `table`
+- `index`
+- `relationship`
+- `query`
+- `retention`
+- `lock`
+- `replication`
+- `collection`
+- `document`
+- `keyspace`
+- `stream`
+- `capabilities`
 
-## `vinculos`
-
-`vinculos` nao substitui `impl`. Ele complementa o contrato com rastros operacionais que ajudam IA e drift a mapear o sistema vivo.
-
-Campos comuns:
-
-- `arquivo`
-- `simbolo`
-- `rota`
-- `superficie`
-- `recurso`
-- `tabela`
-- `fila`
-- `worker`
-- `evento`
-- `cron`
-- `webhook`
-- `cache`
-- `storage`
-- `policy`
-
-Exemplo:
+Exemplo relacional:
 
 ```sema
-vinculos {
-  arquivo: "pacotes/cli/src/index.ts"
-  simbolo: cli.src.index.gerarContextoIa
-  webhook: "/interno/contexto-ia"
-}
-```
-
-## `execucao`
-
-`execucao` explicita comportamento operacional em vez de deixar isso espalhado pelo codigo ou pela cabeca da IA.
-
-```sema
-execucao {
-  idempotencia: verdadeiro
-  timeout: "15s"
-  retry: "fila"
-  compensacao: "nenhuma"
-  criticidade_operacional: media
-}
-```
-
-Campos canonicos:
-
-- `idempotencia`
-- `timeout`
-- `retry`
-- `compensacao`
-- `criticidade_operacional`
-
-## Seguranca semantica
-
-Em `task`, `route` e superficies modernas, a Sema agora aceita contratos de seguranca explicitos para reduzir adivinhacao em producao.
-
-- `auth`: como a chamada autentica, com `modo`, `estrategia`, `principal` e `origem`
-- `authz`: quem pode executar, com `papel`, `escopo`, `politica` e `tenant`
-- `dados`: classificacao de input/output, `redacao_log` e `retencao`
-- `audit`: trilha obrigatoria com `evento`, `ator`, `correlacao`, `retencao` e `motivo`
-- `segredos`: origem, escopo, rotacao e protecoes de segredo
-- `forbidden`: proibicoes explicitas como `shell.exec`, `network.egress`, `log.segredo` e `retorno.credencial`
-
-Exemplo:
-
-```sema
-task processar_pagamento {
-  input {
-    cliente_id: Id required
-    token_gateway: Texto required
+database principal_postgres {
+  engine: postgres
+  schema: public
+  capabilities {
+    joins
+    views
+    foreign_keys
   }
-  output {
-    protocolo: Id
-    status: Texto
+  table pedidos {
+    entity: Pedido
   }
-  effects {
-    db.write Pagamento criticidade=alta privilegio=escrita isolamento=tenant
-    secret.read gateway_api_key criticidade=media privilegio=leitura isolamento=processo
+  relationship pedido_cliente {
+    from: Pedido
+    to: Cliente
   }
-  auth {
-    modo: interno
-    estrategia: jwt
-    principal: servico
-    origem: worker
-  }
-  authz {
-    papel: pagamentos_admin
-    escopo: pagamentos.processar
-    tenant: isolado
-  }
-  dados {
-    classificacao_padrao: interno
-    redacao_log: obrigatoria
-    retencao: "90d"
-    input {
-      cliente_id: pii
-      token_gateway: credencial
-    }
-    output {
-      protocolo: interno
-      status: interno
-    }
-  }
-  audit {
-    evento: pagamentos.processado
-    ator: auth.servico
-    correlacao: request_id
-    retencao: "180d"
-    motivo: obrigatorio
-  }
-  segredos {
-    gateway_api_key {
-      origem: vault
-      escopo: runtime
-      acesso: gateway_pagamento
-      rotacao: "30d"
-      nao_logar: verdadeiro
-      nao_retornar: verdadeiro
-      mascarar: verdadeiro
-    }
-  }
-  forbidden {
-    shell.exec
-    retorno.credencial
-    log.segredo
-  }
-  guarantees {
-    protocolo existe
-    status existe
+  query buscar_pedidos {
+    mode: sql
   }
 }
 ```
 
-Esses blocos nao tentam implementar seguranca magica. Eles tornam a intencao auditavel por parser, IR, `drift`, `contexto-ia` e verificacao semantica.
-
-## Superficies modernas
-
-A Sema nao fica presa em HTTP. As bordas abaixo sao blocos irmaos de `route`, com shape minimo compativel com `task`, `impl`, `vinculos`, `execucao` e `effects`.
+Exemplo documental:
 
 ```sema
-worker preparar_briefing {
-  task: medir_drift
-  vinculos {
-    arquivo: "pacotes/cli/src/index.ts"
-    worker: contexto_ia
-  }
-  execucao {
-    retry: "fila_contexto"
-    criticidade_operacional: alta
+database principal_mongodb {
+  engine: mongodb
+  query_model: documento
+  collection pedidos {
+    collection: pedidos
   }
-}
-
-webhook confirmar_contexto {
-  task: mapear_projeto
-  vinculos {
-    webhook: "/interno/contexto-ia"
+  document pedido_snapshot {
+    entity: PedidoSnapshot
   }
-  execucao {
-    timeout: "15s"
-    criticidade_operacional: media
+  query pipeline_pedido {
+    mode: pipeline
   }
 }
 ```
 
-## Flow com dependencia explicita
+Exemplo key-value:
 
 ```sema
-flow operar_contexto_ia {
-  entrada: Texto
-  etapa mapear usa mapear_projeto com entrada = entrada
-  etapa drift usa medir_drift com contrato = entrada depende_de mapear
-  etapa briefing usa preparar_briefing com entrada = entrada depende_de drift
-  effects {
-    auditoria contexto_ia criticidade = alta
+database principal_redis {
+  engine: redis
+  query_model: chave_valor
+  keyspace cache_pedidos {
+    ttl: "300s"
   }
-  vinculos {
-    simbolo: cli.src.index.comandoContextoIa
+  stream eventos_pedido {
+    surface: fila
   }
 }
 ```
 
-## Forma canonica
-
-O formatador passa a preferir:
-
-- `vinculos` com `arquivo` antes de `simbolo`
-- `auth` com `modo`, `estrategia`, `principal` e `origem`
-- `authz` com `papel|papeis`, `escopo|escopos`, `politica` e `tenant`
-- `dados` com `classificacao_padrao`, `redacao_log` e `retencao`
-- `audit` com `evento`, `ator`, `correlacao`, `retencao` e `motivo`
-- `execucao` com `idempotencia`, `timeout`, `retry`, `compensacao` e `criticidade_operacional`
-- strings operacionais como `arquivo`, `timeout`, `retry`, `compensacao`, `retencao` e `rotacao` com aspas
-- tipos compostos sem espacos quebrados em `Lista<T>` e `Mapa<K, V>`
+## Compatibilidade declarada
 
-## Resumo pratico
+O IR de persistencia calcula compatibilidade por recurso com quatro estados:
 
-Se a duvida for "isso vai ajudar a IA a editar com menos chute?", a sintaxe nova aponta para quatro coisas:
+- `nativo`
+- `adaptado`
+- `parcial`
+- `invalido`
 
-- contrato rico
-- seguranca semantica explicita
-- vinculo rastreavel
-- execucao explicita
-- superficie moderna de primeira classe
+Isso existe para deixar explicito quando um contrato esta pedindo de um banco algo que ele nao entrega do mesmo jeito.

package/exemplos/persistencia_vendor_first.sema

@@ -0,0 +1,86 @@
+module exemplos.persistencia.vendor_first {
+  database principal_postgres {
+    engine: postgres
+    schema: public
+    consistency: forte
+    durability: alta
+    transaction_model: mvcc
+    query_model: sql
+    capabilities {
+      joins
+      views
+    }
+    table pedidos {
+      entity: Pedido
+    }
+    relationship pedido_cliente {
+      from: Pedido
+      to: Cliente
+    }
+    query buscar_pedidos {
+      mode: sql
+    }
+  }
+
+  database principal_mysql {
+    engine: mysql
+    consistency: forte
+    durability: alta
+    transaction_model: bloqueio
+    query_model: sql
+    table faturamento {
+      table: faturamento
+    }
+    query buscar_faturas {
+      mode: sql
+    }
+  }
+
+  database principal_sqlite {
+    engine: sqlite
+    consistency: snapshot
+    durability: media
+    transaction_model: single_thread
+    query_model: sql
+    table cache_local {
+      table: cache_local
+    }
+    retention limpeza_local {
+      retention: 7d
+    }
+  }
+
+  database principal_mongodb {
+    engine: mongodb
+    consistency: eventual
+    durability: alta
+    transaction_model: documento
+    query_model: documento
+    collection pedidos {
+      collection: pedidos
+    }
+    document pedido_snapshot {
+      entity: PedidoSnapshot
+    }
+    query pipeline_pedido {
+      mode: pipeline
+    }
+  }
+
+  database principal_redis {
+    engine: redis
+    consistency: eventual
+    durability: media
+    transaction_model: single_thread
+    query_model: chave_valor
+    keyspace cache_pedidos {
+      ttl: 300s
+    }
+    stream eventos_pedido {
+      surface: fila
+    }
+    retention expurgo_cache {
+      retention: 300s
+    }
+  }
+}

package/node_modules/@sema/gerador-css/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-css",
-  "version": "1.3.7",
+  "version": "1.4.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-dart/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-dart",
-  "version": "1.3.7",
+  "version": "1.4.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-html/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-html",
-  "version": "1.3.7",
+  "version": "1.4.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-javascript/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-javascript",
-  "version": "1.3.7",
+  "version": "1.4.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-lua/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-lua",
-  "version": "1.3.7",
+  "version": "1.4.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-python/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-python",
-  "version": "1.3.7",
+  "version": "1.4.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-typescript/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-typescript",
-  "version": "1.3.7",
+  "version": "1.4.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/nucleo/dist/ast/tipos.d.ts

@@ -1,5 +1,5 @@
 import type { IntervaloFonte } from "../diagnosticos/index.js";
-export type TipoBloco = "module" | "use" | "type" | "entity" | "enum" | "task" | "worker" | "evento" | "fila" | "cron" | "webhook" | "cache" | "storage" | "policy" | "input" | "output" | "rules" | "effects" | "impl" | "vinculos" | "execucao" | "auth" | "authz" | "dados" | "audit" | "segredos" | "forbidden" | "guarantees" | "state" | "flow" | "route" | "tests" | "error" | "docs" | "comments" | "fields" | "invariants" | "transitions" | "given" | "when" | "expect" | "case" | "desconhecido";
+export type TipoBloco = "module" | "use" | "database" | "type" | "entity" | "enum" | "task" | "worker" | "evento" | "fila" | "cron" | "webhook" | "cache" | "storage" | "policy" | "input" | "output" | "rules" | "effects" | "impl" | "vinculos" | "execucao" | "auth" | "authz" | "dados" | "audit" | "segredos" | "forbidden" | "guarantees" | "state" | "flow" | "route" | "tests" | "error" | "docs" | "comments" | "table" | "view" | "query" | "transaction" | "index" | "constraint" | "relationship" | "collection" | "document" | "keyspace" | "stream" | "lock" | "retention" | "replication" | "fields" | "invariants" | "transitions" | "given" | "when" | "expect" | "case" | "desconhecido";
 export interface NoAstBase {
     tipo: string;
     intervalo?: IntervaloFonte;
@@ -101,6 +101,7 @@ export interface ModuloAst extends NoAstBase {
     vinculos?: BlocoGenericoAst;
     docs?: BlocoGenericoAst;
     comments?: BlocoGenericoAst;
+    databases: BlocoGenericoAst[];
     types: TypeAst[];
     entities: EntityAst[];
     enums: EnumAst[];

package/node_modules/@sema/nucleo/dist/formatador/index.js

@@ -5,23 +5,24 @@ const ORDEM_BLOCOS_MODULO = new Map([
     ["comments", 1],
     ["use", 2],
     ["vinculos", 3],
-    ["type", 4],
-    ["entity", 5],
-    ["enum", 6],
-    ["state", 7],
-    ["task", 8],
-    ["flow", 9],
-    ["route", 10],
-    ["worker", 11],
-    ["evento", 12],
-    ["fila", 13],
-    ["cron", 14],
-    ["webhook", 15],
-    ["cache", 16],
-    ["storage", 17],
-    ["policy", 18],
-    ["tests", 19],
-    ["desconhecido", 20],
+    ["database", 4],
+    ["type", 5],
+    ["entity", 6],
+    ["enum", 7],
+    ["state", 8],
+    ["task", 9],
+    ["flow", 10],
+    ["route", 11],
+    ["worker", 12],
+    ["evento", 13],
+    ["fila", 14],
+    ["cron", 15],
+    ["webhook", 16],
+    ["cache", 17],
+    ["storage", 18],
+    ["policy", 19],
+    ["tests", 20],
+    ["desconhecido", 21],
 ]);
 const ORDEM_SUBBLOCOS_TASK = new Map([
     ["docs", 0],
@@ -154,6 +155,17 @@ const ORDEM_CAMPOS_POR_BLOCO = new Map([
             ["retencao", 3],
             ["motivo", 4],
         ])],
+    ["database", new Map([
+            ["engine", 0],
+            ["schema", 1],
+            ["database", 2],
+            ["consistency", 3],
+            ["durability", 4],
+            ["transaction_model", 5],
+            ["query_model", 6],
+            ["portavel", 7],
+            ["adapter", 8],
+        ])],
 ]);
 function indentacao(nivel) {
     return "  ".repeat(nivel);
@@ -373,6 +385,9 @@ function renderizarModulo(modulo) {
     if (modulo.vinculos) {
         blocos.push({ chave: "vinculos", conteudo: renderizarBlocoGenerico(modulo.vinculos, 1) });
     }
+    for (const database of modulo.databases) {
+        blocos.push({ chave: "database", conteudo: renderizarBlocoGenerico(database, 1) });
+    }
     for (const type of modulo.types) {
         blocos.push({ chave: "type", conteudo: renderizarBlocoAst(type, 1) });
     }