@orkastery/cli 0.5.1 → 0.5.6

package/dist/phase.js

@@ -35,6 +35,7 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.REGRAS_DE_EVIDENCIA = exports.CONTRATO_DAS_FASES = void 0;
 exports.escolherPerfil = escolherPerfil;
+exports.perfilPedido = perfilPedido;
 exports.perfilParaDespacho = perfilParaDespacho;
 exports.runtimeCruzadoParaDespacho = runtimeCruzadoParaDespacho;
 exports.estadoParaDespacho = estadoParaDespacho;
@@ -71,17 +72,21 @@ const board_1 = require("./board");
 const verify_1 = require("./verify");
 const session_watcher_1 = require("./session-watcher");
 const session_watcher_claude_1 = require("./session-watcher-claude");
+const manifest_1 = require("./manifest");
+const mcp_grafo_1 = require("./mcp-grafo");
 const runtimes_1 = require("./runtimes");
 const setup_1 = require("./setup");
 const modos_1 = require("./modos");
 const gates_1 = require("./gates");
 const policies_1 = require("./policies");
 const ratelimit_1 = require("./ratelimit");
+const impedimento_1 = require("./impedimento");
 const claude_bg_1 = require("./adapters/claude-bg");
 const codex_1 = require("./adapters/codex");
 const memoria_1 = require("./memoria");
 const prompts_1 = require("./prompts");
 const slug_1 = require("./slug");
+const locale_1 = require("./locale");
 const thread_1 = require("./thread");
 const types_1 = require("./types");
 const util_1 = require("./util");
@@ -89,7 +94,10 @@ const ledger_1 = require("./ledger");
 const estado_thread_1 = require("./estado-thread");
 const horario_1 = require("./horario");
 const runtime_profiles_1 = require("./runtime-profiles");
+const sessoes_contas_1 = require("./sessoes-contas");
 const maquina_1 = require("./maquina");
