@voidhash/mimic-effect 0.0.9 → 1.0.0-beta.2

package/dist/testing/HotStorageTestSuite.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"HotStorageTestSuite.mjs","names":["tests: StorageTestCase<HotStorageTestError, HotStorageTag>[]","entry: WalEntry","passed: StorageTestCase<HotStorageTestError, HotStorageTag>[]","failed: Array<{\n      test: StorageTestCase<HotStorageTestError, HotStorageTag>;\n      error: HotStorageTestError;\n    }>"],"sources":["../../src/testing/HotStorageTestSuite.ts"],"sourcesContent":["/**\n * @voidhash/mimic-effect/testing - HotStorage Test Suite\n *\n * Comprehensive test suite for HotStorage (WAL) adapter implementations.\n * These tests verify that an adapter correctly implements the HotStorage interface\n * and can reliably store/retrieve WAL entries for document recovery.\n */\nimport { Effect } from \"effect\";\nimport { Transaction } from \"@voidhash/mimic\";\nimport { HotStorageTag } from \"../HotStorage\";\nimport { type HotStorageError, WalVersionGapError } from \"../Errors\";\nimport type { WalEntry } from \"../Types\";\nimport type { StorageTestCase, TestResults } from \"./types\";\nimport { TestError } from \"./types\";\nimport {\n  assertEqual,\n  assertLength,\n  assertEmpty,\n  assertSortedBy,\n  assertTrue,\n} from \"./assertions\";\n\n/**\n * Error type for HotStorage tests - can be either a TestError, HotStorageError, or WalVersionGapError\n */\nexport type HotStorageTestError = TestError | HotStorageError | WalVersionGapError;\n\n// =============================================================================\n// Categories\n// =============================================================================\n\nexport const Categories = {\n  BasicOperations: \"Basic Operations\",\n  VersionFiltering: \"Version Filtering\",\n  OrderingGuarantees: \"Ordering Guarantees\",\n  TruncationEdgeCases: \"Truncation Edge Cases\",\n  WalEntryIntegrity: \"WAL Entry Integrity\",\n  DocumentIsolation: \"Document Isolation\",\n  LargeScaleOperations: \"Large-Scale Operations\",\n  DocumentIdEdgeCases: \"Document ID Edge Cases\",\n  GapChecking: \"Gap Checking\",\n} as const;\n\n// =============================================================================\n// Helper Functions\n// =============================================================================\n\nconst makeEntry = (version: number, timestamp?: number): WalEntry => ({\n  transaction: Transaction.make([]),\n  version,\n  timestamp: timestamp ?? Date.now(),\n});\n\nconst makeEntryWithData = (\n  version: number,\n  data: unknown,\n  timestamp?: number\n): WalEntry => ({\n  transaction: Transaction.make([\n    { type: \"set\", path: [\"data\"], value: data },\n  ]),\n  version,\n  timestamp: timestamp ?? Date.now(),\n});\n\n// =============================================================================\n// Test Definitions\n// =============================================================================\n\nconst tests: StorageTestCase<HotStorageTestError, HotStorageTag>[] = [\n  // ---------------------------------------------------------------------------\n  // Basic Operations\n  // ---------------------------------------------------------------------------\n  {\n    name: \"getEntries returns empty array for non-existent document\",\n    category: Categories.BasicOperations,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const result = yield* storage.getEntries(\"non-existent-hot-doc\", 0);\n      yield* assertEmpty(result, \"Should return empty array for non-existent document\");\n    }),\n  },\n\n  {\n    name: \"append then getEntries returns the entry\",\n    category: Categories.BasicOperations,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const entry = makeEntry(1);\n      yield* storage.append(\"basic-append\", entry);\n      const entries = yield* storage.getEntries(\"basic-append\", 0);\n      yield* assertLength(entries, 1, \"Should have one entry\");\n      yield* assertEqual(entries[0]!.version, 1, \"Entry version should match\");\n    }),\n  },\n\n  {\n    name: \"multiple append calls accumulate entries\",\n    category: Categories.BasicOperations,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"multi-append\", makeEntry(1));\n      yield* storage.append(\"multi-append\", makeEntry(2));\n      yield* storage.append(\"multi-append\", makeEntry(3));\n      const entries = yield* storage.getEntries(\"multi-append\", 0);\n      yield* assertLength(entries, 3, \"Should have three entries\");\n    }),\n  },\n\n  {\n    name: \"truncate removes entries with version <= upToVersion\",\n    category: Categories.BasicOperations,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"truncate-basic\", makeEntry(1));\n      yield* storage.append(\"truncate-basic\", makeEntry(2));\n      yield* storage.append(\"truncate-basic\", makeEntry(3));\n      yield* storage.truncate(\"truncate-basic\", 2);\n      const entries = yield* storage.getEntries(\"truncate-basic\", 0);\n      yield* assertLength(entries, 1, \"Should have one entry after truncate\");\n      yield* assertEqual(entries[0]!.version, 3, \"Only version 3 should remain\");\n    }),\n  },\n\n  {\n    name: \"truncate on non-existent document does not error\",\n    category: Categories.BasicOperations,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.truncate(\"non-existent-truncate\", 100);\n    }),\n  },\n\n  // ---------------------------------------------------------------------------\n  // Version Filtering (Critical for Recovery)\n  // ---------------------------------------------------------------------------\n  {\n    name: \"getEntries(doc, 0) returns all entries\",\n    category: Categories.VersionFiltering,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"filter-all\", makeEntry(1));\n      yield* storage.append(\"filter-all\", makeEntry(2));\n      yield* storage.append(\"filter-all\", makeEntry(3));\n      const entries = yield* storage.getEntries(\"filter-all\", 0);\n      yield* assertLength(entries, 3, \"sinceVersion=0 should return all entries\");\n    }),\n  },\n\n  {\n    name: \"getEntries(doc, n) returns only entries with version > n\",\n    category: Categories.VersionFiltering,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"filter-n\", makeEntry(1));\n      yield* storage.append(\"filter-n\", makeEntry(2));\n      yield* storage.append(\"filter-n\", makeEntry(3));\n      yield* storage.append(\"filter-n\", makeEntry(4));\n      const entries = yield* storage.getEntries(\"filter-n\", 2);\n      yield* assertLength(entries, 2, \"Should return entries with version > 2\");\n      yield* assertEqual(entries[0]!.version, 3, \"First entry should be version 3\");\n      yield* assertEqual(entries[1]!.version, 4, \"Second entry should be version 4\");\n    }),\n  },\n\n  {\n    name: \"getEntries(doc, exactVersion) excludes that exact version\",\n    category: Categories.VersionFiltering,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"filter-exact\", makeEntry(5));\n      yield* storage.append(\"filter-exact\", makeEntry(6));\n      yield* storage.append(\"filter-exact\", makeEntry(7));\n      const entries = yield* storage.getEntries(\"filter-exact\", 6);\n      yield* assertLength(entries, 1, \"Should exclude version 6\");\n      yield* assertEqual(entries[0]!.version, 7, \"Only version 7 should be returned\");\n    }),\n  },\n\n  {\n    name: \"getEntries(doc, maxVersion) returns empty array\",\n    category: Categories.VersionFiltering,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"filter-max\", makeEntry(1));\n      yield* storage.append(\"filter-max\", makeEntry(2));\n      yield* storage.append(\"filter-max\", makeEntry(3));\n      const entries = yield* storage.getEntries(\"filter-max\", 3);\n      yield* assertEmpty(entries, \"sinceVersion >= maxVersion should return empty\");\n    }),\n  },\n\n  {\n    name: \"getEntries(doc, MAX_SAFE_INTEGER) returns empty array\",\n    category: Categories.VersionFiltering,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"filter-huge\", makeEntry(1));\n      yield* storage.append(\"filter-huge\", makeEntry(1000000));\n      const entries = yield* storage.getEntries(\"filter-huge\", Number.MAX_SAFE_INTEGER);\n      yield* assertEmpty(entries, \"sinceVersion=MAX_SAFE_INTEGER should return empty\");\n    }),\n  },\n\n  // ---------------------------------------------------------------------------\n  // Ordering Guarantees\n  // ---------------------------------------------------------------------------\n  {\n    name: \"entries returned sorted by version ascending\",\n    category: Categories.OrderingGuarantees,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"order-test\", makeEntry(1));\n      yield* storage.append(\"order-test\", makeEntry(2));\n      yield* storage.append(\"order-test\", makeEntry(3));\n      const entries = yield* storage.getEntries(\"order-test\", 0);\n      yield* assertSortedBy(entries, \"version\", \"Entries should be sorted by version\");\n    }),\n  },\n\n  {\n    name: \"out-of-order appends are sorted correctly on retrieval\",\n    category: Categories.OrderingGuarantees,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"ooo-test\", makeEntry(3));\n      yield* storage.append(\"ooo-test\", makeEntry(1));\n      yield* storage.append(\"ooo-test\", makeEntry(4));\n      yield* storage.append(\"ooo-test\", makeEntry(2));\n      const entries = yield* storage.getEntries(\"ooo-test\", 0);\n      yield* assertLength(entries, 4, \"Should have all 4 entries\");\n      yield* assertEqual(entries[0]!.version, 1, \"First should be version 1\");\n      yield* assertEqual(entries[1]!.version, 2, \"Second should be version 2\");\n      yield* assertEqual(entries[2]!.version, 3, \"Third should be version 3\");\n      yield* assertEqual(entries[3]!.version, 4, \"Fourth should be version 4\");\n    }),\n  },\n\n  // ---------------------------------------------------------------------------\n  // Truncation Edge Cases\n  // ---------------------------------------------------------------------------\n  {\n    name: \"truncate(doc, 0) removes nothing (versions > 0 kept)\",\n    category: Categories.TruncationEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"trunc-0\", makeEntry(1));\n      yield* storage.append(\"trunc-0\", makeEntry(2));\n      yield* storage.truncate(\"trunc-0\", 0);\n      const entries = yield* storage.getEntries(\"trunc-0\", 0);\n      yield* assertLength(entries, 2, \"truncate(0) should keep all entries with version > 0\");\n    }),\n  },\n\n  {\n    name: \"truncate(doc, maxVersion) removes all entries\",\n    category: Categories.TruncationEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"trunc-all\", makeEntry(1));\n      yield* storage.append(\"trunc-all\", makeEntry(2));\n      yield* storage.append(\"trunc-all\", makeEntry(3));\n      yield* storage.truncate(\"trunc-all\", 3);\n      const entries = yield* storage.getEntries(\"trunc-all\", 0);\n      yield* assertEmpty(entries, \"truncate(maxVersion) should remove all entries\");\n    }),\n  },\n\n  {\n    name: \"truncate(doc, middleVersion) removes correct entries\",\n    category: Categories.TruncationEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"trunc-mid\", makeEntry(1));\n      yield* storage.append(\"trunc-mid\", makeEntry(2));\n      yield* storage.append(\"trunc-mid\", makeEntry(3));\n      yield* storage.append(\"trunc-mid\", makeEntry(4));\n      yield* storage.append(\"trunc-mid\", makeEntry(5));\n      yield* storage.truncate(\"trunc-mid\", 3);\n      const entries = yield* storage.getEntries(\"trunc-mid\", 0);\n      yield* assertLength(entries, 2, \"Should keep versions 4 and 5\");\n      yield* assertEqual(entries[0]!.version, 4, \"First remaining should be 4\");\n      yield* assertEqual(entries[1]!.version, 5, \"Second remaining should be 5\");\n    }),\n  },\n\n  {\n    name: \"multiple truncates work correctly\",\n    category: Categories.TruncationEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"multi-trunc\", makeEntry(1));\n      yield* storage.append(\"multi-trunc\", makeEntry(2));\n      yield* storage.append(\"multi-trunc\", makeEntry(3));\n      yield* storage.append(\"multi-trunc\", makeEntry(4));\n      yield* storage.append(\"multi-trunc\", makeEntry(5));\n      yield* storage.truncate(\"multi-trunc\", 2);\n      yield* storage.truncate(\"multi-trunc\", 4);\n      const entries = yield* storage.getEntries(\"multi-trunc\", 0);\n      yield* assertLength(entries, 1, \"Should only have version 5\");\n      yield* assertEqual(entries[0]!.version, 5, \"Only version 5 should remain\");\n    }),\n  },\n\n  {\n    name: \"truncate followed by append works correctly\",\n    category: Categories.TruncationEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"trunc-append\", makeEntry(1));\n      yield* storage.append(\"trunc-append\", makeEntry(2));\n      yield* storage.truncate(\"trunc-append\", 2);\n      yield* storage.append(\"trunc-append\", makeEntry(3));\n      yield* storage.append(\"trunc-append\", makeEntry(4));\n      const entries = yield* storage.getEntries(\"trunc-append\", 0);\n      yield* assertLength(entries, 2, \"Should have versions 3 and 4\");\n      yield* assertEqual(entries[0]!.version, 3, \"First should be 3\");\n      yield* assertEqual(entries[1]!.version, 4, \"Second should be 4\");\n    }),\n  },\n\n  // ---------------------------------------------------------------------------\n  // WAL Entry Data Integrity\n  // ---------------------------------------------------------------------------\n  {\n    name: \"transaction data is preserved exactly\",\n    category: Categories.WalEntryIntegrity,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const entry = makeEntryWithData(1, { key: \"value\", nested: { a: 1 } });\n      yield* storage.append(\"tx-data\", entry);\n      const entries = yield* storage.getEntries(\"tx-data\", 0);\n      yield* assertLength(entries, 1, \"Should have one entry\");\n      yield* assertEqual(\n        entries[0]!.transaction,\n        entry.transaction,\n        \"Transaction should be preserved exactly\"\n      );\n    }),\n  },\n\n  {\n    name: \"version number is preserved exactly\",\n    category: Categories.WalEntryIntegrity,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const version = 42;\n      const entry = makeEntry(version);\n      yield* storage.append(\"version-preserve\", entry);\n      const entries = yield* storage.getEntries(\"version-preserve\", 0);\n      yield* assertEqual(entries[0]!.version, version, \"Version should be preserved exactly\");\n    }),\n  },\n\n  {\n    name: \"timestamp is preserved exactly\",\n    category: Categories.WalEntryIntegrity,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const timestamp = 1704067200000;\n      const entry = makeEntry(1, timestamp);\n      yield* storage.append(\"timestamp-preserve\", entry);\n      const entries = yield* storage.getEntries(\"timestamp-preserve\", 0);\n      yield* assertEqual(\n        entries[0]!.timestamp,\n        timestamp,\n        \"Timestamp should be preserved exactly\"\n      );\n    }),\n  },\n\n  {\n    name: \"complex transaction operations survive roundtrip\",\n    category: Categories.WalEntryIntegrity,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const entry: WalEntry = {\n        transaction: Transaction.make([\n          { type: \"set\", path: [\"a\"], value: 1 },\n          { type: \"set\", path: [\"b\", \"c\"], value: \"nested\" },\n          { type: \"set\", path: [\"arr\"], value: [1, 2, 3] },\n        ]),\n        version: 1,\n        timestamp: Date.now(),\n      };\n      yield* storage.append(\"complex-tx\", entry);\n      const entries = yield* storage.getEntries(\"complex-tx\", 0);\n      yield* assertEqual(\n        entries[0]!.transaction,\n        entry.transaction,\n        \"Complex transaction should survive roundtrip\"\n      );\n    }),\n  },\n\n  // ---------------------------------------------------------------------------\n  // Document Isolation\n  // ---------------------------------------------------------------------------\n  {\n    name: \"different documents have independent entry lists\",\n    category: Categories.DocumentIsolation,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"iso-hot-1\", makeEntry(1));\n      yield* storage.append(\"iso-hot-1\", makeEntry(2));\n      yield* storage.append(\"iso-hot-2\", makeEntry(10));\n      const entries1 = yield* storage.getEntries(\"iso-hot-1\", 0);\n      const entries2 = yield* storage.getEntries(\"iso-hot-2\", 0);\n      yield* assertLength(entries1, 2, \"Doc 1 should have 2 entries\");\n      yield* assertLength(entries2, 1, \"Doc 2 should have 1 entry\");\n      yield* assertEqual(entries1[0]!.version, 1, \"Doc 1 first entry version\");\n      yield* assertEqual(entries2[0]!.version, 10, \"Doc 2 first entry version\");\n    }),\n  },\n\n  {\n    name: \"appending to one doc does not affect others\",\n    category: Categories.DocumentIsolation,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"append-iso-1\", makeEntry(1));\n      const beforeAppend = yield* storage.getEntries(\"append-iso-1\", 0);\n      yield* storage.append(\"append-iso-2\", makeEntry(100));\n      yield* storage.append(\"append-iso-2\", makeEntry(101));\n      const afterAppend = yield* storage.getEntries(\"append-iso-1\", 0);\n      yield* assertEqual(\n        beforeAppend.length,\n        afterAppend.length,\n        \"Appending to doc 2 should not affect doc 1\"\n      );\n    }),\n  },\n\n  {\n    name: \"truncating one doc does not affect others\",\n    category: Categories.DocumentIsolation,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"trunc-iso-1\", makeEntry(1));\n      yield* storage.append(\"trunc-iso-1\", makeEntry(2));\n      yield* storage.append(\"trunc-iso-2\", makeEntry(1));\n      yield* storage.append(\"trunc-iso-2\", makeEntry(2));\n      yield* storage.truncate(\"trunc-iso-1\", 2);\n      const entries1 = yield* storage.getEntries(\"trunc-iso-1\", 0);\n      const entries2 = yield* storage.getEntries(\"trunc-iso-2\", 0);\n      yield* assertEmpty(entries1, \"Doc 1 should be empty after truncate\");\n      yield* assertLength(entries2, 2, \"Doc 2 should still have 2 entries\");\n    }),\n  },\n\n  // ---------------------------------------------------------------------------\n  // Large-Scale Operations\n  // ---------------------------------------------------------------------------\n  {\n    name: \"handle 1000+ entries per document\",\n    category: Categories.LargeScaleOperations,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const count = 1000;\n      for (let i = 1; i <= count; i++) {\n        yield* storage.append(\"large-entries\", makeEntry(i));\n      }\n      const entries = yield* storage.getEntries(\"large-entries\", 0);\n      yield* assertLength(entries, count, `Should have ${count} entries`);\n      yield* assertSortedBy(entries, \"version\", \"Should be sorted by version\");\n      yield* assertEqual(entries[0]!.version, 1, \"First should be version 1\");\n      yield* assertEqual(entries[count - 1]!.version, count, `Last should be version ${count}`);\n    }),\n  },\n\n  {\n    name: \"handle 100+ documents\",\n    category: Categories.LargeScaleOperations,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const docCount = 100;\n      for (let i = 0; i < docCount; i++) {\n        yield* storage.append(`multi-doc-${i}`, makeEntry(1));\n        yield* storage.append(`multi-doc-${i}`, makeEntry(2));\n      }\n      let totalEntries = 0;\n      for (let i = 0; i < docCount; i++) {\n        const entries = yield* storage.getEntries(`multi-doc-${i}`, 0);\n        totalEntries += entries.length;\n        yield* assertLength(entries, 2, `Doc ${i} should have 2 entries`);\n      }\n      yield* assertEqual(totalEntries, docCount * 2, \"Total entries should match\");\n    }),\n  },\n\n  {\n    name: \"large transaction data (10KB+) survives roundtrip\",\n    category: Categories.LargeScaleOperations,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const largeData = \"x\".repeat(10 * 1024);\n      const entry = makeEntryWithData(1, { content: largeData });\n      yield* storage.append(\"large-tx\", entry);\n      const entries = yield* storage.getEntries(\"large-tx\", 0);\n      yield* assertLength(entries, 1, \"Should have one entry\");\n      yield* assertEqual(\n        entries[0]!.transaction,\n        entry.transaction,\n        \"Large transaction data should survive roundtrip\"\n      );\n    }),\n  },\n\n  // ---------------------------------------------------------------------------\n  // Document ID Edge Cases\n  // ---------------------------------------------------------------------------\n  {\n    name: \"long documentId (1000+ chars) works\",\n    category: Categories.DocumentIdEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const longId = \"h\".repeat(1000);\n      const entry = makeEntry(1);\n      yield* storage.append(longId, entry);\n      const entries = yield* storage.getEntries(longId, 0);\n      yield* assertLength(entries, 1, \"Long documentId should work\");\n    }),\n  },\n\n  {\n    name: \"unicode documentId works\",\n    category: Categories.DocumentIdEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const unicodeId = \"hot-doc-id\";\n      const entry = makeEntry(1);\n      yield* storage.append(unicodeId, entry);\n      const entries = yield* storage.getEntries(unicodeId, 0);\n      yield* assertLength(entries, 1, \"Unicode documentId should work\");\n    }),\n  },\n\n  {\n    name: \"documentId with special chars works\",\n    category: Categories.DocumentIdEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const specialId = \"hot/path:to.wal\";\n      const entry = makeEntry(1);\n      yield* storage.append(specialId, entry);\n      const entries = yield* storage.getEntries(specialId, 0);\n      yield* assertLength(entries, 1, \"DocumentId with special chars should work\");\n    }),\n  },\n\n  {\n    name: \"documentId with spaces works\",\n    category: Categories.DocumentIdEdgeCases,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const spacedId = \"hot doc with spaces\";\n      const entry = makeEntry(1);\n      yield* storage.append(spacedId, entry);\n      const entries = yield* storage.getEntries(spacedId, 0);\n      yield* assertLength(entries, 1, \"DocumentId with spaces should work\");\n    }),\n  },\n\n  {\n    name: \"version 0 entry is handled correctly\",\n    category: Categories.VersionFiltering,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.append(\"version-0-entry\", makeEntry(0));\n      yield* storage.append(\"version-0-entry\", makeEntry(1));\n      const entriesFromNeg = yield* storage.getEntries(\"version-0-entry\", -1);\n      yield* assertTrue(\n        entriesFromNeg.some((e) => e.version === 0),\n        \"Version 0 entry should be retrievable with sinceVersion < 0\"\n      );\n      const entriesFrom0 = yield* storage.getEntries(\"version-0-entry\", 0);\n      yield* assertTrue(\n        !entriesFrom0.some((e) => e.version === 0),\n        \"Version 0 entry should be excluded with sinceVersion = 0\"\n      );\n    }),\n  },\n\n  // ---------------------------------------------------------------------------\n  // Gap Checking (appendWithCheck)\n  // ---------------------------------------------------------------------------\n  {\n    name: \"appendWithCheck succeeds for first entry (expectedVersion=1)\",\n    category: Categories.GapChecking,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      const entry = makeEntry(1);\n      yield* storage.appendWithCheck(\"gap-check-first\", entry, 1);\n      const entries = yield* storage.getEntries(\"gap-check-first\", 0);\n      yield* assertLength(entries, 1, \"Should have one entry\");\n      yield* assertEqual(entries[0]!.version, 1, \"Entry version should be 1\");\n    }),\n  },\n\n  {\n    name: \"appendWithCheck succeeds for consecutive versions\",\n    category: Categories.GapChecking,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.appendWithCheck(\"gap-check-consecutive\", makeEntry(1), 1);\n      yield* storage.appendWithCheck(\"gap-check-consecutive\", makeEntry(2), 2);\n      yield* storage.appendWithCheck(\"gap-check-consecutive\", makeEntry(3), 3);\n      const entries = yield* storage.getEntries(\"gap-check-consecutive\", 0);\n      yield* assertLength(entries, 3, \"Should have three entries\");\n      yield* assertEqual(entries[0]!.version, 1, \"First entry version should be 1\");\n      yield* assertEqual(entries[1]!.version, 2, \"Second entry version should be 2\");\n      yield* assertEqual(entries[2]!.version, 3, \"Third entry version should be 3\");\n    }),\n  },\n\n  {\n    name: \"appendWithCheck fails for version gap (skipping version 2)\",\n    category: Categories.GapChecking,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.appendWithCheck(\"gap-check-fail\", makeEntry(1), 1);\n      // Attempt to append version 3, skipping version 2\n      const result = yield* Effect.either(\n        storage.appendWithCheck(\"gap-check-fail\", makeEntry(3), 3)\n      );\n      yield* assertTrue(\n        result._tag === \"Left\",\n        \"appendWithCheck should fail when there's a version gap\"\n      );\n      if (result._tag === \"Left\") {\n        yield* assertTrue(\n          result.left._tag === \"WalVersionGapError\",\n          \"Error should be WalVersionGapError\"\n        );\n      }\n      // Verify version 3 was not appended\n      const entries = yield* storage.getEntries(\"gap-check-fail\", 0);\n      yield* assertLength(entries, 1, \"Should only have version 1\");\n      yield* assertEqual(entries[0]!.version, 1, \"Only version 1 should exist\");\n    }),\n  },\n\n  {\n    name: \"appendWithCheck fails if first entry is not version 1\",\n    category: Categories.GapChecking,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      // Attempt to append version 2 as first entry (expecting gap error)\n      const result = yield* Effect.either(\n        storage.appendWithCheck(\"gap-check-not-first\", makeEntry(2), 2)\n      );\n      yield* assertTrue(\n        result._tag === \"Left\",\n        \"appendWithCheck should fail when first entry is not version 1\"\n      );\n      if (result._tag === \"Left\") {\n        yield* assertTrue(\n          result.left._tag === \"WalVersionGapError\",\n          \"Error should be WalVersionGapError\"\n        );\n      }\n      // Verify nothing was appended\n      const entries = yield* storage.getEntries(\"gap-check-not-first\", 0);\n      yield* assertEmpty(entries, \"No entries should exist after failed append\");\n    }),\n  },\n\n  {\n    name: \"appendWithCheck fails when entry already exists at expectedVersion\",\n    category: Categories.GapChecking,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      yield* storage.appendWithCheck(\"gap-check-duplicate\", makeEntry(1), 1);\n      // Attempt to append another version 1\n      const result = yield* Effect.either(\n        storage.appendWithCheck(\"gap-check-duplicate\", makeEntry(1), 1)\n      );\n      yield* assertTrue(\n        result._tag === \"Left\",\n        \"appendWithCheck should fail when version already exists\"\n      );\n      // Verify still only one entry\n      const entries = yield* storage.getEntries(\"gap-check-duplicate\", 0);\n      yield* assertLength(entries, 1, \"Should still only have one entry\");\n    }),\n  },\n\n  {\n    name: \"appendWithCheck after truncate works correctly\",\n    category: Categories.GapChecking,\n    run: Effect.gen(function* () {\n      const storage = yield* HotStorageTag;\n      // Append versions 1, 2, 3\n      yield* storage.appendWithCheck(\"gap-check-truncate\", makeEntry(1), 1);\n      yield* storage.appendWithCheck(\"gap-check-truncate\", makeEntry(2), 2);\n      yield* storage.appendWithCheck(\"gap-check-truncate\", makeEntry(3), 3);\n      // Truncate up to version 2\n      yield* storage.truncate(\"gap-check-truncate\", 2);\n      // Now append version 4 (should succeed since last entry is version 3)\n      yield* storage.appendWithCheck(\"gap-check-truncate\", makeEntry(4), 4);\n      const entries = yield* storage.getEntries(\"gap-check-truncate\", 0);\n      yield* assertLength(entries, 2, \"Should have versions 3 and 4\");\n      yield* assertEqual(entries[0]!.version, 3, \"First should be version 3\");\n      yield* assertEqual(entries[1]!.version, 4, \"Second should be version 4\");\n    }),\n  },\n];\n\n// =============================================================================\n// Exports\n// =============================================================================\n\n/**\n * Get all HotStorage test cases.\n *\n * @returns Array of test cases that require HotStorageTag\n */\nexport const makeTests = (): StorageTestCase<\n  HotStorageTestError,\n  HotStorageTag\n>[] => tests;\n\n/**\n * Run all tests and collect results.\n *\n * @returns Effect that produces TestResults\n */\nexport const runAll = (): Effect.Effect<\n  TestResults<HotStorageTestError, HotStorageTag>,\n  never,\n  HotStorageTag\n> =>\n  Effect.gen(function* () {\n    const passed: StorageTestCase<HotStorageTestError, HotStorageTag>[] = [];\n    const failed: Array<{\n      test: StorageTestCase<HotStorageTestError, HotStorageTag>;\n      error: HotStorageTestError;\n    }> = [];\n\n    for (const test of tests) {\n      const result = yield* Effect.either(test.run);\n      if (result._tag === \"Right\") {\n        passed.push(test);\n      } else {\n        failed.push({ test, error: result.left });\n      }\n    }\n\n    return {\n      passed,\n      failed,\n      total: tests.length,\n      passCount: passed.length,\n      failCount: failed.length,\n    };\n  });\n\nexport const HotStorageTestSuite = {\n  Categories,\n  makeTests,\n  runAll,\n};\n"],"mappings":";;;;;;;;;;;;;AA+BA,MAAa,aAAa;CACxB,iBAAiB;CACjB,kBAAkB;CAClB,oBAAoB;CACpB,qBAAqB;CACrB,mBAAmB;CACnB,mBAAmB;CACnB,sBAAsB;CACtB,qBAAqB;CACrB,aAAa;CACd;AAMD,MAAM,aAAa,SAAiB,eAAkC;CACpE,aAAa,YAAY,KAAK,EAAE,CAAC;CACjC;CACA,WAAW,yDAAa,KAAK,KAAK;CACnC;AAED,MAAM,qBACJ,SACA,MACA,eACc;CACd,aAAa,YAAY,KAAK,CAC5B;EAAE,MAAM;EAAO,MAAM,CAAC,OAAO;EAAE,OAAO;EAAM,CAC7C,CAAC;CACF;CACA,WAAW,yDAAa,KAAK,KAAK;CACnC;AAMD,MAAMA,QAA+D;CAInE;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;AAG3B,UAAO,YADQ,QADC,OAAO,eACO,WAAW,wBAAwB,EAAE,EACxC,sDAAsD;IACjF;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,QAAQ,UAAU,EAAE;AAC1B,UAAO,QAAQ,OAAO,gBAAgB,MAAM;GAC5C,MAAM,UAAU,OAAO,QAAQ,WAAW,gBAAgB,EAAE;AAC5D,UAAO,aAAa,SAAS,GAAG,wBAAwB;AACxD,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,6BAA6B;IACxE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;AACnD,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;AACnD,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;AAEnD,UAAO,aADS,OAAO,QAAQ,WAAW,gBAAgB,EAAE,EAC/B,GAAG,4BAA4B;IAC5D;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,kBAAkB,UAAU,EAAE,CAAC;AACrD,UAAO,QAAQ,OAAO,kBAAkB,UAAU,EAAE,CAAC;AACrD,UAAO,QAAQ,OAAO,kBAAkB,UAAU,EAAE,CAAC;AACrD,UAAO,QAAQ,SAAS,kBAAkB,EAAE;GAC5C,MAAM,UAAU,OAAO,QAAQ,WAAW,kBAAkB,EAAE;AAC9D,UAAO,aAAa,SAAS,GAAG,uCAAuC;AACvE,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,+BAA+B;IAC1E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;AAE3B,WADgB,OAAO,eACR,SAAS,yBAAyB,IAAI;IACrD;EACH;CAKD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AACjD,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AACjD,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AAEjD,UAAO,aADS,OAAO,QAAQ,WAAW,cAAc,EAAE,EAC7B,GAAG,2CAA2C;IAC3E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,YAAY,UAAU,EAAE,CAAC;AAC/C,UAAO,QAAQ,OAAO,YAAY,UAAU,EAAE,CAAC;AAC/C,UAAO,QAAQ,OAAO,YAAY,UAAU,EAAE,CAAC;AAC/C,UAAO,QAAQ,OAAO,YAAY,UAAU,EAAE,CAAC;GAC/C,MAAM,UAAU,OAAO,QAAQ,WAAW,YAAY,EAAE;AACxD,UAAO,aAAa,SAAS,GAAG,yCAAyC;AACzE,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,kCAAkC;AAC7E,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,mCAAmC;IAC9E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;AACnD,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;AACnD,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;GACnD,MAAM,UAAU,OAAO,QAAQ,WAAW,gBAAgB,EAAE;AAC5D,UAAO,aAAa,SAAS,GAAG,2BAA2B;AAC3D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,oCAAoC;IAC/E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AACjD,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AACjD,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AAEjD,UAAO,YADS,OAAO,QAAQ,WAAW,cAAc,EAAE,EAC9B,iDAAiD;IAC7E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,OAAO,eAAe,UAAU,IAAQ,CAAC;AAExD,UAAO,YADS,OAAO,QAAQ,WAAW,eAAe,OAAO,iBAAiB,EACrD,oDAAoD;IAChF;EACH;CAKD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AACjD,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AACjD,UAAO,QAAQ,OAAO,cAAc,UAAU,EAAE,CAAC;AAEjD,UAAO,eADS,OAAO,QAAQ,WAAW,cAAc,EAAE,EAC3B,WAAW,sCAAsC;IAChF;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,YAAY,UAAU,EAAE,CAAC;AAC/C,UAAO,QAAQ,OAAO,YAAY,UAAU,EAAE,CAAC;AAC/C,UAAO,QAAQ,OAAO,YAAY,UAAU,EAAE,CAAC;AAC/C,UAAO,QAAQ,OAAO,YAAY,UAAU,EAAE,CAAC;GAC/C,MAAM,UAAU,OAAO,QAAQ,WAAW,YAAY,EAAE;AACxD,UAAO,aAAa,SAAS,GAAG,4BAA4B;AAC5D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,4BAA4B;AACvE,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,6BAA6B;AACxE,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,4BAA4B;AACvE,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,6BAA6B;IACxE;EACH;CAKD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,WAAW,UAAU,EAAE,CAAC;AAC9C,UAAO,QAAQ,OAAO,WAAW,UAAU,EAAE,CAAC;AAC9C,UAAO,QAAQ,SAAS,WAAW,EAAE;AAErC,UAAO,aADS,OAAO,QAAQ,WAAW,WAAW,EAAE,EAC1B,GAAG,uDAAuD;IACvF;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,SAAS,aAAa,EAAE;AAEvC,UAAO,YADS,OAAO,QAAQ,WAAW,aAAa,EAAE,EAC7B,iDAAiD;IAC7E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,SAAS,aAAa,EAAE;GACvC,MAAM,UAAU,OAAO,QAAQ,WAAW,aAAa,EAAE;AACzD,UAAO,aAAa,SAAS,GAAG,+BAA+B;AAC/D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,8BAA8B;AACzE,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,+BAA+B;IAC1E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,SAAS,eAAe,EAAE;AACzC,UAAO,QAAQ,SAAS,eAAe,EAAE;GACzC,MAAM,UAAU,OAAO,QAAQ,WAAW,eAAe,EAAE;AAC3D,UAAO,aAAa,SAAS,GAAG,6BAA6B;AAC7D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,+BAA+B;IAC1E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;AACnD,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;AACnD,UAAO,QAAQ,SAAS,gBAAgB,EAAE;AAC1C,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;AACnD,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;GACnD,MAAM,UAAU,OAAO,QAAQ,WAAW,gBAAgB,EAAE;AAC5D,UAAO,aAAa,SAAS,GAAG,+BAA+B;AAC/D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,oBAAoB;AAC/D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,qBAAqB;IAChE;EACH;CAKD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,QAAQ,kBAAkB,GAAG;IAAE,KAAK;IAAS,QAAQ,EAAE,GAAG,GAAG;IAAE,CAAC;AACtE,UAAO,QAAQ,OAAO,WAAW,MAAM;GACvC,MAAM,UAAU,OAAO,QAAQ,WAAW,WAAW,EAAE;AACvD,UAAO,aAAa,SAAS,GAAG,wBAAwB;AACxD,UAAO,YACL,QAAQ,GAAI,aACZ,MAAM,aACN,0CACD;IACD;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,UAAU;GAChB,MAAM,QAAQ,UAAU,QAAQ;AAChC,UAAO,QAAQ,OAAO,oBAAoB,MAAM;AAEhD,UAAO,aADS,OAAO,QAAQ,WAAW,oBAAoB,EAAE,EACrC,GAAI,SAAS,SAAS,sCAAsC;IACvF;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,YAAY;GAClB,MAAM,QAAQ,UAAU,GAAG,UAAU;AACrC,UAAO,QAAQ,OAAO,sBAAsB,MAAM;AAElD,UAAO,aADS,OAAO,QAAQ,WAAW,sBAAsB,EAAE,EAExD,GAAI,WACZ,WACA,wCACD;IACD;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAMC,QAAkB;IACtB,aAAa,YAAY,KAAK;KAC5B;MAAE,MAAM;MAAO,MAAM,CAAC,IAAI;MAAE,OAAO;MAAG;KACtC;MAAE,MAAM;MAAO,MAAM,CAAC,KAAK,IAAI;MAAE,OAAO;MAAU;KAClD;MAAE,MAAM;MAAO,MAAM,CAAC,MAAM;MAAE,OAAO;OAAC;OAAG;OAAG;OAAE;MAAE;KACjD,CAAC;IACF,SAAS;IACT,WAAW,KAAK,KAAK;IACtB;AACD,UAAO,QAAQ,OAAO,cAAc,MAAM;AAE1C,UAAO,aADS,OAAO,QAAQ,WAAW,cAAc,EAAE,EAEhD,GAAI,aACZ,MAAM,aACN,+CACD;IACD;EACH;CAKD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,OAAO,aAAa,UAAU,EAAE,CAAC;AAChD,UAAO,QAAQ,OAAO,aAAa,UAAU,GAAG,CAAC;GACjD,MAAM,WAAW,OAAO,QAAQ,WAAW,aAAa,EAAE;GAC1D,MAAM,WAAW,OAAO,QAAQ,WAAW,aAAa,EAAE;AAC1D,UAAO,aAAa,UAAU,GAAG,8BAA8B;AAC/D,UAAO,aAAa,UAAU,GAAG,4BAA4B;AAC7D,UAAO,YAAY,SAAS,GAAI,SAAS,GAAG,4BAA4B;AACxE,UAAO,YAAY,SAAS,GAAI,SAAS,IAAI,4BAA4B;IACzE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,gBAAgB,UAAU,EAAE,CAAC;GACnD,MAAM,eAAe,OAAO,QAAQ,WAAW,gBAAgB,EAAE;AACjE,UAAO,QAAQ,OAAO,gBAAgB,UAAU,IAAI,CAAC;AACrD,UAAO,QAAQ,OAAO,gBAAgB,UAAU,IAAI,CAAC;GACrD,MAAM,cAAc,OAAO,QAAQ,WAAW,gBAAgB,EAAE;AAChE,UAAO,YACL,aAAa,QACb,YAAY,QACZ,6CACD;IACD;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,OAAO,eAAe,UAAU,EAAE,CAAC;AAClD,UAAO,QAAQ,SAAS,eAAe,EAAE;GACzC,MAAM,WAAW,OAAO,QAAQ,WAAW,eAAe,EAAE;GAC5D,MAAM,WAAW,OAAO,QAAQ,WAAW,eAAe,EAAE;AAC5D,UAAO,YAAY,UAAU,uCAAuC;AACpE,UAAO,aAAa,UAAU,GAAG,oCAAoC;IACrE;EACH;CAKD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,QAAQ;AACd,QAAK,IAAI,IAAI,GAAG,KAAK,OAAO,IAC1B,QAAO,QAAQ,OAAO,iBAAiB,UAAU,EAAE,CAAC;GAEtD,MAAM,UAAU,OAAO,QAAQ,WAAW,iBAAiB,EAAE;AAC7D,UAAO,aAAa,SAAS,OAAO,eAAe,MAAM,UAAU;AACnE,UAAO,eAAe,SAAS,WAAW,8BAA8B;AACxE,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,4BAA4B;AACvE,UAAO,YAAY,QAAQ,QAAQ,GAAI,SAAS,OAAO,0BAA0B,QAAQ;IACzF;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,WAAW;AACjB,QAAK,IAAI,IAAI,GAAG,IAAI,UAAU,KAAK;AACjC,WAAO,QAAQ,OAAO,aAAa,KAAK,UAAU,EAAE,CAAC;AACrD,WAAO,QAAQ,OAAO,aAAa,KAAK,UAAU,EAAE,CAAC;;GAEvD,IAAI,eAAe;AACnB,QAAK,IAAI,IAAI,GAAG,IAAI,UAAU,KAAK;IACjC,MAAM,UAAU,OAAO,QAAQ,WAAW,aAAa,KAAK,EAAE;AAC9D,oBAAgB,QAAQ;AACxB,WAAO,aAAa,SAAS,GAAG,OAAO,EAAE,wBAAwB;;AAEnE,UAAO,YAAY,cAAc,WAAW,GAAG,6BAA6B;IAC5E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GAEvB,MAAM,QAAQ,kBAAkB,GAAG,EAAE,SADnB,IAAI,OAAO,KAAK,KAAK,EACkB,CAAC;AAC1D,UAAO,QAAQ,OAAO,YAAY,MAAM;GACxC,MAAM,UAAU,OAAO,QAAQ,WAAW,YAAY,EAAE;AACxD,UAAO,aAAa,SAAS,GAAG,wBAAwB;AACxD,UAAO,YACL,QAAQ,GAAI,aACZ,MAAM,aACN,kDACD;IACD;EACH;CAKD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,SAAS,IAAI,OAAO,IAAK;GAC/B,MAAM,QAAQ,UAAU,EAAE;AAC1B,UAAO,QAAQ,OAAO,QAAQ,MAAM;AAEpC,UAAO,aADS,OAAO,QAAQ,WAAW,QAAQ,EAAE,EACvB,GAAG,8BAA8B;IAC9D;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,YAAY;GAClB,MAAM,QAAQ,UAAU,EAAE;AAC1B,UAAO,QAAQ,OAAO,WAAW,MAAM;AAEvC,UAAO,aADS,OAAO,QAAQ,WAAW,WAAW,EAAE,EAC1B,GAAG,iCAAiC;IACjE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,YAAY;GAClB,MAAM,QAAQ,UAAU,EAAE;AAC1B,UAAO,QAAQ,OAAO,WAAW,MAAM;AAEvC,UAAO,aADS,OAAO,QAAQ,WAAW,WAAW,EAAE,EAC1B,GAAG,4CAA4C;IAC5E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,WAAW;GACjB,MAAM,QAAQ,UAAU,EAAE;AAC1B,UAAO,QAAQ,OAAO,UAAU,MAAM;AAEtC,UAAO,aADS,OAAO,QAAQ,WAAW,UAAU,EAAE,EACzB,GAAG,qCAAqC;IACrE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,OAAO,mBAAmB,UAAU,EAAE,CAAC;AACtD,UAAO,QAAQ,OAAO,mBAAmB,UAAU,EAAE,CAAC;AAEtD,UAAO,YADgB,OAAO,QAAQ,WAAW,mBAAmB,GAAG,EAEtD,MAAM,MAAM,EAAE,YAAY,EAAE,EAC3C,8DACD;AAED,UAAO,WACL,EAFmB,OAAO,QAAQ,WAAW,mBAAmB,EAAE,EAEpD,MAAM,MAAM,EAAE,YAAY,EAAE,EAC1C,2DACD;IACD;EACH;CAKD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GACvB,MAAM,QAAQ,UAAU,EAAE;AAC1B,UAAO,QAAQ,gBAAgB,mBAAmB,OAAO,EAAE;GAC3D,MAAM,UAAU,OAAO,QAAQ,WAAW,mBAAmB,EAAE;AAC/D,UAAO,aAAa,SAAS,GAAG,wBAAwB;AACxD,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,4BAA4B;IACvE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,gBAAgB,yBAAyB,UAAU,EAAE,EAAE,EAAE;AACxE,UAAO,QAAQ,gBAAgB,yBAAyB,UAAU,EAAE,EAAE,EAAE;AACxE,UAAO,QAAQ,gBAAgB,yBAAyB,UAAU,EAAE,EAAE,EAAE;GACxE,MAAM,UAAU,OAAO,QAAQ,WAAW,yBAAyB,EAAE;AACrE,UAAO,aAAa,SAAS,GAAG,4BAA4B;AAC5D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,kCAAkC;AAC7E,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,mCAAmC;AAC9E,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,kCAAkC;IAC7E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,gBAAgB,kBAAkB,UAAU,EAAE,EAAE,EAAE;GAEjE,MAAM,SAAS,OAAO,OAAO,OAC3B,QAAQ,gBAAgB,kBAAkB,UAAU,EAAE,EAAE,EAAE,CAC3D;AACD,UAAO,WACL,OAAO,SAAS,QAChB,yDACD;AACD,OAAI,OAAO,SAAS,OAClB,QAAO,WACL,OAAO,KAAK,SAAS,sBACrB,qCACD;GAGH,MAAM,UAAU,OAAO,QAAQ,WAAW,kBAAkB,EAAE;AAC9D,UAAO,aAAa,SAAS,GAAG,6BAA6B;AAC7D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,8BAA8B;IACzE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;GAEvB,MAAM,SAAS,OAAO,OAAO,OAC3B,QAAQ,gBAAgB,uBAAuB,UAAU,EAAE,EAAE,EAAE,CAChE;AACD,UAAO,WACL,OAAO,SAAS,QAChB,gEACD;AACD,OAAI,OAAO,SAAS,OAClB,QAAO,WACL,OAAO,KAAK,SAAS,sBACrB,qCACD;AAIH,UAAO,YADS,OAAO,QAAQ,WAAW,uBAAuB,EAAE,EACvC,8CAA8C;IAC1E;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AACvB,UAAO,QAAQ,gBAAgB,uBAAuB,UAAU,EAAE,EAAE,EAAE;AAKtE,UAAO,YAHQ,OAAO,OAAO,OAC3B,QAAQ,gBAAgB,uBAAuB,UAAU,EAAE,EAAE,EAAE,CAChE,EAEQ,SAAS,QAChB,0DACD;AAGD,UAAO,aADS,OAAO,QAAQ,WAAW,uBAAuB,EAAE,EACtC,GAAG,mCAAmC;IACnE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,UAAU,OAAO;AAEvB,UAAO,QAAQ,gBAAgB,sBAAsB,UAAU,EAAE,EAAE,EAAE;AACrE,UAAO,QAAQ,gBAAgB,sBAAsB,UAAU,EAAE,EAAE,EAAE;AACrE,UAAO,QAAQ,gBAAgB,sBAAsB,UAAU,EAAE,EAAE,EAAE;AAErE,UAAO,QAAQ,SAAS,sBAAsB,EAAE;AAEhD,UAAO,QAAQ,gBAAgB,sBAAsB,UAAU,EAAE,EAAE,EAAE;GACrE,MAAM,UAAU,OAAO,QAAQ,WAAW,sBAAsB,EAAE;AAClE,UAAO,aAAa,SAAS,GAAG,+BAA+B;AAC/D,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,4BAA4B;AACvE,UAAO,YAAY,QAAQ,GAAI,SAAS,GAAG,6BAA6B;IACxE;EACH;CACF;;;;;;AAWD,MAAa,kBAGN;;;;;;AAOP,MAAa,eAKX,OAAO,IAAI,aAAa;CACtB,MAAMC,SAAgE,EAAE;CACxE,MAAMC,SAGD,EAAE;AAEP,MAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,SAAS,OAAO,OAAO,OAAO,KAAK,IAAI;AAC7C,MAAI,OAAO,SAAS,QAClB,QAAO,KAAK,KAAK;MAEjB,QAAO,KAAK;GAAE;GAAM,OAAO,OAAO;GAAM,CAAC;;AAI7C,QAAO;EACL;EACA;EACA,OAAO,MAAM;EACb,WAAW,OAAO;EAClB,WAAW,OAAO;EACnB;EACD;AAEJ,MAAa,sBAAsB;CACjC;CACA;CACA;CACD"}

