@orkastery/cli 0.5.0 → 0.5.3

package/dist/orkmind.js

@@ -54,7 +54,8 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.DriverEmMemoria = exports.DriverCliOrkMind = exports.LIMITE_CONSULTA_MAXIMO = exports.LIMITE_CONSULTA_PADRAO = exports.CODIGOS_DE_EMBEDDING = exports.MODELO_DE_EMBEDDING = exports.EMBED_MAX_CARACTERES = exports.EMBED_MAX_TEXTOS = exports.ESQUEMA_ORKMIND = exports.DIMENSOES = exports.COLECOES_DE_GOVERNANCA = exports.COLECOES_DO_ORK = void 0;
+exports.DriverEmMemoria = exports.DriverCliOrkMind = exports.LIMITE_CONSULTA_MAXIMO = exports.LIMITE_CONSULTA_PADRAO = exports.CODIGOS_DE_EMBEDDING = exports.MODELO_DE_EMBEDDING = exports.EMBED_MAX_CARACTERES = exports.EMBED_MAX_TEXTOS = exports.ESQUEMA_ORKMIND = exports.DIMENSOES = exports.COLECOES_DE_GOVERNANCA = exports.LIMITE_TIMEOUT_DO_UNIVERSO_MS = exports.TIMEOUT_DO_UNIVERSO_MS = exports.COLECOES_DO_ORK = void 0;
+exports.pertenceAoUniverso = pertenceAoUniverso;
 exports.enderecoDeMemoria = enderecoDeMemoria;
 exports.lerEndereco = lerEndereco;
 exports.violacoesDeGovernanca = violacoesDeGovernanca;
@@ -82,6 +83,7 @@ const fs = __importStar(require("node:fs"));
 const node_child_process_1 = require("node:child_process");
 const node_crypto_1 = require("node:crypto");
 const node_util_1 = require("node:util");
+const node_perf_hooks_1 = require("node:perf_hooks");
 /** As colecoes do OrkMind que o `ork` grava (guia: docs/guias/memoria-e-handoff.md). */
 exports.COLECOES_DO_ORK = [
     'decision',
@@ -90,6 +92,31 @@ exports.COLECOES_DO_ORK = [
     'learning',
     'roadmap',
 ];
+/** Cinco leituras governadas e a contagem, num unico subprocesso. */
+exports.TIMEOUT_DO_UNIVERSO_MS = 90_000;
+exports.LIMITE_TIMEOUT_DO_UNIVERSO_MS = 86_400_000;
+/** Configuracao direta tambem tem prazo finito: zero no spawnSync significaria sem limite. */
+function prazoDoUniversoMs(prazo) {
+    return typeof prazo === 'number' && Number.isSafeInteger(prazo) && prazo > 0 && prazo <= exports.LIMITE_TIMEOUT_DO_UNIVERSO_MS
+        ? prazo : exports.TIMEOUT_DO_UNIVERSO_MS;
+}
+/**
+ * RM-038: a fronteira do universo da busca vista do `ork`: colecao do ork e o tenant como item
+ * de `project`, sem injection_risk e ainda ativa. Reconferida antes de qualquer embed,
+ * mesmo quando a ponte ou outro driver devolve uma entrada que a biblioteca deveria recusar.
+ */
+function pertenceAoUniverso(e, tenant, agora = Date.now()) {
+    // A biblioteca trata datas sem fuso como UTC. Data invalida nunca vira entrada ativa.
+    const expira = e.expires_at == null ? null : Date.parse(/(?:Z|[+-]\d{2}:?\d{2})$/i.test(e.expires_at) ? e.expires_at : `${e.expires_at}Z`);
+    return exports.COLECOES_DO_ORK.includes(e.collection) && Array.isArray(e.tags.project) &&
+        e.tags.project.includes(tenant) && e.injection_risk !== true && (expira === null || expira > agora);
+}
+/** RM-038: contagem de fora da busca bem formada (tres inteiros nao negativos, nada mais). */
+function foraDaBuscaValida(x) {
+    const campos = ['injecao', 'expiradas', 'outrasColecoes'];
+    return !!x && typeof x === 'object' && !Array.isArray(x) && Object.keys(x).length === campos.length &&
+        campos.every(k => Number.isInteger(x[k]) && Number(x[k]) >= 0);
+}
 /**
  * Colecoes de governanca dura do OrkMind: entrada aqui vira REGRA do ecossistema.
  * O agente pode gravar (o B6 grava as policies do manifesto), mas nunca como `mandatory`
@@ -313,6 +340,10 @@ function entradaDoJson(bruto) {
     const o = bruto;
     if (typeof o.id !== 'string' || typeof o.content !== 'string')
         return null;
+    if (o.injection_risk !== undefined && typeof o.injection_risk !== 'boolean')
+        return null;
+    if (o.expires_at !== undefined && o.expires_at !== null && typeof o.expires_at !== 'string')
+        return null;
     const tags = {};
     if (o.tags && typeof o.tags === 'object' && !Array.isArray(o.tags)) {
         for (const [k, v] of Object.entries(o.tags)) {
@@ -340,6 +371,8 @@ function entradaDoJson(bruto) {
         author_id: typeof o.author_id === 'string' ? o.author_id : null,
         visibility: typeof o.visibility === 'string' ? o.visibility : undefined,
         protected: typeof o.protected === 'boolean' ? o.protected : undefined,
+        injection_risk: o.injection_risk,
+        expires_at: o.expires_at,
         criadaEm: typeof o.created_at === 'string' ? o.created_at : '',
     };
 }
@@ -440,7 +473,7 @@ class DriverCliOrkMind {
                 code = JSON.parse(r.stdout)?.error;
             }
             catch { /* nenhum detalhe do filho */ }
