@semacode/cli 2.0.1 → 2.2.0

package/docs/testing.md

@@ -1,28 +1,35 @@
-# Testing
-
-Public Sema tests should run locally.
-
-Recommended checks:
-
-```bash
-npm run build
-npm run status:check
-npm run repo:verificar-publico
-npm run plugin:testar-codex
-node pacotes/cli/dist/index.js --help
-node pacotes/cli/dist/index.js --version
-node pacotes/cli/dist/index.js resumo exemplos/calculadora.sema --micro --json
-node pacotes/cli/dist/index.js validar exemplos/calculadora.sema --json
-npm run release:preparar-publica
-npm run release:verificar-drift
-```
-
-Do not require private or sensitive operational material for public test
-evidence. The public-package smoke must also reject the removed authorization
-command, legacy gate markers, any stale billing artifact, secrets, and broken
-encoding in every published document. The plugin smoke must validate the repo
-marketplace, manifest version, installed skill copy, and absence of Sema MCP.
-After push and npm publication, `npm run release:verificar-distribuicao` must
-repeat that installation from the remote `gerlanss/Sema` marketplace and prove
-that GitHub HEAD, the installed skill, and npm 2.0.1 all describe the same
-release.
+# Testing
+
+Public Sema tests should run locally.
+
+Recommended checks:
+
+```bash
+npm run build
+npm run status:check
+npm run repo:verificar-publico
+npm run plugin:testar-codex
+node pacotes/cli/dist/index.js --help
+node pacotes/cli/dist/index.js --version
+node pacotes/cli/dist/index.js resumo exemplos/calculadora.sema --micro --json
+node pacotes/cli/dist/index.js validar exemplos/calculadora.sema --json
+node pacotes/cli/dist/index.js testar exemplos/calculadora.sema --alvo dotnet --saida .tmp/testing-dotnet
+node pacotes/cli/dist/index.js testar exemplos/calculadora.sema --alvo cpp --saida .tmp/testing-cpp
+npm run release:preparar-publica
+npm run release:verificar-drift
+```
+
+Do not require private or sensitive operational material for public test
+evidence. The public-package smoke must also reject the removed authorization
+command, legacy gate markers, any stale billing artifact, secrets, and broken
+encoding in every published document. The plugin smoke must validate the repo
+marketplace, manifest version, installed skill copy, and absence of Sema MCP.
+After push and npm publication, `npm run release:verificar-distribuicao` must
+repeat that installation from the remote `gerlanss/Sema` marketplace and prove
+that GitHub HEAD, the installed skill, and npm 2.2.0 all describe the same
+release.
+
+Native generator evidence is mandatory when changing C#/.NET or C++ support.
+The `dotnet` smoke must compile and execute through the local .NET SDK. The
+`cpp` smoke must compile and execute through GCC, Clang, or MSVC; checking only
+for generated files is not sufficient.

package/docs/vocabulary.md

@@ -1,29 +1,29 @@
-# Sema Vocabulary
-
-Use consistent English prose in public docs while preserving technical
-identifiers.
-
-## Canonical Concepts
-
-- semantic contract
-- drift
-- impact map
-- governed code
-- traceability
-- Codex-native
-- local runtime
-- finalization
-- evidence
-- local CLI
-
-## Do Not Translate
-
-- commands: `sema validar`, `sema drift`, `sema impacto`
-- files: `AGENTS.md`, `SEMA_BOOT.md`, `SEMA_INDEX.json`
-- DSL keywords: `task`, `input`, `output`, `rules`, `effects`, `guarantees`
-- package names: `@semacode/cli`
-- code symbols and environment variable names
-
-## Public Support
-
-Use suporte@otimitare.online for support references.
+# Sema Vocabulary
+
+Use consistent English prose in public docs while preserving technical
+identifiers.
+
+## Canonical Concepts
+
+- semantic contract
+- drift
+- impact map
+- governed code
+- traceability
+- Codex-native
+- local runtime
+- finalization
+- evidence
+- local CLI
+
+## Do Not Translate
+
+- commands: `sema validar`, `sema drift`, `sema impacto`
+- files: `AGENTS.md`, `SEMA_BOOT.md`, `SEMA_INDEX.json`
+- DSL keywords: `task`, `input`, `output`, `rules`, `effects`, `guarantees`
+- package names: `@semacode/cli`
+- code symbols and environment variable names
+
+## Public Support
+
+Use suporte@otimitare.online for support references.

package/exemplos/agendamento.sema

@@ -102,4 +102,4 @@ module exemplos.agendamento {
       }
     }
   }
-}
+}

package/exemplos/assinatura.sema

@@ -130,4 +130,4 @@ module exemplos.assinatura {
       }
     }
   }
-}
+}

package/exemplos/auditoria.sema

@@ -86,4 +86,4 @@ module exemplos.auditoria {
       }
     }
   }
-}
+}

package/exemplos/autenticacao.sema

@@ -122,4 +122,4 @@ module exemplos.autenticacao {
       }
     }
   }
-}
+}

