@orkastery/cli 0.5.0 → 0.5.1

package/dist/entrega-pr.js

@@ -81,6 +81,10 @@ function registrarEntregaPorPr(carregado, threadId, opcoes = {}) {
     if (ci.required && !ci.ok) {
         return resultado(threadId, 'recusada', `sem CI verde no head do PR: ${ci.detail}`, { ...merge, ci });
     }
+    // RM-037 (fatia 3, defeito 6): o ensaio confere tudo e para aqui, sem ledger, fase nem fabrica.
+    if (opcoes.dryRun) {
+        return resultado(threadId, 'registraria', `ensaio: registraria ship_done pelo merge ${merge.mergeSha.slice(0, 7)} do PR (nada gravado)`, { ...merge, ci });
+    }
     (0, ledger_1.registrar)(dir, threadId, ledger_1.TIPOS_DE_EVENTO.shipConcluido, {
         de: thread.base?.branch ?? null,
         para: base,
@@ -174,6 +178,9 @@ function registrarEntregaExternaPorPr(carregado, threadId, opcoes) {
     if (ci && !ci.ok) {
         return resultado(threadId, 'recusada', `sem CI verde no head do PR: ${ci.detail}`, { mergeSha, headSha, ci });
     }
+    if (opcoes.dryRun) {
+        return resultado(threadId, 'registraria', `ensaio: registraria ship_done pelo merge ${mergeSha.slice(0, 7)} do PR #${n} de ${repo} (nada gravado)`, { mergeSha, headSha, ci });
+    }
     (0, ledger_1.registrar)(dir, threadId, ledger_1.TIPOS_DE_EVENTO.shipConcluido, {
         de: thread.base?.branch ?? null,
         para: `${repo}:${base}`,

package/dist/fabrica-estado.js

@@ -33,7 +33,7 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.PULSACAO_MS = exports.DIR_DA_FABRICA = exports.BRANCH_DA_FABRICA = exports.CONTRATO_MAQUINA = void 0;
+exports.LIMIAR_SEM_BATIDA_MS = exports.PULSACAO_MS = exports.DIR_DA_FABRICA = exports.BRANCH_DA_FABRICA = exports.CONTRATO_MAQUINA = void 0;
 exports.despachoDaThread = despachoDaThread;
 exports.runtimeDaThread = runtimeDaThread;
 exports.arquivoDaMaquina = arquivoDaMaquina;
@@ -76,6 +76,7 @@ const horario_1 = require("./horario");
 const ledger_1 = require("./ledger");
 const modos_1 = require("./modos");
 const orquestracao_1 = require("./orquestracao");
+const parado_no_condutor_1 = require("./parado-no-condutor");
 const roadmap_reservas_1 = require("./roadmap-reservas");
 const thread_1 = require("./thread");
 const util_1 = require("./util");
@@ -90,6 +91,12 @@ const PREFIXO = 'fabrica';
 const TENTATIVAS = 5;
 /** Retrato igual ao ultimo publicado so volta ao remoto depois disto: e o sinal de vida da maquina. */
 exports.PULSACAO_MS = 60 * 60 * 1000;
+/**
+ * Maquina sem retrato novo ha mais disto esta sem batida: o mesmo limiar da rede (RM-053, `SEM_BATIDA_MS`).
+ * RM-037 (fatia 4): mora aqui, junto da pulsacao, porque o status do roadmap tambem o le; o panorama da
+ * rede o reexporta.
+ */
+exports.LIMIAR_SEM_BATIDA_MS = 3 * 60 * 60 * 1000;
 const ARQUIVO_DA_MARCA = 'fabrica-publicada.json';
 const ARQUIVO_DO_LOG = 'fabrica.log';
 /** O trio do ultimo `phase_dispatch` do ledger da thread; tudo `null` quando nao ha despacho legivel. */
@@ -155,9 +162,20 @@ function retratoDaMaquina(carregado, opcoes = {}) {
     const entregas = entregasNaBase(raiz, carregado.manifesto.worktree.base_branch, remoto);
     const itemDaThread = new Map((0, roadmap_reservas_1.reservasLocais)(raiz, remoto).filter((r) => r.thread).map((r) => [r.thread, r.item]));
     const threads = itens.map(({ thread: t, raiz: raizDoPerfil }) => {
-        const pausa = linhas.get(t.id)?.pausas[0];
         const entregue = entregas.get(t.id) ?? null;
-        const esperaVoce = !entregue && linhas.get(t.id)?.precisaDeHumano === true;
+        // RM-037 (fatia 4): o fim de turno sem pergunta e do condutor, e as outras maquinas nao o leem como espera
+        // do dono. Sai so a pausa que o observador abriu nele; outra pausa da thread continua contando.
+        let espera = null;
+        try {
+            espera = (0, parado_no_condutor_1.esperaDoCondutor)(t, (0, ledger_1.lerLedger)((0, thread_1.dirThread)(raizDoPerfil, t.id)), quando);
+        }
+        catch {
+            espera = null;
+        }
+        const pausas = (linhas.get(t.id)?.pausas ?? []).filter((p) => !(espera && p.motivo === 'human.pending' && p.fonte === 'ledger' &&
+            p.fase === (espera.fase ?? t.faseAtual)));
+        const pausa = pausas[0];
+        const esperaVoce = !entregue && pausas.some((p) => p.sessaoViva !== true);
         return {
             id: t.id, nome: curto(t.nome, 100), modo: (0, modos_1.tagDoModo)(t.modo), fase: t.faseAtual, status: t.status,
             roadmap: t.roadmap ?? itemDaThread.get(t.id) ?? null, branch: t.base?.branch ?? null,

package/dist/fix.js

@@ -150,7 +150,7 @@ function derivarCorrecoes(thread, rodada, resultado, idsUsados) {
     }
     for (const cmd of resultado.regressoes) {
         nascer('verify.regression', `comando ${cmd.nome}`, `REGRESSAO: "${cmd.comando}" passava na baseline gravada antes do GO (commit ` +
-            `${resultado.baseline?.commit.slice(0, 8) ?? 'desconhecido'}) e falha agora. Este defeito ` +
+            `${resultado.baseline ? (0, util_1.shaCurto)(resultado.baseline.commit) : 'desconhecido'}) e falha agora. Este defeito ` +
             'e desta thread, nao divida pre-existente. Corrija ate o comando voltar a passar.', [cmd.comando], `codigo ${cmd.code}:\n${cmd.resumo}`);
     }
     for (const cmd of resultado.falhasSemBaseline) {
@@ -339,7 +339,7 @@ function reverificarSobConducao(carregado, threadId, opcoes) {
         veredito = 'PASSOU';
         razao =
             `${vereditos.length} correcao(oes) aprovada(s) por comando reexecutado no HEAD real` +
-                (verify ? `, com o verify completo verde no commit ${verify.commit.slice(0, 8)}` : '');
+                (verify ? `, com o verify completo verde no commit ${(0, util_1.shaCurto)(verify.commit)}` : '');
     }
     else if (rodadas >= limite) {
         veredito = 'BLOQUEADO';
@@ -459,7 +459,7 @@ function textoDoReverify(r) {
     }
     if (r.verify) {
         linhas.push('');
-        linhas.push(`Verify completo no HEAD ${r.verify.commit.slice(0, 8)}: ${r.verify.ok ? 'verde' : `reprovado (${r.verify.motivos.join(', ')})`}`);
+        linhas.push(`Verify completo no HEAD ${(0, util_1.shaCurto)(r.verify.commit)}: ${r.verify.ok ? 'verde' : `reprovado (${r.verify.motivos.join(', ')})`}`);
     }
     linhas.push('');
     linhas.push(`Veredito final: ${r.veredito}`);

package/dist/hitl-resumo.js

@@ -1,7 +1,9 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.SEM_PERGUNTA_NO_RESUMO = exports.TETO_DE_DECISOES_DETALHADAS = exports.TETO_DE_ESPERAS_POR_MAQUINA = exports.TETO_DE_THREADS_NOMEADAS = exports.PERGUNTA_DO_RESUMO = exports.CONTRATO_RESUMO = void 0;
+exports.SEM_PERGUNTA_NO_RESUMO = exports.TETO_DE_DECISOES_DETALHADAS = exports.TETO_DE_ESPERAS_POR_MAQUINA = exports.TETO_DE_PARADOS_NO_CONDUTOR = exports.TETO_DE_THREADS_NOMEADAS = exports.PERGUNTA_DO_RESUMO = exports.CONTRATO_RESUMO = void 0;
 exports.resumirHitl = resumirHitl;
+exports.linhaDoParadoNoCondutor = linhaDoParadoNoCondutor;
+exports.linhasDoCondutor = linhasDoCondutor;
 exports.linhaDosTecnicos = linhaDosTecnicos;
 exports.linhasDasOutrasMaquinas = linhasDasOutrasMaquinas;
 exports.linhasDasDecisoes = linhasDasDecisoes;
@@ -55,8 +57,27 @@ function resumirHitl(itens, opcoes) {
         ...(opcoes.outrasMaquinas?.length ? { outrasMaquinas: opcoes.outrasMaquinas.map(m => ({ ...m, esperando: [...m.esperando] })) } : {}),
         tecnicos: tecnicos.length,
         threadsTecnicas: [...new Set(tecnicos.map(i => i.thread).filter((t) => !!t))].sort(),
+        ...(opcoes.paradosNoCondutor?.length ? { paradosNoCondutor: opcoes.paradosNoCondutor.map(p => ({ thread: p.thread, caso: p.caso,
+                desdeEm: p.desdeEm, proximoPasso: p.proximoPasso })) } : {}),
     };
 }
+/** Quantas linhas do condutor o resumo mostra antes de contar o resto. */
+exports.TETO_DE_PARADOS_NO_CONDUTOR = 5;
+/**
+ * RM-037 (fatia 4): "<thread> parado no condutor desde HH:MM: <proximo passo>", a mesma frase no pulse,
+ * no resumo dos dois canais e no status do roadmap. O horario sai no fuso do dono.
+ */
+function linhaDoParadoNoCondutor(p, opcoes) {
+    const { desdeEm: desde } = p;
+    return `${p.thread} parado no condutor desde ${(0, horario_1.formatarHora)(desde, opcoes)}: ${p.proximoPasso}`;
+}
+/** As linhas do condutor no resumo, uma por thread, com o resto contado. */
+function linhasDoCondutor(r, marcador, recuo) {
+    const parados = r.paradosNoCondutor ?? [];
+    const mostradas = parados.slice(0, exports.TETO_DE_PARADOS_NO_CONDUTOR), sobra = parados.length - mostradas.length;
+    return [...mostradas.map(p => `${marcador}${linhaDoParadoNoCondutor(p, { agora: r.consultadoEm })}`),
+        ...(sobra > 0 ? [`${recuo}e mais ${sobra}: ork pulse`] : [])];
+}
 /** RM-048 (D6): a linha do que e tecnico, igual nos dois canais. Nao pede nada ao dono. */
 function linhaDosTecnicos(r) {
     const nomes = r.threadsTecnicas.length ? ` (${nomearThreads(r.threadsTecnicas)})` : '';
@@ -180,6 +201,7 @@ function textoTelegram(r, codigo) {
         `❓ ${linhaDasPerguntas(r.prontas)}`,
         ...(r.tecnicos ? [`🔧 ${linhaDosTecnicos(r)}`] : []),
         ...(r.consertos ? [`🔧 ${linhaDosConsertos(r.consertos)}`] : []),
+        ...(r.paradosNoCondutor?.length ? ['', ...linhasDoCondutor(r, '🚧 ', '   ')] : []),
         ...(r.acumuladas ? ['', `📥 ${linhaDoLoteGuardado(r.acumuladas)}`] : []),
         ...(r.decisoes.length || r.acimaDoLimiar.length ? ['', ...linhasDasDecisoes(r, '🧭 ', '   ')] : []),
         ...(r.outrasMaquinas?.length ? ['', ...linhasDasOutrasMaquinas(r, '🖥️ ', '   ')] : []),
@@ -210,6 +232,7 @@ function textoTerminal(r, codigo) {
             ? ['', `  threads travadas (${r.threadsBloqueadas.length}): ${nomearThreads(r.threadsBloqueadas)}`] : []),
         ...(r.tecnicos ? ['', `  ${linhaDosTecnicos(r)}`] : []),
         ...(r.consertos ? ['', `  ${linhaDosConsertos(r.consertos)}`] : []),
+        ...(r.paradosNoCondutor?.length ? ['', ...linhasDoCondutor(r, '  ', '  ')] : []),
         ...(r.acumuladas ? ['', `  ${linhaDoLoteGuardado(r.acumuladas)}`] : []),
         ...(r.decisoes.length || r.acimaDoLimiar.length ? ['', ...linhasDasDecisoes(r, '', '  ').map(l => l.startsWith('  ') ? l : `  ${l}`)] : []),
         ...(r.outrasMaquinas?.length ? ['', ...linhasDasOutrasMaquinas(r, '', '  ').map(l => l.startsWith('  ') ? l : `  ${l}`)] : []),

package/dist/hosts.js

@@ -92,8 +92,8 @@ exports.HOSTS = {
         pitfalls: [
             {
                 titulo: 'manifesto sem os caminhos das skills instala limpo e nao expoe nada',
-                detalhe: 'o plugin auto-descobre skills/<nome>/SKILL.md e para ai: ele nao desce nos buckets (core/, phases/, reviewers/, ...) que este catalogo usa, entao o plugin.json declara os 17 caminhos um a um',
-                prova: 'claude plugin details orkastery   # a contagem precisa bater com os SKILL.md em disco',
+                detalhe: 'o plugin auto-descobre skills/<nome>/SKILL.md e para ai: ele nao desce nos buckets (core/, phases/, reviewers/, ...) que este catalogo usa, entao o plugin.json declara cada caminho de skill, um a um',
+                prova: 'claude plugin details orkastery   # Skills (N) soma as skills do plugin.json e os comandos de commands/',
             },
             {
                 titulo: 'duas copias do catalogo divergem',
@@ -510,8 +510,12 @@ function textoDosPitfalls(host) {
 /** Texto de `ork adapter install`. */
 function textoDaInstalacao(r) {
     const linhas = [];
+    // Ensaio da 0.5.0: com o pacote ativo e pulado por aviso (catalogo fora do projeto), a linha dizia
+    // "desativada"; o aviso logo abaixo diz o motivo.
     if (r.experiencia)
-        linhas.push(`Experiência: ${r.experiencia.ativa ? 'ativação preparada' : 'desativada ou sem integração de skills'}${r.experiencia.skill ? ` (${r.experiencia.skill})` : ''}.`);
+        linhas.push(`Experiência: ${r.experiencia.ativa ? 'ativação preparada'
+            : r.experiencia.aviso ? 'pacote pulado nesta instalação, veja o aviso abaixo' : 'desativada ou sem integração de skills'}` +
+            `${r.experiencia.skill ? ` (${r.experiencia.skill})` : ''}.`);
     if (r.experiencia?.aviso)
         linhas.push(`Aviso: ${r.experiencia.aviso}`);
     linhas.push(r.dryRun

package/dist/index.js

@@ -227,11 +227,11 @@ Uso: ork [--projeto <nome|caminho>] <comando> [argumentos]
   modos                                     Tabela dos ${modos_1.ORDEM_DOS_MODOS.length} modos de conducao vivos por #TAG
 
   setup                                     Pauta da entrevista #setup: runtime/modelo/esforco
+                                            por bloco de cada modo (default claude-bg/opus/high; #Fast: sonnet)
   onboarding [show|set <etapa>|reset [etapa]] Pauta e respostas do projeto (9 etapas)
-        [--conteudo JSON] [--por Q] [--json]  Valores secretos somente em ~/.hermes/.env
+        [--conteudo JSON] [--por Q] [--json]  Segredos ficam ${onboarding_1.ONDE_FICAM_OS_SEGREDOS}
         [--reset [etapa]]                    Reset seletivo ou total, idempotente
   onboarding sync [--json]                  Publicação opcional na memória, com degradação
-                                            por bloco de cada modo (default claude-bg/opus/high; #Fast: sonnet)
   experiencia show [--json]                 Preferências efetivas; configure por onboarding set maestro --conteudo '{"owner":{"experience":true}}'
   experiencia uninstall <host> [--dry-run] [--json]
                                             Remove o bloco de Claude Code/Codex; sem --dry-run aplica a remoção
@@ -378,14 +378,18 @@ Uso: ork [--projeto <nome|caminho>] <comando> [argumentos]
         [--dry-run] [--json]                     com tokens e custo estimados; --dry-run nao chama o provider
 
   grafo indexar [--verificar] [--forcar]    Indice do grafo de codigo do HEAD limpo (RM-031 KG3) no estado do projeto:
-        [--json]                                 pastas 0700, chave por revisao e extrator, idempotente; --verificar
-                                                 confere contrato, bytes e determinismo; precisa de typescript e micromark
+        [--json]                                 pastas 0700, chave por revisao e extrator, idempotente; incremental (KG4)
+                                                 a partir do indice ancestral, ou completo com o motivo; --forcar extrai
+                                                 completo; --verificar confere contrato, bytes, determinismo e o incremental
+                                                 contra a completa; precisa de typescript e micromark
   grafo status [--json]                     Indices guardados, o do HEAD, os analisadores e o tamanho
   grafo vizinhos <no> [--profundidade N]    Vizinhanca de arquivo ou simbolo, com extrator e evidencia de cada aresta
         [--sentido entrada|saida|ambos] [--tipo T,...] [--limite N] [--json]
   grafo chamadores <simbolo>                Quem chama (arestas calls que chegam) [--profundidade N] [--limite N] [--json]
   grafo importadores <arquivo|simbolo>      Quem importa (arestas imports que chegam) [--profundidade N] [--limite N] [--json]
   grafo caminho <de> <para>                 Menor caminho pelas arestas [--sentido saida|entrada|ambos] [--tipo T,...] [--json]
+        [--json --teto-bytes N]                  Nas quatro consultas (KG5): JSON compacto de no maximo N bytes; as arestas mais
+                                                 longe do alvo saem ate caber, e o caminho que nao cabe recusa
   grafo amostra [--por-estrato N]           Amostra de arestas para auditoria manual; --conferir ARQ confere a auditada
   grafo limpar [--tudo] [--json]            Apaga os indices que nao sao do HEAD e as sobras com mais de uma hora
 
@@ -393,6 +397,7 @@ Uso: ork [--projeto <nome|caminho>] <comando> [argumentos]
   ship registrar-pr <thread-id>|--todas    A entrega feita por PR vira ship_done: merge ship(<thread>) na base
         [--remoto R] [--json]                    remota e CI verde no head do PR; depois, ork master --aceitar-omissao
         [--repo <dono/nome> --pr <n>]            PR mesclado em repositorio externo de ci.external_repositories
+        [--dry-run]                              Ensaio: as mesmas conferencias, sem gravar ship_done, fase nem fabrica
         [--de <branch>] [--remoto origin] [--autorizar-push <quem>] [--sem-push] [--dry-run]
 
   board [--all] [--sem-remoto]              Visao unica das threads (todos os perfis com --all); com a
@@ -467,7 +472,8 @@ Uso: ork [--projeto <nome|caminho>] <comando> [argumentos]
   network roadmap [--projeto P] [--json]    Roadmap, reservas e threads de cada maquina de cada projeto, de qualquer diretorio:
         [--sem-remoto]                           fonte e hora de cada parte, lacuna tipada no que nao leu. P = caminho do clone,
                                                  github:dono/repo, gitlab:grupo/repo ou nome conhecido; sem clone, le a forja (RM-054)
-  docs verificar [--json]                   Documentacao de produto e roadmap contra o codigo e o git
+  docs verificar [--json] [--pr]            Documentacao de produto e roadmap contra o codigo e o git; no PR (--pr),
+                                            o merge de outra thread e o indice que divergem da main so avisam
                                             (padrao do dono: frontmatter, leitura, paridade; sai != 0 com erro)
   docs sincronizar [--escrever]             Fatos do ledger e do git para o roadmap (merge, fase) e indices;
                                             sem --escrever so mostra; nunca muda status por passagem de tempo
@@ -725,14 +731,20 @@ function comandoThread(args) {
         console.log((0, thread_1.resumoDaThread)(thread));
         console.log('');
         console.log(`  slug em 3 partes: ${(0, phase_1.descreverSlug)(thread.slug)}`);
+        const avisoSemBase = (0, thread_1.avisoDeThreadSemBase)(thread, gravada);
         if (gravada) {
             console.log(`  estado: .orkastery/threads/${thread.id}/thread.json`);
             // Bloco B6: a origem da thread e as policies do projeto vao para a memoria
             // semantica quando ela esta ligada. Em regime files nada muda nesta saida.
             relatarPublicacao((0, memoria_1.publicar)(carregado, thread.id));
-            console.log('');
-            console.log(`Proximo passo: ork phase run ${thread.id} ${thread.faseAtual} --prompt "<pedido>"`);
+            // Thread sem base nao tem fase para rodar: o proximo passo e o do aviso.
+            if (!avisoSemBase) {
+                console.log('');
+                console.log(`Proximo passo: ork phase run ${thread.id} ${thread.faseAtual} --prompt "<pedido>"`);
+            }
         }
+        if (avisoSemBase)
+            console.error(avisoSemBase);
         return 0;
     }
     if (sub === 'list' || sub === undefined) {
@@ -1534,7 +1546,8 @@ function comandoVerify(args) {
             console.log(`  ${c.nome.padEnd(10)} ${c.ok ? 'passava' : `ja falhava (codigo ${c.code})`}  ${c.comando}`);
         }
         if (b.comandos.length === 0) {
-            console.log('  (nenhum comando em verify: no manifesto; sem baseline nao ha como separar regressao)');
+            // Fatia 2 do ensaio da 0.5.0 (R5): a baseline foi gravada; o que falta e comando, nao baseline.
+            console.log('  (nenhum comando em verify: no manifesto: a baseline guarda so o commit, e o verify nao tem como separar regressao de divida)');
         }
         return 0;
     }
@@ -1952,24 +1965,33 @@ function comandoShip(args) {
         // RM-037 (defeito 5): PR mesclado em repositorio externo declarado em ci.external_repositories.
         const repo = texto(args.opcoes.repo), numeroDoPr = texto(args.opcoes.pr);
         if ((!alvo && args.opcoes.todas !== true) || (!!repo !== !!numeroDoPr) || (repo && !alvo)) {
-            console.error('uso: ork ship registrar-pr <thread-id> [--repo <dono/nome> --pr <n>] | --todas [--remoto R] [--json]');
+            console.error('uso: ork ship registrar-pr <thread-id> [--repo <dono/nome> --pr <n>] | --todas [--remoto R] [--json] [--dry-run]');
             return 2;
         }
-        const r = alvo && repo ? [(0, entrega_pr_1.registrarEntregaExternaPorPr)(carregado, alvo, { repositorio: repo, pr: Number(numeroDoPr) })]
-            : alvo ? [(0, entrega_pr_1.registrarEntregaPorPr)(carregado, alvo, { remoto })] : (0, entrega_pr_1.registrarEntregasPorPr)(carregado, { remoto });
+        // RM-037 (fatia 3, defeito 6): o `--dry-run` era ignorado, e o ensaio gravava o ship_done de verdade.
+        const dryRun = args.opcoes['dry-run'] === true;
+        const r = alvo && repo ? [(0, entrega_pr_1.registrarEntregaExternaPorPr)(carregado, alvo, { repositorio: repo, pr: Number(numeroDoPr), dryRun })]
+            : alvo ? [(0, entrega_pr_1.registrarEntregaPorPr)(carregado, alvo, { remoto, dryRun })] : (0, entrega_pr_1.registrarEntregasPorPr)(carregado, { remoto, dryRun });
         if (args.opcoes.json === true) {
             console.log(JSON.stringify(r, null, 2));
             return r.some((x) => x.acao === 'recusada') ? 1 : 0;
         }
+        if (dryRun)
+            console.log('Ensaio (--dry-run): nada foi gravado.');
         if (r.length === 0)
             console.log('Nenhuma thread aberta com merge ship(<thread>) na base.');
         for (const x of r)
             console.log(`  ${x.thread.padEnd(20)} ${x.acao.padEnd(13)} ${x.motivo}`);
         const registradas = r.filter((x) => x.acao === 'registrou').length;
+        const registrariam = r.filter((x) => x.acao === 'registraria').length;
         if (registradas) {
             console.log('');
             console.log(`${registradas} entrega(s) registrada(s). Fechar pelo MASTER: ork master --aceitar-omissao (a nota humana sobrescreve).`);
         }
+        if (registrariam) {
+            console.log('');
+            console.log(`${registrariam} entrega(s) seria(m) registrada(s). Para gravar, rode o mesmo comando sem --dry-run.`);
+        }
         return r.some((x) => x.acao === 'recusada') ? 1 : 0;
     }
     const id = args.posicionais[1];
@@ -2829,7 +2851,8 @@ function comandoDocs(args) {
     const raiz = carregado?.raiz ?? (0, manifest_1.diretorioDoProjeto)();
     const baseBranch = carregado?.manifesto.worktree?.base_branch ?? 'main';
     if (sub === 'verificar') {
-        const { docs, achados } = (0, docs_1.verificarDocs)(raiz, { baseBranch, ajudaDoCli: AJUDA });
+        // RM-037 (fatia 3, GO-FIX 2): o CI passa --pr no pull_request; no push da main as duas regras novas reprovam.
+        const { docs, achados } = (0, docs_1.verificarDocs)(raiz, { baseBranch, ajudaDoCli: AJUDA, pr: args.opcoes.pr === true });
         if (args.opcoes.json === true) {
             console.log(JSON.stringify({ paginas: docs.length, erros: achados.filter((a) => a.gravidade === 'erro').length,
                 achados }, null, 2));
@@ -2881,7 +2904,7 @@ function comandoDocs(args) {
                 'Proximo passo: copie docs/produto/_modelo-feature.md e docs/roadmap/_modelo-item.md, e rode ork docs verificar'].join('\n'));
         return 0;
     }
-    console.error(`uso: ork docs verificar [--json] | sincronizar [--escrever] [--so RM-NNN] [--todos] | init`);
+    console.error(`uso: ork docs verificar [--json] [--pr] | sincronizar [--escrever] [--so RM-NNN] [--todos] | init`);
     return 2;
 }
 function comandoPrompt(args) {
@@ -3901,6 +3924,9 @@ function main(argvBruto) {
             console.log(`  gerenciador ${r.deteccao.gerenciador}`);
             console.log(`  verify      ${Object.entries(r.deteccao.verify).map(([k, v]) => `${k}="${v}"`).join(', ') || '(nenhum script detectado)'}`);
             console.log(`  AGENTS.md   ${agents.estado}: ${agents.caminho}`);
+            // Fatia 2 do ensaio da 0.5.0 (P3): o estado fica fora do git por um `.gitignore` proprio.
+            if (r.estadoIgnorado)
+                console.log(`  estado      ${manifest_1.DIR_ESTADO}/ fora do git (${manifest_1.DIR_ESTADO}/.gitignore com *; o seu .gitignore fica como está)`);
             console.log('');
             console.log(init_2.PROXIMO_PASSO_INIT);
             return 0;
@@ -3976,7 +4002,9 @@ function main(argvBruto) {
             // Preferência inválida vale o padrão e faz o adapter install pular o pacote: a consulta avisa.
             const avisos = manifesto.avisos.filter(a => a.startsWith('experiencia.config.invalid'));
             console.log(args.opcoes.json ? JSON.stringify({ ...p, avisos }, null, 2) :
-                `Experiência ${p.experience ? 'ativa' : 'desativada'}: ${p.language}, ${p.timezone}, profundidade ${p.depth}.\nSkill: ${p.skill}\nOrigens: ${JSON.stringify(p.origem)}` +
+                `Experiência ${p.experience ? 'ativa' : 'desativada'}: ${p.language}, ${p.timezone}, profundidade ${p.depth}.\nSkill: ${p.skill}\n` +
+                    // Fatia 2 do ensaio da 0.5.0 (R2): as origens em texto, e nao o JSON cru.
+                    `Origens: ${Object.entries(p.origem).map(([chave, origem]) => `${chave} ${origem}`).join(', ')}` +
                     avisos.map(a => `\nAviso: ${a}; o adapter install pula o pacote até ork onboarding set maestro corrigir.`).join(''));
             return 0;
         }

package/dist/init.js

@@ -68,7 +68,12 @@ function nomeDetectado(dirInicial) {
         : path.basename(raizDoRepo(dirInicial));
     return base.replace(/-(novo|new|old|repo|main)$/i, '').toLowerCase();
 }
-/** Branch base do repositorio: origin/HEAD, senao main, senao master, senao a atual. */
+/**
+ * Branch base do repositorio: origin/HEAD, senao main, senao master, senao a do HEAD.
+ * A do HEAD vem de `symbolic-ref`, que responde tambem no repositorio ainda sem commit (ensaio
+ * da 0.5.0: o `git init` sem `init.defaultBranch` nasce em `master`, e o `rev-parse` falhava e
+ * caia em `main`). HEAD destacado nao e branch: vale `main`.
+ */
 function baseBranchDetectada(raiz) {
     const origem = (0, util_1.exec)('git', ['symbolic-ref', '--quiet', 'refs/remotes/origin/HEAD'], raiz);
     if (origem.ok && origem.stdout.trim()) {
@@ -79,8 +84,7 @@ function baseBranchDetectada(raiz) {
             return candidata;
         }
     }
-    const atual = (0, util_1.exec)('git', ['rev-parse', '--abbrev-ref', 'HEAD'], raiz);
-    return atual.ok ? atual.stdout.trim() : 'main';
+    return (0, util_1.branchDoHead)(raiz) ?? 'main';
 }
 function gerenciadorDetectado(dir) {
     if (fs.existsSync(path.join(dir, 'pnpm-lock.yaml')))
@@ -264,6 +268,8 @@ function init(dirInicial, opcoes = {}) {
         return { caminho, criado: false, deteccao };
     }
     (0, util_1.gravar)(caminho, manifestoYaml(deteccao));
-    fs.mkdirSync(path.join(deteccao.raiz, manifest_1.DIR_ESTADO, 'threads'), { recursive: true });
-    return { caminho, criado: true, deteccao };
+    const estado = path.join(deteccao.raiz, manifest_1.DIR_ESTADO);
+    fs.mkdirSync(path.join(estado, 'threads'), { recursive: true });
+    // Fatia 2 do ensaio da 0.5.0 (P3): o estado e da maquina; fica fora do git sem mexer no `.gitignore` do usuario.
+    return { caminho, criado: true, deteccao, estadoIgnorado: (0, util_1.ignorarPastaNoGit)(estado, deteccao.raiz) };
 }

package/dist/integracoes-locais.js

@@ -14,4 +14,6 @@ exports.TESTES_DE_INTEGRACAO_LOCAL = new Set([
     'mcp-git.test.js', 'mcp-server.test.js', 'mcp-ship.test.js', 'mcp-verify.test.js',
     'memory-native-preparation.test.js', 'memory-native-schema.test.js', 'memory-prospective.test.js',
     'memory-publication-profile.test.js', 'native-fixture.test.js', 'orkmind-transport.test.js', 'verify-sandbox.test.js',
+    // RM-037 (fatia 3): o worker do ork_git_commit e o sandbox do verify de verdade, como no mcp-git.test.js.
+    'rm037-fatia3-hard-link-mcp-git.test.js', 'rm037-fatia3-lease-mcp-git.test.js',
 ]);