@voidhash/mimic 0.0.2 → 0.0.3

package/dist/primitives/shared.d.cts

@@ -0,0 +1,147 @@
+import { OperationPath } from "../OperationPath.cjs";
+import { OperationDefinition } from "../OperationDefinition.cjs";
+import { Operation } from "../Operation.cjs";
+import { ProxyEnvironment } from "../ProxyEnvironment.cjs";
+import { TransformResult } from "../Transform.cjs";
+
+//#region src/primitives/shared.d.ts
+
+/**
+ * Base interface that all primitives must implement.
+ * Provides type inference helpers and internal operations.
+ *
+ * @typeParam TState - The state type this primitive holds
+ * @typeParam TProxy - The proxy type for interacting with this primitive
+ * @typeParam TDefined - Whether the value is guaranteed to be defined (via required() or default())
+ * @typeParam THasDefault - Whether this primitive has a default value
+ */
+interface Primitive<TState, TProxy, TRequired extends boolean = false, THasDefault extends boolean = false, TSetInput = unknown, TUpdateInput = unknown> {
+  readonly _tag: string;
+  readonly _State: TState;
+  readonly _Proxy: TProxy;
+  readonly _TRequired: TRequired;
+  readonly _THasDefault: THasDefault;
+  readonly _internal: PrimitiveInternal<TState, TProxy>;
+  readonly TSetInput: TSetInput;
+  readonly TUpdateInput: TUpdateInput;
+}
+/**
+ * Internal operations that each primitive must provide.
+ */
+interface PrimitiveInternal<TState, TProxy> {
+  /** Creates a proxy for generating operations */
+  readonly createProxy: (env: ProxyEnvironment, path: OperationPath) => TProxy;
+  /** Applies an operation to the current state, returning the new state */
+  readonly applyOperation: (state: TState | undefined, operation: Operation<any, any, any>) => TState;
+  /** Returns the initial/default state for this primitive */
+  readonly getInitialState: () => TState | undefined;
+  /**
+   * Transforms a client operation against a server operation.
+   * Used for operational transformation (OT) conflict resolution.
+   *
+   * @param clientOp - The client's operation to transform
+   * @param serverOp - The server's operation that has already been applied
+   * @returns TransformResult indicating how the client operation should be handled
+   */
+  readonly transformOperation: (clientOp: Operation<any, any, any>, serverOp: Operation<any, any, any>) => TransformResult;
+}
+/**
+ * Any primitive type - used for generic constraints.
+ */
+type AnyPrimitive = Primitive<any, any, any, any>;
+/**
+ * Infer the state type from a primitive.
+ */
+type InferState<T> = T extends Primitive<infer S, any, any, any> ? S : never;
+/**
+ * Infer the proxy type from a primitive.
+ */
+type InferProxy<T> = T extends Primitive<any, infer P, any, any> ? P : never;
+/**
+ * Infer the SetInput type from a primitive.
+ * Works with both Primitive interface types and types with a TSetInput property (like TreeNodePrimitive).
+ */
+type InferSetInput<T> = T extends Primitive<any, any, any, any, infer S, any> ? S : T extends {
+  TSetInput: infer S;
+} ? S : never;
+/**
+ * Infer the UpdateInput type from a primitive.
+ * Works with both Primitive interface types and types with a TUpdateInput property (like TreeNodePrimitive).
+ */
+type InferUpdateInput<T> = T extends Primitive<any, any, any, any, any, infer U> ? U : T extends {
+  TUpdateInput: infer U;
+} ? U : never;
+/**
+ * Helper type to conditionally add undefined based on TRequired and THasDefault.
+ * When TRequired is false and THasDefault is false, the value may be undefined.
+ * Otherwise, the value is guaranteed to be defined.
+ */
+type MaybeUndefined<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends false ? THasDefault extends false ? Optional<T> : T : T;
+type Optional<T> = T | undefined;
+/**
+ * Helper type to conditionally add undefined based on TRequired and THasDefault.
+ * When TRequired is true and THasDefault is false, the value must be provided.
+ * Otherwise, the value may be undefined.
+ */
+type NeedsValue<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends true ? THasDefault extends false ? T : Optional<T> : Optional<T>;
+/**
+ * Infer the snapshot type from a primitive.
+ * The snapshot is a readonly, type-safe structure suitable for rendering.
+ */
+type InferSnapshot<T> = T extends Primitive<any, infer P, any, any> ? P extends {
+  toSnapshot(): infer S;
+} ? S : never : never;
+/**
+ * Extract THasDefault from a primitive.
+ */
+type HasDefault<T> = T extends Primitive<any, any, any, infer H> ? H : false;
+/**
+ * Extract TDefined from a primitive.
+ */
+type IsDefined<T> = T extends Primitive<any, any, infer D, any> ? D : false;
+/**
+ * Infer whether a primitive is required.
+ * Alias for IsDefined for clarity.
+ */
+type IsRequired<T> = IsDefined<T>;
+declare class ValidationError extends Error {
+  readonly _tag = "ValidationError";
+  constructor(message: string);
+}
+/**
+ * A validator that checks a value and returns whether it's valid.
+ */
+interface Validator<T> {
+  readonly validate: (value: T) => boolean;
+  readonly message: string;
+}
+/**
+ * Runs all validators against a value, throwing ValidationError if any fail.
+ */
+declare function runValidators<T>(value: T, validators: readonly {
+  validate: (value: T) => boolean;
+  message: string;
+}[]): void;
+/**
+ * Checks if an operation is compatible with the given operation definitions.
+ * @param operation - The operation to check.
+ * @param operationDefinitions - The operation definitions to check against.
+ * @returns True if the operation is compatible, false otherwise.
+ */
+declare function isCompatibleOperation(operation: Operation<any, any, any>, operationDefinitions: Record<string, OperationDefinition<any, any, any>>): boolean;
+/**
+ * Applies default values to a partial input, recursively handling nested structs.
+ *
+ * Uses a two-layer approach:
+ * 1. First, get the struct's initial state (which includes struct-level defaults)
+ * 2. Then, layer the provided values on top
+ * 3. Finally, ensure nested structs are recursively processed
+ *
+ * @param primitive - The primitive definition containing field information
+ * @param value - The partial value provided by the user
+ * @returns The value with defaults applied for missing fields
+ */
+declare function applyDefaults<T extends AnyPrimitive>(primitive: T, value: Partial<InferState<T>>): InferState<T>;
+//#endregion
+export { AnyPrimitive, HasDefault, InferProxy, InferSetInput, InferSnapshot, InferState, InferUpdateInput, IsDefined, IsRequired, MaybeUndefined, NeedsValue, Optional, Primitive, PrimitiveInternal, ValidationError, Validator, applyDefaults, isCompatibleOperation, runValidators };
+//# sourceMappingURL=shared.d.cts.map

