@semacode/cli 1.5.11 → 1.5.16

package/docs/rollback.md

@@ -1,47 +0,0 @@
-# Rollback
-
-Rollback de release publica da Sema deve preservar rastreabilidade. NPM nao deve ser tratado como pasta temporaria: apagar versao publicada e medida extrema e limitada.
-
-## Quando aplicar
-
-- CLI ou MCP publicados quebram instalacao basica.
-- VSIX publicada nao inicia ou quebra o Language Server.
-- Instaladores baixam asset errado.
-- Release notes ou checksums apontam para artefato invalido.
-
-## Primeira resposta
-
-1. Marque o problema no GitHub Release.
-2. Reponte `latest` no NPM para a ultima versao boa, quando necessario:
-
-```bash
-npm dist-tag add @semacode/cli@<versao-boa> latest
-npm dist-tag add @semacode/mcp@<versao-boa> latest
-```
-
-3. Se o problema for so VSIX ou asset de release, substitua o asset no GitHub Release ou publique uma release patch.
-4. Prefira publicar patch corretivo (`1.5.10`, por exemplo) quando o pacote ja saiu para usuarios.
-
-## Validacao de rollback
-
-```bash
-npm view @semacode/cli dist-tags --json
-npm view @semacode/mcp dist-tags --json
-npm install -g @semacode/cli@latest
-npm install -g @semacode/mcp@latest
-sema --version
-sema-mcp --help
-```
-
-## Git
-
-Se o commit foi empurrado mas a release falhou antes de publicar NPM, corrija com novo commit. Evite reescrever `main` depois de push publico.
-
-Se o tag foi criado errado e ainda nao existe release consumida:
-
-```bash
-git tag -d v<versao>
-git push origin :refs/tags/v<versao>
-```
-
-Use isso somente antes de usuarios consumirem o tag.

package/docs/sintaxe.md

