@voidhash/mimic 0.0.9 → 1.0.0-beta.2

package/.turbo/turbo-build.log

@@ -1,5 +1,5 @@
 
-> @voidhash/mimic@0.0.9 build /home/runner/work/mimic/mimic/packages/mimic
+> @voidhash/mimic@1.0.0-beta.2 build /home/runner/work/mimic/mimic/packages/mimic
 > tsdown
 
 ℹ tsdown v0.18.2 powered by rolldown v1.0.0-beta.55
@@ -31,8 +31,8 @@
 ℹ [CJS] dist/primitives/Literal.cjs                                                            3.89 kB │ gzip: 1.06 kB
 ℹ [CJS] dist/client/StateMonitor.cjs                                                           3.71 kB │ gzip: 1.27 kB
 ℹ [CJS] dist/primitives/shared.cjs                                                             3.69 kB │ gzip: 1.25 kB
+ℹ [CJS] dist/server/ServerDocument.cjs                                                         3.66 kB │ gzip: 1.14 kB
 ℹ [CJS] dist/server/errors.cjs                                                                 3.29 kB │ gzip: 0.70 kB
-ℹ [CJS] dist/server/ServerDocument.cjs                                                         3.16 kB │ gzip: 1.04 kB
 ℹ [CJS] dist/primitives/TreeNode.cjs                                                           2.67 kB │ gzip: 0.92 kB
 ℹ [CJS] dist/Presence.cjs                                                                      2.36 kB │ gzip: 0.87 kB
 ℹ [CJS] dist/Primitive.cjs                                                                     2.34 kB │ gzip: 0.59 kB
@@ -52,7 +52,7 @@
 ℹ [CJS] dist/OperationDefinition.cjs                                                           0.22 kB │ gzip: 0.16 kB
 ℹ [CJS] dist/client/Transport.cjs                                                              0.21 kB │ gzip: 0.16 kB
 ℹ [CJS] dist/Transform.cjs                                                                     0.20 kB │ gzip: 0.16 kB
-ℹ [CJS] 44 files, total: 213.69 kB
+ℹ [CJS] 44 files, total: 214.19 kB
 ℹ [CJS] dist/primitives/Tree.d.cts.map             6.90 kB │ gzip: 2.60 kB
 ℹ [CJS] dist/primitives/Struct.d.cts.map           4.62 kB │ gzip: 1.95 kB
 ℹ [CJS] dist/utils/tree-helpers.d.cts.map          3.61 kB │ gzip: 1.31 kB
@@ -70,9 +70,9 @@
 ℹ [CJS] dist/primitives/Lazy.d.cts.map             1.44 kB │ gzip: 0.69 kB
 ℹ [CJS] dist/client/Rebase.d.cts.map               1.02 kB │ gzip: 0.47 kB
 ℹ [CJS] dist/EffectSchema.d.cts.map                1.00 kB │ gzip: 0.48 kB
+ℹ [CJS] dist/server/ServerDocument.d.cts.map       0.92 kB │ gzip: 0.46 kB
 ℹ [CJS] dist/Document.d.cts.map                    0.85 kB │ gzip: 0.46 kB
 ℹ [CJS] dist/Operation.d.cts.map                   0.81 kB │ gzip: 0.42 kB
-ℹ [CJS] dist/server/ServerDocument.d.cts.map       0.81 kB │ gzip: 0.44 kB
 ℹ [CJS] dist/OperationPath.d.cts.map               0.77 kB │ gzip: 0.43 kB
 ℹ [CJS] dist/client/errors.d.cts.map               0.74 kB │ gzip: 0.38 kB
 ℹ [CJS] dist/Presence.d.cts.map                    0.69 kB │ gzip: 0.38 kB
@@ -87,7 +87,7 @@
 ℹ [CJS] dist/Primitive.d.cts.map                   0.12 kB │ gzip: 0.11 kB
 ℹ [CJS] dist/index.d.cts                           1.05 kB │ gzip: 0.28 kB
 ℹ [CJS] dist/client/index.d.cts                    1.01 kB │ gzip: 0.29 kB
-ℹ [CJS] dist/server/index.d.cts                    0.65 kB │ gzip: 0.23 kB
+ℹ [CJS] dist/server/index.d.cts                    0.68 kB │ gzip: 0.24 kB
 ℹ [CJS] dist/primitives/Tree.d.cts                13.50 kB │ gzip: 3.50 kB
 ℹ [CJS] dist/utils/tree-helpers.d.cts             12.18 kB │ gzip: 2.52 kB
 ℹ [CJS] dist/client/Transport.d.cts                7.30 kB │ gzip: 1.84 kB
@@ -96,11 +96,11 @@
 ℹ [CJS] dist/client/ClientDocument.d.cts           6.07 kB │ gzip: 1.68 kB
 ℹ [CJS] dist/primitives/Either.d.cts               5.44 kB │ gzip: 1.54 kB
 ℹ [CJS] dist/primitives/Array.d.cts                5.01 kB │ gzip: 1.44 kB
+ℹ [CJS] dist/server/ServerDocument.d.cts           4.90 kB │ gzip: 1.55 kB
 ℹ [CJS] dist/client/Rebase.d.cts                   4.88 kB │ gzip: 1.14 kB
 ℹ [CJS] dist/primitives/Union.d.cts                4.58 kB │ gzip: 1.26 kB
 ℹ [CJS] dist/primitives/TreeNode.d.cts             4.28 kB │ gzip: 1.29 kB
 ℹ [CJS] dist/Primitive.d.cts                       3.79 kB │ gzip: 0.82 kB
-ℹ [CJS] dist/server/ServerDocument.d.cts           3.58 kB │ gzip: 1.19 kB
 ℹ [CJS] dist/client/StateMonitor.d.cts             3.33 kB │ gzip: 1.07 kB
 ℹ [CJS] dist/EffectSchema.d.cts                    3.20 kB │ gzip: 0.92 kB
 ℹ [CJS] dist/primitives/String.d.cts               3.08 kB │ gzip: 0.85 kB
@@ -120,8 +120,8 @@
 ℹ [CJS] dist/client/WebSocketTransport.d.cts       1.22 kB │ gzip: 0.55 kB
 ℹ [CJS] dist/Transform.d.cts                       0.48 kB │ gzip: 0.26 kB
 ℹ [CJS] dist/OperationDefinition.d.cts             0.36 kB │ gzip: 0.21 kB
-ℹ [CJS] 67 files, total: 181.04 kB
-✔ Build complete in 5818ms
+ℹ [CJS] 67 files, total: 182.50 kB
+✔ Build complete in 5745ms
 ℹ [ESM] dist/index.mjs                                                                         1.01 kB │ gzip:  0.28 kB
 ℹ [ESM] dist/client/index.mjs                                                                  0.99 kB │ gzip:  0.28 kB
 ℹ [ESM] dist/server/index.mjs                                                                  0.41 kB │ gzip:  0.17 kB
@@ -140,11 +140,11 @@
 ℹ [ESM] dist/FractionalIndex.mjs                                                              16.49 kB │ gzip:  3.36 kB
 ℹ [ESM] dist/client/Rebase.mjs.map                                                            14.15 kB │ gzip:  3.21 kB
 ℹ [ESM] dist/utils/tree-helpers.mjs                                                           13.31 kB │ gzip:  3.15 kB
+ℹ [ESM] dist/server/ServerDocument.mjs.map                                                    13.26 kB │ gzip:  3.59 kB
 ℹ [ESM] dist/primitives/shared.mjs.map                                                        13.14 kB │ gzip:  3.69 kB
 ℹ [ESM] dist/primitives/Array.mjs                                                             11.07 kB │ gzip:  2.64 kB
 ℹ [ESM] dist/Document.mjs.map                                                                 10.89 kB │ gzip:  3.31 kB
 ℹ [ESM] dist/client/WebSocketTransport.mjs                                                    10.81 kB │ gzip:  2.68 kB
-ℹ [ESM] dist/server/ServerDocument.mjs.map                                                    10.44 kB │ gzip:  2.95 kB
 ℹ [ESM] dist/client/StateMonitor.mjs.map                                                      10.39 kB │ gzip:  3.04 kB
 ℹ [ESM] dist/primitives/String.mjs.map                                                         9.70 kB │ gzip:  2.70 kB
 ℹ [ESM] dist/primitives/Struct.mjs                                                             9.30 kB │ gzip:  2.31 kB
