@semacode/cli 1.5.10 → 1.5.11

package/README.md

@@ -5,6 +5,7 @@
 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`.
 
 Lua e suportado como alvo de geracao e como origem semantica de codigo vivo em `use`, `impl`, IR, `drift` e `sema importar`.
+PHP tambem e suportado como origem semantica de codigo vivo em `use`, `impl`, IR, `drift` e `sema importar`, incluindo controllers, funcoes, rotas Laravel/Slim e atributos Symfony/PHP 8.
 
 Tambem resolve documentacao obrigatoria por intencao para impedir IA de agir sem ler ou criar docs relacionadas.
 
@@ -63,7 +64,7 @@ sema drift ./contratos-importados --json
 
 ## Persistencia vendor-first
 
-A CLI 1.5.7 entende blocos `database` e recursos de persistencia no IR, no formatador, no semantico, na importacao, no drift, no impact map, na renomeacao semantica assistida e no `verificar`. O objetivo nao e esconder diferencas entre bancos, e sim capturar essas diferencas no contrato.
+A CLI atual entende blocos `database` e recursos de persistencia no IR, no formatador, no semantico, na importacao, no drift, no impact map, na renomeacao semantica assistida e no `verificar`. O objetivo nao e esconder diferencas entre bancos, e sim capturar essas diferencas no contrato.
 
 Nesta linha, o `drift` tambem passa a resolver melhor metodos JS/TS browser-side definidos via `Object.assign(...prototype...)` e a entrada padrao da CLI para de tropeçar em `exemplos/` quando o projeto real ja tem `contratos/`, `sema/` ou arquivos `.sema` na raiz.
 

package/SEMA_BRIEF.curto.txt

@@ -3,7 +3,7 @@ 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.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_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 (+23)
 TOP_LACUNAS: sem_impl, vinculo_quebrado
-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
+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\lua-symbols.ts, C:\GitHub\Sema\pacotes\cli\src\php-symbols.ts (+15)
+GERADO_EM: 2026-05-09T02:38:09.917Z

package/SEMA_BRIEF.md

@@ -2,7 +2,7 @@
 
 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-05-02T20:39:52.980Z`
+- Gerado em: `2026-05-09T02:38:09.917Z`
 - Modulos: `6`
 
 ## Entrada canonica para IA
@@ -28,10 +28,10 @@ Sema e IA-first. Este arquivo existe para IA achar o ponto de entrada do projeto
 - Lacunas: sem_impl, vinculo_quebrado
 
 ### sema.produto.ergonomia_e_dominio
-- Faz: governa 2 superficie(s), 5 task(s) com foco em scorecard atualizado
+- Faz: governa 2 superficie(s), 7 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
-- Score: 90 | Confianca: alta | Risco: alto
+- Tocar: 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\lua-symbols.ts (+4)
+- Score: 91 | Confianca: alta | Risco: alto
 - Lacunas: sem_impl, vinculo_quebrado
 
 ### sema.produto.geradores_web
@@ -44,7 +44,7 @@ Sema e IA-first. Este arquivo existe para IA achar o ponto de entrada do projeto
 ### sema.produto.governanca_ia
 - 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\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)
+- 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\lua-symbols.ts (+4)
 - Score: 93 | Confianca: alta | Risco: alto
 - Lacunas: sem_impl, vinculo_quebrado
 

package/SEMA_BRIEF.micro.txt

@@ -2,6 +2,6 @@ PROJETO: Sema
 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.geradores_web (+3)
-TOP_RISCOS: assistir_renomeacao_semantica:alto, carregar_configuracao_de_persistencia:medio, consultar_scorecard_compatibilidade:medio (+25)
+TOP_RISCOS: assistir_renomeacao_semantica:alto, carregar_configuracao_de_persistencia:medio, consultar_scorecard_compatibilidade:medio (+26)
 TOP_LACUNAS: sem_impl, vinculo_quebrado
-GERADO_EM: 2026-05-02T20:39:52.980Z
+GERADO_EM: 2026-05-09T02:38:09.917Z

package/SEMA_INDEX.json