package/dist/primitives/shared.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.cts","names":[],"sources":["../../src/primitives/shared.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAmBA;;;;;;;AAMwB,UANP,SAMO,CAAA,MAAA,EAAA,MAAA,EAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,EAAA,YAAA,OAAA,EAAA,eAAA,OAAA,CAAA,CAAA;EACA,SAAA,IAAA,EAAA,MAAA;EACG,SAAA,MAAA,EANN,MAMM;EAAY,SAAA,MAAA,EALlB,MAKkB;EAMpB,SAAA,UAAA,EAVM,SAUW;EAEJ,SAAA,YAAA,EAXL,WAWK;EAAyC,SAAA,SAAA,EAVjD,iBAUiD,CAV/B,MAU+B,EAVvB,MAUuB,CAAA;EAAgC,SAAA,SAAA,EATjF,SASiF;EAEpE,SAAA,YAAA,EAVV,YAUU;;;;;AAarB,UAjBG,iBAiBH,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;EACP;EAAyB,SAAA,WAAA,EAAA,CAAA,GAAA,EAhBF,gBAgBE,EAAA,IAAA,EAhBuC,aAgBvC,EAAA,GAhBuE,MAgBvE;EAMpB;EAKA,SAAA,cAAU,EAAA,CAAA,KAAgB,EAzBH,MAyBG,GAAS,SAAA,EAAA,SAAA,EAzBmB,SAyBnB,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GAzB0D,MAyB1D;EAKnC;EAMA,SAAA,eAAa,EAAA,GAAA,GAlCS,MAkCT,GAAA,SAAA;EACvB;;;;AAQF;;;;EAEG,SAAA,kBAAA,EAAA,CAAA,QAAA,EAnCW,SAmCX,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,QAAA,EAlCW,SAkCX,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GAjCI,eAiCJ;AAQH;;;;AAA8I,KAnClI,YAAA,GAAe,SAmCmH,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA;;;;AAElI,KAhCA,UAgCQ,CAAA,CAAA,CAAA,GAhCQ,CAgCF,SAhCY,SAgCX,CAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;AAO3B;;;AAAyI,KAlC7H,UAkC6H,CAAA,CAAA,CAAA,GAlC7G,CAkC6G,SAlCnG,SAkCmG,CAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;;;;AAA0B,KA5BvJ,aA4BuJ,CAAA,CAAA,CAAA,GA3BjK,CA2BiK,SA3BvJ,SA2BuJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GA1BjK,CA0BiK,SAAA;EAMvJ,SAAA,EAAA,KAAa,EAAA;AAOzB,CAAA,GAAY,CAAA,GAAA,KAAA;AAKZ;AAMA;AAOA;AAeA;AASc,KA1EF,gBA0Ee,CAAA,CAAA,CAAA,GAzEzB,CAyEoC,SAzE1B,SAyEuE,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GAxEjF,CAwEiF,SAAA;EAcrE,YAAA,EAAA,KAAA,EAAA;CAAiC,GAAA,CAAA,GAAA,KAAA;;;;AAqBjD;;AACa,KApGC,cAoGD,CAAA,CAAA,EAAA,kBAAA,OAAA,EAAA,oBAAA,OAAA,CAAA,GApG6E,SAoG7E,SAAA,KAAA,GApGuG,WAoGvG,SAAA,KAAA,GApGmI,QAoGnI,CApG4I,CAoG5I,CAAA,GApGiJ,CAoGjJ,GApGqJ,CAoGrJ;AACe,KAnGd,QAmGc,CAAA,CAAA,CAAA,GAnGA,CAmGA,GAAA,SAAA;;;;;;KA5Fd,wEAAwE,yBAAyB,4BAA4B,IAAI,SAAS,KAAK,SAAS;;;;;KAMxJ,mBAAmB,UAAU;;;;;;KAO7B,gBAAgB,UAAU;;;;KAK1B,eAAe,UAAU;;;;;KAMzB,gBAAgB,UAAU;cAOzB,eAAA,SAAwB,KAAA;;;;;;;UAepB;6BACY;;;;;;iBAQf,wBAAwB;oBAA4C;;;;;;;;;iBAcpE,qBAAA,YAAiC,gDAA0D,eAAe;;;;;;;;;;;;;iBAqB1G,wBAAwB,yBAC3B,UACJ,QAAQ,WAAW,MACzB,WAAW"}