@@ -169,16 +169,16 @@
 ℹ [ESM] dist/Document.mjs                                                                      4.00 kB │ gzip:  1.40 kB
 ℹ [ESM] dist/primitives/Number.mjs                                                             3.99 kB │ gzip:  1.19 kB
 ℹ [ESM] dist/server/errors.mjs.map                                                             3.86 kB │ gzip:  0.96 kB
-ℹ [ESM] dist/types/index.mjs.map                                                               3.74 kB │ gzip:  0.79 kB
+ℹ [ESM] dist/types/index.mjs.map                                                               3.71 kB │ gzip:  0.78 kB
 ℹ [ESM] dist/utils/tree-helpers.d.mts.map                                                      3.61 kB │ gzip:  1.31 kB
 ℹ [ESM] dist/client/StateMonitor.mjs                                                           3.60 kB │ gzip:  1.23 kB
 ℹ [ESM] dist/primitives/shared.mjs                                                             3.55 kB │ gzip:  1.25 kB
+ℹ [ESM] dist/server/ServerDocument.mjs                                                         3.49 kB │ gzip:  1.11 kB
 ℹ [ESM] dist/primitives/Boolean.mjs                                                            3.40 kB │ gzip:  1.04 kB
 ℹ [ESM] dist/primitives/Literal.mjs                                                            3.31 kB │ gzip:  1.04 kB
 ℹ [ESM] dist/primitives/Array.d.mts.map                                                        3.26 kB │ gzip:  1.35 kB
 ℹ [ESM] dist/primitives/Union.d.mts.map                                                        3.15 kB │ gzip:  1.37 kB
 ℹ [ESM] dist/primitives/Either.d.mts.map                                                       3.12 kB │ gzip:  1.26 kB
-ℹ [ESM] dist/server/ServerDocument.mjs                                                         2.99 kB │ gzip:  1.01 kB
 ℹ [ESM] dist/server/errors.mjs                                                                 2.85 kB │ gzip:  0.70 kB
 ℹ [ESM] dist/Operation.mjs.map                                                                 2.75 kB │ gzip:  0.86 kB
 ℹ [ESM] dist/Transaction.mjs.map                                                               2.65 kB │ gzip:  0.99 kB
@@ -204,9 +204,9 @@
 ℹ [ESM] dist/client/Rebase.d.mts.map                                                           1.03 kB │ gzip:  0.48 kB
 ℹ [ESM] dist/EffectSchema.d.mts.map                                                            1.00 kB │ gzip:  0.48 kB
 ℹ [ESM] dist/_virtual/_@oxc-project_runtime@0.103.0/helpers/objectSpread2.mjs                  0.90 kB │ gzip:  0.42 kB
+ℹ [ESM] dist/server/ServerDocument.d.mts.map                                                   0.90 kB │ gzip:  0.46 kB
 ℹ [ESM] dist/Document.d.mts.map                                                                0.84 kB │ gzip:  0.46 kB
 ℹ [ESM] dist/Operation.d.mts.map                                                               0.81 kB │ gzip:  0.42 kB
-ℹ [ESM] dist/server/ServerDocument.d.mts.map                                                   0.80 kB │ gzip:  0.44 kB
 ℹ [ESM] dist/OperationPath.d.mts.map                                                           0.77 kB │ gzip:  0.43 kB
 ℹ [ESM] dist/client/errors.d.mts.map                                                           0.74 kB │ gzip:  0.38 kB
 ℹ [ESM] dist/Presence.d.mts.map                                                                0.69 kB │ gzip:  0.38 kB
@@ -233,7 +233,7 @@
 ℹ [ESM] dist/Primitive.d.mts.map                                                               0.12 kB │ gzip:  0.11 kB
 ℹ [ESM] dist/index.d.mts                                                                       1.05 kB │ gzip:  0.28 kB
 ℹ [ESM] dist/client/index.d.mts                                                                1.01 kB │ gzip:  0.29 kB
-ℹ [ESM] dist/server/index.d.mts                                                                0.65 kB │ gzip:  0.23 kB
+ℹ [ESM] dist/server/index.d.mts                                                                0.68 kB │ gzip:  0.24 kB
 ℹ [ESM] dist/primitives/Tree.d.mts                                                            13.50 kB │ gzip:  3.50 kB
 ℹ [ESM] dist/utils/tree-helpers.d.mts                                                         12.18 kB │ gzip:  2.52 kB
 ℹ [ESM] dist/client/Transport.d.mts                                                            7.30 kB │ gzip:  1.84 kB
@@ -242,11 +242,11 @@
 ℹ [ESM] dist/client/ClientDocument.d.mts                                                       6.09 kB │ gzip:  1.69 kB
 ℹ [ESM] dist/primitives/Either.d.mts                                                           5.44 kB │ gzip:  1.54 kB
 ℹ [ESM] dist/primitives/Array.d.mts                                                            5.04 kB │ gzip:  1.45 kB
+ℹ [ESM] dist/server/ServerDocument.d.mts                                                       4.93 kB │ gzip:  1.56 kB
 ℹ [ESM] dist/client/Rebase.d.mts                                                               4.91 kB │ gzip:  1.15 kB
 ℹ [ESM] dist/primitives/Union.d.mts                                                            4.61 kB │ gzip:  1.27 kB
 ℹ [ESM] dist/primitives/TreeNode.d.mts                                                         4.31 kB │ gzip:  1.29 kB
 ℹ [ESM] dist/Primitive.d.mts                                                                   3.79 kB │ gzip:  0.82 kB
-ℹ [ESM] dist/server/ServerDocument.d.mts                                                       3.61 kB │ gzip:  1.19 kB
 ℹ [ESM] dist/client/StateMonitor.d.mts                                                         3.33 kB │ gzip:  1.07 kB
 ℹ [ESM] dist/EffectSchema.d.mts                                                                3.20 kB │ gzip:  0.92 kB
 ℹ [ESM] dist/primitives/String.d.mts                                                           3.08 kB │ gzip:  0.85 kB
@@ -266,5 +266,5 @@
 ℹ [ESM] dist/client/WebSocketTransport.d.mts                                                   1.22 kB │ gzip:  0.55 kB
 ℹ [ESM] dist/Transform.d.mts                                                                   0.48 kB │ gzip:  0.26 kB
 ℹ [ESM] dist/OperationDefinition.d.mts                                                         0.36 kB │ gzip:  0.22 kB
-ℹ [ESM] 144 files, total: 845.46 kB
-✔ Build complete in 5846ms
+ℹ [ESM] 144 files, total: 850.21 kB
+✔ Build complete in 5795ms

package/dist/Presence.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"Presence.d.mts","names":[],"sources":["../src/Presence.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;UAeiB;;;mBAGE,MAAA,CAAO,OAAO;;EAHhB,SAAA,KAAQ,EAKP,KALO;;;;;AAWR,UAAA,eAAe,CAAA,KAEC,CAAA,CAAA;EAMrB;EAKA,SAAA,MAAW,EAXJ,MAAA,CAAO,MAWA,CAXO,KAWC,CAAA;AASlC;AA8BA;;;AAAwE,KA5C5D,KA4C4D,CAAA,UA5C5C,QA4C4C,CAAA,GAAA,CAAA,CAAA,GA5C3B,CA4C2B,CAAA,OAAA,CAAA;;;AAmBxE;AACqB,KA3DT,WAAA,GAAc,QA2DL,CAAA,GAAA,CAAA;;;;AAcR,UAhEI,aAyEhB,CAAA,QAAA,OAAA,CAAA,CAAA;EARoB;EAAT,SAAA,IAAA,EA/DK,KA+DL;EAET;EAAK,SAAA,MAAA,CAAA,EAAA,MAAA;AAeR;;;;;;;;;;;;;;;;;;;;cApDa,uBAAyB,gBAAgB,WAAS,SAAS;;;;;;;;;;cAmB3D,4BACD,SAAS,0BAElB;;;;;;;;;cAYU,gCACD,SAAS,0BAElB;;;;;;;;cAeU,2BACD,SAAS,kCAEV"}
+{"version":3,"file":"Presence.d.mts","names":[],"sources":["../src/Presence.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;UAeiB;;;mBAGE,MAAA,CAAO,OAAO;;EAHhB,SAAA,KAAQ,EAKP,KALO;;;;;AAWR,UAAA,eAAe,CAAA,KAAA,CAEC,CAAA;EAMrB;EAKA,SAAA,MAAW,EAXJ,MAAA,CAAO,MAWA,CAXO,KAWC,CAAA;AASlC;AA8BA;;;AAAwE,KA5C5D,KA4C4D,CAAA,UA5C5C,QA4C4C,CAAA,GAAA,CAAA,CAAA,GA5C3B,CA4C2B,CAAA,OAAA,CAAA;;;AAmBxE;AACqB,KA3DT,WAAA,GAAc,QA2DL,CAAA,GAAA,CAAA;;;;AAcR,UAhEI,aAyEhB,CAAA,QAAA,OAAA,CAAA,CAAA;EARoB;EAAT,SAAA,IAAA,EA/DK,KA+DL;EAET;EAAK,SAAA,MAAA,CAAA,EAAA,MAAA;AAeR;;;;;;;;;;;;;;;;;;;;cApDa,uBAAyB,gBAAgB,WAAS,SAAS;;;;;;;;;;cAmB3D,4BACD,SAAS,0BAElB;;;;;;;;;cAYU,gCACD,SAAS,0BAElB;;;;;;;;cAeU,2BACD,SAAS,kCAEV"}

package/dist/server/ServerDocument.cjs

@@ -49,6 +49,20 @@ const make = (options) => {
 			};
 		}
 	};