@@ -1,7 +1,7 @@
 {
   "comando": "resumo-projeto",
-  "geradoEm": "2026-05-02T20:39:52.980Z",
-  "cliVersao": "1.5.10",
+  "geradoEm": "2026-05-09T02:38:09.917Z",
+  "cliVersao": "1.5.11",
   "baseProjeto": "C:\\GitHub\\Sema",
   "totalModulos": 6,
   "entradaCanonica": {
@@ -170,7 +170,7 @@
   },
   "modulos": [
     {
-      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "geradoEm": "2026-05-09T02:38:09.917Z",
       "arquivo": "C:\\GitHub\\Sema\\contratos\\pedidos.sema",
       "modulo": "app.pedidos",
       "perfilCompatibilidade": "publico",
@@ -243,32 +243,33 @@
       ]
     },
     {
-      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "geradoEm": "2026-05-09T02:38:09.917Z",
       "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\ergonomia_e_dominio.sema",
       "modulo": "sema.produto.ergonomia_e_dominio",
       "perfilCompatibilidade": "interno",
-      "scoreSemantico": 90,
+      "scoreSemantico": 91,
       "confiancaGeral": "alta",
       "riscoOperacional": "alto",
-      "faz": "governa 2 superficie(s), 5 task(s) com foco em scorecard atualizado",
+      "faz": "governa 2 superficie(s), 7 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"
+        "habilitar_impl_lua_completo",
+        "habilitar_impl_php_completo",
+        "separar_validacao_regra_e_poscondicao"
       ],
       "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)"
+        "habilitar_impl_lua_completo(contrato_atual, origem_lua_declarada)"
       ],
       "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)"
+        "habilitar_impl_lua_completo(impl_lua_validado, use_lua_validado, ir_lua_preservado, drift_lua_resolvido)"
       ],
       "superficiesPublicas": [
         "evento:scorecard_atualizado",
@@ -278,11 +279,11 @@
         "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"
+        "detector_lua_resolvido existe",
+        "detector_php_resolvido existe",
+        "drift_lua_resolvido existe",
+        "drift_php_resolvido existe",
+        "fallback_claro existe"
       ],
       "efeitos": [],
       "erros": [],
@@ -290,23 +291,30 @@
         "PerfilCompatibilidade"
       ],
       "arquivosProvaveis": [
+        "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\\lua-symbols.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\php-symbols.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"
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\tipos.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ast\\tipos.ts"
       ],
       "simbolosRelacionados": [
+        "analisarDriftLegado",
         "analisarSemantica",
         "converterParaIr",
         "formatarCodigo",
+        "importarProjetoLegado",
         "resolverAlvosVerificacao"
       ],
       "riscosPrincipais": [
         "consultar_scorecard_compatibilidade:medio",
         "explicitar_variacao_e_compatibilidade:medio",
+        "habilitar_impl_lua_completo:alto",
+        "habilitar_impl_php_completo:alto",
         "modelar_payload_com_mais_precisao:alto",
-        "reduzir_atrito_sintatico_em_contrato_rico:medio",
-        "separar_validacao_regra_e_poscondicao:medio"
+        "reduzir_atrito_sintatico_em_contrato_rico:medio"
       ],
       "lacunas": [
         "sem_impl",
@@ -316,9 +324,9 @@
         "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"
+        "habilitar_impl_lua_completo:pacotes/cli/src/drift.ts",
+        "habilitar_impl_lua_completo:pacotes/cli/src/importador.ts",
+        "habilitar_impl_lua_completo:pacotes/cli/src/index.ts"
       ],
       "checksSugeridos": [
         "confirmar proibicoes operacionais",
@@ -334,19 +342,27 @@
         "sema verificar <arquivo-ou-pasta> --json"
       ],
       "consumerFramework": "nextjs-consumer",
