@semacode/cli 1.5.7 → 1.5.9

package/AGENTS.md

@@ -19,7 +19,7 @@ Pense como IA, nao como humano. Voce nao esta "programando" — esta consumindo
 ## MCP
 
 O servidor MCP do Sema roda localmente via: npx -y @semacode/mcp
-Use as ferramentas: sema_resumo, sema_validar, sema_drift, sema_impacto, sema_renomear_semantico, sema_inspecionar, sema_ir, sema_verificar, sema_contexto_ia, sema_prompt_ia.
+Use as ferramentas: sema_resumo, sema_validar, sema_drift, sema_impacto, sema_renomear_semantico, sema_inspecionar, sema_ir, sema_verificar, sema_contexto_ia, sema_prompt_ia, sema_sync_ai_entrypoints, sema_instalar_exemplos, sema_docs_impacto, sema_finalizar_mudanca.
 
 ## Contratos e exemplos
 

package/README.md

@@ -4,6 +4,8 @@
 
 Ela valida contratos `.sema`, mede `drift` entre contrato e codigo vivo, importa legado, gera codigo derivado, produz contexto IA-first e agora governa persistencia vendor-first para `postgres`, `mysql`, `sqlite`, `mongodb` e `redis`.
 
+Tambem resolve documentacao obrigatoria por intencao para impedir IA de agir sem ler ou criar docs relacionadas.
+
 ## Instalar
 
 Global:
@@ -44,6 +46,7 @@ Projeto que ja usa Sema:
 sema inspecionar . --json
 sema resumo contratos/pedidos.sema --micro --para mudanca
 sema drift contratos/pedidos.sema --json
