@daniellins/power-claude 0.16.3

package/scripts/migration-manifest-sf5.5.test.cjs

@@ -0,0 +1,189 @@
+#!/usr/bin/env node
+'use strict';
+/**
+ * migration-manifest-sf5.5.test.cjs — as 3 vias de fechamento não-migrate (ADR-006
+ * §Consequências, SF5.5). NÃO-fake-green: cada recusa é provada por estado/arquivo real.
+ * Cobre:
+ *   dispense-close — fechamento AUDITÁVEL de 'dispense' (só disposição dispense; F1 aprovada;
+ *     --approved-by FRESCO em campo próprio dispense_close_approved_by, nunca herda a F1;
+ *     --evidence-ref com path existente; verify re-checa a evidência em disco → stale se sumir).
+ *   address-set   — endereço de itens não-workflow (enum destilado|veto|script-do-pod|obito;
+ *     endereco obrigatório-e-existente exceto obito onde é proibido; --glob só óbito-por-balde;
+ *     coverage SUBTRAI o registrado; verify re-checa endereços dos destilados → stale se sumir).
+ *   command-close:544 fix — close_approved_by em campo PRÓPRIO, approved_by (F1) preservado.
+ *
+ * Node >= 18. Exit 0/1.
+ */
+
+const fs = require('node:fs');
+const os = require('node:os');
+const path = require('node:path');
+const { spawnSync } = require('node:child_process');
+const m = require('./migration-manifest.cjs');
+const CLI = path.join(__dirname, 'migration-manifest.cjs');
+
+let passed = 0;
+const failures = [];
+function ok(cond, label) {
+  if (cond) { passed++; console.log(`[OK   ] ${label}`); }
+  else { failures.push(label); console.log(`[FALHA] ${label}`); }
+}
+function refuses(fn, code, label) {
+  let got = null;
+  try { fn(); } catch (e) { got = e.exitCode; }
+  ok(got === code, `${label} (exit ${code}${got === code ? '' : ` — obtido ${got}`})`);
+}
+function tmp(name) { return fs.mkdtempSync(path.join(os.tmpdir(), `mm55-${name}-`)); }
+
+// Cria um squad-dir mínimo (para o inventário obrigatório do init) e um manifest.
+function scenario() {
+  const dir = tmp('sc');
+  const squad = path.join(dir, 'squad');
+  fs.mkdirSync(path.join(squad, 'workflows'), { recursive: true });
+  fs.mkdirSync(path.join(squad, 'checklists'), { recursive: true });
+  fs.mkdirSync(path.join(squad, 'data', 'minds'), { recursive: true });
+  fs.writeFileSync(path.join(squad, 'workflows', 'wf-diag.yaml'), 'steps:\n');
+  fs.writeFileSync(path.join(squad, 'checklists', 'veto-x.md'), '# veto\n');
+  fs.writeFileSync(path.join(squad, 'data', 'minds', 'a.yaml'), 'x: 1\n');
+  fs.writeFileSync(path.join(squad, 'data', 'minds', 'b.yaml'), 'x: 2\n');
+  const mf = path.join(dir, 'MIGRATION-sq.yaml');
+  m.cmdInit(mf, { squad: 'sq', squadDir: squad, now: 'T0' });
+  return { dir, squad, mf };
+}
+function evFile(dir, name) {
+  const p = path.join(dir, name);
+  fs.writeFileSync(p, 'cobertura real\n');
+  return p;
+}
+
+// ---------------------------------------------------------------------------
+// dispense-close
+// ---------------------------------------------------------------------------
+{
+  const s = scenario();
+  const ev = evFile(s.dir, 'offer-engineer.md');
+  // triagem dispense NÃO aprovada → recusa
+  m.cmdTriageSet(s.mf, { workflow: 'wf-diag', disposition: 'dispense', purpose: 'offer-engineer.md:18 *diagnose já cobre', basis: 'dado', now: 'T' });
+  refuses(() => m.cmdDispenseClose(s.mf, { workflow: 'wf-diag', approvedBy: 'daniel', evidenceRef: ev, now: 'T' }), 2, 'dispense-close sem F1 approved_by → RECUSA');
+  m.cmdTriageApprove(s.mf, { workflow: 'wf-diag', approvedBy: 'daniel-F1', now: 'T' });
+  // disposição ≠ dispense → recusa
+  m.cmdTriageSet(s.mf, { workflow: 'wf-cmd', disposition: 'command', purpose: 'p:1', basis: 'dado', now: 'T' });
+  m.cmdTriageApprove(s.mf, { workflow: 'wf-cmd', approvedBy: 'daniel', now: 'T' });
+  refuses(() => m.cmdDispenseClose(s.mf, { workflow: 'wf-cmd', approvedBy: 'daniel', evidenceRef: ev, now: 'T' }), 2, 'dispense-close em disposição ≠ dispense → RECUSA');
+  // sem --approved-by → recusa
+  refuses(() => m.cmdDispenseClose(s.mf, { workflow: 'wf-diag', evidenceRef: ev, now: 'T' }), 2, 'dispense-close sem --approved-by fresco → RECUSA');
+  // sem --evidence-ref → recusa
+  refuses(() => m.cmdDispenseClose(s.mf, { workflow: 'wf-diag', approvedBy: 'daniel', now: 'T' }), 2, 'dispense-close sem --evidence-ref → RECUSA');
+  // --evidence-ref inexistente → recusa
+  refuses(() => m.cmdDispenseClose(s.mf, { workflow: 'wf-diag', approvedBy: 'daniel', evidenceRef: path.join(s.dir, 'nao-existe.md'), now: 'T' }), 2, 'dispense-close com evidência inexistente em disco → RECUSA');
+  // happy path (com sufixo :linha na evidência — split no ':')
+  const cl = m.cmdDispenseClose(s.mf, { workflow: 'wf-diag', approvedBy: 'daniel-CLOSE', evidenceRef: `${ev}:18`, now: 'T' });
+  ok(cl.dispense_status === 'closed', 'dispense-close com os 3 requisitos → FECHA');
+  const t = m.readManifest(s.mf).triage.find((x) => x.workflow === 'wf-diag');
+  ok(t.dispense_close_approved_by === 'daniel-CLOSE', 'dispense-close grava aprovação FRESCA em campo próprio (dispense_close_approved_by)');
+  ok(t.approved_by === 'daniel-F1', 'dispense-close PRESERVA approved_by da F1 separado (nunca ||)');
+  // verify: evidência ainda em disco → OK
+  ok(m.cmdVerify(s.mf).dispense.find((d) => d.workflow === 'wf-diag').ok, 'verify: dispensa com evidência em disco → OK');
+  // evidência SOME → stale ruidoso
+  fs.rmSync(ev);
+  const v = m.cmdVerify(s.mf);
+  ok(v.dispense.find((d) => d.workflow === 'wf-diag').ok === false && v.staleTotal >= 1, 'verify: evidência de cobertura sumiu → dispensa STALE (re-adjudicar)');
+  ok(m.readManifest(s.mf).triage.find((x) => x.workflow === 'wf-diag').dispense_status === 'stale', 'verify: dispensa marcada stale no manifest');
+}
+
+// ---------------------------------------------------------------------------
+// address-set + coverage subtrai
+// ---------------------------------------------------------------------------
+{
+  const s = scenario();
+  const decRef = evFile(s.dir, 'TRIAGE.md');
+  const dest = evFile(s.dir, 'offer-engineer.md'); // destino REAL de um destilado
+  // disposição inválida → recusa
+  refuses(() => m.cmdAddressSet(s.mf, { addrPath: 'checklists/veto-x.md', disposition: 'xpto', decisionRef: decRef, endereco: dest, now: 'T' }), 2, 'address-set disposição fora do enum → RECUSA');
+  // --path e --glob juntos → recusa
+  refuses(() => m.cmdAddressSet(s.mf, { addrPath: 'a', glob: 'b/**', disposition: 'obito', decisionRef: decRef, now: 'T' }), 2, 'address-set --path e --glob juntos → RECUSA');
+  // nem path nem glob → usage (exit 1)
+  refuses(() => m.cmdAddressSet(s.mf, { disposition: 'obito', decisionRef: decRef, now: 'T' }), 1, 'address-set sem --path nem --glob → usage');
+  // --glob com disposição ≠ obito → recusa
+  refuses(() => m.cmdAddressSet(s.mf, { glob: 'data/minds/**', disposition: 'destilado', decisionRef: decRef, endereco: dest, now: 'T' }), 2, 'address-set --glob com disposição ≠ obito → RECUSA (glob só óbito-por-balde)');
+  // sem --decision-ref → recusa
+  refuses(() => m.cmdAddressSet(s.mf, { addrPath: 'checklists/veto-x.md', disposition: 'veto', endereco: dest, now: 'T' }), 2, 'address-set sem --decision-ref → RECUSA');
+  // obito com --endereco → recusa
+  refuses(() => m.cmdAddressSet(s.mf, { addrPath: 'data/minds/a.yaml', disposition: 'obito', decisionRef: decRef, endereco: dest, now: 'T' }), 2, 'address-set óbito com --endereco → RECUSA (óbito não tem endereço)');
+  // destilado sem --endereco → recusa
+  refuses(() => m.cmdAddressSet(s.mf, { addrPath: 'checklists/veto-x.md', disposition: 'destilado', decisionRef: decRef, now: 'T' }), 2, 'address-set destilado sem --endereco → RECUSA');
+  // destilado com endereco inexistente → recusa
+  refuses(() => m.cmdAddressSet(s.mf, { addrPath: 'checklists/veto-x.md', disposition: 'destilado', decisionRef: decRef, endereco: path.join(s.dir, 'ghost.md'), now: 'T' }), 2, 'address-set destilado com endereço inexistente → RECUSA (sem fabricação)');
+
+  // baseline coverage: 4 arquivos, nenhum endereçado (wf-diag conta pela triagem? sem triagem aqui)
+  const base = m.cmdCoverage(s.mf, { squadDir: s.squad });
+  ok(base.total === 4, 'coverage baseline: 4 arquivos no squad');
+
+  // destilado individual (endereço real) → coverage subtrai
+  m.cmdAddressSet(s.mf, { addrPath: 'checklists/veto-x.md', disposition: 'destilado', decisionRef: decRef, endereco: dest, evidence: 'B.2', now: 'T' });
+  ok(m.cmdCoverage(s.mf, { squadDir: s.squad }).unaddressed.includes('checklists/veto-x.md') === false, 'coverage SUBTRAI o item destilado endereçado');
+  // óbito-por-balde por glob → subtrai o balde inteiro (2 arquivos data/minds)
+  m.cmdAddressSet(s.mf, { glob: 'data/minds/**', disposition: 'obito', decisionRef: decRef, evidence: 'B.2 minds→óbito', now: 'T' });
+  const cov = m.cmdCoverage(s.mf, { squadDir: s.squad });
+  ok(!cov.unaddressed.some((u) => u.startsWith('data/minds/')), 'coverage SUBTRAI o balde inteiro via --glob (óbito em massa, 1 entrada)');
+  ok(m.readManifest(s.mf).addresses.length === 2, 'address-set grava 2 entradas em doc.addresses[]');
+
+  // verify: endereço do destilado existe → OK; some → stale; óbito não re-checa
+  ok(m.cmdVerify(s.mf).addresses.find((a) => a.target === 'checklists/veto-x.md').ok, 'verify: endereço do destilado em disco → OK');
+  ok(m.cmdVerify(s.mf).addresses.some((a) => a.target === 'data/minds/**') === false, 'verify: óbito NÃO é re-checado (não tem endereço)');
+  fs.rmSync(dest);
+  const v = m.cmdVerify(s.mf);
+  ok(v.addresses.find((a) => a.target === 'checklists/veto-x.md').ok === false && v.staleTotal >= 1, 'verify: endereço do destilado sumiu → address STALE');
+}
+
+// ---------------------------------------------------------------------------
+// command-close:544 fix — close_approved_by próprio, approved_by (F1) preservado.
+// ---------------------------------------------------------------------------
+{
+  const s = scenario();
+  const cmdPath = evFile(s.dir, 'agent-with-cmd.md');
+  const smoke = evFile(s.dir, 'smoke-output.txt');
+  m.cmdTriageSet(s.mf, { workflow: 'wf-opp', disposition: 'command', purpose: 'p:1', basis: 'dado', now: 'T' });
+  m.cmdTriageApprove(s.mf, { workflow: 'wf-opp', approvedBy: 'daniel-F1', now: 'T' });
+  m.cmdCommandClose(s.mf, { workflow: 'wf-opp', commandPath: cmdPath, smoke, approvedBy: 'daniel-CLOSE', now: 'T' });
+  const t = m.readManifest(s.mf).triage.find((x) => x.workflow === 'wf-opp');
+  ok(t.close_approved_by === 'daniel-CLOSE', 'command-close grava close_approved_by FRESCO em campo próprio (fix :544)');
+  ok(t.approved_by === 'daniel-F1', 'command-close PRESERVA approved_by da F1 (não sobrescreve com ||)');
+  ok(t.command_status === 'closed', 'command-close fecha a linha de comando');
+  // verify re-checa a linha command fechada: command_path + smoke não-vazio em disco → OK.
+  ok(m.cmdVerify(s.mf).command.find((c) => c.workflow === 'wf-opp').ok, 'verify: comando fechado com command_path + smoke em disco → OK');
+  // smoke esvaziado APÓS o close → stale (mesmo rigor do evidence-ref).
+  fs.truncateSync(smoke, 0);
+  const vs = m.cmdVerify(s.mf);
+  ok(vs.command.find((c) => c.workflow === 'wf-opp').ok === false && vs.staleTotal >= 1, 'verify: smoke do comando esvaziado → command STALE');
+  ok(m.readManifest(s.mf).triage.find((x) => x.workflow === 'wf-opp').command_status === 'stale', 'verify: comando marcado stale no manifest');
+}
+
+// ---------------------------------------------------------------------------
+// verify FAIL-LOUD: command_path deletado → stale + CLI exit 1 (nunca stale silencioso).
+// ---------------------------------------------------------------------------
+{
+  const s = scenario();
+  const cmdPath = evFile(s.dir, 'agent-with-cmd.md');
+  const smoke = evFile(s.dir, 'smoke-output.txt');
+  m.cmdTriageSet(s.mf, { workflow: 'wf-opp', disposition: 'command', purpose: 'p:1', basis: 'dado', now: 'T' });
+  m.cmdTriageApprove(s.mf, { workflow: 'wf-opp', approvedBy: 'daniel-F1', now: 'T' });
+  m.cmdCommandClose(s.mf, { workflow: 'wf-opp', commandPath: cmdPath, smoke, approvedBy: 'daniel-CLOSE', now: 'T' });
+  // CLI verify com tudo íntegro → exit 0.
+  const clean = spawnSync(process.execPath, [CLI, 'verify', s.mf], { encoding: 'utf8' });
+  ok(clean.status === 0, 'CLI verify: tudo íntegro → exit 0');
+  // command_path deletado → CLI verify DEVE sair NÃO-ZERO (exit 1), não silencioso.
+  fs.rmSync(cmdPath);
+  const stale = spawnSync(process.execPath, [CLI, 'verify', s.mf], { encoding: 'utf8' });
+  ok(stale.status === 1, `CLI verify: command_path deletado → exit 1 fail-loud (obtido ${stale.status})`);
+  ok(m.readManifest(s.mf).triage.find((x) => x.workflow === 'wf-opp').command_status === 'stale', 'verify: command_path deletado → comando STALE no manifest');
+}
+
+console.log(`\n${passed}/${passed + failures.length} verificações SF5.5 passaram.`);
+if (failures.length) {
+  console.error('\nSUÍTE migration-manifest SF5.5 FALHOU:');
+  for (const f of failures) console.error(`  - ${f}`);
+  process.exit(1);
+}
+console.log('Suíte SF5.5 verde (dispense-close + address-set + command-close:544 fix — 3 vias auditáveis).');
+process.exit(0);