@semacode/cli 1.3.0 → 1.3.2

package/exemplos/estoque.sema

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

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

package/exemplos/fila.sema

@@ -0,0 +1,131 @@
+module exemplos.fila {
+  docs {
+    resumo: "Processamento de jobs em fila com retentativa e dead letter."
+  }
+
+  entity Job {
+    fields {
+      id: Id
+      tipo: Texto
+      payload: Objeto
+      status: Texto
+      tentativas: Inteiro
+      max_tentativas: Inteiro
+      agendado_para: Timestamp
+      processado_em: Timestamp
+      erro: Texto
+    }
+  }
+
+  task enfileirar_job {
+    input {
+      tipo: Texto required
+      payload: Objeto required
+      agendado_para: Timestamp
+      max_tentativas: Inteiro
+    }
+    output {
+      job_id: Id
+    }
+    rules {
+      tipo deve_ser preenchido
+      max_tentativas <= 10
+    }
+    effects {
+      persistencia Job
+      evento job_enfileirado criticidade = baixa
+      auditoria enfileiramento_job
+    }
+    state ciclo_job {
+      transitions {
+        CRIADO -> PENDENTE
+      }
+    }
+    guarantees {
+      job_id existe
+    }
+    error {
+      tipo_invalido: "Tipo de job nao registrado."
+      fila_cheia: "Fila atingiu capacidade maxima."
+    }
+    tests {
+      caso "enfileira job valido" {
+        given { tipo: "envio_email"  payload: {destinatario: "a@b.com"} }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task processar_job {
+    input {
+      job_id: Id required
+    }
+    output {
+      resultado: Objeto
+    }
+    rules {
+      job_id deve_ser valido
+      job.status == PENDENTE
+    }
+    effects {
+      persistencia Job
+      evento job_processado criticidade = baixa
+      auditoria processamento_job
+    }
+    state ciclo_job {
+      transitions {
+        PENDENTE -> EM_EXECUCAO
+        EM_EXECUCAO -> CONCLUIDO
+        EM_EXECUCAO -> FALHOU
+      }
+    }
+    guarantees {
+      resultado existe
+    }
+    error {
+      job_nao_encontrado: "Job nao localizado na fila."
+      job_ja_processado: "Este job ja foi executado."
+      execucao_falhou: "Falha durante a execucao do job."
+    }
+    tests {
+      caso "processa job pendente" {
+        given { job_id: "job_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task mover_para_dead_letter {
+    input {
+      job_id: Id required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      job_id deve_ser valido
+      job.tentativas >= job.max_tentativas
+    }
+    effects {
+      persistencia Job
+      evento job_dead_letter criticidade = alta
+      notificacao operacao falha_critica_job criticidade = alta
+      auditoria dead_letter criticidade = alta
+    }
+    state ciclo_job {
+      transitions {
+        FALHOU -> DEAD_LETTER
+      }
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "move job esgotado" {
+        given { job_id: "job_esgotado"  motivo: "Timeout repetido" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/integracao_externa.sema

@@ -0,0 +1,94 @@
+module exemplos.integracao.externa {
+  docs {
+    resumo: "Integracao com API externa com circuit breaker e fallback."
+  }
+
+  entity ChamadaExterna {
+    fields {
+      id: Id
+      servico: Texto
+      endpoint: Texto
+      metodo: Texto
+      status_http: Inteiro
+      duracao_ms: Inteiro
+      sucesso: Booleano
+      realizada_em: Timestamp
+    }
+  }
+
+  task consultar_cep {
+    input {
+      cep: Texto required
+    }
+    output {
+      logradouro: Texto
+      bairro: Texto
+      cidade: Texto
+      estado: Texto
+    }
+    rules {
+      cep deve_ser formato_cep_valido
+    }
+    effects {
+      consulta api_cep criticidade = media
+      persistencia ChamadaExterna
+      auditoria consulta_cep
+    }
+    guarantees {
+      logradouro existe
+      cidade existe
+      estado existe
+    }
+    error {
+      cep_nao_encontrado: "CEP nao localizado."
+      servico_indisponivel: "API de CEP temporariamente indisponivel."
+      formato_invalido: "CEP deve ter 8 digitos numericos."
+    }
+    tests {
+      caso "consulta cep valido" {
+        given { cep: "01310100" }
+        expect { sucesso: verdadeiro }
+      }
+      caso "rejeita cep invalido" {
+        given { cep: "00000000" }
+        expect { sucesso: falso }
+        error { tipo: "cep_nao_encontrado" }
+      }
+    }
+  }
+
+  task consultar_cnpj {
+    input {
+      cnpj: Texto required
+    }
+    output {
+      razao_social: Texto
+      situacao: Texto
+      atividade_principal: Texto
+    }
+    rules {
+      cnpj deve_ser formato_cnpj_valido
+      cnpj deve_ser digitos_validos
+    }
+    effects {
+      consulta api_receita criticidade = media
+      persistencia ChamadaExterna
+      auditoria consulta_cnpj
+    }
+    guarantees {
+      razao_social existe
+      situacao existe
+    }
+    error {
+      cnpj_nao_encontrado: "CNPJ nao localizado na Receita Federal."
+      servico_indisponivel: "Servico da Receita Federal indisponivel."
+      formato_invalido: "CNPJ invalido."
+    }
+    tests {
+      caso "consulta cnpj valido" {
+        given { cnpj: "11222333000181" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/multi_tenant.sema

@@ -0,0 +1,140 @@
+module exemplos.multi.tenant {
+  docs {
+    resumo: "Isolamento de dados por tenant com provisionamento e controle de limites."
+  }
+
+  entity Tenant {
+    fields {
+      id: Id
+      nome: Texto
+      slug: Texto
+      plano: Texto
+      ativo: Booleano
+      criado_em: Timestamp
+    }
+  }
+
+  entity LimiteTenant {
+    fields {
+      tenant_id: Id
+      recurso: Texto
+      limite: Inteiro
+      utilizado: Inteiro
+    }
+  }
+
+  task provisionar_tenant {
+    input {
+      nome: Texto required
+      slug: Texto required
+      plano: Texto required
+      email_admin: Email required
+    }
+    output {
+      tenant: Tenant
+    }
+    rules {
+      slug deve_ser unico em Tenant.slug
+      slug deve_ser formato_slug_valido
+      plano em [FREE, PRO, ENTERPRISE]
+      email_admin deve_ser email_valido
+    }
+    effects {
+      persistencia Tenant
+      persistencia LimiteTenant
+      persistencia Usuario
+      evento tenant_provisionado criticidade = alta
+      notificacao admin boas_vindas criticidade = media
+      auditoria provisionamento_tenant criticidade = alta
+    }
+    guarantees {
+      tenant existe
+      tenant.ativo == verdadeiro
+    }
+    error {
+      slug_duplicado: "Este slug ja esta em uso."
+      plano_invalido: "Plano selecionado nao existe."
+      email_invalido: "Email do administrador invalido."
+    }
+    tests {
+      caso "provisiona tenant pro" {
+        given { nome: "Empresa X"  slug: "empresa-x"  plano: "PRO"  email_admin: "admin@x.com" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task verificar_limite {
+    input {
+      tenant_id: Id required
+      recurso: Texto required
+      quantidade: Inteiro required
+    }
+    output {
+      permitido: Booleano
+      utilizado: Inteiro
+      limite: Inteiro
+    }
+    rules {
+      tenant_id deve_ser valido
+      recurso deve_ser preenchido
+      quantidade > 0
+    }
+    effects {
+      consulta LimiteTenant por tenant_id e recurso
+      auditoria verificacao_limite
+    }
+    guarantees {
+      permitido existe
+    }
+    error {
+      tenant_nao_encontrado: "Tenant nao localizado."
+      recurso_desconhecido: "Recurso nao rastreado para este tenant."
+    }
+    tests {
+      caso "dentro do limite" {
+        given { tenant_id: "ten_1"  recurso: "usuarios"  quantidade: 5 }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task suspender_tenant {
+    input {
+      tenant_id: Id required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      tenant_id deve_ser valido
+      motivo deve_ser preenchido
+      tenant.ativo == verdadeiro
+    }
+    effects {
+      persistencia Tenant
+      evento tenant_suspenso criticidade = alta
+      notificacao admin suspensao_tenant criticidade = alta
+      auditoria suspensao_tenant criticidade = alta
+    }
+    state ciclo_tenant {
+      transitions {
+        ATIVO -> SUSPENSO
+      }
+    }
+    guarantees {
+      protocolo existe
+      tenant.ativo == falso
+    }
+    error {
+      tenant_ja_suspenso: "Tenant ja esta suspenso."
+    }
+    tests {
+      caso "suspende tenant ativo" {
+        given { tenant_id: "ten_1"  motivo: "Inadimplencia" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/notificacao.sema

@@ -0,0 +1,98 @@
+module exemplos.notificacao {
+  docs {
+    resumo: "Envio de notificacoes por email, SMS e push com rastreamento."
+  }
+
+  entity Notificacao {
+    fields {
+      id: Id
+      destinatario_id: Id
+      canal: Texto
+      titulo: Texto
+      corpo: Texto
+      status: Texto
+      enviada_em: Timestamp
+    }
+  }
+
+  task enviar_email {
+    input {
+      destinatario: Email required
+      titulo: Texto required
+      corpo: Texto required
+      template: Texto
+    }
+    output {
+      notificacao_id: Id
+    }
+    rules {
+      destinatario deve_ser email_valido
+      titulo deve_ser preenchido
+      corpo deve_ser preenchido
+    }
+    effects {
+      consulta provedor_email criticidade = alta
+      persistencia Notificacao
+      auditoria email_enviado
+    }
+    guarantees {
+      notificacao_id existe
+    }
+    error {
+      destinatario_invalido: "Endereco de email invalido."
+      provedor_indisponivel: "Servico de email temporariamente indisponivel."
+      limite_excedido: "Limite de envios por hora atingido."
+    }
+    tests {
+      caso "envia email valido" {
+        given { destinatario: "user@app.com"  titulo: "Bem vindo"  corpo: "Ola!" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task enviar_push {
+    input {
+      device_token: Texto required
+      titulo: Texto required
+      corpo: Texto required
+      dados: Objeto
+    }
+    output {
+      notificacao_id: Id
+    }
+    rules {
+      device_token deve_ser preenchido
+      titulo deve_ser preenchido
+    }
+    effects {
+      consulta provedor_push criticidade = media
+      persistencia Notificacao
+      auditoria push_enviado
+    }
+    guarantees {
+      notificacao_id existe
+    }
+    error {
+      token_invalido: "Token de dispositivo invalido ou expirado."
+      provedor_indisponivel: "Servico push indisponivel."
+    }
+    tests {
+      caso "envia push valido" {
+        given { device_token: "tok_123"  titulo: "Alerta"  corpo: "Nova mensagem" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  flow notificar_multicanal {
+    destinatario_id: Id
+    titulo: Texto
+    corpo: Texto
+    etapa email usa enviar_email com destinatario = destinatario_id, titulo = titulo, corpo = corpo em_sucesso concluir em_erro registrar_falha_email
+    etapa push usa enviar_push com device_token = destinatario_id, titulo = titulo, corpo = corpo em_sucesso concluir em_erro registrar_falha_push
+    etapa registrar_falha_email usa registrar_falha_notificacao com canal = "email" depende_de email
+    etapa registrar_falha_push usa registrar_falha_notificacao com canal = "push" depende_de push
+    etapa concluir usa confirmar_notificacao com destinatario_id = destinatario_id depende_de email
+  }
+}