+sema docs-impacto --intencao "alterar pedidos" --arquivo contratos/pedidos.sema --json
 sema contexto-ia contratos/pedidos.sema --saida ./.tmp/contexto --json
 ```
 
@@ -90,6 +93,8 @@ O tarball publico da CLI inclui:
 - `sema resumo <arquivo-ou-pasta> --micro --para onboarding`
 - `sema prompt-curto <arquivo-ou-pasta> --curto --para mudanca`
 - `sema contexto-ia <arquivo.sema> --saida <diretorio> --json`
+- `sema docs-impacto --intencao <acao> [--arquivo <caminho>] [--criar-ausentes] --json`
+- `sema finalizar-mudanca --intencao <acao> [--doc-lida <caminho>] --json`
 - `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>`
 - `sema verificar <arquivo-ou-pasta> --saida <diretorio>`
 

package/SEMA_BRIEF.curto.txt

@@ -1,9 +1,9 @@
 PROJETO: Sema
-BASE: c:\GitHub\Sema
-MODULOS: 4
+BASE: C:\GitHub\Sema
+MODULOS: 6
 ENTRADA_IA: llms.txt -> SEMA_BRIEF.curto.txt -> SEMA_INDEX.json -> AGENTS.md -> README.md
-TOP_MODULOS: app.pedidos, sema.produto.ergonomia_e_dominio, sema.produto.governanca_ia, sema.produto.linguagem_composta
-TOP_RISCOS: consultar_scorecard_compatibilidade:medio, converter_bloco_composto_para_ir:alto, criar_pedido:alto, efeito_critico, efeito_privilegiado, explicitar_variacao_e_compatibilidade:medio (+11)
+TOP_MODULOS: app.pedidos, sema.produto.ergonomia_e_dominio, sema.produto.geradores_web, sema.produto.governanca_ia, sema.produto.linguagem_composta, sema.produto.persistencia_vendor_first
+TOP_RISCOS: assistir_renomeacao_semantica:alto, carregar_configuracao_de_persistencia:medio, consultar_scorecard_compatibilidade:medio, converter_bloco_composto_para_ir:alto, converter_persistencia_para_ir_canonico:alto, criar_pedido:alto (+22)
 TOP_LACUNAS: sem_impl, vinculo_quebrado
-TOP_ARQUIVOS: c:\GitHub\Sema\pacotes\cli\src\drift.ts, c:\GitHub\Sema\pacotes\cli\src\index.ts, c:\GitHub\Sema\pacotes\cli\src\projeto.ts, c:\GitHub\Sema\pacotes\gerador-python\src\index.ts, c:\GitHub\Sema\pacotes\gerador-typescript\src\index.ts, c:\GitHub\Sema\pacotes\nucleo\src\formatador\index.ts (+3)
-GERADO_EM: 2026-04-03T14:43:39.329Z
+TOP_ARQUIVOS: C:\GitHub\Sema\pacotes\cli\src\docs.ts, C:\GitHub\Sema\pacotes\cli\src\drift.ts, C:\GitHub\Sema\pacotes\cli\src\importador.ts, C:\GitHub\Sema\pacotes\cli\src\index.ts, C:\GitHub\Sema\pacotes\cli\src\projeto.ts, C:\GitHub\Sema\pacotes\editor-vscode\extension.js (+11)
+GERADO_EM: 2026-05-02T20:39:52.980Z

package/SEMA_BRIEF.md

@@ -2,8 +2,8 @@
 
 Sema e IA-first. Este arquivo existe para IA achar o ponto de entrada do projeto sem ter que catar o repo inteiro feito barata tonta.
 
-- Gerado em: `2026-04-03T14:43:39.329Z`
-- Modulos: `4`
+- Gerado em: `2026-05-02T20:39:52.980Z`
+- Modulos: `6`
 
 ## Entrada canonica para IA
 
@@ -23,27 +23,41 @@ Sema e IA-first. Este arquivo existe para IA achar o ponto de entrada do projeto
 ### app.pedidos
 - Faz: governa 1 rota(s), 1 task(s) com foco em criar pedido publico
 - Publico: POST /pedidos
-- Tocar: nenhum
-- Score: 35 | Confianca: media | Risco: alto
+- Tocar: C:\GitHub\Sema\testes\integracao\drift-legado.test.ts
+- Score: 50 | Confianca: media | Risco: alto
 - Lacunas: sem_impl, vinculo_quebrado
 
 ### sema.produto.ergonomia_e_dominio
 - Faz: governa 2 superficie(s), 5 task(s) com foco em scorecard atualizado
 - Publico: evento:scorecard_atualizado, policy:compatibilidade_publica
-- Tocar: c:\GitHub\Sema\pacotes\cli\src\projeto.ts, c:\GitHub\Sema\pacotes\nucleo\src\formatador\index.ts, c:\GitHub\Sema\pacotes\nucleo\src\ir\conversor.ts, c:\GitHub\Sema\pacotes\nucleo\src\semantico\analisador.ts
+- Tocar: C:\GitHub\Sema\pacotes\cli\src\projeto.ts, C:\GitHub\Sema\pacotes\nucleo\src\formatador\index.ts, C:\GitHub\Sema\pacotes\nucleo\src\ir\conversor.ts, C:\GitHub\Sema\pacotes\nucleo\src\semantico\analisador.ts
 - Score: 90 | Confianca: alta | Risco: alto
 - Lacunas: sem_impl, vinculo_quebrado
 
+### sema.produto.geradores_web
+- Faz: governa 3 task(s) com foco em gerar contrato javascript
+- Publico: nenhum
+- Tocar: C:\GitHub\Sema\pacotes\gerador-css\src\index.ts, C:\GitHub\Sema\pacotes\gerador-html\src\index.ts, C:\GitHub\Sema\pacotes\gerador-javascript\src\index.ts
+- Score: 90 | Confianca: alta | Risco: medio
+- Lacunas: sem_impl, vinculo_quebrado
+
 ### sema.produto.governanca_ia
-- Faz: governa 2 superficie(s), 4 task(s) com foco em preparar briefing contextual
+- Faz: governa 2 superficie(s), 9 task(s) com foco em preparar briefing contextual
 - Publico: webhook:confirmar_contexto_publico, worker:preparar_briefing_contextual
-- Tocar: c:\GitHub\Sema\pacotes\cli\src\drift.ts, c:\GitHub\Sema\pacotes\cli\src\index.ts, c:\GitHub\Sema\pacotes\cli\src\projeto.ts, c:\GitHub\Sema\pacotes\nucleo\src\formatador\index.ts
-- Score: 90 | Confianca: alta | Risco: alto
+- Tocar: C:\GitHub\Sema\pacotes\cli\src\docs.ts, C:\GitHub\Sema\pacotes\cli\src\drift.ts, C:\GitHub\Sema\pacotes\cli\src\index.ts, C:\GitHub\Sema\pacotes\cli\src\projeto.ts (+3)
+- Score: 93 | Confianca: alta | Risco: alto
 - Lacunas: sem_impl, vinculo_quebrado
 
 ### sema.produto.linguagem_composta
 - Faz: governa 1 superficie(s), 5 task(s) com foco em regressao composta
 - Publico: storage:regressao_composta
-- Tocar: c:\GitHub\Sema\pacotes\gerador-python\src\index.ts, c:\GitHub\Sema\pacotes\gerador-typescript\src\index.ts, c:\GitHub\Sema\pacotes\nucleo\src\formatador\index.ts, c:\GitHub\Sema\pacotes\nucleo\src\ir\conversor.ts (+1)
+- Tocar: C:\GitHub\Sema\pacotes\gerador-python\src\index.ts, C:\GitHub\Sema\pacotes\gerador-typescript\src\index.ts, C:\GitHub\Sema\pacotes\nucleo\src\formatador\index.ts, C:\GitHub\Sema\pacotes\nucleo\src\ir\conversor.ts (+1)
+- Score: 90 | Confianca: alta | Risco: alto
+- Lacunas: sem_impl, vinculo_quebrado
+
+### sema.produto.persistencia_vendor_first
+- Faz: governa 6 task(s) com foco em validar compatibilidade vendor first
+- Publico: nenhum
+- Tocar: C:\GitHub\Sema\pacotes\cli\src\drift.ts, C:\GitHub\Sema\pacotes\cli\src\importador.ts, C:\GitHub\Sema\pacotes\cli\src\projeto.ts, C:\GitHub\Sema\pacotes\nucleo\src\formatador\index.ts (+2)
 - Score: 90 | Confianca: alta | Risco: alto
 - Lacunas: sem_impl, vinculo_quebrado

package/SEMA_BRIEF.micro.txt

@@ -1,7 +1,7 @@
 PROJETO: Sema
-MODULOS: 4
+MODULOS: 6
 ENTRADA_IA: llms.txt -> SEMA_BRIEF.micro.txt -> SEMA_INDEX.json -> AGENTS.md
-TOP_MODULOS: app.pedidos, sema.produto.ergonomia_e_dominio, sema.produto.governanca_ia (+1)
-TOP_RISCOS: consultar_scorecard_compatibilidade:medio, converter_bloco_composto_para_ir:alto, criar_pedido:alto (+14)
+TOP_MODULOS: app.pedidos, sema.produto.ergonomia_e_dominio, sema.produto.geradores_web (+3)
+TOP_RISCOS: assistir_renomeacao_semantica:alto, carregar_configuracao_de_persistencia:medio, consultar_scorecard_compatibilidade:medio (+25)
 TOP_LACUNAS: sem_impl, vinculo_quebrado
-GERADO_EM: 2026-04-03T14:43:39.329Z
+GERADO_EM: 2026-05-02T20:39:52.980Z

package/SEMA_INDEX.json

@@ -1,9 +1,9 @@
 {
   "comando": "resumo-projeto",
-  "geradoEm": "2026-04-03T14:43:39.329Z",
-  "cliVersao": "1.2.17",
-  "baseProjeto": "c:\\GitHub\\Sema",
-  "totalModulos": 4,
+  "geradoEm": "2026-05-02T20:39:52.980Z",
+  "cliVersao": "1.5.9",
+  "baseProjeto": "C:\\GitHub\\Sema",
+  "totalModulos": 6,
   "entradaCanonica": {
     "descricao": "Entrada canonica do repositorio para IA. O repo nao e human-first; a IA deve começar por esses artefatos antes de abrir codigo cru.",
     "ordemLeitura": [
@@ -41,8 +41,15 @@
       "docs/integracao-com-ia.md",
       "docs/fluxo-pratico-ia-sema.md",
       "docs/como-ensinar-a-sema-para-ia.md",
+      "docs/persistencia-vendor-first.md",
       "docs/sintaxe.md",
-      "docs/cli.md"
+      "docs/cli.md",
+      "docs/mcp.md",
+      "docs/documentacao.md",
+      "docs/deploy.md",
+      "docs/env.md",
+      "docs/rollback.md",
+      "docs/extensao-vscode.md"
     ],
     "guiaPorCapacidade": {
       "pequena": {
@@ -163,11 +170,11 @@
   },
   "modulos": [
     {
-      "geradoEm": "2026-04-03T14:43:39.329Z",
-      "arquivo": "c:\\GitHub\\Sema\\contratos\\pedidos.sema",
+      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "arquivo": "C:\\GitHub\\Sema\\contratos\\pedidos.sema",
       "modulo": "app.pedidos",
       "perfilCompatibilidade": "publico",
-      "scoreSemantico": 35,
+      "scoreSemantico": 50,
       "confiancaGeral": "media",
       "riscoOperacional": "alto",
       "faz": "governa 1 rota(s), 1 task(s) com foco em criar pedido publico",
@@ -199,7 +206,9 @@
         "pedidos",
         "pedidos_api_key"
       ],
-      "arquivosProvaveis": [],
+      "arquivosProvaveis": [
+        "C:\\GitHub\\Sema\\testes\\integracao\\drift-legado.test.ts"
+      ],
       "simbolosRelacionados": [],
       "riscosPrincipais": [
         "criar_pedido:alto",
@@ -228,11 +237,14 @@
       "appRoutes": [],
       "consumerSurfaces": [],
       "consumerBridges": [],
-      "arquivosProvaveisEditar": []
+      "ancoragensVinculo": [],
+      "arquivosProvaveisEditar": [
+        "C:\\GitHub\\Sema\\testes\\integracao\\drift-legado.test.ts"
+      ]
     },
     {
-      "geradoEm": "2026-04-03T14:43:39.329Z",
-      "arquivo": "c:\\GitHub\\Sema\\contratos\\sema\\ergonomia_e_dominio.sema",
+      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\ergonomia_e_dominio.sema",
       "modulo": "sema.produto.ergonomia_e_dominio",
       "perfilCompatibilidade": "interno",
       "scoreSemantico": 90,
@@ -278,10 +290,10 @@
         "PerfilCompatibilidade"
       ],
       "arquivosProvaveis": [
-        "c:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\semantico\\analisador.ts"
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\semantico\\analisador.ts"
       ],
       "simbolosRelacionados": [
         "analisarSemantica",
@@ -325,39 +337,139 @@
       "appRoutes": [],
       "consumerSurfaces": [],
       "consumerBridges": [],
+      "ancoragensVinculo": [],
+      "arquivosProvaveisEditar": [
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\semantico\\analisador.ts"
+      ]
+    },
+    {
+      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\geradores_web.sema",
+      "modulo": "sema.produto.geradores_web",
+      "perfilCompatibilidade": "interno",
+      "scoreSemantico": 90,
+      "confiancaGeral": "alta",
+      "riscoOperacional": "medio",
+      "faz": "governa 3 task(s) com foco em gerar contrato javascript",
+      "tarefasPrincipais": [
+        "gerar_contrato_javascript",
+        "gerar_pagina_html",
+        "gerar_design_system_css"
+      ],
+      "entradasChave": [
+        "gerar_contrato_javascript(contrato)",
+        "gerar_pagina_html(contrato)",
+        "gerar_design_system_css(contrato)"
+      ],
+      "saidasChave": [
+        "gerar_contrato_javascript(jsdoc_tipado, validacoes_coerentes, testes_gerados)",
+        "gerar_pagina_html(html_semantico, formularios_derivados, rotas_visuais)",
+        "gerar_design_system_css(variaveis_css, dark_mode, responsividade)"
+      ],
+      "superficiesPublicas": [],
+      "regrasCriticas": [
+        "contrato deve_ser preenchido",
+        "dark_mode existe",
+        "formularios_derivados existe",
+        "html_semantico existe",
+        "jsdoc_tipado existe",
+        "responsividade existe",
+        "rotas_visuais existe",
+        "testes_gerados existe"
+      ],
+      "efeitos": [
+        "auditoria geracao_css criticidade = media",
+        "auditoria geracao_html criticidade = media",
+        "auditoria geracao_javascript criticidade = media"
+      ],
+      "erros": [],
+      "entidadesAfetadas": [
+        "geracao_css",
+        "geracao_html",
+        "geracao_javascript"
+      ],
+      "arquivosProvaveis": [
+        "C:\\GitHub\\Sema\\pacotes\\gerador-css\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\gerador-html\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\gerador-javascript\\src\\index.ts"
+      ],
+      "simbolosRelacionados": [
+        "gerarCss",
+        "gerarHtml",
+        "gerarJavaScript"
+      ],
+      "riscosPrincipais": [
+        "gerar_contrato_javascript:medio",
+        "gerar_design_system_css:medio",
+        "gerar_pagina_html:medio"
+      ],
+      "lacunas": [
+        "sem_impl",
+        "vinculo_quebrado"
+      ],
+      "inferido": [
+        "gerar_contrato_javascript:pacotes/gerador-javascript/src/index.ts",
+        "gerar_design_system_css:pacotes/gerador-css/src/index.ts",
+        "gerar_pagina_html:pacotes/gerador-html/src/index.ts",
+        "sema.produto.geradores_web:pacotes/gerador-css/src/index.ts",
+        "sema.produto.geradores_web:pacotes/gerador-html/src/index.ts",
+        "sema.produto.geradores_web:pacotes/gerador-javascript/src/index.ts"
+      ],
+      "checksSugeridos": [
+        "confirmar proibicoes operacionais",
+        "corrigir vinculos rastreaveis",
+        "revisar auth e authz",
+        "revisar efeitos operacionais",
+        "rodar sema drift --json",
+        "rodar sema validar --json"
+      ],
+      "testesMinimos": [
+        "sema drift <arquivo> --json",
+        "sema validar <arquivo> --json",
+        "sema verificar <arquivo-ou-pasta> --json"
+      ],
+      "consumerFramework": "nextjs-consumer",
+      "appRoutes": [],
+      "consumerSurfaces": [],
+      "consumerBridges": [],
+      "ancoragensVinculo": [],
       "arquivosProvaveisEditar": [
-        "c:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\semantico\\analisador.ts"
+        "C:\\GitHub\\Sema\\pacotes\\gerador-css\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\gerador-html\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\gerador-javascript\\src\\index.ts"
       ]
     },
     {
-      "geradoEm": "2026-04-03T14:43:39.329Z",
-      "arquivo": "c:\\GitHub\\Sema\\contratos\\sema\\governanca_ia.sema",
+      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\governanca_ia.sema",
       "modulo": "sema.produto.governanca_ia",
       "perfilCompatibilidade": "publico",
-      "scoreSemantico": 90,
+      "scoreSemantico": 93,
       "confiancaGeral": "alta",
       "riscoOperacional": "alto",
-      "faz": "governa 2 superficie(s), 4 task(s) com foco em preparar briefing contextual",
+      "faz": "governa 2 superficie(s), 9 task(s) com foco em preparar briefing contextual",
       "tarefasPrincipais": [
         "mapear_projeto_sem_adivinhacao",
         "normalizar_saida_sem_ruido",
-        "medir_drift_contra_codigo_vivo",
-        "padronizar_nomes_para_leitura_de_ia"
+        "materializar_exemplos_oficiais",
+        "resolver_documentacao_obrigatoria_para_mudanca",
+        "validar_leitura_documental_da_mudanca",
+        "medir_drift_contra_codigo_vivo"
       ],
       "entradasChave": [
         "mapear_projeto_sem_adivinhacao(entrada, explicito)",
         "normalizar_saida_sem_ruido(estrutura_desejada)",
-        "medir_drift_contra_codigo_vivo(contrato_alvo, codigo_vivo)",
-        "padronizar_nomes_para_leitura_de_ia(contrato_atual, sinonimos_em_excesso)"
+        "materializar_exemplos_oficiais(base_projeto, preservar_existentes)",
+        "resolver_documentacao_obrigatoria_para_mudanca(base_projeto, intencao, arquivos_alvo, criar_ausentes)"
       ],
       "saidasChave": [
         "mapear_projeto_sem_adivinhacao(base_resolvida, origens_coerentes, codigo_vivo_detectado)",
         "normalizar_saida_sem_ruido(estrutura_canonica, alias_confuso)",
-        "medir_drift_contra_codigo_vivo(impls_resolvidas, rotas_resolvidas, ambiguidades_explicitas)",
-        "padronizar_nomes_para_leitura_de_ia(nomes_consistentes, leitura_rapida, casos_especiais_reduzidos)"
+        "materializar_exemplos_oficiais(exemplos_disponiveis, arquivos_preservados, origem_canonica_resolvida)",
+        "resolver_documentacao_obrigatoria_para_mudanca(docs_obrigatorias_resolvidas, leitura_obrigatoria_emitida, docs_ausentes_detectadas, docs_criadas_quando_autorizado)"
       ],
       "superficiesPublicas": [
         "webhook:confirmar_contexto_publico",
@@ -366,48 +478,58 @@
       "regrasCriticas": [
         "alias_confuso existe",
         "ambiguidades_explicitas existe",
+        "arquivos_afetados existe",
+        "arquivos_preservados existe",
         "base_resolvida existe",
+        "bloqueio_emitido_quando_falta_leitura existe",
         "casos_especiais_reduzidos existe",
-        "codigo_vivo_detectado existe",
-        "estrutura_canonica existe",
-        "impls_resolvidas existe",
-        "leitura_rapida existe"
+        "codigo_relacionado_mapeado existe"
       ],
       "efeitos": [],
       "erros": [
+        "documentacao_ausente",
+        "leitura_obrigatoria_nao_comprovada",
         "simbolo_ambiguo"
       ],
       "entidadesAfetadas": [],
       "arquivosProvaveis": [
-        "c:\\GitHub\\Sema\\pacotes\\cli\\src\\drift.ts",
-        "c:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts"
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\docs.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\drift.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
+        "C:\\GitHub\\Sema\\pacotes\\editor-vscode\\extension.js",
+        "C:\\GitHub\\Sema\\pacotes\\mcp\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts"
       ],
       "simbolosRelacionados": [
         "analisarDriftLegado",
+        "assistirRenomeacaoSemantica",
         "carregarProjeto",
         "comandoContextoIa",
         "formatarCodigo",
+        "gerarMapaImpactoSemantico",
+        "materializarExemplosOficiais",
         "normalizarEstruturaSaida"
       ],
       "riscosPrincipais": [
+        "assistir_renomeacao_semantica:alto",
+        "mapear_impacto_semantico:alto",
         "mapear_projeto_sem_adivinhacao:medio",
+        "materializar_exemplos_oficiais:medio",
         "medir_drift_contra_codigo_vivo:alto",
-        "normalizar_saida_sem_ruido:medio",
-        "padronizar_nomes_para_leitura_de_ia:medio"
+        "normalizar_saida_sem_ruido:medio"
       ],
       "lacunas": [
         "sem_impl",
         "vinculo_quebrado"
       ],
       "inferido": [
-        "mapear_projeto_sem_adivinhacao:pacotes/cli/src/projeto.ts",
-        "medir_drift_contra_codigo_vivo:pacotes/cli/src/drift.ts",
-        "normalizar_saida_sem_ruido:pacotes/cli/src/projeto.ts",
-        "padronizar_nomes_para_leitura_de_ia:pacotes/nucleo/src/formatador/index.ts",
-        "sema.produto.governanca_ia:pacotes/cli/src/index.ts",
-        "webhook:confirmar_contexto_publico:/ interno / contexto-ia"
+        "assistir_renomeacao_semantica:pacotes/cli/src/drift.ts",
+        "assistir_renomeacao_semantica:pacotes/cli/src/index.ts",
+        "conduzir_mudanca_semantica_real:pacotes/cli/src/index.ts",
+        "mapear_impacto_semantico:pacotes/cli/src/drift.ts",
+        "mapear_impacto_semantico:pacotes/cli/src/index.ts",
+        "mapear_projeto_sem_adivinhacao:pacotes/cli/src/projeto.ts"
       ],
       "checksSugeridos": [
         "confirmar proibicoes operacionais",
@@ -427,19 +549,23 @@
         "/ranking"
       ],
       "consumerSurfaces": [
-        "router:/ranking -> c:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
+        "router:/ranking -> C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
       ],
       "consumerBridges": [],
+      "ancoragensVinculo": [],
       "arquivosProvaveisEditar": [
-        "c:\\GitHub\\Sema\\pacotes\\cli\\src\\drift.ts",
-        "c:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts"
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\docs.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\drift.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
+        "C:\\GitHub\\Sema\\pacotes\\editor-vscode\\extension.js",
+        "C:\\GitHub\\Sema\\pacotes\\mcp\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts"
       ]
     },
     {
-      "geradoEm": "2026-04-03T14:43:39.329Z",
-      "arquivo": "c:\\GitHub\\Sema\\contratos\\sema\\linguagem_composta.sema",
+      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\linguagem_composta.sema",
       "modulo": "sema.produto.linguagem_composta",
       "perfilCompatibilidade": "interno",
       "scoreSemantico": 90,
@@ -485,11 +611,11 @@
         "StatusEvolucao"
       ],
       "arquivosProvaveis": [
-        "c:\\GitHub\\Sema\\pacotes\\gerador-python\\src\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\gerador-typescript\\src\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\parser\\parser.ts"
+        "C:\\GitHub\\Sema\\pacotes\\gerador-python\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\gerador-typescript\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\parser\\parser.ts"
       ],
       "simbolosRelacionados": [
         "converterParaIr",
@@ -534,12 +660,121 @@
       "appRoutes": [],
       "consumerSurfaces": [],
       "consumerBridges": [],
+      "ancoragensVinculo": [],
+      "arquivosProvaveisEditar": [
+        "C:\\GitHub\\Sema\\pacotes\\gerador-python\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\gerador-typescript\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\parser\\parser.ts"
+      ]
+    },
+    {
+      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\persistencia_vendor_first.sema",
+      "modulo": "sema.produto.persistencia_vendor_first",
+      "perfilCompatibilidade": "interno",
+      "scoreSemantico": 90,
+      "confiancaGeral": "alta",
+      "riscoOperacional": "alto",
+      "faz": "governa 6 task(s) com foco em validar compatibilidade vendor first",
+      "tarefasPrincipais": [
+        "validar_compatibilidade_vendor_first",
+        "converter_persistencia_para_ir_canonico",
+        "formatar_database_vendor_first",
+        "inferir_database_legado_em_adocao",
+        "carregar_configuracao_de_persistencia",
+        "cruzar_persistencia_com_banco_real"
+      ],
+      "entradasChave": [
+        "validar_compatibilidade_vendor_first(contrato_persistencia, engine_alvo)",
+        "converter_persistencia_para_ir_canonico(contrato_persistencia)",
+        "formatar_database_vendor_first(contrato_persistencia)",
+        "inferir_database_legado_em_adocao(projeto_legado, linguagem_detectada)"
+      ],
+      "saidasChave": [
+        "validar_compatibilidade_vendor_first(diagnosticos_emitidos, incompatibilidades_reais_detectadas, status)",
+        "converter_persistencia_para_ir_canonico(secao_databases_preservada, compatibilidade_calculada, status)",
+        "formatar_database_vendor_first(ordem_canonica, recursos_preservados)",
+        "inferir_database_legado_em_adocao(engines_inferidos, bloco_database_emitido)"
+      ],
+      "superficiesPublicas": [],
+      "regrasCriticas": [
+        "adapters_por_engine_lidos existe",
+        "bloco_database_emitido existe",
+        "categoria_persistencia_emitida existe",
+        "colunas_reais_mapeadas existe",
+        "compatibilidade_calculada existe",
+        "compatibilidade_materializada existe",
+        "diagnosticos_emitidos existe",
+        "engines_habilitados_lidos existe"
+      ],
+      "efeitos": [],
+      "erros": [],
+      "entidadesAfetadas": [
+        "StatusPersistenciaVendor"
+      ],
+      "arquivosProvaveis": [
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\drift.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\importador.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\semantico\\analisador.ts"
+      ],
+      "simbolosRelacionados": [
+        "analisarPersistenciaReal",
+        "analisarSemantica",
+        "carregarConfiguracaoProjeto",
+        "converterParaIr",
+        "formatarCodigo",
+        "importarProjetoLegado"
+      ],
+      "riscosPrincipais": [
+        "carregar_configuracao_de_persistencia:medio",
+        "converter_persistencia_para_ir_canonico:alto",
+        "cruzar_persistencia_com_banco_real:alto",
+        "formatar_database_vendor_first:medio",
+        "inferir_database_legado_em_adocao:medio",
+        "validar_compatibilidade_vendor_first:alto"
+      ],
+      "lacunas": [
+        "sem_impl",
+        "vinculo_quebrado"
+      ],
+      "inferido": [
+        "carregar_configuracao_de_persistencia:pacotes/cli/src/projeto.ts",
+        "converter_persistencia_para_ir_canonico:pacotes/nucleo/src/ir/conversor.ts",
+        "cruzar_persistencia_com_banco_real:pacotes/cli/src/drift.ts",
+        "formatar_database_vendor_first:pacotes/nucleo/src/formatador/index.ts",
+        "inferir_database_legado_em_adocao:pacotes/cli/src/importador.ts",
+        "sema.produto.persistencia_vendor_first:pacotes/cli/src/drift.ts"
+      ],
+      "checksSugeridos": [
+        "confirmar proibicoes operacionais",
+        "corrigir vinculos rastreaveis",
+        "revisar auth e authz",
+        "revisar efeitos operacionais",
+        "rodar sema drift --json",
+        "rodar sema validar --json"
+      ],
+      "testesMinimos": [
+        "sema drift <arquivo> --json",
+        "sema validar <arquivo> --json",
+        "sema verificar <arquivo-ou-pasta> --json"
+      ],
+      "consumerFramework": "nextjs-consumer",
+      "appRoutes": [],
+      "consumerSurfaces": [],
+      "consumerBridges": [],
+      "ancoragensVinculo": [],
       "arquivosProvaveisEditar": [
-        "c:\\GitHub\\Sema\\pacotes\\gerador-python\\src\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\gerador-typescript\\src\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
-        "c:\\GitHub\\Sema\\pacotes\\nucleo\\src\\parser\\parser.ts"
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\drift.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\importador.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\projeto.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\formatador\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ir\\conversor.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\semantico\\analisador.ts"
       ]
     }
   ]