package/dist/testing/StorageIntegrationTestSuite.cjs

@@ -0,0 +1,349 @@
+const require_ColdStorage = require('../ColdStorage.cjs');
+const require_HotStorage = require('../HotStorage.cjs');
+const require_assertions = require('./assertions.cjs');
+let effect = require("effect");
+
+//#region src/testing/StorageIntegrationTestSuite.ts
+/**
+* @voidhash/mimic-effect/testing - StorageIntegrationTestSuite
+*
+* Integration tests for verifying Hot/Cold storage coordination.
+* Tests snapshot + WAL replay, failure handling, and version verification.
+*
+* @example
+* ```typescript
+* import { StorageIntegrationTestSuite } from "@voidhash/mimic-effect/testing";
+* import { describe, it } from "vitest";
+* import { Effect, Layer } from "effect";
+* import { ColdStorage, HotStorage } from "@voidhash/mimic-effect";
+*
+* describe("Storage Integration", () => {
+*   const layer = Layer.mergeAll(
+*     ColdStorage.InMemory.make(),
+*     HotStorage.InMemory.make()
+*   );
+*
+*   for (const test of StorageIntegrationTestSuite.makeTests()) {
+*     it(test.name, () =>
+*       Effect.runPromise(test.run.pipe(Effect.provide(layer)))
+*     );
+*   }
+* });
+* ```
+*/
+const Categories = {
+	SNAPSHOT_WAL_COORDINATION: "Snapshot + WAL Coordination",
+	VERSION_VERIFICATION: "Version Verification",
+	RECOVERY_SCENARIOS: "Recovery Scenarios"
+};
+const makeSnapshot = (version, state = { data: `v${version}` }) => ({
+	state,
+	version,
+	schemaVersion: 1,
+	savedAt: Date.now()
+});
+const makeWalEntry = (version, ops = [{
+	type: "set",
+	path: ["data"],
+	value: `v${version}`
+}]) => ({
+	transaction: {
+		id: `tx-${version}`,
+		ops,
+		timestamp: Date.now()
+	},
+	version,
+	timestamp: Date.now()
+});
+const snapshotWalCoordinationTests = [
+	{
+		name: "load empty document returns undefined snapshot and empty WAL",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const snapshot = yield* cold.load("empty-doc");
+			const walEntries = yield* hot.getEntries("empty-doc", 0);
+			require_assertions.assertUndefined(snapshot, "Snapshot should be undefined for new doc");
+			require_assertions.assertEmpty(walEntries, "WAL should be empty for new doc");
+		})
+	},
+	{
+		name: "restore from snapshot only (no WAL)",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "snapshot-only";
+			const snapshot = makeSnapshot(5, { title: "Hello" });
+			yield* cold.save(docId, snapshot);
+			const loaded = yield* cold.load(docId);
+			const walEntries = yield* hot.getEntries(docId, 5);
+			require_assertions.assertDefined(loaded, "Snapshot should be loaded");
+			require_assertions.assertEqual(loaded.version, 5, "Snapshot version should match");
+			require_assertions.assertEqual(loaded.state, { title: "Hello" }, "Snapshot state should match");
+			require_assertions.assertEmpty(walEntries, "WAL should be empty after snapshot version");
+		})
+	},
+	{
+		name: "restore from WAL only (no snapshot)",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "wal-only";
+			yield* hot.append(docId, makeWalEntry(1));
+			yield* hot.append(docId, makeWalEntry(2));
+			yield* hot.append(docId, makeWalEntry(3));
+			const snapshot = yield* cold.load(docId);
+			const walEntries = yield* hot.getEntries(docId, 0);
+			require_assertions.assertUndefined(snapshot, "No snapshot should exist");
+			require_assertions.assertLength(walEntries, 3, "Should have 3 WAL entries");
+			require_assertions.assertEqual(walEntries[0].version, 1, "First entry should be v1");
+			require_assertions.assertEqual(walEntries[2].version, 3, "Last entry should be v3");
+		})
+	},
+	{
+		name: "restore from snapshot + WAL replay",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "snapshot-plus-wal";
+			yield* cold.save(docId, makeSnapshot(5));
+			yield* hot.append(docId, makeWalEntry(6));
+			yield* hot.append(docId, makeWalEntry(7));
+			yield* hot.append(docId, makeWalEntry(8));
+			const snapshot = yield* cold.load(docId);
+			const walEntries = yield* hot.getEntries(docId, snapshot.version);
+			require_assertions.assertEqual(snapshot.version, 5, "Snapshot at v5");
+			require_assertions.assertLength(walEntries, 3, "3 WAL entries after snapshot");
+			require_assertions.assertEqual(walEntries[0].version, 6, "First WAL entry is v6");
+			require_assertions.assertEqual(walEntries[2].version, 8, "Last WAL entry is v8");
+		})
+	},
+	{
+		name: "truncate WAL after snapshot",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "truncate-test";
+			for (let i = 1; i <= 5; i++) yield* hot.append(docId, makeWalEntry(i));
+			yield* cold.save(docId, makeSnapshot(3));
+			yield* hot.truncate(docId, 3);
+			const walEntries = yield* hot.getEntries(docId, 0);
+			require_assertions.assertLength(walEntries, 2, "Only v4 and v5 should remain");
+			require_assertions.assertEqual(walEntries[0].version, 4, "First remaining is v4");
+			require_assertions.assertEqual(walEntries[1].version, 5, "Last remaining is v5");
+		})
+	},
+	{
+		name: "snapshot overwrites previous snapshot",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const docId = "overwrite-test";
+			yield* cold.save(docId, makeSnapshot(1, { old: true }));
+			yield* cold.save(docId, makeSnapshot(5, { new: true }));
+			const loaded = yield* cold.load(docId);
+			require_assertions.assertEqual(loaded.version, 5, "Should have newer version");
+			require_assertions.assertEqual(loaded.state, { new: true }, "Should have newer state");
+		})
+	}
+];
+const versionVerificationTests = [
+	{
+		name: "WAL entries are ordered by version",
+		category: Categories.VERSION_VERIFICATION,
+		run: effect.Effect.gen(function* () {
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "ordering-test";
+			yield* hot.append(docId, makeWalEntry(3));
+			yield* hot.append(docId, makeWalEntry(1));
+			yield* hot.append(docId, makeWalEntry(2));
+			const entries = yield* hot.getEntries(docId, 0);
+			require_assertions.assertLength(entries, 3, "All entries should be returned");
+			require_assertions.assertEqual(entries[0].version, 1, "First should be v1");
+			require_assertions.assertEqual(entries[1].version, 2, "Second should be v2");
+			require_assertions.assertEqual(entries[2].version, 3, "Third should be v3");
+		})
+	},
+	{
+		name: "getEntries filters by sinceVersion correctly",
+		category: Categories.VERSION_VERIFICATION,
+		run: effect.Effect.gen(function* () {
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "filter-test";
+			for (let i = 1; i <= 10; i++) yield* hot.append(docId, makeWalEntry(i));
+			const fromV5 = yield* hot.getEntries(docId, 5);
+			const fromV8 = yield* hot.getEntries(docId, 8);
+			const fromV10 = yield* hot.getEntries(docId, 10);
+			require_assertions.assertLength(fromV5, 5, "v6-v10 = 5 entries");
+			require_assertions.assertEqual(fromV5[0].version, 6, "First entry after v5 is v6");
+			require_assertions.assertLength(fromV8, 2, "v9-v10 = 2 entries");
+			require_assertions.assertEqual(fromV8[0].version, 9, "First entry after v8 is v9");
+			require_assertions.assertEmpty(fromV10, "No entries after v10");
+		})
+	},
+	{
+		name: "detect version gap between snapshot and WAL",
+		category: Categories.VERSION_VERIFICATION,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "gap-detection";
+			yield* cold.save(docId, makeSnapshot(5));
+			yield* hot.append(docId, makeWalEntry(7));
+			yield* hot.append(docId, makeWalEntry(8));
+			const snapshot = yield* cold.load(docId);
+			const walEntries = yield* hot.getEntries(docId, snapshot.version);
+			require_assertions.assertEqual(snapshot.version, 5, "Snapshot at v5");
+			require_assertions.assertLength(walEntries, 2, "Two WAL entries");
+			require_assertions.assertTrue(walEntries[0].version !== snapshot.version + 1, "Should detect gap (v7 != v6)");
+		})
+	},
+	{
+		name: "detect internal WAL gaps",
+		category: Categories.VERSION_VERIFICATION,
+		run: effect.Effect.gen(function* () {
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "internal-gap";
+			yield* hot.append(docId, makeWalEntry(1));
+			yield* hot.append(docId, makeWalEntry(2));
+			yield* hot.append(docId, makeWalEntry(4));
+			yield* hot.append(docId, makeWalEntry(5));
+			const entries = yield* hot.getEntries(docId, 0);
+			let gapFound = false;
+			for (let i = 1; i < entries.length; i++) {
+				const prev = entries[i - 1].version;
+				if (entries[i].version !== prev + 1) {
+					gapFound = true;
+					break;
+				}
+			}
+			require_assertions.assertTrue(gapFound, "Should detect internal gap between v2 and v4");
+		})
+	},
+	{
+		name: "no gap when WAL is continuous",
+		category: Categories.VERSION_VERIFICATION,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "no-gap";
+			yield* cold.save(docId, makeSnapshot(5));
+			yield* hot.append(docId, makeWalEntry(6));
+			yield* hot.append(docId, makeWalEntry(7));
+			yield* hot.append(docId, makeWalEntry(8));
+			const snapshot = yield* cold.load(docId);
+			require_assertions.assertTrue(!((yield* hot.getEntries(docId, snapshot.version))[0].version !== snapshot.version + 1), "Should not detect gap (v6 == v6)");
+		})
+	}
+];
+const recoveryScenarioTests = [
+	{
+		name: "full recovery: snapshot + WAL + new transactions",
+		category: Categories.RECOVERY_SCENARIOS,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "full-recovery";
+			yield* cold.save(docId, makeSnapshot(3, { count: 3 }));
+			yield* hot.append(docId, makeWalEntry(4));
+			yield* hot.append(docId, makeWalEntry(5));
+			const snapshot = yield* cold.load(docId);
+			const walEntries = yield* hot.getEntries(docId, snapshot.version);
+			require_assertions.assertEqual(snapshot.version, 3, "Snapshot version");
+			require_assertions.assertLength(walEntries, 2, "WAL entries to replay");
+			yield* hot.append(docId, makeWalEntry(6));
+			const newWal = yield* hot.getEntries(docId, 5);
+			require_assertions.assertLength(newWal, 1, "One new entry after recovery");
+			require_assertions.assertEqual(newWal[0].version, 6, "New entry is v6");
+		})
+	},
+	{
+		name: "recovery from only WAL (cold start)",
+		category: Categories.RECOVERY_SCENARIOS,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "cold-start";
+			yield* hot.append(docId, makeWalEntry(1));
+			yield* hot.append(docId, makeWalEntry(2));
+			const snapshot = yield* cold.load(docId);
+			const walEntries = yield* hot.getEntries(docId, 0);
+			require_assertions.assertUndefined(snapshot, "No snapshot exists");
+			require_assertions.assertLength(walEntries, 2, "All WAL entries from beginning");
+		})
+	},
+	{
+		name: "recovery after truncation failure (WAL has old entries)",
+		category: Categories.RECOVERY_SCENARIOS,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const hot = yield* require_HotStorage.HotStorageTag;
+			const docId = "truncate-failed";
+			yield* hot.append(docId, makeWalEntry(3));
+			yield* hot.append(docId, makeWalEntry(4));
+			yield* hot.append(docId, makeWalEntry(5));
+			yield* hot.append(docId, makeWalEntry(6));
+			yield* cold.save(docId, makeSnapshot(5));
+			const snapshot = yield* cold.load(docId);
+			const walEntries = yield* hot.getEntries(docId, snapshot.version);
+			require_assertions.assertEqual(snapshot.version, 5, "Snapshot at v5");
+			require_assertions.assertLength(walEntries, 1, "Only v6 should be replayed");
+			require_assertions.assertEqual(walEntries[0].version, 6, "Entry is v6");
+		})
+	},
+	{
+		name: "idempotent snapshot save",
+		category: Categories.RECOVERY_SCENARIOS,
+		run: effect.Effect.gen(function* () {
+			const cold = yield* require_ColdStorage.ColdStorageTag;
+			const docId = "idempotent";
+			const snapshot1 = makeSnapshot(5, { first: true });
+			const snapshot2 = makeSnapshot(5, { second: true });
+			yield* cold.save(docId, snapshot1);
+			yield* cold.save(docId, snapshot2);
+			require_assertions.assertEqual((yield* cold.load(docId)).state, { second: true }, "Second save overwrites");
+		})
+	}
+];
+/**
+* Generate all integration test cases
+*/
+const makeTests = () => [
+	...snapshotWalCoordinationTests,
+	...versionVerificationTests,
+	...recoveryScenarioTests
+];
+/**
+* Run all integration tests and collect results
+*/
+const runAll = (layer) => effect.Effect.gen(function* () {
+	const tests = makeTests();
+	const results = [];
+	for (const test of tests) {
+		const result = yield* effect.Effect.either(test.run.pipe(effect.Effect.provide(layer)));
+		if (result._tag === "Right") results.push({
+			name: test.name,
+			passed: true
+		});
+		else results.push({
+			name: test.name,
+			passed: false,
+			error: result.left
+		});
+	}
+	return results;
+});
+const StorageIntegrationTestSuite = {
+	Categories,
+	makeTests,
+	runAll
+};
+
+//#endregion
+exports.Categories = Categories;
+exports.StorageIntegrationTestSuite = StorageIntegrationTestSuite;