+const procedencia_1 = require("./procedencia");
+const postura_local_1 = require("./postura-local");
 const fabrica_publicar_1 = require("./fabrica-publicar");
 const conducao_1 = require("./conducao");
 /**
@@ -102,18 +110,14 @@ function escolherPerfil(raiz, runtime, opcoes = {}) {
     // I-49: o despacho enxerga o estado que as outras fabricas viram na mesma conta.
     const store = (0, runtime_profiles_1.lerPerfisComContas)(raiz, opcoes.agoraMs);
     const doRuntime = (0, runtime_profiles_1.perfisDoRuntime)(store, runtime);
-    if (opcoes.perfil !== undefined) {
-        const pedido = doRuntime.find(p => p.id === opcoes.perfil);
-        if (!pedido)
-            return { perfil: null, configurados: doRuntime.length, erro: `perfil "${opcoes.perfil}" nao existe para o runtime ${runtime}` };
-        if (!(0, runtime_profiles_1.perfilDisponivel)(pedido, opcoes.agoraMs))
-            return { perfil: null, configurados: doRuntime.length,
-                erro: `perfil "${pedido.id}" esta ${pedido.estado}${pedido.esgotadoAte ? ` ate ${pedido.esgotadoAte}` : ''}` };
-        return { perfil: (0, runtime_profiles_1.perfilDeDespacho)(pedido), configurados: doRuntime.length };
-    }
+    if (opcoes.perfil !== undefined)
+        return perfilPedido(store, runtime, opcoes.perfil, opcoes.agoraMs);
     if (doRuntime.length === 0)
         return { perfil: null, configurados: 0 };
-    const proximo = (0, runtime_profiles_1.proximoPerfilDisponivel)(store, runtime, opcoes.politica ?? runtime_profiles_1.POLITICA_PADRAO, opcoes);
+    const politica = opcoes.politica ?? runtime_profiles_1.POLITICA_PADRAO;
+    const proximo = politica.distribuir === 'carga' && opcoes.carga
+        ? (0, runtime_profiles_1.proximoPerfilPorCarga)(store, runtime, politica, opcoes.carga, opcoes)
+        : (0, runtime_profiles_1.proximoPerfilDisponivel)(store, runtime, politica, opcoes);
     if (proximo)
         return { perfil: (0, runtime_profiles_1.perfilDeDespacho)(proximo), configurados: doRuntime.length };
     const agoraMs = opcoes.agoraMs ?? Date.now();
@@ -125,6 +129,41 @@ function escolherPerfil(raiz, runtime, opcoes = {}) {
     return { perfil: null, configurados: doRuntime.length, motivo,
         erro: `nenhum perfil disponivel do runtime ${runtime} (${doRuntime.map(p => `${p.id}: ${p.estado}`).join(', ')})` };
 }
+/**
+ * RM-056 (D1): o perfil PEDIDO (`--perfil`), validado contra o store. Recusa com motivo tipado e nunca
+ * troca de perfil: inexistente ou de outro runtime e `runtime.profile-invalid`; esgotado, a cota; sem
+ * login (ou de provider pago), o motivo do estado. Funcao propria, para o despacho da RM-055 rebasar limpo.
+ */
+function perfilPedido(store, runtime, id, agoraMs = Date.now()) {
+    const doRuntime = (0, runtime_profiles_1.perfisDoRuntime)(store, runtime);
+    const pedido = doRuntime.find(p => p.id === id);
+    if (!pedido) {
+        const outro = store.perfis.find(p => p.id === id);
+        return { perfil: null, configurados: doRuntime.length, motivo: 'runtime.profile-invalid',
+            erro: outro ? `perfil "${id}" e do runtime ${outro.runtime}, nao do ${runtime}`
+                : `perfil "${id}" nao existe no store (${doRuntime.length ? `perfis do ${runtime}: ${doRuntime.map(p => p.id).join(', ')}` : `nenhum perfil do ${runtime}`})` };
+    }
+    if ((0, runtime_profiles_1.perfilDisponivel)(pedido, agoraMs))
+        return { perfil: (0, runtime_profiles_1.perfilDeDespacho)(pedido), configurados: doRuntime.length };
+    const motivo = pedido.estado === 'esgotado' ? 'runtime.quota-exhausted' : pedido.estado === 'sem-auth'
+        ? 'runtime.auth-missing' : pedido.estado === 'provider-pago' ? 'cost.violation' : 'runtime.profile-invalid';
+    return { perfil: null, configurados: doRuntime.length, motivo,
+        erro: `perfil "${pedido.id}" esta ${pedido.estado}${pedido.esgotadoAte ? ` ate ${pedido.esgotadoAte}` : ''}` };
+}
+/**
+ * RM-056 (D3): a carga dos perfis do runtime, so quando o manifesto pede `distribuir: carga` e o
+ * dono nao pediu um perfil. Consulta falha vale carga desconhecida (zero): decide o desempate.
+ */
+function cargaDoDespacho(carregado, runtime, politica, pedido) {
+    if (politica.distribuir !== 'carga' || pedido !== undefined || !(0, runtime_profiles_1.runtimeComPerfil)(runtime))
+        return undefined;
+    try {
+        return (0, sessoes_contas_1.sessoesVivasPorPerfil)(carregado.raiz, runtime, carregado.manifesto.concurrency.stale_after_min);
+    }
+    catch {
+        return new Map();
+    }
+}
 /**
  * I-33 (D7, D13): preflight de auth antes do despacho. O perfil escolhido tem o login conferido
  * pelo proprio CLI com o env dele; reprovado, vira `sem-auth` no store (ou `provider-pago`, quando
@@ -136,8 +175,9 @@ function perfilParaDespacho(carregado, thread, fase, runtime, opcoes) {
     const { raiz } = carregado;
     const excluir = [...(opcoes.excluir ?? [])];
     const politica = (0, runtime_profiles_1.politicaDeRotacao)(carregado.manifesto);
+    const carga = cargaDoDespacho(carregado, runtime, politica, opcoes.perfil);
     for (;;) {
-        const escolha = escolherPerfil(raiz, runtime, { perfil: opcoes.perfil, excluir, politica });
+        const escolha = escolherPerfil(raiz, runtime, { perfil: opcoes.perfil, excluir, politica, carga });
         if (escolha.erro || !escolha.perfil || opcoes.dryRun)
             return escolha;
         const auth = runtime === 'claude-bg' ? (0, claude_bg_1.conferirAuth)(escolha.perfil) : runtime === 'codex' ? (0, codex_1.conferirAuth)(escolha.perfil)
@@ -164,7 +204,7 @@ function perfilParaDespacho(carregado, thread, fase, runtime, opcoes) {
             razao = 'o preflight de auth reprovou o perfil antes do despacho (D7): perfil sem login nunca recebe despacho';
         }
         excluir.push(escolha.perfil.id);
-        const proximo = opcoes.perfil === undefined ? escolherPerfil(raiz, runtime, { excluir, politica }).perfil : null;
+        const proximo = opcoes.perfil === undefined ? escolherPerfil(raiz, runtime, { excluir, politica, carga }).perfil : null;
         (0, ledger_1.registrar)((0, thread_1.dirThread)(raiz, thread.id), thread.id, ledger_1.TIPOS_DE_EVENTO.perfilRotacionado, {
             fase, motivo, origem: `${opcoes.origem}.preflight`,
             de: { runtime, perfil: escolha.perfil.id }, para: proximo ? { runtime, perfil: proximo.id } : null,
@@ -218,6 +258,8 @@ function estadoParaDespacho(raiz, thread, dryRun = false) {
     if (!thread.worktree)
         return null;
     try {
+        // RM-047 (P2): a worktree do thread.json so vale registrada no git e com o estado local.
+        (0, procedencia_1.diretorioDaThread)(raiz, thread);
         (0, estado_thread_1.vincularEstado)(raiz, thread.id, thread.worktree, dryRun);
         return null;
     }
@@ -239,6 +281,10 @@ exports.REGRAS_DE_EVIDENCIA = [
     'Nada de self-report: toda alegacao vem com o comando que a comprova e a saida real.',
     'Trabalhe apenas no diretorio de trabalho indicado acima.',
     'Passos irreversiveis (push, merge, delecao) so acontecem quando o modo autoriza.',
+    // RM-058 N2 (D13 da ork-rm058n2): tres sessoes de 12/10/2026 mandaram verify ou suite para segundo plano com `&`,
+    // perderam o processo e esperaram para sempre.
+    'Verify, build e suite rodam em primeiro plano, com timeout, nunca com `&` no comando: o processo em segundo plano ' +
+        'se perde e a sessao espera para sempre. O `ork verify` espera a vez na fila de recursos pesados.',
 ];
 /**
  * I-42 (D11): as fases que o cabecalho do prompt descreve.
@@ -314,8 +360,10 @@ function montarPrompt(thread, fase, pedido, raiz, memoriaInjetada = '') {
  */
 function montarPromptComMemoria(carregado, thread, fase, pedido, memoria) {
     const injecao = (0, memoria_1.injecaoDaFase)(carregado, memoria, thread, fase);
+    // Mesma raiz usada pelo MCP e runtime-context; o manifesto da WT nao habilita a dica.
+    const ligado = (0, mcp_grafo_1.grafoLigado)((0, manifest_1.exigirManifesto)((0, estado_thread_1.raizDoEstado)(carregado.raiz)).manifesto);
     return {
-        prompt: montarPrompt(thread, fase, pedido, carregado.raiz, injecao.texto),
+        prompt: montarPrompt(thread, fase, (0, prompts_1.pedidoComDicaDoGrafo)(pedido, thread.id, ligado), carregado.raiz, injecao.texto),
         injecao,
     };
 }
