@semacode/cli 1.5.28 → 1.5.29

package/exemplos/profile_game.sema

@@ -1,114 +1,114 @@
-module exemplos.profile.game {
-  docs {
-    resumo: "Starter do Profile Game: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois loop jogavel, jogador, estado, state, regras, transicoes, falha, derrota, balanceamento, abuso, exploit, telemetria, replay e metricas."
-  }
-
-  state partida_status {
-    fields {
-      estado: StatusPartida
-    }
-    invariants {
-      estado existe
-    }
-    transitions {
-      PREPARANDO -> EM_JOGO
-      EM_JOGO -> VITORIA
-      EM_JOGO -> DERROTA
-    }
-  }
-
-  enum StatusPartida {
-    PREPARANDO,
-    EM_JOGO,
-    VITORIA,
-    DERROTA
-  }
-
-  type LoopJogo {
-    fields {
-      objetivo: Texto
-      jogador: Texto
-      estado: Texto
-      regras: Lista
-      telemetria: Lista
-    }
-    invariants {
-      objetivo existe
-      jogador existe
-      estado existe
-      regras existe
-    }
-  }
-
-  task validar_loop_jogavel {
-    input {
-      loop: Texto required
-      jogador: Texto required
-      estado: Texto required
-      regras: Lista required
-      estado_state: Texto
-      transicoes: Texto
-      falha: Texto
-      derrota: Texto
-      balanceamento: Texto
-      abuso: Texto
-      exploit: Texto
-      telemetria: Texto
-      replay: Texto
-      metricas: Texto
-    }
-    output {
-      jogavel: Booleano
-      bloqueios: Lista
-    }
-    rules {
-      loop deve_ser jogavel
-      jogador deve_ser declarado
-      estado deve_ser persistente
-      estado_state deve_ser explicito
-      regras deve_ser testaveis
-      transicoes deve_ser declaradas
-      falha deve_ser possivel
-      derrota deve_ser legivel
-      balanceamento deve_ser testavel
-      abuso deve_ser mapeado
-      exploit deve_ser bloqueado
-      telemetria deve_ser declarada
-      replay deve_ser opcional
-      metricas deve_ser coletaveis
-    }
-    effects {
-      evento game_loop_validado criticidade = baixa
-      auditoria game_loop criticidade = media
-    }
-    forbidden {
-      vitoria_sem_custo
-      exploit_sem_mitigacao
-      falha_invisivel
-    }
-    execucao {
-      idempotencia: verdadeiro
-      timeout: "10s"
-      criticidade_operacional: media
-    }
-    guarantees {
-      jogavel existe
-      bloqueios existe
-    }
-    tests {
-      caso "loop tem estado e falha" {
-        given {
-          loop: "explorar, escolher risco, resolver encontro"
-          jogador: "piloto"
-          estado: "energia e mapa"
-          regras: "transicoes PREPARANDO EM_JOGO DERROTA"
-        }
-
-        expect {
-          sucesso: verdadeiro
-          jogavel: verdadeiro
-        }
-      }
-    }
-  }
-}
+module exemplos.profile.game {
+  docs {
+    resumo: "Starter do Profile Game: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois loop jogavel, jogador, estado, state, regras, transicoes, falha, derrota, balanceamento, abuso, exploit, telemetria, replay e metricas."
+  }
+
+  state partida_status {
+    fields {
+      estado: StatusPartida
+    }
+    invariants {
+      estado existe
+    }
+    transitions {
+      PREPARANDO -> EM_JOGO
+      EM_JOGO -> VITORIA
+      EM_JOGO -> DERROTA
+    }
+  }
+
+  enum StatusPartida {
+    PREPARANDO,
+    EM_JOGO,
+    VITORIA,
+    DERROTA
+  }
+
+  type LoopJogo {
+    fields {
+      objetivo: Texto
+      jogador: Texto
+      estado: Texto
+      regras: Lista
+      telemetria: Lista
+    }
+    invariants {
+      objetivo existe
+      jogador existe
+      estado existe
+      regras existe
+    }
+  }
+
+  task validar_loop_jogavel {
+    input {
+      loop: Texto required
+      jogador: Texto required
+      estado: Texto required
+      regras: Lista required
+      estado_state: Texto
+      transicoes: Texto
+      falha: Texto
+      derrota: Texto
+      balanceamento: Texto
+      abuso: Texto
+      exploit: Texto
+      telemetria: Texto
+      replay: Texto
+      metricas: Texto
+    }
+    output {
+      jogavel: Booleano
+      bloqueios: Lista
+    }
+    rules {
+      loop deve_ser jogavel
+      jogador deve_ser declarado
+      estado deve_ser persistente
+      estado_state deve_ser explicito
+      regras deve_ser testaveis
+      transicoes deve_ser declaradas
+      falha deve_ser possivel
+      derrota deve_ser legivel
+      balanceamento deve_ser testavel
+      abuso deve_ser mapeado
+      exploit deve_ser bloqueado
+      telemetria deve_ser declarada
+      replay deve_ser opcional
+      metricas deve_ser coletaveis
+    }
+    effects {
+      evento game_loop_validado criticidade = baixa
+      auditoria game_loop criticidade = media
+    }
+    forbidden {
+      vitoria_sem_custo
+      exploit_sem_mitigacao
+      falha_invisivel
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      criticidade_operacional: media
+    }
+    guarantees {
+      jogavel existe
+      bloqueios existe
+    }
+    tests {
+      caso "loop tem estado e falha" {
+        given {
+          loop: "explorar, escolher risco, resolver encontro"
+          jogador: "piloto"
+          estado: "energia e mapa"
+          regras: "transicoes PREPARANDO EM_JOGO DERROTA"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          jogavel: verdadeiro
+        }
+      }
+    }
+  }
+}

