@semacode/cli 1.5.28 → 1.5.30

package/SEMA_INDEX.json

@@ -1,1534 +0,0 @@
-{
-  "comando": "resumo-projeto",
-  "geradoEm": "2026-05-18T23:17:36.000Z",
-  "cliVersao": "1.5.28",
-  "baseProjeto": "C:\\GitHub\\Sema",
-  "modoVerificacaoCodigo": "codigo_completo",
-  "fontesConclusao": [
-    "contrato",
-    "codigo"
-  ],
-  "conclusoesPorFonte": [
-    "contrato: intencao oficial e regra normativa",
-    "codigo: evidencia da implementacao disponivel"
-  ],
-  "totalModulos": 13,
-  "entradaCanonica": {
-    "descricao": "Entrada canonica do repositorio para IA. O repo nao e human-first; a IA deve comecar por esses artefatos antes de abrir codigo cru.",
-    "ordemLeitura": [
-      "llms.txt",
-      "SEMA_BRIEF.md",
-      "SEMA_INDEX.json",
-      "AGENTS.md",
-      "README.md",
-      "llms-full.txt"
-    ],
-    "porCapacidade": {
-      "pequena": [
-        "llms.txt",
-        "SEMA_BRIEF.micro.txt",
-        "SEMA_INDEX.json",
-        "AGENTS.md"
-      ],
-      "media": [
-        "llms.txt",
-        "SEMA_BRIEF.curto.txt",
-        "SEMA_INDEX.json",
-        "AGENTS.md",
-        "README.md"
-      ],
-      "grande": [
-        "llms-full.txt",
-        "SEMA_BRIEF.md",
-        "SEMA_INDEX.json",
-        "AGENTS.md",
-        "README.md"
-      ]
-    },
-    "docsSuporte": [
-      "docs/AGENT_STARTER.md",
-      "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/mcp.md",
-      "docs/profiles.md",
-      "docs/profiles-author-agents-flow.md",
-      "docs/testes.md",
-      "docs/documentacao.md",
-      "docs/deploy.md",
-      "docs/env.md",
-      "docs/rollback.md",
-      "docs/extensao-vscode.md"
-    ],
-    "guiaPorCapacidade": {
-      "pequena": {
-        "descricao": "IA gratuita ou com contexto curto. Leia so o cartao semantico e o briefing minimo.",
-        "artefatos": [
-          "resumo.micro.txt",
-          "briefing.min.json",
-          "prompt-curto.txt"
-        ],
-        "ordemLeitura": [
-          "resumo.micro.txt",
-          "briefing.min.json",
-          "resumo.curto.txt"
-        ],
-        "evitar": [
-          "ast.json",
-          "ir.json",
-          "diagnosticos.json"
-        ]
-      },
-      "media": {
-        "descricao": "IA com contexto medio. Aguenta resumo expandido, briefing minimo e drift.",
-        "artefatos": [
-          "resumo.curto.txt",
-          "briefing.min.json",
-          "drift.json",
-          "prompt-curto.txt"
-        ],
-        "ordemLeitura": [
-          "resumo.curto.txt",
-          "briefing.min.json",
-          "drift.json",
-          "resumo.md"
-        ],
-        "evitar": [
-          "ast.json"
-        ]
-      },
-      "grande": {
-        "descricao": "IA com contexto grande ou tool use. Pode consumir o pacote completo.",
-        "artefatos": [
-          "README.md",
-          "resumo.md",
-          "briefing.json",
-          "drift.json",
-          "ir.json",
-          "ast.json"
-        ],
-        "ordemLeitura": [
-          "README.md",
-          "resumo.md",
-          "briefing.json",
-          "drift.json",
-          "ir.json",
-          "ast.json"
-        ],
-        "evitar": []
-      }
-    }
-  },
-  "guiaPorCapacidade": {
-    "pequena": {
-      "descricao": "IA gratuita ou com contexto curto. Leia so o cartao semantico e o briefing minimo.",
-      "artefatos": [
-        "resumo.micro.txt",
-        "briefing.min.json",
-        "prompt-curto.txt"
-      ],
-      "ordemLeitura": [
-        "resumo.micro.txt",
-        "briefing.min.json",
-        "resumo.curto.txt"
-      ],
-      "evitar": [
-        "ast.json",
-        "ir.json",
-        "diagnosticos.json"
-      ]
-    },
-    "media": {
-      "descricao": "IA com contexto medio. Aguenta resumo expandido, briefing minimo e drift.",
-      "artefatos": [
-        "resumo.curto.txt",
-        "briefing.min.json",
-        "drift.json",
-        "prompt-curto.txt"
-      ],
-      "ordemLeitura": [
-        "resumo.curto.txt",
-        "briefing.min.json",
-        "drift.json",
-        "resumo.md"
-      ],
-      "evitar": [
-        "ast.json"
-      ]
-    },
-    "grande": {
-      "descricao": "IA com contexto grande ou tool use. Pode consumir o pacote completo.",
-      "artefatos": [
-        "README.md",
-        "resumo.md",
-        "briefing.json",
-        "drift.json",
-        "ir.json",
-        "ast.json"
-      ],
-      "ordemLeitura": [
-        "README.md",
-        "resumo.md",
-        "briefing.json",
-        "drift.json",
-        "ir.json",
-        "ast.json"
-      ],
-      "evitar": []
-    }
-  },
-  "modulos": [
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\pedidos.sema",
-      "modulo": "app.pedidos",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "publico",
-      "scoreSemantico": 50,
-      "confiancaGeral": "media",
-      "riscoOperacional": "alto",
-      "faz": "governa 1 rota(s), 1 task(s) com foco em criar pedido publico",
-      "tarefasPrincipais": [
-        "criar_pedido"
-      ],
-      "entradasChave": [
-        "criar_pedido(cliente_id, total)"
-      ],
-      "saidasChave": [
-        "criar_pedido(pedido_id, status)"
-      ],
-      "superficiesPublicas": [
-        "POST /pedidos"
-      ],
-      "regrasCriticas": [
-        "pedido_id existe",
-        "status existe",
-        "total > 0"
-      ],
-      "efeitos": [
-        "auditoria pedidos criticidade = media",
-        "db.write Pedido criticidade = alta privilegio = escrita isolamento = tenant",
-        "secret.read pedidos_api_key criticidade = media privilegio = leitura isolamento = processo"
-      ],
-      "erros": [],
-      "entidadesAfetadas": [
-        "Pedido",
-        "pedidos",
-        "pedidos_api_key"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\testes\\integracao\\drift-legado.test.ts"
-      ],
-      "simbolosRelacionados": [],
-      "riscosPrincipais": [
-        "criar_pedido:alto",
-        "efeito_critico",
-        "efeito_privilegiado"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [],
-      "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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\testes\\integracao\\drift-legado.test.ts"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\author.sema",
-      "modulo": "sema.produto.author",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "alto",
-      "faz": "governa 2 superficie(s), 14 task(s) com foco em author briefing",
-      "tarefasPrincipais": [
-        "iniciar_profile_author",
-        "validar_profile_author",
-        "preparar_briefing_author",
-        "revisar_cliches_author",
-        "validar_proibicoes_author",
-        "validar_arco_emocional_author"
-      ],
-      "entradasChave": [
-        "iniciar_profile_author(obra, publico, tema_sensivel)",
-        "validar_profile_author(contrato_author)",
-        "preparar_briefing_author(contrato_author)",
-        "revisar_cliches_author(contrato_author, texto_alvo, preset_author)"
-      ],
-      "saidasChave": [
-        "iniciar_profile_author(contrato_author, core_definido, agents_definidos, flow_definido)",
-        "validar_profile_author(valido, diagnosticos)",
-        "preparar_briefing_author(briefing_author, core_detectado, agents_detectados, flow_detectado)",
-        "revisar_cliches_author(achados, bloqueios, recomendacoes, diagnostico_localizado)"
-      ],
-      "superficiesPublicas": [
-        "policy:author_quality_gate",
-        "worker:author_briefing"
-      ],
-      "regrasCriticas": [
-        "achados existe",
-        "agents deve_ser nao_vazio",
-        "agents_definidos == verdadeiro",
-        "agents_detectados existe",
-        "aprovado existe",
-        "arco deve_ser valido",
-        "bloqueado existe",
-        "bloqueios existe"
-      ],
-      "efeitos": [
-        "auditoria author_arco_emocional criticidade = media",
-        "auditoria author_briefing criticidade = media",
-        "auditoria author_campanha criticidade = alta",
-        "auditoria author_diff_semantico criticidade = media",
-        "auditoria author_impacto_capitulos criticidade = alta",
-        "auditoria author_ir_narrativo criticidade = media",
-        "auditoria author_memoria_personagem criticidade = media",
-        "auditoria author_politica_estilo criticidade = alta"
-      ],
-      "erros": [
-        "contrato_existente",
-        "template_ausente"
-      ],
-      "entidadesAfetadas": [
-        "ArcoEmocionalAuthor",
-        "author_arco_emocional",
-        "author_briefing",
-        "author_campanha",
-        "author_diff_semantico",
-        "author_impacto_capitulos",
-        "author_ir_narrativo",
-        "author_memoria_personagem"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ],
-      "simbolosRelacionados": [
-        "comandoAuthor",
-        "criarAuthorBriefing",
-        "iniciarProfileAuthor",
-        "revisarClichesAuthor"
-      ],
-      "riscosPrincipais": [
-        "comparar_diff_semantico_author:medio",
-        "efeito_critico",
-        "efeito_privilegiado",
-        "gerar_ir_narrativo_author:medio",
-        "iniciar_profile_author:medio",
-        "mapear_impacto_capitulos_author:alto"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "comparar_diff_semantico_author:pacotes/cli/src/index.ts",
-        "gerar_ir_narrativo_author:pacotes/cli/src/index.ts",
-        "iniciar_profile_author:pacotes/cli/src/index.ts",
-        "mapear_impacto_capitulos_author:pacotes/cli/src/index.ts",
-        "policy:author_quality_gate:author_quality_gate",
-        "policy:author_quality_gate:pacotes/cli/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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\ergonomia_e_dominio.sema",
-      "modulo": "sema.produto.ergonomia_e_dominio",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "alto",
-      "faz": "governa 2 superficie(s), 5 task(s) com foco em scorecard atualizado",
-      "tarefasPrincipais": [
-        "reduzir_atrito_sintatico_em_contrato_rico",
-        "modelar_payload_com_mais_precisao",
-        "explicitar_variacao_e_compatibilidade",
-        "separar_validacao_regra_e_poscondicao",
-        "consultar_scorecard_compatibilidade"
-      ],
-      "entradasChave": [
-        "reduzir_atrito_sintatico_em_contrato_rico(contrato_atual, repeticao_detectada)",
-        "modelar_payload_com_mais_precisao(contrato_atual, payload_json_generico, exemplos_payload)",
-        "explicitar_variacao_e_compatibilidade(contrato_atual, perfil_atual)",
-        "separar_validacao_regra_e_poscondicao(contrato_atual, garantias_confusas)"
-      ],
-      "saidasChave": [
-        "reduzir_atrito_sintatico_em_contrato_rico(leitura_mais_limpa, ambiguidade_controlada, perfil)",
-        "modelar_payload_com_mais_precisao(tipo_composto_explicito, cardinalidade_explicita, shape_rico)",
-        "explicitar_variacao_e_compatibilidade(versao_explicita, fallback_claro, contrato_publico_distinto)",
-        "separar_validacao_regra_e_poscondicao(validacao_de_input_clara, regra_de_negocio_clara, pos_condicao_clara)"
-      ],
-      "superficiesPublicas": [
-        "evento:scorecard_atualizado",
-        "policy:compatibilidade_publica"
-      ],
-      "regrasCriticas": [
-        "ambiguidade_controlada existe",
-        "cardinalidade_explicita existe",
-        "contrato_publico_distinto existe",
-        "fallback_claro existe",
-        "leitura_mais_limpa existe",
-        "nota existe",
-        "perfil em [ PUBLICO , INTERNO , EXPERIMENTAL , LEGADO , DEPRECADO ]",
-        "pos_condicao_clara existe"
-      ],
-      "efeitos": [],
-      "erros": [],
-      "entidadesAfetadas": [
-        "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"
-      ],
-      "simbolosRelacionados": [
-        "analisarSemantica",
-        "converterParaIr",
-        "formatarCodigo",
-        "resolverAlvosVerificacao"
-      ],
-      "riscosPrincipais": [
-        "consultar_scorecard_compatibilidade:medio",
-        "explicitar_variacao_e_compatibilidade:medio",
-        "modelar_payload_com_mais_precisao:alto",
-        "reduzir_atrito_sintatico_em_contrato_rico:medio",
-        "separar_validacao_regra_e_poscondicao:medio"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "consultar_scorecard_compatibilidade:pacotes/cli/src/projeto.ts",
-        "evento:scorecard_atualizado:scorecard_compatibilidade",
-        "explicitar_variacao_e_compatibilidade:pacotes/nucleo/src/ir/conversor.ts",
-        "modelar_payload_com_mais_precisao:pacotes/nucleo/src/semantico/analisador.ts",
-        "policy:compatibilidade_publica:compatibilidade_publica",
-        "reduzir_atrito_sintatico_em_contrato_rico:pacotes/nucleo/src/formatador/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": null,
-      "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-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\fronteira_repositorios.sema",
-      "modulo": "sema.produto.fronteira_repositorios",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 93,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "alto",
-      "faz": "governa 2 task(s) com foco em classificar artefato repositorio",
-      "tarefasPrincipais": [
-        "classificar_artefato_repositorio",
-        "verificar_indice_git_publico"
-      ],
-      "entradasChave": [
-        "classificar_artefato_repositorio(caminho, conteudo_resumido, destino_pretendido)",
-        "verificar_indice_git_publico(repositorio, indice_git, modo_release)"
-      ],
-      "saidasChave": [
-        "classificar_artefato_repositorio(decisao, pode_publicar, precisa_repo_privado)",
-        "verificar_indice_git_publico(aprovado, bloqueios, avisos, caminhos_privados_detectados)"
-      ],
-      "superficiesPublicas": [],
-      "regrasCriticas": [
-        "allowlist_publica_aplicada == verdadeiro",
-        "aprovado existe",
-        "avisos existe",
-        "bloqueios existe",
-        "caminho deve_ser preenchido",
-        "caminhos_privados_detectados existe",
-        "conteudo_resumido deve_ser analisado_quando_fornecido",
-        "decisao existe"
-      ],
-      "efeitos": [
-        "auditoria fronteira_repositorio criticidade = alta",
-        "consulta git_index criticidade = alta"
-      ],
-      "erros": [
-        "fronteira_publica_violada"
-      ],
-      "entidadesAfetadas": [
-        "DecisaoFronteiraRepositorio",
-        "fronteira_repositorio",
-        "git_index",
-        "Lista",
-        "TipoRepositorioSema"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\docs\\deploy.md",
-        "C:\\GitHub\\Sema\\docs\\repositories.md",
-        "C:\\GitHub\\Sema\\scripts\\verificar-fronteira-publica.mjs"
-      ],
-      "simbolosRelacionados": [
-        "verificarFronteiraPublica"
-      ],
-      "riscosPrincipais": [
-        "classificar_artefato_repositorio:medio",
-        "efeito_critico",
-        "efeito_privilegiado",
-        "verificar_indice_git_publico:alto"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "classificar_artefato_repositorio:docs/deploy.md",
-        "classificar_artefato_repositorio:docs/repositories.md",
-        "classificar_artefato_repositorio:scripts/verificar-fronteira-publica.mjs",
-        "sema.produto.fronteira_repositorios:docs/deploy.md",
-        "sema.produto.fronteira_repositorios:docs/repositories.md",
-        "sema.produto.fronteira_repositorios:scripts/verificar-fronteira-publica.mjs"
-      ],
-      "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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\docs\\deploy.md",
-        "C:\\GitHub\\Sema\\docs\\repositories.md",
-        "C:\\GitHub\\Sema\\scripts\\verificar-fronteira-publica.mjs"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\game.sema",
-      "modulo": "sema.produto.game",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "medio",
-      "faz": "governa 2 task(s) com foco em validar loop game",
-      "tarefasPrincipais": [
-        "validar_loop_game",
-        "validar_balanceamento_game"
-      ],
-      "entradasChave": [
-        "validar_loop_game(loop, jogador, estado, regras)",
-        "validar_balanceamento_game(falha, balanceamento, abuso, telemetria)"
-      ],
-      "saidasChave": [
-        "validar_loop_game(jogavel, score_artefato, achados_artefato, decisao_agente)",
-        "validar_balanceamento_game(aprovado, score_artefato, achados_artefato, decisao_agente)"
-      ],
-      "superficiesPublicas": [],
-      "regrasCriticas": [
-        "abuso deve_ser mapeado",
-        "achados_artefato existe",
-        "aprovado existe",
-        "artefato_real deve_ser comparado_quando_fornecido",
-        "artefato_real deve_ser interpretado_com_negacao_quando_fornecido",
-        "balanceamento deve_ser testavel",
-        "bloqueios existe",
-        "decisao_agente em [ continuar , continuar_com_ressalva , parar , chamar_humano ]"
-      ],
-      "efeitos": [
-        "auditoria game_balanceamento criticidade = media",
-        "auditoria game_loop criticidade = media",
-        "evento game_profile_validado criticidade = baixa"
-      ],
-      "erros": [],
-      "entidadesAfetadas": [
-        "game_balanceamento",
-        "game_loop",
-        "game_profile_validado",
-        "Lista"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ],
-      "simbolosRelacionados": [
-        "validarProfileSemantico"
-      ],
-      "riscosPrincipais": [
-        "validar_balanceamento_game:medio",
-        "validar_loop_game:medio"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "sema.produto.game:pacotes/cli/src/index.ts",
-        "validar_balanceamento_game:pacotes/cli/src/index.ts",
-        "validar_loop_game:pacotes/cli/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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\geradores_web.sema",
-      "modulo": "sema.produto.geradores_web",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "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": [
-        "execucao_implicita",
-        "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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "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-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\governanca_ia.sema",
-      "modulo": "sema.produto.governanca_ia",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "publico",
-      "scoreSemantico": 93,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "alto",
-      "faz": "governa 2 superficie(s), 19 task(s) com foco em preparar briefing contextual",
-      "tarefasPrincipais": [
-        "mapear_projeto_sem_adivinhacao",
-        "normalizar_saida_sem_ruido",
-        "materializar_exemplos_oficiais",
-        "endurecer_exemplos_vitrine_ia_first",
-        "normalizar_predicados_para_ia",
-        "emitir_diagnosticos_de_contrato_frouxo"
-      ],
-      "entradasChave": [
-        "mapear_projeto_sem_adivinhacao(entrada, explicito)",
-        "normalizar_saida_sem_ruido(estrutura_desejada)",
-        "materializar_exemplos_oficiais(base_projeto, preservar_existentes)",
-        "endurecer_exemplos_vitrine_ia_first(exemplos_alvo, manter_dsl_contida)"
-      ],
-      "saidasChave": [
-        "mapear_projeto_sem_adivinhacao(base_resolvida, origens_coerentes, codigo_vivo_detectado, workspace_atual_exigido)",
-        "normalizar_saida_sem_ruido(estrutura_canonica, alias_confuso)",
-        "materializar_exemplos_oficiais(exemplos_disponiveis, arquivos_preservados, origem_canonica_resolvida)",
-        "endurecer_exemplos_vitrine_ia_first(exemplos_sem_erros, guardrails_explicitos, sintaxe_nova_evitar)"
-      ],
-      "superficiesPublicas": [
-        "webhook:confirmar_contexto_publico",
-        "worker:preparar_briefing_contextual"
-      ],
-      "regrasCriticas": [
-        "acao_planejada deve_ser derivada_do_contrato",
-        "alias_confuso existe",
-        "alvo_explicito deve_ser verdadeiro quando escopo_real em [ arquivo , modulo ]",
-        "ambiente_cliente_questionado existe",
-        "ambiguidades_explicitas existe",
-        "arquivos_afetados existe",
-        "arquivos_codigo deve_ser aceitar_superficie_publica",
-        "arquivos_codigo deve_ser subconjunto_relacionado"
-      ],
-      "efeitos": [
-        "auditoria chave_mcp_instalada_cliente criticidade = alta",
-        "auditoria contrato_primeiro_mcp criticidade = alta",
-        "auditoria documentacao_trilingue criticidade = media",
-        "auditoria release_publica criticidade = media",
-        "auditoria roadmap_refinamento_profiles criticidade = media",
-        "auditoria snapshot_seletivo_mcp criticidade = alta",
-        "consulta github_releases criticidade = media",
-        "consulta npm_registry criticidade = media"
-      ],
-      "erros": [
-        "arquivo_bloqueado",
-        "contrato_alvo_nao_informado",
-        "contrato_nao_resolvido",
-        "documentacao_ausente",
-        "i18n_documental_incompleto",
-        "leitura_obrigatoria_nao_comprovada",
-        "release_latest_incorreta",
-        "simbolo_ambiguo"
-      ],
-      "entidadesAfetadas": [
-        "chave_mcp_instalada_cliente",
-        "contrato_primeiro_mcp",
-        "docs",
-        "documentacao_publica",
-        "documentacao_trilingue",
-        "espelho_remoto_contratos",
-        "github_releases",
-        "Lista"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\docs\\auth.md",
-        "C:\\GitHub\\Sema\\docs\\documentacao.md",
-        "C:\\GitHub\\Sema\\docs\\env.md",
-        "C:\\GitHub\\Sema\\docs\\mcp.md",
-        "C:\\GitHub\\Sema\\docs\\README.md",
-        "C:\\GitHub\\Sema\\docs\\refinamentos-agentes-semanticos.md",
-        "C:\\GitHub\\Sema\\pacotes\\cli\\package.json",
-        "C:\\GitHub\\Sema\\pacotes\\cli\\README.md"
-      ],
-      "simbolosRelacionados": [
-        "analisarDriftLegado",
-        "assistirRenomeacaoSemantica",
-        "carregarProjeto",
-        "comandoContextoIa",
-        "comandoMcpInstalarChave",
-        "criarTemplateDoc",
-        "emitirDiagnosticosContratoFrouxo",
-        "formatarCodigo"
-      ],
-      "riscosPrincipais": [
-        "altera_persistencia",
-        "assistir_renomeacao_semantica:alto",
-        "efeito_critico",
-        "efeito_privilegiado",
-        "emitir_diagnosticos_de_contrato_frouxo:medio",
-        "endurecer_exemplos_vitrine_ia_first:medio"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "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",
-        "emitir_diagnosticos_de_contrato_frouxo:pacotes/nucleo/src/semantico/analisador.ts",
-        "endurecer_exemplos_vitrine_ia_first:pacotes/editor-vscode/extension.js",
-        "exigir_contrato_antes_de_acao_mcp:pacotes/cli/src/docs.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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\docs\\auth.md",
-        "C:\\GitHub\\Sema\\docs\\documentacao.md",
-        "C:\\GitHub\\Sema\\docs\\env.md",
-        "C:\\GitHub\\Sema\\docs\\mcp.md",
-        "C:\\GitHub\\Sema\\docs\\README.md",
-        "C:\\GitHub\\Sema\\docs\\refinamentos-agentes-semanticos.md",
-        "C:\\GitHub\\Sema\\pacotes\\cli\\package.json",
-        "C:\\GitHub\\Sema\\pacotes\\cli\\README.md"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\legal.sema",
-      "modulo": "sema.produto.legal",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "alto",
-      "faz": "governa 1 task(s) com foco em validar contexto legal",
-      "tarefasPrincipais": [
-        "validar_contexto_legal"
-      ],
-      "entradasChave": [
-        "validar_contexto_legal(jurisdicao, escopo, fontes, revisao_humana)"
-      ],
-      "saidasChave": [
-        "validar_contexto_legal(aprovado, score_artefato, achados_artefato, decisao_agente)"
-      ],
-      "superficiesPublicas": [],
-      "regrasCriticas": [
-        "achados_artefato existe",
-        "aprovado existe",
-        "artefato_real deve_ser comparado_quando_fornecido",
-        "artefato_real deve_ser interpretado_com_negacao_quando_fornecido",
-        "bloqueios existe",
-        "decisao_agente em [ continuar , continuar_com_ressalva , parar , chamar_humano ]",
-        "escopo deve_ser delimitado",
-        "fontes deve_ser verificaveis"
-      ],
-      "efeitos": [
-        "auditoria legal_contexto criticidade = alta"
-      ],
-      "erros": [],
-      "entidadesAfetadas": [
-        "legal_contexto",
-        "Lista"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ],
-      "simbolosRelacionados": [
-        "validarProfileSemantico"
-      ],
-      "riscosPrincipais": [
-        "efeito_critico",
-        "efeito_privilegiado",
-        "validar_contexto_legal:alto"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "sema.produto.legal:pacotes/cli/src/index.ts",
-        "validar_contexto_legal:pacotes/cli/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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\linguagem_composta.sema",
-      "modulo": "sema.produto.linguagem_composta",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "alto",
-      "faz": "governa 1 superficie(s), 5 task(s) com foco em regressao composta",
-      "tarefasPrincipais": [
-        "interpretar_bloco_nomeado",
-        "converter_bloco_composto_para_ir",
-        "formatar_bloco_composto",
-        "gerar_teste_python_composto",
-        "gerar_teste_typescript_composto"
-      ],
-      "entradasChave": [
-        "interpretar_bloco_nomeado(arquivo_semantico, sinais)",
-        "converter_bloco_composto_para_ir(arquivo_semantico)",
-        "formatar_bloco_composto(arquivo_semantico)",
-        "gerar_teste_python_composto(contrato)"
-      ],
-      "saidasChave": [
-        "interpretar_bloco_nomeado(ast_valida, blocos_preservados, status)",
-        "converter_bloco_composto_para_ir(ir_coerente, contexto_preservado, status)",
-        "formatar_bloco_composto(formato_canonico, bloco_legivel)",
-        "gerar_teste_python_composto(dataclass_aninhada, comparacao_tipada)"
-      ],
-      "superficiesPublicas": [
-        "storage:regressao_composta"
-      ],
-      "regrasCriticas": [
-        "asserts_coerentes existe",
-        "ast_valida existe",
-        "bloco_legivel existe",
-        "blocos_preservados existe",
-        "comparacao_tipada existe",
-        "contexto_preservado existe",
-        "dataclass_aninhada existe",
-        "formato_canonico existe"
-      ],
-      "efeitos": [],
-      "erros": [],
-      "entidadesAfetadas": [
-        "SinalTesteComposto",
-        "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"
-      ],
-      "simbolosRelacionados": [
-        "converterParaIr",
-        "formatarCodigo",
-        "gerarPython",
-        "gerarTypeScript",
-        "parsear"
-      ],
-      "riscosPrincipais": [
-        "converter_bloco_composto_para_ir:alto",
-        "formatar_bloco_composto:medio",
-        "gerar_teste_python_composto:medio",
-        "gerar_teste_typescript_composto:medio",
-        "interpretar_bloco_nomeado:alto"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "converter_bloco_composto_para_ir:pacotes/nucleo/src/ir/conversor.ts",
-        "formatar_bloco_composto:pacotes/nucleo/src/formatador/index.ts",
-        "gerar_teste_python_composto:pacotes/gerador-python/src/index.ts",
-        "gerar_teste_typescript_composto:pacotes/gerador-typescript/src/index.ts",
-        "interpretar_bloco_nomeado:pacotes/nucleo/src/parser/parser.ts",
-        "sema.produto.linguagem_composta:pacotes/nucleo/src/parser/parser.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": null,
-      "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-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\persistencia_vendor_first.sema",
-      "modulo": "sema.produto.persistencia_vendor_first",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "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": [
-        "execucao_implicita",
-        "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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "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"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\research.sema",
-      "modulo": "sema.produto.research",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "medio",
-      "faz": "governa 2 task(s) com foco em validar plano research",
-      "tarefasPrincipais": [
-        "validar_plano_research",
-        "validar_conclusao_research"
-      ],
-      "entradasChave": [
-        "validar_plano_research(pergunta, metodologia, fontes, evidencias)",
-        "validar_conclusao_research(conclusao, incerteza, limite, protocolo)"
-      ],
-      "saidasChave": [
-        "validar_plano_research(aprovado, score_artefato, achados_artefato, decisao_agente)",
-        "validar_conclusao_research(publicavel, score_artefato, achados_artefato, decisao_agente)"
-      ],
-      "superficiesPublicas": [],
-      "regrasCriticas": [
-        "achados_artefato existe",
-        "alertas existe",
-        "aprovado existe",
-        "artefato_real deve_ser comparado_quando_fornecido",
-        "artefato_real deve_ser interpretado_com_negacao_quando_fornecido",
-        "conclusao deve_ser sustentada",
-        "decisao_agente em [ continuar , continuar_com_ressalva , parar , chamar_humano ]",
-        "evidencias deve_ser verificaveis"
-      ],
-      "efeitos": [
-        "auditoria research_conclusao criticidade = media",
-        "auditoria research_plano criticidade = media"
-      ],
-      "erros": [],
-      "entidadesAfetadas": [
-        "Lista",
-        "research_conclusao",
-        "research_plano"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ],
-      "simbolosRelacionados": [
-        "validarProfileSemantico"
-      ],
-      "riscosPrincipais": [
-        "validar_conclusao_research:medio",
-        "validar_plano_research:medio"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "sema.produto.research:pacotes/cli/src/index.ts",
-        "validar_conclusao_research:pacotes/cli/src/index.ts",
-        "validar_plano_research:pacotes/cli/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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\software.sema",
-      "modulo": "sema.produto.software",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "medio",
-      "faz": "governa 2 task(s) com foco em validar profile software",
-      "tarefasPrincipais": [
-        "validar_profile_software",
-        "fechar_mudanca_software"
-      ],
-      "entradasChave": [
-        "validar_profile_software(contrato, codigo_vivo, drift, impacto)",
-        "fechar_mudanca_software(contrato, checks, testes)"
-      ],
-      "saidasChave": [
-        "validar_profile_software(aprovado, score_contrato, score_artefato, score_pronto_para_acao)",
-        "fechar_mudanca_software(verificacao_final, pode_concluir)"
-      ],
-      "superficiesPublicas": [],
-      "regrasCriticas": [
-        "achados_artefato existe",
-        "aprovado existe",
-        "artefato_real deve_ser comparado_quando_fornecido",
-        "artefato_real deve_ser inspecionado_para_riscos_basicos_quando_fornecido",
-        "checks deve_ser nao_vazio",
-        "codigo_vivo deve_ser declarado",
-        "contrato deve_ser preenchido",
-        "contrato deve_ser valido"
-      ],
-      "efeitos": [
-        "auditoria fechamento_software criticidade = media",
-        "auditoria profile_software criticidade = media"
-      ],
-      "erros": [],
-      "entidadesAfetadas": [
-        "fechamento_software",
-        "Lista",
-        "profile_software"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ],
-      "simbolosRelacionados": [
-        "validarProfileSemantico"
-      ],
-      "riscosPrincipais": [
-        "fechar_mudanca_software:medio",
-        "validar_profile_software:medio"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "fechar_mudanca_software:pacotes/cli/src/index.ts",
-        "sema.produto.software:pacotes/cli/src/index.ts",
-        "validar_profile_software:pacotes/cli/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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ]
-    },
-    {
-      "geradoEm": "2026-05-18T23:17:36.000Z",
-      "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\workflow_ops.sema",
-      "modulo": "sema.produto.workflow_ops",
-      "modoVerificacaoCodigo": "codigo_completo",
-      "avisoVerificacaoCodigo": null,
-      "fontesConclusao": [
-        "contrato",
-        "codigo"
-      ],
-      "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
-      "confiancaGeral": "alta",
-      "riscoOperacional": "alto",
-      "faz": "governa 2 task(s) com foco em validar runtime workflow",
-      "tarefasPrincipais": [
-        "validar_runtime_workflow",
-        "validar_operacao_ops"
-      ],
-      "entradasChave": [
-        "validar_runtime_workflow(runtime, adapter, scorecard, artefato_real)",
-        "validar_operacao_ops(runbook, rollback, healthcheck, responsavel)"
-      ],
-      "saidasChave": [
-        "validar_runtime_workflow(aprovado, status, score_artefato, achados_artefato)",
-        "validar_operacao_ops(operavel, score_artefato, achados_artefato, decisao_agente)"
-      ],
-      "superficiesPublicas": [],
-      "regrasCriticas": [
-        "achados_artefato existe",
-        "adapter deve_ser explicito",
-        "aprovado existe",
-        "artefato_real deve_ser comparado_quando_fornecido",
-        "artefato_real deve_ser interpretado_com_negacao_quando_fornecido",
-        "bloqueios existe",
-        "decisao_agente em [ continuar , continuar_com_ressalva , parar , chamar_humano ]",
-        "healthcheck deve_ser preenchido"
-      ],
-      "efeitos": [
-        "auditoria ops_runbook criticidade = alta",
-        "auditoria workflow_runtime criticidade = media"
-      ],
-      "erros": [],
-      "entidadesAfetadas": [
-        "Lista",
-        "ops_runbook",
-        "StatusWorkflowOps",
-        "workflow_runtime"
-      ],
-      "arquivosProvaveis": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ],
-      "simbolosRelacionados": [
-        "validarProfileSemantico"
-      ],
-      "riscosPrincipais": [
-        "efeito_critico",
-        "efeito_privilegiado",
-        "validar_operacao_ops:alto",
-        "validar_runtime_workflow:medio"
-      ],
-      "lacunas": [
-        "execucao_implicita",
-        "sem_impl",
-        "vinculo_quebrado"
-      ],
-      "inferido": [
-        "sema.produto.workflow_ops:pacotes/cli/src/index.ts",
-        "validar_operacao_ops:pacotes/cli/src/index.ts",
-        "validar_runtime_workflow:pacotes/cli/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": null,
-      "appRoutes": [],
-      "consumerSurfaces": [],
-      "consumerBridges": [],
-      "ancoragensVinculo": [],
-      "arquivosProvaveisEditar": [
-        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts"
-      ]
-    }
-  ]
-}