@@ -1,244 +0,0 @@
-# Sintaxe Canonica
-
-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`
-- blocos declarativos podem aparecer aninhados quando o contrato exigir
-- `tests` usa blocos `caso`
-
-## Blocos de primeira classe
-
-- `module`
-- `use`
-- `database`
-- `type`
-- `entity`
-- `enum`
-- `state`
-- `task`
-- `flow`
-- `route`
-- `worker`
-- `evento`
-- `fila`
-- `cron`
-- `webhook`
-- `cache`
-- `storage`
-- `policy`
-- `tests`
-- `docs`
-- `comments`
-
-## Subblocos comuns
-
-- `input`
-- `output`
-- `rules`
-- `effects`
-- `auth`
-- `authz`
-- `dados`
-- `audit`
-- `segredos`
-- `forbidden`
-- `impl`
-- `vinculos`
-- `execucao`
-- `guarantees`
-- `error`
-- `fields`
-- `invariants`
-- `transitions`
-- `given`
-- `when`
-- `expect`
-
-## Tipos compostos
-
-```sema
-input {
-  ids: Lista<Id> required
-  metadata: Mapa<Texto, Texto>
-  responsavel: Opcional<Usuario>
-  chave_publica: Texto|Id
-}
-```
-
-Formas suportadas:
-
-- `Lista<T>`
-- `Mapa<K, V>`
-- `Opcional<T>`
-- `T1|T2`
-- `T?`
-
-## Persistencia vendor-first
-
-O bloco `database` modela banco e recursos persistidos sem apagar as diferencas entre engines.
-
-Estrutura base:
-
-```sema
-database principal_postgres {
-  engine: postgres
-  consistency: forte
-  durability: alta
-  transaction_model: mvcc
-  query_model: sql
-}
-```
-
-Recursos canonicamente suportados:
-
-- `table`
-- `index`
-- `relationship`
-- `query`
-- `retention`
-- `lock`
-- `replication`
-- `collection`
-- `document`
-- `keyspace`
-- `stream`
-- `capabilities`
-
-Exemplo relacional:
-
-```sema
-database principal_postgres {
-  engine: postgres
-  schema: public
-  capabilities {
-    joins
-    views
-    foreign_keys
-  }
-  table pedidos {
-    entity: Pedido
-  }
-  relationship pedido_cliente {
-    from: Pedido
-    to: Cliente
-  }
-  query buscar_pedidos {
-    mode: sql
-  }
-}
-```
-
-Exemplo documental:
-
-```sema
-database principal_mongodb {
-  engine: mongodb
-  query_model: documento
-  collection pedidos {
-    collection: pedidos
-  }
-  document pedido_snapshot {
-    entity: PedidoSnapshot
-  }
-  query pipeline_pedido {
-    mode: pipeline
-  }
-}
-```
-
-Exemplo key-value:
-
-```sema
-database principal_redis {
-  engine: redis
-  query_model: chave_valor
-  keyspace cache_pedidos {
-    ttl: "300s"
-  }
-  stream eventos_pedido {
-    surface: fila
-  }
-}
-```
-
-## Compatibilidade declarada
-
-O IR de persistencia calcula compatibilidade por recurso com quatro estados:
-
-- `nativo`
-- `adaptado`
-- `parcial`
-- `invalido`
-
-Isso existe para deixar explicito quando um contrato esta pedindo de um banco algo que ele nao entrega do mesmo jeito.
-
-O mesmo principio vale para runtime de orquestracao. Superficies como `webhook`, `cron`, `worker`, `evento` e `fila` podem ser medidas contra familias como `n8n`, mas o contrato continua canonicamente modelado em Sema, sem rebaixar a linguagem para a sintaxe do adapter alvo.
-
-## Interop e implementacao externa
-
-`use` e `impl` aceitam origens de codigo vivo quando o contrato precisa rastrear runtime real. As origens semanticas suportadas sao:
-
-- `ts`
-- `py`
-- `dart`
-- `lua`
-- `php`
-- `cs`
-- `java`
-- `go`
-- `rust`
-- `cpp`
-
-Exemplo com Lua:
-
-```sema
-module app.runtime {
-  use lua src.runtime
-
-  task processar_snapshot {
-    input {
-      payload: Json required
-    }
-    output {
-      resultado: Json
-    }
-    impl {
-      lua: src.runtime.RuntimeBridge.processSnapshot
-    }
-    guarantees {
-      resultado existe
-    }
-  }
-}
-```
-
-Para Lua, o `drift` resolve funcoes declaradas como `function nome(...)`, `local function nome(...)`, `function Tabela.metodo(...)`, `function Tabela:metodo(...)` e atribuicoes `Tabela.metodo = function(...)`. A forma com `:` e normalizada para ponto no contrato.
-
-Exemplo com PHP:
-
-```sema
-module app.php {
-  use php App.Http.Controllers.UserController
-
-  task criar_usuario {
-    input {
-      payload: Json required
-    }
-    output {
-      resultado: Json
-    }
-    impl {
-      php: App.Http.Controllers.UserController.store
-    }
-    guarantees {
-      resultado existe
-    }
-  }
-}
-```
-
-Para PHP, o `drift` resolve namespaces, classes, traits, interfaces, enums, metodos, funcoes, closures atribuidas, rotas Laravel/Slim (`Route::get`, `Route::post`, `$app->get`) e atributos HTTP no estilo Symfony/PHP 8 (`#[Route]`, `#[Get]`, `#[Post]`). `Route::resource` e `Route::apiResource` sao expandidos para acoes REST canonicas.

package/exemplos/agendamento.sema

