@semacode/cli 1.5.14 → 1.5.16

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 }
-      }
-    }
-  }
-}

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 }
-      }
-    }
-  }
-}