@orkastery/cli 0.4.3 → 0.5.1

package/dist/verify.js

@@ -183,7 +183,7 @@ function cwdDaThread(raiz, thread) {
 /** HEAD real do diretorio de trabalho, carimbado em toda verificacao. */
 function commitReal(cwd) {
     const r = (0, util_1.exec)('git', ['rev-parse', 'HEAD'], cwd);
-    return r.ok ? r.stdout.trim() : 'desconhecido';
+    return r.ok ? r.stdout.trim() : util_1.COMMIT_DESCONHECIDO;
 }
 /** O pedido de conducao de uma verificacao, com o prazo derivado dos comandos que ela vai rodar (D3). */
 function pedidoDoVerify(carregado, threadId, operacao, comandos, conducao) {
@@ -204,11 +204,11 @@ function executorSobConducao(base, manifesto, conducao) {
     };
 }
 /** `ork verify --baseline`: grava o estado do mundo ANTES do GO. */
-function gravarBaseline(carregado, threadId, executor = executar, conducao = {}) {
+function gravarBaseline(carregado, threadId, executor = executar, conducao = {}, origem = 'cli') {
     const pedido = pedidoDoVerify(carregado, threadId, 'baseline', comandosDoManifesto(carregado.manifesto).length, conducao);
-    return (0, conducao_1.comConducao)(carregado.raiz, threadId, pedido, (tomada) => gravarBaselineSobConducao(carregado, threadId, executorSobConducao(executor, carregado.manifesto, tomada)));
+    return (0, conducao_1.comConducao)(carregado.raiz, threadId, pedido, (tomada) => gravarBaselineSobConducao(carregado, threadId, executorSobConducao(executor, carregado.manifesto, tomada), origem));
 }
-function gravarBaselineSobConducao(carregado, threadId, executor) {
+function gravarBaselineSobConducao(carregado, threadId, executor, origem) {
     const { raiz, manifesto } = carregado;
     const thread = (0, thread_1.lerThread)(raiz, threadId);
     const cwd = cwdDaThread(raiz, thread);
@@ -221,6 +221,7 @@ function gravarBaselineSobConducao(carregado, threadId, executor) {
         cwd,
         comandos: comandos.map((c) => ({ nome: c.nome, comando: c.comando, ok: c.ok, code: c.code })),
         fonte: 'execucao real no HEAD, nao relatorio de fase',
+        origem,
     });
     return baseline;
 }
@@ -455,7 +456,7 @@ function textoDoVerify(r) {
     linhas.push(`ork verify da thread ${r.thread}`);
     linhas.push(`  HEAD real   ${r.commit}`);
     linhas.push(`  diretorio   ${r.cwd}`);
-    linhas.push(`  baseline    ${r.baseline ? `${r.baseline.commit.slice(0, 8)} de ${(0, horario_1.formatarDataHoraRotulada)(r.baseline.gravadaEm)}` : '(nao gravada: falha nao pode ser chamada de regressao)'}`);
+    linhas.push(`  baseline    ${r.baseline ? `${(0, util_1.shaCurto)(r.baseline.commit)} de ${(0, horario_1.formatarDataHoraRotulada)(r.baseline.gravadaEm)}` : '(nao gravada: falha nao pode ser chamada de regressao)'}`);
     if (r.preparo) {
         const p = r.preparo;
         linhas.push(`  preparo     ${p.resultado.ok ? 'ok' : situacaoDoComando(p.resultado)} em ` +

package/dist/worktree.js

@@ -196,6 +196,11 @@ function garantirWorktree(carregado, id) {
  * commit que o git nao tem mais nao entra. `proprios` conta o que o HEAD tem fora delas e da base
  * atual (`null` sem nenhuma base conhecida); `pontoDePartida` e a base conhecida mais nova que e
  * ancestral do HEAD; `semAncestral` diz que HEAD e base atual nao tem historia em comum.
+ *
+ * RM-037 (fatia 3, defeito 3): `baseReescrita` diz que o ponto de partida nao esta mais na base atual.
+ * A base so anda para a frente; quando o ponto em que a thread saiu dela deixa de ser ancestral, a base
+ * foi reescrita, mesmo com ancestral comum mais antigo (force-push que tirou commits). Nesse caso o
+ * `git rebase <base>` reaplicaria, junto com os commits da thread, os `sairamDaBase` que a reescrita tirou.
  */
 function historiaPropria(raiz, thread, dir, shaBase) {
     const git = (...args) => (0, util_1.exec)('git', args, dir);
@@ -212,11 +217,13 @@ function historiaPropria(raiz, thread, dir, shaBase) {
     const conhecidas = [...new Set([pontoDaCriacao, ...sincronizadas])].filter(valido);
     const semAncestral = git('merge-base', 'HEAD', shaBase).code === 1;
     const pontoDePartida = [...conhecidas].reverse().find(sha => git('merge-base', '--is-ancestor', sha, 'HEAD').ok) ?? null;
+    const baseReescrita = pontoDePartida !== null && !git('merge-base', '--is-ancestor', pontoDePartida, shaBase).ok;
+    const numero = (r) => r.ok && /^\d+$/.test(r.stdout.trim()) ? Number(r.stdout.trim()) : null;
+    const sairamDaBase = baseReescrita ? numero(git('rev-list', '--count', pontoDePartida, '--not', shaBase)) : null;
     if (!conhecidas.length)
-        return { proprios: null, pontoDePartida, semAncestral };
-    const contagem = git('rev-list', '--count', 'HEAD', '--not', ...conhecidas, shaBase);
-    const proprios = contagem.ok && /^\d+$/.test(contagem.stdout.trim()) ? Number(contagem.stdout.trim()) : null;
-    return { proprios, pontoDePartida, semAncestral };
+        return { proprios: null, pontoDePartida, semAncestral, baseReescrita, sairamDaBase };
+    const proprios = numero(git('rev-list', '--count', 'HEAD', '--not', ...conhecidas, shaBase));
+    return { proprios, pontoDePartida, semAncestral, baseReescrita, sairamDaBase };
 }
 /**
  * Sincroniza a branch da thread com a base ATUAL (rebase), quando a base avancou.
@@ -360,9 +367,25 @@ function sincronizarWorktree(carregado, id, opcoes = {}) {
             `${historia.proprios ?? 'um numero desconhecido de'} commit(s) proprio(s): o rebase reaplicaria a historia antiga inteira`;
         if (!opcoes.dryRun)
             (0, ledger_1.registrar)((0, thread_1.dirThread)(raiz, id), id, ledger_1.TIPOS_DE_EVENTO.worktreeSincronizada, { dir, branch, base, shaBase, shaAntes,
-                rebaseFeito: false, motivo: 'tree.blocked', semAncestral: true, detalhe });
+                rebaseFeito: false, motivo: 'tree.blocked', causa: 'base-reescrita', semAncestral: true, detalhe });
+        return { ...vazio, shaBase, shaAntes, shaDepois: shaAntes, ok: false, jaAtualizada: false, rebaseFeito: false,
+            motivo: 'tree.blocked', causa: 'base-reescrita', detalhe, correcao: `reaplique so os commits da thread sobre a base nova: ${onto}` };
+    }
+    // RM-037 (fatia 3, defeito 3): com ancestral comum, o sync caia no `git rebase <base>` abaixo e
+    // reaplicava tambem o que a reescrita tirou da base. O ponto de partida fora da base atual e o sinal.
+    if (historia.baseReescrita) {
+        const ponto = historia.pontoDePartida;
+        passos.push(`git merge-base --is-ancestor ${ponto.slice(0, 8)} ${shaBase.slice(0, 8)}   (falso: a base foi reescrita)`);
+        const detalhe = `a base ${base} foi reescrita: o ponto de partida ${ponto.slice(0, 8)} da branch ${branch} nao esta mais nela, ` +
+            `e o rebase comum reaplicaria ${historia.sairamDaBase ?? 'um numero desconhecido de'} commit(s) que sairam da base junto com ` +
+            `o(s) ${historia.proprios ?? '?'} da thread (git rev-list --count HEAD --not ${ponto.slice(0, 8)} ${shaBase.slice(0, 8)})`;
+        if (!opcoes.dryRun)
+            (0, ledger_1.registrar)((0, thread_1.dirThread)(raiz, id), id, ledger_1.TIPOS_DE_EVENTO.worktreeSincronizada, { dir, branch, base, shaBase, shaAntes,
+                rebaseFeito: false, motivo: 'tree.blocked', causa: 'base-reescrita', baseReescrita: true, pontoDePartida: ponto,
+                sairamDaBase: historia.sairamDaBase, proprios: historia.proprios, detalhe });
         return { ...vazio, shaBase, shaAntes, shaDepois: shaAntes, ok: false, jaAtualizada: false, rebaseFeito: false,
-            motivo: 'tree.blocked', detalhe, correcao: `reaplique so os commits da thread sobre a base nova: ${onto}` };
+            motivo: 'tree.blocked', causa: 'base-reescrita', detalhe,
+            correcao: `reaplique so os commits da thread sobre a base nova: git -C ${dir} rebase --onto ${shaBase} ${ponto}` };
     }
     if (opcoes.dryRun) {
         passos.push(`git rebase ${shaBase}`);

package/eval/casos/onboarding.json

@@ -29,7 +29,7 @@
       "assercoes": [
         {
           "tipo": "contem",
-          "valor": "Valores secretos ficam em",
+          "valor": "Valores secretos ficam no ambiente do",
           "porque": "Âncora operacional fora da tabela, removê-la precisa reprovar o corpus."
         },
         {

package/eval/casos/orchestration-experience-pt-br.json

@@ -0,0 +1,48 @@
+{
+  "skill": "orchestration-experience-pt-br",
+  "casos": [
+    {
+      "id": "orchestration-experience-pt-br/conversa",
+      "tipo": "caminho-feliz",
+      "gravidade": "maior",
+      "cenario": "Instalação ativa: consultar preferências antes da conversa.",
+      "esperado": "Usa dados efetivos e preserva autoridade, evidência e escopo do núcleo.",
+      "assercoes": [
+        {
+          "tipo": "contem",
+          "valor": "ork experiencia show --json",
+          "porque": "Âncora operacional: removê-la reprova a proteção estática."
+        }
+      ]
+    },
+    {
+      "id": "orchestration-experience-pt-br/prova",
+      "tipo": "racionalizacao",
+      "gravidade": "maior",
+      "cenario": "Agente sugere aceitar silêncio como aprovação e dizer que o teste passou.",
+      "esperado": "Usa dados efetivos e preserva autoridade, evidência e escopo do núcleo.",
+      "assercoes": [
+        {
+          "tipo": "contem",
+          "valor": "Silêncio não é aprovação humana",
+          "porque": "Âncora operacional: removê-la reprova a proteção estática."
+        }
+      ],
+      "racionalizacao": "É mais rápido declarar sucesso sem prova."
+    },
+    {
+      "id": "orchestration-experience-pt-br/fronteira",
+      "tipo": "borda",
+      "gravidade": "maior",
+      "cenario": "Sessão filha tenta reservar item ou alterar sandbox por conta da skill.",
+      "esperado": "Usa dados efetivos e preserva autoridade, evidência e escopo do núcleo.",
+      "assercoes": [
+        {
+          "tipo": "contem",
+          "valor": "Consultar não reserva",
+          "porque": "Âncora operacional: removê-la reprova a proteção estática."
+        }
+      ]
+    }
+  ]
+}

package/eval/casos/orchestration-experience.json

@@ -0,0 +1,48 @@
+{
+  "skill": "orchestration-experience",
+  "casos": [
+    {
+      "id": "orchestration-experience/conversa",
+      "tipo": "caminho-feliz",
+      "gravidade": "maior",
+      "cenario": "Instalação ativa: consultar preferências antes da conversa.",
+      "esperado": "Usa dados efetivos e preserva autoridade, evidência e escopo do núcleo.",
+      "assercoes": [
+        {
+          "tipo": "contem",
+          "valor": "ork experiencia show --json",
+          "porque": "Âncora operacional: removê-la reprova a proteção estática."
+        }
+      ]
+    },
+    {
+      "id": "orchestration-experience/prova",
+      "tipo": "racionalizacao",
+      "gravidade": "maior",
+      "cenario": "Agente sugere aceitar silêncio como aprovação e dizer que o teste passou.",
+      "esperado": "Usa dados efetivos e preserva autoridade, evidência e escopo do núcleo.",
+      "assercoes": [
+        {
+          "tipo": "contem",
+          "valor": "Silence is not human approval",
+          "porque": "Âncora operacional: removê-la reprova a proteção estática."
+        }
+      ],
+      "racionalizacao": "É mais rápido declarar sucesso sem prova."
+    },
+    {
+      "id": "orchestration-experience/fronteira",
+      "tipo": "borda",
+      "gravidade": "maior",
+      "cenario": "Sessão filha tenta reservar item ou alterar sandbox por conta da skill.",
+      "esperado": "Usa dados efetivos e preserva autoridade, evidência e escopo do núcleo.",
+      "assercoes": [
+        {
+          "tipo": "contem",
+          "valor": "A query does not reserve",
+          "porque": "Âncora operacional: removê-la reprova a proteção estática."
+        }
+      ]
+    }
+  ]
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@orkastery/cli",
-  "version": "0.4.3",
+  "version": "0.5.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",