@voidhash/mimic 0.0.1-alpha.1 → 0.0.1-alpha.10

package/dist/server/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":["Document.make","_transactionOrder: string[]","Transaction.isEmpty"],"sources":["../../src/server/ServerDocument.ts","../../src/server/errors.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 state (optional, will use schema defaults if not provided) */\n  readonly initialState?: Primitive.InferState<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    const currentState = _document.get();\n    const tempDoc = Document.make(schema, { initial: 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","import type * as Transaction from \"../Transaction\";\n\n// =============================================================================\n// Server Errors\n// =============================================================================\n\n/**\n * Base error class for all mimic-server errors.\n */\nexport class MimicServerError extends Error {\n  readonly _tag: string = \"MimicServerError\";\n  constructor(message: string) {\n    super(message);\n    this.name = \"MimicServerError\";\n  }\n}\n\n/**\n * Error thrown when a transaction fails validation.\n */\nexport class ValidationError extends MimicServerError {\n  override readonly _tag = \"ValidationError\";\n  readonly transactionId: string;\n\n  constructor(transactionId: string, message: string) {\n    super(`Transaction ${transactionId} validation failed: ${message}`);\n    this.name = \"ValidationError\";\n    this.transactionId = transactionId;\n  }\n}\n\n/**\n * Error thrown when an operation is invalid for the current schema.\n */\nexport class InvalidOperationError extends MimicServerError {\n  override readonly _tag = \"InvalidOperationError\";\n  readonly operationKind: string;\n  readonly path: string;\n\n  constructor(operationKind: string, path: string, message: string) {\n    super(`Invalid operation ${operationKind} at path \"${path}\": ${message}`);\n    this.name = \"InvalidOperationError\";\n    this.operationKind = operationKind;\n    this.path = path;\n  }\n}\n\n/**\n * Error thrown when an operation cannot be applied to the current state.\n */\nexport class StateValidationError extends MimicServerError {\n  override readonly _tag = \"StateValidationError\";\n  readonly transactionId: string;\n  override readonly cause?: Error;\n\n  constructor(transactionId: string, message: string, cause?: Error) {\n    super(`Transaction ${transactionId} cannot be applied to current state: ${message}`);\n    this.name = \"StateValidationError\";\n    this.transactionId = transactionId;\n    this.cause = cause;\n  }\n}\n\n/**\n * Error thrown when attempting to apply an empty transaction.\n */\nexport class EmptyTransactionError extends MimicServerError {\n  override readonly _tag = \"EmptyTransactionError\";\n  readonly transactionId: string;\n\n  constructor(transactionId: string) {\n    super(`Transaction ${transactionId} is empty and cannot be applied`);\n    this.name = \"EmptyTransactionError\";\n    this.transactionId = transactionId;\n  }\n}\n\n/**\n * Error thrown when a duplicate transaction is submitted.\n */\nexport class DuplicateTransactionError extends MimicServerError {\n  override readonly _tag = \"DuplicateTransactionError\";\n  readonly transactionId: string;\n\n  constructor(transactionId: string) {\n    super(`Transaction ${transactionId} has already been processed`);\n    this.name = \"DuplicateTransactionError\";\n    this.transactionId = transactionId;\n  }\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;EAI3E,MAAM,eAAe,UAAU,KAAK;EACpC,MAAM,UAAUF,OAAc,QAAQ,EAAE,SAAS,cAAc,CAAC;AAEhE,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;;;;;;;;AC9PH,IAAa,mBAAb,cAAsC,MAAM;CAE1C,YAAY,SAAiB;AAC3B,QAAM,QAAQ;wBAFP,QAAe;AAGtB,OAAK,OAAO;;;;;;AAOhB,IAAa,kBAAb,cAAqC,iBAAiB;CAIpD,YAAY,eAAuB,SAAiB;AAClD,QAAM,eAAe,cAAc,sBAAsB,UAAU;wBAJnD,QAAO;wBAChB;AAIP,OAAK,OAAO;AACZ,OAAK,gBAAgB;;;;;;AAOzB,IAAa,wBAAb,cAA2C,iBAAiB;CAK1D,YAAY,eAAuB,MAAc,SAAiB;AAChE,QAAM,qBAAqB,cAAc,YAAY,KAAK,KAAK,UAAU;wBALzD,QAAO;wBAChB;wBACA;AAIP,OAAK,OAAO;AACZ,OAAK,gBAAgB;AACrB,OAAK,OAAO;;;;;;AAOhB,IAAa,uBAAb,cAA0C,iBAAiB;CAKzD,YAAY,eAAuB,SAAiB,OAAe;AACjE,QAAM,eAAe,cAAc,uCAAuC,UAAU;wBALpE,QAAO;wBAChB;wBACS;AAIhB,OAAK,OAAO;AACZ,OAAK,gBAAgB;AACrB,OAAK,QAAQ;;;;;;AAOjB,IAAa,wBAAb,cAA2C,iBAAiB;CAI1D,YAAY,eAAuB;AACjC,QAAM,eAAe,cAAc,iCAAiC;wBAJpD,QAAO;wBAChB;AAIP,OAAK,OAAO;AACZ,OAAK,gBAAgB;;;;;;AAOzB,IAAa,4BAAb,cAA+C,iBAAiB;CAI9D,YAAY,eAAuB;AACjC,QAAM,eAAe,cAAc,6BAA6B;wBAJhD,QAAO;wBAChB;AAIP,OAAK,OAAO;AACZ,OAAK,gBAAgB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@voidhash/mimic",
-  "version": "0.0.1-alpha.1",
+  "version": "0.0.1-alpha.10",
   "type": "module",
   "repository": {
     "type": "git",
@@ -9,25 +9,37 @@
   },
   "main": "./src/index.ts",
   "exports": {
-    ".": "./src/index.ts",
-    "./server": "./src/server/index.ts",
-    "./client": "./src/client/index.ts"
-  },
-  "scripts": {
-    "build": "tsdown",
-    "lint": "biome check .",
-    "typecheck": "tsc --noEmit",
-    "test": "vitest run -c vitest.mts"
+    ".": {
+      "import": "./dist/index.mjs",
+      "types": "./dist/index.d.mts",
+      "require": "./dist/index.cjs"
+    },
+    "./server": {
+      "import": "./dist/server/index.mjs",
+      "types": "./dist/server/index.d.mts",
+      "require": "./dist/server/index.cjs"
+    },
+    "./client": {
+      "import": "./dist/client/index.mjs",
+      "types": "./dist/client/index.d.mts",
+      "require": "./dist/client/index.cjs"
+    }
   },
   "devDependencies": {
     "@effect/vitest": "^0.27.0",
-    "@voidhash/tsconfig": "workspace:*",
     "tsdown": "^0.18.2",
     "typescript": "5.8.3",
     "vite-tsconfig-paths": "^5.1.4",
-    "vitest": "^3.2.4"
+    "vitest": "^3.2.4",
+    "@voidhash/tsconfig": "0.0.1-alpha.10"
   },
   "peerDependencies": {
-    "effect": "catalog:"
+    "effect": "^3.19.12"
+  },
+  "scripts": {
+    "build": "tsdown",
+    "lint": "biome check .",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run -c vitest.mts"
   }
 }

package/src/EffectSchema.ts

@@ -0,0 +1,374 @@
+/**
+ * Effect.Schema utilities for converting Mimic primitives to Effect.Schema schemas.
+ * 
+ * @since 0.0.1
+ */
+import { Schema } from "effect";
+import type { AnyPrimitive, InferSetInput, InferUpdateInput } from "./primitives/shared";
+import type { LiteralPrimitive, LiteralValue } from "./primitives/Literal";
+import type { StructPrimitive } from "./primitives/Struct";
+import type { ArrayPrimitive } from "./primitives/Array";
+import type { UnionPrimitive, UnionVariants } from "./primitives/Union";
+import type { EitherPrimitive, ScalarPrimitive } from "./primitives/Either";
+import type { LazyPrimitive } from "./primitives/Lazy";
+import type { TreeNodePrimitive, AnyTreeNodePrimitive } from "./primitives/TreeNode";
+
+// =============================================================================
+// Type-level Schema Inference
+// =============================================================================
+
+/**
+ * Infer the Effect.Schema type for a primitive's set input.
+ */
+export type ToSetSchema<T extends AnyPrimitive> = Schema.Schema<InferSetInput<T>>;
+
+/**
+ * Infer the Effect.Schema type for a primitive's update input.
+ */
+export type ToUpdateSchema<T extends AnyPrimitive> = Schema.Schema<InferUpdateInput<T>>;
+
+/**
+ * Type for TreeNode set schema - uses the node's data set input type
+ */
+export type ToTreeNodeSetSchema<T extends AnyTreeNodePrimitive> = Schema.Schema<InferSetInput<T["data"]>>;
+
+/**
+ * Type for TreeNode update schema - uses the node's data update input type
+ */
+export type ToTreeNodeUpdateSchema<T extends AnyTreeNodePrimitive> = Schema.Schema<InferUpdateInput<T["data"]>>;
+
+// =============================================================================
+// Schema for TreeNodeState
+// =============================================================================
+
+/**
+ * Schema for a tree node state (flat storage format).
+ */
+export const TreeNodeStateSchema = Schema.Struct({
+  id: Schema.String,
+  type: Schema.String,
+  parentId: Schema.NullOr(Schema.String),
+  pos: Schema.String,
+  data: Schema.Unknown,
+});
+
+// =============================================================================
+// Internal type for primitives (including those that don't implement full Primitive interface)
+// =============================================================================
+
+/**
+ * Internal type for anything that can be converted to a schema.
+ * This includes both AnyPrimitive and AnyTreeNodePrimitive.
+ */
+type ConvertiblePrimitive = { _tag: string };
+
+// =============================================================================
+// Runtime Conversion Functions
+// =============================================================================
+
+/**
+ * Check if a field is required for set operations.
+ * A field is required if: TRequired is true AND THasDefault is false.
+ * 
+ * We determine this by checking the primitive's schema properties.
+ */
+function isRequiredForSet(primitive: ConvertiblePrimitive): boolean {
+  // Access the private schema to check required and default status
+  const schema = (primitive as any)._schema;
+  if (!schema) return false;
+  
+  return schema.required === true && schema.defaultValue === undefined;
+}
+
+/**
+ * Get the base Effect.Schema for a primitive type (without optional wrapper).
+ */
+function getBaseSchema(primitive: ConvertiblePrimitive): Schema.Schema<any> {
+  switch (primitive._tag) {
+    case "StringPrimitive":
+      return Schema.String;
+    
+    case "NumberPrimitive":
+      return Schema.Number;
+    
+    case "BooleanPrimitive":
+      return Schema.Boolean;
+    
+    case "LiteralPrimitive": {
+      const literalPrimitive = primitive as unknown as LiteralPrimitive<LiteralValue, any, any>;
+      const literalValue = (literalPrimitive as any)._schema?.literal ?? (literalPrimitive as any).literal;
+      return Schema.Literal(literalValue);
+    }
+    
+    case "StructPrimitive": {
+      const structPrimitive = primitive as unknown as StructPrimitive<Record<string, AnyPrimitive>, any, any>;
+      return buildStructSetSchema(structPrimitive);
+    }
+    
+    case "ArrayPrimitive": {
+      const arrayPrimitive = primitive as unknown as ArrayPrimitive<AnyPrimitive, any, any>;
+      const elementSchema = buildElementSetSchema(arrayPrimitive.element);
+      return Schema.Array(elementSchema);
+    }
+    
+    case "UnionPrimitive": {
+      const unionPrimitive = primitive as unknown as UnionPrimitive<UnionVariants, any, any, any>;
+      return buildUnionSetSchema(unionPrimitive);
+    }
+    
+    case "EitherPrimitive": {
+      const eitherPrimitive = primitive as unknown as EitherPrimitive<readonly ScalarPrimitive[], any, any>;
+      return buildEitherSchema(eitherPrimitive);
+    }
+    
+    case "LazyPrimitive": {
+      const lazyPrimitive = primitive as unknown as LazyPrimitive<() => AnyPrimitive>;
+      // Resolve the lazy primitive and get its schema
+      const resolved = (lazyPrimitive as any)._resolve?.() ?? (lazyPrimitive as any)._thunk();
+      return getBaseSchema(resolved);
+    }
+    
+    case "TreeNodePrimitive": {
+      const treeNodePrimitive = primitive as unknown as TreeNodePrimitive<string, StructPrimitive<any>, any>;
+      // TreeNode delegates to its data struct
+      return buildStructSetSchema(treeNodePrimitive.data);
+    }
+    
+    case "TreePrimitive": {
+      // Tree returns an array of TreeNodeState
+      return Schema.Array(TreeNodeStateSchema);
+    }
+    
+    default:
+      return Schema.Unknown;
+  }
+}
+
+/**
+ * Build the set schema for a struct primitive.
+ * Required fields (required=true, no default) are non-optional.
+ * Other fields are wrapped with Schema.optional.
+ */
+function buildStructSetSchema(structPrimitive: StructPrimitive<Record<string, AnyPrimitive>, any, any>): Schema.Schema<any> {
+  const fields = structPrimitive.fields;
+  // Use any to avoid complex Schema type constraints
+  const schemaFields: Record<string, any> = {};
+  
+  for (const key in fields) {
+    const fieldPrimitive = fields[key]!;
+    const baseSchema = getBaseSchema(fieldPrimitive);
+    
+    if (isRequiredForSet(fieldPrimitive)) {
+      // Required field - use base schema directly
+      schemaFields[key] = baseSchema;
+    } else {
+      // Optional field - wrap with Schema.optional
+      schemaFields[key] = Schema.optional(baseSchema);
+    }
+  }
+  
+  return Schema.Struct(schemaFields) as any;
+}
+
+/**
+ * Build the update schema for a struct primitive.
+ * All fields are optional for partial updates.
+ */
+function buildStructUpdateSchema(structPrimitive: StructPrimitive<Record<string, AnyPrimitive>, any, any>): Schema.Schema<any> {
+  const fields = structPrimitive.fields;
+  // Use any to avoid complex Schema type constraints
+  const schemaFields: Record<string, any> = {};
+  
+  for (const key in fields) {
+    const fieldPrimitive = fields[key]!;
+    // For update, use the update schema for nested structs, otherwise base schema
+    let fieldSchema: Schema.Schema<any>;
+    
+    if (fieldPrimitive._tag === "StructPrimitive") {
+      fieldSchema = buildStructUpdateSchema(fieldPrimitive as StructPrimitive<Record<string, AnyPrimitive>, any, any>);
+    } else {
+      fieldSchema = getBaseSchema(fieldPrimitive);
+    }
+    
+    // All fields are optional in update
+    schemaFields[key] = Schema.optional(fieldSchema);
+  }
+  
+  return Schema.Struct(schemaFields) as any;
+}
+
+/**
+ * Build the set schema for an array element.
+ * For struct elements, uses the struct's set input schema.
+ */
+function buildElementSetSchema(elementPrimitive: AnyPrimitive): Schema.Schema<any> {
+  if (elementPrimitive._tag === "StructPrimitive") {
+    return buildStructSetSchema(elementPrimitive as StructPrimitive<Record<string, AnyPrimitive>, any, any>);
+  }
+  return getBaseSchema(elementPrimitive);
+}
+
+/**
+ * Build the set schema for a union primitive.
+ * Creates a Schema.Union of all variant schemas.
+ */
+function buildUnionSetSchema(unionPrimitive: UnionPrimitive<UnionVariants, any, any, any>): Schema.Schema<any> {
+  const variants = unionPrimitive.variants;
+  const variantSchemas: Schema.Schema<any>[] = [];
+  
+  for (const key in variants) {
+    const variantPrimitive = variants[key]!;
+    variantSchemas.push(buildStructSetSchema(variantPrimitive));
+  }
+  
+  if (variantSchemas.length === 0) {
+    return Schema.Unknown;
+  }
+  
+  if (variantSchemas.length === 1) {
+    return variantSchemas[0]!;
+  }
+  
+  return Schema.Union(...variantSchemas as [Schema.Schema<any>, Schema.Schema<any>, ...Schema.Schema<any>[]]);
+}
+
+/**
+ * Build the schema for an either primitive.
+ * Creates a Schema.Union of all scalar variant types.
+ */
+function buildEitherSchema(eitherPrimitive: EitherPrimitive<readonly ScalarPrimitive[], any, any>): Schema.Schema<any> {
+  const variants = eitherPrimitive.variants;
+  const variantSchemas: Schema.Schema<any>[] = [];
+  
+  for (const variant of variants) {
+    variantSchemas.push(getBaseSchema(variant as unknown as ConvertiblePrimitive));
+  }
+  
+  if (variantSchemas.length === 0) {
+    return Schema.Unknown;
+  }
+  
+  if (variantSchemas.length === 1) {
+    return variantSchemas[0]!;
+  }
+  
+  return Schema.Union(...variantSchemas as [Schema.Schema<any>, Schema.Schema<any>, ...Schema.Schema<any>[]]);
+}
+
+/**
+ * Build the update schema for a union primitive.
+ * Creates a Schema.Union of all variant update schemas.
+ */
+function buildUnionUpdateSchema(unionPrimitive: UnionPrimitive<UnionVariants, any, any, any>): Schema.Schema<any> {
+  const variants = unionPrimitive.variants;
+  const variantSchemas: Schema.Schema<any>[] = [];
+  
+  for (const key in variants) {
+    const variantPrimitive = variants[key]!;
+    variantSchemas.push(buildStructUpdateSchema(variantPrimitive));
+  }
+  
+  if (variantSchemas.length === 0) {
+    return Schema.Unknown;
+  }
+  
+  if (variantSchemas.length === 1) {
+    return variantSchemas[0]!;
+  }
+  
+  return Schema.Union(...variantSchemas as [Schema.Schema<any>, Schema.Schema<any>, ...Schema.Schema<any>[]]);
+}
+
+/**
+ * Get the update schema for a primitive.
+ * For structs, all fields are optional (partial updates).
+ * For simple primitives, same as set schema.
+ */
+function getUpdateSchema(primitive: ConvertiblePrimitive): Schema.Schema<any> {
+  switch (primitive._tag) {
+    case "StructPrimitive": {
+      const structPrimitive = primitive as unknown as StructPrimitive<Record<string, AnyPrimitive>, any, any>;
+      return buildStructUpdateSchema(structPrimitive);
+    }
+    
+    case "UnionPrimitive": {
+      const unionPrimitive = primitive as unknown as UnionPrimitive<UnionVariants, any, any, any>;
+      return buildUnionUpdateSchema(unionPrimitive);
+    }
+    
+    case "TreeNodePrimitive": {
+      const treeNodePrimitive = primitive as unknown as TreeNodePrimitive<string, StructPrimitive<any>, any>;
+      // TreeNode update delegates to data struct's update schema (all fields optional)
+      return buildStructUpdateSchema(treeNodePrimitive.data);
+    }
+    
+    case "LazyPrimitive": {
+      const lazyPrimitive = primitive as unknown as LazyPrimitive<() => AnyPrimitive>;
+      const resolved = (lazyPrimitive as any)._resolve?.() ?? (lazyPrimitive as any)._thunk();
+      return getUpdateSchema(resolved);
+    }
+    
+    default:
+      // For simple primitives, update schema is same as set schema
+      return getBaseSchema(primitive);
+  }
+}
+
+// =============================================================================
+// Public API
+// =============================================================================
+
+/**
+ * Convert a Mimic primitive to an Effect.Schema for set operations.
+ * 
+ * The resulting schema:
+ * - For structs: required fields (required=true, no default) are non-optional, others are optional
+ * - For arrays: uses the element's set schema
+ * - For unions: creates a Schema.Union of variant schemas
+ * - For TreeNode: delegates to the node's data struct schema
+ * - For Tree: returns Schema.Array of TreeNodeState
+ * 
+ * @example
+ * ```typescript
+ * const UserSchema = Primitive.Struct({
+ *   name: Primitive.String().required(),
+ *   age: Primitive.Number().default(0),
+ *   email: Primitive.String(),
+ * });
+ * 
+ * const SetSchema = toSetSchema(UserSchema);
+ * // { name: string, age?: number, email?: string }
+ * ```
+ */
+export function toSetSchema<T extends AnyPrimitive>(primitive: T): ToSetSchema<T>;
+export function toSetSchema<T extends AnyTreeNodePrimitive>(primitive: T): ToTreeNodeSetSchema<T>;
+export function toSetSchema(primitive: ConvertiblePrimitive): Schema.Schema<any> {
+  return getBaseSchema(primitive);
+}
+
+/**
+ * Convert a Mimic primitive to an Effect.Schema for update operations.
+ * 
+ * The resulting schema:
+ * - For structs: all fields are optional (partial updates)
+ * - For unions: all variant fields are optional
+ * - For TreeNode: delegates to the node's data struct update schema
+ * - For simple primitives: same as set schema
+ * 
+ * @example
+ * ```typescript
+ * const UserSchema = Primitive.Struct({
+ *   name: Primitive.String().required(),
+ *   age: Primitive.Number().default(0),
+ *   email: Primitive.String(),
+ * });
+ * 
+ * const UpdateSchema = toUpdateSchema(UserSchema);
+ * // { name?: string, age?: string, email?: string }
+ * ```
+ */
+export function toUpdateSchema<T extends AnyPrimitive>(primitive: T): ToUpdateSchema<T>;
+export function toUpdateSchema<T extends AnyTreeNodePrimitive>(primitive: T): ToTreeNodeUpdateSchema<T>;
+export function toUpdateSchema(primitive: ConvertiblePrimitive): Schema.Schema<any> {
+  return getUpdateSchema(primitive);
+}

package/src/Primitive.ts

@@ -26,6 +26,9 @@ export * from "./primitives/Lazy";
 // Union Primitive
 export * from "./primitives/Union";
 
+// Either Primitive
+export * from "./primitives/Either";
+
 // TreeNode Primitive
 export * from "./primitives/TreeNode";
 // Tree Primitive

package/src/client/ClientDocument.ts

@@ -43,7 +43,7 @@ type InitState =
 /**
  * Listener for presence changes.
  */
-export interface PresenceListener<TData> {
+export interface PresenceListener<_TData> {
   /** Called when any presence changes (self or others) */
   readonly onPresenceChange?: () => void;
 }

package/src/client/errors.ts

@@ -19,7 +19,7 @@ export class MimicClientError extends Error {
  * Error thrown when a transaction is rejected by the server.
  */
 export class TransactionRejectedError extends MimicClientError {
-  readonly _tag = "TransactionRejectedError";
+  override readonly _tag = "TransactionRejectedError";
   readonly transaction: Transaction.Transaction;
   readonly reason: string;
 
@@ -35,7 +35,7 @@ export class TransactionRejectedError extends MimicClientError {
  * Error thrown when the transport is not connected.
  */
 export class NotConnectedError extends MimicClientError {
-  readonly _tag = "NotConnectedError";
+  override readonly _tag = "NotConnectedError";
   constructor() {
     super("Transport is not connected");
     this.name = "NotConnectedError";
@@ -46,8 +46,8 @@ export class NotConnectedError extends MimicClientError {
  * Error thrown when connection to the server fails.
  */
 export class ConnectionError extends MimicClientError {
-  readonly _tag = "ConnectionError";
-  readonly cause?: Error;
+  override readonly _tag = "ConnectionError";
+  override readonly cause?: Error;
 
   constructor(message: string, cause?: Error) {
     super(message);
@@ -60,7 +60,7 @@ export class ConnectionError extends MimicClientError {
  * Error thrown when state drift is detected and cannot be recovered.
  */
 export class StateDriftError extends MimicClientError {
-  readonly _tag = "StateDriftError";
+  override readonly _tag = "StateDriftError";
   readonly expectedVersion: number;
   readonly receivedVersion: number;
 
@@ -78,7 +78,7 @@ export class StateDriftError extends MimicClientError {
  * Error thrown when a pending transaction times out waiting for confirmation.
  */
 export class TransactionTimeoutError extends MimicClientError {
-  readonly _tag = "TransactionTimeoutError";
+  override readonly _tag = "TransactionTimeoutError";
   readonly transaction: Transaction.Transaction;
   readonly timeoutMs: number;
 
@@ -96,7 +96,7 @@ export class TransactionTimeoutError extends MimicClientError {
  * Error thrown when rebasing operations fails.
  */
 export class RebaseError extends MimicClientError {
-  readonly _tag = "RebaseError";
+  override readonly _tag = "RebaseError";
   readonly transactionId: string;
 
   constructor(transactionId: string, message: string) {
@@ -110,7 +110,7 @@ export class RebaseError extends MimicClientError {
  * Error thrown when the client document is in an invalid state.
  */
 export class InvalidStateError extends MimicClientError {
-  readonly _tag = "InvalidStateError";
+  override readonly _tag = "InvalidStateError";
   constructor(message: string) {
     super(message);
     this.name = "InvalidStateError";
@@ -121,7 +121,7 @@ export class InvalidStateError extends MimicClientError {
  * Error thrown when WebSocket connection or communication fails.
  */
 export class WebSocketError extends MimicClientError {
-  readonly _tag = "WebSocketError";
+  override readonly _tag = "WebSocketError";
   readonly code?: number;
   readonly reason?: string;
 
@@ -137,7 +137,7 @@ export class WebSocketError extends MimicClientError {
  * Error thrown when authentication fails.
  */
 export class AuthenticationError extends MimicClientError {
-  readonly _tag = "AuthenticationError";
+  override readonly _tag = "AuthenticationError";
   constructor(message: string) {
     super(message);
     this.name = "AuthenticationError";

package/src/index.ts

@@ -10,3 +10,4 @@ export * as OperationPath from "./OperationPath.js";
 export * as ProxyEnvironment from "./ProxyEnvironment.js";
 export * as Transform from "./Transform.js";
 export * as Presence from "./Presence.js";
+export * as EffectSchema from "./EffectSchema.js";