@semacode/cli 1.5.27 → 1.5.29

package/exemplos/profile_research.sema

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

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

@@ -1,99 +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
-  }
-}
+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/llms-full.txt

@@ -4,16 +4,17 @@ This repository is not optimized for human-first reading. It is optimized for AI
 
 Canonical entrypoints in the repository root:
 1. `llms.txt`
-2. `SEMA_BRIEF.md`
-3. `SEMA_INDEX.json`
-4. `AGENTS.md`
-5. `README.md`
-6. `docs/AGENT_STARTER.md`
+2. `AGENT_CONTEXT_PACK.json`
+3. `SEMA_BRIEF.md`
+4. `SEMA_INDEX.json`
+5. `AGENTS.md`
+6. `README.md`
+7. `docs/AGENT_STARTER.md`
 
 Capacity routing:
-- small/free AI: `llms.txt` -> `SEMA_BRIEF.micro.txt` -> `SEMA_INDEX.json` -> `AGENTS.md`
-- medium AI: `llms.txt` -> `SEMA_BRIEF.curto.txt` -> `SEMA_INDEX.json` -> `AGENTS.md` -> `README.md`
-- large/tool-using AI: `llms-full.txt` -> `SEMA_BRIEF.md` -> `SEMA_INDEX.json` -> `AGENTS.md` -> `README.md`
+- small/free AI: `llms.txt` -> `AGENT_CONTEXT_PACK.json` -> `SEMA_BRIEF.micro.txt` -> `SEMA_INDEX.json` -> `AGENTS.md`
+- medium AI: `llms.txt` -> `AGENT_CONTEXT_PACK.json` -> `SEMA_BRIEF.curto.txt` -> `SEMA_INDEX.json` -> `AGENTS.md` -> `README.md`
+- large/tool-using AI: `llms-full.txt` -> `AGENT_CONTEXT_PACK.json` -> `SEMA_BRIEF.md` -> `SEMA_INDEX.json` -> `AGENTS.md` -> `README.md`
 
 Source-of-truth order:
 1. root Sema artifacts
@@ -31,4 +32,4 @@ Useful commands:
 - `sema verificar <arquivo-ou-pasta> --json`
 
 Do not ask the model to infer semantics that are already available in Sema artifacts.
-Do not start from raw source code if `SEMA_BRIEF`, `SEMA_INDEX`, `drift`, or `briefing` are available.
+Do not start from raw source code if `AGENT_CONTEXT_PACK`, `SEMA_BRIEF`, `SEMA_INDEX`, `drift`, or `briefing` are available.