package/exemplos/author_obra_comum.sema

@@ -291,4 +291,4 @@ module exemplos.author.obra_comum {
       auditoria author_flow criticidade = media
     }
   }
-}
+}

package/exemplos/author_tema_sensivel.sema

@@ -261,4 +261,4 @@ module exemplos.author.tema_sensivel {
       auditoria author_flow_sensivel criticidade = alta
     }
   }
-}
+}

package/exemplos/automacao.sema

@@ -104,4 +104,4 @@ module exemplos.automacao {
     etapa auditar usa registrar_auditoria com protocolo = receber.protocolo depende_de receber
     etapa registrar_falha usa registrar_falha_onboarding com lead_id = lead_id depende_de receber
   }
-}
+}

package/exemplos/cadastro_usuario.sema

@@ -51,4 +51,4 @@ module exemplos.cadastro.usuario {
       }
     }
   }
-}
+}

package/exemplos/calculadora.sema

@@ -75,4 +75,4 @@ module exemplos.calculadora {
       }
     }
   }
-}
+}

package/exemplos/crud_simples.sema

@@ -86,4 +86,4 @@ module exemplos.crud.simples {
       produto: Produto
     }
   }
-}
+}

package/exemplos/estoque.sema

@@ -124,4 +124,4 @@ module exemplos.estoque {
       }
     }
   }
-}
+}

package/exemplos/exportacao.sema

@@ -91,4 +91,4 @@ module exemplos.exportacao {
       }
     }
   }
-}
+}

package/exemplos/fila.sema

@@ -127,4 +127,4 @@ module exemplos.fila {
       }
     }
   }
-}
+}

package/exemplos/integracao_externa.sema

@@ -91,4 +91,4 @@ module exemplos.integracao.externa {
       }
     }
   }
-}
+}

package/exemplos/multi_tenant.sema

@@ -137,4 +137,4 @@ module exemplos.multi.tenant {
       }
     }
   }
-}
+}

package/exemplos/notificacao.sema

@@ -146,4 +146,4 @@ module exemplos.notificacao {
     etapa registrar_falha_push usa registrar_falha_notificacao com canal = canal_push depende_de push
     etapa concluir usa confirmar_notificacao com destinatario_id = destinatario_id depende_de email
   }
-}
+}

package/exemplos/operacao_estrategia.sema

