@dxos/keys 0.8.4-main.5ea62a8 → 0.8.4-main.72ec0f3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dxos/keys",
-  "version": "0.8.4-main.5ea62a8",
+  "version": "0.8.4-main.72ec0f3",
   "description": "Key utils and definitions.",
   "homepage": "https://dxos.org",
   "bugs": "https://github.com/dxos/dxos/issues",
@@ -25,11 +25,11 @@
     "src"
   ],
   "dependencies": {
-    "effect": "3.17.7",
+    "effect": "3.18.3",
     "ulidx": "^2.3.0",
-    "@dxos/debug": "0.8.4-main.5ea62a8",
-    "@dxos/node-std": "0.8.4-main.5ea62a8",
-    "@dxos/invariant": "0.8.4-main.5ea62a8"
+    "@dxos/debug": "0.8.4-main.72ec0f3",
+    "@dxos/invariant": "0.8.4-main.72ec0f3",
+    "@dxos/node-std": "0.8.4-main.72ec0f3"
   },
   "devDependencies": {
     "base32-decode": "^1.0.0",

package/src/dxn.ts

@@ -4,7 +4,7 @@
 
 import type { InspectOptionsStylized, inspect } from 'node:util';
 
-import { Schema } from 'effect';
+import * as Schema from 'effect/Schema';
 
 import { type DevtoolsFormatter, devtoolsFormatter, inspectCustom } from '@dxos/debug';
 import { assertArgument, invariant } from '@dxos/invariant';
@@ -140,14 +140,14 @@ export class DXN {
   }
 
   /**
-   * @example `dxn:type:example.com/type/Contact`
+   * @example `dxn:type:example.com/type/Person`
    */
   static fromTypename(typename: string): DXN {
     return new DXN(DXN.kind.TYPE, [typename]);
   }
 
   /**
-   * @example `dxn:type:example.com/type/Contact:0.1.0`
+   * @example `dxn:type:example.com/type/Person:0.1.0`
    */
   // TODO(dmaretskyi): Consider using @ as the version separator.
   static fromTypenameAndVersion(typename: string, version: string): DXN {
@@ -159,7 +159,7 @@ export class DXN {
    */
   static fromSpaceAndObjectId(spaceId: SpaceId, objectId: ObjectId): DXN {
     assertArgument(SpaceId.isValid(spaceId), `Invalid space ID: ${spaceId}`);
-    assertArgument(ObjectId.isValid(objectId), `Invalid object ID: ${objectId}`);
+    assertArgument(ObjectId.isValid(objectId), 'objectId', `Invalid object ID: ${objectId}`);
     return new DXN(DXN.kind.ECHO, [spaceId, objectId]);
   }
 
@@ -167,14 +167,14 @@ export class DXN {
    * @example `dxn:echo:@:01J00J9B45YHYSGZQTQMSKMGJ6`
    */
   static fromLocalObjectId(id: string): DXN {
-    assertArgument(ObjectId.isValid(id), `Invalid object ID: ${id}`);
+    assertArgument(ObjectId.isValid(id), 'id', `Invalid object ID: ${id}`);
     return new DXN(DXN.kind.ECHO, [LOCAL_SPACE_TAG, id]);
   }
 
   static fromQueue(subspaceTag: QueueSubspaceTag, spaceId: SpaceId, queueId: ObjectId, objectId?: ObjectId) {
     assertArgument(SpaceId.isValid(spaceId), `Invalid space ID: ${spaceId}`);
-    assertArgument(ObjectId.isValid(queueId), `Invalid queue ID: ${queueId}`);
-    assertArgument(!objectId || ObjectId.isValid(objectId), `Invalid object ID: ${objectId}`);
+    assertArgument(ObjectId.isValid(queueId), 'queueId', `Invalid queue ID: ${queueId}`);
+    assertArgument(!objectId || ObjectId.isValid(objectId), 'objectId', `Invalid object ID: ${objectId}`);
 
     return new DXN(DXN.kind.QUEUE, [subspaceTag, spaceId, queueId, ...(objectId ? [objectId] : [])]);
   }
@@ -183,9 +183,10 @@ export class DXN {
   #parts: string[];
 
   constructor(kind: string, parts: string[]) {
-    assertArgument(parts.length > 0, `Invalid DXN: ${parts}`);
+    assertArgument(parts.length > 0, 'parts', `Invalid DXN: ${parts}`);
     assertArgument(
       parts.every((part) => typeof part === 'string' && part.length > 0 && part.indexOf(':') === -1),
+      'parts',
       `Invalid DXN: ${parts}`,
     );
 

package/src/object-id.ts

@@ -2,8 +2,8 @@
 // Copyright 2025 DXOS.org
 //
 
-import { Schema } from 'effect';
-import { ulid } from 'ulidx';
+import * as Schema from 'effect/Schema';
+import { type PRNG, type ULIDFactory, monotonicFactory } from 'ulidx';
 
 // TODO(dmaretskyi): Make brand.
 // export const ObjectIdBrand: unique symbol = Symbol('@dxos/echo/ObjectId');
@@ -16,9 +16,39 @@ const ObjectIdSchema = Schema.String.pipe(Schema.pattern(/^[0-7][0-9A-HJKMNP-TV-
 export type ObjectId = typeof ObjectIdSchema.Type;
 
 export interface ObjectIdClass extends Schema.SchemaClass<ObjectId, string> {
+  /**
+   * @returns true if the string is a valid ObjectId.
+   */
   isValid(id: string): id is ObjectId;
+
+  /**
+   * Creates an ObjectId from a string validating the format.
+   */
   make(id: string): ObjectId;
+
+  /**
+   * Generates a random ObjectId.
+   */
   random(): ObjectId;
+
+  /**
+   * WARNING: To be used only within tests.
+   *
+   * Disables randomness in ObjectId generation, causing the same sequence of IDs to be generated.
+   * Do not use in production code as this will cause data collisions.
+   * Place this at the top of the test file to ensure that the same sequence of IDs is generated.
+   *
+   * ```ts
+   * ObjectId.dangerouslyDisableRandomness();
+   *
+   * describe('suite', () => {
+   *   // ...
+   * });
+   * ```
+   *
+   * NOTE: The generated IDs depend on the order of ObjectId.random() calls, which might be affected by test order, scheduling, etc.
+   */
+  dangerouslyDisableRandomness(): void;
 }
 
 /**
@@ -27,6 +57,9 @@ export interface ObjectIdClass extends Schema.SchemaClass<ObjectId, string> {
  * Follows ULID spec.
  */
 export const ObjectId: ObjectIdClass = class extends ObjectIdSchema {
+  static #factory: ULIDFactory = monotonicFactory();
+  static #seedTime: number | undefined = undefined;
+
   static isValid(id: string): id is ObjectId {
     try {
       Schema.decodeSync(ObjectId)(id);
@@ -37,6 +70,62 @@ export const ObjectId: ObjectIdClass = class extends ObjectIdSchema {
   }
 
   static random(): ObjectId {
-    return ulid() as ObjectId;
+    return this.#factory(this.#seedTime) as ObjectId;
+  }
+
+  static dangerouslyDisableRandomness() {
+    this.#factory = monotonicFactory(makeTestPRNG());
+    this.#seedTime = new Date('2025-01-01').getTime();
   }
 };
+
+/**
+ * Test PRNG that always starts with the same seed and produces the same sequence.
+ */
+const makeTestPRNG = (): PRNG => {
+  const rng = new SimplePRNG();
+  return () => {
+    return rng.next();
+  };
+};
+
+/**
+ * Simple Linear Congruential Generator (LCG) for pseudo-random number generation.
+ * Returns numbers in the range [0, 1) (0 inclusive, 1 exclusive).
+ */
+export class SimplePRNG {
+  #seed: number;
+
+  // LCG parameters (from Numerical Recipes)
+  static readonly #a = 1664525;
+  static readonly #c = 1013904223;
+  static readonly #m = Math.pow(2, 32);
+
+  /**
+   * Creates a new PRNG instance.
+   * @param seed - Initial seed value. If not provided, uses 0.
+   */
+  constructor(seed: number = 0) {
+    this.#seed = seed;
+  }
+
+  /**
+   * Generates the next pseudo-random number in the range [0, 1).
+   * @returns A pseudo-random number between 0 (inclusive) and 1 (exclusive).
+   */
+  next(): number {
+    // Update seed using LCG formula: (a * seed + c) mod m
+    this.#seed = (SimplePRNG.#a * this.#seed + SimplePRNG.#c) % SimplePRNG.#m;
+
+    // Normalize to [0, 1) range
+    return this.#seed / SimplePRNG.#m;
+  }
+
+  /**
+   * Resets the generator with a new seed.
+   * @param seed - New seed value.
+   */
+  reset(seed: number): void {
+    this.#seed = seed;
+  }
+}

package/src/prng.ts

@@ -0,0 +1,54 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+/**
+ * Simple Linear Congruential Generator (LCG) for pseudo-random number generation.
+ * Returns numbers in the range [0, 1) (0 inclusive, 1 exclusive).
+ */
+export class SimplePRNG {
+  private _seed: number;
+
+  // LCG parameters (from Numerical Recipes)
+  private static readonly _a = 1664525;
+  private static readonly _c = 1013904223;
+  private static readonly _m = Math.pow(2, 32);
+
+  /**
+   * Creates a new PRNG instance.
+   * @param seed - Initial seed value. If not provided, uses current timestamp.
+   */
+  constructor(seed?: number) {
+    this._seed = seed ?? Date.now();
+  }
+
+  /**
+   * Generates the next pseudo-random number in the range [0, 1).
+   * @returns A pseudo-random number between 0 (inclusive) and 1 (exclusive).
+   */
+  next(): number {
+    // Update seed using LCG formula: (a * seed + c) mod m
+    this._seed = (SimplePRNG._a * this._seed + SimplePRNG._c) % SimplePRNG._m;
+
+    // Normalize to [0, 1) range
+    return this._seed / SimplePRNG._m;
+  }
+
+  /**
+   * Resets the generator with a new seed.
+   * @param seed - New seed value.
+   */
+  reset(seed: number): void {
+    this._seed = seed;
+  }
+}
+
+/**
+ * Creates a simple PRNG function with optional seed.
+ * @param seed - Optional seed value.
+ * @returns A function that returns pseudo-random numbers in [0, 1).
+ */
+export const createPRNG = (seed?: number): (() => number) => {
+  const prng = new SimplePRNG(seed);
+  return () => prng.next();
+};

package/src/space-id.ts

@@ -4,7 +4,7 @@
 
 import base32Decode from 'base32-decode';
 import base32Encode from 'base32-encode';
-import { Schema } from 'effect';
+import * as Schema from 'effect/Schema';
 
 import { invariant } from '@dxos/invariant';