@daniellins/power-claude 0.16.3

package/scripts/anti-path.test.cjs

@@ -0,0 +1,163 @@
+#!/usr/bin/env node
+'use strict';
+/**
+ * anti-path.test.cjs — suíte do campo de etapa `anti_path` (Story SF7.3, ADR-016).
+ * `anti_path` é a instrução negativa ESCOPO-DE-ETAPA: item mecanizado (`mechanized_by` →
+ * id de uma veto.assertion da etapa) tem teeth reais (o veto pareado bloqueia); item
+ * não-mecanizado (`null`) é injeção ADVISORY rotulada NÃO-enforcement no brief.
+ *
+ * Prova: (AC3) validação de FORMA (golden com/sem campo; fake-green mechanized_by → id
+ * inexistente recusa); (AC7) RETROCOMPAT — os 12 wf reais dos 7 pods validam e NENHUM
+ * toca o caminho novo (nenhum declara anti_path); (AC5) buildBrief rotula enforced vs
+ * advisory NÃO-enforcement; (AC2/AC4) emissão OPT-IN no forge (default não emite; opt-in
+ * emite válido, roundtrip); (AC6) demo real — o item mecanizado BLOQUEIA (neg) e o
+ * conforme PASSA (pos) via o veto pareado.
+ *
+ * Node >= 18. Exit 0/1.
+ */
+
+const fs = require('node:fs');
+const os = require('node:os');
+const path = require('node:path');
+
+const vp = require('./validate-pod-workflow.cjs');
+const rp = require('./pc-run-pod.cjs');
+const fg = require('./forge-generate.cjs');
+const { generatePod } = require('./forge-generate.cjs');
+const smoke = require('./smoke-pod-workflow.cjs');
+
+const REPO_ROOT = path.resolve(__dirname, '..');
+const DEMO = path.join(__dirname, '__fixtures__', 'anti-path-demo');
+
+let passed = 0;
+const failures = [];
+function ok(cond, label) {
+  if (cond) { passed++; console.log(`[OK   ] ${label}`); }
+  else { failures.push(label); console.error(`[FALHA] ${label}`); }
+}
+function throwsFail(fn) { try { fn(); return false; } catch (e) { if (e instanceof vp.Fail) return true; throw e; } }
+
+// ===========================================================================
+// (AC3) validação de FORMA
+// ===========================================================================
+console.log('--- (AC3) forma do anti_path ---');
+const mkStep = (anti_path) => ({ id: 's', veto: { assertions: [{ type: 'command_check', command: 'lexical-check.cjs', id: 'no-dashes' }] }, anti_path });
+ok(!throwsFail(() => vp.checkAntiPath({ steps: [mkStep([{ rule: 'não usar travessão', mechanized_by: 'no-dashes' }, { rule: 'não citar dono em 3a pessoa', mechanized_by: null }])] })),
+  'golden: anti_path com item mecanizado (id real) + advisory (null) PASSA');
+ok(!throwsFail(() => vp.checkAntiPath({ steps: [{ id: 's', veto: { assertions: [] } }] })),
+  'golden: etapa SEM anti_path é no-op (retrocompat)');
+ok(throwsFail(() => vp.checkAntiPath({ steps: [mkStep([{ rule: 'x', mechanized_by: 'id-que-nao-existe' }])] })),
+  'fake-green: mechanized_by → id inexistente RECUSA (item mecanizável sem veto que o enforça)');
+ok(throwsFail(() => vp.checkAntiPath({ steps: [mkStep([{ rule: '', mechanized_by: null }])] })),
+  'fake-green: rule vazia RECUSA');
+ok(throwsFail(() => vp.checkAntiPath({ steps: [mkStep('não é array')] })),
+  'fake-green: anti_path não-array RECUSA');
+
+// ===========================================================================
+// (AC7) RETROCOMPAT — 12 wf reais validam E nenhum toca o caminho novo
+// ===========================================================================
+console.log('--- (AC7) retrocompat dos 7 pods (12 wf) ---');
+function collectWf(dir) {
+  const out = [];
+  const stack = [dir];
+  while (stack.length) {
+    const d = stack.pop();
+    for (const e of fs.readdirSync(d, { withFileTypes: true })) {
+      const p = path.join(d, e.name);
+      if (e.isDirectory()) stack.push(p);
+      else if (path.basename(d) === 'workflows' && /^wf-.*\.ya?ml$/.test(e.name)) out.push(p);
+    }
+  }
+  return out.sort();
+}
+const templateWfs = collectWf(path.join(REPO_ROOT, 'template', 'pods'));
+ok(templateWfs.length >= 12, `encontrados ${templateWfs.length} wf reais (>=12) nos 7 pods`);
+let allValidate = true;
+let anyDeclaresAntiPath = false;
+for (const wf of templateWfs) {
+  try { vp.validateWorkflow(wf, undefined); } catch (e) { allValidate = false; console.error(`  ${wf}: ${e.message}`); }
+  const doc = vp.parseYaml(fs.readFileSync(wf, 'utf8'));
+  if ((doc.steps || []).some((s) => s.anti_path != null)) anyDeclaresAntiPath = true;
+}
+ok(allValidate, 'retrocompat: TODOS os 12 wf reais validam exit 0 (sem regressão)');
+ok(anyDeclaresAntiPath === false,
+  'retrocompat: NENHUM dos 7 pods declara anti_path → nunca tocam checkAntiPath (comportamento byte-idêntico, caminho novo não entrado)');
+
+// ===========================================================================
+// (AC5) buildBrief rotula enforced vs advisory NÃO-enforcement
+// ===========================================================================
+console.log('--- (AC5) injeção no brief (enforced vs advisory) ---');
+const brief = rp.antiPathBriefLines(mkStep([
+  { rule: 'não usar travessão', mechanized_by: 'no-dashes' },
+  { rule: 'não citar o dono em terceira pessoa', mechanized_by: null },
+])).join('\n');
+ok(/ENFORÇADOS por veto/.test(brief) && /id="no-dashes"/.test(brief), 'brief: item mecanizado marcado como ENFORÇADO, apontando o veto pareado');
+ok(/orientação — NÃO enforcement/.test(brief) && /não são gate/.test(brief), 'brief: item advisory rotulado NÃO-enforcement (honestidade SF7.6)');
+ok(rp.antiPathBriefLines({ id: 's' }).length === 0, 'brief: etapa sem anti_path não injeta nada');
+
+// ===========================================================================
+// (AC2/AC4) emissão OPT-IN no forge — pela ROTA REAL generatePod (CONCERNS-1)
+// stepsFromSpec DEVE propagar anti_path; caso contrário a emissão é morta a partir de
+// um pod-spec.json (o gap que o gate SF7.3 CONCERNS-1 pegou). Testado E2E, não por
+// buildWorkflowYaml direto (que mascarava o descarte).
+// ===========================================================================
+console.log('--- (AC2/AC4) emissão opt-in no forge (E2E generatePod) ---');
+const e2eSpec = {
+  pod: 'ap-e2e', workflowId: 'ap', handoffs: 2,
+  agents: [
+    { name: 'writer', output: 'post',
+      veto: [{ type: 'command_check', command: 'lexical-check.cjs', args: ['--max', '0'], id: 'no-dashes' }],
+      anti_path: [{ rule: 'não usar travessão', mechanized_by: 'no-dashes' }, { rule: 'não citar o dono em 3a pessoa', mechanized_by: null }] },
+    { name: 'reviewer', output: 'rev' }, { name: 'closer', output: 'done' },
+  ],
+};
+const e2eDir = fs.mkdtempSync(path.join(os.tmpdir(), 'ap-e2e-'));
+// SF12.4a/ADR-030 Bloco O — 'derived' bypassa o Bloco C/I (este teste cobre anti_path,
+// não a forma canônica; e2eSpec usa command_check, tipo que o sintetizador do Bloco I
+// não sabe satisfazer — AC28 recusaria em 'authored').
+generatePod(e2eSpec, e2eDir, { specOrigin: 'derived' });
+const e2eWfPath = path.join(e2eDir, 'workflows', 'wf-ap.yaml');
+const e2eWf = fs.readFileSync(e2eWfPath, 'utf8');
+ok(e2eWf.includes('    anti_path:'), 'forge E2E: generatePod({spec com anti_path}) EMITE o campo no wf (rota real, não mascarada)');
+const e2eStep = vp.parseYaml(e2eWf).steps.find((s) => s.id === 'writer');
+ok(e2eStep.anti_path && e2eStep.anti_path[0].mechanized_by === 'no-dashes' && e2eStep.anti_path[1].mechanized_by === null,
+  'forge E2E: anti_path emitido faz roundtrip fiel (mechanized_by string e null)');
+ok(e2eStep.veto.assertions.some((a) => a.id === 'no-dashes'), 'forge E2E: id da veto.assertion pareada é emitido (mechanized_by resolve)');
+ok(!throwsFail(() => vp.validateWorkflow(e2eWfPath, e2eDir)), 'forge E2E: wf gerado com anti_path VALIDA no estático');
+// default: spec SEM anti_path → wf gerado NÃO emite (opt-in respeitado, No Invention)
+const defDir = fs.mkdtempSync(path.join(os.tmpdir(), 'ap-def-'));
+generatePod({ pod: 'x', workflowId: 'x', handoffs: 2, agents: [{ name: 'a' }, { name: 'b' }, { name: 'c' }] }, defDir, { specOrigin: 'derived' });
+ok(!fs.readFileSync(path.join(defDir, 'workflows', 'wf-x.yaml'), 'utf8').includes('anti_path'),
+  'forge E2E: DEFAULT (spec sem anti_path) NÃO emite (opt-in)');
+// spec malformada → fail-loud na geração (coerente com o estático)
+ok((() => { try { generatePod({ pod: 'bad', workflowId: 'b', handoffs: 2, agents: [{ name: 'w', anti_path: [{ rule: 'x', mechanized_by: 'id-inexistente' }] }, { name: 'b' }, { name: 'c' }] }, fs.mkdtempSync(path.join(os.tmpdir(), 'ap-bad-')), { specOrigin: 'derived' }); return false; } catch { return true; } })(),
+  'forge E2E: spec com anti_path.mechanized_by sem id correspondente RECUSA a geração (fail-loud)');
+
+// ===========================================================================
+// (AC6) demonstração real — item mecanizado tem teeth (bloqueia neg; passa pos)
+// ===========================================================================
+console.log('--- (AC6) demo real: item mecanizado bloqueia ---');
+const wfDemo = path.join(DEMO, 'workflows', 'wf-ap.yaml');
+ok(!throwsFail(() => vp.validateWorkflow(wfDemo, DEMO)), 'demo: wf-ap valida (anti_path + veto pareado bem-formados)');
+// o anti_path mecanizado referencia o id real da assertion
+const demoDoc = vp.parseYaml(fs.readFileSync(wfDemo, 'utf8'));
+const ap0 = demoDoc.steps[0].anti_path.find((it) => it.mechanized_by != null);
+ok(ap0 && demoDoc.steps[0].veto.assertions.some((a) => a.id === ap0.mechanized_by),
+  'demo: mechanized_by aponta um id de veto.assertion REAL da etapa (wiring verificado)');
+// negativo: violação (com travessão) → o command_check pareado BLOQUEIA (via sweep)
+const scenario = JSON.parse(fs.readFileSync(path.join(DEMO, 'workflows', 'wf-ap.smoke.json'), 'utf8'));
+const sweep = smoke.runSweep({ workflowPath: wfDemo, podRoot: DEMO, scenario });
+ok(sweep.ok === true && sweep.underivable === null && sweep.report.proofs.every((p) => p.blocked),
+  'demo NEG: artefato com travessão → o veto pareado do anti_path mecanizado BLOQUEIA (teeth reais)');
+// positivo: conforme (sem travessão) → o mesmo veto PASSA
+const cleanArt = path.join(fs.mkdtempSync(path.join(os.tmpdir(), 'ap-')), 'clean.md');
+fs.writeFileSync(cleanArt, scenario.artifacts.write);
+const posR = rp.evalVeto({ type: 'command_check', command: 'lexical-check.cjs', args: ['--max', '0'] }, '', cleanArt, { podRoot: DEMO, runDir: DEMO });
+ok(posR.ok === true, 'demo POS: artefato conforme (sem travessão) → o veto pareado PASSA');
+
+if (failures.length > 0) {
+  console.error(`\nSuíte anti_path FALHOU: ${failures.length} de ${passed + failures.length}.`);
+  process.exit(1);
+}
+console.log(`\n${passed} asserções verdes. Campo de etapa anti_path (SF7.3) provado.`);
+process.exit(0);