@@ -1,132 +1,132 @@
-module exemplos.operacao_estrategia {
-  docs {
-    resumo: "Referencia oficial de governanca operacional para strategy,slice,gate,discovery semanal e rollout. Este indice fino mantem modelos compartilhados e flow; as tasks ficam em arquivos filhos por responsabilidade."
-  }
-
-  type JanelaDiscovery {
-    fields {
-      semana_referencia: Data
-      strategy_id: Id
-      versao_modelo_candidata: Texto
-      status_discovery: StatusDiscovery
-    }
-    invariants {
-      semana_referencia existe
-      strategy_id existe
-      versao_modelo_candidata existe
-      status_discovery em [ABERTA, EM_AVALIACAO, APROVADA, REJEITADA]
-    }
-  }
-
-  type ContextoQuarentena {
-    fields {
-      motivo: Texto
-      origem: Texto
-      desde: Data
-    }
-    invariants {
-      motivo existe
-      origem existe
-      desde existe
-    }
-  }
-
-  entity Strategy {
-    fields {
-      id: Id
-      versao_modelo_ativa: Texto
-      versao_modelo_candidata: Texto
-      status: StatusStrategy
-      gate_global: StatusGate
-      discovery_atual: JanelaDiscovery
-      ultima_quarentena: ContextoQuarentena
-    }
-    invariants {
-      id existe
-      versao_modelo_ativa existe
-      versao_modelo_candidata existe
-      status em [RASCUNHO, ATIVA, QUARENTENA, DESATIVADA]
-      gate_global em [ABERTO, FECHADO]
-      discovery_atual existe
-      ultima_quarentena existe
-    }
-  }
-
-  entity Slice {
-    fields {
-      id: Id
-      strategy_id: Id
-      status: StatusSlice
-      gate: StatusGate
-      versao_modelo_ativa: Texto
-      versao_modelo_candidata: Texto
-      motivo_quarentena: Texto
-      precision_observada: Decimal
-    }
-    invariants {
-      id existe
-      strategy_id existe
-      status em [ATIVO, QUARENTENA, DESLIGADO]
-      gate em [ABERTO, FECHADO]
-      versao_modelo_ativa existe
-      versao_modelo_candidata existe
-      motivo_quarentena existe
-      precision_observada existe
-    }
-  }
-
-  enum StatusStrategy {
-    RASCUNHO,
-    ATIVA,
-    QUARENTENA,
-    DESATIVADA
-  }
-
-  enum StatusSlice {
-    ATIVO,
-    QUARENTENA,
-    DESLIGADO
-  }
-
-  enum StatusGate {
-    ABERTO,
-    FECHADO
-  }
-
-  enum StatusDiscovery {
-    ABERTA,
-    EM_AVALIACAO,
-    APROVADA,
-    REJEITADA
-  }
-
-  state governanca_estrategia {
-    fields {
-      status: StatusStrategy
-      slice_status: StatusSlice
-      gate_global: StatusGate
-      gate_slice: StatusGate
-      discovery_status: StatusDiscovery
-      versao_modelo_ativa: Texto
-      versao_modelo_candidata: Texto
-      motivo_operacional: Texto
-    }
-    invariants {
-      status em [RASCUNHO, ATIVA, QUARENTENA, DESATIVADA]
-      slice_status em [ATIVO, QUARENTENA, DESLIGADO]
-      gate_global em [ABERTO, FECHADO]
-      gate_slice em [ABERTO, FECHADO]
-      discovery_status em [ABERTA, EM_AVALIACAO, APROVADA, REJEITADA]
-      versao_modelo_ativa existe
-      versao_modelo_candidata existe
-      motivo_operacional existe
-    }
-    transitions {
-      RASCUNHO -> ATIVA
-      ATIVA -> QUARENTENA
-      QUARENTENA -> ATIVA
-      ATIVA -> DESATIVADA
-    }
-  }
-
-}
+module exemplos.operacao_estrategia {
+  docs {
+    resumo: "Referencia oficial de governanca operacional para strategy,slice,gate,discovery semanal e rollout. Este indice fino mantem modelos compartilhados e flow; as tasks ficam em arquivos filhos por responsabilidade."
+  }
+
+  type JanelaDiscovery {
+    fields {
+      semana_referencia: Data
+      strategy_id: Id
+      versao_modelo_candidata: Texto
+      status_discovery: StatusDiscovery
+    }
+    invariants {
+      semana_referencia existe
+      strategy_id existe
+      versao_modelo_candidata existe
+      status_discovery em [ABERTA, EM_AVALIACAO, APROVADA, REJEITADA]
+    }
+  }
+
+  type ContextoQuarentena {
+    fields {
+      motivo: Texto
+      origem: Texto
+      desde: Data
+    }
+    invariants {
+      motivo existe
+      origem existe
+      desde existe
+    }
+  }
+
+  entity Strategy {
+    fields {
+      id: Id
+      versao_modelo_ativa: Texto
+      versao_modelo_candidata: Texto
+      status: StatusStrategy
+      gate_global: StatusGate
+      discovery_atual: JanelaDiscovery
+      ultima_quarentena: ContextoQuarentena
+    }
+    invariants {
+      id existe
+      versao_modelo_ativa existe
+      versao_modelo_candidata existe
+      status em [RASCUNHO, ATIVA, QUARENTENA, DESATIVADA]
+      gate_global em [ABERTO, FECHADO]
+      discovery_atual existe
+      ultima_quarentena existe
+    }
+  }
+
+  entity Slice {
+    fields {
+      id: Id
+      strategy_id: Id
+      status: StatusSlice
+      gate: StatusGate
+      versao_modelo_ativa: Texto
+      versao_modelo_candidata: Texto
+      motivo_quarentena: Texto
+      precision_observada: Decimal
+    }
+    invariants {
+      id existe
+      strategy_id existe
+      status em [ATIVO, QUARENTENA, DESLIGADO]
+      gate em [ABERTO, FECHADO]
+      versao_modelo_ativa existe
+      versao_modelo_candidata existe
+      motivo_quarentena existe
+      precision_observada existe
+    }
+  }
+
+  enum StatusStrategy {
+    RASCUNHO,
+    ATIVA,
+    QUARENTENA,
+    DESATIVADA
+  }
+
+  enum StatusSlice {
+    ATIVO,
+    QUARENTENA,
+    DESLIGADO
+  }
+
+  enum StatusGate {
+    ABERTO,
+    FECHADO
+  }
+
+  enum StatusDiscovery {
+    ABERTA,
+    EM_AVALIACAO,
+    APROVADA,
+    REJEITADA
+  }
+
+  state governanca_estrategia {
+    fields {
+      status: StatusStrategy
+      slice_status: StatusSlice
+      gate_global: StatusGate
+      gate_slice: StatusGate
+      discovery_status: StatusDiscovery
+      versao_modelo_ativa: Texto
+      versao_modelo_candidata: Texto
+      motivo_operacional: Texto
+    }
+    invariants {
+      status em [RASCUNHO, ATIVA, QUARENTENA, DESATIVADA]
+      slice_status em [ATIVO, QUARENTENA, DESLIGADO]
+      gate_global em [ABERTO, FECHADO]
+      gate_slice em [ABERTO, FECHADO]
+      discovery_status em [ABERTA, EM_AVALIACAO, APROVADA, REJEITADA]
+      versao_modelo_ativa existe
+      versao_modelo_candidata existe
+      motivo_operacional existe
+    }
+    transitions {
+      RASCUNHO -> ATIVA
+      ATIVA -> QUARENTENA
+      QUARENTENA -> ATIVA
+      ATIVA -> DESATIVADA
+    }
+  }
+
+}