terminal-smart-cli 0.50.1 → 0.51.0

package/bin/ts.js

@@ -1361,6 +1361,8 @@ async function diagnosticarCmd(args) {
       else if (e.type === 'probe') console.log('    ' + C.dim('$ ') + e.probe.slice(0, 90));
       else if (e.type === 'blocked') console.log('    ' + C.err(en ? 'probe blocked (not read-only)' : 'sonda bloqueada (não é só-leitura)'));
       else if (e.type === 'skip') console.log('    ' + C.dim(en ? 'repeated probe skipped' : 'sonda repetida pulada'));
+      else if (e.type === 'verify') console.log('  ' + C.dim('↯ ') + (en ? 'adversarial check (trying to refute it)…' : 'checagem adversarial (tentando refutar)…'));
+      else if (e.type === 'refuted') console.log('  ' + C.err(en ? '✗ own conclusion refuted — back to investigating' : '✗ própria conclusão refutada — volta a investigar'));
       else if (e.type === 'stuck') console.log('  ' + C.dim(en ? 'exhausted hypotheses' : 'hipóteses esgotadas'));
     },
   });
@@ -1369,7 +1371,7 @@ async function diagnosticarCmd(args) {
   if (r.status === 'no_credits') { console.log(ui.errLine(T.no_credits)); return; }
   if (r.status === 'solved') {
     console.log(ui.box([
-      C.ok(en ? 'ROOT CAUSE FOUND' : 'CAUSA RAIZ ENCONTRADA') + C.dim('  (' + r.category + ', ' + r.rounds + (en ? ' rounds' : ' rodadas') + ', ' + r.credits + ' cr)'),
+      C.ok(en ? 'ROOT CAUSE FOUND' : 'CAUSA RAIZ ENCONTRADA') + (r.verified ? C.ok(en ? ' ✓verified' : ' ✓verificada') : C.dim(en ? ' (unverified)' : ' (não verificada)')) + C.dim('  (' + r.category + ', ' + r.rounds + (en ? ' rounds' : ' rodadas') + ', ' + r.credits + ' cr)'),
       '',
       C.bold(en ? 'Cause: ' : 'Causa: ') + r.rootCause,
       '',

package/lib/diagnose.js

@@ -65,8 +65,34 @@ async function diagnose(symptom, opts = {}) {
     onEvent({ type: 'think', round, hypothesis: j.hypothesis || '', category: j.category || '', thought: j.thought || '', confidence: j.confidence || 0 });
 
     if (j.status === 'solved' && (j.root_cause || j.fix)) {
-      result = { status: 'solved', rootCause: j.root_cause || j.hypothesis || '', fix: j.fix || '', category: j.category || 'unknown', confidence: j.confidence || 0, evidence, rounds: round };
-      onEvent({ type: 'solved', rootCause: result.rootCause, fix: result.fix, category: result.category });
+      // ── VERIFICAÇÃO ADVERSARIAL: antes de cravar, TENTA REFUTAR a própria conclusão. ──
+      // (nasceu de um falso-positivo real: "libtask.so quebrada" quando os símbolos
+      //  indefinidos eram resolvidos pelo executável gs em runtime — ldd -r engana.)
+      const claim = j.root_cause || j.hypothesis || '';
+      onEvent({ type: 'verify', round, rootCause: claim });
+      const vAsk = lang === 'en'
+        ? 'Before finalizing, ADVERSARIALLY refute this. Give ONE read-only probe whose output would DISPROVE the root cause if it is wrong. Classic trap: a symbol/lib/file that looks "missing/broken" but is provided elsewhere (e.g. an undefined symbol in a .so is resolved by the MAIN executable at runtime → check the main binary with nm -C). JSON {"refute_probe":"...","disproves_if":"..."}'
+        : 'Antes de finalizar, REFUTE adversarialmente. Dê UMA sonda só-leitura cuja saída DESMENTIRIA a causa raiz se ela estiver errada. Armadilha clássica: um símbolo/lib/arquivo que parece "faltando/quebrado" mas é provido em OUTRO lugar (ex.: símbolo indefinido numa .so é resolvido pelo EXECUTÁVEL principal em runtime → cheque o binário principal com nm -C). JSON {"refute_probe":"...","disproves_if":"..."}';
+      let vr = null; try { vr = await agent.llm({ baseUrl: k.baseUrl, key: k.key, model, noTools: true, signalMs: 90000, messages: [{ role: 'system', content: sysPrompt(lang, target) }, { role: 'user', content: (lang === 'en' ? 'SYMPTOM:\n' : 'SINTOMA:\n') + symptom + '\n\n' + (lang === 'en' ? 'EVIDENCE:\n' : 'EVIDÊNCIAS:\n') + evLog + '\n\n' + (lang === 'en' ? 'PROPOSED ROOT CAUSE: ' : 'CAUSA RAIZ PROPOSTA: ') + claim + '\n\n' + vAsk }] }); } catch (_) {}
+      if (vr) { inTok += (vr.usage.prompt_tokens || 0); outTok += (vr.usage.completion_tokens || 0); }
+      const vj = vr ? extractJson(vr.msg.content) : null;
+      const rprobe = vj && String(vj.refute_probe || '').trim();
+      if (rprobe && isProbe(rprobe) && !seenProbes.has(rprobe)) {
+        seenProbes.add(rprobe);
+        onEvent({ type: 'probe', round, hypothesis: '↯ verificação: ' + (j.hypothesis || ''), probe: rprobe, expect: vj.disproves_if || '' });
+        let rout; try { const ex = await tools.execute('executar_comando', { comando: wrap(rprobe) }, { baseDir: cwd, token }); rout = ex.erro ? ('ERRO: ' + ex.erro) : ([ex.stdout, ex.stderr].filter(Boolean).join('\n') || ('(sem saída, exit ' + (ex.codigo ?? '?') + ')')); } catch (e) { rout = 'FALHA: ' + (e.message || e); }
+        evidence.push({ round, hypothesis: '↯ verificação: ' + (j.hypothesis || ''), probe: rprobe, output: rout });
+        let fr = null; try { fr = await agent.llm({ baseUrl: k.baseUrl, key: k.key, model, noTools: true, signalMs: 60000, messages: [{ role: 'system', content: sysPrompt(lang, target) }, { role: 'user', content: (lang === 'en' ? 'Root cause claim: ' : 'Causa raiz alegada: ') + claim + '\n' + (lang === 'en' ? 'Refutation probe output:\n' : 'Saída da sonda de refutação:\n') + String(rout).slice(0, 1600) + '\n\n' + (lang === 'en' ? 'CONFIRMED or REFUTED? JSON {"verdict":"confirmed|refuted","reason":"..."}' : 'CONFIRMADA ou REFUTADA? JSON {"verdict":"confirmed|refuted","reason":"..."}') }] }); } catch (_) {}
+        if (fr) { inTok += (fr.usage.prompt_tokens || 0); outTok += (fr.usage.completion_tokens || 0); }
+        const fj = fr ? extractJson(fr.msg.content) : null;
+        if (fj && /refut/i.test(String(fj.verdict))) {
+          onEvent({ type: 'refuted', round, reason: fj.reason || '' });
+          evidence.push({ round, hypothesis: '✗ REFUTADA: ' + (j.hypothesis || ''), probe: '(veredito)', output: 'Causa REFUTADA — ' + (fj.reason || '') + ' — seguir investigando.' });
+          continue; // a própria conclusão caiu na verificação → volta a investigar
+        }
+      }
+      result = { status: 'solved', rootCause: claim, fix: j.fix || '', category: j.category || 'unknown', confidence: j.confidence || 0, verified: !!rprobe, evidence, rounds: round };
+      onEvent({ type: 'solved', rootCause: result.rootCause, fix: result.fix, category: result.category, verified: result.verified });
       break;
     }
     if (j.status === 'stuck' || !j.probe) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "terminal-smart-cli",
-  "version": "0.50.1",
+  "version": "0.51.0",
   "description": "Terminal Smart no seu terminal — pergunte, analise logs por pipe e orquestre agentes de IA. Comando: ts",
   "bin": {
     "ts": "bin/ts.js"