@semacode/cli 1.5.16 → 1.5.17

package/exemplos/pagamento_dominio.sema

@@ -0,0 +1,35 @@
+module exemplos.pagamento.dominio {
+  docs {
+    resumo: "Contratos de dominio compartilhados pelo vertical oficial de pagamento da Sema 0.5."
+  }
+
+  entity Pagamento {
+    fields {
+      id: Id
+      valor: Decimal
+      status: StatusPagamento
+    }
+  }
+
+  enum StatusPagamento {
+    PENDENTE,
+    AUTORIZADO,
+    RECUSADO,
+    PROCESSADO
+  }
+
+  state ciclo_pagamento {
+    fields {
+      status: StatusPagamento
+      conciliado: Booleano
+    }
+    invariants {
+      status existe
+    }
+    transitions {
+      PENDENTE -> AUTORIZADO
+      AUTORIZADO -> PROCESSADO
+      PENDENTE -> RECUSADO
+    }
+  }
+}

package/exemplos/pedido.sema

@@ -0,0 +1,119 @@
+module exemplos.pedido {
+  docs {
+    resumo: "Ciclo completo de pedido com itens, aprovacao e entrega."
+  }
+
+  entity Pedido {
+    fields {
+      id: Id
+      cliente_id: Id
+      status: Texto
+      total: Decimal
+      criado_em: Timestamp
+    }
+  }
+
+  entity ItemPedido {
+    fields {
+      id: Id
+      pedido_id: Id
+      produto_id: Id
+      quantidade: Inteiro
+      preco_unitario: Decimal
+    }
+  }
+
+  task criar_pedido {
+    input {
+      cliente_id: Id required
+      itens: Lista required
+    }
+    output {
+      pedido: Pedido
+    }
+    rules {
+      itens deve_ser nao_vazio
+      cliente_id deve_ser valido
+    }
+    effects {
+      consulta Cliente por cliente_id
+      consulta Produto por cada item.produto_id
+      persistencia Pedido
+      persistencia ItemPedido
+      evento pedido_criado criticidade = media
+      auditoria criacao_pedido
+    }
+    state ciclo_pedido {
+      transitions {
+        RASCUNHO -> AGUARDANDO_PAGAMENTO
+      }
+    }
+    guarantees {
+      pedido existe
+      pedido.total > 0
+    }
+    error {
+      cliente_invalido: "Cliente nao encontrado."
+      item_invalido: "Um ou mais produtos nao existem."
+      carrinho_vazio: "O pedido deve ter ao menos um item."
+    }
+    tests {
+      caso "cria pedido valido" {
+        given { cliente_id: "cli_1"  itens: [{produto_id: "prod_1", quantidade: 2}] }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task cancelar_pedido {
+    input {
+      pedido_id: Id required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      pedido_id deve_ser valido
+      pedido.status em [AGUARDANDO_PAGAMENTO, APROVADO]
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia Pedido
+      evento pedido_cancelado criticidade = alta
+      notificacao cliente pedido_cancelado
+      auditoria cancelamento_pedido criticidade = media
+    }
+    state ciclo_pedido {
+      transitions {
+        AGUARDANDO_PAGAMENTO -> CANCELADO
+        APROVADO -> CANCELADO
+      }
+    }
+    guarantees {
+      protocolo existe
+      pedido.status == CANCELADO
+    }
+    error {
+      pedido_nao_cancelavel: "Pedido ja enviado ou entregue nao pode ser cancelado."
+    }
+    tests {
+      caso "cancela pedido pendente" {
+        given { pedido_id: "ped_1"  motivo: "Desistencia do cliente" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  flow aprovacao_pedido {
+    pedido_id: Id
+    token_pagamento: Texto
+    etapa pagar usa processar_pagamento com pedido_id = pedido_id, token = token_pagamento em_sucesso reservar em_erro cancelar_por_pagamento
+    etapa reservar usa reservar_estoque com pedido_id = pedido_id depende_de pagar em_erro cancelar_por_estoque
+    etapa cancelar_por_pagamento usa cancelar_pedido com pedido_id = pedido_id, motivo = "Pagamento recusado" depende_de pagar
+    etapa cancelar_por_estoque usa cancelar_pedido com pedido_id = pedido_id, motivo = "Estoque insuficiente" depende_de reservar
+    effects {
+      auditoria fluxo_aprovacao_pedido criticidade = alta
+    }
+  }
+}

package/exemplos/permissao.sema

@@ -0,0 +1,121 @@
+module exemplos.permissao {
+  docs {
+    resumo: "Controle de acesso baseado em papeis e permissoes granulares."
+  }
+
+  entity Papel {
+    fields {
+      id: Id
+      nome: Texto
+      descricao: Texto
+    }
+  }
+
+  entity Permissao {
+    fields {
+      id: Id
+      recurso: Texto
+      acao: Texto
+      descricao: Texto
+    }
+  }
+
+  task atribuir_papel {
+    input {
+      usuario_id: Id required
+      papel_id: Id required
+    }
+    output {
+      atribuicao_id: Id
+    }
+    rules {
+      usuario_id deve_ser valido
+      papel_id deve_ser valido
+    }
+    effects {
+      consulta Usuario por usuario_id
+      consulta Papel por papel_id
+      persistencia AtribuicaoPapel
+      evento papel_atribuido criticidade = media
+      auditoria atribuicao_papel criticidade = alta
+    }
+    guarantees {
+      atribuicao_id existe
+    }
+    error {
+      usuario_nao_encontrado: "Usuario nao localizado."
+      papel_nao_encontrado: "Papel nao localizado."
+      atribuicao_duplicada: "Usuario ja possui este papel."
+    }
+    tests {
+      caso "atribui papel admin" {
+        given { usuario_id: "usr_1"  papel_id: "papel_admin" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task verificar_permissao {
+    input {
+      usuario_id: Id required
+      recurso: Texto required
+      acao: Texto required
+    }
+    output {
+      autorizado: Booleano
+    }
+    rules {
+      usuario_id deve_ser valido
+      recurso deve_ser preenchido
+      acao deve_ser preenchida
+    }
+    effects {
+      consulta AtribuicaoPapel por usuario_id
+      consulta PermissaoPapel por papel_id
+      auditoria verificacao_permissao
+    }
+    guarantees {
+      autorizado existe
+    }
+    tests {
+      caso "usuario autorizado" {
+        given { usuario_id: "usr_admin"  recurso: "relatorios"  acao: "exportar" }
+        expect { sucesso: verdadeiro }
+      }
+      caso "usuario sem permissao" {
+        given { usuario_id: "usr_basico"  recurso: "admin"  acao: "deletar" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task revogar_papel {
+    input {
+      usuario_id: Id required
+      papel_id: Id required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      usuario_id deve_ser valido
+      papel_id deve_ser valido
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia AtribuicaoPapel
+      evento papel_revogado criticidade = alta
+      auditoria revogacao_papel criticidade = alta
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "revoga papel" {
+        given { usuario_id: "usr_1"  papel_id: "papel_admin"  motivo: "Saida da equipe" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

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/exemplos/relatorio.sema

@@ -0,0 +1,93 @@
+module exemplos.relatorio {
+  docs {
+    resumo: "Geracao assincrona de relatorios com download e notificacao."
+  }
+
+  entity Relatorio {
+    fields {
+      id: Id
+      tipo: Texto
+      parametros: Objeto
+      status: Texto
+      url_download: Texto
+      solicitado_por: Id
+      criado_em: Timestamp
+      concluido_em: Timestamp
+    }
+  }
+
+  task solicitar_relatorio {
+    input {
+      tipo: Texto required
+      data_inicio: Data required
+      data_fim: Data required
+      formato: Texto
+    }
+    output {
+      relatorio_id: Id
+    }
+    rules {
+      tipo em [VENDAS, ESTOQUE, USUARIOS, FINANCEIRO]
+      data_inicio deve_ser anterior_a data_fim
+      formato em [PDF, CSV, XLSX]
+    }
+    effects {
+      persistencia Relatorio
+      evento relatorio_solicitado criticidade = baixa
+      auditoria solicitacao_relatorio
+    }
+    state ciclo_relatorio {
+      transitions {
+        PENDENTE -> EM_PROCESSAMENTO
+      }
+    }
+    guarantees {
+      relatorio_id existe
+    }
+    error {
+      tipo_invalido: "Tipo de relatorio nao suportado."
+      periodo_invalido: "Data de inicio deve ser anterior a data de fim."
+      limite_periodo: "Periodo maximo e de 12 meses."
+    }
+    tests {
+      caso "solicita relatorio de vendas" {
+        given { tipo: "VENDAS"  data_inicio: "2025-01-01"  data_fim: "2025-03-31"  formato: "PDF" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task concluir_relatorio {
+    input {
+      relatorio_id: Id required
+      url_download: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      relatorio_id deve_ser valido
+      url_download deve_ser preenchida
+    }
+    effects {
+      persistencia Relatorio
+      notificacao usuario relatorio_pronto criticidade = media
+      evento relatorio_concluido
+      auditoria conclusao_relatorio
+    }
+    state ciclo_relatorio {
+      transitions {
+        EM_PROCESSAMENTO -> CONCLUIDO
+      }
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "conclui relatorio" {
+        given { relatorio_id: "rel_1"  url_download: "https://storage/rel_1.pdf" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/testes_embutidos.sema

@@ -0,0 +1,45 @@
+module exemplos.testes.embutidos {
+  task validar_documento {
+    input {
+      documento: Texto required
+    }
+    output {
+      valido: Booleano
+      motivo: Texto
+    }
+    rules {
+      documento deve_ser preenchido
+    }
+    effects {
+      auditoria validacao_documento
+    }
+    guarantees {
+      valido existe
+      motivo existe
+    }
+    tests {
+      caso "documento valido" {
+        given {
+          documento: 12345678900
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+      caso "documento vazio" {
+        given {
+          documento: ""
+        }
+
+        expect {
+          sucesso: falso
+        }
+
+        error {
+          tipo: "entrada_invalida"
+        }
+      }
+    }
+  }
+}

package/exemplos/tratamento_erro.sema

@@ -0,0 +1,157 @@
+module exemplos.tratamento.erro {
+  task executar_operacao_sensivel {
+    input {
+      chave: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      chave existe e chave deve_ser preenchida
+    }
+    effects {
+      consulta cofre
+      auditoria falha_operacao_sensivel
+    }
+    guarantees {
+      protocolo existe
+    }
+    error {
+      acesso_negado: "A chave informada nao tem permissao."
+      recurso_indisponivel: "O servico esta temporariamente indisponivel."
+      auditoria_obrigatoria: "Toda falha precisa ser registrada."
+    }
+    tests {
+      caso "falha por acesso negado" {
+        given {
+          chave: "sem_permissao"
+        }
+
+        expect {
+          sucesso: falso
+        }
+
+        error {
+          tipo: "acesso_negado"
+        }
+      }
+    }
+  }
+
+  task responder_acesso_negado {
+    input {
+      chave: Texto required
+    }
+    output {
+      protocolo_resposta: Id
+    }
+    effects {
+      notificacao cliente acesso_negado
+      auditoria acesso_negado
+    }
+    guarantees {
+      protocolo_resposta existe
+    }
+    tests {
+      caso "responde acesso negado" {
+        given {
+          chave: "sem_permissao"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task responder_retentativa {
+    input {
+      chave: Texto required
+    }
+    output {
+      protocolo_resposta: Id
+    }
+    effects {
+      notificacao cliente retentativa_programada
+      auditoria retentativa
+    }
+    guarantees {
+      protocolo_resposta existe
+    }
+    tests {
+      caso "agenda retentativa" {
+        given {
+          chave: "instavel"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task registrar_auditoria_falha {
+    input {
+      chave: Texto required
+    }
+    output {
+      auditoria_id: Id
+    }
+    effects {
+      auditoria falha_operacional
+      persistencia auditoria_falha
+    }
+    guarantees {
+      auditoria_id existe
+    }
+    tests {
+      caso "audita falha" {
+        given {
+          chave: "sem_permissao"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task registrar_sucesso {
+    input {
+      protocolo: Id required
+    }
+    output {
+      registro_id: Id
+    }
+    effects {
+      auditoria operacao_concluida
+      evento operacao_sensivel_concluida
+    }
+    guarantees {
+      registro_id existe
+    }
+    tests {
+      caso "registra sucesso" {
+        given {
+          protocolo: "prot_1"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  flow resposta_segura {
+    chave: Texto
+    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
+    etapa tratar_acesso_negado usa responder_acesso_negado com chave = chave depende_de tentar
+    etapa agendar_retentativa usa responder_retentativa com chave = chave depende_de tentar
+    etapa registrar_falha usa registrar_auditoria_falha com chave = chave depende_de tentar
+    etapa concluir usa registrar_sucesso com protocolo = tentar.protocolo depende_de tentar
+  }
+}