terminal-smart-cli 0.66.0 → 0.67.0

package/bin/ts.js

@@ -1186,10 +1186,17 @@ async function metaCmd() {
   // 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')); criteria = Array.isArray(j) ? j : (j.criteria || []); }
+    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);

package/lib/i18n.js

@@ -44,6 +44,7 @@ const STR = {
         ['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/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.66.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"