package/dist/testing/StorageIntegrationTestSuite.d.cts

@@ -0,0 +1,35 @@
+import { ColdStorageError, HotStorageError } from "../Errors.cjs";
+import { ColdStorageTag } from "../ColdStorage.cjs";
+import { HotStorageTag } from "../HotStorage.cjs";
+import { StorageTestCase } from "./types.cjs";
+import * as effect0 from "effect";
+import { Effect } from "effect";
+
+//#region src/testing/StorageIntegrationTestSuite.d.ts
+
+declare const Categories: {
+  readonly SNAPSHOT_WAL_COORDINATION: "Snapshot + WAL Coordination";
+  readonly VERSION_VERIFICATION: "Version Verification";
+  readonly RECOVERY_SCENARIOS: "Recovery Scenarios";
+};
+type IntegrationTestCase = StorageTestCase<ColdStorageError | HotStorageError, ColdStorageTag | HotStorageTag>;
+/**
+ * Generate all integration test cases
+ */
+
+declare const StorageIntegrationTestSuite: {
+  Categories: {
+    readonly SNAPSHOT_WAL_COORDINATION: "Snapshot + WAL Coordination";
+    readonly VERSION_VERIFICATION: "Version Verification";
+    readonly RECOVERY_SCENARIOS: "Recovery Scenarios";
+  };
+  makeTests: () => IntegrationTestCase[];
+  runAll: <R>(layer: effect0.Layer.Layer<ColdStorageTag | HotStorageTag, never, R>) => Effect.Effect<{
+    name: string;
+    passed: boolean;
+    error?: unknown;
+  }[], never, R>;
+};
+//#endregion
+export { Categories, StorageIntegrationTestSuite };
+//# sourceMappingURL=StorageIntegrationTestSuite.d.cts.map

