@semacode/cli 1.5.18 → 1.5.25

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 }
+      }
+    }
+  }
+}

package/exemplos/persistencia_vendor_first.sema

@@ -1,86 +1,86 @@
-module exemplos.persistencia.vendor_first {
-  database principal_postgres {
-    engine: postgres
-    schema: public
-    consistency: forte
-    durability: alta
-    transaction_model: mvcc
-    query_model: sql
-    capabilities {
-      joins
-      views
-    }
-    table pedidos {
-      entity: Pedido
-    }
-    relationship pedido_cliente {
-      from: Pedido
-      to: Cliente
-    }
-    query buscar_pedidos {
-      mode: sql
-    }
-  }
-
-  database principal_mysql {
-    engine: mysql
-    consistency: forte
-    durability: alta
-    transaction_model: bloqueio
-    query_model: sql
-    table faturamento {
-      table: faturamento
-    }
-    query buscar_faturas {
-      mode: sql
-    }
-  }
-
-  database principal_sqlite {
-    engine: sqlite
-    consistency: snapshot
-    durability: media
-    transaction_model: single_thread
-    query_model: sql
-    table cache_local {
-      table: cache_local
-    }
-    retention limpeza_local {
-      retention: 7d
-    }
-  }
-
-  database principal_mongodb {
-    engine: mongodb
-    consistency: eventual
-    durability: alta
-    transaction_model: documento
-    query_model: documento
-    collection pedidos {
-      collection: pedidos
-    }
-    document pedido_snapshot {
-      entity: PedidoSnapshot
-    }
-    query pipeline_pedido {
-      mode: pipeline
-    }
-  }
-
-  database principal_redis {
-    engine: redis
-    consistency: eventual
-    durability: media
-    transaction_model: single_thread
-    query_model: chave_valor
-    keyspace cache_pedidos {
-      ttl: 300s
-    }
-    stream eventos_pedido {
-      surface: fila
-    }
-    retention expurgo_cache {
-      retention: 300s
-    }
-  }
-}
+module exemplos.persistencia.vendor_first {
+  database principal_postgres {
+    engine: postgres
+    schema: public
+    consistency: forte
+    durability: alta
+    transaction_model: mvcc
+    query_model: sql
+    capabilities {
+      joins
+      views
+    }
+    table pedidos {
+      entity: Pedido
+    }
+    relationship pedido_cliente {
+      from: Pedido
+      to: Cliente
+    }
+    query buscar_pedidos {
+      mode: sql
+    }
+  }
+
+  database principal_mysql {
+    engine: mysql
+    consistency: forte
+    durability: alta
+    transaction_model: bloqueio
+    query_model: sql
+    table faturamento {
+      table: faturamento
+    }
+    query buscar_faturas {
+      mode: sql
+    }
+  }
+
+  database principal_sqlite {
+    engine: sqlite
+    consistency: snapshot
+    durability: media
+    transaction_model: single_thread
+    query_model: sql
+    table cache_local {
+      table: cache_local
+    }
+    retention limpeza_local {
+      retention: 7d
+    }
+  }
+
+  database principal_mongodb {
+    engine: mongodb
+    consistency: eventual
+    durability: alta
+    transaction_model: documento
+    query_model: documento
+    collection pedidos {
+      collection: pedidos
+    }
+    document pedido_snapshot {
+      entity: PedidoSnapshot
+    }
+    query pipeline_pedido {
+      mode: pipeline
+    }
+  }
+
+  database principal_redis {
+    engine: redis
+    consistency: eventual
+    durability: media
+    transaction_model: single_thread
+    query_model: chave_valor
+    keyspace cache_pedidos {
+      ttl: 300s
+    }
+    stream eventos_pedido {
+      surface: fila
+    }
+    retention expurgo_cache {
+      retention: 300s
+    }
+  }
+}

package/exemplos/profile_game.sema

@@ -0,0 +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
+        }
+      }
+    }
+  }
+}

package/exemplos/profile_legal.sema

@@ -0,0 +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
+        }
+      }
+    }
+  }
+}