@semacode/cli 3.13.1 → 4.1.0

package/exemplos/operacao_estrategia_discovery.sema

@@ -1,220 +1,220 @@
-module exemplos.operacao_estrategia.discovery {
-  docs {
-    resumo: "Tasks oficiais de discovery semanal e avaliacao de slice apos discovery."
-  }
-
-  type JanelaDiscovery {
-    fields {
-      semana_referencia: Data
-      strategy_id: Id
-      versao_modelo_candidata: Texto
-      status_discovery: StatusDiscovery
-    }
-    invariants {
-      semana_referencia existe
-      strategy_id existe
-      versao_modelo_candidata existe
-      status_discovery em [ABERTA, EM_AVALIACAO, APROVADA, REJEITADA]
-    }
-  }
-
-  enum StatusSlice {
-    ATIVO,
-    QUARENTENA,
-    DESLIGADO
-  }
-
-  enum StatusGate {
-    ABERTO,
-    FECHADO
-  }
-
-  enum StatusDiscovery {
-    ABERTA,
-    EM_AVALIACAO,
-    APROVADA,
-    REJEITADA
-  }
-
-  task registrar_discovery_semanal {
-    docs {
-      resumo: "Abre a janela semanal de discovery para uma strategy e marca a versao candidata que esta entrando em avaliacao."
-    }
-    input {
-      strategy_id: Id required
-      semana_referencia: Data required
-      versao_modelo_candidata: Texto required
-    }
-    output {
-      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
-      versao_modelo_candidata existe
-    }
-    effects {
-      persistencia discovery_semanal criticidade = alta
-      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
-    }
-    tests {
-      caso "abre discovery da semana" {
-        given {
-          strategy_id: "strategy_alpha"
-          semana_referencia: "2026-03-30"
-          versao_modelo_candidata: "modelo_2026_13"
-        }
-
-        expect {
-          sucesso: verdadeiro
-          discovery_registrada: verdadeiro
-          janela: "janela_strategy_alpha_2026_13"
-        }
-      }
-    }
-  }
-
-  task avaliar_slice_apos_discovery {
-    docs {
-      resumo: "Decide se um slice segue aberto,entra em quarentena ou precisa ficar bloqueado ate nova avaliacao."
-    }
-    input {
-      strategy_id: Id required
-      slice_id: Id required
-      precision_observada: Decimal required
-      precision_minima: Decimal required
-      risco_operacional: Texto required
-    }
-    output {
-      gate_slice: StatusGate
-      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
-      precision_observada existe
-      precision_minima existe
-      risco_operacional existe
-    }
-    effects {
-      persistencia slice criticidade = alta
-      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
-      motivo_operacional existe
-    }
-    tests {
-      caso "slice ruim fecha gate na avaliacao" {
-        given {
-          strategy_id: "strategy_alpha"
-          slice_id: "slice_under35_serie_a"
-          precision_observada: 0.49
-          precision_minima: 0.58
-          risco_operacional: "drawdown_excessivo"
-        }
-
-        expect {
-          sucesso: verdadeiro
-          gate_slice: "FECHADO"
-          slice_status: "QUARENTENA"
-          motivo_operacional: "drawdown_excessivo"
-        }
-      }
-    }
-  }
-}
+module exemplos.operacao_estrategia.discovery {
+  docs {
+    resumo: "Tasks oficiais de discovery semanal e avaliacao de slice apos discovery."
+  }
+
+  type JanelaDiscovery {
+    fields {
+      semana_referencia: Data
+      strategy_id: Id
+      versao_modelo_candidata: Texto
+      status_discovery: StatusDiscovery
+    }
+    invariants {
+      semana_referencia existe
+      strategy_id existe
+      versao_modelo_candidata existe
+      status_discovery em [ABERTA, EM_AVALIACAO, APROVADA, REJEITADA]
+    }
+  }
+
+  enum StatusSlice {
+    ATIVO,
+    QUARENTENA,
+    DESLIGADO
+  }
+
+  enum StatusGate {
+    ABERTO,
+    FECHADO
+  }
+
+  enum StatusDiscovery {
+    ABERTA,
+    EM_AVALIACAO,
+    APROVADA,
+    REJEITADA
+  }
+
+  task registrar_discovery_semanal {
+    docs {
+      resumo: "Abre a janela semanal de discovery para uma strategy e marca a versao candidata que esta entrando em avaliacao."
+    }
+    input {
+      strategy_id: Id required
+      semana_referencia: Data required
+      versao_modelo_candidata: Texto required
+    }
+    output {
+      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
+      versao_modelo_candidata existe
+    }
+    effects {
+      persistencia discovery_semanal criticidade = alta
+      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
+    }
+    tests {
+      caso "abre discovery da semana" {
+        given {
+          strategy_id: "strategy_alpha"
+          semana_referencia: "2026-03-30"
+          versao_modelo_candidata: "modelo_2026_13"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          discovery_registrada: verdadeiro
+          janela: "janela_strategy_alpha_2026_13"
+        }
+      }
+    }
+  }
+
+  task avaliar_slice_apos_discovery {
+    docs {
+      resumo: "Decide se um slice segue aberto,entra em quarentena ou precisa ficar bloqueado ate nova avaliacao."
+    }
+    input {
+      strategy_id: Id required
+      slice_id: Id required
+      precision_observada: Decimal required
+      precision_minima: Decimal required
+      risco_operacional: Texto required
+    }
+    output {
+      gate_slice: StatusGate
+      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
+      precision_observada existe
+      precision_minima existe
+      risco_operacional existe
+    }
+    effects {
+      persistencia slice criticidade = alta
+      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
+      motivo_operacional existe
+    }
+    tests {
+      caso "slice ruim fecha gate na avaliacao" {
+        given {
+          strategy_id: "strategy_alpha"
+          slice_id: "slice_under35_serie_a"
+          precision_observada: 0.49
+          precision_minima: 0.58
+          risco_operacional: "drawdown_excessivo"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          gate_slice: "FECHADO"
+          slice_status: "QUARENTENA"
+          motivo_operacional: "drawdown_excessivo"
+        }
+      }
+    }
+  }
+}

