@semacode/cli 1.5.17 → 1.5.19

package/exemplos/pagamento_dominio.sema

@@ -1,35 +1,35 @@
-module exemplos.pagamento.dominio {
-  docs {
-    resumo: "Contratos de dominio compartilhados pelo vertical oficial de pagamento da Sema 0.5."
-  }
-
-  entity Pagamento {
-    fields {
-      id: Id
-      valor: Decimal
-      status: StatusPagamento
-    }
-  }
-
-  enum StatusPagamento {
-    PENDENTE,
-    AUTORIZADO,
-    RECUSADO,
-    PROCESSADO
-  }
-
-  state ciclo_pagamento {
-    fields {
-      status: StatusPagamento
-      conciliado: Booleano
-    }
-    invariants {
-      status existe
-    }
-    transitions {
-      PENDENTE -> AUTORIZADO
-      AUTORIZADO -> PROCESSADO
-      PENDENTE -> RECUSADO
-    }
-  }
-}
+module exemplos.pagamento.dominio {
+  docs {
+    resumo: "Contratos de dominio compartilhados pelo vertical oficial de pagamento da Sema 0.5."
+  }
+
+  entity Pagamento {
+    fields {
+      id: Id
+      valor: Decimal
+      status: StatusPagamento
+    }
+  }
+
+  enum StatusPagamento {
+    PENDENTE,
+    AUTORIZADO,
+    RECUSADO,
+    PROCESSADO
+  }
+
+  state ciclo_pagamento {
+    fields {
+      status: StatusPagamento
+      conciliado: Booleano
+    }
+    invariants {
+      status existe
+    }
+    transitions {
+      PENDENTE -> AUTORIZADO
+      AUTORIZADO -> PROCESSADO
+      PENDENTE -> RECUSADO
+    }
+  }
+}

package/exemplos/pedido.sema

