@semacode/cli 3.0.0 → 3.5.0

package/dist/agentEntryPoints.js

@@ -146,13 +146,13 @@ Você está em um projeto governado por Sema. O contrato semântico vem antes de
 
 ## Primeira ação
 
-1. Confirme \`AGENTS.md\` na raiz e rode \`sema --version\`. Se o shell não localizar o comando, use \`$HOME/.sema/bin/sema\` no macOS/Linux; no Windows, PowerShell usa \`sema.ps1\` no PATH, cmd.exe usa \`sema.cmd\`, e o fallback absoluto é \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\`. Só então declare a CLI indisponível.
-2. Use a CLI local diretamente para ler o workspace: \`sema resumo --drift none\`, \`sema docs-impacto\`, \`sema inspecionar --drift none\`, \`sema drift --cache fresh\` e \`sema impacto\`. Na 3.0.0, \`sema --version\` continua texto SemVer exato; com \`--json\`, help e falhas de controle usam \`sema.cli.control/v1\`, enquanto comandos sintaticamente válidos usam o envelope exato de oito campos \`sema.cli.result/v1\`, com o resultado aninhado em \`payload\` e \`ok\` separado do veredito de domínio desse payload.
+1. Confirme \`AGENTS.md\` na raiz e rode \`sema --version\`. Se o shell não localizar o comando, use \`$HOME/.sema/bin/sema\` no macOS/Linux; no Windows, PowerShell usa \`sema.ps1\` no PATH, cmd.exe usa \`sema.cmd\`, e o fallback absoluto é \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\`. Só então declare a CLI indisponível.
+2. Use a CLI local diretamente para ler o workspace: \`sema resumo --drift none\`, \`sema docs-impacto\`, \`sema inspecionar --drift none\`, \`sema drift --cache fresh\` e \`sema impacto\`. Na 3.0.0, \`sema --version\` continua texto SemVer exato; com \`--json\`, help e falhas de controle usam \`sema.cli.control/v1\`, enquanto comandos sintaticamente válidos usam o envelope exato de oito campos \`sema.cli.result/v1\`, com o resultado aninhado em \`payload\` e \`ok\` separado do veredito de domínio desse payload.
 3. Se não estiver claro qual profile, workflow, pipeline, gerador ou adapter usar, rode \`sema descobrir recomendar --intencao "<objetivo>" --json\`; não execute automaticamente uma recomendação ambígua.
 4. Não use fonte externa de workspace para substituir a CLI local quando ela estiver operacional.
 5. Este boot é para workspace local em disco; se não houver workspace local, pare bloqueado em vez de inventar caminho.
 6. Antes de criar módulo, rota, task ou contrato, inspecione o contrato \`.sema\` aplicável.
-7. Antes de editar código existente, rode \`sema drift --cache fresh\` e impacto pela CLI local.
+7. Antes de editar código existente, rode \`sema drift --cache fresh\` e impacto pela CLI local.
 8. Antes de criar ou corrigir \`.sema\`, use os exemplos oficiais na CLI local.
 9. Se qualquer etapa falhar, pare e diga que está bloqueado.
 
@@ -197,10 +197,10 @@ Score composto, \`achados[]\` e \`decisaoAgente\` são sinais para guiar a próx
 - Fraca: se o score passou, confira se cada achado tem evidência concreta; se não souber provar, pare.
 - Média: conecte regra, arquivo, contrato e evidência antes de concluir aderência.
 - Forte: não transforme regex, palavra-chave ou score 100 em ritual vazio; valide substância, risco e comportamento.
-- Consultas honestas: \`resumo\` e \`inspecionar\` usam \`--drift none\` por padrão; score, confiança, implementação, rotas e superfícies não observadas ficam nulos/não avaliados.
-- Se uma consulta executar drift explicitamente, \`payload.analiseDrift.sucesso\` expõe o resultado e uma falha solicitada retorna exit code diferente de zero.
-- Cache: \`sema drift\` usa \`fresh\` por padrão. \`--cache none\` ainda executa sem persistência; \`cache\` acelera extrações validadas, mas não é prova final.
-- Fechamento governado: se o \`payload\` de \`sema drift --cache fresh --json\` retornar \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou \`impls_quebrados\`, não diga que passou limpo. Corrija e rode drift de novo.
+- Consultas honestas: \`resumo\` e \`inspecionar\` usam \`--drift none\` por padrão; score, confiança, implementação, rotas e superfícies não observadas ficam nulos/não avaliados.
+- Se uma consulta executar drift explicitamente, \`payload.analiseDrift.sucesso\` expõe o resultado e uma falha solicitada retorna exit code diferente de zero.
+- Cache: \`sema drift\` usa \`fresh\` por padrão. \`--cache none\` ainda executa sem persistência; \`cache\` acelera extrações validadas, mas não é prova final.
+- Fechamento governado: se o \`payload\` de \`sema drift --cache fresh --json\` retornar \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou \`impls_quebrados\`, não diga que passou limpo. Corrija e rode drift de novo.
 - Experiência governada: se a tarefa cria ou altera site, sistema, app, UI, painel, jogo, CLI/TUI ou terminal, prove acabamento moderno, contextual e não genérico. Em UI estreita (ex. 390px), \`document.documentElement.scrollWidth <= document.documentElement.clientWidth\` precisa ser verdadeiro.
 - Caminho fora do workspace local aberto pelo usuário não substitui a pasta local.
 
@@ -248,7 +248,7 @@ export function renderizarSemaSmallModel(agentContextPack) {
 Leia isto primeiro se você tem pouco contexto, pouca memória, pouco tool use ou tendência a ignorar instruções longas.
 
 1. Não edite nada antes de chamar Sema.
-2. Em workspace local, rode \`sema --version\`; se o shell falhar, use \`$HOME/.sema/bin/sema\` no macOS/Linux. No Windows, PowerShell usa \`sema.ps1\` no PATH e cmd.exe usa \`sema.cmd\`; o fallback absoluto é \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\`. Só então pare e peça instalação ou reparo.
+2. Em workspace local, rode \`sema --version\`; se o shell falhar, use \`$HOME/.sema/bin/sema\` no macOS/Linux. No Windows, PowerShell usa \`sema.ps1\` no PATH e cmd.exe usa \`sema.cmd\`; o fallback absoluto é \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\`. Só então pare e peça instalação ou reparo.
 3. Sema não contorna políticas da plataforma: ele governa contrato, escopo, drift, evidência e qualidade.
 4. Se aparecer alerta de política: pare, explique de forma neutra e não tente burlar filtro.
 5. Se não houver workspace local em disco: pare bloqueado e peça o fluxo apropriado; não invente leitura por caminho.
@@ -264,7 +264,7 @@ Leia isto primeiro se você tem pouco contexto, pouca memória, pouco tool use o
 15. Payload inline acima de ${LIMITE_CARACTERES_PAYLOAD_INLINE} caracteres não é lentidão: divida por responsabilidade; não aumente timeout para tentar passar limite de transporte.
 16. Se aparecer caminho que não pertence ao workspace local aberto pelo usuário, pare e confirme a fonte antes de agir.
 17. Se Sema estourar por timeout local: aumente o timeout e tente de novo. Não trate isso como falha do Sema.
-18. Para fechamento, rode \`sema drift --cache fresh --json\`; cache persistente só acelera navegação e não é prova final. Se o \`payload\` retornar \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou \`impls_quebrados\`, não conclua. Na 3.0.0, não procure campos de domínio no topo do envelope \`sema.cli.result/v1\` nem use \`ok\` como substituto do veredito do payload.
+18. Para fechamento, rode \`sema drift --cache fresh --json\`; cache persistente só acelera navegação e não é prova final. Se o \`payload\` retornar \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\` ou \`impls_quebrados\`, não conclua. Na 3.0.0, não procure campos de domínio no topo do envelope \`sema.cli.result/v1\` nem use \`ok\` como substituto do veredito do payload.
 19. Se a tarefa tiver site, sistema, app, UI, painel, jogo, CLI/TUI ou terminal: aplique acabamento moderno, contextual, responsivo/ergonômico, com hierarquia clara, estados e evidência. Em UI, valide mobile/desktop e prove \`scrollWidth <= clientWidth\` em viewport estreito como 390px.
 20. Não substitua o contexto Sema por AGENTS.md, README.md, busca local, inferência por nome ou bom senso.
 
@@ -287,7 +287,7 @@ Timeout:
 - Timeout local do agente não é falha do Sema.
 - Projeto inteiro: comece com ${politicaTimeout.timeoutInicialSegundos}s ou mais.
 - Escalonamento: ${politicaTimeout.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
-- Se o projeto inteiro for lento, escopar para \`sema resumo <arquivo.sema> --micro --para mudanca --drift none\`.
+- Se o projeto inteiro for lento, escopar para \`sema resumo <arquivo.sema> --micro --para mudanca --drift none\`.
 - ${politicaTimeout.ateQuandoTentar}
 
 Acabamento visual e terminal:
@@ -440,13 +440,13 @@ function renderizarInstrucaoCodexSema(agentContextPack) {
 Este workspace é governado por Sema. Antes de qualquer ação em código, contrato, documentação operacional, workflow, profile ou deploy:
 
 1. Leia \`${ARQUIVO_SEMA_BOOT}\`.
-2. Rode \`sema --version\`; se o shell falhar, use \`$HOME/.sema/bin/sema\` no macOS/Linux. No Windows, PowerShell usa \`sema.ps1\` no PATH e cmd.exe usa \`sema.cmd\`; use \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\` como fallback absoluto. Só então pare e peça instalação ou reparo.
-3. Use diretamente a CLI local: \`sema resumo --drift none\`, \`sema docs-impacto\`, \`sema inspecionar --drift none\`, \`sema drift --cache fresh\` e \`sema impacto\`. Na 3.0.0, \`sema --version\` continua texto SemVer exato; com \`--json\`, help e falhas de controle usam \`sema.cli.control/v1\`, enquanto comandos sintaticamente válidos usam o envelope exato de oito campos \`sema.cli.result/v1\`, com resultado em \`payload\` e \`ok\` distinto do veredito de domínio do payload.
+2. Rode \`sema --version\`; se o shell falhar, use \`$HOME/.sema/bin/sema\` no macOS/Linux. No Windows, PowerShell usa \`sema.ps1\` no PATH e cmd.exe usa \`sema.cmd\`; use \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\` como fallback absoluto. Só então pare e peça instalação ou reparo.
+3. Use diretamente a CLI local: \`sema resumo --drift none\`, \`sema docs-impacto\`, \`sema inspecionar --drift none\`, \`sema drift --cache fresh\` e \`sema impacto\`. Na 3.0.0, \`sema --version\` continua texto SemVer exato; com \`--json\`, help e falhas de controle usam \`sema.cli.control/v1\`, enquanto comandos sintaticamente válidos usam o envelope exato de oito campos \`sema.cli.result/v1\`, com resultado em \`payload\` e \`ok\` distinto do veredito de domínio do payload.
 4. Quando a capacidade correta não estiver clara, use \`sema descobrir recomendar --intencao "<objetivo>" --json\`; não autoexecute resultado ambíguo.
 5. Não use fonte externa de workspace para substituir a CLI local quando ela estiver operacional.
 6. Chame docs-impacto com a intenção declarada antes de agir.
 7. Chame inspecionar no contrato \`.sema\` aplicável.
-8. Antes de editar código existente, rode \`sema drift --cache fresh\` e impacto.
+8. Antes de editar código existente, rode \`sema drift --cache fresh\` e impacto.
 9. Antes de criar ou editar \`.sema\`, use exemplos oficiais.
 10. Ao concluir mudança de contrato, rode validar.
 11. Antes de finalizar, use finalizar-mudanca com as docs lidas.
@@ -469,7 +469,7 @@ Timeout:
 - Timeout local do agente não é falha do Sema.
 - Se uma chamada Sema estourar, aumente o timeout e tente de novo antes de declarar bloqueio.
 - Para projeto inteiro, comece com ${politicaTimeout.timeoutInicialSegundos}s ou mais; se for lento, escale ${politicaTimeout.escalonamentoSegundos.map((segundos) => `${segundos}s`).join(" -> ")}.
-- Se possível, reduza escopo para \`sema resumo <arquivo.sema> --micro --para mudanca --drift none\`.
+- Se possível, reduza escopo para \`sema resumo <arquivo.sema> --micro --para mudanca --drift none\`.
 
 Código governado:
 - Mantenha o marcador \`${agentContextPack.politicaCodigoGovernado.marcador}\` em código gerado ou governado.
@@ -482,8 +482,8 @@ Código governado:
 Sinal e evidência:
 - Score composto, \`achados[]\` e \`decisaoAgente\` orientam a ação; abaixo de 80 bloqueia, alvo evolui 0.5 ponto até 100, e nada substitui evidência concreta.
 - Palavra-chave ou regex passando não prova governança se contrato, código e comportamento não batem.
-- \`resumo\` e \`inspecionar\` usam \`--drift none\` por padrão; campos derivados nulos significam não avaliados, nunca zero.
-- \`sema drift --cache fresh --json\` com \`payload.sucesso:false\`, \`payload.vinculos_quebrados\`, \`payload.rotas_divergentes\` ou \`payload.impls_quebrados\` bloqueia fechamento. Cache persistente é aceleração, não prova final.
+- \`resumo\` e \`inspecionar\` usam \`--drift none\` por padrão; campos derivados nulos significam não avaliados, nunca zero.
+- \`sema drift --cache fresh --json\` com \`payload.sucesso:false\`, \`payload.vinculos_quebrados\`, \`payload.rotas_divergentes\` ou \`payload.impls_quebrados\` bloqueia fechamento. Cache persistente é aceleração, não prova final.
 - Caminho fora do workspace local aberto pelo usuário não substitui a pasta local.
 
 Acabamento visual e terminal:
@@ -589,6 +589,20 @@ impl {
 
 \`sema compilar --alvo javascript\` defines a generation target. \`impl { js: ... }\` defines the live-code origin linked to the contract. They are different layers and both are valid.
 
+## Layered \`impl\` Roles
+
+Layered code (route + service + persistence in the same language) can declare one \`impl\` per role. Append a supported role to the origin: \`rota\`, \`servico\`, \`persistencia\` or \`repositorio\`.
+
+\`\`\`sema
+impl {
+  ts_rota: server.routes.monitores.criarMonitor
+  ts_servico: server.services.monitores.criarMonitor
+  ts_persistencia: server.repositories.monitores.criar
+}
+\`\`\`
+
+Each origin-plus-role pair must appear at most once; the bare origin (for example \`ts\`) stays valid for single-layer tasks, and drift resolves every role independently.
+
 ## Small Canonical Lists
 
 - \`effects\`: \`persistencia\`, \`consulta\`, \`evento\`, \`auditoria\`, \`db.write\`, \`queue.publish\`, \`fs.write\`, \`network.egress\`, \`secret.read\`, \`shell.exec\`.
@@ -635,26 +649,26 @@ function renderizarDocFluxoPraticoSemaLocal(_agentContextPack) {
 This is the minimum workflow for Codex in a local workspace.
 
 1. Read \`${ARQUIVO_SEMA_BOOT}\`.
-2. Run \`sema --version\`. If the shell cannot find it, use \`$HOME/.sema/bin/sema\` on macOS/Linux. On Windows, PowerShell resolves \`sema.ps1\` from PATH and cmd.exe resolves \`sema.cmd\`; use \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\` as the absolute fallback. Only then declare the CLI unavailable.
-3. Run \`sema resumo --drift none\` for contract-only orientation; request \`--drift cache\` or \`--drift fresh\` only when code evidence is needed.
+2. Run \`sema --version\`. If the shell cannot find it, use \`$HOME/.sema/bin/sema\` on macOS/Linux. On Windows, PowerShell resolves \`sema.ps1\` from PATH and cmd.exe resolves \`sema.cmd\`; use \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\` as the absolute fallback. Only then declare the CLI unavailable.
+3. Run \`sema resumo --drift none\` for contract-only orientation; request \`--drift cache\` or \`--drift fresh\` only when code evidence is needed.
 4. Run \`sema docs-impacto --intencao "<change>" --json\`.
 5. Read every required document returned by the command.
 6. Read \`docs/commands.md\` before selecting a command or interpreting \`--saida\`.
 7. If the right capability is unclear, run \`sema descobrir recomendar --intencao "<goal>" --json\`; do not auto-run ambiguous recommendations.
 8. Use \`exemplos/\` and \`docs/syntax.md\` before creating or editing a contract.
-9. Run \`sema drift --cache fresh\` and \`sema impacto\` before editing existing code.
+9. Run \`sema drift --cache fresh\` and \`sema impacto\` before editing existing code.
 10. Run \`sema formatar\` and \`sema validar\` after changing a \`.sema\` contract.
 11. Run \`sema finalizar-mudanca\` with the documents read before closure.
 
 Contract edit rule: \`.sema\` has its own size budget. Above ${LIMITE_AVISO_LINHAS_CONTRATO_SEMA} lines, plan a split by domain/capability; above ${LIMITE_BLOQUEIO_LINHAS_CONTRATO_SEMA}, do not create or edit before splitting. Do not use parte_1/parte_2 and do not force a 1:1 contract-to-file relationship; several contracts can govern the same file through \`vinculos\`.
 
-Closing rule: the \`payload\` of \`sema drift --cache fresh --json\` must return \`sucesso:true\`. If it reports \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\`, or \`impls_quebrados\`, the task is still blocked. Passing unit tests or a cache hit do not replace fresh green drift. In 3.0.0, \`ok\` describes the CLI result path and never replaces a command-specific domain verdict.
-
-Focused drift rule: file and module scopes plan their physical file set before cataloging. They never fall back to a whole-project walk when no safe anchor exists. All indexers and semantic-budget checks reuse the same in-memory source read; a global walk is reserved for explicit \`--escopo projeto\`. Code discovery is deferred until that plan exists, homonymous candidates fail as ambiguous, and configured contract origins or code roots resolving outside the workspace are rejected before enumeration. \`inspecionar\`, \`impacto\`, and \`renomear-semantico\` preserve the same directed boundary. Missing local dependencies make coverage partial and block success.
-
-Cache rule: a closure gate should use \`sema drift <contrato> --escopo modulo --cache fresh --json\`. \`--cache none\` executes the same analysis without persistent-cache I/O, while \`--cache cache\` may reuse only extraction data whose schema, workspace identity, Git HEAD, plan, configuration, contracts, member paths, and strong content digests all match. Cache objects are stored in the operating system's user-cache directory, never below the workspace. A hit is acceleration, not evidence: final links, diagnostics, score, and success are always recalculated. Corruption or an unavailable cache degrades to an in-memory calculation.
-
-Query honesty rule: \`resumo\` and \`inspecionar\` default to \`--drift none\`. When analysis is skipped, score, confidence, implementation, routes, and other unobserved code claims inside the command payload must be \`null\` or explicitly marked not evaluated; zero is not a substitute for absent evidence.
+Closing rule: the \`payload\` of \`sema drift --cache fresh --json\` must return \`sucesso:true\`. If it reports \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\`, or \`impls_quebrados\`, the task is still blocked. Passing unit tests or a cache hit do not replace fresh green drift. In 3.0.0, \`ok\` describes the CLI result path and never replaces a command-specific domain verdict.
+
+Focused drift rule: file and module scopes plan their physical file set before cataloging. They never fall back to a whole-project walk when no safe anchor exists. All indexers and semantic-budget checks reuse the same in-memory source read; a global walk is reserved for explicit \`--escopo projeto\`. Code discovery is deferred until that plan exists, homonymous candidates fail as ambiguous, and configured contract origins or code roots resolving outside the workspace are rejected before enumeration. \`inspecionar\`, \`impacto\`, and \`renomear-semantico\` preserve the same directed boundary. Missing local dependencies make coverage partial and block success.
+
+Cache rule: a closure gate should use \`sema drift <contrato> --escopo modulo --cache fresh --json\`. \`--cache none\` executes the same analysis without persistent-cache I/O, while \`--cache cache\` may reuse only extraction data whose schema, workspace identity, Git HEAD, plan, configuration, contracts, member paths, and strong content digests all match. Cache objects are stored in the operating system's user-cache directory, never below the workspace. A hit is acceleration, not evidence: final links, diagnostics, score, and success are always recalculated. Corruption or an unavailable cache degrades to an in-memory calculation.
+
+Query honesty rule: \`resumo\` and \`inspecionar\` default to \`--drift none\`. When analysis is skipped, score, confidence, implementation, routes, and other unobserved code claims inside the command payload must be \`null\` or explicitly marked not evaluated; zero is not a substitute for absent evidence.
 
 UI rule: if the task involves an interface, minimum evidence includes desktop and mobile. On a narrow viewport such as 390px, \`document.documentElement.scrollWidth <= document.documentElement.clientWidth\` must pass; horizontal scroll blocks closure.
 
@@ -690,31 +704,31 @@ Use this file when Codex does not know which command to run. A Sema command is a
 ## Minimum Local Flow
 
 \`\`\`bash
-sema --version
-sema resumo --drift none
-sema docs-impacto --intencao "<acao>" --json
-\`\`\`
-
-If \`sema\` is absent from \`PATH\`, use \`$HOME/.sema/bin/sema\` on macOS/Linux. On Windows, PowerShell resolves \`sema.ps1\` from PATH, cmd.exe resolves \`sema.cmd\`, and the absolute fallback is \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\`. \`sema skill sync --json\` repairs launcher and skill without touching the workspace or plugin caches.
-
-Then read every required doc returned by \`docs-impacto\`.
-
-## Public JSON output
-
-\`sema --version\` stays plain exact SemVer text. With \`--json\`, help and command-control failures use exactly one six-field \`sema.cli.control/v1\` document on stdout with empty stderr. Every syntactically valid command uses exactly one eight-field \`sema.cli.result/v1\` document containing only \`schemaVersion\`, \`ok\`, \`kind\`, \`command\`, \`code\`, \`message\`, \`exitCode\`, and \`payload\`. The command-specific result is nested under \`payload\`, never \`data\`; envelope \`ok\` does not replace domain fields inside that payload. Valid structured domain failures use \`DOMAIN_ERROR\`, while uncaught runtime exceptions remain redacted \`FATAL_ERROR\` control failures.
-
-## Global Distribution
-
-- \`sema skill status --json\`: diagnoses the managed launcher and bundled skill without writing.
-- \`sema skill sync --json\`: repairs only Sema-managed launcher and skill destinations; it never writes into the workspace or plugin caches.
-
-## Contract and Discovery
+sema --version
+sema resumo --drift none
+sema docs-impacto --intencao "<acao>" --json
+\`\`\`
+
+If \`sema\` is absent from \`PATH\`, use \`$HOME/.sema/bin/sema\` on macOS/Linux. On Windows, PowerShell resolves \`sema.ps1\` from PATH, cmd.exe resolves \`sema.cmd\`, and the absolute fallback is \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\`. \`sema skill sync --json\` repairs launcher and skill without touching the workspace or plugin caches.
+
+Then read every required doc returned by \`docs-impacto\`.
+
+## Public JSON output
+
+\`sema --version\` stays plain exact SemVer text. With \`--json\`, help and command-control failures use exactly one six-field \`sema.cli.control/v1\` document on stdout with empty stderr. Every syntactically valid command uses exactly one eight-field \`sema.cli.result/v1\` document containing only \`schemaVersion\`, \`ok\`, \`kind\`, \`command\`, \`code\`, \`message\`, \`exitCode\`, and \`payload\`. The command-specific result is nested under \`payload\`, never \`data\`; envelope \`ok\` does not replace domain fields inside that payload. Valid structured domain failures use \`DOMAIN_ERROR\`, while uncaught runtime exceptions remain redacted \`FATAL_ERROR\` control failures.
+
+## Global Distribution
+
+- \`sema skill status --json\`: diagnoses the managed launcher and bundled skill without writing.
+- \`sema skill sync --json\`: repairs only Sema-managed launcher and skill destinations; it never writes into the workspace or plugin caches.
+
+## Contract and Discovery
 
 - \`sema iniciar --template <template> [--force]\`: creates a new Sema project and preserves existing files by default; \`--force\` is the only explicit overwrite path.
 - \`sema validar <arquivo-ou-pasta> --json\`: validates \`.sema\` contracts.
 - \`sema diagnosticos <arquivo.sema> --json\`: details errors and warnings.
 - \`sema formatar <arquivo-ou-pasta>\`: formats contracts.
-- \`sema inspecionar <arquivo-ou-pasta> [--drift <none|cache|fresh>] --json\`: shows the contract surface; drift is skipped by default.
+- \`sema inspecionar <arquivo-ou-pasta> [--drift <none|cache|fresh>] --json\`: shows the contract surface; drift is skipped by default.
 - \`sema ast <arquivo.sema> --json\`: shows AST for syntax debugging.
 - \`sema ir <arquivo.sema> --json\`: shows the IR used by gates and generators.
 - \`sema descobrir catalogo --json\`: lists governance flows, profiles, specialized workflows, pipelines, generators, capability tokens, and adapters from their canonical registries.
@@ -725,24 +739,24 @@ Then read every required doc returned by \`docs-impacto\`.
 ## Change and Closure
 
 - \`sema docs-impacto --intencao "<acao>" --json\`: discovers required docs and documentary blockers.
-- \`sema drift <arquivo-ou-pasta> --escopo modulo [--cache <none|cache|fresh>] --json\`: plans a safe physical scope, then compares contract and implementation without a global fallback.
+- \`sema drift <arquivo-ou-pasta> --escopo modulo [--cache <none|cache|fresh>] --json\`: plans a safe physical scope, then compares contract and implementation without a global fallback.
 - \`sema impacto <arquivo-ou-pasta> --alvo <token> --mudanca "<descricao>" --json\`: maps impact before changing behavior.
 - \`sema verificar <arquivo-ou-pasta> --json\`: runs aggregated final verification.
 - \`sema finalizar-mudanca --intencao "<acao>" --doc-lida <arquivo> --json\`: proves documentation reading before closure.
 
-Honest closure: unwrap drift JSON and treat its command payload as the source of truth. \`payload.sucesso:false\`, non-empty \`payload.vinculos_quebrados\`, non-empty \`payload.rotas_divergentes\`, or non-empty \`payload.impls_quebrados\` mean the change is not complete yet. Do not report "clean drift" without a green payload.
-
-Focused drift exposes its planned, declared, inferred, and missing files plus catalog visit/read metrics in \`escopo_aplicado\`. File and module scopes fail closed without a safe anchor, with homonymous implementation candidates, or with missing local dependencies; only \`--escopo projeto\` may walk every configured code root. Logical roots such as \`src\` are probed deterministically without a discovery walk. Configured contract origins and code roots are confined before enumeration, and \`inspecionar\`, \`impacto\`, and \`renomear-semantico\` reuse the same directed boundary without reopening arbitrary external paths.
-
-Drift analysis and cache modes are explicit:
-
-- \`sema drift\` defaults to \`--cache fresh\`. \`none\` still executes drift but performs zero persistent-cache I/O; \`cache\` reuses a fully validated extraction hit and publishes misses; \`fresh\` ignores hits, recalculates, and publishes the new extraction.
-- \`sema resumo\` and \`sema inspecionar\` default to \`--drift none\`. In that mode their payload does not execute drift and returns \`null\` for score, confidence, implementation, routes, or other code evidence that was not observed. Use \`--drift cache\` or \`--drift fresh\` when that evidence is required. \`--com-drift\` remains a temporary alias for \`--drift fresh\`.
-- When a query explicitly runs drift, \`payload.analiseDrift.sucesso\` exposes the result and a failed requested analysis returns a nonzero exit code.
-- The value aliases \`off\`, \`auto\`, and \`refresh\` normalize to \`none\`, \`cache\`, and \`fresh\` for one compatibility release and emit a structured deprecation warning. Wrong flags, repeated flags, conflicts, and invalid values fail instead of falling back silently.
-- Persistent cache objects live outside the workspace under the operating system's user-cache directory. Workspace identity is hashed; public JSON and events expose only an opaque key and \`$SEMA_CACHE/...\` paths. Corruption or cache unavailability becomes a miss and never changes the drift result. Only validated extraction data is reused; links, diagnostics, scores, and the final success decision are recalculated.
-
-A cache hit is acceleration, not final evidence; closure still requires fresh drift.
+Honest closure: unwrap drift JSON and treat its command payload as the source of truth. \`payload.sucesso:false\`, non-empty \`payload.vinculos_quebrados\`, non-empty \`payload.rotas_divergentes\`, or non-empty \`payload.impls_quebrados\` mean the change is not complete yet. Do not report "clean drift" without a green payload.
+
+Focused drift exposes its planned, declared, inferred, and missing files plus catalog visit/read metrics in \`escopo_aplicado\`. File and module scopes fail closed without a safe anchor, with homonymous implementation candidates, or with missing local dependencies; only \`--escopo projeto\` may walk every configured code root. Logical roots such as \`src\` are probed deterministically without a discovery walk. Configured contract origins and code roots are confined before enumeration, and \`inspecionar\`, \`impacto\`, and \`renomear-semantico\` reuse the same directed boundary without reopening arbitrary external paths.
+
+Drift analysis and cache modes are explicit:
+
+- \`sema drift\` defaults to \`--cache fresh\`. \`none\` still executes drift but performs zero persistent-cache I/O; \`cache\` reuses a fully validated extraction hit and publishes misses; \`fresh\` ignores hits, recalculates, and publishes the new extraction.
+- \`sema resumo\` and \`sema inspecionar\` default to \`--drift none\`. In that mode their payload does not execute drift and returns \`null\` for score, confidence, implementation, routes, or other code evidence that was not observed. Use \`--drift cache\` or \`--drift fresh\` when that evidence is required. \`--com-drift\` remains a temporary alias for \`--drift fresh\`.
+- When a query explicitly runs drift, \`payload.analiseDrift.sucesso\` exposes the result and a failed requested analysis returns a nonzero exit code.
+- The value aliases \`off\`, \`auto\`, and \`refresh\` normalize to \`none\`, \`cache\`, and \`fresh\` for one compatibility release and emit a structured deprecation warning. Wrong flags, repeated flags, conflicts, and invalid values fail instead of falling back silently.
+- Persistent cache objects live outside the workspace under the operating system's user-cache directory. Workspace identity is hashed; public JSON and events expose only an opaque key and \`$SEMA_CACHE/...\` paths. Corruption or cache unavailability becomes a miss and never changes the drift result. Only validated extraction data is reused; links, diagnostics, scores, and the final success decision are recalculated.
+
+A cache hit is acceleration, not final evidence; closure still requires fresh drift.
 
 ## Sema Code
 
@@ -769,8 +783,8 @@ Ready UI rule: if the task generates an app, site, dashboard, form, or static HT
 
 - \`sema ajuda-ia\`: short guidance for Codex.
 - \`sema starter-ia\`: operational starter.
-- \`sema contexto-ia <arquivo.sema> --saida <dir> --json\`: AI context package.
-- \`sema resumo <arquivo-ou-pasta> [--drift <none|cache|fresh>] --json\`: compact context; drift is not executed unless requested.
+- \`sema contexto-ia <arquivo.sema> --saida <dir> --json\`: AI context package.
+- \`sema resumo <arquivo-ou-pasta> [--drift <none|cache|fresh>] --json\`: compact context; drift is not executed unless requested.
 - \`sema prompt-curto <arquivo-ou-pasta> --json\`: compact prompt.
 - \`sema sync-codex --json\`: synchronizes the official Codex entrypoint and local support docs.
 - \`sema instalar-exemplos --json\`: installs official examples in the workspace.
@@ -827,12 +841,12 @@ Spatial model and render mode are orthogonal: \`THREE_D + HEADLESS\` is valid, w
 
 ## Forbidden
 
-- Do not use an external workspace source to inspect a local workspace when \`sema --version\` or the managed launcher works.
+- Do not use an external workspace source to inspect a local workspace when \`sema --version\` or the managed launcher works.
 - Do not search the entire disk for \`.sema\` syntax; use \`exemplos/\`, \`docs/syntax.md\`, and this catalog.
 - Do not stop after \`sema compilar\` if the contract target files still do not exist.
 - Do not replace \`sema compilar\` with \`sema testar\` when the contract requires generated code.
 - Do not create a Markdown report to pretend a gate ran.
-- Do not say drift passed when the unwrapped \`sema drift --cache fresh --json\` payload returned \`sucesso:false\`, a non-empty \`vinculos_quebrados\`, \`rotas_divergentes\`, or \`impls_quebrados\` list.
+- Do not say drift passed when the unwrapped \`sema drift --cache fresh --json\` payload returned \`sucesso:false\`, a non-empty \`vinculos_quebrados\`, \`rotas_divergentes\`, or \`impls_quebrados\` list.
 - Do not declare a UI responsive without mobile/desktop proof; horizontal scroll at 390px blocks closure.
 
 Governed code policy: keep the \`SEMA-GOVERNED\` marker, split large code by real responsibility, preserve contract links, and never treat a generated output directory as the final delivery.

package/dist/cliGrammar.js

@@ -22,7 +22,7 @@ const TEMPLATES_INIT = new Set([
     "crud-simples", "auth-completo", "api-rest", "workflow", "pedido", "usuario", "upload",
 ]);
 const FONTES_IMPORTACAO = new Set([
-    "nestjs", "fastapi", "flask", "nextjs", "nextjs-consumer", "react-vite-consumer",
+    "nestjs", "express", "fastify", "fastapi", "flask", "nextjs", "nextjs-consumer", "react-vite-consumer",
     "angular-consumer", "flutter-consumer", "firebase", "typescript", "javascript",
     "python", "dart", "lua", "dotnet", "java", "go", "rust", "cpp", "php",
 ]);
@@ -153,7 +153,7 @@ function validarSemArgumentos(args) {
 }
 function validarIniciar(args) {
     const parsed = parsearArgumentos(args, {
-        opcoes: ["--template"], flags: ["--force"], maxPosicionais: 0,
+        opcoes: ["--template"], flags: ["--force", "--com-exemplos"], maxPosicionais: 0,
     });
     const template = parsed ? valorOpcao(parsed, "--template") : undefined;
     return parsed !== null && (template === undefined || TEMPLATES_INICIAR.has(template));
@@ -450,7 +450,7 @@ function validarComandoBasico(comando, args) {
             const estrutura = valorOpcao(parsed, "--estrutura"), framework = valorOpcao(parsed, "--framework");
             return Boolean(alvo && ALVOS_GERACAO.has(alvo)) && (!estrutura || ESTRUTURAS.has(estrutura)) && (!framework || FRAMEWORKS.has(framework));
         }
-        case "verificar": return parsearArgumentos(args, { opcoes: ["--saida"], maxPosicionais: 1 }) !== null;
+        case "verificar": return parsearArgumentos(args, { opcoes: ["--saida", "--alvo"], flags: ["--sem-cache"], maxPosicionais: 1 }) !== null;
         case "formatar": return parsearArgumentos(args, { flags: ["--check"], maxPosicionais: 1 }) !== null;
         case "inspecionar": {
             const parsed = parsearArgumentos(args, { opcoes: ["--drift", "--cache"], flags: ["--com-drift"], maxPosicionais: 1 });
@@ -476,7 +476,7 @@ function validarComandoBasico(comando, args) {
             return parsed !== null && FONTES_IMPORTACAO.has(parsed.posicionais[0]);
         }
         case "docs-impacto": {
-            const parsed = parsearArgumentos(args, { opcoes: ["--intencao", "--arquivo"], flags: ["--criar-ausentes"], repetiveis: ["--arquivo"], maxPosicionais: 64 });
+            const parsed = parsearArgumentos(args, { opcoes: ["--intencao", "--arquivo"], flags: ["--criar-ausentes", "--completo"], repetiveis: ["--arquivo"], maxPosicionais: 64 });
             return parsed !== null && Boolean(valorOpcao(parsed, "--intencao") ?? parsed.posicionais[0]);
         }
         case "finalizar-mudanca": {

package/dist/cliHelpTexto.js

@@ -25,11 +25,11 @@ export function criarAjudaRaiz(versao) {
         "",
         renderizarSecaoAscii("Fluxos rápidos", [
             "[1] Projeto novo / produção inicial",
-            "sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer> [--force]",
-            "Arquivos existentes são preservados; use --force somente para sobrescrita explícita.",
+            "sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer> [--force] [--com-exemplos]",
+            "Arquivos existentes são preservados; use --force somente para sobrescrita explícita. O starter de exemplos vem por padrão; --com-exemplos instala o pacote completo.",
             "sema validar contratos/<modulo>.sema --json",
             "sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --saida <diretorio>",
-            "sema verificar <arquivo-ou-pasta> --json",
+            "sema verificar <arquivo-ou-pasta> [--saida <dir>] [--alvo <alvo>] [--sem-cache] --json",
             "",
             "[2] Editar projeto que já usa Sema",
             "sema inspecionar . [--drift <none|cache|fresh>] --json",
@@ -114,13 +114,13 @@ export function criarAjudaRaiz(versao) {
             "modos: drift direto usa fresh por padrão; --cache none ainda executa sem cache persistente; resumo/inspecionar usam --drift none por padrão e não fabricam evidência",
             "impacto: sema impacto <arquivo-ou-pasta> --alvo <token> [--mudanca <descricao>] [--escopo <arquivo|modulo|projeto>] [--json]",
             "renomeação: sema renomear-semantico <arquivo-ou-pasta> --de <nome-atual> --para <nome-novo> [--escopo <arquivo|modulo|projeto>] [--json]",
-            "importação: sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|php|typescript|python|dart> <diretorio> [--saida <diretorio>] [--namespace <base>] [--json]",
+            "importação: sema importar <nestjs|express|fastify|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|php|typescript|python|dart> <diretorio> [--saida <diretorio>] [--namespace <base>] [--json]",
             "validação: sema validar <arquivo-ou-pasta> [--json]",
             "diagnóstico: sema diagnosticos <arquivo.sema> [--json]",
             "geração: sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
             "teste local: sema testar <arquivo.sema> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --saida <diretorio-temporario> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
             "aliases nativos: cs|csharp -> dotnet; c++|cxx|cc -> cpp (CLI e sema.config.json)",
-            "verificação final: sema verificar <arquivo-ou-pasta> [--saida <diretorio-base>] [--json]",
+            "verificação final: sema verificar <arquivo-ou-pasta> [--saida <diretorio-base>] [--alvo <alvo>] [--sem-cache] [--json]",
             "formatação: sema formatar <arquivo-ou-pasta> [--check] [--json]",
             "author: sema author <iniciar|validar|briefing|revisar-cliches|validar-narrativa|validar-proibicoes> [arquivo] [--tema-sensivel] [--preset conto|romance|roteiro|lore|campanha] [--saida <arquivo>] [--texto <texto>] [--json]",
             "profile: sema profile validar <software|workflow|ops|game|simulation|legal|research|redacao|propostas|conversas> <arquivo-ou-pasta> [--maturidade draft|prototype|production|critical] [--preset <preset>] [--artefato <texto>|--artefato-arquivo <arquivo>] [--json]",
@@ -143,7 +143,7 @@ export function criarAjudaRaiz(versao) {
             "sema contexto-ia <arquivo.sema> [--saida <diretorio>] [--json]",
             "sema sync-codex [--json]",
             "sema instalar-exemplos [--json]",
-            "sema docs-impacto --intencao <acao> [--arquivo <caminho>] [--criar-ausentes] [--json]",
+            "sema docs-impacto --intencao <acao> [--arquivo <caminho>] [--criar-ausentes] [--completo] [--json]",
             "sema finalizar-mudanca --intencao <acao> [--arquivo <caminho>] [--doc-lida <caminho>] [--json]",
             "sema author briefing <arquivo.sema> [--json]",
             "sema author revisar-cliches <arquivo.sema> [--texto <texto>|--texto-arquivo <arquivo>] [--texto-anterior <texto>|--texto-anterior-arquivo <arquivo>] [--json]",

package/dist/docs.part01.d.ts

@@ -19,9 +19,10 @@ export interface DocumentoObrigatorioMudanca {
     truncado?: boolean;
     template?: string;
     templatePendente?: boolean;
+    substancia?: boolean;
 }
 export interface BloqueioDocumentacaoMudanca {
-    tipo: "documentacao_ausente" | "leitura_obrigatoria_nao_comprovada" | "documentacao_template_cru" | "arquivo_monolitico" | "codigo_governado_sem_cabecalho";
+    tipo: "documentacao_ausente" | "leitura_obrigatoria_nao_comprovada" | "documentacao_template_cru" | "documentacao_sem_substancia" | "arquivo_monolitico" | "codigo_governado_sem_cabecalho";
     severidade: 4 | 5;
     caminho: string;
     mensagem: string;
@@ -74,6 +75,8 @@ export declare const REGRAS_DOCUMENTACAO: RegraDocumentacao[];
 export declare function inferirCategorias(intencao: string, arquivosAlvo: string[]): string[];
 export declare function criarTemplateDoc(doc: DocumentoPlanejado, intencao: string, categorias: string[], arquivosAlvo: string[]): string;
 export declare function documentoPareceTemplateCriadoPelaSema(conteudo: string): boolean;
+export declare const MINIMO_CARACTERES_SUBSTANCIA_DOC = 120;
+export declare function documentoTemSubstancia(conteudo: string): boolean;
 export declare function resumoConteudo(conteudo: string): {
     conteudo: string;
     truncado: boolean;

package/dist/docs.part01.js

@@ -289,6 +289,14 @@ export function documentoPareceTemplateCriadoPelaSema(conteudo) {
     ].some((placeholder) => texto.includes(placeholder));
     return criadoPelaSema && placeholderPendente;
 }
+export const MINIMO_CARACTERES_SUBSTANCIA_DOC = 120;
+export function documentoTemSubstancia(conteudo) {
+    const texto = normalizarTexto(conteudo)
+        .replace(/[#*_>`|-]/g, " ")
+        .replace(/\s+/g, " ")
+        .trim();
+    return texto.length >= MINIMO_CARACTERES_SUBSTANCIA_DOC;
+}
 export function resumoConteudo(conteudo) {
     if (conteudo.length <= LIMITE_CONTEUDO_DOC) {
         return { conteudo, truncado: false };

package/dist/docs.part02.js

@@ -4,7 +4,7 @@ import { readFile } from "node:fs/promises";
 import path from "node:path";
 import { emitirDiagnosticosArquivosOrcamento } from "./driftOrcamento.js";
 import { escreverArquivoWorkspaceSeguro, validarDestinosEscritaWorkspace, } from "./workspaceWrite.js";
-import { REGRAS_DOCUMENTACAO, adicionarDocsRaizExistentes, adicionarReadmesDeArquivos, caminhoEstaDentro, caminhoExiste, criarTemplateDoc, documentoPareceTemplateCriadoPelaSema, inferirCategorias, listarArquivosRecursivo, normalizarRelativo, normalizarTexto, resumoConteudo, termosRelacionamentoContratos } from "./docs.part01.js";
+import { REGRAS_DOCUMENTACAO, adicionarDocsRaizExistentes, adicionarReadmesDeArquivos, caminhoEstaDentro, caminhoExiste, criarTemplateDoc, documentoPareceTemplateCriadoPelaSema, documentoTemSubstancia, inferirCategorias, listarArquivosRecursivo, normalizarRelativo, normalizarTexto, resumoConteudo, termosRelacionamentoContratos } from "./docs.part01.js";
 export async function adicionarContratosRelacionados(baseProjeto, intencao, arquivosAlvo, registrar) {
     const pastaContratos = path.join(baseProjeto, "contratos");
     if (!(await caminhoExiste(pastaContratos))) {
@@ -95,6 +95,7 @@ export async function resolverDocumentacaoObrigatoria(opcoes) {
             item.conteudo = conteudo.conteudo;
             item.truncado = conteudo.truncado;
             item.templatePendente = documentoPareceTemplateCriadoPelaSema(conteudoCompleto) || undefined;
+            item.substancia = documentoTemSubstancia(conteudoCompleto);
         }
         leituraObrigatoria.push(item);
     }
@@ -150,6 +151,7 @@ export async function verificarDocumentacaoMudanca(opcoes) {
     const setDocsLidas = new Set(docsLidas);
     const docsNaoLidas = impacto.leituraObrigatoria.filter((doc) => doc.existe && !setDocsLidas.has(doc.relativo));
     const docsTemplatePendentes = impacto.leituraObrigatoria.filter((doc) => (doc.existe && doc.templatePendente && setDocsLidas.has(doc.relativo)));
+    const docsSemSubstancia = impacto.leituraObrigatoria.filter((doc) => (doc.existe && !doc.templatePendente && doc.substancia === false));
     const diagnosticosOrcamento = await emitirDiagnosticosArquivosOrcamento({
         baseProjeto,
         arquivos: opcoes.arquivosAlvo ?? [],
@@ -174,6 +176,12 @@ export async function verificarDocumentacaoMudanca(opcoes) {
             caminho: doc.relativo,
             mensagem: `Documentacao obrigatoria ainda e template cru criado pela Sema: ${doc.relativo}. Edite com procedimento, validacao e rollback reais antes de finalizar.`,
         })),
+        ...docsSemSubstancia.map((doc) => ({
+            tipo: "documentacao_sem_substancia",
+            severidade: 4,
+            caminho: doc.relativo,
+            mensagem: `Documentacao obrigatoria sem substancia: ${doc.relativo}. O conteudo esta praticamente vazio; preencha procedimento, validacao e rollback reais antes de finalizar.`,
+        })),
         ...diagnosticosOrcamento
             .filter((diagnostico) => diagnostico.bloqueia)
             .map((diagnostico) => ({

package/dist/drift.part01.d.ts

@@ -13,7 +13,7 @@ export interface SimboloResolvido {
 }
 export type ConsumerFramework = "nextjs-consumer" | "react-vite-consumer" | "angular-consumer" | "flutter-consumer";
 export interface RotaResolvida {
-    origem: "nestjs" | "fastapi" | "flask" | "nextjs" | ConsumerFramework | "firebase" | "dotnet" | "java" | "go" | "rust" | "php";
+    origem: "nestjs" | "express" | "fastify" | "fastapi" | "flask" | "nextjs" | ConsumerFramework | "firebase" | "dotnet" | "java" | "go" | "rust" | "php";
     metodo: string;
     caminho: string;
     arquivo: string;
@@ -47,6 +47,7 @@ export interface DiagnosticoDrift {
     linhas?: number;
     severidade?: "aviso" | "erro";
     limite_bloqueio_linhas?: number;
+    frameworksEsperados?: string[];
     mensagem: string;
 }
 export interface RegistroImplDrift {
@@ -124,6 +125,11 @@ export interface ResumoTaskDrift {
     implsQuebrados: number;
     semImplementacao: boolean;
     scoreSemantico: number;
+    evidenciaVerificacao?: {
+        sucesso: boolean;
+        quantidadeTestes: number;
+        alvo: string;
+    };
     confiancaVinculo: NivelConfiancaSemantica;
     riscoOperacional: NivelRiscoSemantico;
     lacunas: string[];

package/dist/drift.part04.d.ts

@@ -24,7 +24,19 @@ export declare function encontrarAncoraSuperficie(ir: IrModulo, superficie: IrSu
 } | undefined;
 export declare function calcularRiscoOperacional(task: IrTask): NivelRiscoSemantico;
 export declare function calcularConfiancaTask(task: IrTask, implsValidos: number, implsQuebrados: number, vinculosValidos: number, vinculosQuebrados: number): NivelConfiancaSemantica;
-export declare function calcularScoreTask(task: IrTask, implsValidos: number, implsQuebrados: number, vinculosValidos: number, vinculosQuebrados: number, semImplementacao: boolean): number;
+export interface EvidenciaVerificacaoDrift {
+    sucesso: boolean;
+    quantidadeTestes: number;
+    alvo: string;
+}
+export declare function carregarEvidenciaVerificacaoDrift(opcoes: {
+    caminhoContrato: string;
+    nomeModulo: string;
+    alvo: string;
+    framework: string;
+    estrutura: string;
+}): Promise<EvidenciaVerificacaoDrift | undefined>;
+export declare function calcularScoreTask(task: IrTask, implsValidos: number, implsQuebrados: number, vinculosValidos: number, vinculosQuebrados: number, semImplementacao: boolean, evidenciaVerificada?: EvidenciaVerificacaoDrift): number;
 export declare function resumirLacunasTask(task: IrTask, semImplementacao: boolean, implsQuebrados: number, vinculosQuebrados: number, guardrails: {
     publica: boolean;
     sensivel: boolean;
@@ -37,7 +49,7 @@ export declare function resumirLacunasTask(task: IrTask, semImplementacao: boole
     dadosSensiveis: boolean;
     efeitoPrivilegiado: boolean;
     exigeSegredos: boolean;
-}): string[];
+}, evidenciaVerificada?: EvidenciaVerificacaoDrift): string[];
 export declare function resumirOperacional(resultado: Omit<ResultadoDrift, "comando" | "sucesso">, politicaPontuacao?: PoliticaPontuacaoSemantica): ResultadoDrift["resumo_operacional"];
 export declare function paraIdentificadorModulo(valor: string): string;
 export declare function extrairTextoLiteral(expr?: ts.Expression): string | undefined;

package/dist/drift.part04.js

@@ -154,7 +154,34 @@ export function calcularConfiancaTask(task, implsValidos, implsQuebrados, vincul
     }
     return "baixa";
 }
-export function calcularScoreTask(task, implsValidos, implsQuebrados, vinculosValidos, vinculosQuebrados, semImplementacao) {
+export async function carregarEvidenciaVerificacaoDrift(opcoes) {
+    const { readFile } = await import("node:fs/promises");
+    const { calcularChaveVerificacao, carregarManifestoVerificacao } = await import("./verificacaoCache.js");
+    const pacoteCli = (await import("../package.json", { with: { type: "json" } })).default;
+    const conteudoContrato = await readFile(opcoes.caminhoContrato, "utf8").catch(() => "");
+    if (!conteudoContrato) {
+        return undefined;
+    }
+    const chave = calcularChaveVerificacao({
+        versaoCli: pacoteCli.version,
+        versaoNode: process.versions.node ?? "",
+        modulo: opcoes.nomeModulo,
+        alvo: opcoes.alvo,
+        framework: opcoes.framework,
+        estrutura: opcoes.estrutura,
+        conteudoContrato,
+    });
+    const manifesto = await carregarManifestoVerificacao(chave);
+    if (!manifesto) {
+        return undefined;
+    }
+    return {
+        sucesso: manifesto.sucesso,
+        quantidadeTestes: manifesto.quantidadeTestes,
+        alvo: manifesto.alvo,
+    };
+}
+export function calcularScoreTask(task, implsValidos, implsQuebrados, vinculosValidos, vinculosQuebrados, semImplementacao, evidenciaVerificada) {
     let score = 45;
     if (!semImplementacao && task.implementacoesExternas.length > 0) {
         score += 15;
@@ -169,9 +196,12 @@ export function calcularScoreTask(task, implsValidos, implsQuebrados, vinculosVa
     if (task.execucao.explicita) {
         score += 5;
     }
+    if (evidenciaVerificada?.sucesso && evidenciaVerificada.quantidadeTestes > 0) {
+        score += 8;
+    }
     return Math.max(0, Math.min(100, score));
 }
-export function resumirLacunasTask(task, semImplementacao, implsQuebrados, vinculosQuebrados, guardrails) {
+export function resumirLacunasTask(task, semImplementacao, implsQuebrados, vinculosQuebrados, guardrails, evidenciaVerificada) {
     const lacunas = [];
     if (semImplementacao) {
         lacunas.push("sem_impl");
@@ -188,6 +218,9 @@ export function resumirLacunasTask(task, semImplementacao, implsQuebrados, vincu
     if (!task.execucao.explicita) {
         lacunas.push("execucao_implicita");
     }
+    if ((guardrails.publica || guardrails.sensivel) && !semImplementacao && !evidenciaVerificada) {
+        lacunas.push("sem_evidencia_verificada");
+    }
     if (guardrails.publica && !task.execucao.explicita) {
         lacunas.push("superficie_publica_sem_execucao");
     }

package/dist/drift.part09.d.ts

@@ -5,7 +5,7 @@ import { OpcoesDriftLegado, OrigemCodigoDrift, RecursoResolvido, RegistroPersist
 import { indexarPersistenciaDetalhada } from "./drift.part08.js";
 export declare function analisarPersistenciaReal(contexto: ContextoProjetoCarregado, mapaRecursos?: Map<string, RecursoResolvido[]>, detalhesPersistencia?: Awaited<ReturnType<typeof indexarPersistenciaDetalhada>>, opcoes?: OpcoesDriftLegado, mapaImpl?: Map<string, SimboloResolvido>): Promise<RegistroPersistenciaRealDrift[]>;
 export declare function normalizarCaminhoRota(caminho?: string): string;
-export declare function extrairFontesHttpTypeScript(fontesLegado: FonteLegado[]): Array<"nestjs" | "nextjs" | "firebase">;
+export declare function extrairFontesHttpTypeScript(fontesLegado: FonteLegado[]): Array<"nestjs" | "nextjs" | "firebase" | "express" | "fastify">;
 export declare function extrairFontesHttpBackend(fontesLegado: FonteLegado[]): Array<"dotnet" | "java" | "go" | "rust" | "php">;
 export declare function ultimoSegmentoSimbolico(caminho: string): string;
 export declare function pontuarCandidatoDeclarado(candidato: SimboloResolvido, origem: OrigemCodigoDrift, caminhoDeclarado: string): SimboloCandidatoDrift | undefined;
@@ -14,7 +14,7 @@ export declare function deduplicarCandidatos(candidatos: SimboloCandidatoDrift[]
 export declare function ordenarCandidatos(candidatos: SimboloCandidatoDrift[]): SimboloCandidatoDrift[];
 export declare function sugerirCandidatosParaImpl(simbolos: SimboloResolvido[], origem: OrigemCodigoDrift, caminhoDeclarado: string): SimboloCandidatoDrift[];
 export declare function sugerirCandidatosParaTaskSemImpl(simbolos: SimboloResolvido[], nomeTask: string): SimboloCandidatoDrift[];
-export declare function escolherRotasEsperadas(task: IrTask, fontesLegado: FonteLegado[]): Array<"nestjs" | "fastapi" | "flask" | "nextjs" | "firebase" | "dotnet" | "java" | "go" | "rust" | "php">;
+export declare function escolherRotasEsperadas(task: IrTask, fontesLegado: FonteLegado[]): Array<"nestjs" | "express" | "fastify" | "fastapi" | "flask" | "nextjs" | "firebase" | "dotnet" | "java" | "go" | "rust" | "php">;
 export declare function taskEhBridgeFirebase(task: IrTask): boolean;
 export declare function tiposAceitosParaRecursoPersistencia(recurso: IrRecursoPersistencia): TipoRecursoDrift[];
 export declare function nomesRecursoPersistencia(recurso: IrRecursoPersistencia): string[];