package/exemplos/operacao_estrategia_fluxo.sema

@@ -1,114 +1,114 @@
-module exemplos.operacao_estrategia.fluxo {
-  docs {
-    resumo: "Flow oficial de governanca operacional com stubs curtos para manter a orquestracao validavel sem virar contrato monolitico."
-  }
-
-  enum StatusStrategy {
-    RASCUNHO,
-    ATIVA,
-    QUARENTENA,
-    DESATIVADA
-  }
-
-  enum StatusGate {
-    ABERTO,
-    FECHADO
-  }
-
-  task registrar_discovery_semanal {
-    input {
-      strategy_id: Id required
-      semana_referencia: Data required
-      versao_modelo_candidata: Texto required
-    }
-    output {
-      discovery_registrada: Booleano
-    }
-    guarantees {
-      discovery_registrada existe
-    }
-  }
-
-  task avaliar_slice_apos_discovery {
-    input {
-      strategy_id: Id required
-      slice_id: Id required
-      precision_observada: Decimal required
-      precision_minima: Decimal required
-      risco_operacional: Texto required
-    }
-    output {
-      motivo_operacional: Texto
-    }
-    guarantees {
-      motivo_operacional existe
-    }
-  }
-
-  task colocar_slice_em_quarentena {
-    input {
-      strategy_id: Id required
-      slice_id: Id required
-      motivo: Texto required
-      origem: Texto required
-      data_referencia: Data required
-    }
-    output {
-      gate_slice: StatusGate
-    }
-    guarantees {
-      gate_slice existe
-    }
-  }
-
-  task fechar_gate_global_strategy {
-    input {
-      strategy_id: Id required
-      motivo_operacional: Texto required
-      versao_modelo_ativa: Texto required
-    }
-    output {
-      gate_global: StatusGate
-    }
-    guarantees {
-      gate_global existe
-    }
-  }
-
-  task ativar_strategy_com_nova_versao {
-    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
-    }
-    guarantees {
-      strategy_status existe
-    }
-  }
-
-  flow governanca_operacional {
-    strategy_id: Id
-    slice_id: Id
-    semana_referencia: Data
-    versao_modelo_ativa: Texto
-    versao_modelo_candidata: Texto
-    precision_observada: Decimal
-    precision_minima: Decimal
-    risco_operacional: Texto
-    motivo_operacional: Texto
-    strategy_status_atual: StatusStrategy
-    gate_global_atual: StatusGate
-    aprovacao_manual: Booleano
-    etapa discovery usa registrar_discovery_semanal com strategy_id = strategy_id, semana_referencia = semana_referencia, versao_modelo_candidata = versao_modelo_candidata
-    etapa avaliar_slice usa avaliar_slice_apos_discovery com strategy_id = strategy_id, slice_id = slice_id, precision_observada = precision_observada, precision_minima = precision_minima, risco_operacional = risco_operacional depende_de discovery
-    etapa quarentena_slice usa colocar_slice_em_quarentena com strategy_id = strategy_id, slice_id = slice_id, motivo = motivo_operacional, origem = risco_operacional, data_referencia = semana_referencia quando motivo_operacional existe depende_de avaliar_slice
-    etapa fechar_gate_global usa fechar_gate_global_strategy com strategy_id = strategy_id, motivo_operacional = motivo_operacional, versao_modelo_ativa = versao_modelo_ativa quando motivo_operacional existe depende_de quarentena_slice
-    etapa reativacao usa ativar_strategy_com_nova_versao com strategy_id = strategy_id, versao_modelo_ativa = versao_modelo_ativa, versao_modelo_candidata = versao_modelo_candidata, strategy_status_atual = strategy_status_atual, gate_global_atual = gate_global_atual, aprovacao_manual = aprovacao_manual quando aprovacao_manual == verdadeiro depende_de fechar_gate_global
-  }
-}
+module exemplos.operacao_estrategia.fluxo {
+  docs {
+    resumo: "Flow oficial de governanca operacional com stubs curtos para manter a orquestracao validavel sem virar contrato monolitico."
+  }
+
+  enum StatusStrategy {
+    RASCUNHO,
+    ATIVA,
+    QUARENTENA,
+    DESATIVADA
+  }
+
+  enum StatusGate {
+    ABERTO,
+    FECHADO
+  }
+
+  task registrar_discovery_semanal {
+    input {
+      strategy_id: Id required
+      semana_referencia: Data required
+      versao_modelo_candidata: Texto required
+    }
+    output {
+      discovery_registrada: Booleano
+    }
+    guarantees {
+      discovery_registrada existe
+    }
+  }
+
+  task avaliar_slice_apos_discovery {
+    input {
+      strategy_id: Id required
+      slice_id: Id required
+      precision_observada: Decimal required
+      precision_minima: Decimal required
+      risco_operacional: Texto required
+    }
+    output {
+      motivo_operacional: Texto
+    }
+    guarantees {
+      motivo_operacional existe
+    }
+  }
+
+  task colocar_slice_em_quarentena {
+    input {
+      strategy_id: Id required
+      slice_id: Id required
+      motivo: Texto required
+      origem: Texto required
+      data_referencia: Data required
+    }
+    output {
+      gate_slice: StatusGate
+    }
+    guarantees {
+      gate_slice existe
+    }
+  }
+
+  task fechar_gate_global_strategy {
+    input {
+      strategy_id: Id required
+      motivo_operacional: Texto required
+      versao_modelo_ativa: Texto required
+    }
+    output {
+      gate_global: StatusGate
+    }
+    guarantees {
+      gate_global existe
+    }
+  }
+
+  task ativar_strategy_com_nova_versao {
+    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
+    }
+    guarantees {
+      strategy_status existe
+    }
+  }
+
+  flow governanca_operacional {
+    strategy_id: Id
+    slice_id: Id
+    semana_referencia: Data
+    versao_modelo_ativa: Texto
+    versao_modelo_candidata: Texto
+    precision_observada: Decimal
+    precision_minima: Decimal
+    risco_operacional: Texto
+    motivo_operacional: Texto
+    strategy_status_atual: StatusStrategy
+    gate_global_atual: StatusGate
+    aprovacao_manual: Booleano
+    etapa discovery usa registrar_discovery_semanal com strategy_id = strategy_id, semana_referencia = semana_referencia, versao_modelo_candidata = versao_modelo_candidata
+    etapa avaliar_slice usa avaliar_slice_apos_discovery com strategy_id = strategy_id, slice_id = slice_id, precision_observada = precision_observada, precision_minima = precision_minima, risco_operacional = risco_operacional depende_de discovery
+    etapa quarentena_slice usa colocar_slice_em_quarentena com strategy_id = strategy_id, slice_id = slice_id, motivo = motivo_operacional, origem = risco_operacional, data_referencia = semana_referencia quando motivo_operacional existe depende_de avaliar_slice
+    etapa fechar_gate_global usa fechar_gate_global_strategy com strategy_id = strategy_id, motivo_operacional = motivo_operacional, versao_modelo_ativa = versao_modelo_ativa quando motivo_operacional existe depende_de quarentena_slice
+    etapa reativacao usa ativar_strategy_com_nova_versao com strategy_id = strategy_id, versao_modelo_ativa = versao_modelo_ativa, versao_modelo_candidata = versao_modelo_candidata, strategy_status_atual = strategy_status_atual, gate_global_atual = gate_global_atual, aprovacao_manual = aprovacao_manual quando aprovacao_manual == verdadeiro depende_de fechar_gate_global
+  }
+}