+	/**
+	* Internal function to apply a transaction and broadcast.
+	* Called by both apply() and submit().
+	*/
+	const applyAndBroadcast = (transaction) => {
+		_document.apply(transaction.ops);
+		_version += 1;
+		recordTransaction(transaction.id);
+		onBroadcast({
+			type: "transaction",
+			transaction,
+			version: _version
+		});
+	};
 	return {
 		schema,
 		get: () => {
@@ -57,6 +71,20 @@ const make = (options) => {
 		getVersion: () => {
 			return _version;
 		},
+		validate: (transaction) => {
+			const validation = validateTransaction(transaction);
+			if (!validation.valid) return {
+				valid: false,
+				reason: validation.reason
+			};
+			return {
+				valid: true,
+				nextVersion: _version + 1
+			};
+		},
+		apply: (transaction) => {
+			applyAndBroadcast(transaction);
+		},
 		submit: (transaction) => {
 			const validation = validateTransaction(transaction);
 			if (!validation.valid) {
@@ -67,7 +95,7 @@ const make = (options) => {
 				};
 			}
 			try {
-				_document.apply(transaction.ops);
+				applyAndBroadcast(transaction);
 			} catch (error) {
 				const reason = error instanceof Error ? error.message : String(error);
 				onRejection === null || onRejection === void 0 || onRejection(transaction.id, reason);
@@ -76,13 +104,6 @@ const make = (options) => {
 					reason
 				};
 			}
-			_version += 1;
-			recordTransaction(transaction.id);
-			onBroadcast({
-				type: "transaction",
-				transaction,
-				version: _version
-			});
 			return {
 				success: true,
 				version: _version

package/dist/server/ServerDocument.d.cts

@@ -3,7 +3,7 @@ import { AnyPrimitive, InferSetInput, InferState } from "../primitives/shared.cj
 
 //#region src/server/ServerDocument.d.ts
 declare namespace ServerDocument_d_exports {
-  export { ErrorMessage, ServerDocument, ServerDocumentOptions, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, make };
+  export { ErrorMessage, ServerDocument, ServerDocumentOptions, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, ValidateResult, make };
 }
 /**
  * Message sent when broadcasting a committed transaction.
@@ -44,6 +44,17 @@ type SubmitResult = {
   readonly success: false;
   readonly reason: string;
 };
+/**
+ * Result of validating a transaction (two-phase commit: phase 1).
+ * If valid, returns the version this transaction will get when applied.
+ */
+type ValidateResult = {
+  readonly valid: true;
+  readonly nextVersion: number;
+} | {
+  readonly valid: false;
+  readonly reason: string;
+};
 /**
  * Options for creating a ServerDocument.
  */
@@ -72,8 +83,30 @@ interface ServerDocument<TSchema extends AnyPrimitive> {
   /** Returns the current version number */
   getVersion(): number;
   /**
-   * Submits a transaction for processing.
+   * Phase 1 of two-phase commit: Validates a transaction without side effects.
+   * Returns the version this transaction would get if applied.
+   * Does NOT modify state, increment version, record transaction, or broadcast.
+   *
+   * Use this to validate before writing to WAL, then call apply() after WAL success.
+   *
+   * @param transaction - The transaction to validate
+   * @returns ValidateResult with nextVersion if valid, or reason if invalid
+   */
+  validate(transaction: Transaction): ValidateResult;
+  /**
+   * Phase 2 of two-phase commit: Applies a pre-validated transaction.
+   * MUST only be called after validate() succeeded AND WAL write succeeded.
+   * Mutates state, increments version, records transaction ID, and broadcasts.
+   *
+   * @param transaction - The transaction to apply (must have been validated first)
+   */
+  apply(transaction: Transaction): void;
+  /**
+   * Submits a transaction for processing (combines validate + apply).
    * Validates and applies the transaction if valid, or rejects it with a reason.
+   *
+   * For two-phase commit with WAL, use validate() then apply() instead.
+   *
    * @param transaction - The transaction to process
    * @returns SubmitResult indicating success with version or failure with reason
    */
@@ -94,5 +127,5 @@ interface ServerDocument<TSchema extends AnyPrimitive> {
  */
 declare const make: <TSchema extends AnyPrimitive>(options: ServerDocumentOptions<TSchema>) => ServerDocument<TSchema>;
 //#endregion
-export { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage };
+export { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, ValidateResult };
 //# sourceMappingURL=ServerDocument.d.cts.map

package/dist/server/ServerDocument.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"ServerDocument.d.cts","names":[],"sources":["../../src/server/ServerDocument.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;UAWiB,kBAAA;;wBAEO;;;;;;;UAQP,YAAA;EAVA,SAAA,IAAA,EAAA,OAAkB;EAUlB,SAAA,aAAY,EAAA,MAAA;EASZ,SAAA,MAAA,EAAA,MAAe;AAShC;;;;AAA+E,UAT9D,eAAA,CAS8D;EASnE,SAAA,IAAA,EAAY,UAAA;EAWP,SAAA,KAAA,EAAA,OAAA;EAAsC,SAAA,OAAA,EAAA,MAAA;;;;;AAQH,KA5BxC,aAAA,GAAgB,kBA4BwB,GA5BH,YA4BG,GA5BY,eA4BZ;AAUpD;;;AAK8B,KAlClB,YAAA,GAkCkB;EAArB,SAAA,OAAA,EAAA,IAAA;EAWa,SAAA,OAAA,EAAA,MAAA;CAA0B,GAAA;EAM/B,SAAA,OAAA,EAAA,KAAA;EAAe,SAAA,MAAA,EAAA,MAAA;AAgBhC,CAAA;;;;AAEkB,UA1DD,qBA0DC,CAAA,gBA1DqC,YA0DrC,CAAA,CAAA;EAAf;EAAc,SAAA,MAAA,EAxDE,OAwDF;;0BAtDS,cAAwB;;;;kCAIhB;;;;;;;;;UAUjB,+BAA+B;;mBAE7B;;SAGV,WAAqB;;;;;;;;;sBAWR,cAA0B;;;;;iBAM/B;;;;;;;;;;cAgBJ,uBAAwB,uBAC1B,sBAAsB,aAC9B,eAAe"}
+{"version":3,"file":"ServerDocument.d.cts","names":[],"sources":["../../src/server/ServerDocument.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;UAWiB,kBAAA;;wBAEO;;;;;;;UAQP,YAAA;;EAVA,SAAA,aAAkB,EAAA,MAAA;EAUlB,SAAA,MAAY,EAAA,MAAA;AAS7B;AASA;;;AAAgE,UAT/C,eAAA,CAS+C;EAAe,SAAA,IAAA,EAAA,UAAA;EASnE,SAAA,KAAA,EAAY,OAAA;EAQZ,SAAA,OAAA,EAAc,MAAA;AAW1B;;;;AAI0B,KAhCd,aAAA,GAAgB,kBAgCF,GAhCuB,YAgCvB,GAhCsC,eAgCtC;;;AAc1B;AAAgD,KArCpC,YAAA,GAqCoC;EAE7B,SAAA,OAAA,EAAA,IAAA;EAGW,SAAA,OAAA,EAAA,MAAA;CAArB,GAAA;EAee,SAAA,OAAA,EAAA,KAAA;EAA0B,SAAA,MAAA,EAAA,MAAA;CAS7B;;;;;AAiCR,KA3FD,cAAA,GAyRX;EA9LoC,SAAA,KAAA,EAAA,IAAA;EACJ,SAAA,WAAA,EAAA,MAAA;CAAtB,GAAA;EACO,SAAA,KAAA,EAAA,KAAA;EAAf,SAAA,MAAA,EAAA,MAAA;CAAc;;;;UAlFA,sCAAsC;;mBAEpC;;0BAEO,cAAwB;;;;kCAIhB;;;;;;;;;UAUjB,+BAA+B;;mBAE7B;;SAGV,WAAqB;;;;;;;;;;;;;wBAeN,cAA0B;;;;;;;;qBAS7B;;;;;;;;;;sBAWC,cAA0B;;;;;iBAM/B;;;;;;;;;;cAgBJ,uBAAwB,uBAC1B,sBAAsB,aAC9B,eAAe"}

package/dist/server/ServerDocument.d.mts

@@ -4,7 +4,7 @@ import "../Primitive.mjs";
 
 //#region src/server/ServerDocument.d.ts
 declare namespace ServerDocument_d_exports {
-  export { ErrorMessage, ServerDocument, ServerDocumentOptions, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, make };
+  export { ErrorMessage, ServerDocument, ServerDocumentOptions, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, ValidateResult, make };
 }
 /**
  * Message sent when broadcasting a committed transaction.
@@ -45,6 +45,17 @@ type SubmitResult = {
   readonly success: false;
   readonly reason: string;
 };
+/**
+ * Result of validating a transaction (two-phase commit: phase 1).
+ * If valid, returns the version this transaction will get when applied.
+ */
+type ValidateResult = {
+  readonly valid: true;
+  readonly nextVersion: number;
+} | {
+  readonly valid: false;
+  readonly reason: string;
+};
 /**
  * Options for creating a ServerDocument.
  */
@@ -73,8 +84,30 @@ interface ServerDocument<TSchema extends AnyPrimitive> {
   /** Returns the current version number */
   getVersion(): number;
   /**
-   * Submits a transaction for processing.
+   * Phase 1 of two-phase commit: Validates a transaction without side effects.
+   * Returns the version this transaction would get if applied.
+   * Does NOT modify state, increment version, record transaction, or broadcast.
+   *
+   * Use this to validate before writing to WAL, then call apply() after WAL success.
+   *
+   * @param transaction - The transaction to validate
+   * @returns ValidateResult with nextVersion if valid, or reason if invalid
+   */
+  validate(transaction: Transaction): ValidateResult;
+  /**
+   * Phase 2 of two-phase commit: Applies a pre-validated transaction.
+   * MUST only be called after validate() succeeded AND WAL write succeeded.
+   * Mutates state, increments version, records transaction ID, and broadcasts.
+   *
+   * @param transaction - The transaction to apply (must have been validated first)
+   */
+  apply(transaction: Transaction): void;
+  /**
+   * Submits a transaction for processing (combines validate + apply).
    * Validates and applies the transaction if valid, or rejects it with a reason.
+   *
+   * For two-phase commit with WAL, use validate() then apply() instead.
+   *
    * @param transaction - The transaction to process
    * @returns SubmitResult indicating success with version or failure with reason
    */
@@ -95,5 +128,5 @@ interface ServerDocument<TSchema extends AnyPrimitive> {
  */
 declare const make: <TSchema extends AnyPrimitive>(options: ServerDocumentOptions<TSchema>) => ServerDocument<TSchema>;
 //#endregion
-export { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage };
+export { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, ValidateResult };
 //# sourceMappingURL=ServerDocument.d.mts.map

package/dist/server/ServerDocument.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"ServerDocument.d.mts","names":[],"sources":["../../src/server/ServerDocument.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;UAWiB,kBAAA;;wBAEO;;;;;;;UAQP,YAAA;;EAVA,SAAA,aAAkB,EAAA,MAAA;EAUlB,SAAA,MAAY,EAAA,MAAA;AAS7B;AASA;;;AAAgE,UAT/C,eAAA,CAS+C;EAAe,SAAA,IAAA,EAAA,UAAA;EASnE,SAAA,KAAA,EAAY,OAAA;EAWP,SAAA,OAAA,EAAA,MAAqB;;;;;AAQJ,KA5BtB,aAAA,GAAgB,kBA4BM,GA5Be,YA4Bf,GA5B8B,eA4B9B;;AAUlC;;AAEmB,KA/BP,YAAA,GA+BO;EAGW,SAAA,OAAA,EAAA,IAAA;EAArB,SAAA,OAAA,EAAA,MAAA;CAWa,GAAA;EAA0B,SAAA,OAAA,EAAA,KAAA;EAM/B,SAAA,MAAA,EAAA,MAAA;CAAe;AAgBhC;;;AACW,UAzDM,qBAyDN,CAAA,gBAzD4C,YAyD5C,CAAA,CAAA;EACO;EAAf,SAAA,MAAA,EAxDgB,OAwDhB;EAAc;0BAtDS,cAAwB;;;;kCAIhB;;;;;;;;;UAUjB,+BAA+B;;mBAE7B;;SAGV,WAAqB;;;;;;;;;sBAWR,cAA0B;;;;;iBAM/B;;;;;;;;;;cAgBJ,uBAAwB,uBAC1B,sBAAsB,aAC9B,eAAe"}
+{"version":3,"file":"ServerDocument.d.mts","names":[],"sources":["../../src/server/ServerDocument.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;UAWiB,kBAAA;;wBAEO;;;;;;;UAQP,YAAA;;;EAVA,SAAA,MAAA,EAAA,MAAkB;AAUnC;AASA;AASA;;AAAiD,UAThC,eAAA,CASgC;EAAe,SAAA,IAAA,EAAA,UAAA;EAAe,SAAA,KAAA,EAAA,OAAA;EASnE,SAAA,OAAY,EAAA,MAAA;AAQxB;AAWA;;;AAIkD,KAhCtC,aAAA,GAAgB,kBAgCsB,GAhCD,YAgCC,GAhCc,eAgCd;;;;AAcjC,KArCL,YAAA,GAqCmB;EAAiB,SAAA,OAAA,EAAA,IAAA;EAE7B,SAAA,OAAA,EAAA,MAAA;CAGW,GAAA;EAArB,SAAA,OAAA,EAAA,KAAA;EAee,SAAA,MAAA,EAAA,MAAA;CAA0B;;;;;AA0BlB,KA3EpB,cAAA,GA2EoB;EAgBnB,SA8LZ,KAAA,EAAA,IAAA;EA9LoC,SAAA,WAAA,EAAA,MAAA;CACJ,GAAA;EAAtB,SAAA,KAAA,EAAA,KAAA;EACO,SAAA,MAAA,EAAA,MAAA;CAAf;;;;UAlFc,sCAAsC;;mBAEpC;;0BAEO,cAAwB;;;;kCAIhB;;;;;;;;;UAUjB,+BAA+B;;mBAE7B;;SAGV,WAAqB;;;;;;;;;;;;;wBAeN,cAA0B;;;;;;;;qBAS7B;;;;;;;;;;sBAWC,cAA0B;;;;;iBAM/B;;;;;;;;;;cAgBJ,uBAAwB,uBAC1B,sBAAsB,aAC9B,eAAe"}

package/dist/server/ServerDocument.mjs

@@ -49,6 +49,20 @@ const make = (options) => {
 			};
 		}
 	};
+	/**
+	* Internal function to apply a transaction and broadcast.
+	* Called by both apply() and submit().
+	*/
+	const applyAndBroadcast = (transaction) => {
+		_document.apply(transaction.ops);
+		_version += 1;
+		recordTransaction(transaction.id);
+		onBroadcast({
+			type: "transaction",
+			transaction,
+			version: _version
+		});
+	};
 	return {
 		schema,
 		get: () => {
@@ -57,6 +71,20 @@ const make = (options) => {
 		getVersion: () => {
 			return _version;
 		},
+		validate: (transaction) => {
+			const validation = validateTransaction(transaction);
+			if (!validation.valid) return {
+				valid: false,
+				reason: validation.reason
+			};
+			return {
+				valid: true,
+				nextVersion: _version + 1
+			};
+		},
+		apply: (transaction) => {
+			applyAndBroadcast(transaction);
+		},
 		submit: (transaction) => {
 			const validation = validateTransaction(transaction);
 			if (!validation.valid) {
@@ -67,7 +95,7 @@ const make = (options) => {
 				};
 			}
 			try {
-				_document.apply(transaction.ops);
+				applyAndBroadcast(transaction);
 			} catch (error) {
 				const reason = error instanceof Error ? error.message : String(error);
 				onRejection === null || onRejection === void 0 || onRejection(transaction.id, reason);
@@ -76,13 +104,6 @@ const make = (options) => {
 					reason
 				};
 			}
-			_version += 1;
-			recordTransaction(transaction.id);
-			onBroadcast({
-				type: "transaction",
-				transaction,
-				version: _version
-			});
 			return {
 				success: true,
 				version: _version

package/dist/server/ServerDocument.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"ServerDocument.mjs","names":["Document.make","_transactionOrder: string[]","Transaction.isEmpty"],"sources":["../../src/server/ServerDocument.ts"],"sourcesContent":["import * as Document from \"../Document\";\nimport * as Transaction from \"../Transaction\";\nimport type * as Primitive from \"../Primitive\";\n\n// =============================================================================\n// Server Message Types (matching client's Transport expectations)\n// =============================================================================\n\n/**\n * Message sent when broadcasting a committed transaction.\n */\nexport interface TransactionMessage {\n  readonly type: \"transaction\";\n  readonly transaction: Transaction.Transaction;\n  /** Server-assigned version number for ordering */\n  readonly version: number;\n}\n\n/**\n * Message sent when a transaction is rejected.\n */\nexport interface ErrorMessage {\n  readonly type: \"error\";\n  readonly transactionId: string;\n  readonly reason: string;\n}\n\n/**\n * Message sent as a full state snapshot.\n */\nexport interface SnapshotMessage {\n  readonly type: \"snapshot\";\n  readonly state: unknown;\n  readonly version: number;\n}\n\n/**\n * Union of all server messages that can be broadcast.\n */\nexport type ServerMessage = TransactionMessage | ErrorMessage | SnapshotMessage;\n\n// =============================================================================\n// Submit Result Types\n// =============================================================================\n\n/**\n * Result of submitting a transaction to the server.\n */\nexport type SubmitResult =\n  | { readonly success: true; readonly version: number }\n  | { readonly success: false; readonly reason: string };\n\n// =============================================================================\n// Server Document Types\n// =============================================================================\n\n/**\n * Options for creating a ServerDocument.\n */\nexport interface ServerDocumentOptions<TSchema extends Primitive.AnyPrimitive> {\n  /** The schema defining the document structure */\n  readonly schema: TSchema;\n  /** Initial value (optional, will use schema defaults if not provided) - uses set input format */\n  readonly initialState?: Primitive.InferSetInput<TSchema>;\n  /** Initial version number (optional, defaults to 0) */\n  readonly initialVersion?: number;\n  /** Called when a transaction is successfully applied and should be broadcast */\n  readonly onBroadcast: (message: TransactionMessage) => void;\n  /** Called when a transaction is rejected (optional, for logging/metrics) */\n  readonly onRejection?: (transactionId: string, reason: string) => void;\n  /** Maximum number of processed transaction IDs to track for deduplication */\n  readonly maxTransactionHistory?: number;\n}\n\n/**\n * A ServerDocument maintains the authoritative state and processes client transactions.\n */\nexport interface ServerDocument<TSchema extends Primitive.AnyPrimitive> {\n  /** The schema defining this document's structure */\n  readonly schema: TSchema;\n\n  /** Returns the current authoritative state */\n  get(): Primitive.InferState<TSchema> | undefined;\n\n  /** Returns the current version number */\n  getVersion(): number;\n\n  /**\n   * Submits a transaction for processing.\n   * Validates and applies the transaction if valid, or rejects it with a reason.\n   * @param transaction - The transaction to process\n   * @returns SubmitResult indicating success with version or failure with reason\n   */\n  submit(transaction: Transaction.Transaction): SubmitResult;\n\n  /**\n   * Returns a snapshot of the current state and version.\n   * Used to initialize new clients or resync after drift.\n   */\n  getSnapshot(): SnapshotMessage;\n\n  /**\n   * Checks if a transaction has already been processed.\n   * @param transactionId - The transaction ID to check\n   */\n  hasProcessed(transactionId: string): boolean;\n}\n\n// =============================================================================\n// Server Document Implementation\n// =============================================================================\n\n/**\n * Creates a new ServerDocument for the given schema.\n */\nexport const make = <TSchema extends Primitive.AnyPrimitive>(\n  options: ServerDocumentOptions<TSchema>\n): ServerDocument<TSchema> => {\n  const {\n    schema,\n    initialState,\n    initialVersion = 0,\n    onBroadcast,\n    onRejection,\n    maxTransactionHistory = 1000,\n  } = options;\n\n  // ==========================================================================\n  // Internal State\n  // ==========================================================================\n\n  // The authoritative document\n  let _document = Document.make(schema, { initial: initialState });\n\n  // Current version number (incremented on each successful transaction)\n  let _version = initialVersion;\n\n  // Track processed transaction IDs for deduplication\n  const _processedTransactions = new Set<string>();\n  const _transactionOrder: string[] = [];\n\n  // ==========================================================================\n  // Helper Functions\n  // ==========================================================================\n\n  /**\n   * Records a transaction as processed, maintaining the history limit.\n   */\n  const recordTransaction = (transactionId: string): void => {\n    _processedTransactions.add(transactionId);\n    _transactionOrder.push(transactionId);\n\n    // Evict oldest transactions if over limit\n    while (_transactionOrder.length > maxTransactionHistory) {\n      const oldest = _transactionOrder.shift();\n      if (oldest) {\n        _processedTransactions.delete(oldest);\n      }\n    }\n  };\n\n  /**\n   * Validates that the transaction can be applied to the current state.\n   * Creates a temporary document and attempts to apply the operations.\n   */\n  const validateTransaction = (\n    transaction: Transaction.Transaction\n  ): { valid: true } | { valid: false; reason: string } => {\n    // Check for empty transaction\n    if (Transaction.isEmpty(transaction)) {\n      return { valid: false, reason: \"Transaction is empty\" };\n    }\n\n    // Check for duplicate transaction\n    if (_processedTransactions.has(transaction.id)) {\n      return { valid: false, reason: \"Transaction has already been processed\" };\n    }\n\n    // Create a temporary document with current state to test the operations\n    // Use initialState (not initial) since currentState is already in flat state format\n    const currentState = _document.get();\n    const tempDoc = Document.make(schema, { initialState: currentState });\n\n    try {\n      // Attempt to apply all operations\n      tempDoc.apply(transaction.ops);\n      return { valid: true };\n    } catch (error) {\n      // Operations failed to apply\n      const message = error instanceof Error ? error.message : String(error);\n      return { valid: false, reason: message };\n    }\n  };\n\n  // ==========================================================================\n  // Public API\n  // ==========================================================================\n\n  const serverDocument: ServerDocument<TSchema> = {\n    schema,\n\n    get: (): Primitive.InferState<TSchema> | undefined => {\n      return _document.get();\n    },\n\n    getVersion: (): number => {\n      return _version;\n    },\n\n    submit: (transaction: Transaction.Transaction): SubmitResult => {\n      // Validate the transaction\n      const validation = validateTransaction(transaction);\n\n      if (!validation.valid) {\n        // Notify rejection callback if provided\n        onRejection?.(transaction.id, validation.reason);\n\n        return {\n          success: false,\n          reason: validation.reason,\n        };\n      }\n\n      // Apply the transaction to the authoritative state\n      try {\n        _document.apply(transaction.ops);\n      } catch (error) {\n        // This shouldn't happen since we validated, but handle gracefully\n        const reason = error instanceof Error ? error.message : String(error);\n        onRejection?.(transaction.id, reason);\n        return { success: false, reason };\n      }\n\n      // Increment version\n      _version += 1;\n\n      // Record as processed\n      recordTransaction(transaction.id);\n\n      // Broadcast the confirmed transaction\n      const message: TransactionMessage = {\n        type: \"transaction\",\n        transaction,\n        version: _version,\n      };\n      onBroadcast(message);\n\n      return {\n        success: true,\n        version: _version,\n      };\n    },\n\n    getSnapshot: (): SnapshotMessage => {\n      return {\n        type: \"snapshot\",\n        state: _document.get(),\n        version: _version,\n      };\n    },\n\n    hasProcessed: (transactionId: string): boolean => {\n      return _processedTransactions.has(transactionId);\n    },\n  };\n\n  return serverDocument;\n};\n"],"mappings":";;;;;;;;;AAmHA,MAAa,QACX,YAC4B;CAC5B,MAAM,EACJ,QACA,cACA,iBAAiB,GACjB,aACA,aACA,wBAAwB,QACtB;CAOJ,IAAI,YAAYA,OAAc,QAAQ,EAAE,SAAS,cAAc,CAAC;CAGhE,IAAI,WAAW;CAGf,MAAM,yCAAyB,IAAI,KAAa;CAChD,MAAMC,oBAA8B,EAAE;;;;CAStC,MAAM,qBAAqB,kBAAgC;AACzD,yBAAuB,IAAI,cAAc;AACzC,oBAAkB,KAAK,cAAc;AAGrC,SAAO,kBAAkB,SAAS,uBAAuB;GACvD,MAAM,SAAS,kBAAkB,OAAO;AACxC,OAAI,OACF,wBAAuB,OAAO,OAAO;;;;;;;CAS3C,MAAM,uBACJ,gBACuD;AAEvD,MAAIC,QAAoB,YAAY,CAClC,QAAO;GAAE,OAAO;GAAO,QAAQ;GAAwB;AAIzD,MAAI,uBAAuB,IAAI,YAAY,GAAG,CAC5C,QAAO;GAAE,OAAO;GAAO,QAAQ;GAA0C;EAK3E,MAAM,eAAe,UAAU,KAAK;EACpC,MAAM,UAAUF,OAAc,QAAQ,EAAE,cAAc,cAAc,CAAC;AAErE,MAAI;AAEF,WAAQ,MAAM,YAAY,IAAI;AAC9B,UAAO,EAAE,OAAO,MAAM;WACf,OAAO;AAGd,UAAO;IAAE,OAAO;IAAO,QADP,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;IAC9B;;;AA4E5C,QApEgD;EAC9C;EAEA,WAAsD;AACpD,UAAO,UAAU,KAAK;;EAGxB,kBAA0B;AACxB,UAAO;;EAGT,SAAS,gBAAuD;GAE9D,MAAM,aAAa,oBAAoB,YAAY;AAEnD,OAAI,CAAC,WAAW,OAAO;AAErB,kEAAc,YAAY,IAAI,WAAW,OAAO;AAEhD,WAAO;KACL,SAAS;KACT,QAAQ,WAAW;KACpB;;AAIH,OAAI;AACF,cAAU,MAAM,YAAY,IAAI;YACzB,OAAO;IAEd,MAAM,SAAS,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;AACrE,kEAAc,YAAY,IAAI,OAAO;AACrC,WAAO;KAAE,SAAS;KAAO;KAAQ;;AAInC,eAAY;AAGZ,qBAAkB,YAAY,GAAG;AAQjC,eALoC;IAClC,MAAM;IACN;IACA,SAAS;IACV,CACmB;AAEpB,UAAO;IACL,SAAS;IACT,SAAS;IACV;;EAGH,mBAAoC;AAClC,UAAO;IACL,MAAM;IACN,OAAO,UAAU,KAAK;IACtB,SAAS;IACV;;EAGH,eAAe,kBAAmC;AAChD,UAAO,uBAAuB,IAAI,cAAc;;EAEnD"}
+{"version":3,"file":"ServerDocument.mjs","names":["Document.make","_transactionOrder: string[]","Transaction.isEmpty"],"sources":["../../src/server/ServerDocument.ts"],"sourcesContent":["import * as Document from \"../Document\";\nimport * as Transaction from \"../Transaction\";\nimport type * as Primitive from \"../Primitive\";\n\n// =============================================================================\n// Server Message Types (matching client's Transport expectations)\n// =============================================================================\n\n/**\n * Message sent when broadcasting a committed transaction.\n */\nexport interface TransactionMessage {\n  readonly type: \"transaction\";\n  readonly transaction: Transaction.Transaction;\n  /** Server-assigned version number for ordering */\n  readonly version: number;\n}\n\n/**\n * Message sent when a transaction is rejected.\n */\nexport interface ErrorMessage {\n  readonly type: \"error\";\n  readonly transactionId: string;\n  readonly reason: string;\n}\n\n/**\n * Message sent as a full state snapshot.\n */\nexport interface SnapshotMessage {\n  readonly type: \"snapshot\";\n  readonly state: unknown;\n  readonly version: number;\n}\n\n/**\n * Union of all server messages that can be broadcast.\n */\nexport type ServerMessage = TransactionMessage | ErrorMessage | SnapshotMessage;\n\n// =============================================================================\n// Submit Result Types\n// =============================================================================\n\n/**\n * Result of submitting a transaction to the server.\n */\nexport type SubmitResult =\n  | { readonly success: true; readonly version: number }\n  | { readonly success: false; readonly reason: string };\n\n/**\n * Result of validating a transaction (two-phase commit: phase 1).\n * If valid, returns the version this transaction will get when applied.\n */\nexport type ValidateResult =\n  | { readonly valid: true; readonly nextVersion: number }\n  | { readonly valid: false; readonly reason: string };\n\n// =============================================================================\n// Server Document Types\n// =============================================================================\n\n/**\n * Options for creating a ServerDocument.\n */\nexport interface ServerDocumentOptions<TSchema extends Primitive.AnyPrimitive> {\n  /** The schema defining the document structure */\n  readonly schema: TSchema;\n  /** Initial value (optional, will use schema defaults if not provided) - uses set input format */\n  readonly initialState?: Primitive.InferSetInput<TSchema>;\n  /** Initial version number (optional, defaults to 0) */\n  readonly initialVersion?: number;\n  /** Called when a transaction is successfully applied and should be broadcast */\n  readonly onBroadcast: (message: TransactionMessage) => void;\n  /** Called when a transaction is rejected (optional, for logging/metrics) */\n  readonly onRejection?: (transactionId: string, reason: string) => void;\n  /** Maximum number of processed transaction IDs to track for deduplication */\n  readonly maxTransactionHistory?: number;\n}\n\n/**\n * A ServerDocument maintains the authoritative state and processes client transactions.\n */\nexport interface ServerDocument<TSchema extends Primitive.AnyPrimitive> {\n  /** The schema defining this document's structure */\n  readonly schema: TSchema;\n\n  /** Returns the current authoritative state */\n  get(): Primitive.InferState<TSchema> | undefined;\n\n  /** Returns the current version number */\n  getVersion(): number;\n\n  /**\n   * Phase 1 of two-phase commit: Validates a transaction without side effects.\n   * Returns the version this transaction would get if applied.\n   * Does NOT modify state, increment version, record transaction, or broadcast.\n   *\n   * Use this to validate before writing to WAL, then call apply() after WAL success.\n   *\n   * @param transaction - The transaction to validate\n   * @returns ValidateResult with nextVersion if valid, or reason if invalid\n   */\n  validate(transaction: Transaction.Transaction): ValidateResult;\n\n  /**\n   * Phase 2 of two-phase commit: Applies a pre-validated transaction.\n   * MUST only be called after validate() succeeded AND WAL write succeeded.\n   * Mutates state, increments version, records transaction ID, and broadcasts.\n   *\n   * @param transaction - The transaction to apply (must have been validated first)\n   */\n  apply(transaction: Transaction.Transaction): void;\n\n  /**\n   * Submits a transaction for processing (combines validate + apply).\n   * Validates and applies the transaction if valid, or rejects it with a reason.\n   *\n   * For two-phase commit with WAL, use validate() then apply() instead.\n   *\n   * @param transaction - The transaction to process\n   * @returns SubmitResult indicating success with version or failure with reason\n   */\n  submit(transaction: Transaction.Transaction): SubmitResult;\n\n  /**\n   * Returns a snapshot of the current state and version.\n   * Used to initialize new clients or resync after drift.\n   */\n  getSnapshot(): SnapshotMessage;\n\n  /**\n   * Checks if a transaction has already been processed.\n   * @param transactionId - The transaction ID to check\n   */\n  hasProcessed(transactionId: string): boolean;\n}\n\n// =============================================================================\n// Server Document Implementation\n// =============================================================================\n\n/**\n * Creates a new ServerDocument for the given schema.\n */\nexport const make = <TSchema extends Primitive.AnyPrimitive>(\n  options: ServerDocumentOptions<TSchema>\n): ServerDocument<TSchema> => {\n  const {\n    schema,\n    initialState,\n    initialVersion = 0,\n    onBroadcast,\n    onRejection,\n    maxTransactionHistory = 1000,\n  } = options;\n\n  // ==========================================================================\n  // Internal State\n  // ==========================================================================\n\n  // The authoritative document\n  let _document = Document.make(schema, { initial: initialState });\n\n  // Current version number (incremented on each successful transaction)\n  let _version = initialVersion;\n\n  // Track processed transaction IDs for deduplication\n  const _processedTransactions = new Set<string>();\n  const _transactionOrder: string[] = [];\n\n  // ==========================================================================\n  // Helper Functions\n  // ==========================================================================\n\n  /**\n   * Records a transaction as processed, maintaining the history limit.\n   */\n  const recordTransaction = (transactionId: string): void => {\n    _processedTransactions.add(transactionId);\n    _transactionOrder.push(transactionId);\n\n    // Evict oldest transactions if over limit\n    while (_transactionOrder.length > maxTransactionHistory) {\n      const oldest = _transactionOrder.shift();\n      if (oldest) {\n        _processedTransactions.delete(oldest);\n      }\n    }\n  };\n\n  /**\n   * Validates that the transaction can be applied to the current state.\n   * Creates a temporary document and attempts to apply the operations.\n   */\n  const validateTransaction = (\n    transaction: Transaction.Transaction\n  ): { valid: true } | { valid: false; reason: string } => {\n    // Check for empty transaction\n    if (Transaction.isEmpty(transaction)) {\n      return { valid: false, reason: \"Transaction is empty\" };\n    }\n\n    // Check for duplicate transaction\n    if (_processedTransactions.has(transaction.id)) {\n      return { valid: false, reason: \"Transaction has already been processed\" };\n    }\n\n    // Create a temporary document with current state to test the operations\n    // Use initialState (not initial) since currentState is already in flat state format\n    const currentState = _document.get();\n    const tempDoc = Document.make(schema, { initialState: currentState });\n\n    try {\n      // Attempt to apply all operations\n      tempDoc.apply(transaction.ops);\n      return { valid: true };\n    } catch (error) {\n      // Operations failed to apply\n      const message = error instanceof Error ? error.message : String(error);\n      return { valid: false, reason: message };\n    }\n  };\n\n  // ==========================================================================\n  // Internal Apply Logic\n  // ==========================================================================\n\n  /**\n   * Internal function to apply a transaction and broadcast.\n   * Called by both apply() and submit().\n   */\n  const applyAndBroadcast = (transaction: Transaction.Transaction): void => {\n    // Apply the transaction to the authoritative state\n    _document.apply(transaction.ops);\n\n    // Increment version\n    _version += 1;\n\n    // Record as processed\n    recordTransaction(transaction.id);\n\n    // Broadcast the confirmed transaction\n    const message: TransactionMessage = {\n      type: \"transaction\",\n      transaction,\n      version: _version,\n    };\n    onBroadcast(message);\n  };\n\n  // ==========================================================================\n  // Public API\n  // ==========================================================================\n\n  const serverDocument: ServerDocument<TSchema> = {\n    schema,\n\n    get: (): Primitive.InferState<TSchema> | undefined => {\n      return _document.get();\n    },\n\n    getVersion: (): number => {\n      return _version;\n    },\n\n    validate: (transaction: Transaction.Transaction): ValidateResult => {\n      // Use internal validation helper\n      const validation = validateTransaction(transaction);\n\n      if (!validation.valid) {\n        return {\n          valid: false,\n          reason: validation.reason,\n        };\n      }\n\n      // Return the version this transaction will get when applied\n      return {\n        valid: true,\n        nextVersion: _version + 1,\n      };\n    },\n\n    apply: (transaction: Transaction.Transaction): void => {\n      // Apply and broadcast\n      // Note: This assumes validate() was called first and WAL write succeeded\n      // We don't re-validate here for performance - caller is responsible\n      applyAndBroadcast(transaction);\n    },\n\n    submit: (transaction: Transaction.Transaction): SubmitResult => {\n      // Validate the transaction\n      const validation = validateTransaction(transaction);\n\n      if (!validation.valid) {\n        // Notify rejection callback if provided\n        onRejection?.(transaction.id, validation.reason);\n\n        return {\n          success: false,\n          reason: validation.reason,\n        };\n      }\n\n      // Apply the transaction to the authoritative state\n      try {\n        applyAndBroadcast(transaction);\n      } catch (error) {\n        // This shouldn't happen since we validated, but handle gracefully\n        const reason = error instanceof Error ? error.message : String(error);\n        onRejection?.(transaction.id, reason);\n        return { success: false, reason };\n      }\n\n      return {\n        success: true,\n        version: _version,\n      };\n    },\n\n    getSnapshot: (): SnapshotMessage => {\n      return {\n        type: \"snapshot\",\n        state: _document.get(),\n        version: _version,\n      };\n    },\n\n    hasProcessed: (transactionId: string): boolean => {\n      return _processedTransactions.has(transactionId);\n    },\n  };\n\n  return serverDocument;\n};\n"],"mappings":";;;;;;;;;AAmJA,MAAa,QACX,YAC4B;CAC5B,MAAM,EACJ,QACA,cACA,iBAAiB,GACjB,aACA,aACA,wBAAwB,QACtB;CAOJ,IAAI,YAAYA,OAAc,QAAQ,EAAE,SAAS,cAAc,CAAC;CAGhE,IAAI,WAAW;CAGf,MAAM,yCAAyB,IAAI,KAAa;CAChD,MAAMC,oBAA8B,EAAE;;;;CAStC,MAAM,qBAAqB,kBAAgC;AACzD,yBAAuB,IAAI,cAAc;AACzC,oBAAkB,KAAK,cAAc;AAGrC,SAAO,kBAAkB,SAAS,uBAAuB;GACvD,MAAM,SAAS,kBAAkB,OAAO;AACxC,OAAI,OACF,wBAAuB,OAAO,OAAO;;;;;;;CAS3C,MAAM,uBACJ,gBACuD;AAEvD,MAAIC,QAAoB,YAAY,CAClC,QAAO;GAAE,OAAO;GAAO,QAAQ;GAAwB;AAIzD,MAAI,uBAAuB,IAAI,YAAY,GAAG,CAC5C,QAAO;GAAE,OAAO;GAAO,QAAQ;GAA0C;EAK3E,MAAM,eAAe,UAAU,KAAK;EACpC,MAAM,UAAUF,OAAc,QAAQ,EAAE,cAAc,cAAc,CAAC;AAErE,MAAI;AAEF,WAAQ,MAAM,YAAY,IAAI;AAC9B,UAAO,EAAE,OAAO,MAAM;WACf,OAAO;AAGd,UAAO;IAAE,OAAO;IAAO,QADP,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;IAC9B;;;;;;;CAY5C,MAAM,qBAAqB,gBAA+C;AAExE,YAAU,MAAM,YAAY,IAAI;AAGhC,cAAY;AAGZ,oBAAkB,YAAY,GAAG;AAQjC,cALoC;GAClC,MAAM;GACN;GACA,SAAS;GACV,CACmB;;AAsFtB,QA/EgD;EAC9C;EAEA,WAAsD;AACpD,UAAO,UAAU,KAAK;;EAGxB,kBAA0B;AACxB,UAAO;;EAGT,WAAW,gBAAyD;GAElE,MAAM,aAAa,oBAAoB,YAAY;AAEnD,OAAI,CAAC,WAAW,MACd,QAAO;IACL,OAAO;IACP,QAAQ,WAAW;IACpB;AAIH,UAAO;IACL,OAAO;IACP,aAAa,WAAW;IACzB;;EAGH,QAAQ,gBAA+C;AAIrD,qBAAkB,YAAY;;EAGhC,SAAS,gBAAuD;GAE9D,MAAM,aAAa,oBAAoB,YAAY;AAEnD,OAAI,CAAC,WAAW,OAAO;AAErB,kEAAc,YAAY,IAAI,WAAW,OAAO;AAEhD,WAAO;KACL,SAAS;KACT,QAAQ,WAAW;KACpB;;AAIH,OAAI;AACF,sBAAkB,YAAY;YACvB,OAAO;IAEd,MAAM,SAAS,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;AACrE,kEAAc,YAAY,IAAI,OAAO;AACrC,WAAO;KAAE,SAAS;KAAO;KAAQ;;AAGnC,UAAO;IACL,SAAS;IACT,SAAS;IACV;;EAGH,mBAAoC;AAClC,UAAO;IACL,MAAM;IACN,OAAO,UAAU,KAAK;IACtB,SAAS;IACV;;EAGH,eAAe,kBAAmC;AAChD,UAAO,uBAAuB,IAAI,cAAc;;EAEnD"}

package/dist/server/index.d.cts

@@ -1,3 +1,3 @@
-import { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage } from "./ServerDocument.cjs";
+import { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, ValidateResult } from "./ServerDocument.cjs";
 import { DuplicateTransactionError, EmptyTransactionError, InvalidOperationError, MimicServerError, StateValidationError, ValidationError } from "./errors.cjs";
-export { DuplicateTransactionError, EmptyTransactionError, type ErrorMessage, InvalidOperationError, MimicServerError, ServerDocument_d_exports as ServerDocument, type ServerDocumentOptions, type ServerMessage, type SnapshotMessage, StateValidationError, type SubmitResult, type TransactionMessage, ValidationError };
+export { DuplicateTransactionError, EmptyTransactionError, type ErrorMessage, InvalidOperationError, MimicServerError, ServerDocument_d_exports as ServerDocument, type ServerDocumentOptions, type ServerMessage, type SnapshotMessage, StateValidationError, type SubmitResult, type TransactionMessage, type ValidateResult, ValidationError };

package/dist/server/index.d.mts

@@ -1,3 +1,3 @@
-import { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage } from "./ServerDocument.mjs";
+import { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, ValidateResult } from "./ServerDocument.mjs";
 import { DuplicateTransactionError, EmptyTransactionError, InvalidOperationError, MimicServerError, StateValidationError, ValidationError } from "./errors.mjs";
-export { DuplicateTransactionError, EmptyTransactionError, type ErrorMessage, InvalidOperationError, MimicServerError, ServerDocument_d_exports as ServerDocument, type ServerDocumentOptions, type ServerMessage, type SnapshotMessage, StateValidationError, type SubmitResult, type TransactionMessage, ValidationError };
+export { DuplicateTransactionError, EmptyTransactionError, type ErrorMessage, InvalidOperationError, MimicServerError, ServerDocument_d_exports as ServerDocument, type ServerDocumentOptions, type ServerMessage, type SnapshotMessage, StateValidationError, type SubmitResult, type TransactionMessage, type ValidateResult, ValidationError };

package/dist/types/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":[],"sources":["../../src/types/index.ts"],"sourcesContent":["/**\n * Consolidated type inference utilities for all primitives.\n *\n * This module re-exports all inference types from a single location\n * for convenient access across the mimic package.\n *\n * @since 0.0.1\n */\n\n// =============================================================================\n// Core Inference Types (from shared.ts)\n// =============================================================================\n\nexport type {\n  // Core primitive types\n  Primitive,\n  AnyPrimitive,\n  PrimitiveInternal,\n\n  // State and proxy inference\n  InferState,\n  InferProxy,\n\n  // Input inference\n  InferSetInput,\n  InferUpdateInput,\n\n  // Snapshot inference\n  InferSnapshot,\n\n  // Required/default status inference\n  HasDefault,\n  IsDefined,\n  IsRequired,\n\n  // Utility types\n  MaybeUndefined,\n  NeedsValue,\n  Optional,\n\n  // Validator type\n  Validator,\n} from \"../primitives/shared.js\";\n\n// =============================================================================\n// Struct Inference Types\n// =============================================================================\n\nexport type {\n  InferStructState,\n  InferStructSnapshot,\n  StructSetInput,\n  StructUpdateValue,\n  StructProxy,\n} from \"../primitives/Struct.js\";\n\n// =============================================================================\n// Array Inference Types\n// =============================================================================\n\nexport type {\n  ArrayState,\n  ArraySnapshot,\n  ArrayEntrySnapshot,\n  ArrayEntry,\n  ArraySetInput,\n  ArrayUpdateInput,\n  ArrayElementSetInput,\n  ArrayProxy,\n} from \"../primitives/Array.js\";\n\n// =============================================================================\n// Tree Inference Types\n// =============================================================================\n\nexport type {\n  TreeState,\n  TreeNodeState,\n  TypedTreeNodeState,\n  TreeNodeSnapshot,\n  InferTreeSnapshot,\n  TreeSetInput,\n  TreeUpdateInput,\n  TreeNodeUpdateValue,\n  TreeNodeDataSetInput,\n  TreeProxy,\n  TypedNodeProxy,\n  TreeNodeProxyBase,\n} from \"../primitives/Tree.js\";\n\n// =============================================================================\n// TreeNode Inference Types\n// =============================================================================\n\nexport type {\n  AnyTreeNodePrimitive,\n  InferTreeNodeDataState,\n  InferTreeNodeType,\n  InferTreeNodeChildren,\n  TreeNodeSelfType,\n  TreeNodeConfig,\n  TreeNodeChildrenInput,\n} from \"../primitives/TreeNode.js\";\n\nexport { TreeNodePrimitive, TreeNodeSelf } from \"../primitives/TreeNode.js\";\n\n// =============================================================================\n// Union Inference Types\n// =============================================================================\n\nexport type {\n  InferUnionState,\n  InferUnionSnapshot,\n  UnionVariants,\n} from \"../primitives/Union.js\";\n\n// =============================================================================\n// Either Inference Types\n// =============================================================================\n\nexport type {\n  InferEitherState,\n  InferEitherSnapshot,\n  ScalarPrimitive,\n} from \"../primitives/Either.js\";\n\n// =============================================================================\n// Lazy Inference Types\n// =============================================================================\n\nexport type {\n  InferLazyState,\n  InferLazyProxy,\n  InferLazySnapshot,\n  InferLazySetInput,\n  InferLazyUpdateInput,\n} from \"../primitives/Lazy.js\";\n"],"mappings":""}
+{"version":3,"file":"index.mjs","names":[],"sources":["../../src/types/index.ts"],"sourcesContent":["/**\n * Consolidated type inference utilities for all primitives.\n *\n * This module re-exports all inference types from a single location\n * for convenient access across the mimic package.\n *\n * @since 0.0.1\n */\n\n// =============================================================================\n// Core Inference Types (from shared.ts)\n// =============================================================================\n\nexport type {\n  // Core primitive types\n  Primitive,\n  AnyPrimitive,\n  PrimitiveInternal,\n\n  // State and proxy inference\n  InferState,\n  InferProxy,\n\n  // Input inference\n  InferSetInput,\n  InferUpdateInput,\n\n  // Snapshot inference\n  InferSnapshot,\n\n  // Required/default status inference\n  HasDefault,\n  IsDefined,\n  IsRequired,\n\n  // Utility types\n  MaybeUndefined,\n  NeedsValue,\n  Optional,\n\n  // Validator type\n  Validator,\n} from \"../primitives/shared\";\n\n// =============================================================================\n// Struct Inference Types\n// =============================================================================\n\nexport type {\n  InferStructState,\n  InferStructSnapshot,\n  StructSetInput,\n  StructUpdateValue,\n  StructProxy,\n} from \"../primitives/Struct\";\n\n// =============================================================================\n// Array Inference Types\n// =============================================================================\n\nexport type {\n  ArrayState,\n  ArraySnapshot,\n  ArrayEntrySnapshot,\n  ArrayEntry,\n  ArraySetInput,\n  ArrayUpdateInput,\n  ArrayElementSetInput,\n  ArrayProxy,\n} from \"../primitives/Array\";\n\n// =============================================================================\n// Tree Inference Types\n// =============================================================================\n\nexport type {\n  TreeState,\n  TreeNodeState,\n  TypedTreeNodeState,\n  TreeNodeSnapshot,\n  InferTreeSnapshot,\n  TreeSetInput,\n  TreeUpdateInput,\n  TreeNodeUpdateValue,\n  TreeNodeDataSetInput,\n  TreeProxy,\n  TypedNodeProxy,\n  TreeNodeProxyBase,\n} from \"../primitives/Tree\";\n\n// =============================================================================\n// TreeNode Inference Types\n// =============================================================================\n\nexport type {\n  AnyTreeNodePrimitive,\n  InferTreeNodeDataState,\n  InferTreeNodeType,\n  InferTreeNodeChildren,\n  TreeNodeSelfType,\n  TreeNodeConfig,\n  TreeNodeChildrenInput,\n} from \"../primitives/TreeNode\";\n\nexport { TreeNodePrimitive, TreeNodeSelf } from \"../primitives/TreeNode\";\n\n// =============================================================================\n// Union Inference Types\n// =============================================================================\n\nexport type {\n  InferUnionState,\n  InferUnionSnapshot,\n  UnionVariants,\n} from \"../primitives/Union\";\n\n// =============================================================================\n// Either Inference Types\n// =============================================================================\n\nexport type {\n  InferEitherState,\n  InferEitherSnapshot,\n  ScalarPrimitive,\n} from \"../primitives/Either\";\n\n// =============================================================================\n// Lazy Inference Types\n// =============================================================================\n\nexport type {\n  InferLazyState,\n  InferLazyProxy,\n  InferLazySnapshot,\n  InferLazySetInput,\n  InferLazyUpdateInput,\n} from \"../primitives/Lazy\";\n"],"mappings":""}