@semacode/cli 3.12.0 → 3.12.1

package/dist/agentEntryPoints.js

@@ -774,7 +774,7 @@ Then read every required doc returned by \`docs-impacto\`.
 
 Honest closure: unwrap drift JSON and treat its command payload as the source of truth. \`payload.sucesso:false\`, non-empty \`payload.vinculos_quebrados\`, non-empty \`payload.rotas_divergentes\`, or non-empty \`payload.impls_quebrados\` mean the change is not complete yet. Do not report "clean drift" without a green payload.
 
-Focused drift exposes its planned, declared, inferred, and missing files plus catalog visit/read metrics in \`escopo_aplicado\`. File and module scopes fail closed without a safe anchor, with homonymous implementation candidates, or with missing local dependencies; only \`--escopo projeto\` may walk every configured code root. Logical roots such as \`src\` are probed deterministically without a discovery walk. Configured contract origins and code roots are confined before enumeration, and \`inspecionar\`, \`impacto\`, and \`renomear-semantico\` reuse the same directed boundary without reopening arbitrary external paths.
+Focused drift exposes its planned, declared, inferred, and missing files plus catalog visit/read metrics in \`escopo_aplicado\`. A missing declared file or a missing code-referenced dependency is a blocker reported as \`vinculo_quebrado\`; a missing inferred candidate derived from an \`impl\` symbol is informational under \`arquivosAusentesInferidos\` and never blocks an implementation that resolved. File and module scopes fail closed without a safe anchor, with homonymous implementation candidates, or with missing local dependencies; only \`--escopo projeto\` may walk every configured code root. Logical roots such as \`src\` are probed deterministically without a discovery walk. Configured contract origins and code roots are confined before enumeration, and \`inspecionar\`, \`impacto\`, and \`renomear-semantico\` reuse the same directed boundary without reopening arbitrary external paths.
 
 Drift analysis and cache modes are explicit:
 

package/dist/drift.part01.d.ts

@@ -177,6 +177,7 @@ export interface ConfiguracaoEscopoDriftAplicada {
     arquivosDeclarados?: string[];
     arquivosInferidos?: string[];
     arquivosAusentes?: string[];
+    arquivosAusentesInferidos?: string[];
     bloqueios?: string[];
     catalogo?: MetricasCatalogoDrift;
     cache?: EstadoCacheDriftAplicado;

package/dist/drift.part11.js

@@ -148,6 +148,7 @@ export async function analisarDriftLegado(contexto, opcoes) {
         configuracaoEscopo.arquivosDeclarados = planoEscopo.arquivosDeclarados.map(relativoEscopo);
         configuracaoEscopo.arquivosInferidos = planoEscopo.arquivosInferidos.map(relativoEscopo);
         configuracaoEscopo.arquivosAusentes = planoEscopo.arquivosAusentes.map(relativoEscopo);
+        configuracaoEscopo.arquivosAusentesInferidos = planoEscopo.arquivosAusentesInferidos.map(relativoEscopo);
         const bloqueiosAnalise = new Set(planoEscopo.bloqueios);
         configuracaoEscopo.bloqueios = [...bloqueiosAnalise];
         configuracaoEscopo.catalogo = metricasCatalogo;

package/dist/drift.part13.js

@@ -495,6 +495,7 @@ function representarPlanoCache(contexto, configuracao, plano) {
         arquivosDeclarados: ordenar(plano.arquivosDeclarados),
         arquivosInferidos: ordenar(plano.arquivosInferidos),
         arquivosAusentes: ordenar(plano.arquivosAusentes),
+        arquivosAusentesInferidos: ordenar(plano.arquivosAusentesInferidos),
         diretorios: ordenar(plano.diretorios),
         diretoriosCodigo: ordenar(contexto.diretoriosCodigo),
         ignorarWorktrees: configuracao.ignorarWorktrees,

package/dist/driftEscopo.d.ts

@@ -11,6 +11,7 @@ export interface PlanoEscopoDrift {
     arquivosDeclarados: string[];
     arquivosInferidos: string[];
     arquivosAusentes: string[];
+    arquivosAusentesInferidos: string[];
     diretorios: string[];
     modulos: string[];
     cobertura: CoberturaEscopoDrift;

package/dist/driftEscopo.js

@@ -365,6 +365,7 @@ export async function planejarEscopoDrift(contexto, configuracao) {
             arquivosDeclarados: [],
             arquivosInferidos: [],
             arquivosAusentes: [],
+            arquivosAusentesInferidos: [],
             diretorios,
             modulos: contexto.modulosSelecionados
                 .map((modulo) => modulo.resultado.ir?.nome)
@@ -382,6 +383,7 @@ export async function planejarEscopoDrift(contexto, configuracao) {
         .filter((ir) => Boolean(ir));
     const declarados = new Map();
     const ausentes = new Map();
+    const ausentesInferidos = new Map();
     const inferidos = new Map();
     const bloqueiosPlano = new Set();
     const raizReal = await realpath(contexto.baseProjeto);
@@ -440,7 +442,9 @@ export async function planejarEscopoDrift(contexto, configuracao) {
         }
         const primeiroCandidato = gruposCandidatos[0]?.[0];
         if (encontrados.length === 0 && primeiroCandidato) {
-            ausentes.set(chaveCaminho(primeiroCandidato), primeiroCandidato);
+            // Candidato derivado do simbolo do impl, nao uma promessa do contrato:
+            // ausencia aqui e informacao de ancoragem, nunca vinculo quebrado.
+            ausentesInferidos.set(chaveCaminho(primeiroCandidato), primeiroCandidato);
         }
     }
     const raizesAncoradas = escolherDiretoriosLogicos(contexto, [...declarados.values(), ...inferidos.values()]);
@@ -470,6 +474,7 @@ export async function planejarEscopoDrift(contexto, configuracao) {
     }
     const arquivos = [...arquivosMesclados.values()].sort((a, b) => a.localeCompare(b, "pt-BR"));
     const arquivosAusentes = [...ausentes.values()].sort((a, b) => a.localeCompare(b, "pt-BR"));
+    const arquivosAusentesInferidos = [...ausentesInferidos.values()].sort((a, b) => a.localeCompare(b, "pt-BR"));
     const exigeAncoraCodigo = irs.some(moduloExigeAncoraCodigo);
     if (arquivos.length === 0
         && exigeAncoraCodigo
@@ -484,6 +489,7 @@ export async function planejarEscopoDrift(contexto, configuracao) {
         arquivosDeclarados: [...declarados.values()].sort((a, b) => a.localeCompare(b, "pt-BR")),
         arquivosInferidos: [...inferidos.values()].sort((a, b) => a.localeCompare(b, "pt-BR")),
         arquivosAusentes,
+        arquivosAusentesInferidos,
         diretorios: escolherDiretoriosLogicos(contexto, arquivos),
         modulos: irs.map((ir) => ir.nome),
         cobertura: arquivosAusentes.length === 0 && bloqueios.length === 0 ? "completa" : "parcial",

package/docs/commands.md

@@ -53,7 +53,7 @@ Then read every required doc returned by `docs-impacto`.
 
 Honest closure: unwrap drift JSON and treat its command payload as the source of truth. `payload.sucesso:false`, non-empty `payload.vinculos_quebrados`, non-empty `payload.rotas_divergentes`, or non-empty `payload.impls_quebrados` mean the change is not complete yet. Do not report "clean drift" without a green payload.
 
-Focused drift exposes its planned, declared, inferred, and missing files plus catalog visit/read metrics in `escopo_aplicado`. File and module scopes fail closed without a safe anchor, with homonymous implementation candidates, or with missing local dependencies; only `--escopo projeto` may walk every configured code root. Logical roots such as `src` are probed deterministically without a discovery walk. Configured contract origins and code roots are confined before enumeration, and `inspecionar`, `impacto`, and `renomear-semantico` reuse the same directed boundary without reopening arbitrary external paths.
+Focused drift exposes its planned, declared, inferred, and missing files plus catalog visit/read metrics in `escopo_aplicado`. A missing declared file or a missing code-referenced dependency is a blocker reported as `vinculo_quebrado`; a missing inferred candidate derived from an `impl` symbol is informational under `arquivosAusentesInferidos` and never blocks an implementation that resolved. File and module scopes fail closed without a safe anchor, with homonymous implementation candidates, or with missing local dependencies; only `--escopo projeto` may walk every configured code root. Logical roots such as `src` are probed deterministically without a discovery walk. Configured contract origins and code roots are confined before enumeration, and `inspecionar`, `impacto`, and `renomear-semantico` reuse the same directed boundary without reopening arbitrary external paths.
 
 Drift analysis and cache modes are explicit:
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semacode/cli",
-  "version": "3.12.0",
+  "version": "3.12.1",
   "description": "Local-first semantic governance CLI for AI agents, proven with Claude, Codex, zCode (GLM) and Kimi: contracts, drift, impact, docs gates, and code generation.",
   "type": "module",
   "icon": "logo.png",