@semacode/cli 1.5.11 → 1.5.16

package/exemplos/autenticacao.sema

@@ -1,125 +0,0 @@
-module exemplos.autenticacao {
-  docs {
-    resumo: "Login, logout e renovacao de sessao com tokens."
-  }
-
-  entity Sessao {
-    fields {
-      id: Id
-      usuario_id: Id
-      token: Texto
-      refresh_token: Texto
-      expira_em: Timestamp
-      ativo: Booleano
-    }
-  }
-
-  task fazer_login {
-    input {
-      email: Email required
-      senha: Texto required
-    }
-    output {
-      token: Texto
-      refresh_token: Texto
-      expira_em: Timestamp
-    }
-    rules {
-      email deve_ser email_valido
-      senha deve_ser preenchida
-    }
-    effects {
-      consulta Usuario por email
-      persistencia Sessao
-      auditoria login_realizado
-      evento sessao_iniciada
-    }
-    state ciclo_sessao {
-      transitions {
-        INATIVA -> ATIVA
-      }
-    }
-    guarantees {
-      token existe
-      refresh_token existe
-    }
-    error {
-      credenciais_invalidas: "Email ou senha incorretos."
-      conta_bloqueada: "Esta conta foi temporariamente bloqueada."
-      conta_inativa: "Esta conta nao esta ativa."
-    }
-    tests {
-      caso "login valido" {
-        given { email: "user@app.com"  senha: "senha123" }
-        expect { sucesso: verdadeiro }
-      }
-      caso "senha errada" {
-        given { email: "user@app.com"  senha: "errada" }
-        expect { sucesso: falso }
-        error { tipo: "credenciais_invalidas" }
-      }
-    }
-  }
-
-  task renovar_token {
-    input {
-      refresh_token: Texto required
-    }
-    output {
-      token: Texto
-      expira_em: Timestamp
-    }
-    rules {
-      refresh_token deve_ser valido
-      refresh_token deve_ser nao_expirado
-    }
-    effects {
-      consulta Sessao por refresh_token
-      persistencia Sessao
-      auditoria token_renovado
-    }
-    guarantees {
-      token existe
-    }
-    error {
-      refresh_invalido: "Token de renovacao invalido ou expirado."
-    }
-    tests {
-      caso "renova com token valido" {
-        given { refresh_token: "valid_refresh" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task fazer_logout {
-    input {
-      token: Texto required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      token deve_ser valido
-    }
-    effects {
-      persistencia Sessao
-      auditoria logout_realizado
-      evento sessao_encerrada
-    }
-    state ciclo_sessao {
-      transitions {
-        ATIVA -> INATIVA
-      }
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "logout valido" {
-        given { token: "valid_token" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}

package/exemplos/automacao.sema

@@ -1,107 +0,0 @@
-module exemplos.automacao {
-  state onboarding_status {
-    origem: automacao
-    fields {
-      lead_id: Id
-      etapa_atual: Texto
-      concluido: Booleano
-    }
-  }
-
-  task executar_onboarding {
-    input {
-      lead_id: Id required
-      email: Email required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      lead_id deve_ser valido
-      email deve_ser email_valido
-    }
-    effects {
-      consulta crm
-      persistencia conta
-      notificacao email detalhe_boas_vindas
-      auditoria onboarding
-    }
-    guarantees {
-      protocolo existe
-      persistencia concluida
-    }
-    tests {
-      caso "onboarding completo" {
-        given {
-          lead_id: "lead_1"
-          email: "cliente@empresa.com"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task registrar_auditoria {
-    input {
-      protocolo: Id required
-    }
-    output {
-      auditoria_id: Id
-    }
-    effects {
-      auditoria onboarding
-    }
-    guarantees {
-      auditoria_id existe
-    }
-    tests {
-      caso "auditoria registrada" {
-        given {
-          protocolo: "prot_1"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task registrar_falha_onboarding {
-    input {
-      lead_id: Id required
-    }
-    output {
-      protocolo_falha: Id
-    }
-    effects {
-      auditoria falha_onboarding
-      persistencia onboarding_falha
-    }
-    guarantees {
-      protocolo_falha existe
-    }
-    tests {
-      caso "falha registrada" {
-        given {
-          lead_id: "lead_1"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  flow onboarding_cliente {
-    lead_id: Id
-    email: Email
-    etapa receber usa executar_onboarding com lead_id = lead_id, email = email quando (sucesso existe ou persistencia concluida) em_sucesso auditar em_erro registrar_falha
-    etapa auditar usa registrar_auditoria com protocolo = receber.protocolo depende_de receber
-    etapa registrar_falha usa registrar_falha_onboarding com lead_id = lead_id depende_de receber
-  }
-}

package/exemplos/cadastro_usuario.sema

@@ -1,54 +0,0 @@
-module exemplos.cadastro.usuario {
-  docs {
-    resumo: "Cadastro de usuario com entidade,validacoes e persistencia declarada."
-  }
-
-  entity Usuario {
-    fields {
-      id: Id
-      nome: Texto
-      email: Email
-      ativo: Booleano
-    }
-  }
-
-  task criar_usuario {
-    input {
-      nome: Texto required
-      email: Email required
-    }
-    output {
-      usuario: Usuario
-    }
-    rules {
-      nome deve_ser preenchido
-      email deve_ser email_valido
-      email deve_ser unico em Usuario.email
-    }
-    effects {
-      persistencia Usuario
-      evento usuario_criado
-      auditoria cadastro_usuario
-    }
-    guarantees {
-      usuario existe
-      persistencia concluida
-    }
-    error {
-      email_duplicado: "Ja existe usuario com este email."
-      entrada_invalida: "Os dados informados nao atendem as regras."
-    }
-    tests {
-      caso "cria usuario valido" {
-        given {
-          nome: "Ana"
-          email: "ana@empresa.com"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-}

package/exemplos/calculadora.sema

@@ -1,78 +0,0 @@
-module exemplos.calculadora {
-  docs {
-    resumo: "Operacoes aritmeticas simples com garantias e testes."
-  }
-
-  comments {
-    observacao: "Exemplo base para demonstrar tarefas semanticas puras."
-  }
-
-  task somar {
-    input {
-      a: Numero required
-      b: Numero required
-    }
-    output {
-      resultado: Numero
-    }
-    rules {
-      a deve_ser numero_valido
-      b deve_ser numero_valido
-    }
-    effects {
-      auditoria operacao soma
-    }
-    guarantees {
-      resultado existe
-    }
-    error {
-      entrada_invalida: "Os valores precisam ser numericos."
-    }
-    tests {
-      caso "soma basica" {
-        given {
-          a: 2
-          b: 3
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task dividir {
-    input {
-      dividendo: Numero required
-      divisor: Numero required
-    }
-    output {
-      resultado: Numero
-    }
-    rules {
-      divisor deve_ser diferente_de_zero
-    }
-    effects {
-      auditoria operacao divisao
-    }
-    guarantees {
-      resultado existe
-    }
-    error {
-      divisor_zero: "Nao e permitido dividir por zero."
-    }
-    tests {
-      caso "divisao valida" {
-        given {
-          dividendo: 10
-          divisor: 2
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-}

package/exemplos/crud_simples.sema

@@ -1,89 +0,0 @@
-module exemplos.crud.simples {
-  entity Produto {
-    fields {
-      id: Id
-      nome: Texto
-      preco: Decimal
-      ativo: Booleano
-    }
-  }
-
-  task criar_produto {
-    input {
-      nome: Texto required
-      preco: Decimal required
-    }
-    output {
-      produto: Produto
-    }
-    rules {
-      nome deve_ser preenchido
-      preco deve_ser positivo
-    }
-    effects {
-      persistencia Produto
-      auditoria produto_criado
-    }
-    guarantees {
-      produto existe
-    }
-    tests {
-      caso "cria produto" {
-        given {
-          nome: "Caneca"
-          preco: 39.9
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task atualizar_produto {
-    input {
-      id: Id required
-      nome: Texto
-      preco: Decimal
-    }
-    output {
-      produto: Produto
-    }
-    rules {
-      id deve_ser valido
-    }
-    effects {
-      persistencia Produto
-      auditoria produto_atualizado
-    }
-    guarantees {
-      produto existe
-    }
-    tests {
-      caso "atualiza produto" {
-        given {
-          id: "prod_1"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  route produtos {
-    metodo: POST
-    caminho: /produtos
-    task: criar_produto
-    finalidade: cadastro_produto
-    input {
-      nome: Texto
-      preco: Decimal
-    }
-    output {
-      produto: Produto
-    }
-  }
-}

package/exemplos/estoque.sema

@@ -1,126 +0,0 @@
-module exemplos.estoque {
-  docs {
-    resumo: "Controle de estoque com reserva, entrada e saida de produtos."
-  }
-
-  entity ItemEstoque {
-    fields {
-      id: Id
-      produto_id: Id
-      quantidade: Inteiro
-      quantidade_reservada: Inteiro
-      localizacao: Texto
-    }
-  }
-
-  entity MovimentacaoEstoque {
-    fields {
-      id: Id
-      produto_id: Id
-      tipo: Texto
-      quantidade: Inteiro
-      motivo: Texto
-      realizada_em: Timestamp
-    }
-  }
-
-  task reservar_estoque {
-    input {
-      produto_id: Id required
-      quantidade: Inteiro required
-      pedido_id: Id required
-    }
-    output {
-      reserva_id: Id
-    }
-    rules {
-      quantidade > 0
-      produto_id deve_ser valido
-    }
-    effects {
-      consulta ItemEstoque por produto_id criticidade = alta
-      persistencia ItemEstoque
-      persistencia MovimentacaoEstoque
-      evento estoque_reservado criticidade = media
-      auditoria reserva_estoque
-    }
-    guarantees {
-      reserva_id existe
-      ItemEstoque.quantidade_reservada >= quantidade
-    }
-    error {
-      estoque_insuficiente: "Quantidade solicitada indisponivel em estoque."
-      produto_nao_encontrado: "Produto nao localizado no estoque."
-    }
-    tests {
-      caso "reserva com estoque disponivel" {
-        given { produto_id: "prod_1"  quantidade: 5  pedido_id: "ped_1" }
-        expect { sucesso: verdadeiro }
-      }
-      caso "reserva sem estoque" {
-        given { produto_id: "prod_sem"  quantidade: 999  pedido_id: "ped_2" }
-        expect { sucesso: falso }
-        error { tipo: "estoque_insuficiente" }
-      }
-    }
-  }
-
-  task registrar_entrada {
-    input {
-      produto_id: Id required
-      quantidade: Inteiro required
-      motivo: Texto required
-    }
-    output {
-      movimentacao_id: Id
-    }
-    rules {
-      quantidade > 0
-      motivo deve_ser preenchido
-    }
-    effects {
-      persistencia ItemEstoque
-      persistencia MovimentacaoEstoque
-      evento estoque_reposto
-      auditoria entrada_estoque
-    }
-    guarantees {
-      movimentacao_id existe
-    }
-    tests {
-      caso "entrada valida" {
-        given { produto_id: "prod_1"  quantidade: 100  motivo: "Reposicao mensal" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task liberar_reserva {
-    input {
-      reserva_id: Id required
-      motivo: Texto required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      reserva_id deve_ser valido
-      motivo deve_ser preenchido
-    }
-    effects {
-      persistencia ItemEstoque
-      persistencia MovimentacaoEstoque
-      evento reserva_liberada
-      auditoria liberacao_reserva
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "libera reserva existente" {
-        given { reserva_id: "res_1"  motivo: "Pedido cancelado" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}

package/exemplos/exportacao.sema

@@ -1,94 +0,0 @@
-module exemplos.exportacao {
-  docs {
-    resumo: "Exportacao de dados em multiplos formatos com controle de acesso e rastreamento."
-  }
-
-  entity ExportacaoDados {
-    fields {
-      id: Id
-      tipo: Texto
-      formato: Texto
-      filtros: Objeto
-      total_registros: Inteiro
-      url_arquivo: Texto
-      status: Texto
-      solicitado_por: Id
-      expira_em: Timestamp
-    }
-  }
-
-  task solicitar_exportacao {
-    input {
-      tipo: Texto required
-      formato: Texto required
-      filtros: Objeto
-    }
-    output {
-      exportacao_id: Id
-    }
-    rules {
-      tipo em [USUARIOS, PEDIDOS, FINANCEIRO, ESTOQUE]
-      formato em [CSV, XLSX, JSON]
-    }
-    effects {
-      persistencia ExportacaoDados
-      evento exportacao_solicitada criticidade = media
-      auditoria solicitacao_exportacao criticidade = media
-    }
-    state ciclo_exportacao {
-      transitions {
-        PENDENTE -> EM_PROCESSAMENTO
-      }
-    }
-    guarantees {
-      exportacao_id existe
-    }
-    error {
-      tipo_invalido: "Tipo de exportacao nao suportado."
-      formato_invalido: "Formato de arquivo nao suportado."
-      permissao_negada: "Sem permissao para exportar este tipo de dado."
-    }
-    tests {
-      caso "solicita exportacao de usuarios em csv" {
-        given { tipo: "USUARIOS"  formato: "CSV" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task concluir_exportacao {
-    input {
-      exportacao_id: Id required
-      url_arquivo: Texto required
-      total_registros: Inteiro required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      exportacao_id deve_ser valido
-      url_arquivo deve_ser preenchida
-      total_registros >= 0
-    }
-    effects {
-      persistencia ExportacaoDados
-      notificacao usuario exportacao_pronta criticidade = media
-      evento exportacao_concluida
-      auditoria conclusao_exportacao
-    }
-    state ciclo_exportacao {
-      transitions {
-        EM_PROCESSAMENTO -> DISPONIVEL
-      }
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "conclui exportacao" {
-        given { exportacao_id: "exp_1"  url_arquivo: "https://storage/exp_1.csv"  total_registros: 1500 }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}