@semacode/cli 1.5.17 → 1.5.18

package/exemplos/agendamento.sema

@@ -73,7 +73,6 @@ module exemplos.agendamento {
     }
     rules {
       agendamento_id deve_ser valido
-      agendamento.ativo == verdadeiro
     }
     effects {
       consulta Agendamento por agendamento_id

package/exemplos/assinatura.sema

@@ -71,7 +71,6 @@ module exemplos.assinatura {
     }
     rules {
       assinatura_id deve_ser valido
-      assinatura.status == ATIVA
       motivo deve_ser preenchido
     }
     effects {
@@ -110,8 +109,6 @@ module exemplos.assinatura {
     }
     rules {
       assinatura_id deve_ser valido
-      assinatura.status == ATIVA
-      assinatura.proximo_vencimento <= hoje
     }
     effects {
       consulta gateway_pagamento criticidade = alta

package/exemplos/auditoria.sema

@@ -31,6 +31,7 @@ module exemplos.auditoria {
     }
     output {
       auditoria_id: Id
+      imutavel: Booleano
     }
     rules {
       acao deve_ser preenchida
@@ -42,7 +43,7 @@ module exemplos.auditoria {
     }
     guarantees {
       auditoria_id existe
-      RegistroAuditoria.imutavel == verdadeiro
+      imutavel == verdadeiro
     }
     error {
       falha_persistencia: "Nao foi possivel registrar a auditoria — operacao bloqueada."

package/exemplos/estoque.sema

@@ -32,6 +32,7 @@ module exemplos.estoque {
     }
     output {
       reserva_id: Id
+      quantidade_reservada: Inteiro
     }
     rules {
       quantidade > 0
@@ -46,7 +47,7 @@ module exemplos.estoque {
     }
     guarantees {
       reserva_id existe
-      ItemEstoque.quantidade_reservada >= quantidade
+      quantidade_reservada existe
     }
     error {
       estoque_insuficiente: "Quantidade solicitada indisponivel em estoque."

package/exemplos/fila.sema

@@ -50,7 +50,7 @@ module exemplos.fila {
     }
     tests {
       caso "enfileira job valido" {
-        given { tipo: "envio_email"  payload: {destinatario: "a@b.com"} }
+        given { tipo: "envio_email"  payload: "destinatario:a@b.com" }
         expect { sucesso: verdadeiro }
       }
     }
@@ -65,7 +65,6 @@ module exemplos.fila {
     }
     rules {
       job_id deve_ser valido
-      job.status == PENDENTE
     }
     effects {
       persistencia Job
@@ -105,7 +104,7 @@ module exemplos.fila {
     }
     rules {
       job_id deve_ser valido
-      job.tentativas >= job.max_tentativas
+      motivo deve_ser preenchido
     }
     effects {
       persistencia Job

package/exemplos/multi_tenant.sema

@@ -106,11 +106,11 @@ module exemplos.multi.tenant {
     }
     output {
       protocolo: Id
+      tenant_ativo: Booleano
     }
     rules {
       tenant_id deve_ser valido
       motivo deve_ser preenchido
-      tenant.ativo == verdadeiro
     }
     effects {
       persistencia Tenant
@@ -125,7 +125,7 @@ module exemplos.multi.tenant {
     }
     guarantees {
       protocolo existe
-      tenant.ativo == falso
+      tenant_ativo == falso
     }
     error {
       tenant_ja_suspenso: "Tenant ja esta suspenso."

package/exemplos/notificacao.sema

@@ -85,14 +85,65 @@ module exemplos.notificacao {
     }
   }
 
+  task registrar_falha_notificacao {
+    input {
+      canal: Texto required
+    }
+    output {
+      protocolo_falha: Id
+    }
+    rules {
+      canal deve_ser preenchido
+    }
+    effects {
+      auditoria falha_notificacao
+      persistencia Notificacao
+    }
+    guarantees {
+      protocolo_falha existe
+    }
+    tests {
+      caso "registra falha de canal" {
+        given { canal: "email" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task confirmar_notificacao {
+    input {
+      destinatario_id: Id required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      destinatario_id deve_ser valido
+    }
+    effects {
+      auditoria notificacao_concluida
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "confirma notificacao multicanal" {
+        given { destinatario_id: "usr_1" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
   flow notificar_multicanal {
     destinatario_id: Id
     titulo: Texto
     corpo: Texto
+    canal_email: Texto
+    canal_push: 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 registrar_falha_email usa registrar_falha_notificacao com canal = canal_email depende_de email
+    etapa registrar_falha_push usa registrar_falha_notificacao com canal = canal_push depende_de push
     etapa concluir usa confirmar_notificacao com destinatario_id = destinatario_id depende_de email
   }
 }

package/exemplos/operacao_estrategia.sema

@@ -142,6 +142,35 @@ module exemplos.operacao_estrategia {
       janela: JanelaDiscovery
       discovery_registrada: Booleano
     }
+    authz {
+      escopo: strategy.discovery.operar
+      tenant: obrigatorio
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+      input {
+        strategy_id: interno
+        semana_referencia: interno
+        versao_modelo_candidata: interno
+      }
+      output {
+        janela: interno
+        discovery_registrada: interno
+      }
+    }
+    audit {
+      evento: strategy.discovery.aberta
+      ator: sistema.strategy
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      shell.exec
+      log.segredo
+      retorno.credencial
+    }
     rules {
       strategy_id existe
       semana_referencia existe
@@ -152,6 +181,18 @@ module exemplos.operacao_estrategia {
       auditoria strategy criticidade = alta
       evento discovery_aberta criticidade = media
     }
+    vinculos {
+      tabela: discovery_semanal
+      recurso: strategy_registry
+      evento: discovery_aberta
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      retry: "nenhum"
+      compensacao: "fechar_janela_discovery_inconsistente"
+      criticidade_operacional: alta
+    }
     guarantees {
       janela existe
       discovery_registrada == verdadeiro
@@ -166,6 +207,8 @@ module exemplos.operacao_estrategia {
 
         expect {
           sucesso: verdadeiro
+          discovery_registrada: verdadeiro
+          janela: "janela_strategy_alpha_2026_13"
         }
       }
     }
@@ -187,6 +230,38 @@ module exemplos.operacao_estrategia {
       slice_status: StatusSlice
       motivo_operacional: Texto
     }
+    authz {
+      escopo: strategy.slice.avaliar
+      tenant: obrigatorio
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+      input {
+        strategy_id: interno
+        slice_id: interno
+        precision_observada: interno
+        precision_minima: interno
+        risco_operacional: interno
+      }
+      output {
+        gate_slice: interno
+        slice_status: interno
+        motivo_operacional: interno
+      }
+    }
+    audit {
+      evento: strategy.slice.avaliado
+      ator: sistema.strategy
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      shell.exec
+      log.segredo
+      retorno.credencial
+    }
     rules {
       strategy_id existe
       slice_id existe
@@ -199,6 +274,18 @@ module exemplos.operacao_estrategia {
       auditoria discovery_slice criticidade = alta
       notificacao operacao criticidade = media
     }
+    vinculos {
+      tabela: slice
+      recurso: strategy_registry
+      evento: discovery_slice_avaliado
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      retry: "nenhum"
+      compensacao: "manter_gate_slice_fechado_ate_reavaliacao"
+      criticidade_operacional: alta
+    }
     guarantees {
       gate_slice existe
       slice_status existe
@@ -216,6 +303,9 @@ module exemplos.operacao_estrategia {
 
         expect {
           sucesso: verdadeiro
+          gate_slice: "FECHADO"
+          slice_status: "QUARENTENA"
+          motivo_operacional: "drawdown_excessivo"
         }
       }
     }
@@ -237,6 +327,38 @@ module exemplos.operacao_estrategia {
       gate_slice: StatusGate
       contexto: ContextoQuarentena
     }
+    authz {
+      escopo: strategy.slice.quarentena
+      tenant: obrigatorio
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+      input {
+        strategy_id: interno
+        slice_id: interno
+        motivo: interno
+        origem: interno
+        data_referencia: interno
+      }
+      output {
+        slice_status: interno
+        gate_slice: interno
+        contexto: interno
+      }
+    }
+    audit {
+      evento: strategy.slice.quarentena
+      ator: sistema.strategy
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      shell.exec
+      log.segredo
+      retorno.credencial
+    }
     rules {
       strategy_id existe
       slice_id existe
@@ -250,6 +372,19 @@ module exemplos.operacao_estrategia {
       notificacao operacao criticidade = alta
       auditoria quarentena criticidade = alta
     }
+    vinculos {
+      tabela: slice
+      tabela: quarentena
+      recurso: strategy_registry
+      evento: slice_quarentena
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      retry: "nenhum"
+      compensacao: "reabrir_slice_por_revisao_manual"
+      criticidade_operacional: alta
+    }
     state governanca_estrategia {
       transitions {
         ATIVA -> QUARENTENA
@@ -272,6 +407,9 @@ module exemplos.operacao_estrategia {
 
         expect {
           sucesso: verdadeiro
+          slice_status: "QUARENTENA"
+          gate_slice: "FECHADO"
+          contexto: "ctx_quarentena"
         }
       }
     }
@@ -291,6 +429,36 @@ module exemplos.operacao_estrategia {
       gate_global: StatusGate
       versao_modelo_ativa: Texto
     }
+    authz {
+      escopo: strategy.gate.fechar
+      tenant: obrigatorio
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+      input {
+        strategy_id: interno
+        motivo_operacional: interno
+        versao_modelo_ativa: interno
+      }
+      output {
+        strategy_status: interno
+        gate_global: interno
+        versao_modelo_ativa: interno
+      }
+    }
+    audit {
+      evento: strategy.gate_global.fechado
+      ator: sistema.strategy
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      shell.exec
+      log.segredo
+      retorno.credencial
+    }
     rules {
       strategy_id existe
       motivo_operacional existe
@@ -301,6 +469,18 @@ module exemplos.operacao_estrategia {
       notificacao operacao criticidade = alta
       auditoria gate_global criticidade = alta
     }
+    vinculos {
+      tabela: strategy
+      recurso: strategy_registry
+      evento: gate_global_fechado
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      retry: "nenhum"
+      compensacao: "manter_strategy_em_quarentena"
+      criticidade_operacional: alta
+    }
     guarantees {
       strategy_status == QUARENTENA
       gate_global == FECHADO
@@ -316,6 +496,9 @@ module exemplos.operacao_estrategia {
 
         expect {
           sucesso: verdadeiro
+          strategy_status: "QUARENTENA"
+          gate_global: "FECHADO"
+          versao_modelo_ativa: "modelo_2026_12"
         }
       }
     }
@@ -338,6 +521,39 @@ module exemplos.operacao_estrategia {
       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
@@ -351,6 +567,18 @@ module exemplos.operacao_estrategia {
       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
@@ -375,6 +603,9 @@ module exemplos.operacao_estrategia {
 
         expect {
           sucesso: verdadeiro
+          strategy_status: "ATIVA"
+          gate_global: "ABERTO"
+          versao_modelo_ativa: "modelo_2026_13"
         }
       }
     }