@voidhash/mimic-effect 1.0.0-beta.15 → 1.0.0-beta.17

package/dist/ColdStorage.cjs

@@ -9,7 +9,7 @@ let effect = require("effect");
 /**
 * Context tag for ColdStorage service
 */
-var ColdStorageTag = class extends effect.Context.Tag("@voidhash/mimic-effect/ColdStorage")() {};
+var ColdStorageTag = class extends effect.ServiceMap.Service()("@voidhash/mimic-effect/ColdStorage") {};
 /**
 * Create a ColdStorage layer from an Effect that produces a ColdStorage service.
 *

package/dist/ColdStorage.d.cts

@@ -1,6 +1,6 @@
 import { StoredDocument } from "./Types.cjs";
 import { ColdStorageError } from "./Errors.cjs";
-import { Context, Effect, Layer } from "effect";
+import { Effect, Layer, ServiceMap } from "effect";
 
 //#region src/ColdStorage.d.ts
 
@@ -26,7 +26,7 @@ interface ColdStorage {
    */
   readonly delete: (documentId: string) => Effect.Effect<void, ColdStorageError>;
 }
-declare const ColdStorageTag_base: Context.TagClass<ColdStorageTag, "@voidhash/mimic-effect/ColdStorage", ColdStorage>;
+declare const ColdStorageTag_base: ServiceMap.ServiceClass<ColdStorageTag, "@voidhash/mimic-effect/ColdStorage", ColdStorage>;
 /**
  * Context tag for ColdStorage service
  */

package/dist/ColdStorage.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"ColdStorage.d.cts","names":[],"sources":["../src/ColdStorage.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;;AA2CC,UAvBgB,WAAA,CAuBhB;;;;;EASY,SAAA,IAAA,EAAA,CAAA,UAAe,EAAA,MAAQ,EAAA,GAzB7B,MAAA,CAAO,MA4BX,CA5BkB,cA4BlB,GAAA,SAAA,EA5B8C,gBA4B9C,CAAA;EA4Cc;AAyCjB;;EAvDwB,SAAA,IAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,QAAA,EAnDV,cAmDU,EAAA,GAlDjB,MAAA,CAAO,MAkDU,CAAA,IAAA,EAlDG,gBAkDH,CAAA;EAAa;;;EACtB,SAAA,MAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,GA5CR,MAAA,CAAO,MA4CC,CAAA,IAAA,EA5CY,gBA4CZ,CAAA;;cA3Cd,mBA2CiC,kBAAA,eAAA,EAAA,oCAAA,aAAA,CAAA;;;;cAlCrB,cAAA,SAAuB,mBAAA;;;;;;;kBA+CnB,QAAA;;;;oBAIS,KAAA,CAAM,MAAM;;cAqCzB;;uBAvDH,MAAA,CAAO,OAAO,aAAa,GAAG,OACrC,KAAA,CAAM,MAAM,gBAAgB,GAAG"}
+{"version":3,"file":"ColdStorage.d.cts","names":[],"sources":["../src/ColdStorage.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;;AA2CC,UAvBgB,WAAA,CAuBhB;;;;;EASY,SAAA,IAAA,EAAA,CAAA,UAAe,EAAA,MAAQ,EAAA,GAzB7B,MAAA,CAAO,MA2Bb,CA3BoB,cA2BpB,GAAA,SAAA,EA3BgD,gBA2BhD,CAAA;EA4CgB;AAyCjB;;EAvDwB,SAAA,IAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,QAAA,EAlDV,cAkDU,EAAA,GAjDjB,MAAA,CAAO,MAiDU,CAAA,IAAA,EAjDG,gBAiDH,CAAA;EAAa;;;EACtB,SAAA,MAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,GA3CR,MAAA,CAAO,MA2CC,CAAA,IAAA,EA3CY,gBA2CZ,CAAA;;cA1Cd,mBA0CiC,yBAAA,eAAA,EAAA,oCAAA,aAAA,CAAA;;;;cAjCrB,cAAA,SAAuB,mBAAA;;;;;;;kBA8CnB,QAAA;;;;oBAIS,KAAA,CAAM,MAAM;;cAqCzB;;uBAvDH,MAAA,CAAO,OAAO,aAAa,GAAG,OACrC,KAAA,CAAM,MAAM,gBAAgB,GAAG"}

package/dist/ColdStorage.d.mts

@@ -1,6 +1,6 @@
 import { StoredDocument } from "./Types.mjs";
 import { ColdStorageError } from "./Errors.mjs";
-import { Context, Effect, Layer } from "effect";
+import { Effect, Layer, ServiceMap } from "effect";
 
 //#region src/ColdStorage.d.ts
 
@@ -26,7 +26,7 @@ interface ColdStorage {
    */
   readonly delete: (documentId: string) => Effect.Effect<void, ColdStorageError>;
 }
-declare const ColdStorageTag_base: Context.TagClass<ColdStorageTag, "@voidhash/mimic-effect/ColdStorage", ColdStorage>;
+declare const ColdStorageTag_base: ServiceMap.ServiceClass<ColdStorageTag, "@voidhash/mimic-effect/ColdStorage", ColdStorage>;
 /**
  * Context tag for ColdStorage service
  */

package/dist/ColdStorage.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"ColdStorage.d.mts","names":[],"sources":["../src/ColdStorage.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;;AA2CC,UAvBgB,WAAA,CAuBhB;;;;;EASY,SAAA,IAAA,EAAA,CAAA,UAAe,EAAA,MAAQ,EAAA,GAzB7B,MAAA,CAAO,MA4BX,CA5BkB,cA4BlB,GAAA,SAAA,EA5B8C,gBA4B9C,CAAA;EA4Cc;AAyCjB;;EAvDwB,SAAA,IAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,QAAA,EAnDV,cAmDU,EAAA,GAlDjB,MAAA,CAAO,MAkDU,CAAA,IAAA,EAlDG,gBAkDH,CAAA;EAAa;;;EACtB,SAAA,MAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,GA5CR,MAAA,CAAO,MA4CC,CAAA,IAAA,EA5CY,gBA4CZ,CAAA;;cA3Cd,mBA2CiC,kBAAA,eAAA,EAAA,oCAAA,aAAA,CAAA;;;;cAlCrB,cAAA,SAAuB,mBAAA;;;;;;;kBA+CnB,QAAA;;;;oBAIS,KAAA,CAAM,MAAM;;cAqCzB;;uBAvDH,MAAA,CAAO,OAAO,aAAa,GAAG,OACrC,KAAA,CAAM,MAAM,gBAAgB,GAAG"}
+{"version":3,"file":"ColdStorage.d.mts","names":[],"sources":["../src/ColdStorage.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;;AA2CC,UAvBgB,WAAA,CAuBhB;;;;;EASY,SAAA,IAAA,EAAA,CAAA,UAAe,EAAA,MAAQ,EAAA,GAzB7B,MAAA,CAAO,MA2Bb,CA3BoB,cA2BpB,GAAA,SAAA,EA3BgD,gBA2BhD,CAAA;EA4CgB;AAyCjB;;EAvDwB,SAAA,IAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,QAAA,EAlDV,cAkDU,EAAA,GAjDjB,MAAA,CAAO,MAiDU,CAAA,IAAA,EAjDG,gBAiDH,CAAA;EAAa;;;EACtB,SAAA,MAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,GA3CR,MAAA,CAAO,MA2CC,CAAA,IAAA,EA3CY,gBA2CZ,CAAA;;cA1Cd,mBA0CiC,yBAAA,eAAA,EAAA,oCAAA,aAAA,CAAA;;;;cAjCrB,cAAA,SAAuB,mBAAA;;;;;;;kBA8CnB,QAAA;;;;oBAIS,KAAA,CAAM,MAAM;;cAqCzB;;uBAvDH,MAAA,CAAO,OAAO,aAAa,GAAG,OACrC,KAAA,CAAM,MAAM,gBAAgB,GAAG"}

package/dist/ColdStorage.mjs

@@ -1,4 +1,4 @@
-import { Context, Effect, HashMap, Layer, Ref } from "effect";
+import { Effect, HashMap, Layer, Ref, ServiceMap } from "effect";
 
 //#region src/ColdStorage.ts
 /**
@@ -9,7 +9,7 @@ import { Context, Effect, HashMap, Layer, Ref } from "effect";
 /**
 * Context tag for ColdStorage service
 */
-var ColdStorageTag = class extends Context.Tag("@voidhash/mimic-effect/ColdStorage")() {};
+var ColdStorageTag = class extends ServiceMap.Service()("@voidhash/mimic-effect/ColdStorage") {};
 /**
 * Create a ColdStorage layer from an Effect that produces a ColdStorage service.
 *

package/dist/ColdStorage.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"ColdStorage.mjs","names":[],"sources":["../src/ColdStorage.ts"],"sourcesContent":["/**\n * @voidhash/mimic-effect - ColdStorage\n *\n * Interface and implementations for document snapshot storage.\n */\nimport { Context, Effect, HashMap, Layer, Ref } from \"effect\";\nimport type { StoredDocument } from \"./Types\";\nimport { ColdStorageError } from \"./Errors\";\n\n// =============================================================================\n// ColdStorage Interface\n// =============================================================================\n\n/**\n * ColdStorage interface for storing document snapshots.\n *\n * This is the \"cold\" tier of the two-tier storage system.\n * It stores complete document snapshots less frequently (on periodic intervals\n * or after a threshold of transactions).\n */\nexport interface ColdStorage {\n  /**\n   * Load a document snapshot.\n   * Returns undefined if the document doesn't exist.\n   */\n  readonly load: (\n    documentId: string\n  ) => Effect.Effect<StoredDocument | undefined, ColdStorageError>;\n\n  /**\n   * Save a document snapshot.\n   */\n  readonly save: (\n    documentId: string,\n    document: StoredDocument\n  ) => Effect.Effect<void, ColdStorageError>;\n\n  /**\n   * Delete a document snapshot.\n   */\n  readonly delete: (\n    documentId: string\n  ) => Effect.Effect<void, ColdStorageError>;\n}\n\n// =============================================================================\n// Context Tag\n// =============================================================================\n\n/**\n * Context tag for ColdStorage service\n */\nexport class ColdStorageTag extends Context.Tag(\"@voidhash/mimic-effect/ColdStorage\")<\n  ColdStorageTag,\n  ColdStorage\n>() {}\n\n// =============================================================================\n// Factory\n// =============================================================================\n\n/**\n * Create a ColdStorage layer from an Effect that produces a ColdStorage service.\n *\n * This allows you to access other Effect services when implementing custom storage.\n *\n * @example\n * ```typescript\n * const Cold = ColdStorage.make(\n *   Effect.gen(function*() {\n *     const redis = yield* RedisService\n *\n *     return {\n *       load: (documentId) => redis.get(`doc:${documentId}`).pipe(\n *         Effect.map(data => data ? JSON.parse(data) : undefined)\n *       ),\n *       save: (documentId, document) =>\n *         redis.set(`doc:${documentId}`, JSON.stringify(document)),\n *       delete: (documentId) => redis.del(`doc:${documentId}`),\n *     }\n *   })\n * )\n * ```\n */\nexport const make = <E, R>(\n  effect: Effect.Effect<ColdStorage, E, R>\n): Layer.Layer<ColdStorageTag, E, R> =>\n  Layer.effect(ColdStorageTag, effect);\n\n// =============================================================================\n// InMemory Implementation\n// =============================================================================\n\n/**\n * In-memory ColdStorage implementation.\n *\n * Useful for testing and development. Not suitable for production\n * as data is lost when the process restarts.\n */\nexport namespace InMemory {\n  /**\n   * Create an in-memory ColdStorage layer.\n   */\n  export const make = (): Layer.Layer<ColdStorageTag> =>\n    Layer.effect(\n      ColdStorageTag,\n      Effect.fn(\"cold-storage.in-memory.create\")(function* () {\n        const store = yield* Ref.make(HashMap.empty<string, StoredDocument>());\n\n        return {\n          load: Effect.fn(\"cold-storage.load\")(function* (documentId: string) {\n            const current = yield* Ref.get(store);\n            const result = HashMap.get(current, documentId);\n            return result._tag === \"Some\" ? result.value : undefined;\n          }),\n\n          save: Effect.fn(\"cold-storage.save\")(\n            function* (documentId: string, document: StoredDocument) {\n              yield* Ref.update(store, (map) =>\n                HashMap.set(map, documentId, document)\n              );\n            }\n          ),\n\n          delete: Effect.fn(\"cold-storage.delete\")(\n            function* (documentId: string) {\n              yield* Ref.update(store, (map) =>\n                HashMap.remove(map, documentId)\n              );\n            }\n          ),\n        };\n      })()\n    );\n}\n\n// =============================================================================\n// Re-export namespace\n// =============================================================================\n\nexport const ColdStorage = {\n  Tag: ColdStorageTag,\n  make,\n  InMemory,\n};\n"],"mappings":";;;;;;;;;;;AAoDA,IAAa,iBAAb,cAAoC,QAAQ,IAAI,qCAAqC,EAGlF,CAAC;;;;;;;;;;;;;;;;;;;;;;;;AA6BJ,MAAa,QACX,WAEA,MAAM,OAAO,gBAAgB,OAAO;;;wBAiBlC,MAAM,OACJ,gBACA,OAAO,GAAG,gCAAgC,CAAC,aAAa;EACtD,MAAM,QAAQ,OAAO,IAAI,KAAK,QAAQ,OAA+B,CAAC;AAEtE,SAAO;GACL,MAAM,OAAO,GAAG,oBAAoB,CAAC,WAAW,YAAoB;IAClE,MAAM,UAAU,OAAO,IAAI,IAAI,MAAM;IACrC,MAAM,SAAS,QAAQ,IAAI,SAAS,WAAW;AAC/C,WAAO,OAAO,SAAS,SAAS,OAAO,QAAQ;KAC/C;GAEF,MAAM,OAAO,GAAG,oBAAoB,CAClC,WAAW,YAAoB,UAA0B;AACvD,WAAO,IAAI,OAAO,QAAQ,QACxB,QAAQ,IAAI,KAAK,YAAY,SAAS,CACvC;KAEJ;GAED,QAAQ,OAAO,GAAG,sBAAsB,CACtC,WAAW,YAAoB;AAC7B,WAAO,IAAI,OAAO,QAAQ,QACxB,QAAQ,OAAO,KAAK,WAAW,CAChC;KAEJ;GACF;GACD,EAAE,CACL;;AAOL,MAAa,cAAc;CACzB,KAAK;CACL;CACA;CACD"}
+{"version":3,"file":"ColdStorage.mjs","names":[],"sources":["../src/ColdStorage.ts"],"sourcesContent":["/**\n * @voidhash/mimic-effect - ColdStorage\n *\n * Interface and implementations for document snapshot storage.\n */\nimport { Effect, HashMap, Layer, Ref, ServiceMap } from \"effect\";\nimport type { StoredDocument } from \"./Types\";\nimport { ColdStorageError } from \"./Errors\";\n\n// =============================================================================\n// ColdStorage Interface\n// =============================================================================\n\n/**\n * ColdStorage interface for storing document snapshots.\n *\n * This is the \"cold\" tier of the two-tier storage system.\n * It stores complete document snapshots less frequently (on periodic intervals\n * or after a threshold of transactions).\n */\nexport interface ColdStorage {\n  /**\n   * Load a document snapshot.\n   * Returns undefined if the document doesn't exist.\n   */\n  readonly load: (\n    documentId: string\n  ) => Effect.Effect<StoredDocument | undefined, ColdStorageError>;\n\n  /**\n   * Save a document snapshot.\n   */\n  readonly save: (\n    documentId: string,\n    document: StoredDocument\n  ) => Effect.Effect<void, ColdStorageError>;\n\n  /**\n   * Delete a document snapshot.\n   */\n  readonly delete: (\n    documentId: string\n  ) => Effect.Effect<void, ColdStorageError>;\n}\n\n// =============================================================================\n// Context Tag\n// =============================================================================\n\n/**\n * Context tag for ColdStorage service\n */\nexport class ColdStorageTag extends ServiceMap.Service<ColdStorageTag, ColdStorage>()(\n  \"@voidhash/mimic-effect/ColdStorage\"\n) {}\n\n// =============================================================================\n// Factory\n// =============================================================================\n\n/**\n * Create a ColdStorage layer from an Effect that produces a ColdStorage service.\n *\n * This allows you to access other Effect services when implementing custom storage.\n *\n * @example\n * ```typescript\n * const Cold = ColdStorage.make(\n *   Effect.gen(function*() {\n *     const redis = yield* RedisService\n *\n *     return {\n *       load: (documentId) => redis.get(`doc:${documentId}`).pipe(\n *         Effect.map(data => data ? JSON.parse(data) : undefined)\n *       ),\n *       save: (documentId, document) =>\n *         redis.set(`doc:${documentId}`, JSON.stringify(document)),\n *       delete: (documentId) => redis.del(`doc:${documentId}`),\n *     }\n *   })\n * )\n * ```\n */\nexport const make = <E, R>(\n  effect: Effect.Effect<ColdStorage, E, R>\n): Layer.Layer<ColdStorageTag, E, R> =>\n  Layer.effect(ColdStorageTag, effect);\n\n// =============================================================================\n// InMemory Implementation\n// =============================================================================\n\n/**\n * In-memory ColdStorage implementation.\n *\n * Useful for testing and development. Not suitable for production\n * as data is lost when the process restarts.\n */\nexport namespace InMemory {\n  /**\n   * Create an in-memory ColdStorage layer.\n   */\n  export const make = (): Layer.Layer<ColdStorageTag> =>\n    Layer.effect(\n      ColdStorageTag,\n      Effect.fn(\"cold-storage.in-memory.create\")(function* () {\n        const store = yield* Ref.make(HashMap.empty<string, StoredDocument>());\n\n        return {\n          load: Effect.fn(\"cold-storage.load\")(function* (documentId: string) {\n            const current = yield* Ref.get(store);\n            const result = HashMap.get(current, documentId);\n            return result._tag === \"Some\" ? result.value : undefined;\n          }),\n\n          save: Effect.fn(\"cold-storage.save\")(\n            function* (documentId: string, document: StoredDocument) {\n              yield* Ref.update(store, (map) =>\n                HashMap.set(map, documentId, document)\n              );\n            }\n          ),\n\n          delete: Effect.fn(\"cold-storage.delete\")(\n            function* (documentId: string) {\n              yield* Ref.update(store, (map) =>\n                HashMap.remove(map, documentId)\n              );\n            }\n          ),\n        };\n      })()\n    );\n}\n\n// =============================================================================\n// Re-export namespace\n// =============================================================================\n\nexport const ColdStorage = {\n  Tag: ColdStorageTag,\n  make,\n  InMemory,\n};\n"],"mappings":";;;;;;;;;;;AAoDA,IAAa,iBAAb,cAAoC,WAAW,SAAsC,CACnF,qCACD,CAAC;;;;;;;;;;;;;;;;;;;;;;;;AA6BF,MAAa,QACX,WAEA,MAAM,OAAO,gBAAgB,OAAO;;;wBAiBlC,MAAM,OACJ,gBACA,OAAO,GAAG,gCAAgC,CAAC,aAAa;EACtD,MAAM,QAAQ,OAAO,IAAI,KAAK,QAAQ,OAA+B,CAAC;AAEtE,SAAO;GACL,MAAM,OAAO,GAAG,oBAAoB,CAAC,WAAW,YAAoB;IAClE,MAAM,UAAU,OAAO,IAAI,IAAI,MAAM;IACrC,MAAM,SAAS,QAAQ,IAAI,SAAS,WAAW;AAC/C,WAAO,OAAO,SAAS,SAAS,OAAO,QAAQ;KAC/C;GAEF,MAAM,OAAO,GAAG,oBAAoB,CAClC,WAAW,YAAoB,UAA0B;AACvD,WAAO,IAAI,OAAO,QAAQ,QACxB,QAAQ,IAAI,KAAK,YAAY,SAAS,CACvC;KAEJ;GAED,QAAQ,OAAO,GAAG,sBAAsB,CACtC,WAAW,YAAoB;AAC7B,WAAO,IAAI,OAAO,QAAQ,QACxB,QAAQ,OAAO,KAAK,WAAW,CAChC;KAEJ;GACF;GACD,EAAE,CACL;;AAOL,MAAa,cAAc;CACzB,KAAK;CACL;CACA;CACD"}