package/dist/primitives/shared.d.mts

@@ -0,0 +1,147 @@
+import { OperationPath } from "../OperationPath.mjs";
+import { OperationDefinition } from "../OperationDefinition.mjs";
+import { Operation } from "../Operation.mjs";
+import { ProxyEnvironment } from "../ProxyEnvironment.mjs";
+import { TransformResult } from "../Transform.mjs";
+
+//#region src/primitives/shared.d.ts
+
+/**
+ * Base interface that all primitives must implement.
+ * Provides type inference helpers and internal operations.
+ *
+ * @typeParam TState - The state type this primitive holds
+ * @typeParam TProxy - The proxy type for interacting with this primitive
+ * @typeParam TDefined - Whether the value is guaranteed to be defined (via required() or default())
+ * @typeParam THasDefault - Whether this primitive has a default value
+ */
+interface Primitive<TState, TProxy, TRequired extends boolean = false, THasDefault extends boolean = false, TSetInput = unknown, TUpdateInput = unknown> {
+  readonly _tag: string;
+  readonly _State: TState;
+  readonly _Proxy: TProxy;
+  readonly _TRequired: TRequired;
+  readonly _THasDefault: THasDefault;
+  readonly _internal: PrimitiveInternal<TState, TProxy>;
+  readonly TSetInput: TSetInput;
+  readonly TUpdateInput: TUpdateInput;
+}
+/**
+ * Internal operations that each primitive must provide.
+ */
+interface PrimitiveInternal<TState, TProxy> {
+  /** Creates a proxy for generating operations */
+  readonly createProxy: (env: ProxyEnvironment, path: OperationPath) => TProxy;
+  /** Applies an operation to the current state, returning the new state */
+  readonly applyOperation: (state: TState | undefined, operation: Operation<any, any, any>) => TState;
+  /** Returns the initial/default state for this primitive */
+  readonly getInitialState: () => TState | undefined;
+  /**
+   * Transforms a client operation against a server operation.
+   * Used for operational transformation (OT) conflict resolution.
+   *
+   * @param clientOp - The client's operation to transform
+   * @param serverOp - The server's operation that has already been applied
+   * @returns TransformResult indicating how the client operation should be handled
+   */
+  readonly transformOperation: (clientOp: Operation<any, any, any>, serverOp: Operation<any, any, any>) => TransformResult;
+}
+/**
+ * Any primitive type - used for generic constraints.
+ */
+type AnyPrimitive = Primitive<any, any, any, any>;
+/**
+ * Infer the state type from a primitive.
+ */
+type InferState<T> = T extends Primitive<infer S, any, any, any> ? S : never;
+/**
+ * Infer the proxy type from a primitive.
+ */
+type InferProxy<T> = T extends Primitive<any, infer P, any, any> ? P : never;
+/**
+ * Infer the SetInput type from a primitive.
+ * Works with both Primitive interface types and types with a TSetInput property (like TreeNodePrimitive).
+ */
+type InferSetInput<T> = T extends Primitive<any, any, any, any, infer S, any> ? S : T extends {
+  TSetInput: infer S;
+} ? S : never;
+/**
+ * Infer the UpdateInput type from a primitive.
+ * Works with both Primitive interface types and types with a TUpdateInput property (like TreeNodePrimitive).
+ */
+type InferUpdateInput<T> = T extends Primitive<any, any, any, any, any, infer U> ? U : T extends {
+  TUpdateInput: infer U;
+} ? U : never;
+/**
+ * Helper type to conditionally add undefined based on TRequired and THasDefault.
+ * When TRequired is false and THasDefault is false, the value may be undefined.
+ * Otherwise, the value is guaranteed to be defined.
+ */
+type MaybeUndefined<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends false ? THasDefault extends false ? Optional<T> : T : T;
+type Optional<T> = T | undefined;
+/**
+ * Helper type to conditionally add undefined based on TRequired and THasDefault.
+ * When TRequired is true and THasDefault is false, the value must be provided.
+ * Otherwise, the value may be undefined.
+ */
+type NeedsValue<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends true ? THasDefault extends false ? T : Optional<T> : Optional<T>;
+/**
+ * Infer the snapshot type from a primitive.
+ * The snapshot is a readonly, type-safe structure suitable for rendering.
+ */
+type InferSnapshot<T> = T extends Primitive<any, infer P, any, any> ? P extends {
+  toSnapshot(): infer S;
+} ? S : never : never;
+/**
+ * Extract THasDefault from a primitive.
+ */
+type HasDefault<T> = T extends Primitive<any, any, any, infer H> ? H : false;
+/**
+ * Extract TDefined from a primitive.
+ */
+type IsDefined<T> = T extends Primitive<any, any, infer D, any> ? D : false;
+/**
+ * Infer whether a primitive is required.
+ * Alias for IsDefined for clarity.
+ */
+type IsRequired<T> = IsDefined<T>;
+declare class ValidationError extends Error {
+  readonly _tag = "ValidationError";
+  constructor(message: string);
+}
+/**
+ * A validator that checks a value and returns whether it's valid.
+ */
+interface Validator<T> {
+  readonly validate: (value: T) => boolean;
+  readonly message: string;
+}
+/**
+ * Runs all validators against a value, throwing ValidationError if any fail.
+ */
+declare function runValidators<T>(value: T, validators: readonly {
+  validate: (value: T) => boolean;
+  message: string;
+}[]): void;
+/**
+ * Checks if an operation is compatible with the given operation definitions.
+ * @param operation - The operation to check.
+ * @param operationDefinitions - The operation definitions to check against.
+ * @returns True if the operation is compatible, false otherwise.
+ */
+declare function isCompatibleOperation(operation: Operation<any, any, any>, operationDefinitions: Record<string, OperationDefinition<any, any, any>>): boolean;
+/**
+ * Applies default values to a partial input, recursively handling nested structs.
+ *
+ * Uses a two-layer approach:
+ * 1. First, get the struct's initial state (which includes struct-level defaults)
+ * 2. Then, layer the provided values on top
+ * 3. Finally, ensure nested structs are recursively processed
+ *
+ * @param primitive - The primitive definition containing field information
+ * @param value - The partial value provided by the user
+ * @returns The value with defaults applied for missing fields
+ */
+declare function applyDefaults<T extends AnyPrimitive>(primitive: T, value: Partial<InferState<T>>): InferState<T>;
+//#endregion
+export { AnyPrimitive, HasDefault, InferProxy, InferSetInput, InferSnapshot, InferState, InferUpdateInput, IsDefined, IsRequired, MaybeUndefined, NeedsValue, Optional, Primitive, PrimitiveInternal, ValidationError, Validator, applyDefaults, isCompatibleOperation, runValidators };
+//# sourceMappingURL=shared.d.mts.map

