gsd-pi 2.81.0-dev.72a81bdf3 → 2.82.0-dev.2841a1e44

package/src/resources/extensions/gsd/tests/decisions-stop-table-writes.test.ts

@@ -0,0 +1,348 @@
+// ADR-013 Phase 6 cutover (Stage 3) — destructive lock-in.
+//
+// After this stage, new decisions written via gsd_save_decision land ONLY in
+// the memories table. The decisions table receives no new rows; its existing
+// rows remain for backwards-compat reads until #5756 drops the table.
+//
+// Tests cover five properties:
+//   1. New saveDecisionToDb call does NOT insert into the decisions table
+//   2. The new decision DOES appear as a memory row with sourceDecisionId
+//   3. The rendered DECISIONS.md projection includes the new decision
+//   4. Pre-existing decisions-table rows are untouched
+//   5. Decision IDs are monotonic across both surfaces (max of either + 1)
+
+import test from "node:test";
+import assert from "node:assert/strict";
+import {
+  existsSync,
+  mkdirSync,
+  mkdtempSync,
+  readFileSync,
+  rmSync,
+} from "node:fs";
+import { join } from "node:path";
+import { tmpdir } from "node:os";
+
+import {
+  _getAdapter,
+  closeDatabase,
+  insertDecision,
+  openDatabase,
+} from "../gsd-db.ts";
+import { saveDecisionToDb } from "../db-writer.ts";
+import {
+  getAllDecisionsFromMemories,
+  queryDecisions,
+} from "../context-store.ts";
+
+function makeTmpBase(): string {
+  const base = mkdtempSync(join(tmpdir(), "gsd-decisions-stage3-"));
+  mkdirSync(join(base, ".gsd"), { recursive: true });
+  openDatabase(join(base, ".gsd", "gsd.db"));
+  return base;
+}
+
+function cleanup(base: string): void {
+  try {
+    closeDatabase();
+  } catch {
+    /* noop */
+  }
+  try {
+    rmSync(base, { recursive: true, force: true });
+  } catch {
+    /* noop */
+  }
+}
+
+function countDecisionRows(): number {
+  const adapter = _getAdapter();
+  if (!adapter) return 0;
+  const row = adapter
+    .prepare("SELECT COUNT(*) as n FROM decisions")
+    .get() as { n: number };
+  return row.n;
+}
+
+function seedLegacyDecision(args: {
+  id: string;
+  when_context: string;
+  scope: string;
+  decision: string;
+  choice: string;
+  rationale: string;
+  superseded_by?: string | null;
+}): void {
+  insertDecision({
+    id: args.id,
+    when_context: args.when_context,
+    scope: args.scope,
+    decision: args.decision,
+    choice: args.choice,
+    rationale: args.rationale,
+    revisable: "Yes",
+    made_by: "agent",
+    superseded_by: args.superseded_by ?? null,
+  });
+}
+
+// ─── Core invariants ────────────────────────────────────────────────────────
+
+test("saveDecisionToDb no longer writes to the decisions table", async () => {
+  const base = makeTmpBase();
+  try {
+    const before = countDecisionRows();
+    assert.equal(before, 0);
+
+    await saveDecisionToDb(
+      {
+        when_context: "M001 discuss",
+        scope: "M001",
+        decision: "Stage 3 destructive: memories-only writes",
+        choice: "Drop the upsertDecision call",
+        rationale: "Cutover step required by ADR-013 Phase 6",
+        revisable: "Yes",
+        made_by: "agent",
+      },
+      base,
+    );
+
+    const after = countDecisionRows();
+    assert.equal(after, 0, "decisions table must remain empty after Stage 3 save");
+  } finally {
+    cleanup(base);
+  }
+});
+
+test("saveDecisionToDb writes the new decision into memories with sourceDecisionId", async () => {
+  const base = makeTmpBase();
+  try {
+    const { id } = await saveDecisionToDb(
+      {
+        when_context: "M001 discuss",
+        scope: "M001",
+        decision: "Use atomic file writes",
+        choice: "atomicWriteSync",
+        rationale: "crash-safe markdown projections",
+        revisable: "Yes",
+        made_by: "agent",
+      },
+      base,
+    );
+
+    const fromMemories = getAllDecisionsFromMemories();
+    assert.equal(fromMemories.length, 1);
+    assert.equal(fromMemories[0]?.id, id);
+    assert.equal(fromMemories[0]?.decision, "Use atomic file writes");
+  } finally {
+    cleanup(base);
+  }
+});
+
+test("DECISIONS.md projection includes the memory-only decision", async () => {
+  const base = makeTmpBase();
+  try {
+    await saveDecisionToDb(
+      {
+        when_context: "M001 discuss",
+        scope: "M001",
+        decision: "Adopt SQLite",
+        choice: "better-sqlite3",
+        rationale: "synchronous + native",
+        revisable: "Yes",
+        made_by: "agent",
+      },
+      base,
+    );
+
+    const md = readFileSync(join(base, ".gsd", "DECISIONS.md"), "utf-8");
+    assert.match(md, /\| D001 \|/);
+    assert.match(md, /Adopt SQLite/);
+    assert.match(md, /# Decisions Register/);
+  } finally {
+    cleanup(base);
+  }
+});
+
+// ─── Existing decisions table is preserved ──────────────────────────────────
+
+test("pre-existing decisions-table rows are untouched by Stage 3 saves", async () => {
+  const base = makeTmpBase();
+  try {
+    // Seed two legacy decisions directly into the table — simulates a
+    // pre-cutover project.
+    seedLegacyDecision({
+      id: "D001",
+      when_context: "M001 historical",
+      scope: "M001",
+      decision: "Legacy decision one",
+      choice: "A",
+      rationale: "r1",
+    });
+    seedLegacyDecision({
+      id: "D002",
+      when_context: "M001 historical",
+      scope: "M001",
+      decision: "Legacy decision two",
+      choice: "B",
+      rationale: "r2",
+    });
+    assert.equal(countDecisionRows(), 2);
+
+    // New save via the cutover path.
+    await saveDecisionToDb(
+      {
+        when_context: "M001 today",
+        scope: "M001",
+        decision: "Post-cutover decision",
+        choice: "C",
+        rationale: "r3",
+        revisable: "Yes",
+        made_by: "agent",
+      },
+      base,
+    );
+
+    // Decisions table unchanged.
+    assert.equal(countDecisionRows(), 2);
+
+    // Legacy reads still see the pre-existing rows.
+    const fromLegacy = queryDecisions();
+    assert.equal(fromLegacy.length, 2);
+    assert.deepEqual(
+      fromLegacy.map((d) => d.id).sort(),
+      ["D001", "D002"],
+    );
+  } finally {
+    cleanup(base);
+  }
+});
+
+// ─── Cross-surface ID monotonicity ─────────────────────────────────────────
+
+test("decision IDs are monotonic across legacy table + memory surfaces", async () => {
+  const base = makeTmpBase();
+  try {
+    // Pre-cutover project with D001..D005 in the legacy table (no memory
+    // backfill yet — simulates an upgrade that hasn't run backfill).
+    for (let i = 1; i <= 5; i++) {
+      seedLegacyDecision({
+        id: `D${String(i).padStart(3, "0")}`,
+        when_context: "historical",
+        scope: "M001",
+        decision: `Decision ${i}`,
+        choice: "x",
+        rationale: "y",
+      });
+    }
+    assert.equal(countDecisionRows(), 5);
+
+    // First Stage 3 save: must pick the next-after-table ID.
+    const a = await saveDecisionToDb(
+      {
+        when_context: "M001 today",
+        scope: "M001",
+        decision: "First post-cutover",
+        choice: "A",
+        rationale: "r",
+        revisable: "Yes",
+        made_by: "agent",
+      },
+      base,
+    );
+    assert.equal(a.id, "D006", "first cutover save must follow the legacy table max (D005 -> D006)");
+
+    // Second save: must pick the next-after-memory ID.
+    const b = await saveDecisionToDb(
+      {
+        when_context: "M001 today",
+        scope: "M001",
+        decision: "Second post-cutover",
+        choice: "B",
+        rationale: "r",
+        revisable: "Yes",
+        made_by: "agent",
+      },
+      base,
+    );
+    assert.equal(b.id, "D007", "second cutover save must follow memory max (D006 -> D007)");
+
+    // Decisions table still has only the original five.
+    assert.equal(countDecisionRows(), 5);
+  } finally {
+    cleanup(base);
+  }
+});
+
+test("next-ID falls back to D001 when both surfaces are empty", async () => {
+  const base = makeTmpBase();
+  try {
+    const { id } = await saveDecisionToDb(
+      {
+        when_context: "M001",
+        scope: "M001",
+        decision: "First ever",
+        choice: "A",
+        rationale: "r",
+        revisable: "Yes",
+        made_by: "agent",
+      },
+      base,
+    );
+    assert.equal(id, "D001");
+  } finally {
+    cleanup(base);
+  }
+});
+
+test("next-ID skips beyond memory-only entries when the legacy table is empty", async () => {
+  const base = makeTmpBase();
+  try {
+    // Three memory-only saves on a fresh project.
+    const a = await saveDecisionToDb(
+      { when_context: "M001", scope: "M001", decision: "A", choice: "1", rationale: "r", revisable: "Yes", made_by: "agent" },
+      base,
+    );
+    const b = await saveDecisionToDb(
+      { when_context: "M001", scope: "M001", decision: "B", choice: "2", rationale: "r", revisable: "Yes", made_by: "agent" },
+      base,
+    );
+    const c = await saveDecisionToDb(
+      { when_context: "M001", scope: "M001", decision: "C", choice: "3", rationale: "r", revisable: "Yes", made_by: "agent" },
+      base,
+    );
+
+    assert.deepEqual([a.id, b.id, c.id], ["D001", "D002", "D003"]);
+    assert.equal(countDecisionRows(), 0, "no decisions-table writes despite three saves");
+  } finally {
+    cleanup(base);
+  }
+});
+
+// ─── Defensive: malformed structured_fields don't break next-ID ────────────
+
+test("malformed structuredFields in memories are silently skipped during next-ID computation", async () => {
+  const base = makeTmpBase();
+  try {
+    // Insert a memory with broken JSON in structured_fields. The next-ID
+    // logic must not throw.
+    const adapter = _getAdapter();
+    assert.ok(adapter);
+    adapter
+      .prepare(
+        "INSERT INTO memories (id, category, content, confidence, created_at, updated_at, structured_fields) VALUES ('mem-broken', 'architecture', 'oops', 0.5, datetime('now'), datetime('now'), '{\"sourceDecisionId\":\"D999\"')",
+      )
+      .run();
+
+    const { id } = await saveDecisionToDb(
+      { when_context: "M001", scope: "M001", decision: "Survivor", choice: "x", rationale: "y", revisable: "Yes", made_by: "agent" },
+      base,
+    );
+
+    // Broken JSON for D999 doesn't parse, so the surfaced max stays at 0.
+    // The new save must still produce a valid sequential ID.
+    assert.equal(id, "D001");
+  } finally {
+    cleanup(base);
+  }
+});

package/src/resources/extensions/gsd/tests/evidence-cross-ref.test.ts

@@ -0,0 +1,38 @@
+// Project/App: GSD-2
+// File Purpose: Tests for verification evidence cross-reference mismatch policy.
+
+import test from "node:test";
+import assert from "node:assert/strict";
+
+import { crossReferenceEvidence } from "../safety/evidence-cross-ref.ts";
+import type { EvidenceEntry } from "../safety/evidence-collector.ts";
+
+test("claims of passing verification become errors when recorded bash evidence failed", () => {
+  const mismatches = crossReferenceEvidence(
+    [{ command: "npm test", exitCode: 0, verdict: "passed" }],
+    [
+      {
+        kind: "bash",
+        toolCallId: "call-1",
+        command: "npm test",
+        exitCode: 1,
+        outputSnippet: "failed",
+        timestamp: Date.now(),
+      },
+    ] as EvidenceEntry[],
+  );
+
+  assert.equal(mismatches.length, 1);
+  assert.equal(mismatches[0].severity, "error");
+  assert.match(mismatches[0].reason, /Claimed exitCode=0/);
+});
+
+test("missing recorded bash evidence remains a warning", () => {
+  const mismatches = crossReferenceEvidence(
+    [{ command: "npm test", exitCode: 0, verdict: "passed" }],
+    [],
+  );
+
+  assert.equal(mismatches.length, 1);
+  assert.equal(mismatches[0].severity, "warning");
+});

package/src/resources/extensions/gsd/tests/freeform-decisions.test.ts

@@ -14,6 +14,7 @@ import {
 import {
   saveDecisionToDb,
 } from '../db-writer.ts';
+import { getAllDecisionsFromMemories } from '../context-store.ts';
 
 // ═══════════════════════════════════════════════════════════════════════════
 // Helpers
@@ -31,11 +32,14 @@ function cleanupDir(dir: string): void {
   } catch { /* swallow */ }
 }
 
-/** Query all decisions from the DB ordered by seq. */
+/**
+ * Query all decisions. ADR-013 Stage 3 (PR #5755): decisions are written
+ * exclusively to memories; this helper returns the same Decision shape the
+ * previous SELECT * FROM decisions produced so the assertions below stay
+ * one-line lookups.
+ */
 function queryAllDecisions(): Array<Record<string, unknown>> {
-  const adapter = _getAdapter();
-  if (!adapter) return [];
-  return adapter.prepare('SELECT * FROM decisions ORDER BY seq').all();
+  return getAllDecisionsFromMemories().map((d) => ({ ...d }));
 }
 
 // ═══════════════════════════════════════════════════════════════════════════

package/src/resources/extensions/gsd/tests/gsd-tools.test.ts

@@ -14,7 +14,6 @@ import {
   isDbAvailable,
   upsertRequirement,
   getRequirementById,
-  getDecisionById,
   _getAdapter,
   insertArtifact,
 } from '../gsd-db.ts';
@@ -26,6 +25,7 @@ import {
   nextDecisionId,
   nextRequirementId,
 } from '../db-writer.ts';
+import { getAllDecisionsFromMemories } from '../context-store.ts';
 import type { Requirement } from '../types.ts';
 
 // ═══════════════════════════════════════════════════════════════════════════
@@ -73,12 +73,16 @@ describe('gsd-tools', () => {
 
       assert.deepStrictEqual(result.id, 'D001', 'First decision should be D001');
 
-      // Verify DB row exists
-      const row = getDecisionById('D001');
-      assert.ok(row !== null, 'Decision D001 should exist in DB');
-      assert.deepStrictEqual(row!.scope, 'architecture', 'Decision scope should match');
-      assert.deepStrictEqual(row!.decision, 'Use SQLite for metadata', 'Decision text should match');
-      assert.deepStrictEqual(row!.choice, 'SQLite', 'Decision choice should match');
+      // ADR-013 Stage 3: decisions land in memories, not the legacy decisions
+      // table. Verify the memory row carries the same content.
+      const memoryDecisions = getAllDecisionsFromMemories();
+      assert.equal(memoryDecisions.length, 1, 'one memory row exists after save');
+      const memDecision = memoryDecisions[0];
+      assert.ok(memDecision, 'memory decision exists after save');
+      assert.equal(memDecision.id, 'D001');
+      assert.deepStrictEqual(memDecision.scope, 'architecture', 'memory decision scope should match');
+      assert.deepStrictEqual(memDecision.decision, 'Use SQLite for metadata', 'memory decision text should match');
+      assert.deepStrictEqual(memDecision.choice, 'SQLite', 'memory decision choice should match');
 
       // Verify DECISIONS.md was generated
       const mdPath = path.join(tmpDir, '.gsd', 'DECISIONS.md');

package/src/resources/extensions/gsd/tests/integration/doctor-git.test.ts

@@ -1,3 +1,4 @@
+// GSD-2 doctor git integration tests
 import { describe, test } from 'node:test';
 import assert from 'node:assert/strict';
 /**
@@ -761,6 +762,49 @@ describe('doctor-git', async () => {
       assert.ok(log.includes("gsd snapshot"), "commit is tagged with gsd snapshot");
     });
 
+    test('stale_uncommitted_changes (skips snapshot when tracked changes contain conflict markers)', async () => {
+      const dir = createRepoWithActiveMilestone();
+      cleanups.push(dir);
+
+      const pastDate = new Date(Date.now() - 45 * 60 * 1000).toISOString();
+      run(`git commit --amend --no-edit --date="${pastDate}"`, dir);
+      execSync(`git commit --amend --no-edit`, {
+        cwd: dir,
+        stdio: ["ignore", "pipe", "pipe"],
+        encoding: "utf-8",
+        env: { ...process.env, GIT_COMMITTER_DATE: pastDate },
+      });
+
+      writeFileSync(join(dir, "README.md"), [
+        "# test",
+        "<<<<<<< Updated upstream",
+        "modified content",
+        "=======",
+        "stashed content",
+        ">>>>>>> Stashed changes",
+        "",
+      ].join("\n"));
+
+      const commitsBefore = run("git rev-list --count HEAD", dir);
+      const fixed = await runGSDDoctor(dir, { fix: true });
+      const conflictIssues = fixed.issues.filter(
+        i => i.code === ("conflict_markers_in_tracked_files" as typeof i.code),
+      );
+
+      assert.equal(conflictIssues.length, 1, "detects conflict markers before snapshotting");
+      assert.equal(conflictIssues[0]?.severity, "error", "conflict marker issue blocks automation");
+      assert.equal(conflictIssues[0]?.fixable, false, "conflict marker issue requires manual resolution");
+      assert.ok(
+        fixed.fixesApplied.some(f => f.includes("gsd snapshot skipped")),
+        "fix reports skipped snapshot",
+      );
+
+      const commitsAfter = run("git rev-list --count HEAD", dir);
+      assert.equal(commitsAfter, commitsBefore, "no snapshot commit is created");
+      assert.equal(run("git diff --cached --name-only", dir), "", "no files are staged");
+      assert.match(run("git status --short", dir), /M README\.md/m, "tracked file remains modified");
+    });
+
     // ─── Test: stale_uncommitted_changes NOT flagged when recent commit ──
     test('stale_uncommitted_changes (no false positive on recent commit)', async () => {
       const dir = createRepoWithActiveMilestone();

package/src/resources/extensions/gsd/tests/integration/integration-lifecycle.test.ts

@@ -17,10 +17,12 @@ import { migrateFromMarkdown, parseDecisionsTable } from '../../md-importer.ts';
 import {
   queryDecisions,
   queryRequirements,
+  getAllDecisionsFromMemories,
   formatDecisionsForPrompt,
   formatRequirementsForPrompt,
 } from '../../context-store.ts';
 import { saveDecisionToDb, generateDecisionsMd } from '../../db-writer.ts';
+import { backfillDecisionsToMemories } from '../../memory-backfill.ts';
 import { describe, test, beforeEach, afterEach } from 'node:test';
 import assert from 'node:assert/strict';
 
@@ -233,8 +235,8 @@ test('integration-lifecycle: full pipeline', async () => {
       assert.ok(typeof saved.id === 'string', 'lifecycle: saveDecisionToDb returned an id');
       assert.match(saved.id, /^D\d+$/, 'lifecycle: saved ID matches D### pattern');
 
-      // Query back from DB
-      const allAfterSave = queryDecisions();
+      // Query back from DB (memories — Stage 3 of ADR-013 stopped legacy decisions-table writes)
+      const allAfterSave = getAllDecisionsFromMemories();
       const savedDecision = allAfterSave.find(d => d.id === saved.id);
       assert.ok(savedDecision !== null && savedDecision !== undefined, `lifecycle: saved decision ${saved.id} found in DB`);
       assert.deepStrictEqual(savedDecision?.decision, 'integration test write-back decision', 'lifecycle: saved decision text matches');
@@ -253,9 +255,15 @@ test('integration-lifecycle: full pipeline', async () => {
       assert.deepStrictEqual(reparsedSaved?.rationale, 'proves round-trip fidelity', 'lifecycle: round-trip rationale preserved');
 
       // ── Step 8: DB consistency — total count sanity ─────────────────────
-      const finalCount = queryDecisions().length;
-      // Original 14 + 1 re-import + 1 saveDecisionToDb = 16
-      assert.ok(finalCount === DECISIONS_COUNT + 2, `lifecycle: final DB count = ${DECISIONS_COUNT + 2} (got ${finalCount})`);
+      // ADR-013 Stage 3 split the write paths: migrateFromMarkdown still
+      // populates the legacy decisions table, but saveDecisionToDb now writes
+      // only to memories. The unified projection (and the post-#5756 cutover
+      // end-state) lives in memories, so simulate what bootstrap does and
+      // backfill the table rows into memories before counting.
+      backfillDecisionsToMemories();
+      const finalCount = getAllDecisionsFromMemories().length;
+      // Original 14 + 1 re-import (decisions table → memories via backfill) + 1 saveDecisionToDb = 16
+      assert.ok(finalCount === DECISIONS_COUNT + 2, `lifecycle: final memory-store count = ${DECISIONS_COUNT + 2} (got ${finalCount})`);
 
       closeDatabase();
     } finally {

package/src/resources/extensions/gsd/tests/integration/migrate-command.test.ts

@@ -14,7 +14,9 @@ import {
   generatePreview,
   writeGSDDirectory,
 } from '../../migrate/index.ts';
+import { importWrittenMigrationToDb } from '../../migrate/command.ts';
 import { deriveState } from '../../state.ts';
+import { closeDatabase, getDecisionById, getRequirementCounts } from '../../gsd-db.ts';
 import { describe, test, beforeEach, afterEach } from 'node:test';
 import assert from 'node:assert/strict';
 
@@ -52,6 +54,16 @@ const SAMPLE_REQUIREMENTS = `# Requirements
 - Description: Output matches GSD format.
 `;
 
+const SAMPLE_REQUIREMENTS_LEGACY_IDS = `# Requirements
+
+## Active
+
+- [ ] **CORE-PIPELINE**: Pipeline must work end-to-end.
+- [ ] **OUTPUT-FORMAT**: Output matches GSD format.
+- [ ] **IMPORT-DB**: Migration imports requirements into the DB.
+- [ ] **STATUS-WIDGET**: Status can query migrated requirements.
+`;
+
 const SAMPLE_STATE = `# State
 
 **Current Phase:** 20-features
@@ -166,14 +178,14 @@ Depends on foundation work.
 </context>
 `;
 
-function createCompleteFixture(): string {
+function createCompleteFixture(requirementsContent: string = SAMPLE_REQUIREMENTS): string {
   const base = mkdtempSync(join(tmpdir(), 'gsd-cmd-test-'));
   const planning = join(base, '.planning');
   mkdirSync(planning, { recursive: true });
 
   writeFileSync(join(planning, 'PROJECT.md'), SAMPLE_PROJECT);
   writeFileSync(join(planning, 'ROADMAP.md'), SAMPLE_ROADMAP);
-  writeFileSync(join(planning, 'REQUIREMENTS.md'), SAMPLE_REQUIREMENTS);
+  writeFileSync(join(planning, 'REQUIREMENTS.md'), requirementsContent);
   writeFileSync(join(planning, 'STATE.md'), SAMPLE_STATE);
   writeFileSync(join(planning, 'config.json'), SAMPLE_CONFIG);
 
@@ -303,6 +315,7 @@ test('Full pipeline: parse → transform → preview → write → deriveState',
       const expectedTaskPct = totalTasks > 0 ? Math.round((doneTasks / totalTasks) * 100) : 0;
       assert.deepStrictEqual(preview.sliceCompletionPct, expectedSlicePct, 'pipeline: preview sliceCompletionPct');
       assert.deepStrictEqual(preview.taskCompletionPct, expectedTaskPct, 'pipeline: preview taskCompletionPct');
+      assert.deepStrictEqual(preview.decisions.total, 1, 'pipeline: preview decisions total');
 
       // Requirements in preview
       assert.deepStrictEqual(preview.requirements.active, 1, 'pipeline: preview requirements active');
@@ -342,6 +355,39 @@ test('Full pipeline: parse → transform → preview → write → deriveState',
     }
 });
 
+test('Full pipeline: legacy requirement IDs import into DB with canonical IDs', async () => {
+    const base = createCompleteFixture(SAMPLE_REQUIREMENTS_LEGACY_IDS);
+    const writeTarget = mkdtempSync(join(tmpdir(), 'gsd-cmd-legacy-reqs-'));
+    try {
+      const parsed = await parsePlanningDirectory(join(base, '.planning'));
+      const project = transformToGSD(parsed);
+      const preview = generatePreview(project);
+
+      assert.deepStrictEqual(
+        project.requirements.map((req) => req.id),
+        ['R001', 'R002', 'R003', 'R004'],
+        'legacy-reqs: transform assigns canonical R IDs',
+      );
+      assert.ok(
+        project.requirements[0]?.description.includes('Legacy ID: CORE-PIPELINE'),
+        'legacy-reqs: original ID survives in migrated requirement content',
+      );
+
+      await writeGSDDirectory(project, writeTarget);
+      const imported = await importWrittenMigrationToDb(writeTarget, preview);
+      const counts = getRequirementCounts();
+
+      assert.deepStrictEqual(imported.decisions, 1, 'legacy-reqs: DB import includes migrated decisions');
+      assert.deepStrictEqual(imported.requirements, 4, 'legacy-reqs: DB import count matches preview');
+      assert.ok(getDecisionById('D001') !== null, 'legacy-reqs: migrated decision is queryable');
+      assert.deepStrictEqual(counts.total, 4, 'legacy-reqs: DB stores all migrated requirements');
+    } finally {
+      closeDatabase();
+      rmSync(base, { recursive: true, force: true });
+      rmSync(writeTarget, { recursive: true, force: true });
+    }
+});
+
   // ─── Test 6: .gsd/ exists detection ────────────────────────────────────
 
 test('.gsd/ exists detection', () => {
@@ -357,4 +403,3 @@ test('.gsd/ exists detection', () => {
       rmSync(base, { recursive: true, force: true });
     }
 });
-