package/dist/DocumentInstance.cjs

@@ -68,9 +68,9 @@ const make = (documentId, config, coldStorage, hotStorage) => effect.Effect.gen(
 	const walEntries = yield* hotStorage.getEntries(documentId, initialVersion);
 	yield* verifyWalContinuity(documentId, walEntries, initialVersion);
 	yield* replayWalEntries(documentId, document, walEntries);
-	if (storedDoc) yield* effect.Metric.increment(require_Metrics.documentsRestored);
-	else yield* effect.Metric.increment(require_Metrics.documentsCreated);
-	yield* effect.Metric.incrementBy(require_Metrics.documentsActive, 1);
+	if (storedDoc) yield* effect.Metric.update(require_Metrics.documentsRestored, 1);
+	else yield* effect.Metric.update(require_Metrics.documentsCreated, 1);
+	yield* effect.Metric.update(require_Metrics.documentsActive, 1);
 	const getSnapshotTracking = effect.Effect.gen(function* () {
 		return {
 			lastSnapshotVersion: yield* effect.Ref.get(lastSnapshotVersionRef),
@@ -94,12 +94,12 @@ const make = (documentId, config, coldStorage, hotStorage) => effect.Effect.gen(
 		const storedDoc$1 = createStoredDocument(snapshotResult.state, snapshotResult.version, SCHEMA_VERSION);
 		yield* coldStorage.save(documentId, storedDoc$1);
 		const snapshotDuration = Date.now() - snapshotStartTime;
-		yield* effect.Metric.increment(require_Metrics.storageSnapshots);
+		yield* effect.Metric.update(require_Metrics.storageSnapshots, 1);
 		yield* effect.Metric.update(require_Metrics.storageSnapshotLatency, snapshotDuration);
 		yield* effect.Ref.set(lastSnapshotVersionRef, snapshotResult.version);
 		yield* effect.Ref.set(lastSnapshotTimeRef, Date.now());
 		yield* effect.Ref.set(transactionsSinceSnapshotRef, 0);
-		yield* effect.Effect.catchAll(hotStorage.truncate(documentId, snapshotResult.version), (e) => effect.Effect.logWarning("WAL truncate failed - will retry on next snapshot", {
+		yield* effect.Effect["catch"](hotStorage.truncate(documentId, snapshotResult.version), (e) => effect.Effect.logWarning("WAL truncate failed - will retry on next snapshot", {
 			documentId,
 			version: snapshotResult.version,
 			error: e
@@ -113,7 +113,7 @@ const make = (documentId, config, coldStorage, hotStorage) => effect.Effect.gen(
 		yield* effect.Ref.set(lastActivityTimeRef, Date.now());
 		const validation = document.validate(transaction);
 		if (!validation.valid) {
-			yield* effect.Metric.increment(require_Metrics.transactionsRejected);
+			yield* effect.Metric.update(require_Metrics.transactionsRejected, 1);
 			const latency$1 = Date.now() - submitStartTime;
 			yield* effect.Metric.update(require_Metrics.transactionsLatency, latency$1);
 			return {
@@ -127,14 +127,14 @@ const make = (documentId, config, coldStorage, hotStorage) => effect.Effect.gen(
 			timestamp: Date.now()
 		};
 		const snapshotVersion = yield* effect.Ref.get(lastSnapshotVersionRef);
-		const appendResult = yield* effect.Effect.either(hotStorage.appendWithCheck(documentId, walEntry, validation.nextVersion, snapshotVersion));
-		if (appendResult._tag === "Left") {
+		const appendResult = yield* effect.Effect.result(hotStorage.appendWithCheck(documentId, walEntry, validation.nextVersion, snapshotVersion));
+		if (appendResult._tag === "Failure") {
 			yield* effect.Effect.logError("WAL append failed", {
 				documentId,
 				version: validation.nextVersion,
-				error: appendResult.left
+				error: appendResult.failure
 			});
-			yield* effect.Metric.increment(require_Metrics.walAppendFailures);
+			yield* effect.Metric.update(require_Metrics.walAppendFailures, 1);
 			const latency$1 = Date.now() - submitStartTime;
 			yield* effect.Metric.update(require_Metrics.transactionsLatency, latency$1);
 			return {
@@ -145,8 +145,8 @@ const make = (documentId, config, coldStorage, hotStorage) => effect.Effect.gen(
 		document.apply(transaction);
 		const latency = Date.now() - submitStartTime;
 		yield* effect.Metric.update(require_Metrics.transactionsLatency, latency);
-		yield* effect.Metric.increment(require_Metrics.transactionsProcessed);
-		yield* effect.Metric.increment(require_Metrics.storageWalAppends);
+		yield* effect.Metric.update(require_Metrics.transactionsProcessed, 1);
+		yield* effect.Metric.update(require_Metrics.storageWalAppends, 1);
 		yield* effect.Ref.update(transactionsSinceSnapshotRef, (n) => n + 1);
 		yield* checkSnapshotTriggers();
 		return {
@@ -196,7 +196,7 @@ const verifyWalContinuity = effect.Effect.fn("document.wal.verify")(function* (d
 			firstWalVersion,
 			expectedFirst
 		});
-		yield* effect.Metric.increment(require_Metrics.storageVersionGaps);
+		yield* effect.Metric.update(require_Metrics.storageVersionGaps, 1);
 	}
 	for (let i = 1; i < walEntries.length; i++) {
 		const prev = walEntries[i - 1].version;

package/dist/DocumentInstance.mjs

@@ -68,9 +68,9 @@ const make = (documentId, config, coldStorage, hotStorage) => Effect.gen(functio
 	const walEntries = yield* hotStorage.getEntries(documentId, initialVersion);
 	yield* verifyWalContinuity(documentId, walEntries, initialVersion);
 	yield* replayWalEntries(documentId, document, walEntries);
-	if (storedDoc) yield* Metric.increment(documentsRestored);
-	else yield* Metric.increment(documentsCreated);
-	yield* Metric.incrementBy(documentsActive, 1);
+	if (storedDoc) yield* Metric.update(documentsRestored, 1);
+	else yield* Metric.update(documentsCreated, 1);
+	yield* Metric.update(documentsActive, 1);
 	const getSnapshotTracking = Effect.gen(function* () {
 		return {
 			lastSnapshotVersion: yield* Ref.get(lastSnapshotVersionRef),
@@ -94,12 +94,12 @@ const make = (documentId, config, coldStorage, hotStorage) => Effect.gen(functio
 		const storedDoc$1 = createStoredDocument(snapshotResult.state, snapshotResult.version, SCHEMA_VERSION);
 		yield* coldStorage.save(documentId, storedDoc$1);
 		const snapshotDuration = Date.now() - snapshotStartTime;
-		yield* Metric.increment(storageSnapshots);
+		yield* Metric.update(storageSnapshots, 1);
 		yield* Metric.update(storageSnapshotLatency, snapshotDuration);
 		yield* Ref.set(lastSnapshotVersionRef, snapshotResult.version);
 		yield* Ref.set(lastSnapshotTimeRef, Date.now());
 		yield* Ref.set(transactionsSinceSnapshotRef, 0);
-		yield* Effect.catchAll(hotStorage.truncate(documentId, snapshotResult.version), (e) => Effect.logWarning("WAL truncate failed - will retry on next snapshot", {
+		yield* Effect["catch"](hotStorage.truncate(documentId, snapshotResult.version), (e) => Effect.logWarning("WAL truncate failed - will retry on next snapshot", {
 			documentId,
 			version: snapshotResult.version,
 			error: e
@@ -113,7 +113,7 @@ const make = (documentId, config, coldStorage, hotStorage) => Effect.gen(functio
 		yield* Ref.set(lastActivityTimeRef, Date.now());
 		const validation = document.validate(transaction);
 		if (!validation.valid) {
-			yield* Metric.increment(transactionsRejected);
+			yield* Metric.update(transactionsRejected, 1);
 			const latency$1 = Date.now() - submitStartTime;
 			yield* Metric.update(transactionsLatency, latency$1);
 			return {
@@ -127,14 +127,14 @@ const make = (documentId, config, coldStorage, hotStorage) => Effect.gen(functio
 			timestamp: Date.now()
 		};
 		const snapshotVersion = yield* Ref.get(lastSnapshotVersionRef);
-		const appendResult = yield* Effect.either(hotStorage.appendWithCheck(documentId, walEntry, validation.nextVersion, snapshotVersion));
-		if (appendResult._tag === "Left") {
+		const appendResult = yield* Effect.result(hotStorage.appendWithCheck(documentId, walEntry, validation.nextVersion, snapshotVersion));
+		if (appendResult._tag === "Failure") {
 			yield* Effect.logError("WAL append failed", {
 				documentId,
 				version: validation.nextVersion,
-				error: appendResult.left
+				error: appendResult.failure
 			});
-			yield* Metric.increment(walAppendFailures);
+			yield* Metric.update(walAppendFailures, 1);
 			const latency$1 = Date.now() - submitStartTime;
 			yield* Metric.update(transactionsLatency, latency$1);
 			return {
@@ -145,8 +145,8 @@ const make = (documentId, config, coldStorage, hotStorage) => Effect.gen(functio
 		document.apply(transaction);
 		const latency = Date.now() - submitStartTime;
 		yield* Metric.update(transactionsLatency, latency);
-		yield* Metric.increment(transactionsProcessed);
-		yield* Metric.increment(storageWalAppends);
+		yield* Metric.update(transactionsProcessed, 1);
+		yield* Metric.update(storageWalAppends, 1);
 		yield* Ref.update(transactionsSinceSnapshotRef, (n) => n + 1);
 		yield* checkSnapshotTriggers();
 		return {
@@ -196,7 +196,7 @@ const verifyWalContinuity = Effect.fn("document.wal.verify")(function* (document
 			firstWalVersion,
 			expectedFirst
 		});
-		yield* Metric.increment(storageVersionGaps);
+		yield* Metric.update(storageVersionGaps, 1);
 	}
 	for (let i = 1; i < walEntries.length; i++) {
 		const prev = walEntries[i - 1].version;

package/dist/DocumentInstance.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"DocumentInstance.mjs","names":["initialState: Primitive.InferState<TSchema> | undefined","initial: Primitive.InferSetInput<TSchema> | undefined","Metrics.documentsRestored","Metrics.documentsCreated","Metrics.documentsActive","walEntries","storedDoc","Metrics.storageSnapshots","Metrics.storageSnapshotLatency","Metrics.transactionsRejected","latency","Metrics.transactionsLatency","walEntry: WalEntry","Metrics.walAppendFailures","Metrics.transactionsProcessed","Metrics.storageWalAppends","Metrics.storageVersionGaps","snapshotState: Primitive.InferState<TSchema> | undefined"],"sources":["../src/DocumentInstance.ts"],"sourcesContent":["/**\n * @voidhash/mimic-effect - DocumentInstance\n *\n * Manages the lifecycle of a single document including:\n * - Restoration from storage (cold storage + WAL replay)\n * - Transaction submission with WAL persistence\n * - Snapshot saving and trigger checking\n *\n * Used by both MimicServerEngine (single-node) and MimicClusterServerEngine (clustered).\n */\nimport { Duration, Effect, Metric, PubSub, Ref } from \"effect\";\nimport { Document, type Primitive, type Transaction } from \"@voidhash/mimic\";\nimport { ServerDocument } from \"@voidhash/mimic/server\";\nimport type { StoredDocument, WalEntry } from \"./Types\";\nimport type { ServerBroadcast } from \"./Protocol\";\nimport type { ColdStorage } from \"./ColdStorage\";\nimport type { HotStorage } from \"./HotStorage\";\nimport type { ColdStorageError } from \"./Errors\";\nimport type { HotStorageError } from \"./Errors\";\nimport * as Metrics from \"./Metrics\";\n\n// =============================================================================\n// Types\n// =============================================================================\n\n/**\n * Result of submitting a transaction\n */\nexport type SubmitResult =\n  | { readonly success: true; readonly version: number }\n  | { readonly success: false; readonly reason: string };\n\n/**\n * Configuration for a DocumentInstance\n */\nexport interface DocumentInstanceConfig<TSchema extends Primitive.AnyPrimitive> {\n  readonly schema: TSchema;\n  readonly initial?:\n    | Primitive.InferSetInput<TSchema>\n    | ((ctx: { documentId: string }) => Effect.Effect<Primitive.InferSetInput<TSchema>>);\n  readonly maxTransactionHistory: number;\n  readonly snapshot: {\n    readonly interval: Duration.Duration;\n    readonly transactionThreshold: number;\n  };\n}\n\n/**\n * Snapshot tracking state\n */\nexport interface SnapshotTracking {\n  readonly lastSnapshotVersion: number;\n  readonly lastSnapshotTime: number;\n  readonly transactionsSinceSnapshot: number;\n}\n\n/**\n * A DocumentInstance manages a single document's lifecycle\n */\nexport interface DocumentInstance<TSchema extends Primitive.AnyPrimitive> {\n  /** The underlying ServerDocument */\n  readonly document: ServerDocument.ServerDocument<TSchema>;\n  /** PubSub for broadcasting messages to subscribers */\n  readonly pubsub: PubSub.PubSub<ServerBroadcast>;\n  /** Current snapshot tracking state */\n  readonly getSnapshotTracking: Effect.Effect<SnapshotTracking>;\n  /** Submit a transaction */\n  readonly submit: (transaction: Transaction.Transaction) => Effect.Effect<SubmitResult, ColdStorageError | HotStorageError>;\n  /** Save a snapshot to cold storage */\n  readonly saveSnapshot: () => Effect.Effect<void, ColdStorageError | HotStorageError>;\n  /** Check if snapshot should be triggered and save if needed */\n  readonly checkSnapshotTriggers: () => Effect.Effect<void, ColdStorageError | HotStorageError>;\n  /** Update last activity time (for external tracking) */\n  readonly touch: () => Effect.Effect<void>;\n  /** Get current document version */\n  readonly getVersion: () => number;\n  /** Get document snapshot (flat state format) */\n  readonly getSnapshot: () => { state: unknown; version: number };\n  /**\n   * Get tree-like snapshot for rendering.\n   * The snapshot is a type-safe, readonly structure where trees\n   * are converted from flat state to nested/hierarchical structure.\n   */\n  readonly toSnapshot: () => Primitive.InferSnapshot<TSchema>;\n  /** Check if document has unsnapshot transactions that need persisting */\n  readonly needsSnapshot: () => Effect.Effect<boolean>;\n  /** Get the last activity timestamp for idle detection */\n  readonly getLastActivityTime: () => Effect.Effect<number>;\n}\n\n// =============================================================================\n// Factory\n// =============================================================================\n\n/**\n * Create a DocumentInstance for a single document.\n *\n * This handles:\n * - Loading from cold storage or computing initial state\n * - Persisting initial state immediately (crash safety)\n * - Replaying WAL entries\n * - Transaction submission with WAL persistence\n * - Snapshot saving\n */\nexport const make = <TSchema extends Primitive.AnyPrimitive>(\n  documentId: string,\n  config: DocumentInstanceConfig<TSchema>,\n  coldStorage: ColdStorage,\n  hotStorage: HotStorage\n): Effect.Effect<DocumentInstance<TSchema>, ColdStorageError | HotStorageError> =>\n  Effect.gen(function* () {\n    // Current schema version (hard-coded to 1 for now)\n    const SCHEMA_VERSION = 1;\n\n    // 1. Load snapshot from ColdStorage\n    const storedDoc = yield* coldStorage.load(documentId);\n\n    // Track initial values - only one will be set:\n    // - initialState: raw state from storage (already in internal format)\n    // - initial: computed from config (needs conversion to state format)\n    let initialState: Primitive.InferState<TSchema> | undefined;\n    let initial: Primitive.InferSetInput<TSchema> | undefined;\n    let initialVersion = 0;\n\n    if (storedDoc) {\n      // Loading from storage - state is already in internal format\n      initialState = storedDoc.state as Primitive.InferState<TSchema>;\n      initialVersion = storedDoc.version;\n    } else {\n      // New document - compute initial value (set input format)\n      initial = yield* computeInitialState(config, documentId);\n    }\n\n    // 2. Create PubSub for broadcasting\n    const pubsub = yield* PubSub.unbounded<ServerBroadcast>();\n\n    // 3. Create refs for tracking\n    const lastSnapshotVersionRef = yield* Ref.make(initialVersion);\n    const lastSnapshotTimeRef = yield* Ref.make(Date.now());\n    const transactionsSinceSnapshotRef = yield* Ref.make(0);\n    const lastActivityTimeRef = yield* Ref.make(Date.now());\n\n    // 4. Create ServerDocument with callbacks\n    const document = ServerDocument.make({\n      schema: config.schema,\n      initial,\n      initialState,\n      initialVersion,\n      maxTransactionHistory: config.maxTransactionHistory,\n      onBroadcast: (message: ServerDocument.TransactionMessage) => {\n        Effect.runSync(\n          PubSub.publish(pubsub, {\n            type: \"transaction\",\n            transaction: message.transaction,\n            version: message.version,\n          })\n        );\n      },\n      onRejection: (transactionId: string, reason: string) => {\n        Effect.runSync(\n          PubSub.publish(pubsub, {\n            type: \"error\",\n            transactionId,\n            reason,\n          })\n        );\n      },\n    });\n\n    // 5. If this is a new document, immediately save to cold storage\n    // This ensures the initial state is durable before any transactions are accepted.\n    if (!storedDoc) {\n      const initialStoredDoc = createStoredDocument(document.get(), 0, SCHEMA_VERSION);\n      yield* coldStorage.save(documentId, initialStoredDoc);\n      yield* Effect.logDebug(\"Initial state persisted to cold storage\", { documentId });\n    }\n\n    // 6. Load WAL entries\n    const walEntries = yield* hotStorage.getEntries(documentId, initialVersion);\n\n    // 7. Verify WAL continuity (warning only, non-blocking)\n    yield* verifyWalContinuity(documentId, walEntries, initialVersion);\n\n    // 8. Replay WAL entries\n    yield* replayWalEntries(documentId, document, walEntries);\n\n    // Track metrics\n    if (storedDoc) {\n      yield* Metric.increment(Metrics.documentsRestored);\n    } else {\n      yield* Metric.increment(Metrics.documentsCreated);\n    }\n    yield* Metric.incrementBy(Metrics.documentsActive, 1);\n\n    // ==========================================================================\n    // Instance Methods\n    // ==========================================================================\n\n    const getSnapshotTracking = Effect.gen(function* () {\n      return {\n        lastSnapshotVersion: yield* Ref.get(lastSnapshotVersionRef),\n        lastSnapshotTime: yield* Ref.get(lastSnapshotTimeRef),\n        transactionsSinceSnapshot: yield* Ref.get(transactionsSinceSnapshotRef),\n      };\n    });\n\n    const saveSnapshot = Effect.fn(\"document.snapshot.save\")(function* () {\n      const targetVersion = document.getVersion();\n      const lastSnapshotVersion = yield* Ref.get(lastSnapshotVersionRef);\n\n      // Idempotency check: skip if already snapshotted at this version\n      if (targetVersion <= lastSnapshotVersion) {\n        return;\n      }\n\n      const snapshotStartTime = Date.now();\n\n      // Load base snapshot from cold storage\n      const baseSnapshot = yield* coldStorage.load(documentId);\n      const baseVersion = baseSnapshot?.version ?? 0;\n      const baseState = baseSnapshot?.state as Primitive.InferState<TSchema> | undefined;\n\n      // Load WAL entries from base to target\n      const walEntries = yield* hotStorage.getEntries(documentId, baseVersion);\n\n      // Compute snapshot state by replaying WAL on base\n      const snapshotResult = computeSnapshotState(\n        config.schema,\n        baseState,\n        walEntries,\n        targetVersion\n      );\n\n      if (!snapshotResult) {\n        return;\n      }\n\n      // Re-check before saving (in case another snapshot completed while we were working)\n      const currentLastSnapshot = yield* Ref.get(lastSnapshotVersionRef);\n      if (snapshotResult.version <= currentLastSnapshot) {\n        return;\n      }\n\n      const storedDoc = createStoredDocument(\n        snapshotResult.state,\n        snapshotResult.version,\n        SCHEMA_VERSION\n      );\n\n      // Save to ColdStorage\n      yield* coldStorage.save(documentId, storedDoc);\n\n      // Track snapshot metrics\n      const snapshotDuration = Date.now() - snapshotStartTime;\n      yield* Metric.increment(Metrics.storageSnapshots);\n      yield* Metric.update(Metrics.storageSnapshotLatency, snapshotDuration);\n\n      // Update tracking BEFORE truncate (for idempotency on retry)\n      yield* Ref.set(lastSnapshotVersionRef, snapshotResult.version);\n      yield* Ref.set(lastSnapshotTimeRef, Date.now());\n      yield* Ref.set(transactionsSinceSnapshotRef, 0);\n\n      // Truncate WAL - non-fatal, will be retried on next snapshot\n      yield* Effect.catchAll(hotStorage.truncate(documentId, snapshotResult.version), (e) =>\n        Effect.logWarning(\"WAL truncate failed - will retry on next snapshot\", {\n          documentId,\n          version: snapshotResult.version,\n          error: e,\n        })\n      );\n    });\n\n    const checkSnapshotTriggers = Effect.fn(\"document.snapshot.check-triggers\")(function* () {\n      const txCount = yield* Ref.get(transactionsSinceSnapshotRef);\n      const lastTime = yield* Ref.get(lastSnapshotTimeRef);\n\n      if (shouldTriggerSnapshot(txCount, lastTime, config.snapshot)) {\n        yield* saveSnapshot();\n      }\n    });\n\n    const submit = Effect.fn(\"document.transaction.submit\")(function* (\n      transaction: Transaction.Transaction\n    ) {\n      const submitStartTime = Date.now();\n\n      // Update activity time\n      yield* Ref.set(lastActivityTimeRef, Date.now());\n\n      // Phase 1: Validate (no side effects)\n      const validation = document.validate(transaction);\n\n      if (!validation.valid) {\n        yield* Metric.increment(Metrics.transactionsRejected);\n        const latency = Date.now() - submitStartTime;\n        yield* Metric.update(Metrics.transactionsLatency, latency);\n\n        return {\n          success: false as const,\n          reason: validation.reason,\n        };\n      }\n\n      // Phase 2: Append to WAL with gap check (BEFORE state mutation)\n      const walEntry: WalEntry = {\n        transaction,\n        version: validation.nextVersion,\n        timestamp: Date.now(),\n      };\n\n      // Get the current snapshot version to pass as baseVersion for gap checking\n      // This ensures correct validation after truncation or restart\n      const snapshotVersion = yield* Ref.get(lastSnapshotVersionRef);\n\n      const appendResult = yield* Effect.either(\n        hotStorage.appendWithCheck(documentId, walEntry, validation.nextVersion, snapshotVersion)\n      );\n\n      if (appendResult._tag === \"Left\") {\n        yield* Effect.logError(\"WAL append failed\", {\n          documentId,\n          version: validation.nextVersion,\n          error: appendResult.left,\n        });\n        yield* Metric.increment(Metrics.walAppendFailures);\n\n        const latency = Date.now() - submitStartTime;\n        yield* Metric.update(Metrics.transactionsLatency, latency);\n\n        return {\n          success: false as const,\n          reason: \"Storage unavailable. Please retry.\",\n        };\n      }\n\n      // Phase 3: Apply (state mutation + broadcast)\n      document.apply(transaction);\n\n      // Track metrics\n      const latency = Date.now() - submitStartTime;\n      yield* Metric.update(Metrics.transactionsLatency, latency);\n      yield* Metric.increment(Metrics.transactionsProcessed);\n      yield* Metric.increment(Metrics.storageWalAppends);\n\n      // Increment transaction count\n      yield* Ref.update(transactionsSinceSnapshotRef, (n) => n + 1);\n\n      // Check snapshot triggers\n      yield* checkSnapshotTriggers();\n\n      return {\n        success: true as const,\n        version: validation.nextVersion,\n      };\n    });\n\n    const touch = Effect.fn(\"document.touch\")(function* () {\n      yield* Ref.set(lastActivityTimeRef, Date.now());\n    });\n\n    const needsSnapshot = () =>\n      Effect.map(Ref.get(transactionsSinceSnapshotRef), (n) => n > 0);\n\n    const getLastActivityTime = () => Ref.get(lastActivityTimeRef);\n\n    return {\n      document,\n      pubsub,\n      getSnapshotTracking,\n      submit,\n      saveSnapshot,\n      checkSnapshotTriggers,\n      touch,\n      getVersion: () => document.getVersion(),\n      getSnapshot: () => document.getSnapshot(),\n      toSnapshot: () => document.toSnapshot(),\n      needsSnapshot,\n      getLastActivityTime,\n    };\n  });\n\n// =============================================================================\n// Helper Functions\n// =============================================================================\n\n/**\n * Compute initial state for a new document.\n */\nconst computeInitialState = <TSchema extends Primitive.AnyPrimitive>(\n  config: DocumentInstanceConfig<TSchema>,\n  documentId: string\n): Effect.Effect<Primitive.InferSetInput<TSchema> | undefined> => {\n  if (config.initial === undefined) {\n    return Effect.succeed(undefined);\n  }\n\n  if (typeof config.initial === \"function\") {\n    return (config.initial as (ctx: { documentId: string }) => Effect.Effect<Primitive.InferSetInput<TSchema>>)({\n      documentId,\n    });\n  }\n\n  return Effect.succeed(config.initial as Primitive.InferSetInput<TSchema>);\n};\n\n/**\n * Verify WAL continuity and log warnings for any gaps.\n */\nconst verifyWalContinuity = Effect.fn(\"document.wal.verify\")(function* (\n  documentId: string,\n  walEntries: readonly WalEntry[],\n  baseVersion: number\n) {\n  if (walEntries.length === 0) {\n    return;\n  }\n\n  const firstWalVersion = walEntries[0]!.version;\n  const expectedFirst = baseVersion + 1;\n\n  if (firstWalVersion !== expectedFirst) {\n    yield* Effect.logWarning(\"WAL version gap detected\", {\n      documentId,\n      snapshotVersion: baseVersion,\n      firstWalVersion,\n      expectedFirst,\n    });\n    yield* Metric.increment(Metrics.storageVersionGaps);\n  }\n\n  for (let i = 1; i < walEntries.length; i++) {\n    const prev = walEntries[i - 1]!.version;\n    const curr = walEntries[i]!.version;\n    if (curr !== prev + 1) {\n      yield* Effect.logWarning(\"WAL internal gap detected\", {\n        documentId,\n        previousVersion: prev,\n        currentVersion: curr,\n      });\n    }\n  }\n});\n\n/**\n * Replay WAL entries onto a ServerDocument.\n */\nconst replayWalEntries = Effect.fn(\"document.wal.replay\")(function* (\n  documentId: string,\n  document: ServerDocument.ServerDocument<Primitive.AnyPrimitive>,\n  walEntries: readonly WalEntry[]\n) {\n  for (const entry of walEntries) {\n    const result = document.submit(entry.transaction);\n    if (!result.success) {\n      yield* Effect.logWarning(\"Skipping corrupted WAL entry\", {\n        documentId,\n        version: entry.version,\n        reason: result.reason,\n      });\n    }\n  }\n});\n\n/**\n * Compute snapshot state by replaying WAL entries on a base state.\n */\nconst computeSnapshotState = <TSchema extends Primitive.AnyPrimitive>(\n  schema: TSchema,\n  baseState: Primitive.InferState<TSchema> | undefined,\n  walEntries: readonly WalEntry[],\n  targetVersion: number\n): { state: Primitive.InferState<TSchema>; version: number } | undefined => {\n  const relevantEntries = walEntries.filter((e) => e.version <= targetVersion);\n\n  if (relevantEntries.length === 0 && baseState === undefined) {\n    return undefined;\n  }\n\n  let snapshotState: Primitive.InferState<TSchema> | undefined = baseState;\n  for (const entry of relevantEntries) {\n    const tempDoc = Document.make(schema, { initialState: snapshotState });\n    tempDoc.apply(entry.transaction.ops);\n    snapshotState = tempDoc.get();\n  }\n\n  if (snapshotState === undefined) {\n    return undefined;\n  }\n\n  const snapshotVersion =\n    relevantEntries.length > 0 ? relevantEntries[relevantEntries.length - 1]!.version : 0;\n\n  return { state: snapshotState, version: snapshotVersion };\n};\n\n/**\n * Check if a snapshot should be triggered.\n */\nconst shouldTriggerSnapshot = (\n  transactionsSinceSnapshot: number,\n  lastSnapshotTime: number,\n  config: { interval: Duration.Duration; transactionThreshold: number }\n): boolean => {\n  const now = Date.now();\n  const intervalMs = Duration.toMillis(config.interval);\n\n  if (transactionsSinceSnapshot >= config.transactionThreshold) {\n    return true;\n  }\n\n  if (now - lastSnapshotTime >= intervalMs) {\n    return true;\n  }\n\n  return false;\n};\n\n/**\n * Create a StoredDocument for persistence.\n */\nconst createStoredDocument = (\n  state: unknown,\n  version: number,\n  schemaVersion: number\n): StoredDocument => ({\n  state,\n  version,\n  schemaVersion,\n  savedAt: Date.now(),\n});\n\n// =============================================================================\n// Re-export namespace\n// =============================================================================\n\nexport const DocumentInstance = {\n  make,\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAwGA,MAAa,QACX,YACA,QACA,aACA,eAEA,OAAO,IAAI,aAAa;CAEtB,MAAM,iBAAiB;CAGvB,MAAM,YAAY,OAAO,YAAY,KAAK,WAAW;CAKrD,IAAIA;CACJ,IAAIC;CACJ,IAAI,iBAAiB;AAErB,KAAI,WAAW;AAEb,iBAAe,UAAU;AACzB,mBAAiB,UAAU;OAG3B,WAAU,OAAO,oBAAoB,QAAQ,WAAW;CAI1D,MAAM,SAAS,OAAO,OAAO,WAA4B;CAGzD,MAAM,yBAAyB,OAAO,IAAI,KAAK,eAAe;CAC9D,MAAM,sBAAsB,OAAO,IAAI,KAAK,KAAK,KAAK,CAAC;CACvD,MAAM,+BAA+B,OAAO,IAAI,KAAK,EAAE;CACvD,MAAM,sBAAsB,OAAO,IAAI,KAAK,KAAK,KAAK,CAAC;CAGvD,MAAM,WAAW,eAAe,KAAK;EACnC,QAAQ,OAAO;EACf;EACA;EACA;EACA,uBAAuB,OAAO;EAC9B,cAAc,YAA+C;AAC3D,UAAO,QACL,OAAO,QAAQ,QAAQ;IACrB,MAAM;IACN,aAAa,QAAQ;IACrB,SAAS,QAAQ;IAClB,CAAC,CACH;;EAEH,cAAc,eAAuB,WAAmB;AACtD,UAAO,QACL,OAAO,QAAQ,QAAQ;IACrB,MAAM;IACN;IACA;IACD,CAAC,CACH;;EAEJ,CAAC;AAIF,KAAI,CAAC,WAAW;EACd,MAAM,mBAAmB,qBAAqB,SAAS,KAAK,EAAE,GAAG,eAAe;AAChF,SAAO,YAAY,KAAK,YAAY,iBAAiB;AACrD,SAAO,OAAO,SAAS,2CAA2C,EAAE,YAAY,CAAC;;CAInF,MAAM,aAAa,OAAO,WAAW,WAAW,YAAY,eAAe;AAG3E,QAAO,oBAAoB,YAAY,YAAY,eAAe;AAGlE,QAAO,iBAAiB,YAAY,UAAU,WAAW;AAGzD,KAAI,UACF,QAAO,OAAO,UAAUC,kBAA0B;KAElD,QAAO,OAAO,UAAUC,iBAAyB;AAEnD,QAAO,OAAO,YAAYC,iBAAyB,EAAE;CAMrD,MAAM,sBAAsB,OAAO,IAAI,aAAa;AAClD,SAAO;GACL,qBAAqB,OAAO,IAAI,IAAI,uBAAuB;GAC3D,kBAAkB,OAAO,IAAI,IAAI,oBAAoB;GACrD,2BAA2B,OAAO,IAAI,IAAI,6BAA6B;GACxE;GACD;CAEF,MAAM,eAAe,OAAO,GAAG,yBAAyB,CAAC,aAAa;;EACpE,MAAM,gBAAgB,SAAS,YAAY;AAI3C,MAAI,kBAHwB,OAAO,IAAI,IAAI,uBAAuB,EAIhE;EAGF,MAAM,oBAAoB,KAAK,KAAK;EAGpC,MAAM,eAAe,OAAO,YAAY,KAAK,WAAW;EACxD,MAAM,mGAAc,aAAc,gFAAW;EAC7C,MAAM,wEAAY,aAAc;EAGhC,MAAMC,eAAa,OAAO,WAAW,WAAW,YAAY,YAAY;EAGxE,MAAM,iBAAiB,qBACrB,OAAO,QACP,WACAA,cACA,cACD;AAED,MAAI,CAAC,eACH;EAIF,MAAM,sBAAsB,OAAO,IAAI,IAAI,uBAAuB;AAClE,MAAI,eAAe,WAAW,oBAC5B;EAGF,MAAMC,cAAY,qBAChB,eAAe,OACf,eAAe,SACf,eACD;AAGD,SAAO,YAAY,KAAK,YAAYA,YAAU;EAG9C,MAAM,mBAAmB,KAAK,KAAK,GAAG;AACtC,SAAO,OAAO,UAAUC,iBAAyB;AACjD,SAAO,OAAO,OAAOC,wBAAgC,iBAAiB;AAGtE,SAAO,IAAI,IAAI,wBAAwB,eAAe,QAAQ;AAC9D,SAAO,IAAI,IAAI,qBAAqB,KAAK,KAAK,CAAC;AAC/C,SAAO,IAAI,IAAI,8BAA8B,EAAE;AAG/C,SAAO,OAAO,SAAS,WAAW,SAAS,YAAY,eAAe,QAAQ,GAAG,MAC/E,OAAO,WAAW,qDAAqD;GACrE;GACA,SAAS,eAAe;GACxB,OAAO;GACR,CAAC,CACH;GACD;CAEF,MAAM,wBAAwB,OAAO,GAAG,mCAAmC,CAAC,aAAa;AAIvF,MAAI,sBAHY,OAAO,IAAI,IAAI,6BAA6B,EAC3C,OAAO,IAAI,IAAI,oBAAoB,EAEP,OAAO,SAAS,CAC3D,QAAO,cAAc;GAEvB;CAEF,MAAM,SAAS,OAAO,GAAG,8BAA8B,CAAC,WACtD,aACA;EACA,MAAM,kBAAkB,KAAK,KAAK;AAGlC,SAAO,IAAI,IAAI,qBAAqB,KAAK,KAAK,CAAC;EAG/C,MAAM,aAAa,SAAS,SAAS,YAAY;AAEjD,MAAI,CAAC,WAAW,OAAO;AACrB,UAAO,OAAO,UAAUC,qBAA6B;GACrD,MAAMC,YAAU,KAAK,KAAK,GAAG;AAC7B,UAAO,OAAO,OAAOC,qBAA6BD,UAAQ;AAE1D,UAAO;IACL,SAAS;IACT,QAAQ,WAAW;IACpB;;EAIH,MAAME,WAAqB;GACzB;GACA,SAAS,WAAW;GACpB,WAAW,KAAK,KAAK;GACtB;EAID,MAAM,kBAAkB,OAAO,IAAI,IAAI,uBAAuB;EAE9D,MAAM,eAAe,OAAO,OAAO,OACjC,WAAW,gBAAgB,YAAY,UAAU,WAAW,aAAa,gBAAgB,CAC1F;AAED,MAAI,aAAa,SAAS,QAAQ;AAChC,UAAO,OAAO,SAAS,qBAAqB;IAC1C;IACA,SAAS,WAAW;IACpB,OAAO,aAAa;IACrB,CAAC;AACF,UAAO,OAAO,UAAUC,kBAA0B;GAElD,MAAMH,YAAU,KAAK,KAAK,GAAG;AAC7B,UAAO,OAAO,OAAOC,qBAA6BD,UAAQ;AAE1D,UAAO;IACL,SAAS;IACT,QAAQ;IACT;;AAIH,WAAS,MAAM,YAAY;EAG3B,MAAM,UAAU,KAAK,KAAK,GAAG;AAC7B,SAAO,OAAO,OAAOC,qBAA6B,QAAQ;AAC1D,SAAO,OAAO,UAAUG,sBAA8B;AACtD,SAAO,OAAO,UAAUC,kBAA0B;AAGlD,SAAO,IAAI,OAAO,+BAA+B,MAAM,IAAI,EAAE;AAG7D,SAAO,uBAAuB;AAE9B,SAAO;GACL,SAAS;GACT,SAAS,WAAW;GACrB;GACD;CAEF,MAAM,QAAQ,OAAO,GAAG,iBAAiB,CAAC,aAAa;AACrD,SAAO,IAAI,IAAI,qBAAqB,KAAK,KAAK,CAAC;GAC/C;CAEF,MAAM,sBACJ,OAAO,IAAI,IAAI,IAAI,6BAA6B,GAAG,MAAM,IAAI,EAAE;CAEjE,MAAM,4BAA4B,IAAI,IAAI,oBAAoB;AAE9D,QAAO;EACL;EACA;EACA;EACA;EACA;EACA;EACA;EACA,kBAAkB,SAAS,YAAY;EACvC,mBAAmB,SAAS,aAAa;EACzC,kBAAkB,SAAS,YAAY;EACvC;EACA;EACD;EACD;;;;AASJ,MAAM,uBACJ,QACA,eACgE;AAChE,KAAI,OAAO,YAAY,OACrB,QAAO,OAAO,QAAQ,OAAU;AAGlC,KAAI,OAAO,OAAO,YAAY,WAC5B,QAAQ,OAAO,QAA6F,EAC1G,YACD,CAAC;AAGJ,QAAO,OAAO,QAAQ,OAAO,QAA4C;;;;;AAM3E,MAAM,sBAAsB,OAAO,GAAG,sBAAsB,CAAC,WAC3D,YACA,YACA,aACA;AACA,KAAI,WAAW,WAAW,EACxB;CAGF,MAAM,kBAAkB,WAAW,GAAI;CACvC,MAAM,gBAAgB,cAAc;AAEpC,KAAI,oBAAoB,eAAe;AACrC,SAAO,OAAO,WAAW,4BAA4B;GACnD;GACA,iBAAiB;GACjB;GACA;GACD,CAAC;AACF,SAAO,OAAO,UAAUC,mBAA2B;;AAGrD,MAAK,IAAI,IAAI,GAAG,IAAI,WAAW,QAAQ,KAAK;EAC1C,MAAM,OAAO,WAAW,IAAI,GAAI;EAChC,MAAM,OAAO,WAAW,GAAI;AAC5B,MAAI,SAAS,OAAO,EAClB,QAAO,OAAO,WAAW,6BAA6B;GACpD;GACA,iBAAiB;GACjB,gBAAgB;GACjB,CAAC;;EAGN;;;;AAKF,MAAM,mBAAmB,OAAO,GAAG,sBAAsB,CAAC,WACxD,YACA,UACA,YACA;AACA,MAAK,MAAM,SAAS,YAAY;EAC9B,MAAM,SAAS,SAAS,OAAO,MAAM,YAAY;AACjD,MAAI,CAAC,OAAO,QACV,QAAO,OAAO,WAAW,gCAAgC;GACvD;GACA,SAAS,MAAM;GACf,QAAQ,OAAO;GAChB,CAAC;;EAGN;;;;AAKF,MAAM,wBACJ,QACA,WACA,YACA,kBAC0E;CAC1E,MAAM,kBAAkB,WAAW,QAAQ,MAAM,EAAE,WAAW,cAAc;AAE5E,KAAI,gBAAgB,WAAW,KAAK,cAAc,OAChD;CAGF,IAAIC,gBAA2D;AAC/D,MAAK,MAAM,SAAS,iBAAiB;EACnC,MAAM,UAAU,SAAS,KAAK,QAAQ,EAAE,cAAc,eAAe,CAAC;AACtE,UAAQ,MAAM,MAAM,YAAY,IAAI;AACpC,kBAAgB,QAAQ,KAAK;;AAG/B,KAAI,kBAAkB,OACpB;CAGF,MAAM,kBACJ,gBAAgB,SAAS,IAAI,gBAAgB,gBAAgB,SAAS,GAAI,UAAU;AAEtF,QAAO;EAAE,OAAO;EAAe,SAAS;EAAiB;;;;;AAM3D,MAAM,yBACJ,2BACA,kBACA,WACY;CACZ,MAAM,MAAM,KAAK,KAAK;CACtB,MAAM,aAAa,SAAS,SAAS,OAAO,SAAS;AAErD,KAAI,6BAA6B,OAAO,qBACtC,QAAO;AAGT,KAAI,MAAM,oBAAoB,WAC5B,QAAO;AAGT,QAAO;;;;;AAMT,MAAM,wBACJ,OACA,SACA,mBACoB;CACpB;CACA;CACA;CACA,SAAS,KAAK,KAAK;CACpB;AAMD,MAAa,mBAAmB,EAC9B,MACD"}
+{"version":3,"file":"DocumentInstance.mjs","names":["initialState: Primitive.InferState<TSchema> | undefined","initial: Primitive.InferSetInput<TSchema> | undefined","Metrics.documentsRestored","Metrics.documentsCreated","Metrics.documentsActive","walEntries","storedDoc","Metrics.storageSnapshots","Metrics.storageSnapshotLatency","Metrics.transactionsRejected","latency","Metrics.transactionsLatency","walEntry: WalEntry","Metrics.walAppendFailures","Metrics.transactionsProcessed","Metrics.storageWalAppends","Metrics.storageVersionGaps","snapshotState: Primitive.InferState<TSchema> | undefined"],"sources":["../src/DocumentInstance.ts"],"sourcesContent":["/**\n * @voidhash/mimic-effect - DocumentInstance\n *\n * Manages the lifecycle of a single document including:\n * - Restoration from storage (cold storage + WAL replay)\n * - Transaction submission with WAL persistence\n * - Snapshot saving and trigger checking\n *\n * Used by both MimicServerEngine (single-node) and MimicClusterServerEngine (clustered).\n */\nimport { Duration, Effect, Metric, PubSub, Ref } from \"effect\";\nimport { Document, type Primitive, type Transaction } from \"@voidhash/mimic\";\nimport { ServerDocument } from \"@voidhash/mimic/server\";\nimport type { StoredDocument, WalEntry } from \"./Types\";\nimport type { ServerBroadcast } from \"./Protocol\";\nimport type { ColdStorage } from \"./ColdStorage\";\nimport type { HotStorage } from \"./HotStorage\";\nimport type { ColdStorageError } from \"./Errors\";\nimport type { HotStorageError } from \"./Errors\";\nimport * as Metrics from \"./Metrics\";\n\n// =============================================================================\n// Types\n// =============================================================================\n\n/**\n * Result of submitting a transaction\n */\nexport type SubmitResult =\n  | { readonly success: true; readonly version: number }\n  | { readonly success: false; readonly reason: string };\n\n/**\n * Configuration for a DocumentInstance\n */\nexport interface DocumentInstanceConfig<TSchema extends Primitive.AnyPrimitive> {\n  readonly schema: TSchema;\n  readonly initial?:\n    | Primitive.InferSetInput<TSchema>\n    | ((ctx: { documentId: string }) => Effect.Effect<Primitive.InferSetInput<TSchema>>);\n  readonly maxTransactionHistory: number;\n  readonly snapshot: {\n    readonly interval: Duration.Duration;\n    readonly transactionThreshold: number;\n  };\n}\n\n/**\n * Snapshot tracking state\n */\nexport interface SnapshotTracking {\n  readonly lastSnapshotVersion: number;\n  readonly lastSnapshotTime: number;\n  readonly transactionsSinceSnapshot: number;\n}\n\n/**\n * A DocumentInstance manages a single document's lifecycle\n */\nexport interface DocumentInstance<TSchema extends Primitive.AnyPrimitive> {\n  /** The underlying ServerDocument */\n  readonly document: ServerDocument.ServerDocument<TSchema>;\n  /** PubSub for broadcasting messages to subscribers */\n  readonly pubsub: PubSub.PubSub<ServerBroadcast>;\n  /** Current snapshot tracking state */\n  readonly getSnapshotTracking: Effect.Effect<SnapshotTracking>;\n  /** Submit a transaction */\n  readonly submit: (transaction: Transaction.Transaction) => Effect.Effect<SubmitResult, ColdStorageError | HotStorageError>;\n  /** Save a snapshot to cold storage */\n  readonly saveSnapshot: () => Effect.Effect<void, ColdStorageError | HotStorageError>;\n  /** Check if snapshot should be triggered and save if needed */\n  readonly checkSnapshotTriggers: () => Effect.Effect<void, ColdStorageError | HotStorageError>;\n  /** Update last activity time (for external tracking) */\n  readonly touch: () => Effect.Effect<void>;\n  /** Get current document version */\n  readonly getVersion: () => number;\n  /** Get document snapshot (flat state format) */\n  readonly getSnapshot: () => { state: unknown; version: number };\n  /**\n   * Get tree-like snapshot for rendering.\n   * The snapshot is a type-safe, readonly structure where trees\n   * are converted from flat state to nested/hierarchical structure.\n   */\n  readonly toSnapshot: () => Primitive.InferSnapshot<TSchema>;\n  /** Check if document has unsnapshot transactions that need persisting */\n  readonly needsSnapshot: () => Effect.Effect<boolean>;\n  /** Get the last activity timestamp for idle detection */\n  readonly getLastActivityTime: () => Effect.Effect<number>;\n}\n\n// =============================================================================\n// Factory\n// =============================================================================\n\n/**\n * Create a DocumentInstance for a single document.\n *\n * This handles:\n * - Loading from cold storage or computing initial state\n * - Persisting initial state immediately (crash safety)\n * - Replaying WAL entries\n * - Transaction submission with WAL persistence\n * - Snapshot saving\n */\nexport const make = <TSchema extends Primitive.AnyPrimitive>(\n  documentId: string,\n  config: DocumentInstanceConfig<TSchema>,\n  coldStorage: ColdStorage,\n  hotStorage: HotStorage\n): Effect.Effect<DocumentInstance<TSchema>, ColdStorageError | HotStorageError> =>\n  Effect.gen(function* () {\n    // Current schema version (hard-coded to 1 for now)\n    const SCHEMA_VERSION = 1;\n\n    // 1. Load snapshot from ColdStorage\n    const storedDoc = yield* coldStorage.load(documentId);\n\n    // Track initial values - only one will be set:\n    // - initialState: raw state from storage (already in internal format)\n    // - initial: computed from config (needs conversion to state format)\n    let initialState: Primitive.InferState<TSchema> | undefined;\n    let initial: Primitive.InferSetInput<TSchema> | undefined;\n    let initialVersion = 0;\n\n    if (storedDoc) {\n      // Loading from storage - state is already in internal format\n      initialState = storedDoc.state as Primitive.InferState<TSchema>;\n      initialVersion = storedDoc.version;\n    } else {\n      // New document - compute initial value (set input format)\n      initial = yield* computeInitialState(config, documentId);\n    }\n\n    // 2. Create PubSub for broadcasting\n    const pubsub = yield* PubSub.unbounded<ServerBroadcast>();\n\n    // 3. Create refs for tracking\n    const lastSnapshotVersionRef = yield* Ref.make(initialVersion);\n    const lastSnapshotTimeRef = yield* Ref.make(Date.now());\n    const transactionsSinceSnapshotRef = yield* Ref.make(0);\n    const lastActivityTimeRef = yield* Ref.make(Date.now());\n\n    // 4. Create ServerDocument with callbacks\n    const document = ServerDocument.make({\n      schema: config.schema,\n      initial,\n      initialState,\n      initialVersion,\n      maxTransactionHistory: config.maxTransactionHistory,\n      onBroadcast: (message: ServerDocument.TransactionMessage) => {\n        Effect.runSync(\n          PubSub.publish(pubsub, {\n            type: \"transaction\",\n            transaction: message.transaction,\n            version: message.version,\n          })\n        );\n      },\n      onRejection: (transactionId: string, reason: string) => {\n        Effect.runSync(\n          PubSub.publish(pubsub, {\n            type: \"error\",\n            transactionId,\n            reason,\n          })\n        );\n      },\n    });\n\n    // 5. If this is a new document, immediately save to cold storage\n    // This ensures the initial state is durable before any transactions are accepted.\n    if (!storedDoc) {\n      const initialStoredDoc = createStoredDocument(document.get(), 0, SCHEMA_VERSION);\n      yield* coldStorage.save(documentId, initialStoredDoc);\n      yield* Effect.logDebug(\"Initial state persisted to cold storage\", { documentId });\n    }\n\n    // 6. Load WAL entries\n    const walEntries = yield* hotStorage.getEntries(documentId, initialVersion);\n\n    // 7. Verify WAL continuity (warning only, non-blocking)\n    yield* verifyWalContinuity(documentId, walEntries, initialVersion);\n\n    // 8. Replay WAL entries\n    yield* replayWalEntries(documentId, document, walEntries);\n\n    // Track metrics\n    if (storedDoc) {\n      yield* Metric.update(Metrics.documentsRestored, 1);\n    } else {\n      yield* Metric.update(Metrics.documentsCreated, 1);\n    }\n    yield* Metric.update(Metrics.documentsActive, 1);\n\n    // ==========================================================================\n    // Instance Methods\n    // ==========================================================================\n\n    const getSnapshotTracking = Effect.gen(function* () {\n      return {\n        lastSnapshotVersion: yield* Ref.get(lastSnapshotVersionRef),\n        lastSnapshotTime: yield* Ref.get(lastSnapshotTimeRef),\n        transactionsSinceSnapshot: yield* Ref.get(transactionsSinceSnapshotRef),\n      };\n    });\n\n    const saveSnapshot = Effect.fn(\"document.snapshot.save\")(function* () {\n      const targetVersion = document.getVersion();\n      const lastSnapshotVersion = yield* Ref.get(lastSnapshotVersionRef);\n\n      // Idempotency check: skip if already snapshotted at this version\n      if (targetVersion <= lastSnapshotVersion) {\n        return;\n      }\n\n      const snapshotStartTime = Date.now();\n\n      // Load base snapshot from cold storage\n      const baseSnapshot = yield* coldStorage.load(documentId);\n      const baseVersion = baseSnapshot?.version ?? 0;\n      const baseState = baseSnapshot?.state as Primitive.InferState<TSchema> | undefined;\n\n      // Load WAL entries from base to target\n      const walEntries = yield* hotStorage.getEntries(documentId, baseVersion);\n\n      // Compute snapshot state by replaying WAL on base\n      const snapshotResult = computeSnapshotState(\n        config.schema,\n        baseState,\n        walEntries,\n        targetVersion\n      );\n\n      if (!snapshotResult) {\n        return;\n      }\n\n      // Re-check before saving (in case another snapshot completed while we were working)\n      const currentLastSnapshot = yield* Ref.get(lastSnapshotVersionRef);\n      if (snapshotResult.version <= currentLastSnapshot) {\n        return;\n      }\n\n      const storedDoc = createStoredDocument(\n        snapshotResult.state,\n        snapshotResult.version,\n        SCHEMA_VERSION\n      );\n\n      // Save to ColdStorage\n      yield* coldStorage.save(documentId, storedDoc);\n\n      // Track snapshot metrics\n      const snapshotDuration = Date.now() - snapshotStartTime;\n      yield* Metric.update(Metrics.storageSnapshots, 1);\n      yield* Metric.update(Metrics.storageSnapshotLatency, snapshotDuration);\n\n      // Update tracking BEFORE truncate (for idempotency on retry)\n      yield* Ref.set(lastSnapshotVersionRef, snapshotResult.version);\n      yield* Ref.set(lastSnapshotTimeRef, Date.now());\n      yield* Ref.set(transactionsSinceSnapshotRef, 0);\n\n      // Truncate WAL - non-fatal, will be retried on next snapshot\n      yield* Effect[\"catch\"](hotStorage.truncate(documentId, snapshotResult.version), (e) =>\n        Effect.logWarning(\"WAL truncate failed - will retry on next snapshot\", {\n          documentId,\n          version: snapshotResult.version,\n          error: e,\n        })\n      );\n    });\n\n    const checkSnapshotTriggers = Effect.fn(\"document.snapshot.check-triggers\")(function* () {\n      const txCount = yield* Ref.get(transactionsSinceSnapshotRef);\n      const lastTime = yield* Ref.get(lastSnapshotTimeRef);\n\n      if (shouldTriggerSnapshot(txCount, lastTime, config.snapshot)) {\n        yield* saveSnapshot();\n      }\n    });\n\n    const submit = Effect.fn(\"document.transaction.submit\")(function* (\n      transaction: Transaction.Transaction\n    ) {\n      const submitStartTime = Date.now();\n\n      // Update activity time\n      yield* Ref.set(lastActivityTimeRef, Date.now());\n\n      // Phase 1: Validate (no side effects)\n      const validation = document.validate(transaction);\n\n      if (!validation.valid) {\n        yield* Metric.update(Metrics.transactionsRejected, 1);\n        const latency = Date.now() - submitStartTime;\n        yield* Metric.update(Metrics.transactionsLatency, latency);\n\n        return {\n          success: false as const,\n          reason: validation.reason,\n        };\n      }\n\n      // Phase 2: Append to WAL with gap check (BEFORE state mutation)\n      const walEntry: WalEntry = {\n        transaction,\n        version: validation.nextVersion,\n        timestamp: Date.now(),\n      };\n\n      // Get the current snapshot version to pass as baseVersion for gap checking\n      // This ensures correct validation after truncation or restart\n      const snapshotVersion = yield* Ref.get(lastSnapshotVersionRef);\n\n      const appendResult = yield* Effect.result(\n        hotStorage.appendWithCheck(documentId, walEntry, validation.nextVersion, snapshotVersion)\n      );\n\n      if (appendResult._tag === \"Failure\") {\n        yield* Effect.logError(\"WAL append failed\", {\n          documentId,\n          version: validation.nextVersion,\n          error: appendResult.failure,\n        });\n        yield* Metric.update(Metrics.walAppendFailures, 1);\n\n        const latency = Date.now() - submitStartTime;\n        yield* Metric.update(Metrics.transactionsLatency, latency);\n\n        return {\n          success: false as const,\n          reason: \"Storage unavailable. Please retry.\",\n        };\n      }\n\n      // Phase 3: Apply (state mutation + broadcast)\n      document.apply(transaction);\n\n      // Track metrics\n      const latency = Date.now() - submitStartTime;\n      yield* Metric.update(Metrics.transactionsLatency, latency);\n      yield* Metric.update(Metrics.transactionsProcessed, 1);\n      yield* Metric.update(Metrics.storageWalAppends, 1);\n\n      // Increment transaction count\n      yield* Ref.update(transactionsSinceSnapshotRef, (n) => n + 1);\n\n      // Check snapshot triggers\n      yield* checkSnapshotTriggers();\n\n      return {\n        success: true as const,\n        version: validation.nextVersion,\n      };\n    });\n\n    const touch = Effect.fn(\"document.touch\")(function* () {\n      yield* Ref.set(lastActivityTimeRef, Date.now());\n    });\n\n    const needsSnapshot = () =>\n      Effect.map(Ref.get(transactionsSinceSnapshotRef), (n) => n > 0);\n\n    const getLastActivityTime = () => Ref.get(lastActivityTimeRef);\n\n    return {\n      document,\n      pubsub,\n      getSnapshotTracking,\n      submit,\n      saveSnapshot,\n      checkSnapshotTriggers,\n      touch,\n      getVersion: () => document.getVersion(),\n      getSnapshot: () => document.getSnapshot(),\n      toSnapshot: () => document.toSnapshot(),\n      needsSnapshot,\n      getLastActivityTime,\n    };\n  });\n\n// =============================================================================\n// Helper Functions\n// =============================================================================\n\n/**\n * Compute initial state for a new document.\n */\nconst computeInitialState = <TSchema extends Primitive.AnyPrimitive>(\n  config: DocumentInstanceConfig<TSchema>,\n  documentId: string\n): Effect.Effect<Primitive.InferSetInput<TSchema> | undefined> => {\n  if (config.initial === undefined) {\n    return Effect.succeed(undefined);\n  }\n\n  if (typeof config.initial === \"function\") {\n    return (config.initial as (ctx: { documentId: string }) => Effect.Effect<Primitive.InferSetInput<TSchema>>)({\n      documentId,\n    });\n  }\n\n  return Effect.succeed(config.initial as Primitive.InferSetInput<TSchema>);\n};\n\n/**\n * Verify WAL continuity and log warnings for any gaps.\n */\nconst verifyWalContinuity = Effect.fn(\"document.wal.verify\")(function* (\n  documentId: string,\n  walEntries: readonly WalEntry[],\n  baseVersion: number\n) {\n  if (walEntries.length === 0) {\n    return;\n  }\n\n  const firstWalVersion = walEntries[0]!.version;\n  const expectedFirst = baseVersion + 1;\n\n  if (firstWalVersion !== expectedFirst) {\n    yield* Effect.logWarning(\"WAL version gap detected\", {\n      documentId,\n      snapshotVersion: baseVersion,\n      firstWalVersion,\n      expectedFirst,\n    });\n    yield* Metric.update(Metrics.storageVersionGaps, 1);\n  }\n\n  for (let i = 1; i < walEntries.length; i++) {\n    const prev = walEntries[i - 1]!.version;\n    const curr = walEntries[i]!.version;\n    if (curr !== prev + 1) {\n      yield* Effect.logWarning(\"WAL internal gap detected\", {\n        documentId,\n        previousVersion: prev,\n        currentVersion: curr,\n      });\n    }\n  }\n});\n\n/**\n * Replay WAL entries onto a ServerDocument.\n */\nconst replayWalEntries = Effect.fn(\"document.wal.replay\")(function* (\n  documentId: string,\n  document: ServerDocument.ServerDocument<Primitive.AnyPrimitive>,\n  walEntries: readonly WalEntry[]\n) {\n  for (const entry of walEntries) {\n    const result = document.submit(entry.transaction);\n    if (!result.success) {\n      yield* Effect.logWarning(\"Skipping corrupted WAL entry\", {\n        documentId,\n        version: entry.version,\n        reason: result.reason,\n      });\n    }\n  }\n});\n\n/**\n * Compute snapshot state by replaying WAL entries on a base state.\n */\nconst computeSnapshotState = <TSchema extends Primitive.AnyPrimitive>(\n  schema: TSchema,\n  baseState: Primitive.InferState<TSchema> | undefined,\n  walEntries: readonly WalEntry[],\n  targetVersion: number\n): { state: Primitive.InferState<TSchema>; version: number } | undefined => {\n  const relevantEntries = walEntries.filter((e) => e.version <= targetVersion);\n\n  if (relevantEntries.length === 0 && baseState === undefined) {\n    return undefined;\n  }\n\n  let snapshotState: Primitive.InferState<TSchema> | undefined = baseState;\n  for (const entry of relevantEntries) {\n    const tempDoc = Document.make(schema, { initialState: snapshotState });\n    tempDoc.apply(entry.transaction.ops);\n    snapshotState = tempDoc.get();\n  }\n\n  if (snapshotState === undefined) {\n    return undefined;\n  }\n\n  const snapshotVersion =\n    relevantEntries.length > 0 ? relevantEntries[relevantEntries.length - 1]!.version : 0;\n\n  return { state: snapshotState, version: snapshotVersion };\n};\n\n/**\n * Check if a snapshot should be triggered.\n */\nconst shouldTriggerSnapshot = (\n  transactionsSinceSnapshot: number,\n  lastSnapshotTime: number,\n  config: { interval: Duration.Duration; transactionThreshold: number }\n): boolean => {\n  const now = Date.now();\n  const intervalMs = Duration.toMillis(config.interval);\n\n  if (transactionsSinceSnapshot >= config.transactionThreshold) {\n    return true;\n  }\n\n  if (now - lastSnapshotTime >= intervalMs) {\n    return true;\n  }\n\n  return false;\n};\n\n/**\n * Create a StoredDocument for persistence.\n */\nconst createStoredDocument = (\n  state: unknown,\n  version: number,\n  schemaVersion: number\n): StoredDocument => ({\n  state,\n  version,\n  schemaVersion,\n  savedAt: Date.now(),\n});\n\n// =============================================================================\n// Re-export namespace\n// =============================================================================\n\nexport const DocumentInstance = {\n  make,\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAwGA,MAAa,QACX,YACA,QACA,aACA,eAEA,OAAO,IAAI,aAAa;CAEtB,MAAM,iBAAiB;CAGvB,MAAM,YAAY,OAAO,YAAY,KAAK,WAAW;CAKrD,IAAIA;CACJ,IAAIC;CACJ,IAAI,iBAAiB;AAErB,KAAI,WAAW;AAEb,iBAAe,UAAU;AACzB,mBAAiB,UAAU;OAG3B,WAAU,OAAO,oBAAoB,QAAQ,WAAW;CAI1D,MAAM,SAAS,OAAO,OAAO,WAA4B;CAGzD,MAAM,yBAAyB,OAAO,IAAI,KAAK,eAAe;CAC9D,MAAM,sBAAsB,OAAO,IAAI,KAAK,KAAK,KAAK,CAAC;CACvD,MAAM,+BAA+B,OAAO,IAAI,KAAK,EAAE;CACvD,MAAM,sBAAsB,OAAO,IAAI,KAAK,KAAK,KAAK,CAAC;CAGvD,MAAM,WAAW,eAAe,KAAK;EACnC,QAAQ,OAAO;EACf;EACA;EACA;EACA,uBAAuB,OAAO;EAC9B,cAAc,YAA+C;AAC3D,UAAO,QACL,OAAO,QAAQ,QAAQ;IACrB,MAAM;IACN,aAAa,QAAQ;IACrB,SAAS,QAAQ;IAClB,CAAC,CACH;;EAEH,cAAc,eAAuB,WAAmB;AACtD,UAAO,QACL,OAAO,QAAQ,QAAQ;IACrB,MAAM;IACN;IACA;IACD,CAAC,CACH;;EAEJ,CAAC;AAIF,KAAI,CAAC,WAAW;EACd,MAAM,mBAAmB,qBAAqB,SAAS,KAAK,EAAE,GAAG,eAAe;AAChF,SAAO,YAAY,KAAK,YAAY,iBAAiB;AACrD,SAAO,OAAO,SAAS,2CAA2C,EAAE,YAAY,CAAC;;CAInF,MAAM,aAAa,OAAO,WAAW,WAAW,YAAY,eAAe;AAG3E,QAAO,oBAAoB,YAAY,YAAY,eAAe;AAGlE,QAAO,iBAAiB,YAAY,UAAU,WAAW;AAGzD,KAAI,UACF,QAAO,OAAO,OAAOC,mBAA2B,EAAE;KAElD,QAAO,OAAO,OAAOC,kBAA0B,EAAE;AAEnD,QAAO,OAAO,OAAOC,iBAAyB,EAAE;CAMhD,MAAM,sBAAsB,OAAO,IAAI,aAAa;AAClD,SAAO;GACL,qBAAqB,OAAO,IAAI,IAAI,uBAAuB;GAC3D,kBAAkB,OAAO,IAAI,IAAI,oBAAoB;GACrD,2BAA2B,OAAO,IAAI,IAAI,6BAA6B;GACxE;GACD;CAEF,MAAM,eAAe,OAAO,GAAG,yBAAyB,CAAC,aAAa;;EACpE,MAAM,gBAAgB,SAAS,YAAY;AAI3C,MAAI,kBAHwB,OAAO,IAAI,IAAI,uBAAuB,EAIhE;EAGF,MAAM,oBAAoB,KAAK,KAAK;EAGpC,MAAM,eAAe,OAAO,YAAY,KAAK,WAAW;EACxD,MAAM,mGAAc,aAAc,gFAAW;EAC7C,MAAM,wEAAY,aAAc;EAGhC,MAAMC,eAAa,OAAO,WAAW,WAAW,YAAY,YAAY;EAGxE,MAAM,iBAAiB,qBACrB,OAAO,QACP,WACAA,cACA,cACD;AAED,MAAI,CAAC,eACH;EAIF,MAAM,sBAAsB,OAAO,IAAI,IAAI,uBAAuB;AAClE,MAAI,eAAe,WAAW,oBAC5B;EAGF,MAAMC,cAAY,qBAChB,eAAe,OACf,eAAe,SACf,eACD;AAGD,SAAO,YAAY,KAAK,YAAYA,YAAU;EAG9C,MAAM,mBAAmB,KAAK,KAAK,GAAG;AACtC,SAAO,OAAO,OAAOC,kBAA0B,EAAE;AACjD,SAAO,OAAO,OAAOC,wBAAgC,iBAAiB;AAGtE,SAAO,IAAI,IAAI,wBAAwB,eAAe,QAAQ;AAC9D,SAAO,IAAI,IAAI,qBAAqB,KAAK,KAAK,CAAC;AAC/C,SAAO,IAAI,IAAI,8BAA8B,EAAE;AAG/C,SAAO,OAAO,SAAS,WAAW,SAAS,YAAY,eAAe,QAAQ,GAAG,MAC/E,OAAO,WAAW,qDAAqD;GACrE;GACA,SAAS,eAAe;GACxB,OAAO;GACR,CAAC,CACH;GACD;CAEF,MAAM,wBAAwB,OAAO,GAAG,mCAAmC,CAAC,aAAa;AAIvF,MAAI,sBAHY,OAAO,IAAI,IAAI,6BAA6B,EAC3C,OAAO,IAAI,IAAI,oBAAoB,EAEP,OAAO,SAAS,CAC3D,QAAO,cAAc;GAEvB;CAEF,MAAM,SAAS,OAAO,GAAG,8BAA8B,CAAC,WACtD,aACA;EACA,MAAM,kBAAkB,KAAK,KAAK;AAGlC,SAAO,IAAI,IAAI,qBAAqB,KAAK,KAAK,CAAC;EAG/C,MAAM,aAAa,SAAS,SAAS,YAAY;AAEjD,MAAI,CAAC,WAAW,OAAO;AACrB,UAAO,OAAO,OAAOC,sBAA8B,EAAE;GACrD,MAAMC,YAAU,KAAK,KAAK,GAAG;AAC7B,UAAO,OAAO,OAAOC,qBAA6BD,UAAQ;AAE1D,UAAO;IACL,SAAS;IACT,QAAQ,WAAW;IACpB;;EAIH,MAAME,WAAqB;GACzB;GACA,SAAS,WAAW;GACpB,WAAW,KAAK,KAAK;GACtB;EAID,MAAM,kBAAkB,OAAO,IAAI,IAAI,uBAAuB;EAE9D,MAAM,eAAe,OAAO,OAAO,OACjC,WAAW,gBAAgB,YAAY,UAAU,WAAW,aAAa,gBAAgB,CAC1F;AAED,MAAI,aAAa,SAAS,WAAW;AACnC,UAAO,OAAO,SAAS,qBAAqB;IAC1C;IACA,SAAS,WAAW;IACpB,OAAO,aAAa;IACrB,CAAC;AACF,UAAO,OAAO,OAAOC,mBAA2B,EAAE;GAElD,MAAMH,YAAU,KAAK,KAAK,GAAG;AAC7B,UAAO,OAAO,OAAOC,qBAA6BD,UAAQ;AAE1D,UAAO;IACL,SAAS;IACT,QAAQ;IACT;;AAIH,WAAS,MAAM,YAAY;EAG3B,MAAM,UAAU,KAAK,KAAK,GAAG;AAC7B,SAAO,OAAO,OAAOC,qBAA6B,QAAQ;AAC1D,SAAO,OAAO,OAAOG,uBAA+B,EAAE;AACtD,SAAO,OAAO,OAAOC,mBAA2B,EAAE;AAGlD,SAAO,IAAI,OAAO,+BAA+B,MAAM,IAAI,EAAE;AAG7D,SAAO,uBAAuB;AAE9B,SAAO;GACL,SAAS;GACT,SAAS,WAAW;GACrB;GACD;CAEF,MAAM,QAAQ,OAAO,GAAG,iBAAiB,CAAC,aAAa;AACrD,SAAO,IAAI,IAAI,qBAAqB,KAAK,KAAK,CAAC;GAC/C;CAEF,MAAM,sBACJ,OAAO,IAAI,IAAI,IAAI,6BAA6B,GAAG,MAAM,IAAI,EAAE;CAEjE,MAAM,4BAA4B,IAAI,IAAI,oBAAoB;AAE9D,QAAO;EACL;EACA;EACA;EACA;EACA;EACA;EACA;EACA,kBAAkB,SAAS,YAAY;EACvC,mBAAmB,SAAS,aAAa;EACzC,kBAAkB,SAAS,YAAY;EACvC;EACA;EACD;EACD;;;;AASJ,MAAM,uBACJ,QACA,eACgE;AAChE,KAAI,OAAO,YAAY,OACrB,QAAO,OAAO,QAAQ,OAAU;AAGlC,KAAI,OAAO,OAAO,YAAY,WAC5B,QAAQ,OAAO,QAA6F,EAC1G,YACD,CAAC;AAGJ,QAAO,OAAO,QAAQ,OAAO,QAA4C;;;;;AAM3E,MAAM,sBAAsB,OAAO,GAAG,sBAAsB,CAAC,WAC3D,YACA,YACA,aACA;AACA,KAAI,WAAW,WAAW,EACxB;CAGF,MAAM,kBAAkB,WAAW,GAAI;CACvC,MAAM,gBAAgB,cAAc;AAEpC,KAAI,oBAAoB,eAAe;AACrC,SAAO,OAAO,WAAW,4BAA4B;GACnD;GACA,iBAAiB;GACjB;GACA;GACD,CAAC;AACF,SAAO,OAAO,OAAOC,oBAA4B,EAAE;;AAGrD,MAAK,IAAI,IAAI,GAAG,IAAI,WAAW,QAAQ,KAAK;EAC1C,MAAM,OAAO,WAAW,IAAI,GAAI;EAChC,MAAM,OAAO,WAAW,GAAI;AAC5B,MAAI,SAAS,OAAO,EAClB,QAAO,OAAO,WAAW,6BAA6B;GACpD;GACA,iBAAiB;GACjB,gBAAgB;GACjB,CAAC;;EAGN;;;;AAKF,MAAM,mBAAmB,OAAO,GAAG,sBAAsB,CAAC,WACxD,YACA,UACA,YACA;AACA,MAAK,MAAM,SAAS,YAAY;EAC9B,MAAM,SAAS,SAAS,OAAO,MAAM,YAAY;AACjD,MAAI,CAAC,OAAO,QACV,QAAO,OAAO,WAAW,gCAAgC;GACvD;GACA,SAAS,MAAM;GACf,QAAQ,OAAO;GAChB,CAAC;;EAGN;;;;AAKF,MAAM,wBACJ,QACA,WACA,YACA,kBAC0E;CAC1E,MAAM,kBAAkB,WAAW,QAAQ,MAAM,EAAE,WAAW,cAAc;AAE5E,KAAI,gBAAgB,WAAW,KAAK,cAAc,OAChD;CAGF,IAAIC,gBAA2D;AAC/D,MAAK,MAAM,SAAS,iBAAiB;EACnC,MAAM,UAAU,SAAS,KAAK,QAAQ,EAAE,cAAc,eAAe,CAAC;AACtE,UAAQ,MAAM,MAAM,YAAY,IAAI;AACpC,kBAAgB,QAAQ,KAAK;;AAG/B,KAAI,kBAAkB,OACpB;CAGF,MAAM,kBACJ,gBAAgB,SAAS,IAAI,gBAAgB,gBAAgB,SAAS,GAAI,UAAU;AAEtF,QAAO;EAAE,OAAO;EAAe,SAAS;EAAiB;;;;;AAM3D,MAAM,yBACJ,2BACA,kBACA,WACY;CACZ,MAAM,MAAM,KAAK,KAAK;CACtB,MAAM,aAAa,SAAS,SAAS,OAAO,SAAS;AAErD,KAAI,6BAA6B,OAAO,qBACtC,QAAO;AAGT,KAAI,MAAM,oBAAoB,WAC5B,QAAO;AAGT,QAAO;;;;;AAMT,MAAM,wBACJ,OACA,SACA,mBACoB;CACpB;CACA;CACA;CACA,SAAS,KAAK,KAAK;CACpB;AAMD,MAAa,mBAAmB,EAC9B,MACD"}

package/dist/Errors.d.cts

@@ -2,7 +2,7 @@ import * as effect_Types0 from "effect/Types";
 import * as effect_Cause0 from "effect/Cause";
 
 //#region src/Errors.d.ts
-declare const ColdStorageError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const ColdStorageError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "ColdStorageError";
 } & Readonly<A>;
 /**
@@ -13,7 +13,7 @@ declare class ColdStorageError extends ColdStorageError_base<{
   readonly operation: "load" | "save" | "delete";
   readonly cause: unknown;
 }> {}
-declare const HotStorageError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const HotStorageError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "HotStorageError";
 } & Readonly<A>;
 /**
@@ -24,7 +24,7 @@ declare class HotStorageError extends HotStorageError_base<{
   readonly operation: "append" | "getEntries" | "truncate" | "appendWithCheck";
   readonly cause: unknown;
 }> {}
-declare const WalVersionGapError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const WalVersionGapError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "WalVersionGapError";
 } & Readonly<A>;
 /**
@@ -39,7 +39,7 @@ declare class WalVersionGapError extends WalVersionGapError_base<{
   readonly expectedVersion: number;
   readonly actualPreviousVersion: number | undefined;
 }> {}
-declare const AuthenticationError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const AuthenticationError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "AuthenticationError";
 } & Readonly<A>;
 /**
@@ -48,7 +48,7 @@ declare const AuthenticationError_base: new <A extends Record<string, any> = {}>
 declare class AuthenticationError extends AuthenticationError_base<{
   readonly reason: string;
 }> {}
-declare const AuthorizationError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const AuthorizationError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "AuthorizationError";
 } & Readonly<A>;
 /**
@@ -59,7 +59,7 @@ declare class AuthorizationError extends AuthorizationError_base<{
   readonly required: "read" | "write";
   readonly actual: "read" | "write";
 }> {}
-declare const MissingDocumentIdError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const MissingDocumentIdError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "MissingDocumentIdError";
 } & Readonly<A>;
 /**
@@ -68,7 +68,7 @@ declare const MissingDocumentIdError_base: new <A extends Record<string, any> =
 declare class MissingDocumentIdError extends MissingDocumentIdError_base<{
   readonly path: string;
 }> {}
-declare const MessageParseError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const MessageParseError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "MessageParseError";
 } & Readonly<A>;
 /**
@@ -77,7 +77,7 @@ declare const MessageParseError_base: new <A extends Record<string, any> = {}>(a
 declare class MessageParseError extends MessageParseError_base<{
   readonly cause: unknown;
 }> {}
-declare const TransactionRejectedError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const TransactionRejectedError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "TransactionRejectedError";
 } & Readonly<A>;
 /**

package/dist/Errors.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"Errors.d.cts","names":[],"sources":["../src/Errors.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAca,gBAAA,SAAyB;;;;;cAIjC;;;;;AAJL;AAIK,cAKQ,eAAA,SAAwB,oBALhC,CAAA;;;;;cASA;;;;;;;AAJL;AAIK;;cASQ,kBAAA,SAA2B;;;;;cAInC;;;;;AAJL;AAIK,cASQ,mBAAA,SAA4B,wBATpC,CAAA;;;cAaA;;;;;;cAKQ,kBAAA,SAA2B;;;EAT3B,SAAA,MAAA,EAAA,MAAoB,GAAA,OAAA;AAI5B,CAAA,CAAA,CAAA;cASA;;;;;;cASQ,sBAAA,SAA+B;;;cAIvC;EAjBQ,SAAA,IAAA,EAAA,mBAA2B;AAInC,CAAA,WAAA,EAAA,CAAA;;;;cAkBQ,iBAAA,SAA0B;;;cAElC;;;;;AAXL;AAIK,cAgBQ,wBAAA,SAAiC,6BAhBzC,CAAA;;;;;;;KA8BO,UAAA,GACR,mBACA,kBACA,qBACA,sBACA,qBACA,yBACA,oBACA"}
+{"version":3,"file":"Errors.d.cts","names":[],"sources":["../src/Errors.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAca,gBAAA,SAAyB;;;;;cAIjC;;;;;;cAKQ,eAAA,SAAwB;;;EATxB,SAAA,KAAA,EAAA,OAAiB;AAIzB,CAAA,CAAA,CAAA;cASA;;;;;;;;;;cASQ,kBAAA,SAA2B;;;;;AATnC,cAaA,wBAbA,EAAA,IAAA,CAAA,gBAAA,CAAA,MAAA,EAAA,GAAA,CAAA,GAAA,CAAA,CAAA,CAAA,CAAA,IAAA,2BAAA,CAAA,iBAAA,OAAA,KAAA,SAAA,MAAA,GAAA,KAAA,IAAA,IAAA,EAAA,CAAA,EAAA,EAAA,IAAA,EAAA,iBAAA,OAAA,KAAA,SAAA,MAAA,GAAA,KAAA,IAAA,IAAA,EAAA,CAAA,EAAA,CAAA,EAAA,kCAAA;;;;;;cAsBQ,mBAAA,SAA4B;;;cAIpC;;;;;;cAKQ,kBAAA,SAA2B;EAtB3B,SAAA,MAAA,EAAA,MAAmB;EAI3B,SAAA,QAAA,EAAA,MAAA,GAAA,OAAA;;;cAsBA;;;;;;cASQ,sBAAA,SAA+B;;;cAIvC;;;AA1BL;AAIK;;cA2BQ,iBAAA,SAA0B;;;cAElC;;;;;;cASQ,wBAAA,SAAiC;;;;AAjC9C;AAIK;;KA2CO,UAAA,GACR,mBACA,kBACA,qBACA,sBACA,qBACA,yBACA,oBACA"}

package/dist/Errors.d.mts

@@ -2,7 +2,7 @@ import * as effect_Types0 from "effect/Types";
 import * as effect_Cause0 from "effect/Cause";
 
 //#region src/Errors.d.ts
-declare const ColdStorageError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const ColdStorageError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "ColdStorageError";
 } & Readonly<A>;
 /**
@@ -13,7 +13,7 @@ declare class ColdStorageError extends ColdStorageError_base<{
   readonly operation: "load" | "save" | "delete";
   readonly cause: unknown;
 }> {}
-declare const HotStorageError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const HotStorageError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "HotStorageError";
 } & Readonly<A>;
 /**
@@ -24,7 +24,7 @@ declare class HotStorageError extends HotStorageError_base<{
   readonly operation: "append" | "getEntries" | "truncate" | "appendWithCheck";
   readonly cause: unknown;
 }> {}
-declare const WalVersionGapError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const WalVersionGapError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "WalVersionGapError";
 } & Readonly<A>;
 /**
@@ -39,7 +39,7 @@ declare class WalVersionGapError extends WalVersionGapError_base<{
   readonly expectedVersion: number;
   readonly actualPreviousVersion: number | undefined;
 }> {}
-declare const AuthenticationError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const AuthenticationError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "AuthenticationError";
 } & Readonly<A>;
 /**
@@ -48,7 +48,7 @@ declare const AuthenticationError_base: new <A extends Record<string, any> = {}>
 declare class AuthenticationError extends AuthenticationError_base<{
   readonly reason: string;
 }> {}
-declare const AuthorizationError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const AuthorizationError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "AuthorizationError";
 } & Readonly<A>;
 /**
@@ -59,7 +59,7 @@ declare class AuthorizationError extends AuthorizationError_base<{
   readonly required: "read" | "write";
   readonly actual: "read" | "write";
 }> {}
-declare const MissingDocumentIdError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const MissingDocumentIdError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "MissingDocumentIdError";
 } & Readonly<A>;
 /**
@@ -68,7 +68,7 @@ declare const MissingDocumentIdError_base: new <A extends Record<string, any> =
 declare class MissingDocumentIdError extends MissingDocumentIdError_base<{
   readonly path: string;
 }> {}
-declare const MessageParseError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const MessageParseError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "MessageParseError";
 } & Readonly<A>;
 /**
@@ -77,7 +77,7 @@ declare const MessageParseError_base: new <A extends Record<string, any> = {}>(a
 declare class MessageParseError extends MessageParseError_base<{
   readonly cause: unknown;
 }> {}
-declare const TransactionRejectedError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }) => effect_Cause0.YieldableError & {
+declare const TransactionRejectedError_base: new <A extends Record<string, any> = {}>(args: effect_Types0.MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }>) => effect_Cause0.YieldableError & {
   readonly _tag: "TransactionRejectedError";
 } & Readonly<A>;
 /**

package/dist/Errors.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"Errors.d.mts","names":[],"sources":["../src/Errors.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAca,gBAAA,SAAyB;;;;;cAIjC;;;;;AAJL;AAIK,cAKQ,eAAA,SAAwB,oBALhC,CAAA;;;;;cASA;;;;;;;AAJL;AAIK;;cASQ,kBAAA,SAA2B;;;;;cAInC;;;;;AAJL;AAIK,cASQ,mBAAA,SAA4B,wBATpC,CAAA;;;cAaA;;;;;;cAKQ,kBAAA,SAA2B;;;EAT3B,SAAA,MAAA,EAAA,MAAoB,GAAA,OAAA;AAI5B,CAAA,CAAA,CAAA;cASA;;;;;;cASQ,sBAAA,SAA+B;;;cAIvC;EAjBQ,SAAA,IAAA,EAAA,mBAA2B;AAInC,CAAA,WAAA,EAAA,CAAA;;;;cAkBQ,iBAAA,SAA0B;;;cAElC;;;;;AAXL;AAIK,cAgBQ,wBAAA,SAAiC,6BAhBzC,CAAA;;;;;;;KA8BO,UAAA,GACR,mBACA,kBACA,qBACA,sBACA,qBACA,yBACA,oBACA"}
+{"version":3,"file":"Errors.d.mts","names":[],"sources":["../src/Errors.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAca,gBAAA,SAAyB;;;;;cAIjC;;;;;;cAKQ,eAAA,SAAwB;;;EATxB,SAAA,KAAA,EAAA,OAAiB;AAIzB,CAAA,CAAA,CAAA;cASA;;;;;;;;;;cASQ,kBAAA,SAA2B;;;;;AATnC,cAaA,wBAbA,EAAA,IAAA,CAAA,gBAAA,CAAA,MAAA,EAAA,GAAA,CAAA,GAAA,CAAA,CAAA,CAAA,CAAA,IAAA,2BAAA,CAAA,iBAAA,OAAA,KAAA,SAAA,MAAA,GAAA,KAAA,IAAA,IAAA,EAAA,CAAA,EAAA,EAAA,IAAA,EAAA,iBAAA,OAAA,KAAA,SAAA,MAAA,GAAA,KAAA,IAAA,IAAA,EAAA,CAAA,EAAA,CAAA,EAAA,kCAAA;;;;;;cAsBQ,mBAAA,SAA4B;;;cAIpC;;;;;;cAKQ,kBAAA,SAA2B;EAtB3B,SAAA,MAAA,EAAA,MAAmB;EAI3B,SAAA,QAAA,EAAA,MAAA,GAAA,OAAA;;;cAsBA;;;;;;cASQ,sBAAA,SAA+B;;;cAIvC;;;AA1BL;AAIK;;cA2BQ,iBAAA,SAA0B;;;cAElC;;;;;;cASQ,wBAAA,SAAiC;;;;AAjC9C;AAIK;;KA2CO,UAAA,GACR,mBACA,kBACA,qBACA,sBACA,qBACA,yBACA,oBACA"}

package/dist/HotStorage.cjs

@@ -10,7 +10,7 @@ let effect = require("effect");
 /**
 * Context tag for HotStorage service
 */
-var HotStorageTag = class extends effect.Context.Tag("@voidhash/mimic-effect/HotStorage")() {};
+var HotStorageTag = class extends effect.ServiceMap.Service()("@voidhash/mimic-effect/HotStorage") {};
 /**
 * Create a HotStorage layer from an Effect that produces a HotStorage service.
 *

package/dist/HotStorage.d.cts

@@ -1,6 +1,6 @@
 import { WalEntry } from "./Types.cjs";
 import { HotStorageError, WalVersionGapError } from "./Errors.cjs";
-import { Context, Effect, Layer } from "effect";
+import { Effect, Layer, ServiceMap } from "effect";
 
 //#region src/HotStorage.d.ts
 
@@ -47,7 +47,7 @@ interface HotStorage {
    */
   readonly truncate: (documentId: string, upToVersion: number) => Effect.Effect<void, HotStorageError>;
 }
-declare const HotStorageTag_base: Context.TagClass<HotStorageTag, "@voidhash/mimic-effect/HotStorage", HotStorage>;
+declare const HotStorageTag_base: ServiceMap.ServiceClass<HotStorageTag, "@voidhash/mimic-effect/HotStorage", HotStorage>;
 /**
  * Context tag for HotStorage service
  */

package/dist/HotStorage.d.mts

@@ -1,6 +1,6 @@
 import { WalEntry } from "./Types.mjs";
 import { HotStorageError, WalVersionGapError } from "./Errors.mjs";
-import { Context, Effect, Layer } from "effect";
+import { Effect, Layer, ServiceMap } from "effect";
 
 //#region src/HotStorage.d.ts
 
@@ -47,7 +47,7 @@ interface HotStorage {
    */
   readonly truncate: (documentId: string, upToVersion: number) => Effect.Effect<void, HotStorageError>;
 }
-declare const HotStorageTag_base: Context.TagClass<HotStorageTag, "@voidhash/mimic-effect/HotStorage", HotStorage>;
+declare const HotStorageTag_base: ServiceMap.ServiceClass<HotStorageTag, "@voidhash/mimic-effect/HotStorage", HotStorage>;
 /**
  * Context tag for HotStorage service
  */

package/dist/HotStorage.mjs

@@ -1,5 +1,5 @@
 import { WalVersionGapError } from "./Errors.mjs";
-import { Context, Effect, HashMap, Layer, Ref } from "effect";
+import { Effect, HashMap, Layer, Ref, ServiceMap } from "effect";
 
 //#region src/HotStorage.ts
 /**
@@ -10,7 +10,7 @@ import { Context, Effect, HashMap, Layer, Ref } from "effect";
 /**
 * Context tag for HotStorage service
 */
-var HotStorageTag = class extends Context.Tag("@voidhash/mimic-effect/HotStorage")() {};
+var HotStorageTag = class extends ServiceMap.Service()("@voidhash/mimic-effect/HotStorage") {};
 /**
 * Create a HotStorage layer from an Effect that produces a HotStorage service.
 *