terminal-smart-cli 0.65.0 → 0.67.0

package/bin/ts.js

@@ -1183,6 +1183,21 @@ async function metaCmd() {
   const intervaloMin = flagNum('--intervalo', 5); // min de espera entre janelas ao aguardar crédito
   // Anti-loop-infinito: se ninguém definiu teto, cai num limite de janelas seguro.
   const maxJanelasEff = maxJanelas || ((budgetTotal || maxHoras) ? 0 : 20);
+  // CRITÉRIOS EXECUTÁVEIS (verify): --criterios <arquivo.json> = a PROVA de que a missão
+  // cumpriu o pedido (não basta compilar/abrir). Falhou → missão sai "NÃO verificada".
+  let criteria = [];
+  const _verify = require('../lib/verify');
+  const _critFile = (() => { const i = rawArgs.findIndex(a => a === '--criterios' || a === '--criteria'); return i >= 0 ? rawArgs[i + 1] : null; })();
+  if (_critFile) {
+    try { const j = JSON.parse(require('fs').readFileSync(_critFile, 'utf8')); const comp = _verify.compileCriteria(j); criteria = comp.criteria;
+      if (comp.dropped.length) console.log('  ' + C.dim((cfg.lang === 'en' ? 'ignored ' : 'ignorei ') + comp.dropped.length + (cfg.lang === 'en' ? ' invalid criterion(s)' : ' critério(s) inválido(s)'))); }
+    catch (e) { console.error(ui.errLine((cfg.lang === 'en' ? 'criteria file: ' : 'arquivo de critérios: ') + (e.message || e))); process.exit(2); }
+  } else if (FLAGS.has('--provar') || FLAGS.has('--prove')) {
+    // TaskSpec automático: deriva os critérios da stack (testes) — sem json na mão.
+    criteria = _verify.deriveFromStack(dir);
+    if (criteria.length) console.log('  ' + C.dim((cfg.lang === 'en' ? 'auto-derived proof: ' : 'prova auto-derivada: ') + criteria.map(c => c.label || c.type).join(' · ')) + '\n');
+    else console.log('  ' + C.dim(cfg.lang === 'en' ? '--provar: no test command detected in this project (nothing to auto-prove)' : '--provar: nenhum comando de teste detectado neste projeto (nada a auto-provar)') + '\n');
+  }
 
   const existing = metaMod.load(dir);
   if (FLAGS.has('--status')) {
@@ -1229,7 +1244,7 @@ async function metaCmd() {
     const goalArg = janela === 1 ? (goal || null) : null; // janelas seguintes só retomam
     try {
       st = await metaMod.run(goalArg, {
-        token, lang: cfg.lang || 'pt', yes, budget, maxRounds, dir, model: forcedModel, thinker, maxMinutes, designer, design, eye, visualLadder, mockup, arch,
+        token, lang: cfg.lang || 'pt', yes, budget, maxRounds, dir, model: forcedModel, thinker, maxMinutes, designer, design, eye, visualLadder, mockup, arch, criteria,
         onAlert: ({ type, text }) => {
           sp.stop();
           const ic = type === 'human' ? C.warn('🙋') : type === 'escalate' ? C.indigo('🧠') : type === 'stagnated' ? C.err('🛑') : type === 'design' ? C.cyan('🎨') : type === 'retry' || type === 'conn' ? C.warn('📡') : C.warn('⏱');
@@ -1304,6 +1319,11 @@ async function metaCmd() {
     const _vtag = (_vl.ok ? C.ok : C.warn)(` · ${_vl.icon} ${_vl.txt}`);
     console.log((_vl.ok ? ui.okLine : ui.infoLine)(C.bold(T.meta_done) + C.dim(` · ${st.rounds.length} rodada(s) · ${st.creditsSpent} créditos · ${secs} min` + (st.escalations ? ` · ${st.escalations} escalonamento(s)` : '')) + _vtag));
     if (!_vl.ok) console.log('  ' + C.dim((cfg.lang === 'en' ? 'Heads up: the deliverable was produced but NOT fully proven — check it before relying on it.' : 'Atenção: o entregável foi produzido mas NÃO foi totalmente provado — confira antes de confiar.') + (st.runNote ? ' (' + String(st.runNote).trim() + ')' : '')));
+    // Evidence Ledger da missão: mostra cada critério executável provado/falho.
+    if (st.verifyReport && st.verifyReport.total) {
+      console.log('  ' + C.dim((cfg.lang === 'en' ? 'Criteria: ' : 'Critérios: ') + st.verifyReport.passed + '/' + st.verifyReport.total));
+      for (const r of st.verifyReport.results) console.log('    ' + (r.ok ? C.ok('✔') : C.err('✗')) + ' ' + C.dim((r.label || '') + (r.ok ? '' : '  — ' + (r.detail || ''))));
+    }
     metaMod.notify(token, T.meta_notify_done(st.goal, done, st.creditsSpent) + (_vl.ok ? '' : `\n⚠️ ${_vl.txt}`));
   } else if (st.pause_reason === 'awaiting_human' && st.humanRequest) {
     console.log(ui.infoLine(C.bold('🙋 Preciso de você: ') + st.humanRequest.motivo));

package/lib/i18n.js

@@ -43,6 +43,8 @@ const STR = {
         ['ts agente --continuar "..."', 'retoma o trabalho anterior desta pasta'],
         ['ts agente "..." --navegador', 'EXPERIMENTAL: dá um Chrome real ao agente (abrir/ler/clicar/print+visão)'],
         ['ts meta "objetivo grande"', 'MISSÃO: checklist + rodadas até terminar (noturno)'],
+        ['ts meta "..." --criterios prova.json', 'só declara "verificada" se os critérios executáveis (verify) passarem de verdade'],
+        ['ts meta "..." --provar', 'auto-deriva a prova da stack (roda os testes do projeto) — sem escrever json'],
         ['ts meta --status', 'estado da missão deste diretório'],
         ['ts eval suite.json', 'avalia o agente numa suíte de casos (juiz de IA + nota)'],
         ['ts verificar --cmd "npm test" --url ... --porta N', 'PROVA determinística de conclusão (build/http/porta/arquivo); exit 1 pra CI'],

package/lib/meta.js

@@ -1001,6 +1001,20 @@ async function makeChecklist(goal, token) {
  *       onStep/askApprove/onRemote (repassados pro agente)
  * Retorna o estado final {status: done|paused, ...}.
  */
+// CRITÉRIOS EXECUTÁVEIS (verify): a prova FINAL da missão. Rodados quando os gates de
+// build/run passam, ANTES de declarar 'verified'. Se algum critério do usuário falha, a
+// missão NÃO é verificada (honestidade — não basta compilar/abrir; tem que CUMPRIR o pedido).
+// Sem critérios → nada a provar (retorna true). runAll nunca lança.
+async function _checkCriteria(st, dir) {
+  if (!st.criteria || !st.criteria.length) return true;
+  try {
+    const rep = await require('./verify').runAll(st.criteria, { cwd: dir });
+    st.verifyReport = { passed: rep.passed, total: rep.total, allOk: rep.allOk, results: rep.results.map(r => ({ ok: r.ok, label: r.label, detail: r.detail })) };
+    if (!rep.allOk) st.runNote = (st.runNote || '') + ` critérios: ${rep.passed}/${rep.total} passaram · falharam: ${rep.results.filter(r => !r.ok).map(r => r.label).slice(0, 3).join(' | ')}`;
+    return rep.allOk;
+  } catch (_) { return true; }
+}
+
 async function run(goal, opts = {}) {
   const { token, lang = 'pt', yes = false, budget = 400, maxRounds = 20, dir = process.cwd(), model = null, thinker = null, maxMinutes = 0, designer = null, design = 'auto', runGate = true, eye = null, visualLadder = true } = opts;
   const onChecklist = opts.onChecklist || (() => {});
@@ -1043,7 +1057,7 @@ async function run(goal, opts = {}) {
     }
     const mk = await makeChecklist(goal + (designBrief ? '\n\n[Há um DESIGN SYSTEM definido — o checklist deve refletir a aplicação desse visual]' : '') + (archBrief ? '\n\n[Há um CONTRATO DE ARQUITETURA definido — os itens devem seguir os componentes/arquivos dele]' : ''), token);
     st = { goal: String(goal).slice(0, 4000), mockup: opts.mockup || null, archBrief, feasBrief, checklist: mk.itens, rounds: [], creditsSpent: (mk.credits || 0) + designCred + archCred + feasCred,
-      budget, maxRounds, status: 'running', model: model || null, designBrief: designBrief || null, created_at: new Date().toISOString() };
+      budget, maxRounds, status: 'running', model: model || null, designBrief: designBrief || null, criteria: Array.isArray(opts.criteria) ? opts.criteria : [], created_at: new Date().toISOString() };
     save(st, dir);
   } else {
     st.status = 'running';
@@ -1126,9 +1140,9 @@ async function run(goal, opts = {}) {
                   // Aprovado: impecável OU só com nitpicks cosméticos (não vale queimar rodada cara).
                   st.visualOk = true;
                   if (vg.severity === 'ressalvas') { st.runNote = (st.runNote || '') + ' visual aprovado com ressalvas cosméticas (sem defeito estrutural)'; onAlert({ type: 'design', text: `👁 ts: visual APROVADO — sobrou só nitpick cosmético (sem defeito estrutural). Não vou gastar polimento caro à toa.` }); }
-                  st.verification = 'verified'; st.status = 'done'; st.finished_at = new Date().toISOString(); save(st, dir); onRoundDone({ checklist: st.checklist, spent: st.creditsSpent }); return st;
+                  st.verification = (await _checkCriteria(st, dir)) ? 'verified' : 'unverified'; st.status = 'done'; st.finished_at = new Date().toISOString(); save(st, dir); onRoundDone({ checklist: st.checklist, spent: st.creditsSpent }); return st;
                 }
-              } else { st.visualOk = true; st.verification = 'verified'; st.status = 'done'; st.finished_at = new Date().toISOString(); save(st, dir); onRoundDone({ checklist: st.checklist, spent: st.creditsSpent }); return st; }
+              } else { st.visualOk = true; st.verification = (await _checkCriteria(st, dir)) ? 'verified' : 'unverified'; st.status = 'done'; st.finished_at = new Date().toISOString(); save(st, dir); onRoundDone({ checklist: st.checklist, spent: st.creditsSpent }); return st; }
             } else {
               // CRASHOU ao abrir → trata como erro pro executor corrigir (loop igual ao build)
               st.buildFixes = (st.buildFixes || 0) + 1;
@@ -1143,7 +1157,8 @@ async function run(goal, opts = {}) {
             let wg = { ok: true }; try { wg = await webRunGate(b, { token, eye, eyeGate: !!eye && (st.visualFixes || 0) < MAX_VISUAL_FIXES }); } catch (_) {}
             st.creditsSpent += wg.credits || 0;
             if (wg.ok) {
-              st.buildVerified = true; st.runVerified = true; st.visualOk = true; st.verification = 'verified';
+              st.buildVerified = true; st.runVerified = true; st.visualOk = true;
+              st.verification = (await _checkCriteria(st, dir)) ? 'verified' : 'unverified';
               if (wg.shot) st.webShot = wg.shot;
               st.status = 'done'; st.finished_at = new Date().toISOString(); save(st, dir); onRoundDone({ checklist: st.checklist, spent: st.creditsSpent }); return st;
             } else {
@@ -1381,4 +1396,4 @@ function verificationLabel(ver, lang) {
   }
 }
 
-module.exports = { webRunGate, run, load, notify, stateFile, detectBuild, ensureToolchain, runBuild, escalate, designPhase, archPhase, looksVisual, looksComplex, runApp, visualGate, ensureEmulator, _projKind, _llmVision, verificationLabel };
+module.exports = { webRunGate, run, load, notify, stateFile, detectBuild, ensureToolchain, runBuild, escalate, designPhase, archPhase, looksVisual, looksComplex, runApp, visualGate, ensureEmulator, _projKind, _llmVision, verificationLabel, _checkCriteria };

package/lib/verify.js

@@ -101,4 +101,31 @@ async function runAll(criteria, opts = {}) {
   return { allOk: results.length > 0 && passed === results.length, passed, total: results.length, results };
 }
 
-module.exports = { runCriterion, runAll, VERIFIERS, VERIFIER_TYPES, _labelFor };
+// ── COMPILADOR de critérios (TaskSpec): o LLM/usuário PROPÕE, o harness VALIDA ────
+// Aceita só tipos conhecidos com os campos obrigatórios preenchidos; descarta o resto
+// (o modelo não impõe critério malformado). Determinístico. Retorna { criteria, dropped }.
+const _REQUIRED = { command: ['cmd'], file_exists: ['path'], file_absent: ['path'], file_contains: ['path', 'text'], http: ['url'], port: ['port'] };
+function compileCriteria(raw) {
+  const list = Array.isArray(raw) ? raw : (raw && Array.isArray(raw.criteria) ? raw.criteria : []);
+  const criteria = [], dropped = [];
+  for (const c of list) {
+    if (!c || typeof c !== 'object' || !_REQUIRED[c.type]) { dropped.push(c); continue; }
+    const missing = _REQUIRED[c.type].some(k => c[k] === undefined || c[k] === null || c[k] === '');
+    if (missing) { dropped.push(c); continue; }
+    const clean = { type: c.type };
+    for (const k of ['cmd', 'exit', 'path', 'text', 'regex', 'flags', 'absent', 'url', 'method', 'status', 'contains', 'port', 'host', 'timeout_s', 'label']) if (c[k] !== undefined) clean[k] = c[k];
+    criteria.push(clean);
+  }
+  return { criteria, dropped };
+}
+
+// Deriva critérios DETERMINÍSTICOS da stack (os TESTES, que os gates de build/run NÃO cobrem).
+// "A missão só é verificada se os testes passarem" — TaskSpec automático, zero json na mão.
+function deriveFromStack(cwd) {
+  let st; try { st = require('./stack').detectStack(cwd); } catch (_) { return []; }
+  const out = [];
+  for (const t of (st.test || [])) { if (/test/i.test(t)) out.push({ type: 'command', cmd: t, exit: 0, label: 'testes passam (' + t + ')' }); }
+  return out;
+}
+
+module.exports = { runCriterion, runAll, compileCriteria, deriveFromStack, VERIFIERS, VERIFIER_TYPES, _labelFor };

package/package.json

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