@@ -1,106 +0,0 @@
-module exemplos.agendamento {
-  docs {
-    resumo: "Agendamento de tarefas recorrentes e unicas com controle de execucao."
-  }
-
-  entity Agendamento {
-    fields {
-      id: Id
-      nome: Texto
-      tipo: Texto
-      expressao_cron: Texto
-      payload: Objeto
-      ativo: Booleano
-      ultima_execucao: Timestamp
-      proxima_execucao: Timestamp
-    }
-  }
-
-  entity ExecucaoAgendamento {
-    fields {
-      id: Id
-      agendamento_id: Id
-      status: Texto
-      iniciado_em: Timestamp
-      concluido_em: Timestamp
-      erro: Texto
-    }
-  }
-
-  task criar_agendamento {
-    input {
-      nome: Texto required
-      tipo: Texto required
-      expressao_cron: Texto required
-      payload: Objeto
-    }
-    output {
-      agendamento: Agendamento
-    }
-    rules {
-      nome deve_ser preenchido
-      expressao_cron deve_ser valida
-      tipo deve_ser registrado
-    }
-    effects {
-      persistencia Agendamento
-      evento agendamento_criado criticidade = baixa
-      auditoria criacao_agendamento
-    }
-    guarantees {
-      agendamento existe
-      agendamento.ativo == verdadeiro
-    }
-    error {
-      cron_invalido: "Expressao cron invalida."
-      tipo_nao_registrado: "Tipo de agendamento nao existe."
-      nome_duplicado: "Ja existe agendamento com este nome."
-    }
-    tests {
-      caso "cria agendamento diario" {
-        given { nome: "relatorio_diario"  tipo: "gerar_relatorio"  expressao_cron: "0 8 * * *" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task executar_agendamento {
-    input {
-      agendamento_id: Id required
-    }
-    output {
-      execucao_id: Id
-    }
-    rules {
-      agendamento_id deve_ser valido
-      agendamento.ativo == verdadeiro
-    }
-    effects {
-      consulta Agendamento por agendamento_id
-      persistencia ExecucaoAgendamento
-      persistencia Agendamento
-      evento agendamento_executado criticidade = baixa
-      auditoria execucao_agendamento
-    }
-    state ciclo_execucao {
-      transitions {
-        PENDENTE -> EM_EXECUCAO
-        EM_EXECUCAO -> CONCLUIDO
-        EM_EXECUCAO -> FALHOU
-      }
-    }
-    guarantees {
-      execucao_id existe
-    }
-    error {
-      agendamento_inativo: "Agendamento esta desativado."
-      execucao_em_andamento: "Ja existe uma execucao em andamento para este agendamento."
-    }
-    tests {
-      caso "executa agendamento ativo" {
-        given { agendamento_id: "agd_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}

package/exemplos/assinatura.sema

@@ -1,136 +0,0 @@
-module exemplos.assinatura {
-  docs {
-    resumo: "Gestao de assinaturas recorrentes com upgrade, downgrade e cancelamento."
-  }
-
-  entity Assinatura {
-    fields {
-      id: Id
-      cliente_id: Id
-      plano_id: Id
-      status: Texto
-      inicio_em: Timestamp
-      proximo_vencimento: Timestamp
-      cancelada_em: Timestamp
-    }
-  }
-
-  task criar_assinatura {
-    input {
-      cliente_id: Id required
-      plano_id: Id required
-      token_pagamento: Texto required
-    }
-    output {
-      assinatura: Assinatura
-    }
-    rules {
-      cliente_id deve_ser valido
-      plano_id deve_ser valido
-      token_pagamento deve_ser valido
-    }
-    effects {
-      consulta Cliente por cliente_id
-      consulta Plano por plano_id
-      consulta gateway_pagamento criticidade = alta
-      persistencia Assinatura
-      evento assinatura_criada criticidade = alta
-      notificacao cliente confirmacao_assinatura criticidade = media
-      auditoria criacao_assinatura criticidade = alta
-    }
-    state ciclo_assinatura {
-      transitions {
-        PENDENTE -> ATIVA
-      }
-    }
-    guarantees {
-      assinatura existe
-      assinatura.status == ATIVA
-    }
-    error {
-      pagamento_recusado: "Pagamento inicial recusado."
-      cliente_ja_assina: "Cliente ja possui assinatura ativa."
-      plano_invalido: "Plano nao disponivel para assinatura."
-    }
-    tests {
-      caso "cria assinatura pro" {
-        given { cliente_id: "cli_1"  plano_id: "plano_pro"  token_pagamento: "tok_ok" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task cancelar_assinatura {
-    input {
-      assinatura_id: Id required
-      motivo: Texto required
-      imediato: Booleano
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      assinatura_id deve_ser valido
-      assinatura.status == ATIVA
-      motivo deve_ser preenchido
-    }
-    effects {
-      persistencia Assinatura
-      consulta gateway_pagamento criticidade = alta
-      evento assinatura_cancelada criticidade = alta
-      notificacao cliente confirmacao_cancelamento criticidade = media
-      auditoria cancelamento_assinatura criticidade = alta
-    }
-    state ciclo_assinatura {
-      transitions {
-        ATIVA -> CANCELADA
-        ATIVA -> PENDENTE_CANCELAMENTO
-      }
-    }
-    guarantees {
-      protocolo existe
-    }
-    error {
-      assinatura_ja_cancelada: "Assinatura ja foi cancelada."
-    }
-    tests {
-      caso "cancela assinatura ativa" {
-        given { assinatura_id: "asn_1"  motivo: "Nao preciso mais"  imediato: falso }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task renovar_assinatura {
-    input {
-      assinatura_id: Id required
-    }
-    output {
-      protocolo_cobranca: Id
-    }
-    rules {
-      assinatura_id deve_ser valido
-      assinatura.status == ATIVA
-      assinatura.proximo_vencimento <= hoje
-    }
-    effects {
-      consulta gateway_pagamento criticidade = alta
-      persistencia Assinatura
-      evento assinatura_renovada criticidade = media
-      auditoria renovacao_assinatura criticidade = alta
-    }
-    guarantees {
-      protocolo_cobranca existe
-    }
-    error {
-      pagamento_recusado: "Cobranca de renovacao recusada — assinatura sera suspensa."
-      assinatura_cancelada: "Nao e possivel renovar assinatura cancelada."
-    }
-    tests {
-      caso "renova assinatura no vencimento" {
-        given { assinatura_id: "asn_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}

package/exemplos/auditoria.sema

@@ -1,88 +0,0 @@
-module exemplos.auditoria {
-  docs {
-    resumo: "Registro imutavel de acoes criticas com rastreabilidade completa."
-  }
-
-  entity RegistroAuditoria {
-    fields {
-      id: Id
-      ator_id: Id
-      ator_tipo: Texto
-      acao: Texto
-      recurso: Texto
-      recurso_id: Id
-      dados_antes: Objeto
-      dados_depois: Objeto
-      ip_origem: Texto
-      timestamp: Timestamp
-      contexto: Objeto
-    }
-  }
-
-  task registrar_acao {
-    input {
-      ator_id: Id required
-      acao: Texto required
-      recurso: Texto required
-      recurso_id: Id required
-      dados_antes: Objeto
-      dados_depois: Objeto
-      ip_origem: Texto
-    }
-    output {
-      auditoria_id: Id
-    }
-    rules {
-      acao deve_ser preenchida
-      recurso deve_ser preenchido
-      ator_id deve_ser valido
-    }
-    effects {
-      persistencia RegistroAuditoria criticidade = alta
-    }
-    guarantees {
-      auditoria_id existe
-      RegistroAuditoria.imutavel == verdadeiro
-    }
-    error {
-      falha_persistencia: "Nao foi possivel registrar a auditoria — operacao bloqueada."
-    }
-    tests {
-      caso "registra acao critica" {
-        given { ator_id: "usr_1"  acao: "deletar_usuario"  recurso: "Usuario"  recurso_id: "usr_2" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task consultar_historico {
-    input {
-      recurso: Texto required
-      recurso_id: Id required
-      data_inicio: Data
-      data_fim: Data
-    }
-    output {
-      registros: Lista
-      total: Inteiro
-    }
-    rules {
-      recurso deve_ser preenchido
-      recurso_id deve_ser valido
-    }
-    effects {
-      consulta RegistroAuditoria por recurso e recurso_id
-      auditoria consulta_historico
-    }
-    guarantees {
-      registros existe
-      total >= 0
-    }
-    tests {
-      caso "consulta historico de usuario" {
-        given { recurso: "Usuario"  recurso_id: "usr_1" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}