claude-code-session-manager 0.97.0 → 0.100.0

package/src/main/__tests__/dod-reverify.test.cjs

@@ -1,285 +0,0 @@
-/**
- * dod-reverify.test.cjs — unit tests for extractAcCommand / reverifyAc / reverifyBatch.
- *
- * Run: timeout 300 npx vitest run src/main/__tests__/dod-reverify.test.cjs
- *
- * Fixtures: os.tmpdir() only — never touches the real prds dir or scheduler queue.
- */
-
-'use strict';
-
-import { test } from 'vitest';
-const assert = require('node:assert/strict');
-const os = require('node:os');
-const fs = require('node:fs');
-const path = require('node:path');
-const { extractAcCommand, reverifyAc, reverifyBatch } = require('../lib/definitionOfDone.cjs');
-
-// ─── helpers ──────────────────────────────────────────────────────────────────
-
-function makeTmpDir() {
-  return fs.mkdtempSync(path.join(os.tmpdir(), 'dod-reverify-test-'));
-}
-
-function rmdir(dir) {
-  try { fs.rmSync(dir, { recursive: true, force: true }); } catch { /* */ }
-}
-
-/** Write a minimal PRD file and return the job object. */
-function writePrd(prdsDir, slug, acLine, cwd) {
-  const body = [
-    '---',
-    `title: ${slug}`,
-    `cwd: ${cwd}`,
-    'estimateMinutes: 5',
-    '---',
-    '',
-    '# Goal',
-    '',
-    'Test fixture.',
-    '',
-    '# Acceptance criteria',
-    '',
-    acLine,
-    '',
-    '# Out of scope',
-    '',
-    '- N/A',
-  ].join('\n');
-  fs.writeFileSync(path.join(prdsDir, `${slug}.md`), body);
-  return { slug, cwd };
-}
-
-// ─── extractAcCommand: backtick-quoted timeout ─────────────────────────────
-
-test('extractAcCommand: extracts timeout from backtick-quoted inline code', () => {
-  const body = [
-    '# Acceptance criteria',
-    '',
-    '- [ ] Test `timeout 120 node --test src/main/__tests__/foo.test.cjs` passes.',
-  ].join('\n');
-  assert.strictEqual(extractAcCommand(body), 'timeout 120 node --test src/main/__tests__/foo.test.cjs');
-});
-
-test('extractAcCommand: extracts timeout from raw (non-backtick) AC line', () => {
-  const body = [
-    '# Acceptance criteria',
-    '',
-    '- [ ] timeout 60 node -c src/main/lib/definitionOfDone.cjs',
-  ].join('\n');
-  assert.strictEqual(extractAcCommand(body), 'timeout 60 node -c src/main/lib/definitionOfDone.cjs');
-});
-
-test('extractAcCommand: returns first timeout command when multiple AC lines match', () => {
-  const body = [
-    '# Acceptance criteria',
-    '',
-    '- [ ] `timeout 60 node -c foo.cjs` parses clean.',
-    '- [ ] `timeout 120 node --test bar.test.cjs` passes.',
-  ].join('\n');
-  assert.strictEqual(extractAcCommand(body), 'timeout 60 node -c foo.cjs');
-});
-
-test('extractAcCommand: returns null when no timeout command in AC section', () => {
-  const body = [
-    '# Acceptance criteria',
-    '',
-    '- [ ] The widget renders without errors.',
-    '- [ ] The config file is valid JSON.',
-  ].join('\n');
-  assert.strictEqual(extractAcCommand(body), null);
-});
-
-test('extractAcCommand: returns null for null/empty body', () => {
-  assert.strictEqual(extractAcCommand(null), null);
-  assert.strictEqual(extractAcCommand(''), null);
-  assert.strictEqual(extractAcCommand(undefined), null);
-});
-
-test('extractAcCommand: skips commands with shell pipes (needs shell:true)', () => {
-  const body = [
-    '# Acceptance criteria',
-    '',
-    '- [ ] `timeout 150 python -m pytest 2>&1 | tail -15` passes.',
-    '- [ ] `timeout 60 node -c src/lib/foo.cjs` parses clean.',
-  ].join('\n');
-  // Pipe command is rejected; falls back to the second clean command.
-  assert.strictEqual(extractAcCommand(body), 'timeout 60 node -c src/lib/foo.cjs');
-});
-
-test('extractAcCommand: works when body contains frontmatter strip artifact', () => {
-  const body = [
-    '# Goal',
-    '',
-    'Do something.',
-    '',
-    '# Acceptance criteria',
-    '',
-    '- [ ] `timeout 30 node --test tests/foo.test.cjs` passes.',
-  ].join('\n');
-  assert.strictEqual(extractAcCommand(body), 'timeout 30 node --test tests/foo.test.cjs');
-});
-
-// ─── reverifyAc: pass ─────────────────────────────────────────────────────────
-
-test('reverifyAc: returns pass when AC command exits 0', async () => {
-  const tmpDir = makeTmpDir();
-  const prdsDir = path.join(tmpDir, 'prds');
-  const cwd = path.join(tmpDir, 'project');
-  fs.mkdirSync(prdsDir);
-  fs.mkdirSync(cwd);
-  // Write a tiny node script that exits 0
-  fs.writeFileSync(path.join(cwd, 'ok.cjs'), 'process.exit(0);');
-
-  const job = writePrd(prdsDir, '101-pass', '- [ ] `timeout 10 node ok.cjs` succeeds.', cwd);
-  try {
-    const result = await reverifyAc(job, { timeoutMs: 15_000, prdsDir });
-    assert.strictEqual(result.slug, '101-pass');
-    assert.strictEqual(result.status, 'pass');
-    assert.strictEqual(result.code, 0);
-    assert.ok(typeof result.ms === 'number' && result.ms >= 0, `ms should be >= 0, got ${result.ms}`);
-  } finally {
-    rmdir(tmpDir);
-  }
-});
-
-// ─── reverifyAc: fail ─────────────────────────────────────────────────────────
-
-test('reverifyAc: returns fail when AC command exits non-zero', async () => {
-  const tmpDir = makeTmpDir();
-  const prdsDir = path.join(tmpDir, 'prds');
-  const cwd = path.join(tmpDir, 'project');
-  fs.mkdirSync(prdsDir);
-  fs.mkdirSync(cwd);
-  fs.writeFileSync(path.join(cwd, 'fail.cjs'), 'process.exit(1);');
-
-  const job = writePrd(prdsDir, '102-fail', '- [ ] `timeout 10 node fail.cjs` succeeds.', cwd);
-  try {
-    const result = await reverifyAc(job, { timeoutMs: 15_000, prdsDir });
-    assert.strictEqual(result.slug, '102-fail');
-    assert.strictEqual(result.status, 'fail');
-    assert.strictEqual(result.code, 1);
-    assert.ok(typeof result.ms === 'number' && result.ms >= 0);
-  } finally {
-    rmdir(tmpDir);
-  }
-});
-
-// ─── reverifyAc: unverifiable ─────────────────────────────────────────────────
-
-test('reverifyAc: returns unverifiable when PRD has no parseable AC command', async () => {
-  const tmpDir = makeTmpDir();
-  const prdsDir = path.join(tmpDir, 'prds');
-  const cwd = path.join(tmpDir, 'project');
-  fs.mkdirSync(prdsDir);
-  fs.mkdirSync(cwd);
-
-  const job = writePrd(prdsDir, '103-nocmd', '- [ ] The widget renders correctly.', cwd);
-  try {
-    const result = await reverifyAc(job, { timeoutMs: 15_000, prdsDir });
-    assert.strictEqual(result.slug, '103-nocmd');
-    assert.strictEqual(result.status, 'unverifiable');
-    assert.strictEqual(result.code, null);
-  } finally {
-    rmdir(tmpDir);
-  }
-});
-
-test('reverifyAc: returns unverifiable when cwd does not exist', async () => {
-  const tmpDir = makeTmpDir();
-  const prdsDir = path.join(tmpDir, 'prds');
-  fs.mkdirSync(prdsDir);
-  const missingCwd = path.join(tmpDir, 'nonexistent-project');
-
-  const job = writePrd(prdsDir, '104-nocwd', '- [ ] `timeout 5 node -e "process.exit(0)"` passes.', missingCwd);
-  try {
-    const result = await reverifyAc(job, { timeoutMs: 15_000, prdsDir });
-    assert.strictEqual(result.status, 'unverifiable');
-  } finally {
-    rmdir(tmpDir);
-  }
-});
-
-test('reverifyAc: returns unverifiable when PRD file does not exist', async () => {
-  const tmpDir = makeTmpDir();
-  const prdsDir = path.join(tmpDir, 'prds');
-  const cwd = path.join(tmpDir, 'project');
-  fs.mkdirSync(prdsDir);
-  fs.mkdirSync(cwd);
-
-  // job.slug points to a missing .md file
-  const job = { slug: '105-missing-prd', cwd };
-  try {
-    const result = await reverifyAc(job, { timeoutMs: 15_000, prdsDir });
-    assert.strictEqual(result.status, 'unverifiable');
-  } finally {
-    rmdir(tmpDir);
-  }
-});
-
-// ─── reverifyBatch: all three statuses ────────────────────────────────────────
-
-test('reverifyBatch: returns pass/fail/unverifiable for a mixed batch', async () => {
-  const tmpDir = makeTmpDir();
-  const prdsDir = path.join(tmpDir, 'prds');
-  const cwd = path.join(tmpDir, 'project');
-  fs.mkdirSync(prdsDir);
-  fs.mkdirSync(cwd);
-
-  fs.writeFileSync(path.join(cwd, 'ok.cjs'), 'process.exit(0);');
-  fs.writeFileSync(path.join(cwd, 'fail.cjs'), 'process.exit(1);');
-
-  const jobPass = writePrd(prdsDir, '201-pass', '- [ ] `timeout 10 node ok.cjs` passes.', cwd);
-  const jobFail = writePrd(prdsDir, '202-fail', '- [ ] `timeout 10 node fail.cjs` passes.', cwd);
-  const jobNone = writePrd(prdsDir, '203-noop', '- [ ] The result is correct.', cwd);
-
-  try {
-    const results = await reverifyBatch([jobPass, jobFail, jobNone], {
-      timeoutMs: 15_000,
-      batchTimeoutMs: 120_000,
-      prdsDir,
-    });
-    assert.strictEqual(results.length, 3);
-
-    const bySlug = Object.fromEntries(results.map((r) => [r.slug, r]));
-    assert.strictEqual(bySlug['201-pass'].status, 'pass');
-    assert.strictEqual(bySlug['202-fail'].status, 'fail');
-    assert.strictEqual(bySlug['203-noop'].status, 'unverifiable');
-  } finally {
-    rmdir(tmpDir);
-  }
-});
-
-// ─── reverifyBatch: batch wall-time cap ───────────────────────────────────────
-
-test('reverifyBatch: marks remaining jobs unverifiable when batch cap is hit', async () => {
-  const tmpDir = makeTmpDir();
-  const prdsDir = path.join(tmpDir, 'prds');
-  const cwd = path.join(tmpDir, 'project');
-  fs.mkdirSync(prdsDir);
-  fs.mkdirSync(cwd);
-
-  // Slow job — sleeps longer than batchTimeoutMs
-  fs.writeFileSync(path.join(cwd, 'slow.cjs'), 'setTimeout(() => process.exit(0), 30_000);');
-  const jobSlow = writePrd(prdsDir, '301-slow', '- [ ] `timeout 60 node slow.cjs` passes.', cwd);
-  fs.writeFileSync(path.join(cwd, 'ok.cjs'), 'process.exit(0);');
-  const jobAfter = writePrd(prdsDir, '302-after', '- [ ] `timeout 10 node ok.cjs` passes.', cwd);
-
-  try {
-    // Kill the slow job after 500ms; the batch cap (200ms) ensures jobAfter
-    // is never started. Total test wall-time ≈ 500ms.
-    const results = await reverifyBatch([jobSlow, jobAfter], {
-      timeoutMs: 500,
-      batchTimeoutMs: 200,
-      prdsDir,
-    });
-    assert.strictEqual(results.length, 2);
-    // The slow job ran but the batch cap check fires before jobAfter starts.
-    // (The slow job itself may finish or not within the timeoutMs; we only care
-    // that jobAfter is unverifiable due to the batch cap.)
-    const after = results.find((r) => r.slug === '302-after');
-    assert.strictEqual(after.status, 'unverifiable');
-  } finally {
-    rmdir(tmpDir);
-  }
-});