@@ -372,10 +420,10 @@ function resolverDespacho(manifesto, opcoes, doBloco) {
     const origem = doBloco?.runtime ?? manifesto.runtime.adapter;
     const runtime = opcoes.runtime ?? origem;
     if ((0, runtimes_1.runtimeConhecido)(runtime) && runtime !== origem && !opcoes.model?.trim())
-        throw new Error(`setup.model.required: ao trocar runtime de ${origem} para ${runtime}, informe --runtime ${runtime} --model <modelo> para este despacho; o setup do projeto permanece intacto.`);
+        throw new locale_1.ErroDoCatalogo((m) => m.phase.modeloAoTrocarRuntime(origem, runtime));
     const model = opcoes.model ?? doBloco?.model ?? manifesto.runtime.model;
     if (!model.trim())
-        throw new Error(`setup.model.required: modelo pendente para ${runtime}; informe --model <modelo> neste despacho ou complete o bloco em ork setup.`);
+        throw new locale_1.ErroDoCatalogo((m) => m.phase.modeloPendente(runtime));
     const effort = opcoes.effort ??
         (opcoes.model !== undefined ? 'high' : doBloco?.effort ?? manifesto.runtime.effort);
     return { runtime, model, effort };
@@ -580,7 +628,8 @@ function garantirBaselineDoDespacho(carregado, threadId, opcoes, identidade) {
     if (!baselineDoDespachoNecessaria(carregado, threadId, opcoes))
         return;
     try {
-        (0, verify_1.gravarBaseline)(carregado, threadId, undefined, { canal: opcoes.canal ?? (0, conducao_1.canalDoProcesso)(), correlacao: opcoes.correlacao ?? null, ...(identidade ? { identidade } : {}) }, 'phase.run');
+        (0, verify_1.gravarBaseline)(carregado, threadId, undefined, { canal: opcoes.canal ?? (0, conducao_1.canalDoProcesso)(), correlacao: opcoes.correlacao ?? null, ...(identidade ? { identidade } : {}),
+            filaPesada: { esperarMs: opcoes.esperarMs, ...opcoes.filaPesada } }, 'phase.run');
     }
     catch (e) {
         if (!(e instanceof conducao_1.ErroDeConducao))
@@ -723,6 +772,17 @@ tomadaPrevia) {
             verificada: false, pausaAoFim: (0, thread_1.pausaNaThread)(thread, fase), dryRun: opcoes.dryRun === true,
             runtime, model, effort, bloqueado: true, motivo: 'runtime.autoconferencia', violacoes, erro: erroDeRuntime };
     }
+    // RM-047 (P1): sandbox afrouxado pelo manifesto so despacha com a confirmacao local desta maquina.
+    const erroDePostura = (0, postura_local_1.recusaDePostura)(raiz, manifesto, runtime);
+    if (erroDePostura) {
+        const postura = (0, postura_local_1.posturaAfrouxada)(manifesto) ?? '';
+        if (!opcoes.dryRun)
+            (0, gates_1.registrarGateBloqueado)(dir, thread.id, { gate: 'phase.dispatch', motivo: 'policy.violation',
+                modo: thread.modo, detalhe: erroDePostura, correcao: (0, postura_local_1.comandoDeConfirmacao)(postura), fase, slug });
+        return { thread, slug, promptPath, promptSha256: sha, comando: [], sessionId: null,
+            verificada: false, pausaAoFim: (0, thread_1.pausaNaThread)(thread, fase), dryRun: opcoes.dryRun === true,
+            runtime, model, effort, bloqueado: true, motivo: 'policy.violation', violacoes, erro: erroDePostura };
+    }
     const erroDeEstado = estadoParaDespacho(raiz, thread, opcoes.dryRun);
     if (erroDeEstado) {
         (0, gates_1.registrarGateBloqueado)(dir, thread.id, { gate: 'phase.dispatch', motivo: 'tree.blocked',
@@ -819,7 +879,17 @@ tomadaPrevia) {
                 return pendente;
             }
         }
-        const cwd = thread.worktree ?? raiz;
+        const cwd = (0, procedencia_1.diretorioDaThread)(raiz, thread);
+        // RM-063 (F3): o prompt vai ao disco e ao ledger, com o sha256, ANTES do contexto do runtime e do adaptador. No
+        // incidente de 12/10/2026 a fase morreu no despacho e o `ork retry run` saiu com "nao ha despacho falho registrado
+        // em GO com prompt gravado"; daqui em diante, toda tentativa deixa o prompt que o retry redespacha sem pedir o texto.
+        (0, util_1.gravar)(promptPath, prompt);
+        const promptNoLedger = { promptPath: path.relative(raiz, promptPath), promptSha256: sha };
+        if (!opcoes.dryRun) {
+            (0, ledger_1.registrar)(dir, thread.id, ledger_1.TIPOS_DE_EVENTO.promptGravado, { fase, slug, modo: thread.modo, runtime, model, effort, cwd,
+                ...promptNoLedger, origem: 'phase.run', canal, ...(opcoes.correlacao ? { correlacao: opcoes.correlacao } : {}), identidade });
+        }
+        const correcaoDoRetry = `ork retry run ${thread.id} redespacha o mesmo prompt (sha256 ${sha.slice(0, 12)})`;
         let contextoRuntime;
         try {
             contextoRuntime = (0, runtime_context_1.contextoDoProjeto)(raiz, runtime, cwd, thread.id);
@@ -827,14 +897,13 @@ tomadaPrevia) {
         catch (e) {
             const erro = `runtime.unavailable: ${e.message}`;
             (0, gates_1.registrarGateBloqueado)(dir, thread.id, { gate: 'phase.dispatch', motivo: 'runtime.unavailable',
-                modo: thread.modo, detalhe: erro, fase, slug });
+                modo: thread.modo, detalhe: erro, fase, slug, ...(opcoes.dryRun ? {} : { ...promptNoLedger, correcao: correcaoDoRetry }) });
             return { thread, slug, promptPath, promptSha256: sha, comando: [], sessionId: null,
                 verificada: false, pausaAoFim: (0, thread_1.pausaNaThread)(thread, fase), dryRun: opcoes.dryRun === true,
                 runtime, model, effort, bloqueado: true, motivo: 'runtime.unavailable', violacoes, erro };
         }
         if (contextoRuntime)
             contextoRuntime.identidade = identidade;
-        (0, util_1.gravar)(promptPath, prompt);
         // I-33 (D2, D4, D7): o perfil sai do store com o login conferido. Sem perfil disponivel, o
         // despacho nao sai pela conta errada: o prompt ja gravado fica registrado para a rotacao do
         // retry (outro runtime da ordem de fallback, ou a fila), com o motivo tipado.
@@ -895,7 +964,7 @@ tomadaPrevia) {
             : undefined;
         // I-33 (N1): lido antes de a sessao existir; depois dela, um commit rapido ja estaria no HEAD.
         const headNoDespacho = fase === 'GO' && runtime === 'codex' && !opcoes.dryRun ? (0, session_watcher_claude_1.headDaWorktree)(cwd) : undefined;
-        const resultado = rt.despachar({
+        const pedidoAoRuntime = {
             prompt,
             nome: slug,
             cwd,
@@ -916,7 +985,7 @@ tomadaPrevia) {
             ...(limites ? { duracaoMaximaMs: limites.duracaoMs } : {}),
             // I-36 (D4): a sessao filha herda a identidade do despacho e o canal; e assim que ela reentra.
             ambienteExtra: (0, conducao_1.ambienteDaConducao)(identidade.dispatchId, thread.id, canal),
-        });
+        };
         const ctx = {
             identidade,
             canal,
@@ -937,6 +1006,22 @@ tomadaPrevia) {
             ...(perfil ? { perfil } : {}),
             ...(headNoDespacho !== undefined ? { headNoDespacho } : {}),
         };
+        let resultado;
+        try {
+            resultado = rt.despachar(pedidoAoRuntime);
+        }
+        catch (e) {
+            // RM-063 (F3): o adaptador que lanca (o daemon do runtime fora do ar) deixa no ledger a falha do despacho com o
+            // prompt e o sha256, e o gate tipado que o `ork retry run` le; o erro segue para quem chamou, como antes.
+            if (!opcoes.dryRun) {
+                const erro = `runtime.unavailable: o runtime adapter lancou no despacho: ${e.message}`;
+                (0, ledger_1.registrar)(dir, thread.id, ledger_1.TIPOS_DE_EVENTO.despachoFalhou, { ...dadosDoDespacho(ctx, []), erro });
+                (0, gates_1.registrarGateBloqueado)(dir, thread.id, { gate: 'phase.dispatch', motivo: 'runtime.unavailable', modo: thread.modo,
+                    detalhe: erro, correcao: correcaoDoRetry, fase, slug, runtime, origem: 'phase.run', ...promptNoLedger,
+                    evidencia: 'excecao real do runtime adapter no despacho, nao relato do agente' });
+            }
+            throw e;
+        }
         const comum = dadosDoDespacho(ctx, resultado.comando);
         if (opcoes.dryRun) {
             return {
@@ -961,11 +1046,15 @@ tomadaPrevia) {
         }
         if (!resultado.ok || !resultado.sessionId) {
             const erro = resultado.erro ?? 'sem sessionId na saida do runtime';
+            // RM-063 (F3, GO-FIX): o `claude --bg` que sai com erro, ou estoura o prazo, depois de dizer o id deixa a sessao
+            // aberta; o id vai a falha e ao gate, para o retry conferir que ela morreu antes de redespachar.
+            const daSessao = resultado.sessionId ? { sessionId: resultado.sessionId } : {};
             (0, ledger_1.registrar)(dir, thread.id, ledger_1.TIPOS_DE_EVENTO.despachoFalhou, {
                 ...comum,
                 controlador: resultado.controlador,
                 erro,
                 stderr: resultado.stderr.slice(0, 500),
+                ...daSessao,
             });
             // I-33 (D1, D5): a CONTA recusou o despacho. Nada rodou, entao nada foi produzido: o perfil
             // sai do rodizio e o gate tipado fica para a rotacao do retry, que redespacha o mesmo prompt.
@@ -1039,6 +1128,20 @@ tomadaPrevia) {
                     erro,
                 };
             }
+            // RM-055: o que so o dono resolve no terminal vira a pausa dele, com o comando exato e o que o ork
+            // faz depois. O prompt ja esta gravado com o sha256 acima, e e ele que o retry re-despacha.
+            const impedimento = (0, impedimento_1.registrarImpedimentoDoDono)(dir, thread, { fase, slug, runtime, cwd, origem: 'phase.run',
+                promptPath, promptSha256: sha, perfil, saida: `${resultado.stderr}\n${erro}` });
+            if (impedimento) {
+                return { thread, slug, promptPath, promptSha256: sha, comando: resultado.comando, controlador: resultado.controlador,
+                    sessionId: null, verificada: false, pausaAoFim, dryRun: false, runtime, model, effort, bloqueado: false,
+                    motivo: impedimento.motivo, violacoes, naFila: null, erro: `${impedimento.motivo}: ${impedimento.trecho}` };
+            }
+            // RM-063 (F3): a falha seca do adaptador vira gate tipado, com o prompt e o sha256. Antes so o `phase_dispatch_failed`
+            // a registrava: o `ork retry plan` nao a via e a fase ficava parada sem ninguem saber.
+            (0, gates_1.registrarGateBloqueado)(dir, thread.id, { gate: 'phase.dispatch', motivo: 'runtime.unavailable', modo: thread.modo,
+                detalhe: erro, correcao: correcaoDoRetry, fase, slug, runtime, origem: 'phase.run', ...promptNoLedger, ...daSessao,
+                evidencia: 'saida real do runtime adapter no despacho, nao relato do agente' });
             return {
                 thread,
                 slug,
@@ -1091,8 +1194,11 @@ function tabelaDoLedger(raiz, threadId) {
     // Thread inexistente e erro, nao ledger vazio: o CLI precisa reprovar o id errado.
     (0, thread_1.lerThread)(raiz, threadId);
     const eventos = (0, ledger_1.lerLedger)((0, thread_1.dirThread)(raiz, threadId));
+    // RM-061 (F2a): a moldura e os rotulos vem do catalogo; o valor de cada evento (decisao, estado,
+    // erro, detalhe) e dado do ledger e sai como foi gravado.
+    const m = (0, locale_1.msg)().phase;
     if (eventos.length === 0) {
-        return `Ledger vazio para a thread ${threadId}.`;
+        return m.ledgerVazio(threadId);
     }
     const linhas = eventos.map((e) => {
         const detalhe = [];
@@ -1101,86 +1207,88 @@ function tabelaDoLedger(raiz, threadId) {
         if (e.slug)
             detalhe.push(String(e.slug));
         if (e.sessionId)
-            detalhe.push(`sessao ${String(e.sessionId).slice(0, 8)}`);
+            detalhe.push(m.sessao(String(e.sessionId).slice(0, 8)));
         if (e.decisao)
             detalhe.push(String(e.decisao));
         if (e.previstaSobre)
-            detalhe.push(`pausa sobre ${String(e.previstaSobre)}`);
+            detalhe.push(m.pausaSobre((0, locale_1.msg)().thread.pausaSobre(String(e.previstaSobre))));
         if (e.encontrada !== undefined)
-            detalhe.push(`no runtime: ${e.encontrada ? 'sim' : 'nao'}`);
+            detalhe.push(m.noRuntime(!!e.encontrada));
         // Fato verificavel do despacho: o par modelo/esforco real, lido do proprio evento.
         if (e.model)
-            detalhe.push(`modelo ${String(e.model)}/${String(e.effort ?? '-')}`);
+            detalhe.push(m.modelo(String(e.model), String(e.effort ?? '-')));
         // Eventos do bloco B1: motivo tipado, veredito e as provas do ship.
         if (e.motivo)
-            detalhe.push(`motivo ${String(e.motivo)}`);
+            detalhe.push(m.motivo(String(e.motivo)));
         if (e.claim)
             detalhe.push(`claim ${String(e.claim)}`);
         if (e.veredito)
-            detalhe.push(`veredito: ${String(e.veredito)}`);
+            detalhe.push(m.veredito(String(e.veredito)));
         if (e.fonte && e.ocupacao !== undefined) {
-            detalhe.push(`ocupacao ${e.ocupacao === null ? 'nao medivel' : String(e.ocupacao)} (${String(e.fonte)})`);
+            detalhe.push(m.ocupacao(e.ocupacao === null ? null : String(e.ocupacao), String(e.fonte)));
         }
         if (e.slugSugerido)
-            detalhe.push(`proximo slug ${String(e.slugSugerido)}`);
+            detalhe.push(m.proximoSlug(String(e.slugSugerido)));
         if (e.lease)
             detalhe.push(`lease ${String(e.lease)}`);
         // Eventos do bloco B3: acao de retry, playbook da retomada e rodada de GO-FIX.
         if (e.acao)
-            detalhe.push(`acao ${String(e.acao)}`);
+            detalhe.push(m.acao(String(e.acao)));
         if (e.playbook)
             detalhe.push(`playbook ${String(e.playbook)}`);
-        if (e.pedido)
-            detalhe.push(`pedido ${String(e.pedido)}`);
+        // Ensaio de 03/10/2026 (RM-049): na decisao autonoma o pedido e o objeto `ork.hitl/v2`, e a tabela
+        // mostrava "pedido [object Object]"; do objeto sai o id curto.
+        if (typeof e.pedido === 'string' && e.pedido !== '')
+            detalhe.push(m.pedido(e.pedido));
+        else if (e.pedido && typeof e.pedido === 'object' && typeof e.pedido.id === 'string') {
+            detalhe.push(m.pedido(e.pedido.id.slice(0, 8)));
+        }
         if (e.rodada !== undefined)
-            detalhe.push(`rodada ${String(e.rodada)}`);
+            detalhe.push(m.rodada(String(e.rodada)));
         if (e.cobertura)
-            detalhe.push(`cobertura ${String(e.cobertura)}`);
+            detalhe.push(m.cobertura(String(e.cobertura)));
         if (e.liberaEm)
-            detalhe.push(`libera em ${(0, horario_1.formatarDataHora)(String(e.liberaEm))}`);
+            detalhe.push(m.liberaEm((0, horario_1.formatarDataHora)(String(e.liberaEm))));
         if (e.tentativa !== undefined && e.limite !== undefined) {
-            detalhe.push(`tentativa ${String(e.tentativa)}/${String(e.limite)}`);
+            detalhe.push(m.tentativa(String(e.tentativa), String(e.limite)));
         }
         if (e.mergeSha)
             detalhe.push(`merge ${String(e.mergeSha).slice(0, 8)}`);
         if (e.shaRemoto)
-            detalhe.push(`remoto ${String(e.shaRemoto).slice(0, 8)}`);
+            detalhe.push(m.remoto(String(e.shaRemoto).slice(0, 8)));
         if (e.pushVerificado !== undefined)
-            detalhe.push(`push provado: ${e.pushVerificado ? 'sim' : 'nao'}`);
+            detalhe.push(m.pushProvado(!!e.pushVerificado));
         if (e.autorizadoPor)
-            detalhe.push(`autorizado por ${String(e.autorizadoPor)}`);
+            detalhe.push(m.autorizadoPor(String(e.autorizadoPor)));
         if (e.sobre)
-            detalhe.push(`sobre ${String(e.sobre)}`);
+            detalhe.push(m.sobre(String(e.sobre)));
         if (e.estado)
             detalhe.push(String(e.estado));
         if (typeof e.de === 'string' && typeof e.para === 'string') {
             detalhe.push(`${e.de} -> ${e.para}`);
         }
         if (e.dryRun === true)
-            detalhe.push('ensaio (--dry-run)');
+            detalhe.push(m.ensaio);
         if (e.tipo === ledger_1.TIPOS_DE_EVENTO.worktreeCriada && e.dir) {
-            detalhe.push(`${String(e.branch)} em ${String(e.dir)}`);
+            detalhe.push(m.worktreeEm(String(e.branch), String(e.dir)));
         }
         if (e.inline !== undefined) {
-            detalhe.push(`triagem ${String(e.inline)} inline / ${String(e.pointers)} ponteiros / ${String(e.summaries)} resumos`);
+            detalhe.push(m.triagem(String(e.inline), String(e.pointers), String(e.summaries)));
         }
         if (e.location)
-            detalhe.push(`ponteiro ${String(e.location)}`);
+            detalhe.push(m.ponteiro(String(e.location)));
         if (e.erro)
-            detalhe.push(`erro: ${String(e.erro)}`);
+            detalhe.push(m.erro(String(e.erro)));
         if (e.detalhe && !e.decisao)
             detalhe.push((0, horario_1.localizarTexto)(String(e.detalhe)).slice(0, 90));
         if (e.modo && !e.fase)
-            detalhe.push(`modo ${String(e.modo)}`);
+            detalhe.push(m.modo(String(e.modo)));
         return [(0, horario_1.formatarDataHora)(e.ts, { segundos: true }), e.tipo, detalhe.join(' | ')];
     });
-    return `${(0, util_1.tabela)(['QUANDO', 'EVENTO', 'DETALHE'], linhas)}\n${(0, horario_1.legendaDoFuso)()}`;
+    return `${(0, util_1.tabela)([...m.colunas], linhas)}\n${(0, horario_1.legendaDoFuso)()}`;
 }
 /** Slug legivel por humano de uma sessao (usado nas mensagens do CLI). */
 function descreverSlug(slug) {
     const p = (0, slug_1.parseSlug)(slug);
-    if (!p)
-        return slug;
-    const rot = p.rotacao ? `, rotacao ${p.rotacao}` : '';
-    return `produto "${p.produto}", assunto "${p.assunto}", fases "${p.fases}"${rot}`;
+    return p ? (0, locale_1.msg)().thread.slug(p.produto, p.assunto, p.fases, p.rotacao) : slug;
 }

package/dist/policies.js

@@ -11,8 +11,9 @@
  * ela volta na lista de desconhecidas, para o `doctor` e o CLI dizerem que ela nao vale.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.POLICIES_CONHECIDAS = void 0;
+exports.POLICIES_DE_PROVA_LOCAL = exports.POLICIES_CONHECIDAS = void 0;
 exports.procurarSegredos = procurarSegredos;
+exports.policyDeProvaLocal = policyDeProvaLocal;
 exports.policiesDesconhecidas = policiesDesconhecidas;
 exports.avaliarPolicies = avaliarPolicies;
 exports.avisos = avisos;
@@ -20,6 +21,7 @@ exports.bloqueantes = bloqueantes;
 exports.motivoDominante = motivoDominante;
 exports.linhasDeAviso = linhasDeAviso;
 exports.textoDeViolacoes = textoDeViolacoes;
+const locale_1 = require("./locale");
 /**
  * Variaveis que REDIRECIONAM o despacho do `claude` para um provider pago.
  * Mesma lista do `ork doctor`: presenca delas com `subscription-only` e bloqueante.
@@ -95,7 +97,28 @@ exports.POLICIES_CONHECIDAS = {
         quando: ['ship'],
         descricao: 'avisa quando a branch da thread esta atras da base',
     },
+    // RM-008 (B8): a licao `claims.failed` ("rode o comando da claim antes de registra-la"). Desligada por
+    // padrao; declarada, o `ork claims add` roda o comando uma vez no prazo do verify. So avisa, nunca para.
+    claim_sem_prova_local: {
+        quando: ['claims.add'],
+        descricao: 'avisa quando o comando da claim reprova (ou estoura o prazo do verify) no registro',
+    },
+    claims_failed: {
+        quando: ['claims.add'],
+        descricao: 'a mesma conferencia de claim_sem_prova_local, com o nome que o ork licoes propoe',
+    },
 };
+/** RM-008 (B8): as policies que conferem a claim no registro (um aviso so, como verify_regression e verify_failed). */
+exports.POLICIES_DE_PROVA_LOCAL = ['claim_sem_prova_local', 'claims_failed'];
+/** A primeira policy de prova local declarada fora de `off`, ou `null` (o `claims add` nao roda nada). */
+function policyDeProvaLocal(manifesto) {
+    const declaradas = manifesto.policies ?? {};
+    for (const [nome, bruta] of Object.entries(declaradas)) {
+        if (exports.POLICIES_DE_PROVA_LOCAL.includes(nome) && severidade(bruta) !== 'off')
+            return nome;
+    }
+    return null;
+}
 /**
  * Ensaio da 0.5.0: a thread criada sem `--worktree auto` entrega a base para a base, e a correcao
  * repetia o proprio `ork ship`. A thread que ainda nao passou do GO ganha a branch com
@@ -122,6 +145,8 @@ function avaliarPolicies(manifesto, ctx) {
     const violacoes = [];
     // verify_regression e verify_failed conferem a mesma coisa: um aviso so, com o nome da primeira declarada.
     let baselineJaAvaliada = false;
+    // claim_sem_prova_local e claims_failed idem.
+    let provaLocalJaAvaliada = false;
     for (const [nome, bruta] of Object.entries(declaradas)) {
         const conhecida = exports.POLICIES_CONHECIDAS[nome];
         if (!conhecida || !conhecida.quando.includes(ctx.gate))
@@ -224,6 +249,33 @@ function avaliarPolicies(manifesto, ctx) {
             }
             continue;
         }
+        if (exports.POLICIES_DE_PROVA_LOCAL.includes(nome)) {
+            if (provaLocalJaAvaliada)
+                continue;
+            provaLocalJaAvaliada = true;
+            const r = ctx.provaLocalReprovada;
+            if (r) {
+                const id = ctx.threadId ?? '<thread>';
+                violacoes.push({
+                    policy: nome,
+                    // O registro de claim nunca para: `block` declarado avisa como `warn`.
+                    severidade: 'warn',
+                    motivo: r.estourou ? 'verify.timeout' : 'claims.failed',
+                    detalhe: r.semDiretorio
+                        ? `a worktree da thread (${r.semDiretorio}) nao existe; o comando da claim ${r.claim} nao rodou e a claim entrou sem prova local`
+                        : r.estourou
+                            ? `o comando da claim ${r.claim} estourou o prazo do verify (${Math.round(r.prazoMs / 1000)} s) no registro; a claim entrou sem prova local`
+                            : `o comando da claim ${r.claim} saiu ${r.code} no registro; a claim entrou sem prova local e reprova no verify`,
+                    correcao: r.semDiretorio
+                        ? `recrie a worktree da thread (ou feche a thread que perdeu a worktree); depois, ork verify ${id}`
+                        : r.estourou
+                            ? `divida o comando ou suba verify.timeout_ms; depois, ork verify ${id}`
+                            : `corrija o produto ou o comando e anexe o certo com ork claims verificar ${id} ${r.claim} --comando "<comando>"; ` +
+                                `se a alegacao nao vale, ork claims retirar ${id} ${r.claim} --motivo "<motivo>"`,
+                });
+            }
+            continue;
+        }
         if (nome === 'tree_blocked') {
             if (ctx.branchAtrasDaBase === true) {
                 violacoes.push({
@@ -262,10 +314,9 @@ function motivoDominante(violacoes) {
 }
 /** RM-008 (fatia 3): as linhas de aviso (policies em warn) para a saida do CLI. Nada quando nao ha aviso. */
 function linhasDeAviso(violacoes, recuo = '  ') {
-    return avisos(violacoes).flatMap((v) => [
-        `${recuo}aviso da policy ${v.policy}: ${v.detalhe}`,
-        `${recuo}  correcao: ${v.correcao}`,
-    ]);
+    // RM-061 (F2a): a moldura segue o locale do comando; detalhe e correcao sao dado da policy avaliada.
+    const m = (0, locale_1.msg)().phase;
+    return avisos(violacoes).flatMap((v) => [m.avisoDaPolicy(recuo, v.policy, v.detalhe), m.avisoCorrecao(recuo, v.correcao)]);
 }
 /** Texto das violacoes para a saida do CLI. */
 function textoDeViolacoes(violacoes) {

package/dist/portfolio.js

@@ -33,6 +33,7 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.ID_DE_ENTIDADE = void 0;
 exports.readPortfolio = readPortfolio;
 exports.findEntity = findEntity;
 exports.createProduct = createProduct;
@@ -44,10 +45,12 @@ exports.assertCycleScope = assertCycleScope;
 /** Catálogo determinístico de produto -> projeto -> iniciativa. */
 const fs = __importStar(require("node:fs"));
 const project_state_1 = require("./project-state");
+const estado_thread_1 = require("./estado-thread");
 const company_brain_journal_1 = require("./company-brain-journal");
 const util_1 = require("./util");
 const creation_operation_store_1 = require("./creation-operation-store");
-const ID = /^(prod|proj|init)-[a-z0-9][a-z0-9-]{2,47}$/;
+/** Id de produto, projeto ou iniciativa: o mesmo que o Brain recebe e o conhecimento cita (RM-026 K7, D3). */
+exports.ID_DE_ENTIDADE = /^(prod|proj|init)-[a-z0-9][a-z0-9-]{2,47}$/;
 const PREFIX = { product: 'prod-', project: 'proj-', initiative: 'init-' };
 const statuses = ['idea', 'planned', 'ready', 'in_progress', 'validating', 'delivered', 'blocked', 'cancelled'];
 const unique = (values = []) => [...new Set(values.map((v) => v.trim()).filter(Boolean))];
@@ -65,10 +68,12 @@ function readPortfolio(root) {
 }
 function persist(root, value) { value.updatedAt = (0, util_1.agora)(); (0, company_brain_journal_1.replaceWithJournal)(file(root), value); return value; }
 function mutatePortfolio(root, run) {
-    return (0, creation_operation_store_1.withCreationLock)(root, 'portfolio', () => (0, company_brain_journal_1.portfolioMutation)(file(root), run));
+    // RM-036 (D5): o portfolio.json e canonico, e o lock de espera tambem: chamado da raiz ou de uma worktree,
+    // quem chega depois espera a vez, em vez de recusar com brain.journal.busy no lock interno.
+    return (0, creation_operation_store_1.withCreationLock)((0, estado_thread_1.raizDoEstado)(root), 'portfolio', () => (0, company_brain_journal_1.portfolioMutation)(file(root), run));
 }
 function validateBase(kind, input) {
-    if (!ID.test(input.id) || !input.id.startsWith(PREFIX[kind]))
+    if (!exports.ID_DE_ENTIDADE.test(input.id) || !input.id.startsWith(PREFIX[kind]))
         throw new Error(`${kind} exige id ${PREFIX[kind]}...`);
     if (!input.title.trim() || input.title.length > 160)
         throw new Error('título deve ter entre 1 e 160 caracteres');