@semacode/cli 1.5.11 → 1.5.16

package/exemplos/fila.sema

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

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

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

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