-      "appRoutes": [],
-      "consumerSurfaces": [],
+      "appRoutes": [
+        "/ranking"
+      ],
+      "consumerSurfaces": [
+        "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\\importador.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\index.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\lua-symbols.ts",
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\php-symbols.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"
+        "C:\\GitHub\\Sema\\pacotes\\cli\\src\\tipos.ts",
+        "C:\\GitHub\\Sema\\pacotes\\nucleo\\src\\ast\\tipos.ts"
       ]
     },
     {
-      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "geradoEm": "2026-05-09T02:38:09.917Z",
       "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\geradores_web.sema",
       "modulo": "sema.produto.geradores_web",
       "perfilCompatibilidade": "interno",
@@ -443,7 +459,7 @@
       ]
     },
     {
-      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "geradoEm": "2026-05-09T02:38:09.917Z",
       "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\governanca_ia.sema",
       "modulo": "sema.produto.governanca_ia",
       "perfilCompatibilidade": "publico",
@@ -496,6 +512,7 @@
         "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\\lua-symbols.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",
@@ -557,6 +574,7 @@
         "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\\lua-symbols.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",
@@ -564,7 +582,7 @@
       ]
     },
     {
-      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "geradoEm": "2026-05-09T02:38:09.917Z",
       "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\linguagem_composta.sema",
       "modulo": "sema.produto.linguagem_composta",
       "perfilCompatibilidade": "interno",
@@ -670,7 +688,7 @@
       ]
     },
     {
-      "geradoEm": "2026-05-02T20:39:52.980Z",
+      "geradoEm": "2026-05-09T02:38:09.917Z",
       "arquivo": "C:\\GitHub\\Sema\\contratos\\sema\\persistencia_vendor_first.sema",
       "modulo": "sema.produto.persistencia_vendor_first",
       "perfilCompatibilidade": "interno",

package/dist/drift.d.ts

@@ -1,7 +1,7 @@
 import type { EngineBanco, NivelConfiancaSemantica, NivelRiscoSemantico, TipoRecursoPersistencia } from "@sema/nucleo";
 import type { ContextoProjetoCarregado } from "./projeto.js";
 interface SimboloResolvido {
-    origem: "ts" | "py" | "dart" | "lua" | "cs" | "java" | "go" | "rust" | "cpp";
+    origem: "ts" | "py" | "dart" | "lua" | "php" | "cs" | "java" | "go" | "rust" | "cpp";
     caminho: string;
     arquivo: string;
     simbolo: string;
@@ -33,7 +33,7 @@ export interface DiagnosticoDrift {
 interface RegistroImplDrift {
     modulo: string;
     task: string;
-    origem: "ts" | "py" | "dart" | "lua" | "cs" | "java" | "go" | "rust" | "cpp";
+    origem: "ts" | "py" | "dart" | "lua" | "php" | "cs" | "java" | "go" | "rust" | "cpp";
     caminho: string;
     arquivo?: string;
     simbolo?: string;
@@ -82,7 +82,7 @@ interface RegistroRepositorioPersistenciaDrift {
     arquivo: string;
 }
 interface SimboloCandidatoDrift {
-    origem: "ts" | "py" | "dart" | "lua" | "cs" | "java" | "go" | "rust" | "cpp";
+    origem: "ts" | "py" | "dart" | "lua" | "php" | "cs" | "java" | "go" | "rust" | "cpp";
     caminho: string;
     arquivo: string;
     simbolo: string;

package/dist/drift.js

@@ -7,6 +7,7 @@ import { extrairRotasDotnet, extrairSimbolosDotnet } from "./dotnet-http.js";
 import { extrairRotasGo, extrairSimbolosGo } from "./go-http.js";
 import { extrairRotasJava, extrairSimbolosJava } from "./java-http.js";
 import { extrairSimbolosLua } from "./lua-symbols.js";
+import { extrairRotasPhp, extrairSimbolosPhp } from "./php-symbols.js";
 import { contarIndentacaoPython, extrairRotasFlaskDecoradas, normalizarCaminhoFlask } from "./python-http.js";
 import { extrairRotasRust, extrairSimbolosRust } from "./rust-http.js";
 import { extrairRotasTypeScriptHttp } from "./typescript-http.js";
@@ -1043,7 +1044,7 @@ async function listarArquivosRecursivos(diretorio, extensoes) {
 }
 const EXTENSOES_ARQUIVOS_CODIGO_DRIFT = [
     ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
-    ".py", ".dart", ".lua", ".cs", ".java", ".go", ".rs", ".cpp", ".cc", ".cxx", ".hpp", ".h",
+    ".py", ".dart", ".lua", ".php", ".cs", ".java", ".go", ".rs", ".cpp", ".cc", ".cxx", ".hpp", ".h",
     ".sql", ".psql", ".ddl", ".prisma", ".json",
 ];
 async function indexarArquivosCodigo(diretorios) {
@@ -1915,6 +1916,35 @@ async function indexarLua(diretorios) {
         recursos: [...recursos.values()],
     };
 }
+async function indexarPhp(diretorios) {
+    const simbolos = new Map();
+    const rotas = [];
+    const recursos = new Map();
+    for (const diretorio of diretorios) {
+        const arquivos = (await listarArquivosRecursivos(diretorio, [".php"]))
+            .filter((arquivo) => !/(^|[\\/])tests?([\\/]|$)|(?:^|[\\/])spec([\\/]|$)|(?:Test|Spec)\.php$/i.test(arquivo));
+        for (const arquivo of arquivos) {
+            const codigo = await readFile(arquivo, "utf8");
+            const basesSimbolicas = caminhosSimbolicos(diretorio, arquivo);
+            for (const recurso of extrairRecursosPersistenciaCodigoVivo(arquivo, codigo)) {
+                registrarRecursoDrift(recursos, recurso.origem, recurso.tipo, recurso.nome, recurso.arquivo, recurso.simbolo);
+            }
+            for (const simbolo of extrairSimbolosPhp(codigo)) {
+                registrarSimboloPhp(simbolos, basesSimbolicas, arquivo, simbolo.simbolo);
+            }
+            for (const rota of extrairRotasPhp(codigo)) {
+                rotas.push({
+                    origem: "php",
+                    metodo: rota.metodo,
+                    caminho: rota.caminho,
+                    arquivo,
+                    simbolo: rota.simbolo,
+                });
+            }
+        }
+    }
+    return { simbolos: [...simbolos.values()], rotas, recursos: [...recursos.values()] };
+}
 function registrarSimboloGenerico(simbolos, origem, basesSimbolicas, arquivo, simbolo) {
     for (const baseSimbolica of basesSimbolicas) {
         const caminho = `${baseSimbolica}.${simbolo}`;
@@ -1938,6 +1968,30 @@ function registrarSimboloGenerico(simbolos, origem, basesSimbolicas, arquivo, si
         }
     }
 }
+function registrarSimboloPhp(simbolos, basesSimbolicas, arquivo, simbolo) {
+    registrarSimboloGenerico(simbolos, "php", basesSimbolicas, arquivo, simbolo);
+    const partes = simbolo.split(".").filter(Boolean);
+    const aliases = new Set([simbolo]);
+    const ultimo = partes.at(-1);
+    const penultimo = partes.at(-2);
+    if (ultimo) {
+        aliases.add(ultimo);
+    }
+    if (penultimo && ultimo) {
+        aliases.add(`${penultimo}.${ultimo}`);
+    }
+    for (const alias of aliases) {
+        if (!alias || simbolos.has(alias)) {
+            continue;
+        }
+        simbolos.set(alias, {
+            origem: "php",
+            caminho: alias,
+            arquivo,
+            simbolo,
+        });
+    }
+}
 async function indexarDotnet(diretorios) {
     const simbolos = new Map();
     const rotas = [];
@@ -2080,7 +2134,7 @@ async function indexarPersistenciaDeclarativa(diretorios) {
         const arquivos = await listarArquivosRecursivos(diretorio, [
             ".sql", ".psql", ".ddl", ".prisma",
             ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
-            ".py", ".dart", ".lua", ".cs", ".java", ".go", ".rs", ".cpp", ".cc", ".cxx", ".hpp", ".h",
+            ".py", ".dart", ".lua", ".php", ".cs", ".java", ".go", ".rs", ".cpp", ".cc", ".cxx", ".hpp", ".h",
         ]);
         for (const arquivo of arquivos) {
             const codigo = await readFile(arquivo, "utf8");
@@ -2517,7 +2571,7 @@ function extrairFontesHttpTypeScript(fontesLegado) {
     return fontesLegado.filter((fonte) => fonte === "nestjs" || fonte === "nextjs" || fonte === "firebase");
 }
 function extrairFontesHttpBackend(fontesLegado) {
-    return fontesLegado.filter((fonte) => fonte === "dotnet" || fonte === "java" || fonte === "go" || fonte === "rust");
+    return fontesLegado.filter((fonte) => fonte === "php" || fonte === "dotnet" || fonte === "java" || fonte === "go" || fonte === "rust");
 }
 function ultimoSegmentoSimbolico(caminho) {
     const partes = caminho.split(".").filter(Boolean);
@@ -2663,6 +2717,10 @@ function escolherRotasEsperadas(task, fontesLegado) {
         }
         return ["fastapi", "flask"];
     }
+    const implPhp = task.implementacoesExternas.find((impl) => impl.origem === "php");
+    if (implPhp) {
+        return fontesBackend.includes("php") ? ["php"] : ["php"];
+    }
     const implCs = task.implementacoesExternas.find((impl) => impl.origem === "cs");
     if (implCs) {
         return fontesBackend.includes("dotnet") ? ["dotnet"] : ["dotnet"];
@@ -2872,6 +2930,7 @@ export async function analisarDriftLegado(contexto, opcoes) {
         const indexPy = await indexarPython(diretoriosCodigoAtivos);
         const indexDart = await indexarDart(diretoriosCodigoAtivos);
         const indexLua = await indexarLua(diretoriosCodigoAtivos);
+        const indexPhp = await indexarPhp(diretoriosCodigoAtivos);
         const indexDotnet = await indexarDotnet(diretoriosCodigoAtivos);
         const indexJava = await indexarJava(diretoriosCodigoAtivos);
         const indexGo = await indexarGo(diretoriosCodigoAtivos);
@@ -2884,6 +2943,7 @@ export async function analisarDriftLegado(contexto, opcoes) {
             ...indexPy.simbolos,
             ...indexDart.simbolos,
             ...indexLua.simbolos,
+            ...indexPhp.simbolos,
             ...indexDotnet.simbolos,
             ...indexJava.simbolos,
             ...indexGo.simbolos,
@@ -2895,6 +2955,7 @@ export async function analisarDriftLegado(contexto, opcoes) {
             ...indexPy.simbolos.map((item) => [item.caminho, item]),
             ...indexDart.simbolos.map((item) => [item.caminho, item]),
             ...indexLua.simbolos.map((item) => [item.caminho, item]),
+            ...indexPhp.simbolos.map((item) => [item.caminho, item]),
             ...indexDotnet.simbolos.map((item) => [item.caminho, item]),
             ...indexJava.simbolos.map((item) => [item.caminho, item]),
             ...indexGo.simbolos.map((item) => [item.caminho, item]),
@@ -2906,6 +2967,7 @@ export async function analisarDriftLegado(contexto, opcoes) {
             ...indexPy.recursos,
             ...indexDart.recursos,
             ...indexLua.recursos,
+            ...indexPhp.recursos,
             ...indexDotnet.recursos,
             ...indexJava.recursos,
             ...indexGo.recursos,
@@ -2918,6 +2980,7 @@ export async function analisarDriftLegado(contexto, opcoes) {
             ...indexTs.rotas,
             ...indexPy.rotas,
             ...indexDart.rotas,
+            ...indexPhp.rotas,
             ...indexDotnet.rotas,
             ...indexJava.rotas,
             ...indexGo.rotas,
@@ -3551,7 +3614,7 @@ export async function analisarDriftLegado(contexto, opcoes) {
 const EXTENSOES_BUSCA_IMPACTO = [
     ".sema",
     ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
-    ".py", ".dart", ".lua", ".cs", ".java", ".go", ".rs", ".cpp", ".cc", ".cxx", ".hpp", ".h",
+    ".py", ".dart", ".lua", ".php", ".cs", ".java", ".go", ".rs", ".cpp", ".cc", ".cxx", ".hpp", ".h",
     ".sql", ".psql", ".ddl", ".prisma", ".json",
 ];
 function construirVariantesSemanticas(valor) {