@@ -1,119 +1,255 @@
-module exemplos.pedido {
-  docs {
-    resumo: "Ciclo completo de pedido com itens, aprovacao e entrega."
-  }
-
-  entity Pedido {
-    fields {
-      id: Id
-      cliente_id: Id
-      status: Texto
-      total: Decimal
-      criado_em: Timestamp
-    }
-  }
-
-  entity ItemPedido {
-    fields {
-      id: Id
-      pedido_id: Id
-      produto_id: Id
-      quantidade: Inteiro
-      preco_unitario: Decimal
-    }
-  }
-
-  task criar_pedido {
-    input {
-      cliente_id: Id required
-      itens: Lista required
-    }
-    output {
-      pedido: Pedido
-    }
-    rules {
-      itens deve_ser nao_vazio
-      cliente_id deve_ser valido
-    }
-    effects {
-      consulta Cliente por cliente_id
-      consulta Produto por cada item.produto_id
-      persistencia Pedido
-      persistencia ItemPedido
-      evento pedido_criado criticidade = media
-      auditoria criacao_pedido
-    }
-    state ciclo_pedido {
-      transitions {
-        RASCUNHO -> AGUARDANDO_PAGAMENTO
-      }
-    }
-    guarantees {
-      pedido existe
-      pedido.total > 0
-    }
-    error {
-      cliente_invalido: "Cliente nao encontrado."
-      item_invalido: "Um ou mais produtos nao existem."
-      carrinho_vazio: "O pedido deve ter ao menos um item."
-    }
-    tests {
-      caso "cria pedido valido" {
-        given { cliente_id: "cli_1"  itens: [{produto_id: "prod_1", quantidade: 2}] }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task cancelar_pedido {
-    input {
-      pedido_id: Id required
-      motivo: Texto required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      pedido_id deve_ser valido
-      pedido.status em [AGUARDANDO_PAGAMENTO, APROVADO]
-      motivo deve_ser preenchido
-    }
-    effects {
-      persistencia Pedido
-      evento pedido_cancelado criticidade = alta
-      notificacao cliente pedido_cancelado
-      auditoria cancelamento_pedido criticidade = media
-    }
-    state ciclo_pedido {
-      transitions {
-        AGUARDANDO_PAGAMENTO -> CANCELADO
-        APROVADO -> CANCELADO
-      }
-    }
-    guarantees {
-      protocolo existe
-      pedido.status == CANCELADO
-    }
-    error {
-      pedido_nao_cancelavel: "Pedido ja enviado ou entregue nao pode ser cancelado."
-    }
-    tests {
-      caso "cancela pedido pendente" {
-        given { pedido_id: "ped_1"  motivo: "Desistencia do cliente" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  flow aprovacao_pedido {
-    pedido_id: Id
-    token_pagamento: Texto
-    etapa pagar usa processar_pagamento com pedido_id = pedido_id, token = token_pagamento em_sucesso reservar em_erro cancelar_por_pagamento
-    etapa reservar usa reservar_estoque com pedido_id = pedido_id depende_de pagar em_erro cancelar_por_estoque
-    etapa cancelar_por_pagamento usa cancelar_pedido com pedido_id = pedido_id, motivo = "Pagamento recusado" depende_de pagar
-    etapa cancelar_por_estoque usa cancelar_pedido com pedido_id = pedido_id, motivo = "Estoque insuficiente" depende_de reservar
-    effects {
-      auditoria fluxo_aprovacao_pedido criticidade = alta
-    }
-  }
-}
+module exemplos.pedido {
+  docs {
+    resumo: "Ciclo completo de pedido IA-first com dependencias explicitas para pagamento e estoque."
+  }
+
+  use exemplos.pagamento
+  use exemplos.estoque
+
+  enum StatusPedido {
+    RASCUNHO,
+    AGUARDANDO_PAGAMENTO,
+    APROVADO,
+    CANCELADO,
+    ENVIADO,
+    ENTREGUE
+  }
+
+  state ciclo_pedido {
+    fields {
+      status: StatusPedido
+    }
+    invariants {
+      status em [RASCUNHO, AGUARDANDO_PAGAMENTO, APROVADO, CANCELADO, ENVIADO, ENTREGUE]
+    }
+    transitions {
+      RASCUNHO -> AGUARDANDO_PAGAMENTO
+      AGUARDANDO_PAGAMENTO -> APROVADO
+      AGUARDANDO_PAGAMENTO -> CANCELADO
+      APROVADO -> CANCELADO
+      APROVADO -> ENVIADO
+      ENVIADO -> ENTREGUE
+    }
+  }
+
+  entity Pedido {
+    fields {
+      id: Id
+      cliente_id: Id
+      status: StatusPedido
+      total: Decimal
+      criado_em: Timestamp
+    }
+  }
+
+  entity ItemPedido {
+    fields {
+      id: Id
+      pedido_id: Id
+      produto_id: Id
+      quantidade: Inteiro
+      preco_unitario: Decimal
+    }
+  }
+
+  task criar_pedido {
+    input {
+      cliente_id: Id required
+      itens: Lista required
+    }
+    output {
+      pedido: Pedido
+      status: StatusPedido
+    }
+    authz {
+      escopo: pedidos.criar
+      tenant: obrigatorio
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+      input {
+        cliente_id: pii
+        itens: interno
+      }
+      output {
+        pedido: financeiro
+        status: interno
+      }
+    }
+    audit {
+      evento: pedido.criado
+      ator: auth.usuario
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      shell.exec
+      log.segredo
+      retorno.credencial
+    }
+    rules {
+      itens deve_ser nao_vazio
+      cliente_id deve_ser valido
+    }
+    effects {
+      consulta Cliente por cliente_id criticidade = media
+      consulta Produto por cada item.produto_id criticidade = media
+      persistencia Pedido criticidade = alta
+      persistencia ItemPedido criticidade = alta
+      evento pedido_criado criticidade = media
+      auditoria criacao_pedido criticidade = media
+    }
+    vinculos {
+      tabela: pedidos
+      tabela: itens_pedido
+      evento: pedido_criado
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      retry: "nenhum"
+      compensacao: "cancelar_pedido"
+      criticidade_operacional: alta
+    }
+    state ciclo_pedido {
+      transitions {
+        RASCUNHO -> AGUARDANDO_PAGAMENTO
+      }
+    }
+    guarantees {
+      pedido existe
+      status == AGUARDANDO_PAGAMENTO
+    }
+    error {
+      cliente_invalido: "Cliente nao encontrado."
+      item_invalido: "Um ou mais produtos nao existem."
+      carrinho_vazio: "O pedido deve ter ao menos um item."
+    }
+    tests {
+      caso "cria pedido valido" {
+        given {
+          cliente_id: "cli_1"
+          itens: "prod_1:2"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          status: "AGUARDANDO_PAGAMENTO"
+          pedido: "ped_1"
+        }
+      }
+    }
+  }
+
+  task cancelar_pedido {
+    input {
+      pedido_id: Id required
+      status_atual: StatusPedido required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+      status: StatusPedido
+    }
+    authz {
+      escopo: pedidos.cancelar
+      tenant: obrigatorio
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+      input {
+        pedido_id: interno
+        status_atual: interno
+        motivo: interno
+      }
+      output {
+        protocolo: interno
+        status: interno
+      }
+    }
+    audit {
+      evento: pedido.cancelado
+      ator: auth.usuario
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      shell.exec
+      log.segredo
+    }
+    rules {
+      pedido_id deve_ser valido
+      status_atual em [AGUARDANDO_PAGAMENTO, APROVADO]
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia Pedido criticidade = alta
+      evento pedido_cancelado criticidade = alta
+      notificacao cliente pedido_cancelado criticidade = media
+      auditoria cancelamento_pedido criticidade = media
+    }
+    vinculos {
+      tabela: pedidos
+      evento: pedido_cancelado
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      retry: "nenhum"
+      compensacao: "notificar_operacao"
+      criticidade_operacional: alta
+    }
+    state ciclo_pedido {
+      transitions {
+        AGUARDANDO_PAGAMENTO -> CANCELADO
+        APROVADO -> CANCELADO
+      }
+    }
+    guarantees {
+      protocolo existe
+      status == CANCELADO
+    }
+    error {
+      pedido_nao_cancelavel: "Pedido ja enviado ou entregue nao pode ser cancelado."
+    }
+    tests {
+      caso "cancela pedido pendente" {
+        given {
+          pedido_id: "ped_1"
+          status_atual: "AGUARDANDO_PAGAMENTO"
+          motivo: "Desistencia do cliente"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          protocolo: "cancel_1"
+          status: "CANCELADO"
+        }
+      }
+    }
+  }
+
+  flow aprovacao_pedido {
+    pedido_id: Id
+    valor: Decimal
+    produto_id: Id
+    quantidade: Inteiro
+    token_pagamento: Texto
+    itens_reservados: Texto
+    status_cancelamento: StatusPedido
+    motivo_pagamento_recusado: Texto
+    motivo_estoque_insuficiente: Texto
+    etapa pagar usa processar_pagamento com pagamento_id = pedido_id, valor = valor, token = token_pagamento em_sucesso reservar em_erro cancelar_por_pagamento
+    etapa reservar usa reservar_estoque com produto_id = produto_id, quantidade = quantidade, pedido_id = pedido_id depende_de pagar em_sucesso aprovar em_erro cancelar_por_estoque
+    etapa aprovar usa criar_pedido com cliente_id = pedido_id, itens = itens_reservados depende_de reservar
+    etapa cancelar_por_pagamento usa cancelar_pedido com pedido_id = pedido_id, status_atual = status_cancelamento, motivo = motivo_pagamento_recusado depende_de pagar
+    etapa cancelar_por_estoque usa cancelar_pedido com pedido_id = pedido_id, status_atual = status_cancelamento, motivo = motivo_estoque_insuficiente depende_de reservar
+    effects {
+      auditoria fluxo_aprovacao_pedido criticidade = alta
+    }
+  }
+}

package/exemplos/permissao.sema

@@ -1,121 +1,121 @@
-module exemplos.permissao {
-  docs {
-    resumo: "Controle de acesso baseado em papeis e permissoes granulares."
-  }
-
-  entity Papel {
-    fields {
-      id: Id
-      nome: Texto
-      descricao: Texto
-    }
-  }
-
-  entity Permissao {
-    fields {
-      id: Id
-      recurso: Texto
-      acao: Texto
-      descricao: Texto
-    }
-  }
-
-  task atribuir_papel {
-    input {
-      usuario_id: Id required
-      papel_id: Id required
-    }
-    output {
-      atribuicao_id: Id
-    }
-    rules {
-      usuario_id deve_ser valido
-      papel_id deve_ser valido
-    }
-    effects {
-      consulta Usuario por usuario_id
-      consulta Papel por papel_id
-      persistencia AtribuicaoPapel
-      evento papel_atribuido criticidade = media
-      auditoria atribuicao_papel criticidade = alta
-    }
-    guarantees {
-      atribuicao_id existe
-    }
-    error {
-      usuario_nao_encontrado: "Usuario nao localizado."
-      papel_nao_encontrado: "Papel nao localizado."
-      atribuicao_duplicada: "Usuario ja possui este papel."
-    }
-    tests {
-      caso "atribui papel admin" {
-        given { usuario_id: "usr_1"  papel_id: "papel_admin" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task verificar_permissao {
-    input {
-      usuario_id: Id required
-      recurso: Texto required
-      acao: Texto required
-    }
-    output {
-      autorizado: Booleano
-    }
-    rules {
-      usuario_id deve_ser valido
-      recurso deve_ser preenchido
-      acao deve_ser preenchida
-    }
-    effects {
-      consulta AtribuicaoPapel por usuario_id
-      consulta PermissaoPapel por papel_id
-      auditoria verificacao_permissao
-    }
-    guarantees {
-      autorizado existe
-    }
-    tests {
-      caso "usuario autorizado" {
-        given { usuario_id: "usr_admin"  recurso: "relatorios"  acao: "exportar" }
-        expect { sucesso: verdadeiro }
-      }
-      caso "usuario sem permissao" {
-        given { usuario_id: "usr_basico"  recurso: "admin"  acao: "deletar" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task revogar_papel {
-    input {
-      usuario_id: Id required
-      papel_id: Id required
-      motivo: Texto required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      usuario_id deve_ser valido
-      papel_id deve_ser valido
-      motivo deve_ser preenchido
-    }
-    effects {
-      persistencia AtribuicaoPapel
-      evento papel_revogado criticidade = alta
-      auditoria revogacao_papel criticidade = alta
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "revoga papel" {
-        given { usuario_id: "usr_1"  papel_id: "papel_admin"  motivo: "Saida da equipe" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.permissao {
+  docs {
+    resumo: "Controle de acesso baseado em papeis e permissoes granulares."
+  }
+
+  entity Papel {
+    fields {
+      id: Id
+      nome: Texto
+      descricao: Texto
+    }
+  }
+
+  entity Permissao {
+    fields {
+      id: Id
+      recurso: Texto
+      acao: Texto
+      descricao: Texto
+    }
+  }
+
+  task atribuir_papel {
+    input {
+      usuario_id: Id required
+      papel_id: Id required
+    }
+    output {
+      atribuicao_id: Id
+    }
+    rules {
+      usuario_id deve_ser valido
+      papel_id deve_ser valido
+    }
+    effects {
+      consulta Usuario por usuario_id
+      consulta Papel por papel_id
+      persistencia AtribuicaoPapel
+      evento papel_atribuido criticidade = media
+      auditoria atribuicao_papel criticidade = alta
+    }
+    guarantees {
+      atribuicao_id existe
+    }
+    error {
+      usuario_nao_encontrado: "Usuario nao localizado."
+      papel_nao_encontrado: "Papel nao localizado."
+      atribuicao_duplicada: "Usuario ja possui este papel."
+    }
+    tests {
+      caso "atribui papel admin" {
+        given { usuario_id: "usr_1"  papel_id: "papel_admin" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task verificar_permissao {
+    input {
+      usuario_id: Id required
+      recurso: Texto required
+      acao: Texto required
+    }
+    output {
+      autorizado: Booleano
+    }
+    rules {
+      usuario_id deve_ser valido
+      recurso deve_ser preenchido
+      acao deve_ser preenchida
+    }
+    effects {
+      consulta AtribuicaoPapel por usuario_id
+      consulta PermissaoPapel por papel_id
+      auditoria verificacao_permissao
+    }
+    guarantees {
+      autorizado existe
+    }
+    tests {
+      caso "usuario autorizado" {
+        given { usuario_id: "usr_admin"  recurso: "relatorios"  acao: "exportar" }
+        expect { sucesso: verdadeiro }
+      }
+      caso "usuario sem permissao" {
+        given { usuario_id: "usr_basico"  recurso: "admin"  acao: "deletar" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task revogar_papel {
+    input {
+      usuario_id: Id required
+      papel_id: Id required
+      motivo: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      usuario_id deve_ser valido
+      papel_id deve_ser valido
+      motivo deve_ser preenchido
+    }
+    effects {
+      persistencia AtribuicaoPapel
+      evento papel_revogado criticidade = alta
+      auditoria revogacao_papel criticidade = alta
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "revoga papel" {
+        given { usuario_id: "usr_1"  papel_id: "papel_admin"  motivo: "Saida da equipe" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}