package/dist/primitives/shared.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.mts","names":[],"sources":["../../src/primitives/shared.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAmBA;;;;;;;AAMwB,UANP,SAMO,CAAA,MAAA,EAAA,MAAA,EAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,EAAA,YAAA,OAAA,EAAA,eAAA,OAAA,CAAA,CAAA;EACA,SAAA,IAAA,EAAA,MAAA;EACG,SAAA,MAAA,EANN,MAMM;EAAY,SAAA,MAAA,EALlB,MAKkB;EAMpB,SAAA,UAAA,EAVM,SAUW;EAEJ,SAAA,YAAA,EAXL,WAWK;EAAyC,SAAA,SAAA,EAVjD,iBAUiD,CAV/B,MAU+B,EAVvB,MAUuB,CAAA;EAAgC,SAAA,SAAA,EATjF,SASiF;EAEpE,SAAA,YAAA,EAVV,YAUU;;;;;AAarB,UAjBG,iBAiBH,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;EACP;EAAyB,SAAA,WAAA,EAAA,CAAA,GAAA,EAhBF,gBAgBE,EAAA,IAAA,EAhBuC,aAgBvC,EAAA,GAhBuE,MAgBvE;EAMpB;EAKA,SAAA,cAAU,EAAA,CAAA,KAAgB,EAzBH,MAyBG,GAAS,SAAA,EAAA,SAAA,EAzBmB,SAyBnB,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GAzB0D,MAyB1D;EAKnC;EAMA,SAAA,eAAa,EAAA,GAAA,GAlCS,MAkCT,GAAA,SAAA;EACvB;;;;AAQF;;;;EAEG,SAAA,kBAAA,EAAA,CAAA,QAAA,EAnCW,SAmCX,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,QAAA,EAlCW,SAkCX,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GAjCI,eAiCJ;AAQH;;;;AAA8I,KAnClI,YAAA,GAAe,SAmCmH,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA;;;;AAElI,KAhCA,UAgCQ,CAAA,CAAA,CAAA,GAhCQ,CAgCF,SAhCY,SAgCX,CAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;AAO3B;;;AAAyI,KAlC7H,UAkC6H,CAAA,CAAA,CAAA,GAlC7G,CAkC6G,SAlCnG,SAkCmG,CAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;;;;AAA0B,KA5BvJ,aA4BuJ,CAAA,CAAA,CAAA,GA3BjK,CA2BiK,SA3BvJ,SA2BuJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GA1BjK,CA0BiK,SAAA;EAMvJ,SAAA,EAAA,KAAa,EAAA;AAOzB,CAAA,GAAY,CAAA,GAAA,KAAA;AAKZ;AAMA;AAOA;AAeA;AASc,KA1EF,gBA0Ee,CAAA,CAAA,CAAA,GAzEzB,CAyEoC,SAzE1B,SAyEuE,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GAxEjF,CAwEiF,SAAA;EAcrE,YAAA,EAAA,KAAA,EAAA;CAAiC,GAAA,CAAA,GAAA,KAAA;;;;AAqBjD;;AACa,KApGC,cAoGD,CAAA,CAAA,EAAA,kBAAA,OAAA,EAAA,oBAAA,OAAA,CAAA,GApG6E,SAoG7E,SAAA,KAAA,GApGuG,WAoGvG,SAAA,KAAA,GApGmI,QAoGnI,CApG4I,CAoG5I,CAAA,GApGiJ,CAoGjJ,GApGqJ,CAoGrJ;AACe,KAnGd,QAmGc,CAAA,CAAA,CAAA,GAnGA,CAmGA,GAAA,SAAA;;;;;;KA5Fd,wEAAwE,yBAAyB,4BAA4B,IAAI,SAAS,KAAK,SAAS;;;;;KAMxJ,mBAAmB,UAAU;;;;;;KAO7B,gBAAgB,UAAU;;;;KAK1B,eAAe,UAAU;;;;;KAMzB,gBAAgB,UAAU;cAOzB,eAAA,SAAwB,KAAA;;;;;;;UAepB;6BACY;;;;;;iBAQf,wBAAwB;oBAA4C;;;;;;;;;iBAcpE,qBAAA,YAAiC,gDAA0D,eAAe;;;;;;;;;;;;;iBAqB1G,wBAAwB,yBAC3B,UACJ,QAAQ,WAAW,MACzB,WAAW"}