package/exemplos/profile_legal.sema

@@ -1,105 +1,105 @@
-module exemplos.profile.legal {
-  docs {
-    resumo: "Starter do Profile Legal: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois jurisdicao, escopo, limite, fonte normativa, lei, regulamento, documento, citacao, evidencia, revisao_humana, advogado, aprovador, bloqueio, auditoria, retencao, correlacao e motivo."
-  }
-
-  type ContextoLegal {
-    fields {
-      jurisdicao: Texto
-      escopo: Texto
-      limite: Texto
-      fontes: Lista
-      revisao_humana: Booleano
-    }
-    invariants {
-      jurisdicao existe
-      escopo existe
-      limite existe
-      fontes existe
-      revisao_humana existe
-    }
-  }
-
-  task validar_minuta_legal {
-    input {
-      jurisdicao: Texto required
-      escopo: Texto required
-      fonte: Texto required
-      documento: Texto required
-      limite: Texto
-      norma: Texto
-      lei: Texto
-      regulamento: Texto
-      citacao: Texto
-      evidencia: Texto
-      revisao_humana: Texto
-      advogado: Texto
-    }
-    output {
-      aprovado: Booleano
-      bloqueio: Lista
-    }
-    rules {
-      jurisdicao deve_ser declarada
-      escopo deve_ser limitado
-      limite deve_ser explicito
-      fonte deve_ser normativa
-      norma deve_ser verificavel
-      lei deve_ser citavel
-      regulamento deve_ser citavel
-      documento deve_ser anexado
-      citacao deve_ser rastreavel
-      evidencia deve_ser preservada
-      revisao_humana deve_ser obrigatoria
-      advogado deve_ser aprovador
-    }
-    effects {
-      auditoria legal_minuta criticidade = media
-    }
-    authz {
-      escopo: legal.validar_minuta
-      tenant: opcional
-    }
-    dados {
-      classificacao_padrao: interno
-      redacao_log: obrigatoria
-    }
-    audit {
-      evento: exemplos.legal.minuta.validada
-      ator: advogado
-      correlacao: request_id
-      retencao: "180d"
-      motivo: obrigatorio
-    }
-    forbidden {
-      parecer_final_sem_revisao_humana
-      citacao_inventada
-      orientacao_juridica_sem_limite
-    }
-    execucao {
-      idempotencia: verdadeiro
-      timeout: "20s"
-      retry: "nenhum"
-      criticidade_operacional: media
-    }
-    guarantees {
-      aprovado existe
-      bloqueio existe
-    }
-    tests {
-      caso "minuta exige fonte e humano" {
-        given {
-          jurisdicao: "BR"
-          escopo: "contrato comercial"
-          fonte: "lei e regulamento"
-          documento: "documento com citacao e evidencia"
-        }
-
-        expect {
-          sucesso: verdadeiro
-          aprovado: verdadeiro
-        }
-      }
-    }
-  }
-}
+module exemplos.profile.legal {
+  docs {
+    resumo: "Starter do Profile Legal: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois jurisdicao, escopo, limite, fonte normativa, lei, regulamento, documento, citacao, evidencia, revisao_humana, advogado, aprovador, bloqueio, auditoria, retencao, correlacao e motivo."
+  }
+
+  type ContextoLegal {
+    fields {
+      jurisdicao: Texto
+      escopo: Texto
+      limite: Texto
+      fontes: Lista
+      revisao_humana: Booleano
+    }
+    invariants {
+      jurisdicao existe
+      escopo existe
+      limite existe
+      fontes existe
+      revisao_humana existe
+    }
+  }
+
+  task validar_minuta_legal {
+    input {
+      jurisdicao: Texto required
+      escopo: Texto required
+      fonte: Texto required
+      documento: Texto required
+      limite: Texto
+      norma: Texto
+      lei: Texto
+      regulamento: Texto
+      citacao: Texto
+      evidencia: Texto
+      revisao_humana: Texto
+      advogado: Texto
+    }
+    output {
+      aprovado: Booleano
+      bloqueio: Lista
+    }
+    rules {
+      jurisdicao deve_ser declarada
+      escopo deve_ser limitado
+      limite deve_ser explicito
+      fonte deve_ser normativa
+      norma deve_ser verificavel
+      lei deve_ser citavel
+      regulamento deve_ser citavel
+      documento deve_ser anexado
+      citacao deve_ser rastreavel
+      evidencia deve_ser preservada
+      revisao_humana deve_ser obrigatoria
+      advogado deve_ser aprovador
+    }
+    effects {
+      auditoria legal_minuta criticidade = media
+    }
+    authz {
+      escopo: legal.validar_minuta
+      tenant: opcional
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+    }
+    audit {
+      evento: exemplos.legal.minuta.validada
+      ator: advogado
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      parecer_final_sem_revisao_humana
+      citacao_inventada
+      orientacao_juridica_sem_limite
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "20s"
+      retry: "nenhum"
+      criticidade_operacional: media
+    }
+    guarantees {
+      aprovado existe
+      bloqueio existe
+    }
+    tests {
+      caso "minuta exige fonte e humano" {
+        given {
+          jurisdicao: "BR"
+          escopo: "contrato comercial"
+          fonte: "lei e regulamento"
+          documento: "documento com citacao e evidencia"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          aprovado: verdadeiro
+        }
+      }
+    }
+  }
+}