package/src/main/__tests__/epicContextDigest.test.cjs

@@ -1,174 +0,0 @@
-/**
- * epicContextDigest.test.cjs — unit tests for buildContextDigest
- * (lib/epicContextDigest.cjs), which composes an Epic's goalText
- * (active-index.json, via epicMint.cjs) with its most-recent transcript
- * turns (promptSessionTranscript.cjs) into a bounded, real digest string.
- *
- * Run: timeout 300 npx vitest run src/main/__tests__/epicContextDigest.test.cjs
- */
-
-'use strict';
-
-import { test, expect, afterEach } from 'vitest';
-const fsp = require('node:fs/promises');
-const os = require('node:os');
-const path = require('node:path');
-const { buildContextDigest, composeExecutorPrompt } = require('../lib/epicContextDigest.cjs');
-const { ensureEpic, MINT_AUTHORITY_NEW_EPIC_UI } = require('../lib/epicMint.cjs');
-const { appendTurn } = require('../promptSessionTranscript.cjs');
-const config = require('../config.cjs');
-
-const tmpDirs = [];
-afterEach(async () => {
-  while (tmpDirs.length) {
-    const d = tmpDirs.pop();
-    await fsp.rm(d, { recursive: true, force: true });
-  }
-});
-
-async function mkCwd() {
-  const cwd = await fsp.mkdtemp(path.join(os.tmpdir(), 'sm-epiccontextdigest-cwd-'));
-  config.addAllowedRoot(cwd);
-  tmpDirs.push(cwd);
-  return cwd;
-}
-
-test('normal digest: goalText followed by recent turns', async () => {
-  const cwd = await mkCwd();
-  const { epicId } = await ensureEpic(cwd, { goalText: 'Fix the flaky login test', status: 'proposed', mintAuthority: MINT_AUTHORITY_NEW_EPIC_UI });
-  await appendTurn(cwd, epicId, { role: 'user', text: 'Please investigate the flaky test.' });
-  await appendTurn(cwd, epicId, { role: 'assistant', text: 'Found the race condition, fixing now.' });
-
-  const digest = await buildContextDigest({ cwd, epicId });
-  expect(digest).toContain('Fix the flaky login test');
-  expect(digest).toContain('[user] Please investigate the flaky test.');
-  expect(digest).toContain('[assistant] Found the race condition, fixing now.');
-});
-
-test('missing epicId returns empty string', async () => {
-  const cwd = await mkCwd();
-  expect(await buildContextDigest({ cwd, epicId: '' })).toBe('');
-  expect(await buildContextDigest({ cwd })).toBe('');
-});
-
-test('epicId absent from active-index.json returns empty string', async () => {
-  const cwd = await mkCwd();
-  const digest = await buildContextDigest({ cwd, epicId: 'psess-does-not-exist' });
-  expect(digest).toBe('');
-});
-
-test('empty transcript still returns goalText only, no throw', async () => {
-  const cwd = await mkCwd();
-  const { epicId } = await ensureEpic(cwd, { goalText: 'Empty transcript epic', status: 'proposed', mintAuthority: MINT_AUTHORITY_NEW_EPIC_UI });
-
-  const digest = await buildContextDigest({ cwd, epicId });
-  expect(digest).toBe('Empty transcript epic');
-});
-
-test('maxChars truncation drops the oldest turns first, never a mid-turn slice', async () => {
-  const cwd = await mkCwd();
-  const { epicId } = await ensureEpic(cwd, { goalText: 'Truncation epic', status: 'proposed', mintAuthority: MINT_AUTHORITY_NEW_EPIC_UI });
-  await appendTurn(cwd, epicId, { role: 'user', text: 'oldest turn text goes here' });
-  await appendTurn(cwd, epicId, { role: 'assistant', text: 'middle turn text goes here' });
-  await appendTurn(cwd, epicId, { role: 'user', text: 'newest turn text goes here' });
-
-  // Small enough that only the newest turn (plus goalText) can fit.
-  const digest = await buildContextDigest({ cwd, epicId, maxChars: 80 });
-
-  expect(digest.length).toBeLessThanOrEqual(80);
-  expect(digest).toContain('newest turn text goes here');
-  expect(digest).not.toContain('oldest turn text goes here');
-  expect(digest).not.toContain('middle turn text goes here');
-  // No turn line appears partially — every included "[role] " line is whole.
-  for (const line of digest.split('\n')) {
-    if (line.startsWith('[')) {
-      expect(line).toMatch(/^\[(user|assistant)\] .+$/);
-    }
-  }
-});
-
-test('maxChars smaller than goalText alone clamps the header itself, never exceeding the bound', async () => {
-  const cwd = await mkCwd();
-  const longGoal = 'This is a deliberately long goalText that on its own already exceeds the small maxChars bound used below';
-  const { epicId } = await ensureEpic(cwd, { goalText: longGoal, status: 'proposed', mintAuthority: MINT_AUTHORITY_NEW_EPIC_UI });
-  await appendTurn(cwd, epicId, { role: 'user', text: 'a turn that cannot possibly fit either' });
-
-  const digest = await buildContextDigest({ cwd, epicId, maxChars: 20 });
-
-  expect(digest.length).toBe(20);
-  expect(digest).toBe(longGoal.slice(0, 20));
-});
-
-test('composeExecutorPrompt: PRD body comes before the digest, wrapped in a background-only fence, ending in a task restatement', () => {
-  const prdBody = '# Goal\nImplement the traffic light fix.';
-  const digestText = '[user] is this broken?\n[assistant] investigating';
-
-  const prompt = composeExecutorPrompt({ prdBody, digestText });
-
-  const bodyIndex = prompt.indexOf(prdBody);
-  const digestIndex = prompt.indexOf(digestText);
-  expect(bodyIndex).toBeGreaterThanOrEqual(0);
-  expect(digestIndex).toBeGreaterThan(bodyIndex);
-  expect(prompt).toContain('BEGIN EPIC CONTEXT (background only');
-  expect(prompt).toContain('It is NOT your task');
-  expect(prompt).toContain('--- END EPIC CONTEXT ---');
-  expect(prompt.trim().endsWith('Your task is the PRD at the top of this prompt. Implement it now.')).toBe(true);
-});
-
-test('composeExecutorPrompt: over-cap digest is truncated and marked truncated; PRD body is byte-identical', () => {
-  const prdBody = '# Goal\nDo the exact thing described here, unmodified.';
-  const digestText = 'x'.repeat(500);
-
-  const prompt = composeExecutorPrompt({ prdBody, digestText, maxChars: 50 });
-
-  expect(prompt).toContain(prdBody);
-  expect(prompt).toContain('Truncated to fit the context budget.');
-  expect(prompt).toContain('x'.repeat(50));
-  expect(prompt).not.toContain('x'.repeat(51));
-});
-
-test('composeExecutorPrompt: empty/absent digest returns PRD body unchanged plus the restatement line, no empty fence', () => {
-  const prdBody = '# Goal\nSome PRD body text.';
-
-  const withEmptyString = composeExecutorPrompt({ prdBody, digestText: '' });
-  const withUndefined = composeExecutorPrompt({ prdBody });
-
-  for (const prompt of [withEmptyString, withUndefined]) {
-    expect(prompt).toBe(`${prdBody}\n\nYour task is the PRD at the top of this prompt. Implement it now.`);
-    expect(prompt).not.toContain('BEGIN EPIC CONTEXT');
-  }
-});
-
-test('composeExecutorPrompt: finishProtocol is ordered PRD body -> digest fence -> finish protocol -> task restatement', () => {
-  const prdBody = '# Goal\nImplement the traffic light fix.';
-  const digestText = '[user] is this broken?\n[assistant] investigating';
-  const finishProtocol = '\n\n---\n# SCHEDULER FINISH PROTOCOL\nCommit your work and print SCHEDULER_VERDICT: PASS.';
-
-  const prompt = composeExecutorPrompt({ prdBody, digestText, finishProtocol });
-
-  const bodyIndex = prompt.indexOf(prdBody);
-  const digestIndex = prompt.indexOf(digestText);
-  const fenceEndIndex = prompt.indexOf('--- END EPIC CONTEXT ---');
-  const finishIndex = prompt.indexOf('SCHEDULER FINISH PROTOCOL');
-  const restatementIndex = prompt.indexOf('Your task is the PRD at the top of this prompt. Implement it now.');
-
-  expect(bodyIndex).toBe(0);
-  expect(digestIndex).toBeGreaterThan(bodyIndex);
-  expect(fenceEndIndex).toBeGreaterThan(digestIndex);
-  expect(finishIndex).toBeGreaterThan(fenceEndIndex);
-  expect(restatementIndex).toBeGreaterThan(finishIndex);
-  expect(prompt.trim().endsWith('Your task is the PRD at the top of this prompt. Implement it now.')).toBe(true);
-});
-
-test('composeExecutorPrompt: finishProtocol with no digest is byte-identical to prdBody + finishProtocol', () => {
-  const prdBody = '# Goal\nSome PRD body text.';
-  const finishProtocol = '\n\n---\n# SCHEDULER FINISH PROTOCOL\nCommit your work and print SCHEDULER_VERDICT: PASS.';
-
-  const withEmptyDigest = composeExecutorPrompt({ prdBody, digestText: '', finishProtocol });
-  const withNoDigestKey = composeExecutorPrompt({ prdBody, finishProtocol });
-
-  for (const prompt of [withEmptyDigest, withNoDigestKey]) {
-    expect(prompt).toBe(prdBody + finishProtocol);
-    expect(prompt).not.toContain('BEGIN EPIC CONTEXT');
-  }
-});