@jaimevalasek/aioson 1.23.3 → 1.28.0

package/src/harness/plan-waves.js

@@ -0,0 +1,77 @@
+'use strict';
+
+/**
+ * Parser da tabela "Execution Sequence" do implementation-plan-{slug}.md
+ * (convenção Wave do @pm — Fase 4/5 do plano de verificação executável).
+ *
+ * Compartilhado entre `spec:analyze` (check wave_file_overlap) e
+ * `forge:compile` (compilação spec → workflow script). Sem coluna Wave a
+ * função retorna null — chamadores tratam como "convenção ausente"
+ * (retrocompat com planos antigos).
+ */
+
+/**
+ * @param {string} content — markdown do implementation-plan
+ * @returns {Array<{phase, wave, files: string[], scope, done}>|null}
+ */
+function parseExecutionWaves(content) {
+  const lines = String(content || '').split(/\r?\n/);
+  let columns = null;
+  const rows = [];
+
+  for (const line of lines) {
+    const trimmed = line.trim();
+    if (!trimmed.startsWith('|')) {
+      if (columns && rows.length) break; // fim da tabela alvo
+      columns = columns && rows.length === 0 ? columns : null;
+      continue;
+    }
+    const cells = trimmed.split('|').slice(1, -1).map((c) => c.trim());
+    const lower = cells.map((c) => c.toLowerCase());
+
+    if (!columns) {
+      if (lower.includes('wave') && lower.some((c) => c.includes('phase')) && lower.some((c) => c.includes('file'))) {
+        columns = {
+          phase: lower.findIndex((c) => c.includes('phase')),
+          wave: lower.indexOf('wave'),
+          files: lower.findIndex((c) => c.includes('file')),
+          scope: lower.findIndex((c) => c.includes('scope')),
+          done: lower.findIndex((c) => c.includes('done'))
+        };
+      }
+      continue;
+    }
+
+    if (cells.every((c) => /^:?-{2,}:?$/.test(c))) continue; // separador
+
+    const wave = parseInt(cells[columns.wave], 10);
+    if (!Number.isInteger(wave)) continue;
+    const files = (cells[columns.files] || '')
+      .split(/,|<br\s*\/?\s*>/i)
+      .map((f) => f.replace(/`/g, '').trim().replace(/\\/g, '/').toLowerCase())
+      .filter((f) => f && !/^(\.{3}|-|—)$/.test(f));
+    rows.push({
+      phase: cells[columns.phase] || `row ${rows.length + 1}`,
+      wave,
+      files,
+      scope: columns.scope >= 0 ? (cells[columns.scope] || '') : '',
+      done: columns.done >= 0 ? (cells[columns.done] || '') : ''
+    });
+  }
+
+  return columns ? rows : null;
+}
+
+/** Agrupa as fases por wave, em ordem ascendente. */
+function groupByWave(rows) {
+  const byWave = new Map();
+  for (const row of rows || []) {
+    if (!byWave.has(row.wave)) byWave.set(row.wave, []);
+    byWave.get(row.wave).push(row);
+  }
+  return [...byWave.entries()]
+    .sort((a, b) => a[0] - b[0])
+    .map(([wave, phases]) => ({ wave, phases }));
+}
+
+module.exports = { parseExecutionWaves, groupByWave };

package/src/harness/review-payload.js

@@ -0,0 +1,230 @@
+'use strict';
+
+/**
+ * Payload de revisão fresh-context para o prompt do @validator (Fase 2 do
+ * plano de verificação executável).
+ *
+ * `harness:validate` gera o prompt do @validator headless; este módulo anexa
+ * a ele tudo que um contexto ISOLADO precisa para validar sem herdar o
+ * histórico da sessão que implementou: diff vs base, lista de arquivos
+ * alterados (incluindo untracked), resultado dos checks determinísticos
+ * (last-check-output.json) e a instrução de onde gravar o veredito JSON.
+ *
+ * Nunca lança: fora de um repo git (ou em falha de I/O) retorna um payload
+ * degradado com a nota correspondente — os testes do router rodam em tmpdir
+ * sem git e devem continuar passando.
+ */
+
+const fs = require('node:fs');
+const path = require('node:path');
+const { execFileSync } = require('node:child_process');
+
+const { parsePorcelain } = require('./git-baseline');
+const { matchGlob } = require('./glob-match');
+
+/** Estado do framework não é superfície de revisão (mesmo precedente do git-baseline). */
+const FRAMEWORK_STATE_GLOB = '.aioson/**';
+
+const DEFAULT_MAX_DIFF_BYTES = 200000;
+
+function git(targetDir, gitArgs) {
+  return execFileSync('git', gitArgs, {
+    cwd: targetDir,
+    encoding: 'utf8',
+    maxBuffer: 1024 * 1024 * 20,
+    stdio: ['ignore', 'pipe', 'pipe']
+  });
+}
+
+/**
+ * Resolve a ref base do diff, na ordem:
+ * 1. `baseRef` explícito (--base)
+ * 2. `baseline.json` do plan dir (HEAD capturado no preflight do self:loop)
+ * 3. merge-base de HEAD com main/master (local)
+ * 4. 'HEAD' (apenas mudanças não commitadas)
+ *
+ * @returns {{ base: string, source: string }}
+ */
+function resolveBase(targetDir, planDir, baseRef) {
+  if (baseRef) return { base: String(baseRef), source: 'explicit --base' };
+
+  try {
+    const baselinePath = path.join(planDir, 'baseline.json');
+    if (fs.existsSync(baselinePath)) {
+      const baseline = JSON.parse(fs.readFileSync(baselinePath, 'utf8'));
+      if (baseline && baseline.head) return { base: baseline.head, source: 'baseline.json (loop preflight)' };
+    }
+  } catch { /* baseline ilegível — segue o fallback */ }
+
+  for (const branch of ['main', 'master']) {
+    try {
+      const mergeBase = git(targetDir, ['merge-base', 'HEAD', branch]).trim();
+      const head = git(targetDir, ['rev-parse', 'HEAD']).trim();
+      // merge-base === HEAD significa que estamos NO branch (ou atrás dele):
+      // o diff vs base seria vazio; cai para HEAD (mudanças não commitadas).
+      if (mergeBase && mergeBase !== head) return { base: mergeBase, source: `merge-base with ${branch}` };
+    } catch { /* branch ausente — tenta o próximo */ }
+  }
+
+  return { base: 'HEAD', source: 'fallback (uncommitted changes only)' };
+}
+
+/** Trunca em fronteira de linha com marcador; bytes UTF-8. */
+function truncateDiff(diff, maxBytes) {
+  const bytes = Buffer.byteLength(diff, 'utf8');
+  if (bytes <= maxBytes) return { diff, truncated: false, bytes };
+  let slice = Buffer.from(diff, 'utf8').subarray(0, maxBytes).toString('utf8');
+  // remove eventual caractere multibyte cortado e fecha na última linha completa
+  slice = slice.replace(/�+$/g, '');
+  const lastNewline = slice.lastIndexOf('\n');
+  if (lastNewline > 0) slice = slice.slice(0, lastNewline);
+  return {
+    diff: `${slice}\n... [diff truncated at ${maxBytes} bytes of ${bytes} — read the changed files directly for the rest]`,
+    truncated: true,
+    bytes
+  };
+}
+
+/** Sumariza last-check-output.json em linhas de texto; null quando ausente. */
+function summarizeCheckOutput(planDir) {
+  const checkPath = path.join(planDir, 'last-check-output.json');
+  if (!fs.existsSync(checkPath)) return null;
+  try {
+    const report = JSON.parse(fs.readFileSync(checkPath, 'utf8'));
+    const lines = [
+      `Ran at: ${report.checked_at} — ${report.passed}/${report.executable_total} executable checks passed, ${report.skipped_no_verification} criteria without verification.`
+    ];
+    for (const check of report.checks || []) {
+      lines.push(`- ${check.ok ? 'PASS' : 'FAIL'} ${check.id} — \`${check.command}\` (exit ${check.exitCode}${check.timedOut ? ', timeout' : ''})`);
+    }
+    lines.push('Copy these exit-code verdicts verbatim into `results[].passed` for their criteria — do not re-judge them.');
+    return lines.join('\n');
+  } catch {
+    return null;
+  }
+}
+
+/**
+ * Monta o payload de revisão. Nunca lança.
+ *
+ * @param {string} targetDir — raiz do projeto
+ * @param {string} planDir — .aioson/plans/{slug}
+ * @param {object} opts
+ * @param {string} [opts.slug]
+ * @param {string} [opts.baseRef] — ref explícita (--base)
+ * @param {number} [opts.maxDiffBytes]
+ * @param {string} [opts.outputPath] — onde o validator grava o JSON
+ * @returns {{ ok, base, baseSource, changedFiles, untracked, truncated, diffBytes, hasChecks, text }}
+ */
+function buildReviewPayload(targetDir, planDir, opts = {}) {
+  const maxDiffBytes = Number.isInteger(Number(opts.maxDiffBytes)) && Number(opts.maxDiffBytes) > 0
+    ? Number(opts.maxDiffBytes)
+    : DEFAULT_MAX_DIFF_BYTES;
+  const checkSummary = summarizeCheckOutput(planDir);
+
+  const header = [
+    '',
+    '---',
+    '',
+    '## Review payload (generated by `aioson harness:validate`)',
+    '',
+    '> Run this prompt in a **fresh, isolated context** (subagent/Task tool or a separate session). Never validate inline in the session that implemented the feature — the implementation history biases the verdict.',
+    ''
+  ];
+
+  const outputBlock = [
+    '### Verdict output',
+    '',
+    `Write **only** the validator JSON verdict${opts.outputPath ? ` to: \`${opts.outputPath}\`` : ''}.`,
+    opts.slug ? `The orchestrating session then consumes it with: \`aioson harness:validate . --slug=${opts.slug}\`` : '',
+    ''
+  ].filter((line) => line !== '');
+
+  const checksBlock = [
+    '### Deterministic check results (`aioson harness:check`)',
+    '',
+    checkSummary || 'No `last-check-output.json` found — run `aioson harness:check` first (criteria with `verification` must be decided by exit code, not judgment).',
+    ''
+  ];
+
+  let gitFailed = false;
+  let base = null;
+  let baseSource = null;
+  let changedFiles = [];
+  let untracked = [];
+  let diffResult = { diff: '', truncated: false, bytes: 0 };
+
+  try {
+    const resolved = resolveBase(targetDir, planDir, opts.baseRef);
+    base = resolved.base;
+    baseSource = resolved.source;
+
+    const nameStatus = git(targetDir, ['diff', '--name-status', base]);
+    changedFiles = nameStatus
+      .split('\n')
+      .map((line) => line.trim())
+      .filter(Boolean)
+      .map((line) => {
+        const [status, ...rest] = line.split('\t');
+        return { status, path: rest.join('\t') };
+      });
+
+    untracked = parsePorcelain(git(targetDir, ['status', '--porcelain', '-uall']))
+      .filter((entry) => entry.status === 'added' && !matchGlob(FRAMEWORK_STATE_GLOB, entry.path))
+      .map((entry) => entry.path);
+
+    diffResult = truncateDiff(git(targetDir, ['diff', base]), maxDiffBytes);
+  } catch {
+    gitFailed = true;
+  }
+
+  let diffBlock;
+  if (gitFailed) {
+    diffBlock = [
+      '### Diff under review',
+      '',
+      'Diff unavailable (not a git repository or git failed). Review the files listed in `progress.json.completed_steps` directly.',
+      ''
+    ];
+  } else {
+    const fileLines = [
+      ...changedFiles.map((f) => `- ${f.status} ${f.path}`),
+      ...untracked.map((p) => `- ?? ${p} (untracked)`)
+    ];
+    diffBlock = [
+      `### Changed files vs base \`${base}\` (${baseSource})`,
+      '',
+      fileLines.length ? fileLines.join('\n') : '(no changes detected)',
+      '',
+      '### Unified diff',
+      '',
+      'Untracked files do not appear in the diff below — read them directly.',
+      '',
+      '```diff',
+      diffResult.diff || '(empty diff)',
+      '```',
+      ''
+    ];
+  }
+
+  const text = [...header, ...checksBlock, ...diffBlock, ...outputBlock].join('\n');
+
+  return {
+    ok: !gitFailed,
+    base,
+    baseSource,
+    changedFiles,
+    untracked,
+    truncated: diffResult.truncated,
+    diffBytes: diffResult.bytes,
+    hasChecks: Boolean(checkSummary),
+    text
+  };
+}
+
+module.exports = {
+  DEFAULT_MAX_DIFF_BYTES,
+  resolveBase,
+  truncateDiff,
+  buildReviewPayload
+};