package/dist/primitives/shared.mjs

@@ -0,0 +1,58 @@
+import { _defineProperty } from "../_virtual/_@oxc-project_runtime@0.103.0/helpers/defineProperty.mjs";
+import { _objectSpread2 } from "../_virtual/_@oxc-project_runtime@0.103.0/helpers/objectSpread2.mjs";
+
+//#region src/primitives/shared.ts
+var ValidationError = class extends Error {
+	constructor(message) {
+		super(message);
+		_defineProperty(this, "_tag", "ValidationError");
+		this.name = "ValidationError";
+	}
+};
+/**
+* Runs all validators against a value, throwing ValidationError if any fail.
+*/
+function runValidators(value, validators) {
+	for (const validator of validators) if (!validator.validate(value)) throw new ValidationError(validator.message);
+}
+/**
+* Checks if an operation is compatible with the given operation definitions.
+* @param operation - The operation to check.
+* @param operationDefinitions - The operation definitions to check against.
+* @returns True if the operation is compatible, false otherwise.
+*/
+function isCompatibleOperation(operation, operationDefinitions) {
+	return Object.values(operationDefinitions).some((value) => value.kind === operation.kind);
+}
+/**
+* Applies default values to a partial input, recursively handling nested structs.
+* 
+* Uses a two-layer approach:
+* 1. First, get the struct's initial state (which includes struct-level defaults)
+* 2. Then, layer the provided values on top
+* 3. Finally, ensure nested structs are recursively processed
+* 
+* @param primitive - The primitive definition containing field information
+* @param value - The partial value provided by the user
+* @returns The value with defaults applied for missing fields
+*/
+function applyDefaults(primitive, value) {
+	if (primitive._tag === "StructPrimitive") {
+		var _structPrimitive$_int;
+		const structPrimitive = primitive;
+		const result = _objectSpread2(_objectSpread2({}, (_structPrimitive$_int = structPrimitive._internal.getInitialState()) !== null && _structPrimitive$_int !== void 0 ? _structPrimitive$_int : {}), value);
+		for (const key in structPrimitive.fields) {
+			const fieldPrimitive = structPrimitive.fields[key];
+			if (result[key] === void 0) {
+				const fieldDefault = fieldPrimitive._internal.getInitialState();
+				if (fieldDefault !== void 0) result[key] = fieldDefault;
+			} else if (fieldPrimitive._tag === "StructPrimitive" && typeof result[key] === "object" && result[key] !== null) result[key] = applyDefaults(fieldPrimitive, result[key]);
+		}
+		return result;
+	}
+	return value;
+}
+
+//#endregion
+export { ValidationError, applyDefaults, isCompatibleOperation, runValidators };
+//# sourceMappingURL=shared.mjs.map

