@semacode/cli 1.5.18 → 1.5.19

package/exemplos/profile_ops.sema

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

package/exemplos/profile_research.sema

@@ -0,0 +1,104 @@
+module exemplos.profile.research {
+  docs {
+    resumo: "Starter do Profile Research: contrato primeiro. Criar, editar ou remover contrato antes de qualquer acao; depois pergunta, hipotese, metodo, metodologia, fonte, citacao, referencia, evidencia, confianca, qualidade, incerteza, lacuna, limite, conclusao, protocolo, dataset, dados, reprodutibilidade e replicacao."
+  }
+
+  type PlanoPesquisa {
+    fields {
+      pergunta: Texto
+      metodologia: Texto
+      fontes: Lista
+      evidencias: Lista
+      limites: Lista
+    }
+    invariants {
+      pergunta existe
+      metodologia existe
+      fontes existe
+      evidencias existe
+      limites existe
+    }
+  }
+
+  task validar_plano_pesquisa {
+    input {
+      pergunta: Texto required
+      metodologia: Texto required
+      fonte: Texto required
+      evidencia: Texto required
+      hipotese: Texto
+      metodo: Texto
+      citacao: Texto
+      referencia: Texto
+      confianca: Texto
+      qualidade: Texto
+      incerteza: Texto
+      lacuna: Texto
+      limite: Texto
+      conclusao: Texto
+      protocolo: Texto
+      dataset: Texto
+      dados: Texto
+      reprodutibilidade: Texto
+      replicacao: Texto
+    }
+    output {
+      aprovado: Booleano
+      lacunas: Lista
+    }
+    rules {
+      pergunta deve_ser especifica
+      hipotese deve_ser declarada
+      metodo deve_ser reproduzivel
+      metodologia deve_ser explicita
+      fonte deve_ser citavel
+      citacao deve_ser verificavel
+      referencia deve_ser preservada
+      evidencia deve_ser qualificada
+      confianca deve_ser estimada
+      qualidade deve_ser avaliada
+      incerteza deve_ser declarada
+      lacuna deve_ser registrada
+      limite deve_ser declarado
+      conclusao deve_ser sustentada
+      protocolo deve_ser versionado
+      dataset deve_ser identificado
+      dados deve_ser preservados
+      reprodutibilidade deve_ser possivel
+      replicacao deve_ser planejada
+    }
+    effects {
+      auditoria research_plano criticidade = media
+    }
+    forbidden {
+      conclusao_sem_evidencia
+      citacao_inventada
+      incerteza_oculta
+    }
+    execucao {
+      idempotencia: verdadeiro
+      timeout: "15s"
+      retry: "nenhum"
+      criticidade_operacional: media
+    }
+    guarantees {
+      aprovado existe
+      lacunas existe
+    }
+    tests {
+      caso "pesquisa tem metodo e evidencia" {
+        given {
+          pergunta: "qual adapter reduz drift em workflow"
+          metodologia: "comparacao controlada"
+          fonte: "referencia primaria com citacao"
+          evidencia: "dataset com dados e confianca"
+        }
+
+        expect {
+          sucesso: verdadeiro
+          aprovado: verdadeiro
+        }
+      }
+    }
+  }
+}

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