@dxos/keys 0.8.4-main.fd6878d → 0.8.4-main.fdfb99ef29

package/package.json

@@ -1,9 +1,13 @@
 {
   "name": "@dxos/keys",
-  "version": "0.8.4-main.fd6878d",
+  "version": "0.8.4-main.fdfb99ef29",
   "description": "Key utils and definitions.",
   "homepage": "https://dxos.org",
   "bugs": "https://github.com/dxos/dxos/issues",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/dxos/dxos"
+  },
   "license": "MIT",
   "author": "DXOS.org",
   "sideEffects": false,
@@ -17,23 +21,23 @@
     }
   },
   "types": "dist/types/src/index.d.ts",
-  "typesVersions": {
-    "*": {}
-  },
   "files": [
     "dist",
     "src"
   ],
   "dependencies": {
-    "effect": "3.17.7",
     "ulidx": "^2.3.0",
-    "@dxos/debug": "0.8.4-main.fd6878d",
-    "@dxos/node-std": "0.8.4-main.fd6878d",
-    "@dxos/invariant": "0.8.4-main.fd6878d"
+    "@dxos/invariant": "0.8.4-main.fdfb99ef29",
+    "@dxos/node-std": "0.8.4-main.fdfb99ef29",
+    "@dxos/debug": "0.8.4-main.fdfb99ef29"
   },
   "devDependencies": {
     "base32-decode": "^1.0.0",
-    "base32-encode": "^2.0.0"
+    "base32-encode": "^2.0.0",
+    "effect": "3.20.0"
+  },
+  "peerDependencies": {
+    "effect": "3.20.0"
   },
   "publishConfig": {
     "access": "public"

package/src/dxn.ts

@@ -2,10 +2,9 @@
 // Copyright 2024 DXOS.org
 //
 
+import * as Schema from 'effect/Schema';
 import type { InspectOptionsStylized, inspect } from 'node:util';
 
-import { Schema } from 'effect';
-
 import { type DevtoolsFormatter, devtoolsFormatter, inspectCustom } from '@dxos/debug';
 import { assertArgument, invariant } from '@dxos/invariant';
 
@@ -29,6 +28,12 @@ export const QueueSubspaceTags = Object.freeze({
 
 export type QueueSubspaceTag = (typeof QueueSubspaceTags)[keyof typeof QueueSubspaceTags];
 
+// TODO(burdon): Refactor.
+// Consider: https://github.com/multiformats/multiaddr
+// dxn:echo:[<space-id>:[<queue-id>:]]<object-id>
+// dxn:echo:[S/<space-id>:[Q/<queue-id>:]]<object-id>
+// dxn:type:org.dxos.markdown.contact
+
 /**
  * DXN unambiguously names a resource like an ECHO object, schema definition, plugin, etc.
  * Each DXN starts with a dxn prefix, followed by a resource kind.
@@ -41,8 +46,8 @@ export type QueueSubspaceTag = (typeof QueueSubspaceTags)[keyof typeof QueueSubs
  * dxn:echo:<space key>:<echo id>
  * dxn:echo:BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE:01J00J9B45YHYSGZQTQMSKMGJ6
  * dxn:echo:@:01J00J9B45YHYSGZQTQMSKMGJ6
- * dxn:type:dxos.org/type/Calendar
- * dxn:plugin:dxos.org/agent/plugin/functions
+ * dxn:type:org.dxos.type.calendar
+ * dxn:plugin:org.dxos.agent.plugin.functions
  * ```
  */
 export class DXN {
@@ -51,11 +56,11 @@ export class DXN {
   static Schema = Schema.NonEmptyString.pipe(
     Schema.pattern(/^dxn:([^:]+):(?:[^:]+:?)+[^:]$/),
     // TODO(dmaretskyi): To set the format we need to move the annotation IDs out of the echo-schema package.
-    // FormatAnnotation.set(FormatEnum.DXN),
+    // FormatAnnotation.set(TypeFormat.DXN),
     Schema.annotations({
       title: 'DXN',
       description: 'DXN URI',
-      examples: ['dxn:type:example.com/type/MyType', 'dxn:echo:@:01J00J9B45YHYSGZQTQMSKMGJ6'],
+      examples: ['dxn:type:com.example.type.my-type', 'dxn:echo:@:01J00J9B45YHYSGZQTQMSKMGJ6'],
     }),
   );
 
@@ -68,16 +73,16 @@ export class DXN {
    */
   static kind = Object.freeze({
     /**
-     * dxn:type:<type name>[:<version>]
+     * dxn:type:<type_name>[:<version>]
      */
     TYPE: 'type',
 
     /**
-     * dxn:echo:<space id>:<echo id>
-     * dxn:echo:@:<echo id>
+     * dxn:echo:<space_id>:<echo_id>
+     * dxn:echo:@:<echo_id>
      */
-    // TODO(burdon): Rename to OBJECT? (BREAKING CHANGE).
-    // TODO(burdon): Add separate Kind for space.
+    // TODO(burdon): Rename to OBJECT? (BREAKING CHANGE to update "echo").
+    // TODO(burdon): Add separate Kind for space?
     ECHO: 'echo',
 
     /**
@@ -89,14 +94,19 @@ export class DXN {
     QUEUE: 'queue',
   });
 
-  get kind() {
-    return this.#kind;
-  }
-
+  /**
+   * Exactly equals.
+   */
   static equals(a: DXN, b: DXN): boolean {
     return a.kind === b.kind && a.parts.length === b.parts.length && a.parts.every((part, i) => part === b.parts[i]);
   }
 
+  static equalsEchoId(a: DXN, b: DXN): boolean {
+    const a1 = a.asEchoDXN();
+    const b1 = b.asEchoDXN();
+    return !!a1 && !!b1 && a1.echoId === b1.echoId;
+  }
+
   // TODO(burdon): Rename isValid.
   static isDXNString(dxn: string): boolean {
     return dxn.startsWith('dxn:');
@@ -129,14 +139,14 @@ export class DXN {
   }
 
   /**
-   * @example `dxn:type:example.com/type/Contact`
+   * @example `dxn:type:com.example.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:com.example.type.person:0.1.0`
    */
   // TODO(dmaretskyi): Consider using @ as the version separator.
   static fromTypenameAndVersion(typename: string, version: string): DXN {
@@ -148,7 +158,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]);
   }
 
@@ -156,14 +166,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] : [])]);
   }
@@ -172,9 +182,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}`,
     );
 
@@ -182,12 +193,12 @@ export class DXN {
     switch (kind) {
       case DXN.kind.TYPE:
         if (parts.length > 2) {
-          throw new Error('Invalid "type" DXN');
+          throw new Error('Invalid DXN.kind.TYPE');
         }
         break;
       case DXN.kind.ECHO:
         if (parts.length !== 2) {
-          throw new Error('Invalid "echo" DXN');
+          throw new Error('Invalid DXN.kind.ECHO');
         }
         break;
     }
@@ -225,6 +236,10 @@ export class DXN {
     };
   }
 
+  get kind() {
+    return this.#kind;
+  }
+
   get parts() {
     return this.#parts;
   }
@@ -235,6 +250,10 @@ export class DXN {
     return this.#parts[0];
   }
 
+  equals(other: DXN): boolean {
+    return DXN.equals(this, other);
+  }
+
   hasTypenameOf(typename: string): boolean {
     return this.#kind === DXN.kind.TYPE && this.#parts.length === 1 && this.#parts[0] === typename;
   }
@@ -264,6 +283,7 @@ export class DXN {
     const [spaceId, echoId] = this.#parts;
     return {
       spaceId: spaceId === LOCAL_SPACE_TAG ? undefined : (spaceId as SpaceId | undefined),
+      // TODO(burdon): objectId.
       echoId,
     };
   }
@@ -279,7 +299,7 @@ export class DXN {
     }
 
     return {
-      subspaceTag,
+      subspaceTag: subspaceTag as QueueSubspaceTag,
       spaceId: spaceId as SpaceId,
       queueId,
       objectId: objectId as string | undefined,
@@ -294,33 +314,18 @@ export class DXN {
   }
 }
 
-// TODO(dmaretskyi): Fluent API:
-/*
-class DXN {
-  ...
-isEchoDXN(): this is EchoDXN {
-  return this.#kind === DXN.kind.ECHO;
-}
-...
-}
-
-interface EchoDXN extends DXN {
-  objectId: ObjectId;
-}
-
-declare const dxn: DXN;
-
-dxn.objectId
-
-if(dxn.isEchoDXN()) {
-  dxn.objectId
-}
-  ```
-
 /**
  * API namespace.
  */
 export declare namespace DXN {
+  /**
+   * DXN represented as a javascript string.
+   */
+  // TODO(burdon): Use Effect branded string?
+  // export const String = S.String.pipe(S.brand('DXN'));
+  // export type String = S.To(typoeof String);
+  export type String = string & { __DXNString: never };
+
   export type TypeDXN = {
     type: string;
     version?: string;
@@ -332,17 +337,9 @@ export declare namespace DXN {
   };
 
   export type QueueDXN = {
-    subspaceTag: string;
+    subspaceTag: QueueSubspaceTag;
     spaceId: SpaceId;
     queueId: string; // TODO(dmaretskyi): ObjectId.
     objectId?: string; // TODO(dmaretskyi): ObjectId.
   };
-
-  /**
-   * DXN represented as a javascript string.
-   */
-  export type String = string & { __DXNString: never };
-  // TODO(burdon): Make brand.
-  // export const String = S.String.pipe(S.brand('DXN'));
-  // export type String = S.To(typoeof String);
 }

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/public-key.ts

@@ -2,10 +2,9 @@
 // Copyright 2020 DXOS.org
 //
 
-import { type InspectOptionsStylized, type inspect } from 'node:util';
-
 import base32Decode from 'base32-decode';
 import base32Encode from 'base32-encode';
+import { type InspectOptionsStylized, type inspect } from 'node:util';
 
 import {
   type DevtoolsFormatter,
@@ -217,7 +216,7 @@ export class PublicKey implements Equatable {
     return 'B' + base32Encode(this._value, 'RFC4648');
   }
 
-  truncate(length = undefined): string {
+  truncate(length?: number): string {
     return truncateKey(this, length);
   }
 

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';
 
@@ -17,7 +17,7 @@ const MULTIBASE_PREFIX = 'B';
 
 const ENCODED_LENGTH = 33;
 
-const isValid = (value: string): value is SpaceId => {
+const isValid = (value: unknown): value is SpaceId => {
   return typeof value === 'string' && value.startsWith(MULTIBASE_PREFIX) && value.length === ENCODED_LENGTH;
 };
 
@@ -33,7 +33,7 @@ export const SpaceId: Schema.Schema<SpaceId, string> & {
   byteLength: number;
   encode: (value: Uint8Array) => SpaceId;
   decode: (value: SpaceId) => Uint8Array;
-  isValid: (value: string) => value is SpaceId;
+  isValid: (value: unknown) => value is SpaceId;
   make: (value: string) => SpaceId;
   random: () => SpaceId;
 } = class extends Schema.String.pipe(Schema.filter(isValid)) {