@orkastery/cli 0.6.5 → 0.6.7

package/adapters/claude-code/agents/ork-check.md

@@ -19,6 +19,10 @@ ork phase list <thread>        # o que ja aconteceu, com evidencia
 ## Regras desta fase
 
 - **CHECK nao corrige.** Achado vira tarefa de GO, com commit proprio.
+- Claim nova afirma o comportamento correto e passa depois da correcao; a reproducao do defeito
+  fica como comando no parecer e nunca vira claim.
+- Achado sem claim usa `- A<n> [blocker|warning|suggestion] path:line - description`; a linha
+  seguinte pode usar `reproduce: \`command\``. Os tokens do formato sao estaveis nas duas linguas.
 - Eixo sem achado sai com "nenhum" explicito.
 - Zero bloqueadores de seguranca e condicao dura, em qualquer modo.
 - Correcao tipo B devolve ao GO e o CHECK seguinte e reexecucao completa.

package/adapters/claude-code/mods/ork-freio/hooks/lote.ts

@@ -126,7 +126,7 @@ export function soLeitura(chamadas: readonly Chamada[]): boolean {
 
 /** O lote registrou, retirou ou mudou claim: a lista do nucleo precisa ser relida. */
 export function mexeuNasClaims(chamadas: readonly Chamada[]): boolean {
-  return chamadas.some(c => nomeDa(c) === 'mcp__orkastery__ork_claim_add'
+  return chamadas.some(c => ['mcp__orkastery__ork_claim_add', 'mcp__orkastery__ork_claim_withdraw'].includes(nomeDa(c))
     || (nomeDa(c) === 'Bash' && CLI_DE_CLAIMS.test(String((c.tool_input as { command?: unknown } | null)?.command ?? ''))))
 }
 

package/adapters/claude-code/mods/ork-torre/hooks/frases.ts

@@ -7,6 +7,7 @@ export const FRASE_DO_MOTIVO: Readonly<Record<string, string>> = {
   'artifact.missing': 'falta um artefato que a fase exige',
   'claims.failed': 'uma claim reprovou no HEAD',
   'claims.unverifiable': 'há claim sem comando de verificação',
+  'claims.retirada-sem-substituta': 'uma retirada sem substituta espera sua decisão',
   'concurrency.lease-indeterminado': 'não foi possível provar se a vaga está livre',
   'conducao.acao-necessaria': 'a condução precisa executar uma ação',
   'policy.violation': 'uma policy de bloqueio foi violada',
@@ -36,7 +37,7 @@ export const FRASE_DO_MOTIVO: Readonly<Record<string, string>> = {
 
 /** Os motivos que so o dono resolve (D6): a linha fica em "espera voce", nao em "parada". */
 export const MOTIVOS_DO_DONO: readonly string[] = ['human.pending', 'runtime.workspace-untrusted', 'runtime.consent-pending',
-  'runtime.auth-missing']
+  'runtime.auth-missing', 'claims.retirada-sem-substituta']
 
 /** A frase do motivo; motivo que a tabela nao conhece aparece cru, nunca some. */
 export function fraseDoMotivo(motivo: string): string {

package/adapters/openclaw/openclaw.plugin.json

@@ -2,7 +2,7 @@
   "id": "orkastery",
   "name": "Orkastery",
   "description": "Conducao de looping threads em 6 fases pelo nucleo `ork`, exposta ao OpenClaw como tools `ork_*`. Zero regra de negocio no host: cada tool e uma chamada de CLI. Toda tool de projeto aceita projeto (nome do projeto pedido); o cwd do gateway nunca escolhe o projeto. O status do roadmap vem de ork_network_roadmap; as maquinas da pessoa, de ork_network_status (sem projeto).",
-  "version": "0.6.5",
+  "version": "0.6.7",
   "configSchema": {
     "type": "object",
     "properties": {},

package/adapters/openclaw/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@orkastery/openclaw-plugin",
-  "version": "0.6.5",
+  "version": "0.6.7",
   "description": "Plugin Orkastery para OpenClaw: 32 tools ork_* que traduzem intencao em chamada de CLI do nucleo `ork`. Zero regra de negocio no host.",
   "type": "module",
   "private": true,

package/assets/adapters-en/claude-code/agents/ork-check.md

@@ -19,6 +19,10 @@ ork phase list <thread>        # o que ja aconteceu, com evidencia
 ## Rules for this phase
 
 - **CHECK does not fix.** A finding becomes a GO task, with its own commit.
+- A new claim states the correct behavior and passes after the fix; defect reproduction stays as
+  a command in the report and never becomes a claim.
+- A finding without a claim uses `- A<n> [blocker|warning|suggestion] path:line - description`;
+  the following line may use `reproduce: \`command\``.
 - An axis without findings comes out with an explicit "none".
 - Zero security blockers is a hard condition, in any mode.
 - A type B fix goes back to GO, and the next CHECK is a full re-run.

package/assets/skills-en/phases/check-quality/SKILL.md

@@ -42,6 +42,20 @@ verdict up to a human in any mode, including `#Auto`.
 The catalog's four reviewers come in here: `code-reviewer`, `security-auditor`, `test-engineer`
 and `web-performance-auditor`. Each one runs in its own scope and returns categorized findings.
 
+## Claims and defect reproductions
+
+- A claim created during CHECK states the expected correct behavior and must pass after the fix.
+  It never states that the defect still occurs.
+- The command that reproduces the defect stays only in the report (`docs/check.md`) as finding
+  evidence; that command never becomes a claim.
+- A finding without a claim uses a machine-readable line for the correction cycle; the format
+  tokens stay the same in both languages:
+
+  `- A<n> [blocker|warning|suggestion] path:line - description`
+
+  The following line may record `reproduce: \`command\``. The command remains report evidence,
+  not claim verification.
+
 ## What CHECK delivers
 
 1. **Comparison against the baseline**, separating regression from pre-existing debt. Without that

package/dist/adapters/claude-bg.js

@@ -115,7 +115,7 @@ exports.CONSULTAS_MCP = [
 ];
 // RM-037 (defeito 1): a decisao autonoma pelo MCP tem o mesmo grant nos dois runtimes.
 exports.MUTACOES_WORKTREE = [
-    'mcp__orkastery__ork_artifact_write', 'mcp__orkastery__ork_claim_add', 'mcp__orkastery__ork_decision_record',
+    'mcp__orkastery__ork_artifact_write', 'mcp__orkastery__ork_claim_add', 'mcp__orkastery__ork_claim_withdraw', 'mcp__orkastery__ork_decision_record',
     'mcp__orkastery__ork_request_conduction', 'mcp__orkastery__ork_git_commit', 'mcp__orkastery__ork_verify',
     'mcp__orkastery__ork_ship',
 ];

package/dist/agendador-cpu.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.AMOSTRAS_DA_SONDA = exports.JANELA_DA_SONDA_MS = exports.LIMIAR_STEAL_DO_AGENDADOR_PCT = exports.MINIMO_ESTRUTURAL_DO_GRUPO = exports.RESERVA_DO_GRUPO = exports.ENV_CONTAINERS_DA_LANE = exports.ENV_CPUS_DOCKER = exports.ENV_SINAL_DA_RESERVA = exports.ENV_CPUS_DA_LANE_APOS_RESERVA = exports.ENV_CPUS_DA_LANE_APOS_VARREDURA = exports.ENV_WORKERS = exports.ENV_CPUS_DA_LANE = void 0;
+exports.registrarCotaDockerDaLane = registrarCotaDockerDaLane;
 exports.registrarContainerDaLane = registrarContainerDaLane;
 exports.workersDaReserva = workersDaReserva;
 exports.cargaDoProcLoadavg = cargaDoProcLoadavg;
@@ -36,6 +37,16 @@ exports.MINIMO_ESTRUTURAL_DO_GRUPO = exports.RESERVA_DO_GRUPO + 1;
 exports.LIMIAR_STEAL_DO_AGENDADOR_PCT = 10;
 exports.JANELA_DA_SONDA_MS = 250;
 exports.AMOSTRAS_DA_SONDA = 5;
+/** O adaptador registra a decisão real do runtime no mesmo canal privado usado pela sonda dos contêineres. */
+function registrarCotaDockerDaLane(evidencia, ambiente = process.env) {
+    const arquivo = ambiente[exports.ENV_CONTAINERS_DA_LANE];
+    if (!arquivo)
+        return;
+    try {
+        (0, node_fs_1.appendFileSync)(arquivo, JSON.stringify({ tipo: 'cota-docker', ...evidencia, em: new Date().toISOString() }) + '\n', { mode: 0o600 });
+    }
+    catch { /* a falta da evidência impede afirmar aplicação, mas não derruba a fixture */ }
+}
 /** Registra o container antes do `docker run`; falha de evidencia nunca impede a ferramenta de rodar. */
 function registrarContainerDaLane(nome, ambiente = process.env) {
     const arquivo = ambiente[exports.ENV_CONTAINERS_DA_LANE];
@@ -103,7 +114,7 @@ async function medirCpuDoGrupo(janelaMs = exports.JANELA_DA_SONDA_MS) {
     return resumirMedicaoCpuDoGrupo(cargas, steals);
 }
 /** O plano unico que alimenta concorrencia das lanes, varredura e `docker run --cpus`. */
-function planejarCpuDoGrupo(cpusInformadas, medicao) {
+function planejarCpuDoGrupo(cpusInformadas, medicao, carga = {}) {
     const cpus = cpusValidas(cpusInformadas);
     const steal = Math.min(100, Math.max(0, medicao.stealPct ?? 0));
     // So o steal desconta capacidade. A carga de um minuto do /proc/loadavg inclui o build do proprio verify e a rodada
@@ -130,6 +141,13 @@ function planejarCpuDoGrupo(cpusInformadas, medicao) {
         ? Math.max(1, Math.min(capacidadeEfetiva - 1, Math.ceil(medida)))
         : ferramentas;
     const integracaoEmParalelo = !saturado && medidaCompativel && capacidadeEfetiva - fatia - cpusIntegracao >= 1;
+    const cpusIntegracaoEmUso = integracaoEmParalelo ? cpusIntegracao : fatia;
+    const cadeiasDeClaims = Math.max(0, Math.floor(carga.cadeiasDeClaims ?? 0));
+    const hermeticaSemClaims = saturado ? classic
+        : Math.max(1, capacidadeEfetiva - fatia - (integracaoEmParalelo ? cpusIntegracao : 0));
+    // Cada cadeia recebe uma vaga, mas a lane critica conserva ao menos a mesma parcela. Sem duas vagas livres, a claim
+    // continua depois das lanes. A conta e proporcional a capacidade efetiva, nunca a uma maquina especifica.
+    const cpusClaims = saturado ? 0 : Math.min(cadeiasDeClaims, Math.floor(hermeticaSemClaims / 2));
     const amostras = (xs, resumo) => `[${(xs?.length ? xs : resumo === null ? [] : [resumo]).join(', ')}]`;
     const evidencia = `carga em /proc/loadavg: amostras ${amostras(medicao.amostrasCarga1, medicao.carga1)}, mediana ` +
         `${medicao.carga1 ?? 'indisponivel'}; steal em /proc/stat: amostras ${amostras(medicao.amostrasStealPct, medicao.stealPct)}, ` +
@@ -138,7 +156,9 @@ function planejarCpuDoGrupo(cpusInformadas, medicao) {
         ? `${motivos.join('; ')}; ${evidencia}`
         : `capacidade ${capacidadeEfetiva}/${cpus} CPU(s)${estado === 'degradado' ? ' depois do desconto do steal' : ' inteira'}; ${evidencia}; ` +
             `${fatia} CPU(s) reservadas a varredura; ` +
-            (integracaoEmParalelo ? `integracao medida cabe em paralelo com ${cpusIntegracao} CPU(s)` : 'integracao permanece encadeada');
+            (integracaoEmParalelo ? `integracao medida cabe em paralelo com ${cpusIntegracao} CPU(s)`
+                : `integracao encadeada inicia depois da varredura com ${cpusIntegracaoEmUso} CPU(s)`) +
+            (cadeiasDeClaims ? `; claims com ${cpusClaims} vaga(s) para ${cadeiasDeClaims} cadeia(s)` : '');
     return {
         cpus,
         ordem: saturado ? 'classic' : 'paralela',
@@ -146,13 +166,16 @@ function planejarCpuDoGrupo(cpusInformadas, medicao) {
         capacidadeEfetiva,
         saturado,
         motivo,
-        cpusHermetica: saturado ? classic : Math.max(1, capacidadeEfetiva - fatia - (integracaoEmParalelo ? cpusIntegracao : 0)),
-        cpusHermeticaAposVarredura: saturado ? classic : Math.max(1, capacidadeEfetiva - cpusIntegracao),
+        cpusHermetica: Math.max(1, hermeticaSemClaims - cpusClaims),
+        cpusHermeticaAposVarredura: saturado ? classic : Math.max(1, capacidadeEfetiva - cpusIntegracaoEmUso),
         cpusHermeticaAposReserva: saturado ? classic : capacidadeEfetiva,
         cpusIntegracao,
+        cpusClaims,
+        cadeiasDeClaims,
         fonteCpusIntegracao: saturado ? 'classic' : medidaCompativel
             ? 'medida' : 'conservadora',
         integracaoEmParalelo,
+        cpusIntegracaoEmUso,
         cpusDaFatia: fatia,
         ferramentasDaVarredura: ferramentas,
         cpusPorContainer: Math.max(0.01, Math.floor((fatia / ferramentas) * 100) / 100),

package/dist/ambiente-funcional.js

@@ -0,0 +1,72 @@
+"use strict";
+/**
+ * Ambiente funcional observado pelos testes das lanes e pelas claims que podem reaproveita-las.
+ *
+ * A lane atravessa `bash` e `npm` antes de chegar ao `test-lanes.cjs`; a claim candidata parte
+ * direto do verify. Esta e a unica regra que retira transporte dessas duas rotas, aplica os
+ * acrescimos funcionais da rodada e produz a assinatura comparada pelo reaproveitamento.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ENV_PATH_FUNCIONAL_DA_RODADA = void 0;
+exports.ambienteFuncionalDosTestes = ambienteFuncionalDosTestes;
+exports.transporteDoAmbienteFuncional = transporteDoAmbienteFuncional;
+exports.assinaturaDoAmbiente = assinaturaDoAmbiente;
+const node_crypto_1 = require("node:crypto");
+/** O PATH anterior a shell/npm, transportado ate o controlador da lane. */
+exports.ENV_PATH_FUNCIONAL_DA_RODADA = 'ORK_CHECK_PATH_FUNCIONAL_DA_RODADA';
+/**
+ * Controles consumidos pela orquestracao, nunca pelos testes. PATH e ORK_CHECK_MODO nao sao
+ * ignorados: o primeiro e restaurado e o segundo e removido dos dois ambientes efetivos.
+ */
+const VARIAVEIS_REMOVIDAS = new Set([
+    'ORK_CHECK_MODO',
+    'ORK_CHECK_RELATORIO',
+    'ORK_CHECK_CPUS_DA_LANE',
+    'ORK_CHECK_CPUS_DA_LANE_APOS_VARREDURA',
+    'ORK_CHECK_CPUS_DA_LANE_APOS_RESERVA',
+    'ORK_CHECK_RESERVA_DEVOLVIDA',
+    'ORK_CHECK_CONTAINERS_DA_LANE',
+    'ORK_CHECK_CPUS_DOCKER',
+    'ORK_CHECK_TMPDIR_DA_RODADA',
+    'ORK_WORKERS',
+    exports.ENV_PATH_FUNCIONAL_DA_RODADA,
+    'NODE_TEST_CONTEXT',
+    // Shell nao interativo pode executar estes arquivos antes do comando. O verify e a lane nao
+    // dependem de inicializacao pessoal do chamador.
+    'BASH_ENV',
+    'ENV',
+]);
+/** Transporte do npm, do shell e do runner que nao entra no contrato funcional. */
+function variavelIgnorada(nome) {
+    return nome.startsWith('npm_') || nome.startsWith('NPM_')
+        || ['COLOR', 'NODE', 'EDITOR', 'NODE_COMPILE_CACHE', 'PWD', 'OLDPWD', 'SHLVL', '_', 'INIT_CWD'].includes(nome);
+}
+/** Monta o ambiente real dos testes, com as mesmas remocoes e acrescimos nas duas rotas. */
+function ambienteFuncionalDosTestes(base, acrescimos = {}) {
+    const pathDaRodada = base[exports.ENV_PATH_FUNCIONAL_DA_RODADA];
+    const ambiente = Object.fromEntries(Object.entries(base).filter(([nome, valor]) => valor !== undefined && !VARIAVEIS_REMOVIDAS.has(nome) && !variavelIgnorada(nome)));
+    if (pathDaRodada !== undefined)
+        ambiente.PATH = pathDaRodada;
+    for (const [nome, valor] of Object.entries(acrescimos)) {
+        if (valor !== undefined)
+            ambiente[nome] = valor;
+    }
+    return ambiente;
+}
+/**
+ * Dados que deixam a lane recuperar o ambiente anterior ao shell/npm. BASH_ENV e ENV vazios
+ * impedem inicializacao pessoal antes de o script aplicar a regra unica.
+ */
+function transporteDoAmbienteFuncional(base) {
+    const pathDaRodada = ambienteFuncionalDosTestes(base).PATH;
+    return {
+        ...(pathDaRodada === undefined ? {} : { [exports.ENV_PATH_FUNCIONAL_DA_RODADA]: pathDaRodada }),
+        BASH_ENV: '',
+        ENV: '',
+    };
+}
+/** Assina exatamente o ambiente funcional montado pela regra unica, inclusive seus acrescimos. */
+function assinaturaDoAmbiente(base, acrescimos = {}) {
+    const pares = Object.entries(ambienteFuncionalDosTestes(base, acrescimos)).sort(([a], [b]) => a.localeCompare(b));
+    return (0, node_crypto_1.createHash)('sha256').update(JSON.stringify(pares)).digest('hex');
+}

package/dist/cenarios-sensores.js

@@ -47,10 +47,7 @@ const estado_thread_1 = require("./estado-thread");
 const catalogo_1 = require("./catalogo");
 const linha = (e) => JSON.stringify(e) + '\n';
 function esperar(teste) {
-    const limite = Date.now() + 15000;
     while (!teste()) {
-        if (Date.now() >= limite)
-            throw new Error('subprocesso do cenário não terminou no prazo de transporte');
         Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 10);
     }
 }
@@ -71,8 +68,7 @@ exports.CENARIO_SENSORES = {
             const hook = path.join(catalogo, 'adapters/claude-code/hooks/ork-sensor.js');
             const cli = (0, catalogo_1.cliDoCatalogo)(catalogo);
             const start = Date.now();
-            // O teto de transporte absorve a fila do Classic; a fixture continua exigindo a latência funcional abaixo de 5 s.
-            const h = (0, node_child_process_1.spawnSync)(process.execPath, [hook], { cwd: wt, encoding: 'utf8', timeout: 15000,
+            const h = (0, node_child_process_1.spawnSync)(process.execPath, [hook], { cwd: wt, encoding: 'utf8',
                 input: JSON.stringify({ cwd: wt, session_id: 'fixture-claude', hook_event_name: 'PermissionRequest', tool_use_id: 'fixture-tool' }),
                 env: { ...process.env, ORK_SENSOR_CLI: cli } });
             if (h.status !== 0 || h.stderr || h.stdout)
@@ -99,7 +95,7 @@ exports.CENARIO_SENSORES = {
             }
             // A identidade vem de um processo realmente executado e encerrado, sem recibo.
             const runner = require.resolve('./adapters/codex-runner');
-            const morto = (0, node_child_process_1.spawnSync)(process.execPath, ['-e', `console.log(JSON.stringify(require(process.argv[1]).identidadeProcesso(process.pid)))`, runner], { cwd: wt, encoding: 'utf8', timeout: 15000 });
+            const morto = (0, node_child_process_1.spawnSync)(process.execPath, ['-e', `console.log(JSON.stringify(require(process.argv[1]).identidadeProcesso(process.pid)))`, runner], { cwd: wt, encoding: 'utf8' });
             if (morto.status !== 0)
                 throw new Error('processo de morte do cenário indisponível');
             const filho = JSON.parse(morto.stdout);
@@ -117,7 +113,7 @@ exports.CENARIO_SENSORES = {
             (0, session_watcher_1.observarSessao)(s.carregado, sid, { rollout: null, agoraMs: inicio + session_watcher_1.LIMITE_MORTE_MS });
             const mortes = (0, ledger_1.lerLedger)(dir).filter(e => e.tipo === 'sessao_morta' && e.sessionId === sid);
             return { tipoProva: 'harness isolado; protocolo Codex sintético', classificacoes, subprocessosComRecibo,
-                hookLatenciaMs, carimboLatenciaMs, hookAbaixo5s: !!bloqueio && hookLatenciaMs < 5000 && carimboLatenciaMs !== null && carimboLatenciaMs < 5000,
+                hookLatenciaMs, carimboLatenciaMs, hookRegistrado: !!bloqueio,
                 morteAntesDoLimite: antes.concluido, morteLatenciaMs: mortes[0]?.morteLatenciaMs ?? null,
                 mortosSemEvento: mortes.length === 1 ? 0 : 1, duplicatas,
                 estadoUnico: (0, estado_thread_1.auditarEstado)(s.dir, t.id, wt).nivel === 'ok' &&