-            throw new Error(['memory.schema.absent', 'memory.legacy.provenance-collision', 'memory.prospective.marker-invalid', 'memory.native.schema-mismatch', 'memory.query.invalid', 'memory.query.window-saturated', 'memory.query.scope-violation', 'memory.health.invalid', 'memory.fts.invalid', ...exports.CODIGOS_DE_EMBEDDING].includes(code) ? code : 'memory.transport.failed');
+            throw new Error(['memory.schema.absent', 'memory.legacy.provenance-collision', 'memory.prospective.marker-invalid', 'memory.native.schema-mismatch', 'memory.query.invalid', 'memory.query.window-saturated', 'memory.query.scope-violation', 'memory.health.invalid', 'memory.fts.invalid', 'memory.universo.invalid', ...exports.CODIGOS_DE_EMBEDDING].includes(code) ? code : 'memory.transport.failed');
         }
         let json;
         try {
@@ -555,6 +588,31 @@ class DriverCliOrkMind {
         }
         return r.ids;
     }
+    /**
+     * RM-038: o universo da busca numa chamada. A ponte filtra o tenant na origem e confere o
+     * predicado; o `ork` confere de novo cada entrada e recusa a alheia, nunca a descarta.
+     */
+    universo(tenant) {
+        if (!textoDeConsulta(tenant, 128) || tenant.trim() === '')
+            throw new Error('memory.universo.invalid');
+        const agora = Date.now();
+        const inicio = node_perf_hooks_1.performance.now();
+        const r = this.rodar({ op: 'universo', tenant }, prazoDoUniversoMs(this.config.universoTimeoutMs));
+        if (!objetoDeConsulta(r) || !Array.isArray(r.entradas) || !(r.foraDaBusca === null || foraDaBuscaValida(r.foraDaBusca))) {
+            throw new Error('memory.transport.universo');
+        }
+        const entradas = r.entradas.map(d => {
+            const e = entradaDoJson(d);
+            if (!e)
+                throw new Error('memory.transport.universo');
+            if (!pertenceAoUniverso(e, tenant, agora))
+                throw new Error('memory.query.scope-violation');
+            return e;
+        });
+        const fora = r.foraDaBusca;
+        return { entradas, foraDaBusca: fora === null ? null : { injecao: fora.injecao, expiradas: fora.expiradas, outrasColecoes: fora.outrasColecoes },
+            latenciaMs: node_perf_hooks_1.performance.now() - inicio };
+    }
     submeterHandoff(pedido) {
         try {
             const r = this.rodar({ op: 'handoff', pedido });
@@ -671,6 +729,8 @@ class DriverEmMemoria {
     embedding = { primario: true, fallback: true };
     /** Pedidos de embedding recebidos, para as assercoes de custo (chamadas ao provider). */
     pedidosDeEmbedding = [];
+    /** RM-038: o que a governanca da biblioteca tiraria da leitura (injection_risk, expirada), por id. */
+    foraDaBuscaMarcadas = new Map();
     constructor(entradas = []) {
         for (const e of entradas)
             this.entradas.push(e);
@@ -750,7 +810,31 @@ class DriverEmMemoria {
     exportar(colecao) {
         if (!this.ligado)
             throw new Error('memory.transport.unavailable');
-        return this.entradas.filter((e) => e.collection === colecao);
+        // Como o search_by_tags governado: o que a governanca tira nao sai pela leitura por tag.
+        return this.entradas.filter((e) => e.collection === colecao && !this.foraDaBuscaMarcadas.has(e.id));
+    }
+    /** So para os testes: a entrada passa a contar como tirada pela governanca da biblioteca. */
+    marcarForaDaBusca(id, motivo) {
+        this.foraDaBuscaMarcadas.set(id, motivo);
+    }
+    /** RM-038: o mesmo predicado do universo para o dublê inteiro (universo e FTS). */
+    naBusca(e, tenant) {
+        return pertenceAoUniverso(e, tenant) && !this.foraDaBuscaMarcadas.has(e.id);
+    }
+    /** RM-038: dublê da operacao `universo` da ponte, com a contagem de fora da busca. */
+    universo(tenant) {
+        if (!textoDeConsulta(tenant, 128) || tenant.trim() === '')
+            throw new Error('memory.universo.invalid');
+        if (!this.ligado)
+            throw new Error('memory.transport.unavailable');
+        const foraDaBusca = { injecao: 0, expiradas: 0, outrasColecoes: 0 };
+        for (const e of this.entradas.filter(x => (x.tags.project ?? []).includes(tenant))) {
+            if (!exports.COLECOES_DO_ORK.includes(e.collection))
+                foraDaBusca.outrasColecoes += 1;
+            else if (this.foraDaBuscaMarcadas.has(e.id))
+                foraDaBusca[this.foraDaBuscaMarcadas.get(e.id)] += 1;
+        }
+        return { entradas: this.entradas.filter(e => this.naBusca(e, tenant)), foraDaBusca };
     }
     consultar(consulta) {
         const q = validarConsultaDelimitada(consulta);
@@ -802,7 +886,7 @@ class DriverEmMemoria {
         this.pedidosDeEmbedding.push(p);
         return { alvo: p.alvo, modelo: p.modelo, dim: p.dim, vetores: p.textos.map(t => vetorDeDuble(t, p.dim)) };
     }
-    /** Dublê de FTS: todas as palavras da consulta no conteudo, sem stemming, com tenant obrigatorio. */
+    /** Dublê de FTS: todas as palavras da consulta no conteudo, sem stemming, dentro do universo da busca. */
     buscarTexto(tenant, texto) {
         if (!textoDeConsulta(tenant, 128) || !textoDeBuscaValido(texto))
             throw new Error('memory.fts.invalid');
@@ -811,7 +895,7 @@ class DriverEmMemoria {
         const palavras = (t) => t.normalize('NFD').replace(/[\u0300-\u036f]/g, '').toLowerCase().match(/[a-z0-9]+/g) ?? [];
         const consulta = palavras(texto);
         return this.entradas
-            .filter(e => exports.COLECOES_DO_ORK.includes(e.collection) && (e.tags.project ?? []).includes(tenant))
+            .filter(e => this.naBusca(e, tenant))
             .map(e => ({ id: e.id, conteudo: palavras(e.content) }))
             .filter(e => consulta.every(p => e.conteudo.includes(p)))
             .map(e => ({ id: e.id, peso: e.conteudo.filter(p => consulta.includes(p)).length }))
@@ -838,6 +922,7 @@ function configDoManifesto(manifesto) {
         variavel,
         dsn: variavel ? (process.env[variavel] ?? '') : '',
         timeoutMs: manifesto.memory.timeout_ms || 15000,
+        universoTimeoutMs: prazoDoUniversoMs(manifesto.memory.universo_timeout_ms),
         tenant: manifesto.memory.tenant || manifesto.project.name,
         // Lido direto do bloco: este modulo carrega sem o parser do manifesto (memory-native-schema).
         variavelDaChaveDeEmbedding: manifesto.memory.embedding?.provider === 'openrouter' ? manifesto.memory.embedding.api_key_env : '',

package/dist/orquestracao.js

@@ -69,10 +69,11 @@ const adapter = __importStar(require("./adapters/claude-bg"));
 const board_1 = require("./board");
 const gates_1 = require("./gates");
 const ledger_1 = require("./ledger");
+const leases_1 = require("./leases");
 const modos_1 = require("./modos");
 const ocupacao_1 = require("./ocupacao");
 const ratelimit_1 = require("./ratelimit");
-const hitl_1 = require("./hitl");
+const impedimento_1 = require("./impedimento");
 const thread_1 = require("./thread");
 const util_1 = require("./util");
 const horario_1 = require("./horario");
@@ -188,7 +189,8 @@ function pausasAbertas(thread, eventos, estados, quando) {
     // ESCALADA do bloco B3 (limite de tentativas estourado), que pausa qualquer modo,
     // inclusive `#Auto` -- que por definicao nao tem pausa prevista no ledger.
     eventos.forEach((e, i) => {
-        if (e.tipo !== ledger_1.TIPOS_DE_EVENTO.gateBloqueado || e.motivo !== 'human.pending')
+        // RM-055: o impedimento do despacho que so o dono resolve tambem e espera dele.
+        if (!(0, impedimento_1.ehEsperaDoDono)(e, ledger_1.TIPOS_DE_EVENTO.gateBloqueado))
             return;
         const resolvido = eventos
             .slice(i + 1)
@@ -200,12 +202,14 @@ function pausasAbertas(thread, eventos, estados, quando) {
         if (porFase.has(chave))
             return;
         const { bloco, pausaSobre } = blocoDaFase(thread, fase);
+        const imp = (0, impedimento_1.ehImpedimentoDoDono)(e.motivo) ? (0, impedimento_1.impedimentoDoEvento)(e) : null;
         porFase.set(chave, parada({
             natureza: 'pausa-humana',
-            motivo: 'human.pending',
+            motivo: imp ? e.motivo : 'human.pending',
             fase,
             bloco,
-            pausaSobre: pausaSobre || 'autorizacao da retomada',
+            pausaSobre: imp ? `rodar \`${imp.comando}\` no terminal` : pausaSobre || 'autorizacao da retomada',
+            ...(imp ? { impedimento: imp } : {}),
             detalhe: typeof e.detalhe === 'string' && e.detalhe !== ''
                 ? e.detalhe
                 : gates_1.DESCRICAO_DO_MOTIVO['human.pending'],
@@ -256,7 +260,7 @@ function impedimentosAbertos(item, eventos, raizDoProjeto, quando) {
             pausaSobre: '',
             detalhe: `na fila de ${p.nome}, atras da thread ${p.bloqueadaPor} (colide com ${p.colidiuCom})`,
             evidencia: `.orkastery/leases/fila.json (${p.tipo})`,
-            correcao: `espere a thread ${p.bloqueadaPor} liberar (ork lease release ${p.colidiuCom} --thread ${p.bloqueadaPor}), ou reduza a regiao pedida`,
+            correcao: `espere a thread ${p.bloqueadaPor} liberar (ork lease release ${(0, leases_1.argumentoDeLease)(p.colidiuCom)} --thread ${(0, leases_1.argumentoDeLease)(p.bloqueadaPor)}), ou reduza a regiao pedida`,
             desdeEm: p.desdeEm,
             sessaoViva: null,
             fonte: 'fila-de-lease',
@@ -288,7 +292,7 @@ function impedimentosAbertos(item, eventos, raizDoProjeto, quando) {
         if (e.tipo !== ledger_1.TIPOS_DE_EVENTO.gateBloqueado && e.tipo !== 'phase_wait')
             return;
         const motivo = e.motivo;
-        if (motivo === 'human.pending' || motivo === 'claims.unverifiable')
+        if (motivo === 'human.pending' || motivo === 'claims.unverifiable' || (0, impedimento_1.ehImpedimentoDoDono)(motivo))
             return;
         if (!(motivo in gates_1.DESCRICAO_DO_MOTIVO))
             return;
@@ -372,10 +376,8 @@ function montarMonitor(carregado, opcoes = {}) {
     }
     else if (opcoes.semRuntime !== true) {
         if (adapter.disponivel()) {
-            estados = new Map(adapter
-                .listarSessoes()
-                .filter((s) => !!s.sessionId)
-                .map((s) => [s.sessionId, (0, hitl_1.estadoBruto)(s)]));
+            // RM-056 (D7): todas as contas, a mesma consulta do escalonador.
+            estados = (0, board_1.estadosDeSessao)(carregado.raiz, carregado.manifesto.concurrency.stale_after_min);
             runtimeDetalhe = '';
         }
         else {
@@ -388,7 +390,8 @@ function montarMonitor(carregado, opcoes = {}) {
     const linhas = [];
     for (const item of itens) {
         const { thread } = item;
-        const eventos = (0, ledger_1.lerLedger)((0, thread_1.dirThread)(item.raiz, thread.id));
+        // Fatia 2 do ensaio da 0.5.0 (P2): o evento de `--dry-run` nao abre parada no monitor nem no pulse.
+        const eventos = (0, ledger_1.lerLedger)((0, thread_1.dirThread)(item.raiz, thread.id)).filter((e) => !(0, ledger_1.ehEnsaio)(e));
         const pausas = pausasAbertas(thread, eventos, estados, quando);
         const impedimentos = impedimentosAbertos(item, eventos, item.raiz, quando);
         // O limite de paralelismo da maquina tambem trava, e o escalonador ja o calculou.