package/src/i18n/messages/en.js

@@ -21,16 +21,16 @@ module.exports = {
       'aioson agent:prompt <agent> [path] [--tool=codex|claude|opencode] [--lang=<bcp47-tag>] [--locale=en]',
     help_agent_help:
       'aioson agent:help [agent] [--json]',
-    help_agent_invoke:
-      'aioson agent:invoke <agent> [path] [--tool=codex|claude|opencode] [--mode=framework_target|app_target] [--feature=<slug>] [--scope=<area>] [--lang=<bcp47-tag>] [--locale=en]',
-    help_agent_epilogue:
-      'aioson agent:epilogue [path] --agent=<agent> --summary=<text> [--feature=<slug>] [--approve-gate=A|B|C|D] [--json] [--locale=en]',
+    help_agent_invoke:
+      'aioson agent:invoke <agent> [path] [--tool=codex|claude|opencode] [--mode=framework_target|app_target] [--feature=<slug>] [--scope=<area>] [--lang=<bcp47-tag>] [--locale=en]',
+    help_agent_epilogue:
+      'aioson agent:epilogue [path] --agent=<agent> --summary=<text> [--feature=<slug>] [--approve-gate=A|B|C|D] [--json] [--locale=en]',
     help_context_validate: 'aioson context:validate [path] [--json] [--locale=en]',
-    help_context_pack:
-      'aioson context:pack [path] [--agent=<agent>] [--goal=<text>] [--module=<module-or-folder>] [--max-files=8] [--json] [--locale=en]',
-    help_context_select:
-      'aioson context:select [path] [--agent=<agent>] [--mode=planning|executing] [--task=<text>] [--paths=<path[,path2]>] [--feature=<slug>] [--json] [--locale=en]',
-    help_context_load:
+    help_context_pack:
+      'aioson context:pack [path] [--agent=<agent>] [--goal=<text>] [--module=<module-or-folder>] [--max-files=8] [--json] [--locale=en]',
+    help_context_select:
+      'aioson context:select [path] [--agent=<agent>] [--mode=planning|executing] [--task=<text>] [--paths=<path[,path2]>] [--feature=<slug>] [--json] [--locale=en]',
+    help_context_load:
       'aioson context:load [path] --target=<rule|brain>:<slug> --agent=<name> [--batch="slug1,slug2"] [--feature=<slug>] [--classification=<MICRO|SMALL|MEDIUM>] [--verbose] [--json] [--locale=en]',
     help_chain_audit:
       'aioson chain:audit <file> [path] [--limit=N] [--feature=<slug>] [--json] [--locale=en]',
@@ -122,10 +122,10 @@ module.exports = {
       'aioson workflow:next [path] [--complete[=<agent>]] [--agent=<agent>] [--skip=<agent>] [--status] [--suggest] [--tool=codex|claude|opencode] [--json] [--locale=en]',
     help_workflow_status:
       'aioson workflow:status [path] [--suggest] [--tool=codex|claude|opencode] [--json] [--locale=en]',
-    help_workflow_execute:
-      'aioson workflow:execute [path] [--feature=<slug>] [--agentic] [--max-dev-qa-cycles=<n>] [--max-tester-cycles=<n>] [--max-pentester-cycles=<n>] [--dry-run] [--lane=<n>] [--json] [--locale=en]',
-    help_review_cycle:
-      'aioson review-cycle:<status|advance|resolve|reset> [path] --feature=<slug> [--plan=<path>] [--source=qa|tester|pentester] [--json] [--locale=en]',
+    help_workflow_execute:
+      'aioson workflow:execute [path] [--feature=<slug>] [--agentic] [--max-dev-qa-cycles=<n>] [--max-tester-cycles=<n>] [--max-pentester-cycles=<n>] [--dry-run] [--lane=<n>] [--json] [--locale=en]',
+    help_review_cycle:
+      'aioson review-cycle:<status|advance|resolve|reset> [path] --feature=<slug> [--plan=<path>] [--source=qa|tester|pentester] [--json] [--locale=en]',
     help_parallel_init:
       'aioson parallel:init [path] [--workers=2..6] [--force] [--dry-run] [--json] [--locale=en]',
     help_parallel_doctor:
@@ -155,7 +155,9 @@ module.exports = {
     help_harness_init:
       'aioson harness:init [path] --slug=<slug> [--mode=BALANCED|URGENT|ECONOMICAL] [--locale=en]',
     help_harness_validate:
-      'aioson harness:validate [path] --slug=<slug> [--artifact=<path>] [--locale=en]',
+      'aioson harness:validate [path] --slug=<slug> [--base=<ref>] [--no-diff] [--max-diff-bytes=<n>] [--artifact=<path>] [--locale=en]',
+    help_harness_check:
+      'aioson harness:check [path] --slug=<slug> [--criteria=C1,C2] [--timeout=<ms>] [--json] [--locale=en]',
     help_harness_retro:
       'aioson harness:retro [path] --feature=<slug> | --last=<N> [--json] [--locale=en]',
     help_harness_preview:
@@ -1082,7 +1084,11 @@ module.exports = {
     contract_not_found: 'Contract not found for slug: {slug}',
     validating: 'Validating harness for {slug}...',
     blocked: 'Execution paused: {reason}',
-    init_dry_run: '[dry-run] Would initialize harness for {slug}'
+    init_dry_run: '[dry-run] Would initialize harness for {slug}',
+    check_header: 'Harness check — {slug}',
+    check_no_executable: '  No criteria with verification commands ({total} criteria total). @validator judges them all.',
+    check_summary: '  Checks: {passed}/{executable} passed ({skipped} without verification — judged by @validator)',
+    check_unknown_criteria: 'Unknown criteria ids: {ids}'
   },
   web_map: {
     url_missing: 'Missing required option: --url=<url>.',

package/src/i18n/messages/es.js

@@ -22,16 +22,16 @@ module.exports = {
       'aioson agent:prompt <agent> [path] [--tool=codex|claude|opencode] [--lang=<bcp47-tag>] [--locale=es]',
     help_agent_help:
       'aioson agent:help [agent] [--json]',
-    help_agent_invoke:
-      'aioson agent:invoke <agent> [path] [--tool=codex|claude|opencode] [--mode=framework_target|app_target] [--feature=<slug>] [--scope=<area>] [--lang=<bcp47-tag>] [--locale=es]',
-    help_agent_epilogue:
-      'aioson agent:epilogue [path] --agent=<agente> --summary=<texto> [--feature=<slug>] [--approve-gate=A|B|C|D] [--json] [--locale=es]',
+    help_agent_invoke:
+      'aioson agent:invoke <agent> [path] [--tool=codex|claude|opencode] [--mode=framework_target|app_target] [--feature=<slug>] [--scope=<area>] [--lang=<bcp47-tag>] [--locale=es]',
+    help_agent_epilogue:
+      'aioson agent:epilogue [path] --agent=<agente> --summary=<texto> [--feature=<slug>] [--approve-gate=A|B|C|D] [--json] [--locale=es]',
     help_context_validate: 'aioson context:validate [path] [--json] [--locale=es]',
-    help_context_pack:
-      'aioson context:pack [path] [--agent=<agente>] [--goal=<texto>] [--module=<modulo-o-carpeta>] [--max-files=8] [--json] [--locale=es]',
-    help_context_select:
-      'aioson context:select [path] [--agent=<agente>] [--mode=planning|executing] [--task=<texto>] [--paths=<ruta[,ruta2]>] [--feature=<slug>] [--json] [--locale=es]',
-    help_context_load:
+    help_context_pack:
+      'aioson context:pack [path] [--agent=<agente>] [--goal=<texto>] [--module=<modulo-o-carpeta>] [--max-files=8] [--json] [--locale=es]',
+    help_context_select:
+      'aioson context:select [path] [--agent=<agente>] [--mode=planning|executing] [--task=<texto>] [--paths=<ruta[,ruta2]>] [--feature=<slug>] [--json] [--locale=es]',
+    help_context_load:
       'aioson context:load [path] --target=<rule|brain>:<slug> --agent=<nombre> [--batch="slug1,slug2"] [--feature=<slug>] [--classification=<MICRO|SMALL|MEDIUM>] [--verbose] [--json] [--locale=es]',
     help_chain_audit:
       'aioson chain:audit <archivo> [path] [--limit=N] [--feature=<slug>] [--json] [--locale=es]',
@@ -112,10 +112,10 @@ module.exports = {
       'aioson test:package [source-path] [--keep] [--dry-run] [--json] [--locale=es]',
     help_workflow_plan:
       'aioson workflow:plan [path] [--classification=MICRO|SMALL|MEDIUM] [--json] [--locale=es]',
-    help_workflow_execute:
-      'aioson workflow:execute [path] [--feature=<slug>] [--agentic] [--max-dev-qa-cycles=<n>] [--max-tester-cycles=<n>] [--max-pentester-cycles=<n>] [--dry-run] [--lane=<n>] [--json] [--locale=es]',
-    help_review_cycle:
-      'aioson review-cycle:<status|advance|resolve|reset> [path] --feature=<slug> [--plan=<path>] [--source=qa|tester|pentester] [--json] [--locale=es]',
+    help_workflow_execute:
+      'aioson workflow:execute [path] [--feature=<slug>] [--agentic] [--max-dev-qa-cycles=<n>] [--max-tester-cycles=<n>] [--max-pentester-cycles=<n>] [--dry-run] [--lane=<n>] [--json] [--locale=es]',
+    help_review_cycle:
+      'aioson review-cycle:<status|advance|resolve|reset> [path] --feature=<slug> [--plan=<path>] [--source=qa|tester|pentester] [--json] [--locale=es]',
     help_parallel_init:
       'aioson parallel:init [path] [--workers=2..6] [--force] [--dry-run] [--json] [--locale=es]',
     help_parallel_doctor:
@@ -142,6 +142,8 @@ module.exports = {
       'aioson qa:scan [path] [--url=<app-url>] [--depth=3] [--max-pages=50] [--headed] [--html] [--json] [--locale=es]',
     help_qa_report:
       'aioson qa:report [path] [--html] [--json] [--locale=es]',
+    help_harness_check:
+      'aioson harness:check [path] --slug=<slug> [--criteria=C1,C2] [--timeout=<ms>] [--json] [--locale=es]',
     help_harness_retro:
       'aioson harness:retro [path] --feature=<slug> | --last=<N> [--json] [--locale=es]',
     help_harness_preview:

package/src/i18n/messages/fr.js

@@ -22,16 +22,16 @@ module.exports = {
       'aioson agent:prompt <agent> [path] [--tool=codex|claude|opencode] [--lang=<bcp47-tag>] [--locale=fr]',
     help_agent_help:
       'aioson agent:help [agent] [--json]',
-    help_agent_invoke:
-      'aioson agent:invoke <agent> [path] [--tool=codex|claude|opencode] [--mode=framework_target|app_target] [--feature=<slug>] [--scope=<area>] [--lang=<bcp47-tag>] [--locale=fr]',
-    help_agent_epilogue:
-      'aioson agent:epilogue [path] --agent=<agent> --summary=<texte> [--feature=<slug>] [--approve-gate=A|B|C|D] [--json] [--locale=fr]',
+    help_agent_invoke:
+      'aioson agent:invoke <agent> [path] [--tool=codex|claude|opencode] [--mode=framework_target|app_target] [--feature=<slug>] [--scope=<area>] [--lang=<bcp47-tag>] [--locale=fr]',
+    help_agent_epilogue:
+      'aioson agent:epilogue [path] --agent=<agent> --summary=<texte> [--feature=<slug>] [--approve-gate=A|B|C|D] [--json] [--locale=fr]',
     help_context_validate: 'aioson context:validate [path] [--json] [--locale=fr]',
-    help_context_pack:
-      'aioson context:pack [path] [--agent=<agent>] [--goal=<texte>] [--module=<module-ou-dossier>] [--max-files=8] [--json] [--locale=fr]',
-    help_context_select:
-      'aioson context:select [path] [--agent=<agent>] [--mode=planning|executing] [--task=<texte>] [--paths=<chemin[,chemin2]>] [--feature=<slug>] [--json] [--locale=fr]',
-    help_context_load:
+    help_context_pack:
+      'aioson context:pack [path] [--agent=<agent>] [--goal=<texte>] [--module=<module-ou-dossier>] [--max-files=8] [--json] [--locale=fr]',
+    help_context_select:
+      'aioson context:select [path] [--agent=<agent>] [--mode=planning|executing] [--task=<texte>] [--paths=<chemin[,chemin2]>] [--feature=<slug>] [--json] [--locale=fr]',
+    help_context_load:
       'aioson context:load [path] --target=<rule|brain>:<slug> --agent=<nom> [--batch="slug1,slug2"] [--feature=<slug>] [--classification=<MICRO|SMALL|MEDIUM>] [--verbose] [--json] [--locale=fr]',
     help_chain_audit:
       'aioson chain:audit <fichier> [path] [--limit=N] [--feature=<slug>] [--json] [--locale=fr]',
@@ -112,10 +112,10 @@ module.exports = {
       'aioson test:package [source-path] [--keep] [--dry-run] [--json] [--locale=fr]',
     help_workflow_plan:
       'aioson workflow:plan [path] [--classification=MICRO|SMALL|MEDIUM] [--json] [--locale=fr]',
-    help_workflow_execute:
-      'aioson workflow:execute [path] [--feature=<slug>] [--agentic] [--max-dev-qa-cycles=<n>] [--max-tester-cycles=<n>] [--max-pentester-cycles=<n>] [--dry-run] [--lane=<n>] [--json] [--locale=fr]',
-    help_review_cycle:
-      'aioson review-cycle:<status|advance|resolve|reset> [path] --feature=<slug> [--plan=<path>] [--source=qa|tester|pentester] [--json] [--locale=fr]',
+    help_workflow_execute:
+      'aioson workflow:execute [path] [--feature=<slug>] [--agentic] [--max-dev-qa-cycles=<n>] [--max-tester-cycles=<n>] [--max-pentester-cycles=<n>] [--dry-run] [--lane=<n>] [--json] [--locale=fr]',
+    help_review_cycle:
+      'aioson review-cycle:<status|advance|resolve|reset> [path] --feature=<slug> [--plan=<path>] [--source=qa|tester|pentester] [--json] [--locale=fr]',
     help_parallel_init:
       'aioson parallel:init [path] [--workers=2..6] [--force] [--dry-run] [--json] [--locale=fr]',
     help_parallel_doctor:
@@ -142,6 +142,8 @@ module.exports = {
       'aioson qa:scan [path] [--url=<app-url>] [--depth=3] [--max-pages=50] [--headed] [--html] [--json] [--locale=fr]',
     help_qa_report:
       'aioson qa:report [path] [--html] [--json] [--locale=fr]',
+    help_harness_check:
+      'aioson harness:check [path] --slug=<slug> [--criteria=C1,C2] [--timeout=<ms>] [--json] [--locale=fr]',
     help_harness_retro:
       'aioson harness:retro [path] --feature=<slug> | --last=<N> [--json] [--locale=fr]',
     help_harness_preview:

package/src/i18n/messages/pt-BR.js

@@ -22,16 +22,16 @@ module.exports = {
       'aioson agent:prompt <agent> [path] [--tool=codex|claude|opencode] [--lang=<bcp47-tag>] [--locale=pt-BR]',
     help_agent_help:
       'aioson agent:help [agent] [--json]',
-    help_agent_invoke:
-      'aioson agent:invoke <agent> [path] [--tool=codex|claude|opencode] [--mode=framework_target|app_target] [--feature=<slug>] [--scope=<area>] [--lang=<bcp47-tag>] [--locale=pt-BR]',
-    help_agent_epilogue:
-      'aioson agent:epilogue [path] --agent=<agente> --summary=<texto> [--feature=<slug>] [--approve-gate=A|B|C|D] [--json] [--locale=pt-BR]',
+    help_agent_invoke:
+      'aioson agent:invoke <agent> [path] [--tool=codex|claude|opencode] [--mode=framework_target|app_target] [--feature=<slug>] [--scope=<area>] [--lang=<bcp47-tag>] [--locale=pt-BR]',
+    help_agent_epilogue:
+      'aioson agent:epilogue [path] --agent=<agente> --summary=<texto> [--feature=<slug>] [--approve-gate=A|B|C|D] [--json] [--locale=pt-BR]',
     help_context_validate: 'aioson context:validate [path] [--json] [--locale=pt-BR]',
-    help_context_pack:
-      'aioson context:pack [path] [--agent=<agente>] [--goal=<texto>] [--module=<modulo-ou-pasta>] [--max-files=8] [--json] [--locale=pt-BR]',
-    help_context_select:
-      'aioson context:select [path] [--agent=<agente>] [--mode=planning|executing] [--task=<texto>] [--paths=<caminho[,caminho2]>] [--feature=<slug>] [--json] [--locale=pt-BR]',
-    help_context_load:
+    help_context_pack:
+      'aioson context:pack [path] [--agent=<agente>] [--goal=<texto>] [--module=<modulo-ou-pasta>] [--max-files=8] [--json] [--locale=pt-BR]',
+    help_context_select:
+      'aioson context:select [path] [--agent=<agente>] [--mode=planning|executing] [--task=<texto>] [--paths=<caminho[,caminho2]>] [--feature=<slug>] [--json] [--locale=pt-BR]',
+    help_context_load:
       'aioson context:load [path] --target=<rule|brain>:<slug> --agent=<nome> [--batch="slug1,slug2"] [--feature=<slug>] [--classification=<MICRO|SMALL|MEDIUM>] [--verbose] [--json] [--locale=pt-BR]',
     help_chain_audit:
       'aioson chain:audit <arquivo> [path] [--limit=N] [--feature=<slug>] [--json] [--locale=pt-BR]',
@@ -124,10 +124,10 @@ module.exports = {
       'aioson workflow:next [path] [--complete[=<agente>]] [--agent=<agente>] [--skip=<agente>] [--status] [--suggest] [--tool=codex|claude|opencode] [--json] [--locale=pt-BR]',
     help_workflow_status:
       'aioson workflow:status [path] [--suggest] [--tool=codex|claude|opencode] [--json] [--locale=pt-BR]',
-    help_workflow_execute:
-      'aioson workflow:execute [path] [--feature=<slug>] [--agentic] [--max-dev-qa-cycles=<n>] [--max-tester-cycles=<n>] [--max-pentester-cycles=<n>] [--dry-run] [--lane=<n>] [--json] [--locale=pt-BR]',
-    help_review_cycle:
-      'aioson review-cycle:<status|advance|resolve|reset> [path] --feature=<slug> [--plan=<path>] [--source=qa|tester|pentester] [--json] [--locale=pt-BR]',
+    help_workflow_execute:
+      'aioson workflow:execute [path] [--feature=<slug>] [--agentic] [--max-dev-qa-cycles=<n>] [--max-tester-cycles=<n>] [--max-pentester-cycles=<n>] [--dry-run] [--lane=<n>] [--json] [--locale=pt-BR]',
+    help_review_cycle:
+      'aioson review-cycle:<status|advance|resolve|reset> [path] --feature=<slug> [--plan=<path>] [--source=qa|tester|pentester] [--json] [--locale=pt-BR]',
     help_parallel_init:
       'aioson parallel:init [path] [--workers=2..6] [--force] [--dry-run] [--json] [--locale=pt-BR]',
     help_parallel_doctor:
@@ -157,7 +157,9 @@ module.exports = {
     help_harness_init:
       'aioson harness:init [path] --slug=<slug> [--mode=BALANCED|URGENT|ECONOMICAL] [--locale=pt-BR]',
     help_harness_validate:
-      'aioson harness:validate [path] --slug=<slug> [--artifact=<path>] [--locale=pt-BR]',
+      'aioson harness:validate [path] --slug=<slug> [--base=<ref>] [--no-diff] [--max-diff-bytes=<n>] [--artifact=<path>] [--locale=pt-BR]',
+    help_harness_check:
+      'aioson harness:check [path] --slug=<slug> [--criteria=C1,C2] [--timeout=<ms>] [--json] [--locale=pt-BR]',
     help_harness_retro:
       'aioson harness:retro [path] --feature=<slug> | --last=<N> [--json] [--locale=pt-BR]',
     help_harness_preview:
@@ -1106,7 +1108,11 @@ module.exports = {
     contract_not_found: 'Contrato nao encontrado para o slug: {slug}',
     validating: 'Validando harness para {slug}...',
     blocked: 'Execucao pausada: {reason}',
-    init_dry_run: '[dry-run] Inicializaria harness para {slug}'
+    init_dry_run: '[dry-run] Inicializaria harness para {slug}',
+    check_header: 'Harness check — {slug}',
+    check_no_executable: '  Nenhum criterio com comando de verification ({total} criterios no total). @validator julga todos.',
+    check_summary: '  Checks: {passed}/{executable} passaram ({skipped} sem verification — julgados pelo @validator)',
+    check_unknown_criteria: 'Ids de criterios desconhecidos: {ids}'
   },
   web_map: {
     url_missing: 'Opcao obrigatoria ausente: --url=<url>.',

package/src/parser.js

@@ -29,13 +29,15 @@ function parseArgv(argv) {
         'all', 'force', 'dry-run', 'no-interactive', 'fix', 'json',
         'help', 'version', 'no-launch', 'attach', 'tmux',
         'allow-warnings', 'install-hook', 'uninstall-hook', 'remove-hook',
-        'agent-safe', 'agentic',
+        'agent-safe', 'agentic',
         'selective',
         'status', 'suggest', 'apply',
         'runtime-only', 'template-only', 'inception', 'locales',
         // feature:export structure/output toggles — pure booleans; without these
         // a following positional (e.g. `--flatten .`) would be swallowed as the value.
         'flatten', 'no-index',
+        // harness:validate — pure boolean; `--no-diff .` must not swallow the path.
+        'no-diff',
         // `--resume` alone means "resume last"; `--resume=<id>` carries a value
         // and is handled by the `=` branch above. Without this entry, `--resume`
         // followed by `--tool=claude` would swallow the next token as its value.