@semacode/cli 1.5.17 → 1.5.19

package/exemplos/profile_software.sema

@@ -0,0 +1,123 @@
+module exemplos.profile.software {
+  docs {
+    resumo: "Starter do Profile Software: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois codigo vivo, drift, impacto, vinculos rastreaveis, arquivo, simbolo, validar, verificar, checks e testes."
+  }
+
+  type MudancaSoftware {
+    fields {
+      contrato: Texto
+      codigo_vivo: Texto
+      drift: Texto
+      impacto: Texto
+      checks: Lista
+    }
+    invariants {
+      contrato existe
+      codigo_vivo existe
+      drift existe
+      impacto existe
+      checks existe
+    }
+  }
+
+  task declarar_mudanca_contract_first {
+    input {
+      contrato: Texto required
+      codigo_vivo: Texto required
+      arquivo: Texto required
+      simbolo: Texto required
+      vinculos: Texto
+      impl: Texto
+    }
+    output {
+      mudanca: MudancaSoftware
+      pode_editar: Booleano
+    }
+    rules {
+      contrato deve_ser preenchido
+      codigo_vivo deve_ser declarado
+      arquivo deve_ser rastreavel
+      simbolo deve_ser rastreavel
+      vinculos deve_ser explicitos
+      impl deve_ser coerente
+    }
+    effects {
+      auditoria profile_software_mudanca criticidade = media
+    }
+    forbidden {
+      codigo_sem_contrato
+      editar_sem_drift
+      finalizar_sem_checks
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      criticidade_operacional: media
+    }
+    guarantees {
+      mudanca existe
+      pode_editar == verdadeiro
+    }
+    tests {
+      caso "mudanca pronta para codigo" {
+        given {
+          contrato: "contrato validado"
+          codigo_vivo: "implementacao existente"
+          arquivo: "src/pedidos.ts"
+          simbolo: "criarPedido"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          pode_editar: verdadeiro
+        }
+      }
+    }
+  }
+
+  task fechar_mudanca_com_verificacao {
+    input {
+      drift: Texto required
+      impacto: Texto required
+      validar: Texto required
+      verificar: Texto required
+      testes: Lista required
+      checks: Lista
+    }
+    output {
+      concluida: Booleano
+      bloqueios: Lista
+    }
+    rules {
+      drift deve_ser executado
+      impacto deve_ser mapeado
+      validar deve_ser executado
+      verificar deve_ser executado
+      testes deve_ser nao_vazio
+      checks deve_ser completos
+    }
+    effects {
+      auditoria profile_software_fechamento criticidade = media
+    }
+    guarantees {
+      concluida existe
+      bloqueios existe
+    }
+    tests {
+      caso "fecha com checks completos" {
+        given {
+          drift: "sem divergencia"
+          impacto: "mapa calculado"
+          validar: "sema validar"
+          verificar: "sema verificar"
+          testes: "npm test"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          concluida: verdadeiro
+        }
+      }
+    }
+  }
+}

package/exemplos/profile_workflow_n8n.sema