package/exemplos/profile_ops.sema

@@ -1,110 +1,110 @@
-module exemplos.profile.ops {
-  docs {
-    resumo: "Starter do Profile Ops: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois runbook, rollback, recuperacao, healthcheck, metricas, logs, traces, observabilidade, incidente, severidade, responsavel, oncall, segredos, acesso e authz."
-  }
-
-  type RunbookOperacional {
-    fields {
-      runbook: Texto
-      rollback: Texto
-      healthcheck: Texto
-      responsavel: Texto
-      severidade: Texto
-    }
-    invariants {
-      runbook existe
-      rollback existe
-      healthcheck existe
-      responsavel existe
-      severidade existe
-    }
-  }
-
-  task validar_operacao_deploy {
-    input {
-      runbook: Texto required
-      rollback: Texto required
-      healthcheck: Texto required
-      responsavel: Texto required
-      recuperacao: Texto
-      metricas: Texto
-      logs: Texto
-      traces: Texto
-      observabilidade: Texto
-      incidente: Texto
-      severidade: Texto
-      segredos: Texto
-      acesso: Texto
-      authz: Texto
-    }
-    output {
-      operavel: Booleano
-      bloqueios: Lista
-    }
-    rules {
-      runbook deve_ser preenchido
-      rollback deve_ser testado
-      recuperacao deve_ser declarada
-      healthcheck deve_ser verificavel
-      metricas deve_ser declaradas
-      logs deve_ser preservados
-      traces deve_ser opcionais
-      observabilidade deve_ser suficiente
-      incidente deve_ser classificado
-      severidade deve_ser definida
-      responsavel deve_ser oncall
-      segredos deve_ser protegidos
-      acesso deve_ser limitado
-      authz deve_ser revisado
-    }
-    effects {
-      auditoria ops_deploy criticidade = media
-    }
-    authz {
-      escopo: ops.validar_deploy
-      tenant: opcional
-    }
-    dados {
-      classificacao_padrao: interno
-      redacao_log: obrigatoria
-    }
-    audit {
-      evento: exemplos.ops.deploy.validado
-      ator: operador
-      correlacao: request_id
-      retencao: "90d"
-      motivo: obrigatorio
-    }
-    forbidden {
-      deploy_sem_rollback
-      secret_em_log
-      incidente_sem_responsavel
-    }
-    execucao {
-      idempotencia: verdadeiro
-      timeout: "15s"
-      retry: "nenhum"
-      compensacao: "rollback"
-      criticidade_operacional: media
-    }
-    guarantees {
-      operavel existe
-      bloqueios existe
-    }
-    tests {
-      caso "deploy operavel" {
-        given {
-          runbook: "runbook de incidente com severidade"
-          rollback: "rollback testado"
-          healthcheck: "healthcheck metricas logs traces"
-          responsavel: "oncall"
-        }
-
-        expect {
-          sucesso: verdadeiro
-          operavel: verdadeiro
-        }
-      }
-    }
-  }
-}
+module exemplos.profile.ops {
+  docs {
+    resumo: "Starter do Profile Ops: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois runbook, rollback, recuperacao, healthcheck, metricas, logs, traces, observabilidade, incidente, severidade, responsavel, oncall, segredos, acesso e authz."
+  }
+
+  type RunbookOperacional {
+    fields {
+      runbook: Texto
+      rollback: Texto
+      healthcheck: Texto
+      responsavel: Texto
+      severidade: Texto
+    }
+    invariants {
+      runbook existe
+      rollback existe
+      healthcheck existe
+      responsavel existe
+      severidade existe
+    }
+  }
+
+  task validar_operacao_deploy {
+    input {
+      runbook: Texto required
+      rollback: Texto required
+      healthcheck: Texto required
+      responsavel: Texto required
+      recuperacao: Texto
+      metricas: Texto
+      logs: Texto
+      traces: Texto
+      observabilidade: Texto
+      incidente: Texto
+      severidade: Texto
+      segredos: Texto
+      acesso: Texto
+      authz: Texto
+    }
+    output {
+      operavel: Booleano
+      bloqueios: Lista
+    }
+    rules {
+      runbook deve_ser preenchido
+      rollback deve_ser testado
+      recuperacao deve_ser declarada
+      healthcheck deve_ser verificavel
+      metricas deve_ser declaradas
+      logs deve_ser preservados
+      traces deve_ser opcionais
+      observabilidade deve_ser suficiente
+      incidente deve_ser classificado
+      severidade deve_ser definida
+      responsavel deve_ser oncall
+      segredos deve_ser protegidos
+      acesso deve_ser limitado
+      authz deve_ser revisado
+    }
+    effects {
+      auditoria ops_deploy criticidade = media
+    }
+    authz {
+      escopo: ops.validar_deploy
+      tenant: opcional
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+    }
+    audit {
+      evento: exemplos.ops.deploy.validado
+      ator: operador
+      correlacao: request_id
+      retencao: "90d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      deploy_sem_rollback
+      secret_em_log
+      incidente_sem_responsavel
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "15s"
+      retry: "nenhum"
+      compensacao: "rollback"
+      criticidade_operacional: media
+    }
+    guarantees {
+      operavel existe
+      bloqueios existe
+    }
+    tests {
+      caso "deploy operavel" {
+        given {
+          runbook: "runbook de incidente com severidade"
+          rollback: "rollback testado"
+          healthcheck: "healthcheck metricas logs traces"
+          responsavel: "oncall"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          operavel: verdadeiro
+        }
+      }
+    }
+  }
+}