@semacode/cli 3.13.1 → 4.0.0

package/exemplos/operacao_estrategia_rollout.sema

@@ -1,124 +1,124 @@
-module exemplos.operacao_estrategia.rollout {
-  docs {
-    resumo: "Task oficial para ativar strategy com nova versao de modelo apos aprovacao manual."
-  }
-
-  enum StatusStrategy {
-    RASCUNHO,
-    ATIVA,
-    QUARENTENA,
-    DESATIVADA
-  }
-
-  enum StatusGate {
-    ABERTO,
-    FECHADO
-  }
-
-  task ativar_strategy_com_nova_versao {
-    docs {
-      resumo: "Promove a versao candidata aprovada e reabre a strategy so quando houver aprovacao manual e gate global devidamente controlado."
-    }
-    input {
-      strategy_id: Id required
-      versao_modelo_ativa: Texto required
-      versao_modelo_candidata: Texto required
-      strategy_status_atual: StatusStrategy required
-      gate_global_atual: StatusGate required
-      aprovacao_manual: Booleano required
-    }
-    output {
-      strategy_status: StatusStrategy
-      gate_global: StatusGate
-      versao_modelo_ativa: Texto
-    }
-    authz {
-      escopo: strategy.rollout.ativar
-      tenant: obrigatorio
-    }
-    dados {
-      classificacao_padrao: interno
-      redacao_log: obrigatoria
-      input {
-        strategy_id: interno
-        versao_modelo_ativa: interno
-        versao_modelo_candidata: interno
-        strategy_status_atual: interno
-        gate_global_atual: interno
-        aprovacao_manual: interno
-      }
-      output {
-        strategy_status: interno
-        gate_global: interno
-        versao_modelo_ativa: interno
-      }
-    }
-    audit {
-      evento: strategy.rollout.ativado
-      ator: sistema.strategy
-      correlacao: request_id
-      retencao: "180d"
-      motivo: obrigatorio
-    }
-    forbidden {
-      shell.exec
-      log.segredo
-      retorno.credencial
-    }
-    rules {
-      strategy_id existe
-      versao_modelo_ativa existe
-      versao_modelo_candidata existe
-      strategy_status_atual em [RASCUNHO, QUARENTENA]
-      gate_global_atual == FECHADO
-      aprovacao_manual == verdadeiro
-    }
-    effects {
-      persistencia strategy criticidade = alta
-      evento strategy_ativada criticidade = alta
-      auditoria rollout criticidade = alta
-    }
-    vinculos {
-      tabela: strategy
-      recurso: model_registry
-      evento: strategy_ativada
-    }
-    execucao {
-      idempotencia: verdadeiro
-      timeout: "15s"
-      retry: "nenhum"
-      compensacao: "reverter_para_versao_modelo_ativa_anterior"
-      criticidade_operacional: alta
-    }
-    state governanca_estrategia {
-      transitions {
-        QUARENTENA -> ATIVA
-        RASCUNHO -> ATIVA
-      }
-    }
-    guarantees {
-      strategy_status == ATIVA
-      gate_global == ABERTO
-      versao_modelo_ativa existe
-    }
-    tests {
-      caso "reativa strategy apos aprovacao do novo modelo" {
-        given {
-          strategy_id: "strategy_alpha"
-          versao_modelo_ativa: "modelo_2026_12"
-          versao_modelo_candidata: "modelo_2026_13"
-          strategy_status_atual: "QUARENTENA"
-          gate_global_atual: "FECHADO"
-          aprovacao_manual: verdadeiro
-        }
-
-        expect {
-          sucesso: verdadeiro
-          strategy_status: "ATIVA"
-          gate_global: "ABERTO"
-          versao_modelo_ativa: "modelo_2026_13"
-        }
-      }
-    }
-  }
-}
+module exemplos.operacao_estrategia.rollout {
+  docs {
+    resumo: "Task oficial para ativar strategy com nova versao de modelo apos aprovacao manual."
+  }
+
+  enum StatusStrategy {
+    RASCUNHO,
+    ATIVA,
+    QUARENTENA,
+    DESATIVADA
+  }
+
+  enum StatusGate {
+    ABERTO,
+    FECHADO
+  }
+
+  task ativar_strategy_com_nova_versao {
+    docs {
+      resumo: "Promove a versao candidata aprovada e reabre a strategy so quando houver aprovacao manual e gate global devidamente controlado."
+    }
+    input {
+      strategy_id: Id required
+      versao_modelo_ativa: Texto required
+      versao_modelo_candidata: Texto required
+      strategy_status_atual: StatusStrategy required
+      gate_global_atual: StatusGate required
+      aprovacao_manual: Booleano required
+    }
+    output {
+      strategy_status: StatusStrategy
+      gate_global: StatusGate
+      versao_modelo_ativa: Texto
+    }
+    authz {
+      escopo: strategy.rollout.ativar
+      tenant: obrigatorio
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+      input {
+        strategy_id: interno
+        versao_modelo_ativa: interno
+        versao_modelo_candidata: interno
+        strategy_status_atual: interno
+        gate_global_atual: interno
+        aprovacao_manual: interno
+      }
+      output {
+        strategy_status: interno
+        gate_global: interno
+        versao_modelo_ativa: interno
+      }
+    }
+    audit {
+      evento: strategy.rollout.ativado
+      ator: sistema.strategy
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      shell.exec
+      log.segredo
+      retorno.credencial
+    }
+    rules {
+      strategy_id existe
+      versao_modelo_ativa existe
+      versao_modelo_candidata existe
+      strategy_status_atual em [RASCUNHO, QUARENTENA]
+      gate_global_atual == FECHADO
+      aprovacao_manual == verdadeiro
+    }
+    effects {
+      persistencia strategy criticidade = alta
+      evento strategy_ativada criticidade = alta
+      auditoria rollout criticidade = alta
+    }
+    vinculos {
+      tabela: strategy
+      recurso: model_registry
+      evento: strategy_ativada
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "15s"
+      retry: "nenhum"
+      compensacao: "reverter_para_versao_modelo_ativa_anterior"
+      criticidade_operacional: alta
+    }
+    state governanca_estrategia {
+      transitions {
+        QUARENTENA -> ATIVA
+        RASCUNHO -> ATIVA
+      }
+    }
+    guarantees {
+      strategy_status == ATIVA
+      gate_global == ABERTO
+      versao_modelo_ativa existe
+    }
+    tests {
+      caso "reativa strategy apos aprovacao do novo modelo" {
+        given {
+          strategy_id: "strategy_alpha"
+          versao_modelo_ativa: "modelo_2026_12"
+          versao_modelo_candidata: "modelo_2026_13"
+          strategy_status_atual: "QUARENTENA"
+          gate_global_atual: "FECHADO"
+          aprovacao_manual: verdadeiro
+        }
+
+        expect {
+          sucesso: verdadeiro
+          strategy_status: "ATIVA"
+          gate_global: "ABERTO"
+          versao_modelo_ativa: "modelo_2026_13"
+        }
+      }
+    }
+  }
+}