package/dist/testing/StorageIntegrationTestSuite.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StorageIntegrationTestSuite.d.cts","names":[],"sources":["../../src/testing/StorageIntegrationTestSuite.ts"],"sourcesContent":[],"mappings":";;;;;;;;;cA8Ca;;;;;KAqCR,mBAAA,GAAsB,gBAAgB,mBAAmB,iBAAiB,iBAAiB;;;;;cAganF;;;;;;mBAjCgB;qBAUH,OAAA,CAAA,KAAA,CAAM,MAAM,iBAAiB,sBAAsB,OAAE,MAAA,CAAA"}

package/dist/testing/StorageIntegrationTestSuite.d.mts

@@ -0,0 +1,35 @@
+import { ColdStorageError, HotStorageError } from "../Errors.mjs";
+import { ColdStorageTag } from "../ColdStorage.mjs";
+import { HotStorageTag } from "../HotStorage.mjs";
+import { StorageTestCase } from "./types.mjs";
+import * as effect0 from "effect";
+import { Effect } from "effect";
+
+//#region src/testing/StorageIntegrationTestSuite.d.ts
+
+declare const Categories: {
+  readonly SNAPSHOT_WAL_COORDINATION: "Snapshot + WAL Coordination";
+  readonly VERSION_VERIFICATION: "Version Verification";
+  readonly RECOVERY_SCENARIOS: "Recovery Scenarios";
+};
+type IntegrationTestCase = StorageTestCase<ColdStorageError | HotStorageError, ColdStorageTag | HotStorageTag>;
+/**
+ * Generate all integration test cases
+ */
+
+declare const StorageIntegrationTestSuite: {
+  Categories: {
+    readonly SNAPSHOT_WAL_COORDINATION: "Snapshot + WAL Coordination";
+    readonly VERSION_VERIFICATION: "Version Verification";
+    readonly RECOVERY_SCENARIOS: "Recovery Scenarios";
+  };
+  makeTests: () => IntegrationTestCase[];
+  runAll: <R>(layer: effect0.Layer.Layer<ColdStorageTag | HotStorageTag, never, R>) => Effect.Effect<{
+    name: string;
+    passed: boolean;
+    error?: unknown;
+  }[], never, R>;
+};
+//#endregion
+export { Categories, StorageIntegrationTestSuite };
+//# sourceMappingURL=StorageIntegrationTestSuite.d.mts.map

package/dist/testing/StorageIntegrationTestSuite.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StorageIntegrationTestSuite.d.mts","names":[],"sources":["../../src/testing/StorageIntegrationTestSuite.ts"],"sourcesContent":[],"mappings":";;;;;;;;;cA8Ca;;;;;KAqCR,mBAAA,GAAsB,gBAAgB,mBAAmB,iBAAiB,iBAAiB;;;;;cAganF;;;;;;mBAjCgB;qBAUH,OAAA,CAAA,KAAA,CAAM,MAAM,iBAAiB,sBAAsB,OAAE,MAAA,CAAA"}