package/dist/primitives/shared.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.mjs","names":["result: Record<string, unknown>"],"sources":["../../src/primitives/shared.ts"],"sourcesContent":["import * as Operation from \"../Operation\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as Transform from \"../Transform\";\n\n// =============================================================================\n// Primitive Interface & Type Utilities\n// =============================================================================\n\n/**\n * Base interface that all primitives must implement.\n * Provides type inference helpers and internal operations.\n * \n * @typeParam TState - The state type this primitive holds\n * @typeParam TProxy - The proxy type for interacting with this primitive\n * @typeParam TDefined - Whether the value is guaranteed to be defined (via required() or default())\n * @typeParam THasDefault - Whether this primitive has a default value\n */\nexport interface Primitive<TState, TProxy, TRequired extends boolean = false, THasDefault extends boolean = false, TSetInput = unknown, TUpdateInput = unknown> {\n    readonly _tag: string;\n    readonly _State: TState;\n    readonly _Proxy: TProxy;\n    readonly _TRequired: TRequired;\n    readonly _THasDefault: THasDefault;\n    readonly _internal: PrimitiveInternal<TState, TProxy>;\n    readonly TSetInput: TSetInput;\n    readonly TUpdateInput: TUpdateInput;\n  }\n  \n  /**\n   * Internal operations that each primitive must provide.\n   */\n  export interface PrimitiveInternal<TState, TProxy> {\n    /** Creates a proxy for generating operations */\n    readonly createProxy: (env: ProxyEnvironment.ProxyEnvironment, path: OperationPath.OperationPath) => TProxy;\n    /** Applies an operation to the current state, returning the new state */\n    readonly applyOperation: (state: TState | undefined, operation: Operation.Operation<any, any, any>) => TState;\n    /** Returns the initial/default state for this primitive */\n    readonly getInitialState: () => TState | undefined;\n    /**\n     * Transforms a client operation against a server operation.\n     * Used for operational transformation (OT) conflict resolution.\n     * \n     * @param clientOp - The client's operation to transform\n     * @param serverOp - The server's operation that has already been applied\n     * @returns TransformResult indicating how the client operation should be handled\n     */\n    readonly transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ) => Transform.TransformResult;\n  }\n  \n  /**\n   * Any primitive type - used for generic constraints.\n   */\n  export type AnyPrimitive = Primitive<any, any, any, any>;\n  \n  /**\n   * Infer the state type from a primitive.\n   */\n  export type InferState<T> = T extends Primitive<infer S, any, any, any> ? S : never;\n  \n  /**\n   * Infer the proxy type from a primitive.\n   */\n  export type InferProxy<T> = T extends Primitive<any, infer P, any, any> ? P : never;\n\n  /**\n   * Infer the SetInput type from a primitive.\n   * Works with both Primitive interface types and types with a TSetInput property (like TreeNodePrimitive).\n   */\n  export type InferSetInput<T> = \n    T extends Primitive<any, any, any, any, infer S, any> ? S : \n    T extends { TSetInput: infer S } ? S : \n    never;\n\n  /**\n   * Infer the UpdateInput type from a primitive.\n   * Works with both Primitive interface types and types with a TUpdateInput property (like TreeNodePrimitive).\n   */\n  export type InferUpdateInput<T> = \n    T extends Primitive<any, any, any, any, any, infer U> ? U : \n    T extends { TUpdateInput: infer U } ? U : \n    never;\n  \n  /**\n   * Helper type to conditionally add undefined based on TRequired and THasDefault.\n   * When TRequired is false and THasDefault is false, the value may be undefined.\n   * Otherwise, the value is guaranteed to be defined.\n   */\n  export type MaybeUndefined<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends false ? THasDefault extends false ? Optional<T> : T : T;\n\n  export type Optional<T> = T | undefined;\n\n  /**\n   * Helper type to conditionally add undefined based on TRequired and THasDefault.\n   * When TRequired is true and THasDefault is false, the value must be provided.\n   * Otherwise, the value may be undefined.\n   */\n  export type NeedsValue<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends true ? THasDefault extends false ? T : Optional<T> : Optional<T>;\n  \n  /**\n   * Infer the snapshot type from a primitive.\n   * The snapshot is a readonly, type-safe structure suitable for rendering.\n   */\n  export type InferSnapshot<T> = T extends Primitive<any, infer P, any, any>\n    ? P extends { toSnapshot(): infer S } ? S : never\n    : never;\n\n  /**\n   * Extract THasDefault from a primitive.\n   */\n  export type HasDefault<T> = T extends Primitive<any, any, any, infer H> ? H : false;\n\n  /**\n   * Extract TDefined from a primitive.\n   */\n  export type IsDefined<T> = T extends Primitive<any, any, infer D, any> ? D : false;\n\n  /**\n   * Infer whether a primitive is required.\n   * Alias for IsDefined for clarity.\n   */\n  export type IsRequired<T> = IsDefined<T>;\n\n\n  // =============================================================================\n  // Validation Errors\n  // =============================================================================\n  \n  export class ValidationError extends Error {\n    readonly _tag = \"ValidationError\";\n    constructor(message: string) {\n      super(message);\n      this.name = \"ValidationError\";\n    }\n  }\n  \n  // =============================================================================\n  // Validation Infrastructure\n  // =============================================================================\n  \n  /**\n   * A validator that checks a value and returns whether it's valid.\n   */\n  export interface Validator<T> {\n    readonly validate: (value: T) => boolean;\n    readonly message: string;\n  }\n  \n\n/**\n * Runs all validators against a value, throwing ValidationError if any fail.\n */\nexport function runValidators<T>(value: T, validators: readonly { validate: (value: T) => boolean; message: string }[]): void {\n  for (const validator of validators) {\n    if (!validator.validate(value)) {\n      throw new ValidationError(validator.message);\n    }\n  }\n}\n\n/**\n * Checks if an operation is compatible with the given operation definitions.\n * @param operation - The operation to check.\n * @param operationDefinitions - The operation definitions to check against.\n * @returns True if the operation is compatible, false otherwise.\n */\nexport function isCompatibleOperation(operation: Operation.Operation<any, any, any>, operationDefinitions: Record<string, OperationDefinition.OperationDefinition<any, any, any>>) {\n  const values = Object.values(operationDefinitions);\n  return values.some(value => value.kind === operation.kind);\n}\n\n// =============================================================================\n// Default Value Utilities\n// =============================================================================\n\n/**\n * Applies default values to a partial input, recursively handling nested structs.\n * \n * Uses a two-layer approach:\n * 1. First, get the struct's initial state (which includes struct-level defaults)\n * 2. Then, layer the provided values on top\n * 3. Finally, ensure nested structs are recursively processed\n * \n * @param primitive - The primitive definition containing field information\n * @param value - The partial value provided by the user\n * @returns The value with defaults applied for missing fields\n */\nexport function applyDefaults<T extends AnyPrimitive>(\n  primitive: T,\n  value: Partial<InferState<T>>\n): InferState<T> {\n  // Only structs need default merging\n  if (primitive._tag === \"StructPrimitive\") {\n    const structPrimitive = primitive as unknown as { \n      fields: Record<string, AnyPrimitive>;\n      _internal: { getInitialState: () => Record<string, unknown> | undefined };\n    };\n    \n    // Start with the struct's initial state (struct-level default or field defaults)\n    const structInitialState = structPrimitive._internal.getInitialState() ?? {};\n    \n    // Layer the provided values on top of initial state\n    const result: Record<string, unknown> = { ...structInitialState, ...value };\n    \n    for (const key in structPrimitive.fields) {\n      const fieldPrimitive = structPrimitive.fields[key]!;\n      \n      if (result[key] === undefined) {\n        // Field still not provided after merging - try individual field default\n        const fieldDefault = fieldPrimitive._internal.getInitialState();\n        if (fieldDefault !== undefined) {\n          result[key] = fieldDefault;\n        }\n      } else if (fieldPrimitive._tag === \"StructPrimitive\" && typeof result[key] === \"object\" && result[key] !== null) {\n        // Recursively apply defaults to nested structs\n        result[key] = applyDefaults(fieldPrimitive, result[key] as Partial<InferState<typeof fieldPrimitive>>);\n      }\n    }\n    \n    return result as InferState<T>;\n  }\n  \n  // For non-struct primitives, return the value as-is\n  return value as InferState<T>;\n}\n\n"],"mappings":";;;;AAoIE,IAAa,kBAAb,cAAqC,MAAM;CAEzC,YAAY,SAAiB;AAC3B,QAAM,QAAQ;wBAFP,QAAO;AAGd,OAAK,OAAO;;;;;;AAoBlB,SAAgB,cAAiB,OAAU,YAAmF;AAC5H,MAAK,MAAM,aAAa,WACtB,KAAI,CAAC,UAAU,SAAS,MAAM,CAC5B,OAAM,IAAI,gBAAgB,UAAU,QAAQ;;;;;;;;AAWlD,SAAgB,sBAAsB,WAA+C,sBAA8F;AAEjL,QADe,OAAO,OAAO,qBAAqB,CACpC,MAAK,UAAS,MAAM,SAAS,UAAU,KAAK;;;;;;;;;;;;;;AAmB5D,SAAgB,cACd,WACA,OACe;AAEf,KAAI,UAAU,SAAS,mBAAmB;;EACxC,MAAM,kBAAkB;EASxB,MAAMA,oEAHqB,gBAAgB,UAAU,iBAAiB,yEAAI,EAAE,GAGR;AAEpE,OAAK,MAAM,OAAO,gBAAgB,QAAQ;GACxC,MAAM,iBAAiB,gBAAgB,OAAO;AAE9C,OAAI,OAAO,SAAS,QAAW;IAE7B,MAAM,eAAe,eAAe,UAAU,iBAAiB;AAC/D,QAAI,iBAAiB,OACnB,QAAO,OAAO;cAEP,eAAe,SAAS,qBAAqB,OAAO,OAAO,SAAS,YAAY,OAAO,SAAS,KAEzG,QAAO,OAAO,cAAc,gBAAgB,OAAO,KAAmD;;AAI1G,SAAO;;AAIT,QAAO"}

