@semacode/cli 3.11.1 → 3.12.1

package/dist/agentEntryPoints.js

@@ -567,18 +567,19 @@ module app.example {
 
 ## Canonical \`use\` and \`impl\` Origins
 
-Use these origins before inventing a new one:
+Use these origins before inventing a new one (aliases after \`ou\`):
 
 - \`ts\` ou \`typescript\`
 - \`js\` ou \`javascript\`
 - \`py\` ou \`python\`
 - \`dart\`
 - \`lua\`
-- \`cs\` ou \`dotnet\`
+- \`cs\`, \`csharp\` ou \`dotnet\`
 - \`java\`
-- \`go\`
-- \`rust\`
-- \`cpp\`
+- \`go\` ou \`golang\`
+- \`rust\` ou \`rs\`
+- \`cpp\`, \`cxx\`, \`cc\` ou \`c++\`
+- \`php\`
 
 Examples:
 
@@ -590,11 +591,19 @@ impl {
 }
 \`\`\`
 
+\`\`\`sema
+use php app.legacy.pedidos
+
+impl {
+  php: pedidos.criarPedido
+}
+\`\`\`
+
 \`sema compilar --alvo javascript\` defines a generation target. \`impl { js: ... }\` defines the live-code origin linked to the contract. They are different layers and both are valid.
 
 ## Layered \`impl\` Roles
 
-Layered code (route + service + persistence in the same language) can declare one \`impl\` per role. Append a supported role to the origin: \`rota\`, \`servico\`, \`persistencia\` or \`repositorio\`.
+Layered code (route + service + persistence in the same language) can declare one \`impl\` per role. Append a supported role to any origin: \`rota\`, \`servico\`, \`persistencia\` or \`repositorio\`.
 
 \`\`\`sema
 impl {
@@ -604,6 +613,16 @@ impl {
 }
 \`\`\`
 
+The role suffix combines with every origin, not only TypeScript:
+
+\`\`\`sema
+impl {
+  php_rota: pedidos.rota.criarPedido
+  php_servico: pedidos.servico.criarPedido
+  php_persistencia: pedidos.repositorio.criar
+}
+\`\`\`
+
 Each origin-plus-role pair must appear at most once; the bare origin (for example \`ts\`) stays valid for single-layer tasks, and drift resolves every role independently.
 
 ## Small Canonical Lists
@@ -733,7 +752,7 @@ Then read every required doc returned by \`docs-impacto\`.
 
 ## Contract and Discovery
 
-- \`sema iniciar --template <template> [--force]\`: creates a new Sema project and preserves existing files by default; \`--force\` is the only explicit overwrite path.
+- \`sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|node-firebase-worker|aspnet-api|springboot-api|go-http-api|rust-axum-api|cpp-service-bridge> [--force]\`: creates a new Sema project and preserves existing files by default; \`--force\` is the only explicit overwrite path.
 - \`sema validar <arquivo-ou-pasta> --json\`: validates \`.sema\` contracts.
 - \`sema diagnosticos <arquivo.sema> --json\`: details errors and warnings.
 - \`sema formatar <arquivo-ou-pasta>\`: formats contracts.
@@ -755,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:
 
@@ -769,9 +788,9 @@ A cache hit is acceleration, not final evidence; closure still requires fresh dr
 
 ## Sema Code
 
-- \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --saida <diretorio>\`: generates starter/support artifacts from the contract.
+- \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]\`: generates starter/support artifacts from the contract.
 - \`sema testar <arquivo.sema> --alvo <alvo> --saida <diretorio-temporario>\`: generates and runs local tests when the target supports it.
-- \`sema importar <fonte> <diretorio> --saida <diretorio> --json\`: imports a legacy project into initial contracts.
+- \`sema importar <nestjs|express|fastify|koa|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|sveltekit-consumer|nuxt-consumer|firebase|typescript|python|dart|dotnet|java|go|rust|cpp|php> <diretorio> --saida <diretorio> --json\`: imports a legacy project into initial contracts; only these sources have a real importer.
 - \`sema renomear-semantico <arquivo-ou-pasta> --de <nome> --para <nome> --json\`: helps rename symbols semantically.
 
 Rule for \`--saida\`: the folder passed to \`sema compilar --saida\` is generated output. It is not the final delivery by itself. The final delivery is the target files/links declared by the contract. If the contract asks for \`index.html\`, \`css/styles.css\`, and \`js/app.js\`, creating only \`saida/expense_control.ts\` does not complete the task.
@@ -782,7 +801,10 @@ Ready UI rule: if the task generates an app, site, dashboard, form, or static HT
 
 ## Canonical Syntax Lists
 
-- Origins for \`use\` and \`impl\`: \`ts/typescript\`, \`js/javascript\`, \`py/python\`, \`dart\`, \`lua\`, \`cs/dotnet\`, \`java\`, \`go\`, \`rust\`, \`cpp\`.
+- Origins for \`use\` and \`impl\` (11, aliases after \`/\`): \`ts/typescript\`, \`js/javascript\`, \`py/python\`, \`dart\`, \`lua\`, \`cs/csharp/dotnet\`, \`java\`, \`go/golang\`, \`rust/rs\`, \`cpp/cxx/cc/c++\`, \`php\`.
+- Layered \`impl\` roles: append \`_rota\`, \`_servico\`, \`_persistencia\` or \`_repositorio\` to any origin (\`ts_rota\`, \`php_servico\`, \`cs_persistencia\`, \`py_repositorio\`).
+- Generation targets (10): \`typescript\`, \`javascript/js\`, \`python\`, \`php\`, \`dart\`, \`lua\`, \`html\`, \`css\`, \`dotnet/cs/csharp\`, \`cpp/c++/cxx/cc\`.
+- \`sema iniciar --template\` (14): \`base\`, \`nestjs\`, \`fastapi\`, \`nextjs-api\`, \`nextjs-consumer\`, \`react-vite-consumer\`, \`angular-consumer\`, \`flutter-consumer\`, \`node-firebase-worker\`, \`aspnet-api\`, \`springboot-api\`, \`go-http-api\`, \`rust-axum-api\`, \`cpp-service-bridge\`.
 - Frequent \`effects\` categories: \`persistencia\`, \`consulta\`, \`evento\`, \`auditoria\`, \`db.write\`, \`queue.publish\`, \`fs.write\`, \`network.egress\`, \`secret.read\`, \`shell.exec\`.
 - Accepted \`audit.motivo\` values: \`obrigatorio\`, \`opcional\`, \`dispensado\`.
 

package/dist/cliGrammar.js

@@ -23,8 +23,8 @@ const TEMPLATES_INIT = new Set([
 ]);
 const FONTES_IMPORTACAO = new Set([
     "nestjs", "express", "fastify", "koa", "fastapi", "flask", "nextjs", "nextjs-consumer", "react-vite-consumer",
-    "angular-consumer", "flutter-consumer", "sveltekit-consumer", "nuxt-consumer", "firebase", "typescript", "javascript",
-    "python", "dart", "lua", "dotnet", "java", "go", "rust", "cpp", "php",
+    "angular-consumer", "flutter-consumer", "sveltekit-consumer", "nuxt-consumer", "firebase", "typescript",
+    "python", "dart", "dotnet", "java", "go", "rust", "cpp", "php",
 ]);
 const ALVOS_GERACAO = new Set([
     "typescript", "python", "dart", "lua", "javascript", "js", "html", "css", "php",

package/dist/cliHelpTexto.js

@@ -25,7 +25,7 @@ export function criarAjudaRaiz(versao) {
         "",
         renderizarSecaoAscii("Fluxos rápidos", [
             "[1] Projeto novo / produção inicial",
-            "sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer> [--force] [--com-exemplos]",
+            "sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|node-firebase-worker|aspnet-api|springboot-api|go-http-api|rust-axum-api|cpp-service-bridge> [--force] [--com-exemplos]",
             "Arquivos existentes são preservados; use --force somente para sobrescrita explícita. O starter de exemplos vem por padrão; --com-exemplos instala o pacote completo.",
             "sema validar contratos/<modulo>.sema --json",
             "sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --saida <diretorio>",

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

@@ -31,7 +31,7 @@ Then read every required doc returned by `docs-impacto`.
 
 ## Contract and Discovery
 
-- `sema iniciar --template <template> [--force]`: creates a new Sema project and preserves existing files by default; `--force` is the only explicit overwrite path.
+- `sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|node-firebase-worker|aspnet-api|springboot-api|go-http-api|rust-axum-api|cpp-service-bridge> [--force]`: creates a new Sema project and preserves existing files by default; `--force` is the only explicit overwrite path.
 - `sema validar <arquivo-ou-pasta> --json`: validates `.sema` contracts.
 - `sema diagnosticos <arquivo.sema> --json`: details errors and warnings.
 - `sema formatar <arquivo-ou-pasta>`: formats contracts.
@@ -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:
 
@@ -67,9 +67,9 @@ A cache hit is acceleration, not final evidence; closure still requires fresh dr
 
 ## Sema Code
 
-- `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --saida <diretorio>`: generates starter/support artifacts from the contract.
+- `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css|dotnet|cpp> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]`: generates starter/support artifacts from the contract.
 - `sema testar <arquivo.sema> --alvo <alvo> --saida <diretorio-temporario>`: generates and runs local tests when the target supports it.
-- `sema importar <fonte> <diretorio> --saida <diretorio> --json`: imports a legacy project into initial contracts.
+- `sema importar <nestjs|express|fastify|koa|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|sveltekit-consumer|nuxt-consumer|firebase|typescript|python|dart|dotnet|java|go|rust|cpp|php> <diretorio> --saida <diretorio> --json`: imports a legacy project into initial contracts; only these sources have a real importer.
 - `sema renomear-semantico <arquivo-ou-pasta> --de <nome> --para <nome> --json`: helps rename symbols semantically.
 
 Rule for `--saida`: the folder passed to `sema compilar --saida` is generated output. It is not the final delivery by itself. The final delivery is the target files/links declared by the contract. If the contract asks for `index.html`, `css/styles.css`, and `js/app.js`, creating only `saida/expense_control.ts` does not complete the task.
@@ -80,7 +80,10 @@ Ready UI rule: if the task generates an app, site, dashboard, form, or static HT
 
 ## Canonical Syntax Lists
 
-- Origins for `use` and `impl`: `ts/typescript`, `js/javascript`, `py/python`, `dart`, `lua`, `cs/dotnet`, `java`, `go`, `rust`, `cpp`.
+- Origins for `use` and `impl` (11, aliases after `/`): `ts/typescript`, `js/javascript`, `py/python`, `dart`, `lua`, `cs/csharp/dotnet`, `java`, `go/golang`, `rust/rs`, `cpp/cxx/cc/c++`, `php`.
+- Layered `impl` roles: append `_rota`, `_servico`, `_persistencia` or `_repositorio` to any origin (`ts_rota`, `php_servico`, `cs_persistencia`, `py_repositorio`).
+- Generation targets (10): `typescript`, `javascript/js`, `python`, `php`, `dart`, `lua`, `html`, `css`, `dotnet/cs/csharp`, `cpp/c++/cxx/cc`.
+- `sema iniciar --template` (14): `base`, `nestjs`, `fastapi`, `nextjs-api`, `nextjs-consumer`, `react-vite-consumer`, `angular-consumer`, `flutter-consumer`, `node-firebase-worker`, `aspnet-api`, `springboot-api`, `go-http-api`, `rust-axum-api`, `cpp-service-bridge`.
 - Frequent `effects` categories: `persistencia`, `consulta`, `evento`, `auditoria`, `db.write`, `queue.publish`, `fs.write`, `network.egress`, `secret.read`, `shell.exec`.
 - Accepted `audit.motivo` values: `obrigatorio`, `opcional`, `dispensado`.
 

package/docs/syntax.md

@@ -62,18 +62,19 @@ module app.example {
 
 ## Canonical `use` and `impl` Origins
 
-Use these origins before inventing a new one:
+Use these origins before inventing a new one (aliases after `ou`):
 
 - `ts` ou `typescript`
 - `js` ou `javascript`
 - `py` ou `python`
 - `dart`
 - `lua`
-- `cs` ou `dotnet`
+- `cs`, `csharp` ou `dotnet`
 - `java`
-- `go`
-- `rust`
-- `cpp`
+- `go` ou `golang`
+- `rust` ou `rs`
+- `cpp`, `cxx`, `cc` ou `c++`
+- `php`
 
 Examples:
 
@@ -85,11 +86,19 @@ impl {
 }
 ```
 
+```sema
+use php app.legacy.pedidos
+
+impl {
+  php: pedidos.criarPedido
+}
+```
+
 `sema compilar --alvo javascript` defines a generation target. `impl { js: ... }` defines the live-code origin linked to the contract. They are different layers and both are valid.
 
 ## Layered `impl` Roles
 
-Layered code (route + service + persistence in the same language) can declare one `impl` per role. Append a supported role to the origin: `rota`, `servico`, `persistencia` or `repositorio`.
+Layered code (route + service + persistence in the same language) can declare one `impl` per role. Append a supported role to any origin: `rota`, `servico`, `persistencia` or `repositorio`.
 
 ```sema
 impl {
@@ -99,6 +108,16 @@ impl {
 }
 ```
 
+The role suffix combines with every origin, not only TypeScript:
+
+```sema
+impl {
+  php_rota: pedidos.rota.criarPedido
+  php_servico: pedidos.servico.criarPedido
+  php_persistencia: pedidos.repositorio.criar
+}
+```
+
 Each origin-plus-role pair must appear at most once; the bare origin (for example `ts`) stays valid for single-layer tasks, and drift resolves every role independently.
 
 ## Small Canonical Lists

package/exemplos/php_crud.sema

@@ -0,0 +1,170 @@
+module exemplos.php.crud {
+  entity Pedido {
+    fields {
+      id: Id
+      cliente: Texto
+      total: Numero
+      status: Texto
+    }
+  }
+
+  task criar_pedido {
+    input {
+      cliente: Texto required
+      total: Numero required
+    }
+    output {
+      pedido: Pedido
+    }
+    rules {
+      cliente deve_ser preenchido
+      total deve_ser positivo
+    }
+    effects {
+      persistencia Pedido
+      auditoria pedido_criado
+    }
+    guarantees {
+      pedido existe
+    }
+    impl {
+      php_rota: pedidos.rota.criarPedido
+      php_servico: pedidos.servico.criarPedido
+      php_persistencia: pedidos.repositorio.criar
+    }
+    vinculos {
+      arquivo: "src/Pedidos/Controller/PedidoController.php"
+      arquivo: "src/Pedidos/Service/PedidoService.php"
+      arquivo: "src/Pedidos/Repository/PedidoRepository.php"
+      simbolo: pedidos.rota.criarPedido
+    }
+    tests {
+      caso "cria pedido" {
+        given {
+          cliente: "Cliente Exemplo"
+          total: 150.0
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task listar_pedidos {
+    input {
+      status: Texto
+    }
+    output {
+      pedidos: Lista
+    }
+    effects {
+      consulta Pedido
+    }
+    guarantees {
+      pedidos existe
+    }
+    impl {
+      php_rota: pedidos.rota.listarPedidos
+      php_servico: pedidos.servico.listarPedidos
+    }
+    vinculos {
+      arquivo: "src/Pedidos/Controller/PedidoController.php"
+      arquivo: "src/Pedidos/Service/PedidoService.php"
+      simbolo: pedidos.rota.listarPedidos
+    }
+    tests {
+      caso "lista pedidos por status" {
+        given {
+          status: "pago"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  task cancelar_pedido {
+    input {
+      id: Id required
+    }
+    output {
+      cancelado: Booleano
+    }
+    rules {
+      id deve_ser valido
+    }
+    effects {
+      persistencia Pedido
+      auditoria pedido_cancelado
+    }
+    guarantees {
+      cancelado == verdadeiro
+    }
+    impl {
+      php_rota: pedidos.rota.cancelarPedido
+      php_servico: pedidos.servico.cancelarPedido
+      php_persistencia: pedidos.repositorio.atualizarStatus
+    }
+    vinculos {
+      arquivo: "src/Pedidos/Controller/PedidoController.php"
+      arquivo: "src/Pedidos/Service/PedidoService.php"
+      arquivo: "src/Pedidos/Repository/PedidoRepository.php"
+      simbolo: pedidos.rota.cancelarPedido
+    }
+    tests {
+      caso "cancela pedido por id" {
+        given {
+          id: "ped_1"
+        }
+
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route pedidos_criar {
+    metodo: POST
+    caminho: /pedidos
+    task: criar_pedido
+    finalidade: cadastro_pedido
+    input {
+      cliente: Texto
+      total: Numero
+    }
+    output {
+      pedido: Pedido
+    }
+  }
+
+  route pedidos_listar {
+    metodo: GET
+    caminho: /pedidos
+    task: listar_pedidos
+    finalidade: consulta_pedidos
+    input {
+      status: Texto
+    }
+    output {
+      pedidos: Lista
+    }
+  }
+
+  route pedidos_cancelar {
+    metodo: PATCH
+    caminho: "/pedidos/{id}/cancelar"
+    task: cancelar_pedido
+    finalidade: cancelamento_pedido
+    input {
+      id: Id
+    }
+    output {
+      cancelado: Booleano
+    }
+  }
+}

package/node_modules/@sema/nucleo/dist/semantico/analisador.part01.js

@@ -279,7 +279,7 @@ export function validarImplementacoesTask(task, diagnosticos) {
     for (const campo of task.impl.campos) {
         const nome = normalizarNomeCampoImplementacao(campo.nome);
         if (!nome) {
-            diagnosticos.push(criarDiagnostico("SEM059", `Task "${task.nome}" declarou implementacao externa invalida em impl: "${campo.nome}".`, "erro", campo.intervalo, "Use ts, js, py, dart, lua, cs, java, go, rust, cpp ou php, opcionalmente com papel: ts_rota, ts_servico, ts_persistencia ou ts_repositorio."));
+            diagnosticos.push(criarDiagnostico("SEM059", `Task "${task.nome}" declarou implementacao externa invalida em impl: "${campo.nome}".`, "erro", campo.intervalo, "Use ts, js, py, dart, lua, cs, java, go, rust, cpp ou php, opcionalmente com papel de qualquer origem: <origem>_rota, <origem>_servico, <origem>_persistencia ou <origem>_repositorio (ex.: ts_rota, php_servico, cs_persistencia)."));
             continue;
         }
         const rotulo = nome.papel ? `${nome.origem}_${nome.papel}` : nome.origem;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semacode/cli",
-  "version": "3.11.1",
+  "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",