@semacode/cli 3.12.0 → 3.12.2

package/dist/agentEntryPoints.js

@@ -687,7 +687,7 @@ Contract edit rule: \`.sema\` has its own size budget. Above ${LIMITE_AVISO_LINH
 
 Closing rule: the \`payload\` of \`sema drift --cache fresh --json\` must return \`sucesso:true\`. If it reports \`sucesso:false\`, \`vinculos_quebrados\`, \`rotas_divergentes\`, or \`impls_quebrados\`, the task is still blocked. Passing unit tests or a cache hit do not replace fresh green drift. In 3.0.0, \`ok\` describes the CLI result path and never replaces a command-specific domain verdict.
 
-Focused drift rule: file and module scopes plan their physical file set before cataloging. They never fall back to a whole-project walk when no safe anchor exists. All indexers and semantic-budget checks reuse the same in-memory source read; a global walk is reserved for explicit \`--escopo projeto\`. Code discovery is deferred until that plan exists, homonymous candidates fail as ambiguous, and configured contract origins or code roots resolving outside the workspace are rejected before enumeration. \`inspecionar\`, \`impacto\`, and \`renomear-semantico\` preserve the same directed boundary. Missing local dependencies make coverage partial and block success.
+Focused drift rule: file and module scopes plan their physical file set before cataloging. They never fall back to a whole-project walk when no safe anchor exists. All indexers and semantic-budget checks reuse the same in-memory source read; a global walk is reserved for explicit \`--escopo projeto\`. Code discovery is deferred until that plan exists, homonymous candidates fail as ambiguous, and configured contract origins or code roots resolving outside the workspace are rejected before enumeration. \`inspecionar\`, \`impacto\`, and \`renomear-semantico\` preserve the same directed boundary. Missing unambiguous local dependencies make coverage partial and block success. In Python, an unresolved \`name\` from \`from module import name\` is not itself a missing file after \`module\` resolves: it may be an exported symbol, while a real child module is still included whenever its file exists.
 
 Cache rule: a closure gate should use \`sema drift <contrato> --escopo modulo --cache fresh --json\`. \`--cache none\` executes the same analysis without persistent-cache I/O, while \`--cache cache\` may reuse only extraction data whose schema, workspace identity, Git HEAD, plan, configuration, contracts, member paths, and strong content digests all match. Cache objects are stored in the operating system's user-cache directory, never below the workspace. A hit is acceleration, not evidence: final links, diagnostics, score, and success are always recalculated. Corruption or an unavailable cache degrades to an in-memory calculation.
 
@@ -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 unambiguous 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. For Python \`from module import name\`, Sema still includes \`name\` when it resolves as a real submodule, but never reports the absent submodule candidate as a broken link after the parent module resolved because \`name\` may be a function, class, or variable. 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",
@@ -564,7 +570,12 @@ async function resolverReferenciasLocais(contexto, arquivoOrigem, referencias, c
         }
         const modulo = item.referencia.slice("python:".length);
         const prefixoLocalResolvido = modulosPythonResolvidos.some((prefixo) => prefixo !== modulo && modulo.startsWith(`${prefixo}.`));
-        if (!referenciaPythonEhLocalObrigatoria(item.referencia) && !prefixoLocalResolvido) {
+        if (prefixoLocalResolvido) {
+            // Em `from modulo import nome`, `nome` pode ser simbolo exportado ou submodulo.
+            // Inclua o submodulo quando existir, mas sua ausencia nao prova dependencia quebrada.
+            return { referencia: item.referencia };
+        }
+        if (!referenciaPythonEhLocalObrigatoria(item.referencia)) {
             return item;
         }
         const candidatos = candidatosReferenciaLocalDrift(contexto, arquivoOrigem, item.referencia);

package/docs/ai-workflow.md

@@ -20,7 +20,7 @@ Contract edit rule: `.sema` has its own size budget. Above 300 lines, plan a spl
 
 Closing rule: the `payload` of `sema drift --cache fresh --json` must return `sucesso:true`. If it reports `sucesso:false`, `vinculos_quebrados`, `rotas_divergentes`, or `impls_quebrados`, the task is still blocked. Passing unit tests or a cache hit do not replace fresh green drift. In 3.0.0, `ok` describes the CLI result path and never replaces a command-specific domain verdict.
 
-Focused drift rule: file and module scopes plan their physical file set before cataloging. They never fall back to a whole-project walk when no safe anchor exists. All indexers and semantic-budget checks reuse the same in-memory source read; a global walk is reserved for explicit `--escopo projeto`. Code discovery is deferred until that plan exists, homonymous candidates fail as ambiguous, and configured contract origins or code roots resolving outside the workspace are rejected before enumeration. `inspecionar`, `impacto`, and `renomear-semantico` preserve the same directed boundary. Missing local dependencies make coverage partial and block success.
+Focused drift rule: file and module scopes plan their physical file set before cataloging. They never fall back to a whole-project walk when no safe anchor exists. All indexers and semantic-budget checks reuse the same in-memory source read; a global walk is reserved for explicit `--escopo projeto`. Code discovery is deferred until that plan exists, homonymous candidates fail as ambiguous, and configured contract origins or code roots resolving outside the workspace are rejected before enumeration. `inspecionar`, `impacto`, and `renomear-semantico` preserve the same directed boundary. Missing unambiguous local dependencies make coverage partial and block success. In Python, an unresolved `name` from `from module import name` is not itself a missing file after `module` resolves: it may be an exported symbol, while a real child module is still included whenever its file exists.
 
 Cache rule: a closure gate should use `sema drift <contrato> --escopo modulo --cache fresh --json`. `--cache none` executes the same analysis without persistent-cache I/O, while `--cache cache` may reuse only extraction data whose schema, workspace identity, Git HEAD, plan, configuration, contracts, member paths, and strong content digests all match. Cache objects are stored in the operating system's user-cache directory, never below the workspace. A hit is acceleration, not evidence: final links, diagnostics, score, and success are always recalculated. Corruption or an unavailable cache degrades to an in-memory calculation.
 

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 unambiguous 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. For Python `from module import name`, Sema still includes `name` when it resolves as a real submodule, but never reports the absent submodule candidate as a broken link after the parent module resolved because `name` may be a function, class, or variable. 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.2",
   "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",