package/dist/server/ServerDocument.cjs

@@ -0,0 +1,110 @@
+const require_rolldown_runtime = require('../_virtual/rolldown_runtime.cjs');
+const require_Transaction = require('../Transaction.cjs');
+const require_Document = require('../Document.cjs');
+
+//#region src/server/ServerDocument.ts
+var ServerDocument_exports = /* @__PURE__ */ require_rolldown_runtime.__export({ make: () => make });
+/**
+* Creates a new ServerDocument for the given schema.
+*/
+const make = (options) => {
+	const { schema, initialState, initialVersion = 0, onBroadcast, onRejection, maxTransactionHistory = 1e3 } = options;
+	let _document = require_Document.make(schema, { initial: initialState });
+	let _version = initialVersion;
+	const _processedTransactions = /* @__PURE__ */ new Set();
+	const _transactionOrder = [];
+	/**
+	* Records a transaction as processed, maintaining the history limit.
+	*/
+	const recordTransaction = (transactionId) => {
+		_processedTransactions.add(transactionId);
+		_transactionOrder.push(transactionId);
+		while (_transactionOrder.length > maxTransactionHistory) {
+			const oldest = _transactionOrder.shift();
+			if (oldest) _processedTransactions.delete(oldest);
+		}
+	};
+	/**
+	* Validates that the transaction can be applied to the current state.
+	* Creates a temporary document and attempts to apply the operations.
+	*/
+	const validateTransaction = (transaction) => {
+		if (require_Transaction.isEmpty(transaction)) return {
+			valid: false,
+			reason: "Transaction is empty"
+		};
+		if (_processedTransactions.has(transaction.id)) return {
+			valid: false,
+			reason: "Transaction has already been processed"
+		};
+		const currentState = _document.get();
+		const tempDoc = require_Document.make(schema, { initial: currentState });
+		try {
+			tempDoc.apply(transaction.ops);
+			return { valid: true };
+		} catch (error) {
+			return {
+				valid: false,
+				reason: error instanceof Error ? error.message : String(error)
+			};
+		}
+	};
+	return {
+		schema,
+		get: () => {
+			return _document.get();
+		},
+		getVersion: () => {
+			return _version;
+		},
+		submit: (transaction) => {
+			const validation = validateTransaction(transaction);
+			if (!validation.valid) {
+				onRejection === null || onRejection === void 0 || onRejection(transaction.id, validation.reason);
+				return {
+					success: false,
+					reason: validation.reason
+				};
+			}
+			try {
+				_document.apply(transaction.ops);
+			} catch (error) {
+				const reason = error instanceof Error ? error.message : String(error);
+				onRejection === null || onRejection === void 0 || onRejection(transaction.id, reason);
+				return {
+					success: false,
+					reason
+				};
+			}
+			_version += 1;
+			recordTransaction(transaction.id);
+			onBroadcast({
+				type: "transaction",
+				transaction,
+				version: _version
+			});
+			return {
+				success: true,
+				version: _version
+			};
+		},
+		getSnapshot: () => {
+			return {
+				type: "snapshot",
+				state: _document.get(),
+				version: _version
+			};
+		},
+		hasProcessed: (transactionId) => {
+			return _processedTransactions.has(transactionId);
+		}
+	};
+};
+
+//#endregion
+Object.defineProperty(exports, 'ServerDocument_exports', {
+  enumerable: true,
+  get: function () {
+    return ServerDocument_exports;
+  }
+});

