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

package/dist/testing/StorageIntegrationTestSuite.mjs

@@ -0,0 +1,349 @@
+import { ColdStorageTag } from "../ColdStorage.mjs";
+import { HotStorageTag } from "../HotStorage.mjs";
+import { assertDefined, assertEmpty, assertEqual, assertLength, assertTrue, assertUndefined } from "./assertions.mjs";
+import { Effect } from "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.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* HotStorageTag;
+			const snapshot = yield* cold.load("empty-doc");
+			const walEntries = yield* hot.getEntries("empty-doc", 0);
+			assertUndefined(snapshot, "Snapshot should be undefined for new doc");
+			assertEmpty(walEntries, "WAL should be empty for new doc");
+		})
+	},
+	{
+		name: "restore from snapshot only (no WAL)",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: Effect.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			assertDefined(loaded, "Snapshot should be loaded");
+			assertEqual(loaded.version, 5, "Snapshot version should match");
+			assertEqual(loaded.state, { title: "Hello" }, "Snapshot state should match");
+			assertEmpty(walEntries, "WAL should be empty after snapshot version");
+		})
+	},
+	{
+		name: "restore from WAL only (no snapshot)",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: Effect.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			assertUndefined(snapshot, "No snapshot should exist");
+			assertLength(walEntries, 3, "Should have 3 WAL entries");
+			assertEqual(walEntries[0].version, 1, "First entry should be v1");
+			assertEqual(walEntries[2].version, 3, "Last entry should be v3");
+		})
+	},
+	{
+		name: "restore from snapshot + WAL replay",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: Effect.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			assertEqual(snapshot.version, 5, "Snapshot at v5");
+			assertLength(walEntries, 3, "3 WAL entries after snapshot");
+			assertEqual(walEntries[0].version, 6, "First WAL entry is v6");
+			assertEqual(walEntries[2].version, 8, "Last WAL entry is v8");
+		})
+	},
+	{
+		name: "truncate WAL after snapshot",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: Effect.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			assertLength(walEntries, 2, "Only v4 and v5 should remain");
+			assertEqual(walEntries[0].version, 4, "First remaining is v4");
+			assertEqual(walEntries[1].version, 5, "Last remaining is v5");
+		})
+	},
+	{
+		name: "snapshot overwrites previous snapshot",
+		category: Categories.SNAPSHOT_WAL_COORDINATION,
+		run: Effect.gen(function* () {
+			const cold = yield* 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);
+			assertEqual(loaded.version, 5, "Should have newer version");
+			assertEqual(loaded.state, { new: true }, "Should have newer state");
+		})
+	}
+];
+const versionVerificationTests = [
+	{
+		name: "WAL entries are ordered by version",
+		category: Categories.VERSION_VERIFICATION,
+		run: Effect.gen(function* () {
+			const hot = yield* 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);
+			assertLength(entries, 3, "All entries should be returned");
+			assertEqual(entries[0].version, 1, "First should be v1");
+			assertEqual(entries[1].version, 2, "Second should be v2");
+			assertEqual(entries[2].version, 3, "Third should be v3");
+		})
+	},
+	{
+		name: "getEntries filters by sinceVersion correctly",
+		category: Categories.VERSION_VERIFICATION,
+		run: Effect.gen(function* () {
+			const hot = yield* 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);
+			assertLength(fromV5, 5, "v6-v10 = 5 entries");
+			assertEqual(fromV5[0].version, 6, "First entry after v5 is v6");
+			assertLength(fromV8, 2, "v9-v10 = 2 entries");
+			assertEqual(fromV8[0].version, 9, "First entry after v8 is v9");
+			assertEmpty(fromV10, "No entries after v10");
+		})
+	},
+	{
+		name: "detect version gap between snapshot and WAL",
+		category: Categories.VERSION_VERIFICATION,
+		run: Effect.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			assertEqual(snapshot.version, 5, "Snapshot at v5");
+			assertLength(walEntries, 2, "Two WAL entries");
+			assertTrue(walEntries[0].version !== snapshot.version + 1, "Should detect gap (v7 != v6)");
+		})
+	},
+	{
+		name: "detect internal WAL gaps",
+		category: Categories.VERSION_VERIFICATION,
+		run: Effect.gen(function* () {
+			const hot = yield* 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;
+				}
+			}
+			assertTrue(gapFound, "Should detect internal gap between v2 and v4");
+		})
+	},
+	{
+		name: "no gap when WAL is continuous",
+		category: Categories.VERSION_VERIFICATION,
+		run: Effect.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			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.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			assertEqual(snapshot.version, 3, "Snapshot version");
+			assertLength(walEntries, 2, "WAL entries to replay");
+			yield* hot.append(docId, makeWalEntry(6));
+			const newWal = yield* hot.getEntries(docId, 5);
+			assertLength(newWal, 1, "One new entry after recovery");
+			assertEqual(newWal[0].version, 6, "New entry is v6");
+		})
+	},
+	{
+		name: "recovery from only WAL (cold start)",
+		category: Categories.RECOVERY_SCENARIOS,
+		run: Effect.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			assertUndefined(snapshot, "No snapshot exists");
+			assertLength(walEntries, 2, "All WAL entries from beginning");
+		})
+	},
+	{
+		name: "recovery after truncation failure (WAL has old entries)",
+		category: Categories.RECOVERY_SCENARIOS,
+		run: Effect.gen(function* () {
+			const cold = yield* ColdStorageTag;
+			const hot = yield* 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);
+			assertEqual(snapshot.version, 5, "Snapshot at v5");
+			assertLength(walEntries, 1, "Only v6 should be replayed");
+			assertEqual(walEntries[0].version, 6, "Entry is v6");
+		})
+	},
+	{
+		name: "idempotent snapshot save",
+		category: Categories.RECOVERY_SCENARIOS,
+		run: Effect.gen(function* () {
+			const cold = yield* 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);
+			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.gen(function* () {
+	const tests = makeTests();
+	const results = [];
+	for (const test of tests) {
+		const result = yield* Effect.either(test.run.pipe(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
+export { Categories, StorageIntegrationTestSuite };
+//# sourceMappingURL=StorageIntegrationTestSuite.mjs.map

package/dist/testing/StorageIntegrationTestSuite.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"StorageIntegrationTestSuite.mjs","names":["snapshotWalCoordinationTests: IntegrationTestCase[]","versionVerificationTests: IntegrationTestCase[]","recoveryScenarioTests: IntegrationTestCase[]","results: Array<{ name: string; passed: boolean; error?: unknown }>"],"sources":["../../src/testing/StorageIntegrationTestSuite.ts"],"sourcesContent":["/**\n * @voidhash/mimic-effect/testing - StorageIntegrationTestSuite\n *\n * Integration tests for verifying Hot/Cold storage coordination.\n * Tests snapshot + WAL replay, failure handling, and version verification.\n *\n * @example\n * ```typescript\n * import { StorageIntegrationTestSuite } from \"@voidhash/mimic-effect/testing\";\n * import { describe, it } from \"vitest\";\n * import { Effect, Layer } from \"effect\";\n * import { ColdStorage, HotStorage } from \"@voidhash/mimic-effect\";\n *\n * describe(\"Storage Integration\", () => {\n *   const layer = Layer.mergeAll(\n *     ColdStorage.InMemory.make(),\n *     HotStorage.InMemory.make()\n *   );\n *\n *   for (const test of StorageIntegrationTestSuite.makeTests()) {\n *     it(test.name, () =>\n *       Effect.runPromise(test.run.pipe(Effect.provide(layer)))\n *     );\n *   }\n * });\n * ```\n */\nimport { Effect } from \"effect\";\nimport { ColdStorageTag } from \"../ColdStorage\";\nimport { HotStorageTag } from \"../HotStorage\";\nimport { ColdStorageError, HotStorageError } from \"../Errors\";\nimport type { StoredDocument, WalEntry } from \"../Types\";\nimport type { StorageTestCase } from \"./types\";\nimport {\n  assertEqual,\n  assertTrue,\n  assertLength,\n  assertEmpty,\n  assertDefined,\n  assertUndefined,\n} from \"./assertions\";\n\n// =============================================================================\n// Test Categories\n// =============================================================================\n\nexport const Categories = {\n  SNAPSHOT_WAL_COORDINATION: \"Snapshot + WAL Coordination\",\n  VERSION_VERIFICATION: \"Version Verification\",\n  RECOVERY_SCENARIOS: \"Recovery Scenarios\",\n} as const;\n\n// =============================================================================\n// Test Helpers\n// =============================================================================\n\nconst makeSnapshot = (\n  version: number,\n  state: unknown = { data: `v${version}` }\n): StoredDocument => ({\n  state,\n  version,\n  schemaVersion: 1,\n  savedAt: Date.now(),\n});\n\nconst makeWalEntry = (\n  version: number,\n  ops: unknown[] = [{ type: \"set\", path: [\"data\"], value: `v${version}` }]\n): WalEntry => ({\n  transaction: {\n    id: `tx-${version}`,\n    ops,\n    timestamp: Date.now(),\n  },\n  version,\n  timestamp: Date.now(),\n});\n\n// =============================================================================\n// Test Definitions\n// =============================================================================\n\ntype IntegrationTestCase = StorageTestCase<ColdStorageError | HotStorageError, ColdStorageTag | HotStorageTag>;\n\nconst snapshotWalCoordinationTests: IntegrationTestCase[] = [\n  {\n    name: \"load empty document returns undefined snapshot and empty WAL\",\n    category: Categories.SNAPSHOT_WAL_COORDINATION,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const snapshot = yield* cold.load(\"empty-doc\");\n      const walEntries = yield* hot.getEntries(\"empty-doc\", 0);\n\n      assertUndefined(snapshot, \"Snapshot should be undefined for new doc\");\n      assertEmpty(walEntries, \"WAL should be empty for new doc\");\n    }),\n  },\n\n  {\n    name: \"restore from snapshot only (no WAL)\",\n    category: Categories.SNAPSHOT_WAL_COORDINATION,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"snapshot-only\";\n      const snapshot = makeSnapshot(5, { title: \"Hello\" });\n\n      yield* cold.save(docId, snapshot);\n\n      const loaded = yield* cold.load(docId);\n      const walEntries = yield* hot.getEntries(docId, 5);\n\n      assertDefined(loaded, \"Snapshot should be loaded\");\n      assertEqual(loaded!.version, 5, \"Snapshot version should match\");\n      assertEqual(loaded!.state, { title: \"Hello\" }, \"Snapshot state should match\");\n      assertEmpty(walEntries, \"WAL should be empty after snapshot version\");\n    }),\n  },\n\n  {\n    name: \"restore from WAL only (no snapshot)\",\n    category: Categories.SNAPSHOT_WAL_COORDINATION,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"wal-only\";\n\n      yield* hot.append(docId, makeWalEntry(1));\n      yield* hot.append(docId, makeWalEntry(2));\n      yield* hot.append(docId, makeWalEntry(3));\n\n      const snapshot = yield* cold.load(docId);\n      const walEntries = yield* hot.getEntries(docId, 0);\n\n      assertUndefined(snapshot, \"No snapshot should exist\");\n      assertLength(walEntries, 3, \"Should have 3 WAL entries\");\n      assertEqual(walEntries[0]!.version, 1, \"First entry should be v1\");\n      assertEqual(walEntries[2]!.version, 3, \"Last entry should be v3\");\n    }),\n  },\n\n  {\n    name: \"restore from snapshot + WAL replay\",\n    category: Categories.SNAPSHOT_WAL_COORDINATION,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"snapshot-plus-wal\";\n\n      // Save snapshot at v5\n      yield* cold.save(docId, makeSnapshot(5));\n\n      // Add WAL entries for v6, v7, v8\n      yield* hot.append(docId, makeWalEntry(6));\n      yield* hot.append(docId, makeWalEntry(7));\n      yield* hot.append(docId, makeWalEntry(8));\n\n      const snapshot = yield* cold.load(docId);\n      const walEntries = yield* hot.getEntries(docId, snapshot!.version);\n\n      assertEqual(snapshot!.version, 5, \"Snapshot at v5\");\n      assertLength(walEntries, 3, \"3 WAL entries after snapshot\");\n      assertEqual(walEntries[0]!.version, 6, \"First WAL entry is v6\");\n      assertEqual(walEntries[2]!.version, 8, \"Last WAL entry is v8\");\n    }),\n  },\n\n  {\n    name: \"truncate WAL after snapshot\",\n    category: Categories.SNAPSHOT_WAL_COORDINATION,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"truncate-test\";\n\n      // Add WAL entries 1-5\n      for (let i = 1; i <= 5; i++) {\n        yield* hot.append(docId, makeWalEntry(i));\n      }\n\n      // Save snapshot at v3\n      yield* cold.save(docId, makeSnapshot(3));\n\n      // Truncate WAL up to v3\n      yield* hot.truncate(docId, 3);\n\n      const walEntries = yield* hot.getEntries(docId, 0);\n\n      assertLength(walEntries, 2, \"Only v4 and v5 should remain\");\n      assertEqual(walEntries[0]!.version, 4, \"First remaining is v4\");\n      assertEqual(walEntries[1]!.version, 5, \"Last remaining is v5\");\n    }),\n  },\n\n  {\n    name: \"snapshot overwrites previous snapshot\",\n    category: Categories.SNAPSHOT_WAL_COORDINATION,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n\n      const docId = \"overwrite-test\";\n\n      yield* cold.save(docId, makeSnapshot(1, { old: true }));\n      yield* cold.save(docId, makeSnapshot(5, { new: true }));\n\n      const loaded = yield* cold.load(docId);\n\n      assertEqual(loaded!.version, 5, \"Should have newer version\");\n      assertEqual(loaded!.state, { new: true }, \"Should have newer state\");\n    }),\n  },\n];\n\nconst versionVerificationTests: IntegrationTestCase[] = [\n  {\n    name: \"WAL entries are ordered by version\",\n    category: Categories.VERSION_VERIFICATION,\n    run: Effect.gen(function* () {\n      const hot = yield* HotStorageTag;\n\n      const docId = \"ordering-test\";\n\n      // Append out of order\n      yield* hot.append(docId, makeWalEntry(3));\n      yield* hot.append(docId, makeWalEntry(1));\n      yield* hot.append(docId, makeWalEntry(2));\n\n      const entries = yield* hot.getEntries(docId, 0);\n\n      assertLength(entries, 3, \"All entries should be returned\");\n      assertEqual(entries[0]!.version, 1, \"First should be v1\");\n      assertEqual(entries[1]!.version, 2, \"Second should be v2\");\n      assertEqual(entries[2]!.version, 3, \"Third should be v3\");\n    }),\n  },\n\n  {\n    name: \"getEntries filters by sinceVersion correctly\",\n    category: Categories.VERSION_VERIFICATION,\n    run: Effect.gen(function* () {\n      const hot = yield* HotStorageTag;\n\n      const docId = \"filter-test\";\n\n      for (let i = 1; i <= 10; i++) {\n        yield* hot.append(docId, makeWalEntry(i));\n      }\n\n      const fromV5 = yield* hot.getEntries(docId, 5);\n      const fromV8 = yield* hot.getEntries(docId, 8);\n      const fromV10 = yield* hot.getEntries(docId, 10);\n\n      assertLength(fromV5, 5, \"v6-v10 = 5 entries\");\n      assertEqual(fromV5[0]!.version, 6, \"First entry after v5 is v6\");\n\n      assertLength(fromV8, 2, \"v9-v10 = 2 entries\");\n      assertEqual(fromV8[0]!.version, 9, \"First entry after v8 is v9\");\n\n      assertEmpty(fromV10, \"No entries after v10\");\n    }),\n  },\n\n  {\n    name: \"detect version gap between snapshot and WAL\",\n    category: Categories.VERSION_VERIFICATION,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"gap-detection\";\n\n      // Snapshot at v5\n      yield* cold.save(docId, makeSnapshot(5));\n\n      // WAL starts at v7 (gap: v6 missing)\n      yield* hot.append(docId, makeWalEntry(7));\n      yield* hot.append(docId, makeWalEntry(8));\n\n      const snapshot = yield* cold.load(docId);\n      const walEntries = yield* hot.getEntries(docId, snapshot!.version);\n\n      assertEqual(snapshot!.version, 5, \"Snapshot at v5\");\n      assertLength(walEntries, 2, \"Two WAL entries\");\n\n      // Gap detection: first WAL entry should be v6, but it's v7\n      const firstWalVersion = walEntries[0]!.version;\n      const expectedFirst = snapshot!.version + 1;\n      const hasGap = firstWalVersion !== expectedFirst;\n\n      assertTrue(hasGap, \"Should detect gap (v7 != v6)\");\n    }),\n  },\n\n  {\n    name: \"detect internal WAL gaps\",\n    category: Categories.VERSION_VERIFICATION,\n    run: Effect.gen(function* () {\n      const hot = yield* HotStorageTag;\n\n      const docId = \"internal-gap\";\n\n      yield* hot.append(docId, makeWalEntry(1));\n      yield* hot.append(docId, makeWalEntry(2));\n      // Skip v3\n      yield* hot.append(docId, makeWalEntry(4));\n      yield* hot.append(docId, makeWalEntry(5));\n\n      const entries = yield* hot.getEntries(docId, 0);\n\n      // Check for internal gaps\n      let gapFound = false;\n      for (let i = 1; i < entries.length; i++) {\n        const prev = entries[i - 1]!.version;\n        const curr = entries[i]!.version;\n        if (curr !== prev + 1) {\n          gapFound = true;\n          break;\n        }\n      }\n\n      assertTrue(gapFound, \"Should detect internal gap between v2 and v4\");\n    }),\n  },\n\n  {\n    name: \"no gap when WAL is continuous\",\n    category: Categories.VERSION_VERIFICATION,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"no-gap\";\n\n      yield* cold.save(docId, makeSnapshot(5));\n      yield* hot.append(docId, makeWalEntry(6));\n      yield* hot.append(docId, makeWalEntry(7));\n      yield* hot.append(docId, makeWalEntry(8));\n\n      const snapshot = yield* cold.load(docId);\n      const walEntries = yield* hot.getEntries(docId, snapshot!.version);\n\n      const firstWalVersion = walEntries[0]!.version;\n      const expectedFirst = snapshot!.version + 1;\n      const hasGap = firstWalVersion !== expectedFirst;\n\n      assertTrue(!hasGap, \"Should not detect gap (v6 == v6)\");\n    }),\n  },\n];\n\nconst recoveryScenarioTests: IntegrationTestCase[] = [\n  {\n    name: \"full recovery: snapshot + WAL + new transactions\",\n    category: Categories.RECOVERY_SCENARIOS,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"full-recovery\";\n\n      // Initial state: snapshot at v3, WAL v4-v5\n      yield* cold.save(docId, makeSnapshot(3, { count: 3 }));\n      yield* hot.append(docId, makeWalEntry(4));\n      yield* hot.append(docId, makeWalEntry(5));\n\n      // \"Recovery\" - load snapshot and WAL\n      const snapshot = yield* cold.load(docId);\n      const walEntries = yield* hot.getEntries(docId, snapshot!.version);\n\n      assertEqual(snapshot!.version, 3, \"Snapshot version\");\n      assertLength(walEntries, 2, \"WAL entries to replay\");\n\n      // Simulate new transaction after recovery\n      yield* hot.append(docId, makeWalEntry(6));\n\n      const newWal = yield* hot.getEntries(docId, 5);\n      assertLength(newWal, 1, \"One new entry after recovery\");\n      assertEqual(newWal[0]!.version, 6, \"New entry is v6\");\n    }),\n  },\n\n  {\n    name: \"recovery from only WAL (cold start)\",\n    category: Categories.RECOVERY_SCENARIOS,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"cold-start\";\n\n      // Only WAL entries, no snapshot (new document that hasn't been snapshotted)\n      yield* hot.append(docId, makeWalEntry(1));\n      yield* hot.append(docId, makeWalEntry(2));\n\n      const snapshot = yield* cold.load(docId);\n      const walEntries = yield* hot.getEntries(docId, 0);\n\n      assertUndefined(snapshot, \"No snapshot exists\");\n      assertLength(walEntries, 2, \"All WAL entries from beginning\");\n    }),\n  },\n\n  {\n    name: \"recovery after truncation failure (WAL has old entries)\",\n    category: Categories.RECOVERY_SCENARIOS,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n      const hot = yield* HotStorageTag;\n\n      const docId = \"truncate-failed\";\n\n      // Simulate: snapshot saved at v5, but truncate failed\n      // So WAL still has v3, v4, v5, v6\n      yield* hot.append(docId, makeWalEntry(3));\n      yield* hot.append(docId, makeWalEntry(4));\n      yield* hot.append(docId, makeWalEntry(5));\n      yield* hot.append(docId, makeWalEntry(6));\n\n      yield* cold.save(docId, makeSnapshot(5));\n\n      // Recovery should only replay v6\n      const snapshot = yield* cold.load(docId);\n      const walEntries = yield* hot.getEntries(docId, snapshot!.version);\n\n      assertEqual(snapshot!.version, 5, \"Snapshot at v5\");\n      assertLength(walEntries, 1, \"Only v6 should be replayed\");\n      assertEqual(walEntries[0]!.version, 6, \"Entry is v6\");\n    }),\n  },\n\n  {\n    name: \"idempotent snapshot save\",\n    category: Categories.RECOVERY_SCENARIOS,\n    run: Effect.gen(function* () {\n      const cold = yield* ColdStorageTag;\n\n      const docId = \"idempotent\";\n\n      const snapshot1 = makeSnapshot(5, { first: true });\n      const snapshot2 = makeSnapshot(5, { second: true });\n\n      yield* cold.save(docId, snapshot1);\n      yield* cold.save(docId, snapshot2);\n\n      const loaded = yield* cold.load(docId);\n\n      // Last write wins\n      assertEqual(loaded!.state, { second: true }, \"Second save overwrites\");\n    }),\n  },\n];\n\n// =============================================================================\n// Test Suite Export\n// =============================================================================\n\n/**\n * Generate all integration test cases\n */\nexport const makeTests = (): IntegrationTestCase[] => [\n  ...snapshotWalCoordinationTests,\n  ...versionVerificationTests,\n  ...recoveryScenarioTests,\n];\n\n/**\n * Run all integration tests and collect results\n */\nexport const runAll = <R>(\n  layer: import(\"effect\").Layer.Layer<ColdStorageTag | HotStorageTag, never, R>\n) =>\n  Effect.gen(function* () {\n    const tests = makeTests();\n    const results: Array<{ name: string; passed: boolean; error?: unknown }> = [];\n\n    for (const test of tests) {\n      const result = yield* Effect.either(test.run.pipe(Effect.provide(layer)));\n\n      if (result._tag === \"Right\") {\n        results.push({ name: test.name, passed: true });\n      } else {\n        results.push({ name: test.name, passed: false, error: result.left });\n      }\n    }\n\n    return results;\n  });\n\n// =============================================================================\n// Export Namespace\n// =============================================================================\n\nexport const StorageIntegrationTestSuite = {\n  Categories,\n  makeTests,\n  runAll,\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8CA,MAAa,aAAa;CACxB,2BAA2B;CAC3B,sBAAsB;CACtB,oBAAoB;CACrB;AAMD,MAAM,gBACJ,SACA,QAAiB,EAAE,MAAM,IAAI,WAAW,MACpB;CACpB;CACA;CACA,eAAe;CACf,SAAS,KAAK,KAAK;CACpB;AAED,MAAM,gBACJ,SACA,MAAiB,CAAC;CAAE,MAAM;CAAO,MAAM,CAAC,OAAO;CAAE,OAAO,IAAI;CAAW,CAAC,MAC1D;CACd,aAAa;EACX,IAAI,MAAM;EACV;EACA,WAAW,KAAK,KAAK;EACtB;CACD;CACA,WAAW,KAAK,KAAK;CACtB;AAQD,MAAMA,+BAAsD;CAC1D;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,WAAW,OAAO,KAAK,KAAK,YAAY;GAC9C,MAAM,aAAa,OAAO,IAAI,WAAW,aAAa,EAAE;AAExD,mBAAgB,UAAU,2CAA2C;AACrE,eAAY,YAAY,kCAAkC;IAC1D;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;GACd,MAAM,WAAW,aAAa,GAAG,EAAE,OAAO,SAAS,CAAC;AAEpD,UAAO,KAAK,KAAK,OAAO,SAAS;GAEjC,MAAM,SAAS,OAAO,KAAK,KAAK,MAAM;GACtC,MAAM,aAAa,OAAO,IAAI,WAAW,OAAO,EAAE;AAElD,iBAAc,QAAQ,4BAA4B;AAClD,eAAY,OAAQ,SAAS,GAAG,gCAAgC;AAChE,eAAY,OAAQ,OAAO,EAAE,OAAO,SAAS,EAAE,8BAA8B;AAC7E,eAAY,YAAY,6CAA6C;IACrE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAEd,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAEzC,MAAM,WAAW,OAAO,KAAK,KAAK,MAAM;GACxC,MAAM,aAAa,OAAO,IAAI,WAAW,OAAO,EAAE;AAElD,mBAAgB,UAAU,2BAA2B;AACrD,gBAAa,YAAY,GAAG,4BAA4B;AACxD,eAAY,WAAW,GAAI,SAAS,GAAG,2BAA2B;AAClE,eAAY,WAAW,GAAI,SAAS,GAAG,0BAA0B;IACjE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAGd,UAAO,KAAK,KAAK,OAAO,aAAa,EAAE,CAAC;AAGxC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAEzC,MAAM,WAAW,OAAO,KAAK,KAAK,MAAM;GACxC,MAAM,aAAa,OAAO,IAAI,WAAW,OAAO,SAAU,QAAQ;AAElE,eAAY,SAAU,SAAS,GAAG,iBAAiB;AACnD,gBAAa,YAAY,GAAG,+BAA+B;AAC3D,eAAY,WAAW,GAAI,SAAS,GAAG,wBAAwB;AAC/D,eAAY,WAAW,GAAI,SAAS,GAAG,uBAAuB;IAC9D;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAGd,QAAK,IAAI,IAAI,GAAG,KAAK,GAAG,IACtB,QAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AAI3C,UAAO,KAAK,KAAK,OAAO,aAAa,EAAE,CAAC;AAGxC,UAAO,IAAI,SAAS,OAAO,EAAE;GAE7B,MAAM,aAAa,OAAO,IAAI,WAAW,OAAO,EAAE;AAElD,gBAAa,YAAY,GAAG,+BAA+B;AAC3D,eAAY,WAAW,GAAI,SAAS,GAAG,wBAAwB;AAC/D,eAAY,WAAW,GAAI,SAAS,GAAG,uBAAuB;IAC9D;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GAEpB,MAAM,QAAQ;AAEd,UAAO,KAAK,KAAK,OAAO,aAAa,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC;AACvD,UAAO,KAAK,KAAK,OAAO,aAAa,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC;GAEvD,MAAM,SAAS,OAAO,KAAK,KAAK,MAAM;AAEtC,eAAY,OAAQ,SAAS,GAAG,4BAA4B;AAC5D,eAAY,OAAQ,OAAO,EAAE,KAAK,MAAM,EAAE,0BAA0B;IACpE;EACH;CACF;AAED,MAAMC,2BAAkD;CACtD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAGd,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAEzC,MAAM,UAAU,OAAO,IAAI,WAAW,OAAO,EAAE;AAE/C,gBAAa,SAAS,GAAG,iCAAiC;AAC1D,eAAY,QAAQ,GAAI,SAAS,GAAG,qBAAqB;AACzD,eAAY,QAAQ,GAAI,SAAS,GAAG,sBAAsB;AAC1D,eAAY,QAAQ,GAAI,SAAS,GAAG,qBAAqB;IACzD;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAEd,QAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IACvB,QAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAG3C,MAAM,SAAS,OAAO,IAAI,WAAW,OAAO,EAAE;GAC9C,MAAM,SAAS,OAAO,IAAI,WAAW,OAAO,EAAE;GAC9C,MAAM,UAAU,OAAO,IAAI,WAAW,OAAO,GAAG;AAEhD,gBAAa,QAAQ,GAAG,qBAAqB;AAC7C,eAAY,OAAO,GAAI,SAAS,GAAG,6BAA6B;AAEhE,gBAAa,QAAQ,GAAG,qBAAqB;AAC7C,eAAY,OAAO,GAAI,SAAS,GAAG,6BAA6B;AAEhE,eAAY,SAAS,uBAAuB;IAC5C;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAGd,UAAO,KAAK,KAAK,OAAO,aAAa,EAAE,CAAC;AAGxC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAEzC,MAAM,WAAW,OAAO,KAAK,KAAK,MAAM;GACxC,MAAM,aAAa,OAAO,IAAI,WAAW,OAAO,SAAU,QAAQ;AAElE,eAAY,SAAU,SAAS,GAAG,iBAAiB;AACnD,gBAAa,YAAY,GAAG,kBAAkB;AAO9C,cAJwB,WAAW,GAAI,YACjB,SAAU,UAAU,GAGvB,+BAA+B;IAClD;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAEd,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AAEzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAEzC,MAAM,UAAU,OAAO,IAAI,WAAW,OAAO,EAAE;GAG/C,IAAI,WAAW;AACf,QAAK,IAAI,IAAI,GAAG,IAAI,QAAQ,QAAQ,KAAK;IACvC,MAAM,OAAO,QAAQ,IAAI,GAAI;AAE7B,QADa,QAAQ,GAAI,YACZ,OAAO,GAAG;AACrB,gBAAW;AACX;;;AAIJ,cAAW,UAAU,+CAA+C;IACpE;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAEd,UAAO,KAAK,KAAK,OAAO,aAAa,EAAE,CAAC;AACxC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAEzC,MAAM,WAAW,OAAO,KAAK,KAAK,MAAM;AAOxC,cAAW,GANQ,OAAO,IAAI,WAAW,OAAO,SAAU,QAAQ,EAE/B,GAAI,YACjB,SAAU,UAAU,IAGtB,mCAAmC;IACvD;EACH;CACF;AAED,MAAMC,wBAA+C;CACnD;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAGd,UAAO,KAAK,KAAK,OAAO,aAAa,GAAG,EAAE,OAAO,GAAG,CAAC,CAAC;AACtD,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAGzC,MAAM,WAAW,OAAO,KAAK,KAAK,MAAM;GACxC,MAAM,aAAa,OAAO,IAAI,WAAW,OAAO,SAAU,QAAQ;AAElE,eAAY,SAAU,SAAS,GAAG,mBAAmB;AACrD,gBAAa,YAAY,GAAG,wBAAwB;AAGpD,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAEzC,MAAM,SAAS,OAAO,IAAI,WAAW,OAAO,EAAE;AAC9C,gBAAa,QAAQ,GAAG,+BAA+B;AACvD,eAAY,OAAO,GAAI,SAAS,GAAG,kBAAkB;IACrD;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAGd,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;GAEzC,MAAM,WAAW,OAAO,KAAK,KAAK,MAAM;GACxC,MAAM,aAAa,OAAO,IAAI,WAAW,OAAO,EAAE;AAElD,mBAAgB,UAAU,qBAAqB;AAC/C,gBAAa,YAAY,GAAG,iCAAiC;IAC7D;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GACpB,MAAM,MAAM,OAAO;GAEnB,MAAM,QAAQ;AAId,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AACzC,UAAO,IAAI,OAAO,OAAO,aAAa,EAAE,CAAC;AAEzC,UAAO,KAAK,KAAK,OAAO,aAAa,EAAE,CAAC;GAGxC,MAAM,WAAW,OAAO,KAAK,KAAK,MAAM;GACxC,MAAM,aAAa,OAAO,IAAI,WAAW,OAAO,SAAU,QAAQ;AAElE,eAAY,SAAU,SAAS,GAAG,iBAAiB;AACnD,gBAAa,YAAY,GAAG,6BAA6B;AACzD,eAAY,WAAW,GAAI,SAAS,GAAG,cAAc;IACrD;EACH;CAED;EACE,MAAM;EACN,UAAU,WAAW;EACrB,KAAK,OAAO,IAAI,aAAa;GAC3B,MAAM,OAAO,OAAO;GAEpB,MAAM,QAAQ;GAEd,MAAM,YAAY,aAAa,GAAG,EAAE,OAAO,MAAM,CAAC;GAClD,MAAM,YAAY,aAAa,GAAG,EAAE,QAAQ,MAAM,CAAC;AAEnD,UAAO,KAAK,KAAK,OAAO,UAAU;AAClC,UAAO,KAAK,KAAK,OAAO,UAAU;AAKlC,gBAHe,OAAO,KAAK,KAAK,MAAM,EAGlB,OAAO,EAAE,QAAQ,MAAM,EAAE,yBAAyB;IACtE;EACH;CACF;;;;AASD,MAAa,kBAAyC;CACpD,GAAG;CACH,GAAG;CACH,GAAG;CACJ;;;;AAKD,MAAa,UACX,UAEA,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,WAAW;CACzB,MAAMC,UAAqE,EAAE;AAE7E,MAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,SAAS,OAAO,OAAO,OAAO,KAAK,IAAI,KAAK,OAAO,QAAQ,MAAM,CAAC,CAAC;AAEzE,MAAI,OAAO,SAAS,QAClB,SAAQ,KAAK;GAAE,MAAM,KAAK;GAAM,QAAQ;GAAM,CAAC;MAE/C,SAAQ,KAAK;GAAE,MAAM,KAAK;GAAM,QAAQ;GAAO,OAAO,OAAO;GAAM,CAAC;;AAIxE,QAAO;EACP;AAMJ,MAAa,8BAA8B;CACzC;CACA;CACA;CACD"}

package/dist/testing/assertions.cjs

@@ -0,0 +1,114 @@
+const require_types = require('./types.cjs');
+let effect = require("effect");
+
+//#region src/testing/assertions.ts
+/**
+* @voidhash/mimic-effect/testing - Assertion Helpers
+*
+* Internal assertion helpers used by the test suites.
+*/
+/**
+* Deep equality check that handles objects, arrays, and primitives.
+*/
+const isDeepEqual = (a, b) => {
+	if (a === b) return true;
+	if (a === null || b === null) return a === b;
+	if (a === void 0 || b === void 0) return a === b;
+	if (typeof a !== typeof b) return false;
+	if (typeof a === "number" && typeof b === "number") {
+		if (Number.isNaN(a) && Number.isNaN(b)) return true;
+		return a === b;
+	}
+	if (Array.isArray(a) && Array.isArray(b)) {
+		if (a.length !== b.length) return false;
+		for (let i = 0; i < a.length; i++) if (!isDeepEqual(a[i], b[i])) return false;
+		return true;
+	}
+	if (typeof a === "object" && typeof b === "object") {
+		const aObj = a;
+		const bObj = b;
+		const aKeys = Object.keys(aObj);
+		const bKeys = Object.keys(bObj);
+		if (aKeys.length !== bKeys.length) return false;
+		for (const key of aKeys) {
+			if (!Object.prototype.hasOwnProperty.call(bObj, key)) return false;
+			if (!isDeepEqual(aObj[key], bObj[key])) return false;
+		}
+		return true;
+	}
+	return false;
+};
+/**
+* Assert that two values are deeply equal.
+*/
+const assertEqual = (actual, expected, message) => effect.Effect.gen(function* () {
+	if (!isDeepEqual(actual, expected)) yield* effect.Effect.fail(new require_types.TestError({
+		message,
+		expected,
+		actual
+	}));
+});
+/**
+* Assert that a condition is true.
+*/
+const assertTrue = (condition, message) => effect.Effect.gen(function* () {
+	if (!condition) yield* effect.Effect.fail(new require_types.TestError({ message }));
+});
+/**
+* Assert that a value is undefined.
+*/
+const assertUndefined = (value, message) => effect.Effect.gen(function* () {
+	if (value !== void 0) yield* effect.Effect.fail(new require_types.TestError({
+		message,
+		expected: void 0,
+		actual: value
+	}));
+});
+/**
+* Assert that a value is defined (not undefined).
+*/
+const assertDefined = (value, message) => effect.Effect.gen(function* () {
+	if (value === void 0) yield* effect.Effect.fail(new require_types.TestError({
+		message,
+		expected: "defined value",
+		actual: void 0
+	}));
+	return value;
+});
+/**
+* Assert that an array has the expected length.
+*/
+const assertLength = (array, expectedLength, message) => effect.Effect.gen(function* () {
+	if (array.length !== expectedLength) yield* effect.Effect.fail(new require_types.TestError({
+		message,
+		expected: expectedLength,
+		actual: array.length
+	}));
+});
+/**
+* Assert that an array is empty.
+*/
+const assertEmpty = (array, message) => assertLength(array, 0, message);
+/**
+* Assert that an array is sorted by a key.
+*/
+const assertSortedBy = (array, key, message) => effect.Effect.gen(function* () {
+	for (let i = 1; i < array.length; i++) {
+		const prev = array[i - 1][key];
+		const curr = array[i][key];
+		if (prev > curr) yield* effect.Effect.fail(new require_types.TestError({
+			message,
+			expected: `array sorted by ${String(key)}`,
+			actual: `element at index ${i - 1} (${prev}) > element at index ${i} (${curr})`
+		}));
+	}
+});
+
+//#endregion
+exports.assertDefined = assertDefined;
+exports.assertEmpty = assertEmpty;
+exports.assertEqual = assertEqual;
+exports.assertLength = assertLength;
+exports.assertSortedBy = assertSortedBy;
+exports.assertTrue = assertTrue;
+exports.assertUndefined = assertUndefined;

package/dist/testing/assertions.mjs

@@ -0,0 +1,109 @@
+import { TestError } from "./types.mjs";
+import { Effect } from "effect";
+
+//#region src/testing/assertions.ts
+/**
+* @voidhash/mimic-effect/testing - Assertion Helpers
+*
+* Internal assertion helpers used by the test suites.
+*/
+/**
+* Deep equality check that handles objects, arrays, and primitives.
+*/
+const isDeepEqual = (a, b) => {
+	if (a === b) return true;
+	if (a === null || b === null) return a === b;
+	if (a === void 0 || b === void 0) return a === b;
+	if (typeof a !== typeof b) return false;
+	if (typeof a === "number" && typeof b === "number") {
+		if (Number.isNaN(a) && Number.isNaN(b)) return true;
+		return a === b;
+	}
+	if (Array.isArray(a) && Array.isArray(b)) {
+		if (a.length !== b.length) return false;
+		for (let i = 0; i < a.length; i++) if (!isDeepEqual(a[i], b[i])) return false;
+		return true;
+	}
+	if (typeof a === "object" && typeof b === "object") {
+		const aObj = a;
+		const bObj = b;
+		const aKeys = Object.keys(aObj);
+		const bKeys = Object.keys(bObj);
+		if (aKeys.length !== bKeys.length) return false;
+		for (const key of aKeys) {
+			if (!Object.prototype.hasOwnProperty.call(bObj, key)) return false;
+			if (!isDeepEqual(aObj[key], bObj[key])) return false;
+		}
+		return true;
+	}
+	return false;
+};
+/**
+* Assert that two values are deeply equal.
+*/
+const assertEqual = (actual, expected, message) => Effect.gen(function* () {
+	if (!isDeepEqual(actual, expected)) yield* Effect.fail(new TestError({
+		message,
+		expected,
+		actual
+	}));
+});
+/**
+* Assert that a condition is true.
+*/
+const assertTrue = (condition, message) => Effect.gen(function* () {
+	if (!condition) yield* Effect.fail(new TestError({ message }));
+});
+/**
+* Assert that a value is undefined.
+*/
+const assertUndefined = (value, message) => Effect.gen(function* () {
+	if (value !== void 0) yield* Effect.fail(new TestError({
+		message,
+		expected: void 0,
+		actual: value
+	}));
+});
+/**
+* Assert that a value is defined (not undefined).
+*/
+const assertDefined = (value, message) => Effect.gen(function* () {
+	if (value === void 0) yield* Effect.fail(new TestError({
+		message,
+		expected: "defined value",
+		actual: void 0
+	}));
+	return value;
+});
+/**
+* Assert that an array has the expected length.
+*/
+const assertLength = (array, expectedLength, message) => Effect.gen(function* () {
+	if (array.length !== expectedLength) yield* Effect.fail(new TestError({
+		message,
+		expected: expectedLength,
+		actual: array.length
+	}));
+});
+/**
+* Assert that an array is empty.
+*/
+const assertEmpty = (array, message) => assertLength(array, 0, message);
+/**
+* Assert that an array is sorted by a key.
+*/
+const assertSortedBy = (array, key, message) => Effect.gen(function* () {
+	for (let i = 1; i < array.length; i++) {
+		const prev = array[i - 1][key];
+		const curr = array[i][key];
+		if (prev > curr) yield* Effect.fail(new TestError({
+			message,
+			expected: `array sorted by ${String(key)}`,
+			actual: `element at index ${i - 1} (${prev}) > element at index ${i} (${curr})`
+		}));
+	}
+});
+
+//#endregion
+export { assertDefined, assertEmpty, assertEqual, assertLength, assertSortedBy, assertTrue, assertUndefined };
+//# sourceMappingURL=assertions.mjs.map

package/dist/testing/assertions.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.mjs","names":[],"sources":["../../src/testing/assertions.ts"],"sourcesContent":["/**\n * @voidhash/mimic-effect/testing - Assertion Helpers\n *\n * Internal assertion helpers used by the test suites.\n */\nimport { Effect } from \"effect\";\nimport { TestError } from \"./types\";\n\n// =============================================================================\n// Deep Equality\n// =============================================================================\n\n/**\n * Deep equality check that handles objects, arrays, and primitives.\n */\nexport const isDeepEqual = (a: unknown, b: unknown): boolean => {\n  if (a === b) return true;\n\n  if (a === null || b === null) return a === b;\n  if (a === undefined || b === undefined) return a === b;\n\n  if (typeof a !== typeof b) return false;\n\n  if (typeof a === \"number\" && typeof b === \"number\") {\n    if (Number.isNaN(a) && Number.isNaN(b)) return true;\n    return a === b;\n  }\n\n  if (Array.isArray(a) && Array.isArray(b)) {\n    if (a.length !== b.length) return false;\n    for (let i = 0; i < a.length; i++) {\n      if (!isDeepEqual(a[i], b[i])) return false;\n    }\n    return true;\n  }\n\n  if (typeof a === \"object\" && typeof b === \"object\") {\n    const aObj = a as Record<string, unknown>;\n    const bObj = b as Record<string, unknown>;\n    const aKeys = Object.keys(aObj);\n    const bKeys = Object.keys(bObj);\n\n    if (aKeys.length !== bKeys.length) return false;\n\n    for (const key of aKeys) {\n      if (!Object.prototype.hasOwnProperty.call(bObj, key)) return false;\n      if (!isDeepEqual(aObj[key], bObj[key])) return false;\n    }\n\n    return true;\n  }\n\n  return false;\n};\n\n// =============================================================================\n// Assertion Helpers\n// =============================================================================\n\n/**\n * Assert that two values are deeply equal.\n */\nexport const assertEqual = <T>(\n  actual: T,\n  expected: T,\n  message: string\n): Effect.Effect<void, TestError> =>\n  Effect.gen(function* () {\n    if (!isDeepEqual(actual, expected)) {\n      yield* Effect.fail(new TestError({ message, expected, actual }));\n    }\n  });\n\n/**\n * Assert that a condition is true.\n */\nexport const assertTrue = (\n  condition: boolean,\n  message: string\n): Effect.Effect<void, TestError> =>\n  Effect.gen(function* () {\n    if (!condition) {\n      yield* Effect.fail(new TestError({ message }));\n    }\n  });\n\n/**\n * Assert that a condition is false.\n */\nexport const assertFalse = (\n  condition: boolean,\n  message: string\n): Effect.Effect<void, TestError> =>\n  Effect.gen(function* () {\n    if (condition) {\n      yield* Effect.fail(new TestError({ message }));\n    }\n  });\n\n/**\n * Assert that a value is undefined.\n */\nexport const assertUndefined = (\n  value: unknown,\n  message: string\n): Effect.Effect<void, TestError> =>\n  Effect.gen(function* () {\n    if (value !== undefined) {\n      yield* Effect.fail(\n        new TestError({ message, expected: undefined, actual: value })\n      );\n    }\n  });\n\n/**\n * Assert that a value is defined (not undefined).\n */\nexport const assertDefined = <T>(\n  value: T | undefined,\n  message: string\n): Effect.Effect<T, TestError> =>\n  Effect.gen(function* () {\n    if (value === undefined) {\n      yield* Effect.fail(\n        new TestError({ message, expected: \"defined value\", actual: undefined })\n      );\n    }\n    return value as T;\n  });\n\n/**\n * Assert that an array has the expected length.\n */\nexport const assertLength = <T>(\n  array: T[],\n  expectedLength: number,\n  message: string\n): Effect.Effect<void, TestError> =>\n  Effect.gen(function* () {\n    if (array.length !== expectedLength) {\n      yield* Effect.fail(\n        new TestError({\n          message,\n          expected: expectedLength,\n          actual: array.length,\n        })\n      );\n    }\n  });\n\n/**\n * Assert that an array is empty.\n */\nexport const assertEmpty = <T>(\n  array: T[],\n  message: string\n): Effect.Effect<void, TestError> => assertLength(array, 0, message);\n\n/**\n * Assert that an array is sorted by a key.\n */\nexport const assertSortedBy = <T>(\n  array: T[],\n  key: keyof T,\n  message: string\n): Effect.Effect<void, TestError> =>\n  Effect.gen(function* () {\n    for (let i = 1; i < array.length; i++) {\n      const prev = array[i - 1]![key];\n      const curr = array[i]![key];\n      if (prev > curr) {\n        yield* Effect.fail(\n          new TestError({\n            message,\n            expected: `array sorted by ${String(key)}`,\n            actual: `element at index ${i - 1} (${prev}) > element at index ${i} (${curr})`,\n          })\n        );\n      }\n    }\n  });\n"],"mappings":";;;;;;;;;;;;AAeA,MAAa,eAAe,GAAY,MAAwB;AAC9D,KAAI,MAAM,EAAG,QAAO;AAEpB,KAAI,MAAM,QAAQ,MAAM,KAAM,QAAO,MAAM;AAC3C,KAAI,MAAM,UAAa,MAAM,OAAW,QAAO,MAAM;AAErD,KAAI,OAAO,MAAM,OAAO,EAAG,QAAO;AAElC,KAAI,OAAO,MAAM,YAAY,OAAO,MAAM,UAAU;AAClD,MAAI,OAAO,MAAM,EAAE,IAAI,OAAO,MAAM,EAAE,CAAE,QAAO;AAC/C,SAAO,MAAM;;AAGf,KAAI,MAAM,QAAQ,EAAE,IAAI,MAAM,QAAQ,EAAE,EAAE;AACxC,MAAI,EAAE,WAAW,EAAE,OAAQ,QAAO;AAClC,OAAK,IAAI,IAAI,GAAG,IAAI,EAAE,QAAQ,IAC5B,KAAI,CAAC,YAAY,EAAE,IAAI,EAAE,GAAG,CAAE,QAAO;AAEvC,SAAO;;AAGT,KAAI,OAAO,MAAM,YAAY,OAAO,MAAM,UAAU;EAClD,MAAM,OAAO;EACb,MAAM,OAAO;EACb,MAAM,QAAQ,OAAO,KAAK,KAAK;EAC/B,MAAM,QAAQ,OAAO,KAAK,KAAK;AAE/B,MAAI,MAAM,WAAW,MAAM,OAAQ,QAAO;AAE1C,OAAK,MAAM,OAAO,OAAO;AACvB,OAAI,CAAC,OAAO,UAAU,eAAe,KAAK,MAAM,IAAI,CAAE,QAAO;AAC7D,OAAI,CAAC,YAAY,KAAK,MAAM,KAAK,KAAK,CAAE,QAAO;;AAGjD,SAAO;;AAGT,QAAO;;;;;AAUT,MAAa,eACX,QACA,UACA,YAEA,OAAO,IAAI,aAAa;AACtB,KAAI,CAAC,YAAY,QAAQ,SAAS,CAChC,QAAO,OAAO,KAAK,IAAI,UAAU;EAAE;EAAS;EAAU;EAAQ,CAAC,CAAC;EAElE;;;;AAKJ,MAAa,cACX,WACA,YAEA,OAAO,IAAI,aAAa;AACtB,KAAI,CAAC,UACH,QAAO,OAAO,KAAK,IAAI,UAAU,EAAE,SAAS,CAAC,CAAC;EAEhD;;;;AAkBJ,MAAa,mBACX,OACA,YAEA,OAAO,IAAI,aAAa;AACtB,KAAI,UAAU,OACZ,QAAO,OAAO,KACZ,IAAI,UAAU;EAAE;EAAS,UAAU;EAAW,QAAQ;EAAO,CAAC,CAC/D;EAEH;;;;AAKJ,MAAa,iBACX,OACA,YAEA,OAAO,IAAI,aAAa;AACtB,KAAI,UAAU,OACZ,QAAO,OAAO,KACZ,IAAI,UAAU;EAAE;EAAS,UAAU;EAAiB,QAAQ;EAAW,CAAC,CACzE;AAEH,QAAO;EACP;;;;AAKJ,MAAa,gBACX,OACA,gBACA,YAEA,OAAO,IAAI,aAAa;AACtB,KAAI,MAAM,WAAW,eACnB,QAAO,OAAO,KACZ,IAAI,UAAU;EACZ;EACA,UAAU;EACV,QAAQ,MAAM;EACf,CAAC,CACH;EAEH;;;;AAKJ,MAAa,eACX,OACA,YACmC,aAAa,OAAO,GAAG,QAAQ;;;;AAKpE,MAAa,kBACX,OACA,KACA,YAEA,OAAO,IAAI,aAAa;AACtB,MAAK,IAAI,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;EACrC,MAAM,OAAO,MAAM,IAAI,GAAI;EAC3B,MAAM,OAAO,MAAM,GAAI;AACvB,MAAI,OAAO,KACT,QAAO,OAAO,KACZ,IAAI,UAAU;GACZ;GACA,UAAU,mBAAmB,OAAO,IAAI;GACxC,QAAQ,oBAAoB,IAAI,EAAE,IAAI,KAAK,uBAAuB,EAAE,IAAI,KAAK;GAC9E,CAAC,CACH;;EAGL"}

package/dist/testing/index.cjs

@@ -0,0 +1,14 @@
+const require_types = require('./types.cjs');
+const require_ColdStorageTestSuite = require('./ColdStorageTestSuite.cjs');
+const require_HotStorageTestSuite = require('./HotStorageTestSuite.cjs');
+const require_StorageIntegrationTestSuite = require('./StorageIntegrationTestSuite.cjs');
+const require_FailingStorage = require('./FailingStorage.cjs');
+
+exports.ColdStorageCategories = require_ColdStorageTestSuite.Categories;
+exports.ColdStorageTestSuite = require_ColdStorageTestSuite.ColdStorageTestSuite;
+exports.FailingStorage = require_FailingStorage.FailingStorage;
+exports.HotStorageCategories = require_HotStorageTestSuite.Categories;
+exports.HotStorageTestSuite = require_HotStorageTestSuite.HotStorageTestSuite;
+exports.IntegrationCategories = require_StorageIntegrationTestSuite.Categories;
+exports.StorageIntegrationTestSuite = require_StorageIntegrationTestSuite.StorageIntegrationTestSuite;
+exports.TestError = require_types.TestError;

package/dist/testing/index.d.cts

@@ -0,0 +1,6 @@
+import { FailedTest, StorageTestCase, TestError, TestResults } from "./types.cjs";
+import { Categories, ColdStorageTestError, ColdStorageTestSuite } from "./ColdStorageTestSuite.cjs";
+import { Categories as Categories$1, HotStorageTestError, HotStorageTestSuite } from "./HotStorageTestSuite.cjs";
+import { Categories as Categories$2, StorageIntegrationTestSuite } from "./StorageIntegrationTestSuite.cjs";
+import { FailingColdStorageConfig, FailingHotStorageConfig, FailingStorage } from "./FailingStorage.cjs";
+export { Categories as ColdStorageCategories, type ColdStorageTestError, ColdStorageTestSuite, type FailedTest, type FailingColdStorageConfig, type FailingHotStorageConfig, FailingStorage, Categories$1 as HotStorageCategories, type HotStorageTestError, HotStorageTestSuite, Categories$2 as IntegrationCategories, StorageIntegrationTestSuite, type StorageTestCase, TestError, type TestResults };

package/dist/testing/index.d.mts

@@ -0,0 +1,6 @@
+import { FailedTest, StorageTestCase, TestError, TestResults } from "./types.mjs";
+import { Categories, ColdStorageTestError, ColdStorageTestSuite } from "./ColdStorageTestSuite.mjs";
+import { Categories as Categories$1, HotStorageTestError, HotStorageTestSuite } from "./HotStorageTestSuite.mjs";
+import { Categories as Categories$2, StorageIntegrationTestSuite } from "./StorageIntegrationTestSuite.mjs";
+import { FailingColdStorageConfig, FailingHotStorageConfig, FailingStorage } from "./FailingStorage.mjs";
+export { Categories as ColdStorageCategories, type ColdStorageTestError, ColdStorageTestSuite, type FailedTest, type FailingColdStorageConfig, type FailingHotStorageConfig, FailingStorage, Categories$1 as HotStorageCategories, type HotStorageTestError, HotStorageTestSuite, Categories$2 as IntegrationCategories, StorageIntegrationTestSuite, type StorageTestCase, TestError, type TestResults };