package/exemplos/pagamento.sema

@@ -431,4 +431,4 @@ module exemplos.pagamento {
       timeout_gateway: "Erro publico quando o gateway nao responde."
     }
   }
-}
+}

package/exemplos/pagamento_dominio.sema

@@ -32,4 +32,4 @@ module exemplos.pagamento.dominio {
       PENDENTE -> RECUSADO
     }
   }
-}
+}

package/exemplos/pedido.sema

@@ -252,4 +252,4 @@ module exemplos.pedido {
       auditoria fluxo_aprovacao_pedido criticidade = alta
     }
   }
-}
+}

package/exemplos/permissao.sema

@@ -118,4 +118,4 @@ module exemplos.permissao {
       }
     }
   }
-}
+}

package/exemplos/persistencia_vendor_first.sema

@@ -83,4 +83,4 @@ module exemplos.persistencia.vendor_first {
       retention: 300s
     }
   }
-}
+}

package/exemplos/php_crud.sema

@@ -1,170 +1,170 @@
-module exemplos.php.crud {
-  entity Pedido {
-    fields {
-      id: Id
-      cliente: Texto
-      total: Numero
-      status: Texto
-    }
-  }
-
-  task criar_pedido {
-    input {
-      cliente: Texto required
-      total: Numero required
-    }
-    output {
-      pedido: Pedido
-    }
-    rules {
-      cliente deve_ser preenchido
-      total deve_ser positivo
-    }
-    effects {
-      persistencia Pedido
-      auditoria pedido_criado
-    }
-    guarantees {
-      pedido existe
-    }
-    impl {
-      php_rota: pedidos.rota.criarPedido
-      php_servico: pedidos.servico.criarPedido
-      php_persistencia: pedidos.repositorio.criar
-    }
-    vinculos {
-      arquivo: "src/Pedidos/Controller/PedidoController.php"
-      arquivo: "src/Pedidos/Service/PedidoService.php"
-      arquivo: "src/Pedidos/Repository/PedidoRepository.php"
-      simbolo: pedidos.rota.criarPedido
-    }
-    tests {
-      caso "cria pedido" {
-        given {
-          cliente: "Cliente Exemplo"
-          total: 150.0
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task listar_pedidos {
-    input {
-      status: Texto
-    }
-    output {
-      pedidos: Lista
-    }
-    effects {
-      consulta Pedido
-    }
-    guarantees {
-      pedidos existe
-    }
-    impl {
-      php_rota: pedidos.rota.listarPedidos
-      php_servico: pedidos.servico.listarPedidos
-    }
-    vinculos {
-      arquivo: "src/Pedidos/Controller/PedidoController.php"
-      arquivo: "src/Pedidos/Service/PedidoService.php"
-      simbolo: pedidos.rota.listarPedidos
-    }
-    tests {
-      caso "lista pedidos por status" {
-        given {
-          status: "pago"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  task cancelar_pedido {
-    input {
-      id: Id required
-    }
-    output {
-      cancelado: Booleano
-    }
-    rules {
-      id deve_ser valido
-    }
-    effects {
-      persistencia Pedido
-      auditoria pedido_cancelado
-    }
-    guarantees {
-      cancelado == verdadeiro
-    }
-    impl {
-      php_rota: pedidos.rota.cancelarPedido
-      php_servico: pedidos.servico.cancelarPedido
-      php_persistencia: pedidos.repositorio.atualizarStatus
-    }
-    vinculos {
-      arquivo: "src/Pedidos/Controller/PedidoController.php"
-      arquivo: "src/Pedidos/Service/PedidoService.php"
-      arquivo: "src/Pedidos/Repository/PedidoRepository.php"
-      simbolo: pedidos.rota.cancelarPedido
-    }
-    tests {
-      caso "cancela pedido por id" {
-        given {
-          id: "ped_1"
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  route pedidos_criar {
-    metodo: POST
-    caminho: /pedidos
-    task: criar_pedido
-    finalidade: cadastro_pedido
-    input {
-      cliente: Texto
-      total: Numero
-    }
-    output {
-      pedido: Pedido
-    }
-  }
-
-  route pedidos_listar {
-    metodo: GET
-    caminho: /pedidos
-    task: listar_pedidos
-    finalidade: consulta_pedidos
-    input {
-      status: Texto
-    }
-    output {
-      pedidos: Lista
-    }
-  }
-
-  route pedidos_cancelar {
-    metodo: PATCH
-    caminho: "/pedidos/{id}/cancelar"
-    task: cancelar_pedido
-    finalidade: cancelamento_pedido
-    input {
-      id: Id
-    }
-    output {
-      cancelado: Booleano
-    }
-  }
-}
+module exemplos.php.crud {
+  entity Pedido {
+    fields {
+      id: Id
+      cliente: Texto
+      total: Numero
+      status: Texto
+    }
+  }
+
+  task criar_pedido {
+    input {
+      cliente: Texto required
+      total: Numero required
+    }
+    output {
+      pedido: Pedido
+    }
+    rules {
+      cliente deve_ser preenchido
+      total deve_ser positivo
+    }
+    effects {
+      persistencia Pedido
+      auditoria pedido_criado
+    }
+    guarantees {
+      pedido existe
+    }
+    impl {
+      php_rota: pedidos.rota.criarPedido
+      php_servico: pedidos.servico.criarPedido
+      php_persistencia: pedidos.repositorio.criar
+    }
+    vinculos {
+      arquivo: "src/Pedidos/Controller/PedidoController.php"
+      arquivo: "src/Pedidos/Service/PedidoService.php"
+      arquivo: "src/Pedidos/Repository/PedidoRepository.php"
+      simbolo: pedidos.rota.criarPedido
+    }
+    tests {
+      caso "cria pedido" {
+        given {
+          cliente: "Cliente Exemplo"
+          total: 150.0
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task listar_pedidos {
+    input {
+      status: Texto
+    }
+    output {
+      pedidos: Lista
+    }
+    effects {
+      consulta Pedido
+    }
+    guarantees {
+      pedidos existe
+    }
+    impl {
+      php_rota: pedidos.rota.listarPedidos
+      php_servico: pedidos.servico.listarPedidos
+    }
+    vinculos {
+      arquivo: "src/Pedidos/Controller/PedidoController.php"
+      arquivo: "src/Pedidos/Service/PedidoService.php"
+      simbolo: pedidos.rota.listarPedidos
+    }
+    tests {
+      caso "lista pedidos por status" {
+        given {
+          status: "pago"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task cancelar_pedido {
+    input {
+      id: Id required
+    }
+    output {
+      cancelado: Booleano
+    }
+    rules {
+      id deve_ser valido
+    }
+    effects {
+      persistencia Pedido
+      auditoria pedido_cancelado
+    }
+    guarantees {
+      cancelado == verdadeiro
+    }
+    impl {
+      php_rota: pedidos.rota.cancelarPedido
+      php_servico: pedidos.servico.cancelarPedido
+      php_persistencia: pedidos.repositorio.atualizarStatus
+    }
+    vinculos {
+      arquivo: "src/Pedidos/Controller/PedidoController.php"
+      arquivo: "src/Pedidos/Service/PedidoService.php"
+      arquivo: "src/Pedidos/Repository/PedidoRepository.php"
+      simbolo: pedidos.rota.cancelarPedido
+    }
+    tests {
+      caso "cancela pedido por id" {
+        given {
+          id: "ped_1"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route pedidos_criar {
+    metodo: POST
+    caminho: /pedidos
+    task: criar_pedido
+    finalidade: cadastro_pedido
+    input {
+      cliente: Texto
+      total: Numero
+    }
+    output {
+      pedido: Pedido
+    }
+  }
+
+  route pedidos_listar {
+    metodo: GET
+    caminho: /pedidos
+    task: listar_pedidos
+    finalidade: consulta_pedidos
+    input {
+      status: Texto
+    }
+    output {
+      pedidos: Lista
+    }
+  }
+
+  route pedidos_cancelar {
+    metodo: PATCH
+    caminho: "/pedidos/{id}/cancelar"
+    task: cancelar_pedido
+    finalidade: cancelamento_pedido
+    input {
+      id: Id
+    }
+    output {
+      cancelado: Booleano
+    }
+  }
+}