@orkastery/cli 0.6.0 → 0.6.1

package/dist/setup.js

@@ -118,8 +118,9 @@ function validarFallback(lista, principal) {
         const m = ENTRADA_DE_FALLBACK.exec(item.trim());
         if (!m)
             throw new Error((0, locale_1.msg)().setup.fallbackInvalido(item));
-        if (!(0, runtimes_1.runtimeConhecido)(m[1]))
-            throw new Error((0, locale_1.msg)().setup.fallbackDesconhecido(m[1], runtimes_1.ORDEM_DOS_RUNTIMES.join(', ')));
+        // RM-067 (F4b, G9): desde a F4 todo runtime do registro e de bloco; a recusa lista os que o fallback aceita.
+        if (!(0, runtimes_1.runtimeDeBloco)(m[1]))
+            throw new Error((0, locale_1.msg)().setup.fallbackDesconhecido(m[1], runtimes_1.RUNTIMES_DE_BLOCO.join(', ')));
         if (vistos.has(m[1]))
             throw new Error((0, locale_1.msg)().setup.fallbackRepetido(m[1]));
         vistos.add(m[1]);
@@ -134,7 +135,7 @@ function normalizarFallback(valor, principal) {
     const saida = [];
     for (const item of valor) {
         const m = typeof item === 'string' ? ENTRADA_DE_FALLBACK.exec(item) : null;
-        if (!m || !(0, runtimes_1.runtimeConhecido)(m[1]) || vistos.has(m[1]))
+        if (!m || !(0, runtimes_1.runtimeDeBloco)(m[1]) || vistos.has(m[1]))
             continue;
         vistos.add(m[1]);
         saida.push(item);
@@ -177,7 +178,7 @@ function validarConfigComLimites(config) {
     if (!Object.hasOwn(config, 'limites'))
         return;
     validarLimitesDeBloco(config.limites);
-    if (typeof config.runtime !== 'string' || !(0, runtimes_1.runtimeConhecido)(config.runtime) ||
+    if (typeof config.runtime !== 'string' || !(0, runtimes_1.runtimeDeBloco)(config.runtime) ||
         typeof config.model !== 'string' || config.model.trim() === '' ||
         typeof config.effort !== 'string' || config.effort.trim() === '') {
         throw new Error((0, locale_1.msg)().setup.blocoComLimites);
@@ -288,7 +289,7 @@ function lerSetup(raiz) {
                 if (doArquivo[i] === undefined)
                     return blocoPadraoDoModo(modo);
                 const b = doArquivo[i];
-                const runtime = typeof b.runtime === 'string' && (0, runtimes_1.runtimeConhecido)(b.runtime)
+                const runtime = typeof b.runtime === 'string' && (0, runtimes_1.runtimeDeBloco)(b.runtime)
                     ? b.runtime
                     : doModo.runtime;
                 return {
@@ -529,11 +530,9 @@ function editarBloco(raiz, modo, bloco, edicao, por = 'owner') {
             erro: (0, locale_1.msg)().setup.blocoInexistente(bloco, def.tag, def.blocos.length),
         };
     }
-    if (edicao.runtime !== undefined && !(0, runtimes_1.runtimeConhecido)(edicao.runtime)) {
-        return {
-            ...base,
-            erro: (0, locale_1.msg)().setup.runtimeDesconhecido(edicao.runtime, runtimes_1.ORDEM_DOS_RUNTIMES.join(', ')),
-        };
+    if (edicao.runtime !== undefined && !(0, runtimes_1.runtimeDeBloco)(edicao.runtime)) {
+        // RM-067 (F4b, G9): a recusa lista os runtimes que o bloco aceita, o grok entre eles desde a F4.
+        return { ...base, erro: (0, locale_1.msg)().setup.runtimeDesconhecido(edicao.runtime, runtimes_1.RUNTIMES_DE_BLOCO.join(', ')) };
     }
     const atual = setup.modos[modo].blocos[bloco - 1];
     if (edicao.runtime !== undefined && edicao.runtime !== atual.runtime && !edicao.model?.trim())
@@ -646,7 +645,8 @@ function textoDoSetup(raiz, modo) {
     saida.push(m.fallback(modo));
     const padrao = blocoPadraoDoModo(modo);
     saida.push(m.resetar(modo, `${padrao.runtime}/${padrao.model}/${padrao.effort}`));
-    saida.push(m.runtimes(runtimes_1.ORDEM_DOS_RUNTIMES.join(', ')));
+    // RM-067 (F4b, G9): a tela lista os runtimes de bloco, os que o `--runtime` e o `--fallback` do setup aceitam.
+    saida.push(m.runtimes(runtimes_1.RUNTIMES_DE_BLOCO.join(', ')));
     saida.push('');
     saida.push(linhaDaOrigemDoSetup(raiz));
     return saida.join('\n');

package/dist/varredura-acoes.js

@@ -69,6 +69,7 @@ const path = __importStar(require("node:path"));
 const autorizacao_duravel_1 = require("./autorizacao-duravel");
 const conducao_1 = require("./conducao");
 const entrega_pr_1 = require("./entrega-pr");
+const merge_da_entrega_1 = require("./merge-da-entrega");
 const estado_thread_1 = require("./estado-thread");
 const ledger_1 = require("./ledger");
 const locale_1 = require("./locale");
@@ -181,21 +182,13 @@ function commitsDepois(raiz, t, sha) {
  * novo de cada thread, com o head do PR (o segundo pai) e o instante do commit. E a mesma busca do `ork ship
  * registrar-pr` (`mergeDaEntrega`).
  */
-function mergesDaBase(raiz, remoto, base) {
+function mergesDaBase(raiz, remoto, base, threads) {
     const mapa = new Map();
-    const r = (0, util_1.exec)('git', ['log', `refs/remotes/${remoto}/${base}`, '--first-parent', '--format=%H%x09%P%x09%cI%x09%s', '--grep=^ship(',
-        '--'], raiz, 60000);
-    if (!r.ok)
-        return mapa;
-    for (const linha of r.stdout.split('\n')) {
-        const [sha, pais, em, assunto] = linha.split('\t');
-        const m = /^ship\(([A-Za-z0-9._-]+)\)/.exec(assunto ?? '');
-        if (!m || !sha || !SHA.test(sha) || mapa.has(m[1]))
-            continue;
-        const segundo = (pais ?? '').split(' ')[1] ?? null;
-        const ms = Date.parse(em ?? '');
-        mapa.set(m[1], { mergeSha: sha, headSha: segundo && SHA.test(segundo) ? segundo : null,
-            em: Number.isFinite(ms) ? new Date(ms).toISOString() : null });
+    const reconhecidos = (0, merge_da_entrega_1.mergesDasEntregasNaBase)(raiz, `refs/remotes/${remoto}/${base}`, base, threads.map((t) => ({ thread: t.id, branch: (0, merge_da_entrega_1.branchRegistradaDaEntrega)(raiz, t.id) ?? (0, worktree_1.branchDaWorktree)(t) })));
+    for (const t of threads) {
+        const merge = reconhecidos.get(t.id)?.[0];
+        if (merge)
+            mapa.set(t.id, merge);
     }
     return mapa;
 }
@@ -229,7 +222,7 @@ function pendentesDeRegistrar(carregado, threads, quando, vivas) {
     const remoto = manifesto.fabrica.remoto, base = manifesto.worktree.base_branch;
     const saida = [];
     const abertas = threads.filter((t) => t.status !== 'fechada' && (0, worktree_1.branchDaWorktree)(t).startsWith('ork/'));
-    const merges = abertas.length ? mergesDaBase(raiz, remoto, base)
+    const merges = abertas.length ? mergesDaBase(raiz, remoto, base, abertas)
         : new Map();
     for (const t of abertas) {
         const merge = merges.get(t.id);

package/dist/verify.js

@@ -97,6 +97,7 @@ const policies_1 = require("./policies");
 const check_modo_1 = require("./check-modo");
 const check_agil_1 = require("./check-agil");
 const check_paralelo_1 = require("./check-paralelo");
+const agendador_cpu_1 = require("./agendador-cpu");
 /** Teto de tempo de um comando de verificacao (build e suite completa cabem). */
 exports.TIMEOUT_VERIFY_MS = 10 * 60 * 1000;
 /** Ultimas linhas da saida real, o suficiente para servir de evidencia no ledger. */
@@ -121,7 +122,9 @@ exports.PREFIXO_BLOQUEADO_NO_VERIFY = 'ORK_HITL_';
  * RM-072 (S-b do CHECK 2): as variaveis de uma rodada do Agile. Cada rodada poe as suas onde precisa; herdadas de outra
  * rodada (o verify que roda dentro de um comando de outro verify), elas levariam pecas ao relatorio errado.
  */
-const VARIAVEIS_DA_RODADA = new Set([check_modo_1.ENV_RELATORIO_DO_CHECK, check_modo_1.ENV_VARREDURA_PARALELA_DO_CHECK]);
+const VARIAVEIS_DA_RODADA = new Set([
+    check_modo_1.ENV_RELATORIO_DO_CHECK, check_modo_1.ENV_VARREDURA_PARALELA_DO_CHECK, agendador_cpu_1.ENV_CPUS_DA_LANE, agendador_cpu_1.ENV_CPUS_DOCKER,
+]);
 function ambienteDoVerify(base = process.env) {
     return Object.fromEntries(Object.entries(base).filter(([chave]) => !chave.startsWith(exports.PREFIXO_BLOQUEADO_NO_VERIFY)
         && !VARIAVEIS_DA_RODADA.has(chave)));
@@ -206,7 +209,9 @@ function resultadoDoProcesso(nome, comando, r, comGrupo, duracaoMs, tetoMs) {
         prazoMs: tetoMs,
         duracaoMs,
         // I-54 (D11): so nao rodou o que o sistema recusou lancar; estouro e sinal rodaram e acabaram.
-        executado: !(r.error && NAO_LANCADO.has(r.error)),
+        // `spawnSync` pode devolver um erro tardio do sandbox junto de um status real (por exemplo EPERM com status 0):
+        // nesse caso o processo existiu e o codigo observado e o veredito. So status ausente (`code: -1`) prova que nao lancou.
+        executado: !(r.code === -1 && r.error && NAO_LANCADO.has(r.error)),
     };
     if (!r.ok) {
         const saida = r.stdout + (r.stderr ? '\n' + r.stderr : '');
@@ -407,16 +412,16 @@ function soAVarreduraEAsLanesComRelatorio(comRelatorio, semRelatorio) {
  * cada um com o prazo e o ambiente que o `executorDoManifesto` daria a ele (o do scan com o prazo interno), o steal medido
  * na janela do grupo e a conducao renovada com o maior prazo. Com executor injetado (MCP, testes), um por vez, por ele.
  */
-function executorDoGrupo(manifesto, ambienteDaRodada, instabilidade, leitor, conducao, injetado) {
+function executorDoGrupo(manifesto, ambienteDaRodada, instabilidade, leitor, conducao, injetado, medicaoCpu) {
     if (injetado)
         return (itens, cwd) => itens.map((i) => injetado(i.nome, i.comando, cwd));
     const relogio = (0, instabilidade_1.testesDeRelogioVigentes)(instabilidade);
     // N5 do CHECK 3: no grupo, como em serie, so a varredura e as lanes recebem o relatorio da rodada.
     const { [check_modo_1.ENV_RELATORIO_DO_CHECK]: _relatorio, ...semRelatorio } = ambienteDaRodada;
-    return (itens, cwd) => {
+    const executar = ((itens, cwd) => {
         const prazos = itens.map((i) => prazoDaExecucao(manifesto, i.nome, i.comando));
         const paraOAuxiliar = itens.map((i, k) => ({ nome: i.nome, comando: i.comando, cwd, prazoMs: prazos[k],
-            ...(i.nice ? { nice: i.nice } : {}), ...(i.apos?.length ? { apos: i.apos } : {}),
+            ...(i.nice ? { nice: i.nice } : {}), ...(i.apos?.length ? { apos: i.apos } : {}), ...(i.papelCpu ? { papelCpu: i.papelCpu } : {}),
             ambiente: { ...(recebeORelatorio(i.nome) ? ambienteDaRodada : semRelatorio), ...(ehComandoDoScan(manifesto, i.nome, i.comando)
                     // RM-072: ao lado das lanes, a varredura roda poucas ferramentas por vez, para o grupo nao passar da CPU.
                     ? { ORK_SECURITY_SCAN_DEADLINE_MS: String(prazoInternoDoScan(prazos[k])),
@@ -424,7 +429,15 @@ function executorDoGrupo(manifesto, ambienteDaRodada, instabilidade, leitor, con
         // A conducao cobre o grupo inteiro: com a lane encadeada, a varredura e a lane somam.
         conducao.renovar((0, check_paralelo_1.esperaDoGrupo)(paraOAuxiliar));
         const janela = (0, steal_1.abrirJanela)(leitor);
-        const processos = (0, check_paralelo_1.rodarEmParalelo)(paraOAuxiliar, ambienteDoVerify());
+        const processos = (0, check_paralelo_1.rodarEmParalelo)(paraOAuxiliar, ambienteDoVerify(), medicaoCpu ? { medicaoCpu } : {});
+        if (processos.agendamentoCpu) {
+            const p = processos.agendamentoCpu;
+            executar.pecas = [{ peca: 'agendador-cpu', estado: p.saturado ? 'fallback' : 'agile',
+                    motivo: p.saturado
+                        ? `${p.motivo}; hermetica com ${p.cpusHermetica}/${p.cpus} CPUs, varredura e integracao depois dela`
+                        : `${p.cpusHermetica}/${p.cpus} CPUs na hermetica e ${p.cpusDaFatia} reservadas; conteineres com ${p.cpusPorContainer} CPU`,
+                    ...(p.saturado ? { fallback: 'ordem do Classic para hermetica, varredura e integracao' } : {}) }];
+        }
         const stealPct = janela.fechar();
         return processos.map((p, k) => {
             const r = { ...resultadoDoProcesso(itens[k].nome, itens[k].comando, p, p.comGrupo, p.duracaoMs, prazos[k]), stealPct };
@@ -438,7 +451,9 @@ function executorDoGrupo(manifesto, ambienteDaRodada, instabilidade, leitor, con
             }
             return r;
         });
-    };
+    });
+    executar.pecas = [];
+    return executar;
 }
 /**
  * RM-072 (D8): le o relatorio das pecas da rodada, grava a lista inteira de cada lane em
@@ -731,7 +746,7 @@ function verificarSobConducao(carregado, threadId, opcoes, conducao, canal, fila
     const comandos = opcoes.soClaims
         ? []
         : vigente
-            ? (doAgile = (0, check_agil_1.comandosNoAgile)(manifesto, cwd, comandosDoManifesto(manifesto), executorDosComandos, executorDoGrupo(manifesto, ambienteDaRodada, instabilidade, leitor, conducao, opcoes.executor ? executor : undefined), vigente.guarda, vigente.preparo)).comandos
+            ? (doAgile = (0, check_agil_1.comandosNoAgile)(manifesto, cwd, comandosDoManifesto(manifesto), executorDosComandos, executorDoGrupo(manifesto, ambienteDaRodada, instabilidade, leitor, conducao, opcoes.executor ? executor : undefined, opcoes.medicaoCpuAgendador), vigente.guarda, vigente.preparo)).comandos
             : comandosDoManifesto(manifesto).map((c) => executor(c.nome, c.comando, cwd));
     if (doAgile)
         pecas.push(...doAgile.pecas);
@@ -859,12 +874,13 @@ function verificarSobConducao(carregado, threadId, opcoes, conducao, canal, fila
                     ? `regressao em: ${regressoes.map((r) => r.nome).join(', ')}`
                     : motivo === 'verify.timeout'
                         ? `sem veredito por tempo (prazo estourado, ou teste com relogio sob steal acima de ${steal_1.LIMIAR_STEAL_PCT}%): ${[
-                            ...estouros.map((r) => r.nome),
+                            ...estouros.map((r) => (0, check_agil_1.porQueDasLanes)(r) ? `${r.nome} (${(0, check_agil_1.porQueDasLanes)(r)})` : r.nome),
                             ...claims.filter((c) => c.motivo === 'verify.timeout').map((c) => c.claim.id)
                         ].join(', ')}`
                         : motivo === 'verify.sem-veredito'
                             ? [produtoAlterado ? 'o produto mudou entre o preparo e o fim da rodada' : '',
-                                ...naoExecutados.map((c) => `${c.nome} nao foi executado`),
+                                // RM-074 (F4): no Agile, o `test` diz qual lane ficou sem veredito e por que.
+                                ...naoExecutados.map((c) => (0, check_agil_1.porQueDasLanes)(c) ? `${c.nome} sem veredito (${(0, check_agil_1.porQueDasLanes)(c)})` : `${c.nome} nao foi executado`),
                                 ...claims.filter((c) => c.motivo === 'verify.sem-veredito').map((c) => `${c.claim.id}: ${c.detalhe}`)]
                                 .filter(Boolean).join('; ')
                             : motivo === 'policy.violation'

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@orkastery/cli",
-  "version": "0.6.0",
+  "version": "0.6.1",
   "description": "A software factory of AI agents that proves its work: parallel threads, verified results, and short decisions only when they matter.",
   "license": "MIT",
   "homepage": "https://github.com/orkastery/orkastery#readme",
@@ -73,7 +73,7 @@
     "markdownlint-cli2": "^0.22.1"
   },
   "dependencies": {
-    "@modelcontextprotocol/sdk": "1.29.0",
+    "@modelcontextprotocol/sdk": "1.32.2",
     "decode-named-character-reference": "1.3.0",
     "micromark": "4.0.2",
     "micromark-extension-gfm-table": "2.1.1",