@orkastery/cli 0.5.0 → 0.5.3

package/dist/branch-de-estado.js

@@ -33,9 +33,11 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.refRemota = void 0;
+exports.refRemota = exports.remotoValido = exports.REMOTO_DO_GIT = void 0;
 exports.git = git;
 exports.exigirGit = exigirGit;
+exports.remotoRedigido = remotoRedigido;
+exports.exigirRemoto = exigirRemoto;
 exports.pontaLocal = pontaLocal;
 exports.buscarBranch = buscarBranch;
 exports.jsonsDaPonta = jsonsDaPonta;
@@ -57,6 +59,7 @@ const node_child_process_1 = require("node:child_process");
 const fs = __importStar(require("node:fs"));
 const os = __importStar(require("node:os"));
 const path = __importStar(require("node:path"));
+const redacao_url_1 = require("./redacao-url");
 function git(raiz, args, extra = {}) {
     const r = (0, node_child_process_1.spawnSync)('git', args, { cwd: raiz, encoding: 'utf8', input: extra.input, timeout: extra.timeoutMs ?? 60000,
         env: { ...process.env, ...extra.env } });
@@ -68,6 +71,42 @@ function exigirGit(raiz, args, prefixo, extra = {}) {
         throw new Error(`${prefixo}.git: git ${args[0]} falhou: ${r.stderr.trim().split('\n').pop() ?? ''}`);
     return r.stdout;
 }
+/**
+ * Nome de remoto do git, como `origin`, `upstream` ou `meu-remoto.2`. O valor vem do manifesto
+ * versionado (`fabrica.remoto`) ou da linha de comando (`--remoto`): quem clona um repositorio roda
+ * o `orkastery.yaml` de outra pessoa. Um valor que comece com `-` viraria opcao do git, e uma URL
+ * escolheria o transporte (`ext::` roda comando): so este formato chega ao git (RM-047).
+ */
+exports.REMOTO_DO_GIT = /^[A-Za-z0-9][A-Za-z0-9._-]*(?:\/[A-Za-z0-9][A-Za-z0-9._-]*)*$/;
+/**
+ * `true` quando o valor e nome de remoto que pode ir ao git como argumento. Suspeitas da revisao de
+ * 03/10: o git aceita `/` no nome (`time/origem`), e a 0.5.2 tambem; cada parte comeca por letra ou
+ * digito, entao a barra nao abre caminho absoluto, `.`/`..`, opcao nem transporte.
+ */
+const remotoValido = (remoto) => typeof remoto === 'string' && remoto.length <= 64 && exports.REMOTO_DO_GIT.test(remoto) && !remoto.includes('..') && !remoto.endsWith('.');
+exports.remotoValido = remotoValido;
+/**
+ * O valor recusado, para a mensagem: sem credencial de URL, sem caractere de controle e curto.
+ * A mensagem vai ao terminal, ao log da publicacao em segundo plano e ao ledger.
+ */
+function remotoRedigido(remoto) {
+    if (typeof remoto !== 'string')
+        return `(${remoto === null ? 'null' : typeof remoto})`;
+    const semCredencial = (0, redacao_url_1.redigirCredenciaisUrl)(remoto);
+    const curto = semCredencial.length > 40 ? `${semCredencial.slice(0, 40)}...` : semCredencial;
+    return JSON.stringify(curto);
+}
+/**
+ * Recusa tipada (`<prefixo>.remoto-invalido`) antes de qualquer chamada ao git com o remoto.
+ * `prefixo` e o de quem usa: `fabrica` na fabrica, `roadmap` nas reservas.
+ */
+function exigirRemoto(remoto, prefixo) {
+    if ((0, exports.remotoValido)(remoto))
+        return remoto;
+    throw new Error(`${prefixo}.remoto-invalido: o remoto ${remotoRedigido(remoto)} não é nome de remoto do git ` +
+        '(letras, dígitos, ".", "_", "-" e "/" entre partes, cada parte começando por letra ou dígito, sem URL); nada foi passado ao git. ' +
+        'Corrija fabrica.remoto no orkastery.yaml ou --remoto (padrão: origin).');
+}
 const refRemota = (remoto, branch) => `refs/remotes/${remoto}/${branch}`;
 exports.refRemota = refRemota;
 /** A ultima copia lida da branch nesta maquina, sem rede. `null` quando nunca foi lida. */
@@ -80,16 +119,32 @@ function pontaLocal(raiz, remoto, branch) {
  * copia local com `atualizado: false`.
  */
 function buscarBranch(raiz, remoto, branch, prefixo, timeoutMs, env) {
-    const r = git(raiz, ['fetch', '--quiet', '--no-tags', remoto, `+refs/heads/${branch}:${(0, exports.refRemota)(remoto, branch)}`], { timeoutMs, env });
-    if (r.ok)
-        return { ponta: exigirGit(raiz, ['rev-parse', '--verify', (0, exports.refRemota)(remoto, branch)], prefixo).trim(), atualizado: true };
-    if (/couldn't find remote ref|could not find remote ref/i.test(r.stderr)) {
-        // A branch ainda nao nasceu: a primeira gravacao a cria. Copia local antiga nao vale mais.
-        git(raiz, ['update-ref', '-d', (0, exports.refRemota)(remoto, branch)]);
-        return { ponta: null, atualizado: true };
+    exigirRemoto(remoto, prefixo);
+    for (let tentativa = 1;; tentativa++) {
+        // `--`: daqui para a frente, so repositorio e refspec, nunca opcao (RM-047).
+        const r = git(raiz, ['fetch', '--quiet', '--no-tags', '--', remoto, `+refs/heads/${branch}:${(0, exports.refRemota)(remoto, branch)}`], { timeoutMs, env });
+        if (r.ok)
+            return { ponta: exigirGit(raiz, ['rev-parse', '--verify', (0, exports.refRemota)(remoto, branch)], prefixo).trim(), atualizado: true };
+        if (/couldn't find remote ref|could not find remote ref/i.test(r.stderr)) {
+            // A branch ainda nao nasceu: a primeira gravacao a cria. Copia local antiga nao vale mais.
+            git(raiz, ['update-ref', '-d', (0, exports.refRemota)(remoto, branch)]);
+            return { ponta: null, atualizado: true };
+        }
+        if (tentativa < TENTATIVAS_NA_DISPUTA_DE_REF && DISPUTA_DE_REF.test(r.stderr)) {
+            Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 50 * tentativa);
+            continue;
+        }
+        return { ponta: pontaLocal(raiz, remoto, branch), atualizado: false };
     }
-    return { ponta: pontaLocal(raiz, remoto, branch), atualizado: false };
 }
+/**
+ * Suspeitas da revisao de 03/10: dois `fetch` simultaneos na mesma copia (o `ork network status` e a
+ * publicacao no cache da casa, a leitura e a gravacao da fabrica no clone) disputam o lock da ref
+ * remota, e o perdedor sai com "incorrect old value provided" (ou "cannot lock ref") sem que a rede
+ * tenha falhado. A ref ja foi atualizada pelo vencedor: buscar de novo da certo.
+ */
+const DISPUTA_DE_REF = /incorrect old value provided|cannot lock ref|unable to create '[^']*\.lock'|is at [0-9a-f]+ but expected/i;
+const TENTATIVAS_NA_DISPUTA_DE_REF = 5;
 /** Os `.json` de um diretorio da ponta, ja lidos. Filtro por caminho: diretorio vazio some da arvore. */
 function jsonsDaPonta(raiz, ponta, dir, prefixo) {
     if (!ponta)
@@ -103,6 +158,7 @@ function jsonsDaPonta(raiz, ponta, dir, prefixo) {
  * indice temporario, blobs, `write-tree` e `commit-tree`. Push sem forca; recusa volta `false`.
  */
 function gravarNaBranch(raiz, remoto, branch, ponta, mudancas, mensagem, prefixo, rede = {}) {
+    exigirRemoto(remoto, prefixo);
     const indice = path.join(fs.mkdtempSync(path.join(os.tmpdir(), 'ork-branch-estado-')), 'index');
     const env = { GIT_INDEX_FILE: indice };
     try {
@@ -122,7 +178,7 @@ function gravarNaBranch(raiz, remoto, branch, ponta, mudancas, mensagem, prefixo
         const arvore = exigirGit(raiz, ['write-tree'], prefixo, { env }).trim();
         const commit = exigirGit(raiz, ['commit-tree', arvore, ...(ponta ? ['-p', ponta] : []), '-m', mensagem], prefixo).trim();
         // `rede`: prazo e ambiente so do que vai a rede (RM-037, achado A3: o fechamento nao espera 60 s).
-        const push = git(raiz, ['push', '--quiet', remoto, `${commit}:refs/heads/${branch}`], rede);
+        const push = git(raiz, ['push', '--quiet', '--', remoto, `${commit}:refs/heads/${branch}`], rede);
         if (push.ok) {
             git(raiz, ['update-ref', (0, exports.refRemota)(remoto, branch), commit]);
             return commit;

package/dist/busca-semantica.js

@@ -6,10 +6,12 @@
  * deterministicos. Esta busca e superficie separada e todo resultado sai com
  * `deterministico: false`.
  *
- * O universo e o export governado do tenant (filtro de injecao e visibilidade da biblioteca):
+ * O universo e o universo da busca do tenant (RM-038: `universoDaBusca`, o mesmo do indice e do
+ * status, com a governanca da biblioteca aplicada na ponte):
  *  - vetor: cosseno da consulta contra o indice local do MESMO modelo e dimensao, so para
  *    entradas com sha256 coerente; nunca compara vetores de espacos diferentes;
- *  - FTS: `search_by_text` da biblioteca, filtrado por tenant na ponte e intersectado aqui;
+ *  - FTS: `search_by_text` da biblioteca, restrito ao universo na ponte e intersectado aqui (id
+ *    fora do universo e descartado e declarado, nunca em silencio);
  *  - fusao: RRF com k = 60.
  * A cadeia do vetor e primario, fallback local, nenhum; sem vetor, cai para FTS com motivo tipado.
  */
@@ -18,6 +20,7 @@ exports.CANDIDATOS_DO_VETOR = exports.LIMITE_MAXIMO_DA_BUSCA = exports.LIMITE_PA
 exports.cosseno = cosseno;
 exports.fundirRrf = fundirRrf;
 exports.buscarPorSignificado = buscarPorSignificado;
+exports.textoDaBuscaPorSignificado = textoDaBuscaPorSignificado;
 const indice_vetorial_1 = require("./indice-vetorial");
 exports.MODOS_DE_BUSCA = ['hibrido', 'vetor', 'fts'];
 /** D9: constante da fusao RRF. */
@@ -44,7 +47,7 @@ function fundirRrf(listas, k = exports.RRF_K) {
 }
 const resumo = (conteudo) => conteudo.split('\n')[0].slice(0, 100);
 /** Lado vetorial: o primeiro caminho da cadeia que tem indice, responde e fala o mesmo espaco. */
-function ladoVetorial(o) {
+function ladoVetorial(o, entradas) {
     const detalhes = [];
     let motivo = null;
     const falhar = (alvo, m, d) => {
@@ -103,7 +106,7 @@ function ladoVetorial(o) {
         }
         if (resposta.truncados?.length)
             detalhes.push(`${alvo}: consulta acima do contexto do modelo, embedada pelo comeco`);
-        const ranking = [...(0, indice_vetorial_1.vetoresCoerentes)(lido.indice, o.universo)]
+        const ranking = [...(0, indice_vetorial_1.vetoresCoerentes)(lido.indice, entradas)]
             .map(([id, v]) => ({ id, sim: cosseno(vetor, v) }))
             .sort((a, b) => b.sim - a.sim || a.id.localeCompare(b.id));
         return { alvo, modelo: espaco.modelo, ranking, motivo, detalhes };
@@ -112,14 +115,21 @@ function ladoVetorial(o) {
 }
 /** `ork memory search --texto`: ranking hibrido, nunca deterministico, sempre dentro do tenant. */
 function buscarPorSignificado(o) {
-    const universo = o.universo.filter(e => (e.tags.project ?? []).includes(o.tenant));
-    const porId = new Map(universo.map(e => [e.id, e]));
+    // RM-038 (D6): entrada alheia no universo e violacao antes de embedar a consulta, nunca descarte.
+    if (o.universo.tenant !== o.tenant)
+        throw new Error('memory.query.scope-violation');
+    (0, indice_vetorial_1.conferirUniverso)(o.universo.entradas, o.tenant, o.universo.lidoEm);
+    const doUniverso = new Set(o.universo.entradas.map(e => e.id));
+    // As entradas buscadas: o universo inteiro, ou so a colecao pedida.
+    const buscadas = o.colecao ? o.universo.entradas.filter(e => e.collection === o.colecao) : o.universo.entradas;
+    const porId = new Map(buscadas.map(e => [e.id, e]));
     const saida = { texto: o.texto, modo: o.modo, origem: 'nenhum', modeloUsado: null,
-        deterministico: false, motivo: null, detalhe: '', resultados: [], listas: { vetor: [], fts: [] } };
+        deterministico: false, motivo: null, detalhe: '', resultados: [], listas: { vetor: [], fts: [] },
+        ftsForaDoUniverso: 0, coberturaDoIndice: null };
     const detalhes = [];
     let similaridade = new Map();
     if (o.modo !== 'fts') {
-        const v = ladoVetorial({ ...o, universo });
+        const v = ladoVetorial(o, buscadas);
         detalhes.push(...v.detalhes);
         saida.motivo = v.motivo;
         if (v.alvo) {
@@ -128,22 +138,33 @@ function buscarPorSignificado(o) {
             const candidatos = v.ranking.slice(0, exports.CANDIDATOS_DO_VETOR);
             saida.listas.vetor = candidatos.map(c => c.id);
             similaridade = new Map(candidatos.map(c => [c.id, c.sim]));
+            // RM-038 (D7): o vetor so ranqueia o que o indice cobre; menos que o universo e dito aqui.
+            saida.coberturaDoIndice = { coerentes: v.ranking.length, universo: buscadas.length };
+            const aviso = (0, indice_vetorial_1.avisoDeCobertura)(v.ranking.length, buscadas, v.alvo, o.colecao ? ` na colecao ${o.colecao}` : '');
+            if (aviso)
+                detalhes.push(`vetor: ${aviso}`);
         }
     }
     if (o.modo !== 'vetor') {
+        let ftsFalhou = false;
         try {
             if (!o.buscarTexto)
                 throw new Error('memory.transport.fts');
-            // A ponte ja filtra o tenant; a intersecao com o universo governado vale de novo aqui.
-            saida.listas.fts = [...new Set(o.buscarTexto(o.tenant, o.texto))].filter(id => porId.has(id));
+            // A ponte ja restringe ao universo; a intersecao vale de novo aqui e a quantidade que sobra e declarada (D5).
+            const ids = [...new Set(o.buscarTexto(o.tenant, o.texto))];
+            saida.ftsForaDoUniverso = ids.filter(id => !doUniverso.has(id)).length;
+            if (saida.ftsForaDoUniverso)
+                detalhes.push(`fts: ${saida.ftsForaDoUniverso} id(s) fora do universo da busca descartado(s)`);
+            saida.listas.fts = ids.filter(id => porId.has(id));
         }
         catch (erro) {
-            const codigo = /^[a-z]+(?:\.[a-z-]+)+/.exec(erro instanceof Error ? erro.message : '')?.[0] ?? 'memory.transport.fts';
+            ftsFalhou = true;
+            const codigo = (0, indice_vetorial_1.codigoDaFalha)(erro, 'memory.transport.fts');
             detalhes.push(`fts: ${codigo}`);
             if (o.modo === 'fts' || saida.origem === 'nenhum')
                 saida.motivo = saida.motivo ?? codigo;
         }
-        if (saida.origem === 'nenhum' && !detalhes.some(d => d.startsWith('fts:')))
+        if (saida.origem === 'nenhum' && !ftsFalhou)
             saida.origem = 'fts';
     }
     const scores = fundirRrf([saida.listas.vetor, saida.listas.fts]);
@@ -159,3 +180,22 @@ function buscarPorSignificado(o) {
     saida.detalhe = detalhes.join('; ');
     return saida;
 }
+/**
+ * Texto de `ork memory search --texto`. Revisao de 03/10 (RM-038): o detalhe sai tambem sem motivo; o
+ * id do FTS fora do universo e o aviso de cobertura vivem nele, e o texto os perdia na busca que deu certo.
+ */
+function textoDaBuscaPorSignificado(r) {
+    const linhas = [`Busca por significado (NAO deterministica; modo ${r.modo}, origem ${r.origem}${r.modeloUsado ? ` ${r.modeloUsado}` : ''})`];
+    if (r.motivo)
+        linhas.push(`  motivo: ${r.motivo}${r.detalhe ? `; ${r.detalhe}` : ''}`);
+    else if (r.detalhe)
+        linhas.push(`  detalhe: ${r.detalhe}`);
+    linhas.push('');
+    r.resultados.forEach((e, i) => {
+        const sim = e.similaridade === null ? '' : `  similaridade ${e.similaridade}`;
+        linhas.push(`  ${i + 1}. [${e.collection}] ${e.id}  score ${e.score}  ${e.fontes.join('+')}${sim}`);
+        linhas.push(`      ${e.resumo}`);
+    });
+    linhas.push('', `  ${r.resultados.length} resultado(s); busca por tag continua em ork memory search --tags`);
+    return linhas.join('\n');
+}

package/dist/canarios-rm057.js

@@ -0,0 +1,149 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fxPedidoColado = exports.PROMPTS_DE_CONDUCAO = exports.FRASE_DO_PEDIDO_COLADO = exports.PEDIDO_COLADO_DO_INCIDENTE = void 0;
+/**
+ * RM-057 (fatia 2): o canario do incidente de 01/10/2026.
+ *
+ * Na noite de 01 para 02/10 o condutor recebeu, colado, o pedido do dono com push e merge
+ * autorizados ate um horario, parou para pedir um "confirmo" em texto livre e a fabrica ficou mais
+ * de 10 h sem produzir. O canario refaz a conducao inteira em sandbox SIMULADO e exige que o mesmo
+ * pedido colado siga sem parar:
+ *
+ *   1. o modo sai da #TAG do texto colado (`#Auto`), pelo nucleo;
+ *   2. o `#Auto` nao abre pausa humana na fase;
+ *   3. a duvida dentro da autorizacao vira decisao informada (`ork decisao registrar`), sem pergunta;
+ *   4. o "confirmo" em texto livre que o condutor tentaria abrir e recusado com
+ *      `hitl.selecao.texto-livre`, sem gravar nada no ledger;
+ *   5. o pulse nao mostra ninguem esperando o dono, e o tempo parado por HITL de conducao e zero;
+ *   6. os quatro adaptadores de conducao (Claude Code, Codex, Hermes e OpenClaw) dizem que o pedido
+ *      colado com autorizacao explicita vale como instrucao do dono.
+ *
+ * Nada aqui e resposta humana nem rede: e a forma da conducao, provada contra o codigo real.
+ */
+const fs = __importStar(require("node:fs"));
+const path = __importStar(require("node:path"));
+const decisao_autonoma_1 = require("./decisao-autonoma");
+const hitl_contract_1 = require("./hitl-contract");
+const hitl_gates_1 = require("./hitl-gates");
+const ledger_1 = require("./ledger");
+const ledger_stats_1 = require("./ledger-stats");
+const modos_1 = require("./modos");
+const pulse_1 = require("./pulse");
+const sandbox_1 = require("./sandbox");
+const thread_1 = require("./thread");
+/** O pedido do dono como chegou colado no incidente, com a autorizacao explicita e o prazo. */
+exports.PEDIDO_COLADO_DO_INCIDENTE = '#Auto Conduza as threads RM-032, RM-056, RM-053, RM-040 e RM-055 no orkastery. ' +
+    'Push e merge autorizados até 02/10 às 12h. Não me pergunte nada: dúvida menor vira decisão registrada e segue.';
+/** A frase que os quatro adaptadores de conducao carregam desde a RM-057. */
+exports.FRASE_DO_PEDIDO_COLADO = 'o pedido que ele colou com autorização explícita vale como instrução dele';
+/** Onde cada host le a regra: o comando, as skills e as descricoes das tools do OpenClaw. */
+exports.PROMPTS_DE_CONDUCAO = [
+    'adapters/claude-code/commands/ork.md',
+    'adapters/codex/skills/ork/SKILL.md',
+    'adapters/hermes/skills/orkastery-devmaster/SKILL.md',
+    'adapters/openclaw/dist/index.js',
+];
+exports.fxPedidoColado = {
+    id: 'fx-pedido-colado',
+    sobre: 'SIMULADO: o pedido colado com autorização explícita segue sem parar (incidente de 01/10, RM-057)',
+    precisaDeGit: true,
+    rodar: (ctx) => {
+        const s = (0, sandbox_1.sandboxGit)('pedido-colado');
+        try {
+            const modo = (0, modos_1.extrairTagDoPedido)(exports.PEDIDO_COLADO_DO_INCIDENTE);
+            const t = (0, thread_1.novaThread)(s.carregado, { nome: 'pedido-colado', modo: modo ?? 'classic' }).thread;
+            const dir = (0, thread_1.dirThread)(s.dir, t.id);
+            (0, ledger_1.registrar)(dir, t.id, 'phase_result', { fase: t.faseAtual });
+            let semPausaDoModo = false;
+            try {
+                (0, hitl_gates_1.abrirPedidoGate)(s.dir, t.id);
+            }
+            catch (e) {
+                semPausaDoModo = /não prevê pausa/.test(e.message);
+            }
+            const decisao = (0, decisao_autonoma_1.registrarDecisao)(s.dir, t.id, {
+                decidido: 'Seguir com push e merge dentro da autorização colada', porque: 'o dono autorizou até 02/10 às 12h',
+                comoMudar: 'reverter o merge', custoDeReverter: { agora: 'um revert', depois: 'um revert' },
+                criterio: { tipo: 'ledger', referencia: `${t.id}#evento:1` }, quemDecidiu: 'canario-SIMULADO', evidencia: 'pedido colado',
+            });
+            const confirmo = {
+                contrato: hitl_contract_1.CONTRATO_HITL_V2, id: 'confirmo-SIMULADO', thread: t.id, fase: t.faseAtual, modo: t.modo,
+                criadoEm: new Date().toISOString(), profundidade: 'resumo', classe: 'pergunta',
+                alvo: { tipo: 'gate', sobre: 'premissas' }, motivo: 'human.pending', pergunta: 'Posso seguir com o push e o merge?',
+                alternativas: [
+                    { letra: 'a', texto: 'Seguir', acao: 'aprovar', consequencia: 'segue', recomendada: true, porque: 'autorizado no pedido' },
+                    { letra: 'b', texto: 'Parar', acao: 'recusar', consequencia: 'para' },
+                    { letra: 'c', texto: 'Esperar', acao: 'esperar', consequencia: 'fica' },
+                ],
+                corpo: ['Responda confirmo para eu continuar'], tipoDeResposta: 'aberta', irreversivel: false, codigo: 'K3F9',
+                prazo: new Date(Date.now() + 3_600_000).toISOString(), acaoPadraoAoExpirar: 'esperar',
+                respostaAceita: { tipo: 'texto', maxCaracteres: 200 },
+            };
+            const antes = (0, ledger_1.lerLedger)(dir).length;
+            let confirmoRecusado = 'aceito';
+            try {
+                (0, hitl_gates_1.registrarPedidoHitl)(s.dir, confirmo);
+            }
+            catch (e) {
+                confirmoRecusado = e instanceof hitl_contract_1.SelecaoRecusada ? e.motivo : `outro: ${e.message}`;
+            }
+            const nadaGravadoNaRecusa = (0, ledger_1.lerLedger)(dir).length === antes;
+            const pulse = (0, pulse_1.montarPulse)(s.carregado, { consulta: { ok: true, sessoes: [], detalhe: 'runtime SIMULADO' } });
+            const parado = (0, ledger_stats_1.coletarEstatisticas)(s.dir, { desde: '1h', thread: t.id }).hitlDeConducao;
+            // No dist do OpenClaw a frase e uma concatenacao de literais: as emendas `' + '` saem antes da busca.
+            const umaLinha = (x) => x.replace(/'\s*\+\s*'/g, '').replace(/\s+/g, ' ');
+            const adaptadoresComARegra = exports.PROMPTS_DE_CONDUCAO.filter((rel) => {
+                const arquivo = path.join(ctx.catalogo, rel);
+                return fs.existsSync(arquivo) && umaLinha(fs.readFileSync(arquivo, 'utf8')).includes(exports.FRASE_DO_PEDIDO_COLADO);
+            }).length;
+            return {
+                simulado: true,
+                modoDoPedido: modo,
+                semPausaDoModo,
+                decisaoInformada: decisao.pedido.classe === 'decidido',
+                confirmoRecusado,
+                nadaGravadoNaRecusa,
+                humanosNoPulse: pulse.resumo.humanos,
+                perguntasDeConducao: parado.pedidos,
+                tempoParadoMs: parado.paradoMs,
+                adaptadoresComARegra,
+            };
+        }
+        finally {
+            s.limpar();
+        }
+    },
+};

package/dist/canarios.js

@@ -71,6 +71,7 @@ const canarios_pulse_1 = require("./canarios-pulse");
 const canarios_sensores_1 = require("./canarios-sensores");
 const canarios_hitl_1 = require("./canarios-hitl");
 const canarios_i43_1 = require("./canarios-i43");
+const canarios_rm057_1 = require("./canarios-rm057");
 const objective_1 = require("./objective");
 const maestro_discovery_1 = require("./maestro-discovery");
 const maestro_cli_1 = require("./maestro-cli");
@@ -373,6 +374,7 @@ exports.CANARIOS = [
     canarios_sensores_1.CANARIO_SENSORES,
     ...canarios_hitl_1.CANARIOS_HITL,
     ...canarios_i43_1.CANARIOS_I43,
+    canarios_rm057_1.fxPedidoColado,
 ];
 /** Um canario por id, ou null quando a fixture aponta para um canario que nao existe. */
 function canarioPorId(id) {

package/dist/ci.js

@@ -46,6 +46,8 @@ exports.prepararBundleCi = prepararBundleCi;
 exports.bundleDaBranch = bundleDaBranch;
 exports.executarCiDaBranch = executarCiDaBranch;
 exports.executarBundleCi = executarBundleCi;
+/** GitHub CI como CHECK independente (I-12). */
+const branch_de_estado_1 = require("./branch-de-estado");
 const util_1 = require("./util");
 const worktree_1 = require("./worktree");
 const verify_1 = require("./verify");
@@ -73,9 +75,13 @@ const CASOS_DE_VERIFICADOR_COM_INTEGRACAO_LOCAL = [
     /verify-check-c2-b3\.cjs\s+channel-offer(?:\s|$)/,
     // I-38: a prova da busca por significado le a memoria do tenant pela DSN do manifesto.
     /prova-busca-semantica\.sh(?:\s|$)/,
+    // RM-038: a prova do universo da busca tambem le a memoria do tenant pela DSN do manifesto.
+    /prova-universo-da-busca\.cjs(?:\s|$)/,
     // RM-051: o ensaio instala o tarball com npm --offline e resolve as dependencias pelo cache do npm
     // da estacao; o runner hospedado so tem os tarballs do npm ci, sem os metadados do registro.
     /testar-experiencia-e2e\.cjs(?:\s|$)/,
+    // RM-037: a suite local inteira, com as integracoes locais; o runner hospedado roda o test:ci.
+    /suite-local\.cjs(?:\s|$)/,
 ];
 /**
  * I-38: o runner hospedado nao oferece OrkMind nem a base do tenant. Claim que chama a memoria
@@ -133,7 +139,8 @@ function consultarCi(carregado, sha, remoto = 'origin', executor = executorPadra
     const context = ci.context || 'ork-verify';
     if (!ci.required_for_ship)
         return { schema: 'ork.ci-status/v1', required: false, ok: true, provider: 'github', repository: null, sha, context, state: 'disabled', url: null, detail: 'gate de CI não exigido pelo manifesto' };
-    const remote = (0, util_1.exec)('git', ['remote', 'get-url', remoto], carregado.raiz);
+    // RM-047: o `--remoto` do `ork ci status` vem da linha de comando; so nome de remoto chega ao git.
+    const remote = (0, util_1.exec)('git', ['remote', 'get-url', '--', (0, branch_de_estado_1.exigirRemoto)(remoto, 'ci')], carregado.raiz);
     const repository = remote.ok ? repositorioGitHub(remote.stdout) : null;
     if (!repository)
         return { schema: 'ork.ci-status/v1', required: true, ok: false, provider: 'github', repository: null, sha, context, state: 'unavailable', url: null, detail: `remoto ${remoto} não é um repositório GitHub reconhecível` };

package/dist/claim-lint.js

@@ -20,7 +20,9 @@ exports.analisarComando = analisarComando;
 exports.analisarComandos = analisarComandos;
 exports.linhaDoLintDeClaim = linhaDoLintDeClaim;
 const CORRECAO = {
-    'suite-inteira': 'use `npm --prefix core run test:ci` (a suite hermetica) ou `node --test` no arquivo do teste',
+    // Fatia 2 do ensaio da 0.5.0 (P6): a correcao vale para qualquer projeto; o script do Orkastery saiu daqui.
+    'suite-inteira': 'rode só o teste da claim (`node --test` no arquivo do teste, ou o comando do projeto que roda um arquivo) ' +
+        'ou um script hermético do projeto',
     'sha-intermediario': 'ancore na base (`git diff "$(git merge-base origin/main HEAD)" HEAD`) ou prove ancestralidade com `git merge-base --is-ancestor <sha> HEAD`',
     'contagem-de-commits': 'use `git merge-base --is-ancestor <commit> HEAD`: contagem de commits quebra com rebase e merge',
 };

package/dist/claims.js

@@ -58,11 +58,14 @@ exports.anexarComando = anexarComando;
 exports.retirarClaim = retirarClaim;
 exports.carimbarEstado = carimbarEstado;
 exports.tabelaDeClaims = tabelaDeClaims;
+const fs = __importStar(require("node:fs"));
 const path = __importStar(require("node:path"));
 const ledger_1 = require("./ledger");
 const manifest_1 = require("./manifest");
 const prova_minima_1 = require("./prova-minima");
 const thread_1 = require("./thread");
+const policies_1 = require("./policies");
+const verify_1 = require("./verify");
 const util_1 = require("./util");
 const claim_lint_1 = require("./claim-lint");
 /** Caminho do `claims.jsonl` da thread (append-only, como o ledger). */
@@ -165,7 +168,42 @@ function adicionarClaim(raiz, threadId, opcoes) {
         estado: claim.estado,
         ...(claim.lint?.length ? { lint: claim.lint.map((a) => a.regra) } : {}),
     });
-    return claim;
+    const avisosDePolicy = opcoes.semProvaLocal ? [] : conferirProvaLocal(raiz, thread, claim, opcoes.executarProva ?? verify_1.executar);
+    return avisosDePolicy.length ? { ...claim, avisosDePolicy } : claim;
+}
+/**
+ * RM-008 (B8): com `claim_sem_prova_local` (ou `claims_failed`) declarada, o registro roda o comando da
+ * claim uma vez, na worktree da thread e no prazo do verify. A claim ja entrou: reprovacao ou estouro
+ * so gravam `policy_warn` no ledger e voltam como aviso. Sem a policy, nada roda.
+ */
+function conferirProvaLocal(raiz, thread, claim, executarProva) {
+    const carregado = (0, manifest_1.carregarManifesto)(raiz);
+    if (!carregado || claim.verificar.length === 0 || !(0, policies_1.policyDeProvaLocal)(carregado.manifesto))
+        return [];
+    const prazoMs = carregado.manifesto.verify.timeout_ms ?? verify_1.TIMEOUT_VERIFY_MS;
+    const cwd = (0, verify_1.cwdDaThread)(raiz, thread);
+    let reprovada;
+    // Suspeitas da revisao de 03/10: sem a worktree (apagada), nada roda e o aviso diz por que, sem culpar a claim.
+    if (!fs.existsSync(cwd))
+        reprovada = { comando: claim.verificar[0], code: -1, estourou: false, semDiretorio: cwd };
+    for (const comando of reprovada ? [] : claim.verificar) {
+        const r = executarProva(`claim ${claim.id}`, comando, cwd, prazoMs);
+        if (!r.ok) {
+            reprovada = { comando, code: r.code, estourou: r.causa === 'timeout' };
+            break;
+        }
+    }
+    if (!reprovada)
+        return [];
+    const violacoes = (0, policies_1.avisos)((0, policies_1.avaliarPolicies)(carregado.manifesto, {
+        gate: 'claims.add', threadId: thread.id, modo: thread.modo, fase: claim.fase ?? undefined,
+        provaLocalReprovada: { claim: claim.id, ...reprovada, prazoMs },
+    }));
+    for (const v of violacoes) {
+        (0, ledger_1.registrar)((0, thread_1.dirThread)(raiz, thread.id), thread.id, ledger_1.TIPOS_DE_EVENTO.politicaAviso, { gate: 'claims.add', claim: claim.id,
+            fase: claim.fase, policy: v.policy, motivo: v.motivo, detalhe: v.detalhe, correcao: v.correcao, modo: thread.modo });
+    }
+    return violacoes;
 }
 /** Prefixo do arquivo das claims de criterio, para o veredito dizer de onde veio. */
 exports.ARQUIVO_DONEWHEN = 'thread.json#doneWhen';