@@ -0,0 +1,99 @@
+module exemplos.profile.workflow_n8n {
+  docs {
+    resumo: "Starter do Profile Workflow para n8n: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois runtime workflow como alvo de compatibilidade, adapter adaptado, scorecard parcial, webhook, cron, HTTP, branching, transformacao, authz, audit, compensacao e guarantees."
+  }
+
+  type RuntimeN8n {
+    fields {
+      runtime: Texto
+      adapter: Texto
+      compatibilidade: Texto
+      scorecard: Texto
+      lacunas: Lista
+    }
+    invariants {
+      runtime existe
+      adapter existe
+      compatibilidade existe
+      scorecard existe
+      lacunas existe
+    }
+  }
+
+  task validar_workflow_n8n {
+    input {
+      runtime: Texto required
+      adapter: Texto required
+      scorecard: Texto required
+      compatibilidade: Texto
+      webhook: Texto
+      cron: Texto
+      http: Texto
+      branching: Texto
+      transformacao: Texto
+      authz: Texto
+      audit: Texto
+      compensacao: Texto
+      guarantees: Texto
+    }
+    output {
+      runtime_validado: RuntimeN8n
+      aprovado: Booleano
+    }
+    rules {
+      runtime deve_ser workflow
+      adapter deve_ser n8n
+      compatibilidade deve_ser parcial
+      scorecard deve_ser calculado
+      webhook deve_ser mapeado
+      cron deve_ser mapeado
+      http deve_ser mapeado
+      branching deve_ser mapeado
+      transformacao deve_ser mapeada
+      authz deve_ser declarado
+      audit deve_ser declarado
+      compensacao deve_ser declarada
+      guarantees deve_ser declaradas
+    }
+    effects {
+      auditoria workflow_n8n_scorecard criticidade = media
+    }
+    forbidden {
+      equivalencia_total_falsa
+      n8n_como_linguagem_canonica
+      node_sem_contrato
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "10s"
+      compensacao: "bloquear_publicacao_do_workflow"
+      criticidade_operacional: media
+    }
+    guarantees {
+      runtime_validado existe
+      aprovado existe
+    }
+    tests {
+      caso "n8n e adapter honesto" {
+        given {
+          runtime: "workflow n8n"
+          adapter: "adapter adaptado"
+          scorecard: "webhook cron HTTP branching transformacao nativos; authz audit compensacao guarantees parciais"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          aprovado: verdadeiro
+        }
+      }
+    }
+  }
+
+  flow onboarding_por_n8n {
+    lead_id: Id
+    email: Email
+    etapa receber usa validar_workflow_n8n com runtime = "workflow n8n", adapter = "n8n", scorecard = "webhook cron HTTP branching transformacao com lacunas authz audit compensacao guarantees" em_sucesso concluir em_erro bloquear
+    etapa concluir usa validar_workflow_n8n com runtime = "workflow n8n", adapter = "n8n", scorecard = "compatibilidade parcial" depende_de receber
+    etapa bloquear usa validar_workflow_n8n com runtime = "workflow n8n", adapter = "n8n", scorecard = "bloqueio por lacuna" depende_de receber
+  }
+}

package/exemplos/relatorio.sema

