@semacode/cli 1.5.16 → 1.5.17

package/exemplos/agendamento.sema

@@ -0,0 +1,106 @@
+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

@@ -0,0 +1,136 @@
+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

@@ -0,0 +1,88 @@
+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 }
+      }
+    }
+  }
+}

package/exemplos/autenticacao.sema

@@ -0,0 +1,125 @@
+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

@@ -0,0 +1,107 @@
+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

@@ -0,0 +1,54 @@
+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

@@ -0,0 +1,78 @@
+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
+        }
+      }
+    }
+  }
+}