package/dist/server/ServerDocument.d.cts

@@ -0,0 +1,98 @@
+import { Transaction } from "../Transaction.cjs";
+import { AnyPrimitive, InferState } from "../primitives/shared.cjs";
+
+//#region src/server/ServerDocument.d.ts
+declare namespace ServerDocument_d_exports {
+  export { ErrorMessage, ServerDocument, ServerDocumentOptions, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage, make };
+}
+/**
+ * Message sent when broadcasting a committed transaction.
+ */
+interface TransactionMessage {
+  readonly type: "transaction";
+  readonly transaction: Transaction;
+  /** Server-assigned version number for ordering */
+  readonly version: number;
+}
+/**
+ * Message sent when a transaction is rejected.
+ */
+interface ErrorMessage {
+  readonly type: "error";
+  readonly transactionId: string;
+  readonly reason: string;
+}
+/**
+ * Message sent as a full state snapshot.
+ */
+interface SnapshotMessage {
+  readonly type: "snapshot";
+  readonly state: unknown;
+  readonly version: number;
+}
+/**
+ * Union of all server messages that can be broadcast.
+ */
+type ServerMessage = TransactionMessage | ErrorMessage | SnapshotMessage;
+/**
+ * Result of submitting a transaction to the server.
+ */
+type SubmitResult = {
+  readonly success: true;
+  readonly version: number;
+} | {
+  readonly success: false;
+  readonly reason: string;
+};
+/**
+ * Options for creating a ServerDocument.
+ */
+interface ServerDocumentOptions<TSchema extends AnyPrimitive> {
+  /** The schema defining the document structure */
+  readonly schema: TSchema;
+  /** Initial state (optional, will use schema defaults if not provided) */
+  readonly initialState?: InferState<TSchema>;
+  /** Initial version number (optional, defaults to 0) */
+  readonly initialVersion?: number;
+  /** Called when a transaction is successfully applied and should be broadcast */
+  readonly onBroadcast: (message: TransactionMessage) => void;
+  /** Called when a transaction is rejected (optional, for logging/metrics) */
+  readonly onRejection?: (transactionId: string, reason: string) => void;
+  /** Maximum number of processed transaction IDs to track for deduplication */
+  readonly maxTransactionHistory?: number;
+}
+/**
+ * A ServerDocument maintains the authoritative state and processes client transactions.
+ */
+interface ServerDocument<TSchema extends AnyPrimitive> {
+  /** The schema defining this document's structure */
+  readonly schema: TSchema;
+  /** Returns the current authoritative state */
+  get(): InferState<TSchema> | undefined;
+  /** Returns the current version number */
+  getVersion(): number;
+  /**
+   * Submits a transaction for processing.
+   * Validates and applies the transaction if valid, or rejects it with a reason.
+   * @param transaction - The transaction to process
+   * @returns SubmitResult indicating success with version or failure with reason
+   */
+  submit(transaction: Transaction): SubmitResult;
+  /**
+   * Returns a snapshot of the current state and version.
+   * Used to initialize new clients or resync after drift.
+   */
+  getSnapshot(): SnapshotMessage;
+  /**
+   * Checks if a transaction has already been processed.
+   * @param transactionId - The transaction ID to check
+   */
+  hasProcessed(transactionId: string): boolean;
+}
+/**
+ * Creates a new ServerDocument for the given schema.
+ */
+declare const make: <TSchema extends AnyPrimitive>(options: ServerDocumentOptions<TSchema>) => ServerDocument<TSchema>;
+//#endregion
+export { ErrorMessage, ServerDocumentOptions, ServerDocument_d_exports, ServerMessage, SnapshotMessage, SubmitResult, TransactionMessage };
+//# sourceMappingURL=ServerDocument.d.cts.map

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

@@ -0,0 +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,WAAqB;;;;kCAIb;;;;;;;;;UAUjB,+BAA+B;;mBAE7B;;SAGV,WAAqB;;;;;;;;;sBAWR,cAA0B;;;;;iBAM/B;;;;;;;;;;cAgBJ,uBAAwB,uBAC1B,sBAAsB,aAC9B,eAAe"}