@@ -1,93 +1,93 @@
-module exemplos.relatorio {
-  docs {
-    resumo: "Geracao assincrona de relatorios com download e notificacao."
-  }
-
-  entity Relatorio {
-    fields {
-      id: Id
-      tipo: Texto
-      parametros: Objeto
-      status: Texto
-      url_download: Texto
-      solicitado_por: Id
-      criado_em: Timestamp
-      concluido_em: Timestamp
-    }
-  }
-
-  task solicitar_relatorio {
-    input {
-      tipo: Texto required
-      data_inicio: Data required
-      data_fim: Data required
-      formato: Texto
-    }
-    output {
-      relatorio_id: Id
-    }
-    rules {
-      tipo em [VENDAS, ESTOQUE, USUARIOS, FINANCEIRO]
-      data_inicio deve_ser anterior_a data_fim
-      formato em [PDF, CSV, XLSX]
-    }
-    effects {
-      persistencia Relatorio
-      evento relatorio_solicitado criticidade = baixa
-      auditoria solicitacao_relatorio
-    }
-    state ciclo_relatorio {
-      transitions {
-        PENDENTE -> EM_PROCESSAMENTO
-      }
-    }
-    guarantees {
-      relatorio_id existe
-    }
-    error {
-      tipo_invalido: "Tipo de relatorio nao suportado."
-      periodo_invalido: "Data de inicio deve ser anterior a data de fim."
-      limite_periodo: "Periodo maximo e de 12 meses."
-    }
-    tests {
-      caso "solicita relatorio de vendas" {
-        given { tipo: "VENDAS"  data_inicio: "2025-01-01"  data_fim: "2025-03-31"  formato: "PDF" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-
-  task concluir_relatorio {
-    input {
-      relatorio_id: Id required
-      url_download: Texto required
-    }
-    output {
-      protocolo: Id
-    }
-    rules {
-      relatorio_id deve_ser valido
-      url_download deve_ser preenchida
-    }
-    effects {
-      persistencia Relatorio
-      notificacao usuario relatorio_pronto criticidade = media
-      evento relatorio_concluido
-      auditoria conclusao_relatorio
-    }
-    state ciclo_relatorio {
-      transitions {
-        EM_PROCESSAMENTO -> CONCLUIDO
-      }
-    }
-    guarantees {
-      protocolo existe
-    }
-    tests {
-      caso "conclui relatorio" {
-        given { relatorio_id: "rel_1"  url_download: "https://storage/rel_1.pdf" }
-        expect { sucesso: verdadeiro }
-      }
-    }
-  }
-}
+module exemplos.relatorio {
+  docs {
+    resumo: "Geracao assincrona de relatorios com download e notificacao."
+  }
+
+  entity Relatorio {
+    fields {
+      id: Id
+      tipo: Texto
+      parametros: Objeto
+      status: Texto
+      url_download: Texto
+      solicitado_por: Id
+      criado_em: Timestamp
+      concluido_em: Timestamp
+    }
+  }
+
+  task solicitar_relatorio {
+    input {
+      tipo: Texto required
+      data_inicio: Data required
+      data_fim: Data required
+      formato: Texto
+    }
+    output {
+      relatorio_id: Id
+    }
+    rules {
+      tipo em [VENDAS, ESTOQUE, USUARIOS, FINANCEIRO]
+      data_inicio deve_ser anterior_a data_fim
+      formato em [PDF, CSV, XLSX]
+    }
+    effects {
+      persistencia Relatorio
+      evento relatorio_solicitado criticidade = baixa
+      auditoria solicitacao_relatorio
+    }
+    state ciclo_relatorio {
+      transitions {
+        PENDENTE -> EM_PROCESSAMENTO
+      }
+    }
+    guarantees {
+      relatorio_id existe
+    }
+    error {
+      tipo_invalido: "Tipo de relatorio nao suportado."
+      periodo_invalido: "Data de inicio deve ser anterior a data de fim."
+      limite_periodo: "Periodo maximo e de 12 meses."
+    }
+    tests {
+      caso "solicita relatorio de vendas" {
+        given { tipo: "VENDAS"  data_inicio: "2025-01-01"  data_fim: "2025-03-31"  formato: "PDF" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+
+  task concluir_relatorio {
+    input {
+      relatorio_id: Id required
+      url_download: Texto required
+    }
+    output {
+      protocolo: Id
+    }
+    rules {
+      relatorio_id deve_ser valido
+      url_download deve_ser preenchida
+    }
+    effects {
+      persistencia Relatorio
+      notificacao usuario relatorio_pronto criticidade = media
+      evento relatorio_concluido
+      auditoria conclusao_relatorio
+    }
+    state ciclo_relatorio {
+      transitions {
+        EM_PROCESSAMENTO -> CONCLUIDO
+      }
+    }
+    guarantees {
+      protocolo existe
+    }
+    tests {
+      caso "conclui relatorio" {
+        given { relatorio_id: "rel_1"  url_download: "https://storage/rel_1.pdf" }
+        expect { sucesso: verdadeiro }
+      }
+    }
+  }
+}

package/exemplos/replica_analitica_erp.sema

@@ -0,0 +1,160 @@
+module exemplos.replica.analitica_erp {
+  docs {
+    resumo: "Exemplo publico neutro de replica analitica ERP para banco analytics: agente pode consultar a origem operacional em modo leitura e persistir apenas no destino analitico."
+  }
+
+  database erp_origem_mariadb {
+    engine: mysql
+    consistency: forte
+    durability: alta
+    transaction_model: bloqueio
+    query_model: sql
+    capabilities {
+      read_only
+      views
+    }
+    table vendas_operacionais {
+      entity: VendaOperacional
+    }
+    query extrair_vendas {
+      mode: sql
+    }
+  }
+
+  database analytics_postgres {
+    engine: postgres
+    schema: public
+    consistency: eventual
+    durability: alta
+    transaction_model: mvcc
+    query_model: sql
+    capabilities {
+      upsert
+      views
+    }
+    table vendas_analytics {
+      entity: VendaAnalitica
+    }
+    query carregar_vendas_analytics {
+      mode: sql
+    }
+  }
+
+  entity VendaOperacional {
+    fields {
+      id: Id
+      loja_id: Id
+      data_venda: Data
+      valor_total: Decimal
+      payload_origem: Objeto
+    }
+    invariants {
+      id existe
+      loja_id existe
+      data_venda existe
+      valor_total >= 0
+    }
+  }
+
+  entity VendaAnalitica {
+    fields {
+      id: Id
+      loja_id: Id
+      data_venda: Data
+      valor_total: Decimal
+      sincronizado_em: Timestamp
+    }
+    invariants {
+      id existe
+      loja_id existe
+      data_venda existe
+      valor_total >= 0
+      sincronizado_em existe
+    }
+  }
+
+  task sincronizar_vendas_erp_para_analytics {
+    input {
+      loja_id: Id required
+      periodo_inicio: Data required
+      periodo_fim: Data required
+    }
+    output {
+      registros_sincronizados: Inteiro
+      banco_producao_modificado: Booleano
+      sincronizado_em: Timestamp
+    }
+    authz {
+      escopo: analytics.replica.sincronizar
+      tenant: obrigatorio
+    }
+    dados {
+      classificacao_padrao: interno
+      redacao_log: obrigatoria
+      input {
+        loja_id: interno
+        periodo_inicio: interno
+        periodo_fim: interno
+      }
+      output {
+        registros_sincronizados: interno
+        banco_producao_modificado: interno
+        sincronizado_em: interno
+      }
+    }
+    audit {
+      evento: analytics.replica.erp_sincronizada
+      ator: sistema.analytics
+      correlacao: request_id
+      retencao: "180d"
+      motivo: obrigatorio
+    }
+    forbidden {
+      shell.exec
+      log.segredo
+      retorno.credencial
+    }
+    rules {
+      loja_id deve_ser valido
+      periodo_inicio deve_ser anterior_a periodo_fim
+    }
+    effects {
+      consulta erp_origem_mariadb criticidade = alta
+      persistencia analytics_postgres criticidade = media
+      auditoria sincronizacao_vendas criticidade = alta
+    }
+    vinculos {
+      recurso: erp_origem_mariadb
+      recurso: analytics_postgres
+      tabela: vendas_operacionais
+      tabela: vendas_analytics
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "60s"
+      retry: "3x exponencial"
+      compensacao: "reexecutar_janela_analitica"
+      criticidade_operacional: alta
+    }
+    guarantees {
+      registros_sincronizados >= 0
+      banco_producao_modificado == falso
+      sincronizado_em existe
+    }
+    tests {
+      caso "sincroniza janela sem escrever na origem" {
+        given {
+          loja_id: "loja_001"
+          periodo_inicio: "2026-05-01"
+          periodo_fim: "2026-05-15"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          registros_sincronizados: 42
+          banco_producao_modificado: falso
+        }
+      }
+    }
+  }
+}

package/exemplos/testes_embutidos.sema

@@ -1,45 +1,45 @@
-module exemplos.testes.embutidos {
-  task validar_documento {
-    input {
-      documento: Texto required
-    }
-    output {
-      valido: Booleano
-      motivo: Texto
-    }
-    rules {
-      documento deve_ser preenchido
-    }
-    effects {
-      auditoria validacao_documento
-    }
-    guarantees {
-      valido existe
-      motivo existe
-    }
-    tests {
-      caso "documento valido" {
-        given {
-          documento: 12345678900
-        }
-
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-      caso "documento vazio" {
-        given {
-          documento: ""
-        }
-
-        expect {
-          sucesso: falso
-        }
-
-        error {
-          tipo: "entrada_invalida"
-        }
-      }
-    }
-  }
-}
+module exemplos.testes.embutidos {
+  task validar_documento {
+    input {
+      documento: Texto required
+    }
+    output {
+      valido: Booleano
+      motivo: Texto
+    }
+    rules {
+      documento deve_ser preenchido
+    }
+    effects {
+      auditoria validacao_documento
+    }
+    guarantees {
+      valido existe
+      motivo existe
+    }
+    tests {
+      caso "documento valido" {
+        given {
+          documento: 12345678900
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+      caso "documento vazio" {
+        given {
+          documento: ""
+        }
+
+        expect {
+          sucesso: falso
+        }
+
+        error {
+          tipo: "entrada_invalida"
+        }
+      }
+    }
+  }
+}