@dxos/echo 0.8.2-staging.7ac8446 → 0.8.2

package/README.md

@@ -19,3 +19,119 @@ pnpm i @dxos/echo
 Your ideas, issues, and code are most welcome. Please take a look at our [community code of conduct](https://github.com/dxos/dxos/blob/main/CODE_OF_CONDUCT.md), the [issue guide](https://github.com/dxos/dxos/blob/main/CONTRIBUTING.md#submitting-issues), and the [PR contribution guide](https://github.com/dxos/dxos/blob/main/CONTRIBUTING.md#submitting-prs).
 
 License: [MIT](./LICENSE) Copyright 2022 © DXOS
+
+## API
+
+```ts
+import { Type, Obj, Relation, Ref, Query, Filter } from '@dxos/echo';
+```
+
+|                               | Object                          | Relation                                    | Ref             |
+| ----------------------------- | ------------------------------- | ------------------------------------------- | --------------- |
+| **SCHEMA API**                |
+| Define schema                 | `Type.Obj()`                    | `Type.Relation()`                           | `Type.Ref()`    |
+| Any schema type               | `Type.Obj.Any`                  | `Type.Relation.Any`                         | `Type.Ref.Any`  |
+| Get DXN (of schema)           | `Type.getDXN(schema)`           | `Type.getDXN(schema)`                       |                 |
+| Get typename (of schema)      | `Type.getTypename(schema)`      | `Type.getTypename(schema)`                  |                 |
+| Get type metadata (of schema) | `Type.getMeta(schema)`          | `Type.getMeta(schema)`                      |                 |
+| Is mutable schema             | `Type.isMutable(schema)`        | `Type.isMutable(schema)`                    |
+| **DATA API**                  |
+| Any instance type             | `Obj.Any`                       | `Relation.Any`                              | `Ref.Any`       |
+| Create object                 | `Obj.make(Schema, { ... })`     | `Relation.make(Schema, { ... })`            | `Ref.make(obj)` |
+| Check kind                    | `Obj.isObject(x): x is Obj.Any` | `Relation.isRelation(x): x is Relation.Any` | `Ref.isRef(x)`  |
+| Check instance of             | `Obj.instanceOf(Schema, obj)`   | `Obj.instanceOf(Schema, rel)`               |                 |
+| Get schema                    | `Obj.getSchema(obj)`            | `Obj.getSchema(obj)`                        |                 |
+| Get DXN (of instance)         | `Obj.getDXN(obj)`               | `Obj.getDXN(obj)`                           |                 |
+| Get typename (of instance)    | `Obj.getTypename(obj)`          | `Obj.getTypename(obj)`                      |                 |
+| Get Meta                      | `Obj.getMeta(obj)`              | `Obj.getMeta(relation)`                     |                 |
+| Is deleted                    | `Obj.isDeleted(obj)`            | `Obj.isDeleted(obj)`                        |                 |
+| Get relation source           |                                 | `Relation.getSource(relation)`              |
+| Get relation target           |                                 | `Relation.getTarget(relation)`              |                 |
+| Expando                       | `Expando`                       |
+
+```ts
+Type.getDXN(schema) == DXN.parse('dxn:type:example.com/type/Person:0.1.0');
+Type.getMeta(schema) == { typename: }
+Type.getTypename(schema) === 'example.com/type/Person'
+Type.getVersion(schema) === '0.1.0'
+
+Obj.getDXN(obj) === DXN.parse('dxn:echo:SSSSSSSSSS:XXXXXXXXXXXXX')
+
+// We need this for objects that have typename defined, but their schema can't be resolved (Obj.getSchema(obj) === undefined)
+Obj.getSchemaDXN(obj) === DXN.parse('dxn:type:example.com/type/Person:0.1.0');
+
+/**
+ * @deprecated
+ **/
+// TODO(dmaretskyi): Consider keeping it as a shorthand for zType.getTypename(Obj.getSchema(obj)) ?? Obj.getSchemaDXN(obj)?.asTypeDXN()?.type`
+Obj.getTypename(obj) === 'example.com/type/Person'
+```
+
+ISSUE: Create vs live: Is it fundamentally the same thing?
+
+## Object construction
+
+Option 1:
+
+```ts
+Relation.make(EmployeeOf, {
+  [Relation.Source]: cyberdyne,
+  [Relation.Target]: bill,
+  [Obj.Meta]: {
+    keys: [{ url: 'acme.com', id: '123' }],
+  },
+  since: '2022',
+});
+```
+
+Option 2:
+
+```ts
+Obj.make(Contact, {
+  name: 'Bill',
+});
+
+Relation.make(
+  Employee,
+  {
+    source: cyberdyne,
+    target: bill,
+    meta: {
+      keys: [{ url: 'acme.com', id: '123' }],
+    },
+  },
+  {
+    since: '2022',
+  },
+);
+```
+
+## Object model representation.
+
+### JSON serialization
+
+```ts
+Obj.toJSON(obj);
+Obj.fromJSON(json, { graph, db });
+```
+
+Defines attributes and encoding placed on objects.
+
+|                  | Optional               | Runtime prop                        | Runtime type           | JSON prop                   | JSON type | Description                          |
+| ---------------- | ---------------------- | ----------------------------------- | ---------------------- | --------------------------- | --------- | ------------------------------------ |
+| Id               | No                     | `id`                                | `ObjectID` ULID string | `id`                        | string    | Unique object ID                     |
+| Self DXN         | Yes                    | `Symbol(@dxos/echo/Self)`           | `DXN`                  | `@self`                     | string    | DXN to the object itself             |
+| Typename         | No                     | `Symbol(@dxos/echo/Typename)`       | `DXN`                  | `@type`                     | string    | DXN to the object type               |
+| Tombstone marker | Yes                    | `Symbol(@dxos/echo/Deleted)`        | `boolean`              | `@deleted`                  | boolean   | Deletion marker                      |
+| Metadata         | Yes                    | `Symbol(@dxos/echo/Meta)`           | Metadata object        | `@meta`                     | object    | Metadata section                     |
+| Entity kind      | No                     | `Symbol(@dxos/echo/EntityKind)`     | `EntityKind`           | (inferred from other props) | string    | Obj vs Relation                      |
+| Relation Source  | No (only on relations) | `Symbol(@dxos/echo/RelationSource)` | `DXN`                  | `@relationSource`           | string    | Relation source DXN                  |
+| Relation Target  | No (only on relations) | `Symbol(@dxos/echo/RelationTarget)` | `DXN`                  | `@relationTarget`           | string    | Relation target DXN                  |
+| Hypergraph       | Yes                    | `Symbol(@dxos/echo/Hypergraph)`     | `Hypergraph`           | -                           | -         | Pointer to runtime hypergraph object |
+| Database         | Yes                    | `Symbol(@dxos/echo/Database)`       | `Database`             | -                           | -         | Pointer to runtime database object   |
+
+### Value representation
+
+|           | Runtime | JSON                 |
+| --------- | ------- | -------------------- |
+| Reference | `Ref`   | `{ "/": "dxn:..." }` |

package/dist/lib/browser/index.mjs

@@ -5,45 +5,254 @@ var __export = (target, all) => {
     __defProp(target, name, { get: all[name], enumerable: true });
 };
 
-// packages/core/echo/echo/src/index.ts
-import { DXN } from "@dxos/keys";
-
-// packages/core/echo/echo/src/Database.ts
-var Database_exports = {};
-
-// packages/core/echo/echo/src/Queue.ts
-var Queue_exports = {};
-
-// packages/core/echo/echo/src/Space.ts
-var Space_exports = {};
-
 // packages/core/echo/echo/src/Type.ts
 var Type_exports = {};
 __export(Type_exports, {
+  DXN: () => DXN,
+  Expando: () => Expando,
+  Format: () => Format,
+  JsonSchema: () => JsonSchemaType,
   Kind: () => EntityKind,
+  Obj: () => Obj,
   ObjectId: () => ObjectId,
-  Ref: () => Ref,
-  create: () => create,
-  def: () => def,
-  getDXN: () => getSchemaDXN,
-  getMeta: () => getTypeAnnotation,
-  getSchema: () => getSchema,
-  getTypename: () => getSchemaTypename,
-  getVersion: () => getSchemaVersion,
-  instanceOf: () => isInstanceOf,
-  ref: () => ref
+  Ref: () => Ref2,
+  Relation: () => Relation,
+  SpaceId: () => SpaceId,
+  getDXN: () => getDXN,
+  getMeta: () => getMeta,
+  getTypename: () => getTypename,
+  getVersion: () => getVersion,
+  isMutable: () => isMutable2,
+  toJsonSchema: () => toJsonSchema
+});
+import * as EchoSchema from "@dxos/echo-schema";
+import { invariant } from "@dxos/invariant";
+import { EntityKind } from "@dxos/echo-schema";
+import { SpaceId, ObjectId, DXN } from "@dxos/keys";
+import {
+  Expando,
+  JsonSchemaType,
+  toJsonSchema,
+  Format
+} from "@dxos/echo-schema";
+var __dxlog_file = "/home/runner/work/dxos/dxos/packages/core/echo/echo/src/Type.ts";
+var Obj = EchoSchema.EchoObject;
+var Relation = EchoSchema.EchoRelation;
+var Ref2 = EchoSchema.Ref;
+var getDXN = (schema) => {
+  return EchoSchema.getSchemaDXN(schema);
+};
+var getTypename = (schema) => {
+  const typename = EchoSchema.getSchemaTypename(schema);
+  invariant(typeof typename === "string" && !typename.startsWith("dxn:"), "Invalid typename", {
+    F: __dxlog_file,
+    L: 84,
+    S: void 0,
+    A: [
+      "typeof typename === 'string' && !typename.startsWith('dxn:')",
+      "'Invalid typename'"
+    ]
+  });
+  return typename;
+};
+var getVersion = (schema) => {
+  const version = EchoSchema.getSchemaVersion(schema);
+  invariant(typeof version === "string" && version.match(/^\d+\.\d+\.\d+$/), "Invalid version", {
+    F: __dxlog_file,
+    L: 94,
+    S: void 0,
+    A: [
+      "typeof version === 'string' && version.match(/^\\d+\\.\\d+\\.\\d+$/)",
+      "'Invalid version'"
+    ]
+  });
+  return version;
+};
+var getMeta = (schema) => {
+  return EchoSchema.getTypeAnnotation(schema);
+};
+var isMutable2 = (schema) => {
+  return EchoSchema.isMutable(schema);
+};
+
+// packages/core/echo/echo/src/Obj.ts
+var Obj_exports = {};
+__export(Obj_exports, {
+  getDXN: () => getDXN3,
+  getMeta: () => getMeta3,
+  getSchema: () => getSchema2,
+  getSchemaDXN: () => getSchemaDXN2,
+  getTypename: () => getTypename3,
+  instanceOf: () => instanceOf,
+  isDeleted: () => isDeleted2,
+  isObject: () => isObject,
+  make: () => make
+});
+import { Schema } from "effect";
+import * as EchoSchema2 from "@dxos/echo-schema";
+import { assertArgument, invariant as invariant2 } from "@dxos/invariant";
+import * as LiveObject from "@dxos/live-object";
+var __dxlog_file2 = "/home/runner/work/dxos/dxos/packages/core/echo/echo/src/Obj.ts";
+var make = LiveObject.live;
+var isObject = (obj) => {
+  return LiveObject.isLiveObject(obj);
+};
+var instanceOf = (...args) => {
+  if (args.length === 1) {
+    return (obj) => EchoSchema2.isInstanceOf(args[0], obj);
+  }
+  return EchoSchema2.isInstanceOf(args[0], args[1]);
+};
+var getSchema2 = EchoSchema2.getSchema;
+var getDXN3 = (obj) => {
+  assertArgument(!Schema.isSchema(obj), "Object should not be a schema.");
+  const dxn = EchoSchema2.getDXN(obj);
+  invariant2(dxn != null, "Invalid object.", {
+    F: __dxlog_file2,
+    L: 48,
+    S: void 0,
+    A: [
+      "dxn != null",
+      "'Invalid object.'"
+    ]
+  });
+  return dxn;
+};
+var getSchemaDXN2 = (obj) => {
+  const type = EchoSchema2.getType(obj);
+  invariant2(type != null, "Invalid object.", {
+    F: __dxlog_file2,
+    L: 58,
+    S: void 0,
+    A: [
+      "type != null",
+      "'Invalid object.'"
+    ]
+  });
+  return type;
+};
+var getTypename3 = (obj) => {
+  const schema = getSchema2(obj);
+  if (schema == null) {
+    return getSchemaDXN2(obj)?.asTypeDXN()?.type;
+  }
+  return EchoSchema2.getTypename(schema);
+};
+var getMeta3 = (obj) => {
+  const meta = EchoSchema2.getMeta(obj);
+  invariant2(meta != null, "Invalid object.", {
+    F: __dxlog_file2,
+    L: 78,
+    S: void 0,
+    A: [
+      "meta != null",
+      "'Invalid object.'"
+    ]
+  });
+  return meta;
+};
+var isDeleted2 = (obj) => {
+  const deleted = EchoSchema2.isDeleted(obj);
+  invariant2(typeof deleted === "boolean", "Invalid object.", {
+    F: __dxlog_file2,
+    L: 84,
+    S: void 0,
+    A: [
+      "typeof deleted === 'boolean'",
+      "'Invalid object.'"
+    ]
+  });
+  return deleted;
+};
+
+// packages/core/echo/echo/src/Relation.ts
+var Relation_exports = {};
+__export(Relation_exports, {
+  getSource: () => getSource,
+  getTarget: () => getTarget,
+  isRelation: () => isRelation,
+  make: () => make2
 });
-import { EchoObject, EntityKind, ObjectId, Ref as Ref$, getTypeAnnotation, getSchema, getSchemaDXN, getSchemaTypename, getSchemaVersion, isInstanceOf } from "@dxos/echo-schema";
-import { create as create$, makeRef } from "@dxos/live-object";
-var ref = makeRef;
-var create = create$;
-var def = (meta) => EchoObject(meta);
-var Ref = (self) => Ref$(self);
+import * as EchoSchema3 from "@dxos/echo-schema";
+import { invariant as invariant3 } from "@dxos/invariant";
+import * as LiveObject2 from "@dxos/live-object";
+var __dxlog_file3 = "/home/runner/work/dxos/dxos/packages/core/echo/echo/src/Relation.ts";
+var make2 = LiveObject2.live;
+var isRelation = (value) => {
+  if (typeof value !== "object" || value === null) {
+    return false;
+  }
+  if (EchoSchema3.ATTR_RELATION_SOURCE in value || EchoSchema3.ATTR_RELATION_TARGET in value) {
+    return true;
+  }
+  const kind = value[EchoSchema3.EntityKindPropertyId];
+  return kind === EchoSchema3.EntityKind.Relation;
+};
+var getSource = (relation) => {
+  invariant3(isRelation(relation), void 0, {
+    F: __dxlog_file3,
+    L: 30,
+    S: void 0,
+    A: [
+      "isRelation(relation)",
+      ""
+    ]
+  });
+  const obj = relation[EchoSchema3.RelationSourceId];
+  invariant3(obj !== void 0, `Invalid source: ${relation.id}`, {
+    F: __dxlog_file3,
+    L: 32,
+    S: void 0,
+    A: [
+      "obj !== undefined",
+      "`Invalid source: ${relation.id}`"
+    ]
+  });
+  return obj;
+};
+var getTarget = (relation) => {
+  invariant3(isRelation(relation), void 0, {
+    F: __dxlog_file3,
+    L: 41,
+    S: void 0,
+    A: [
+      "isRelation(relation)",
+      ""
+    ]
+  });
+  const obj = relation[EchoSchema3.RelationTargetId];
+  invariant3(obj !== void 0, `Invalid target: ${relation.id}`, {
+    F: __dxlog_file3,
+    L: 43,
+    S: void 0,
+    A: [
+      "obj !== undefined",
+      "`Invalid target: ${relation.id}`"
+    ]
+  });
+  return obj;
+};
+
+// packages/core/echo/echo/src/Ref.ts
+var Ref_exports = {};
+__export(Ref_exports, {
+  fromDXN: () => fromDXN,
+  isRef: () => isRef,
+  make: () => make3
+});
+import * as EchoSchema4 from "@dxos/echo-schema";
+var make3 = EchoSchema4.Ref.make;
+var isRef = EchoSchema4.Ref.isRef;
+var fromDXN = EchoSchema4.Ref.fromDXN;
+
+// packages/core/echo/echo/src/index.ts
+import { Filter, Query } from "@dxos/echo-schema";
 export {
-  DXN,
-  Database_exports as Database,
-  Queue_exports as Queue,
-  Space_exports as Space,
+  Filter,
+  Obj_exports as Obj,
+  Query,
+  Ref_exports as Ref,
+  Relation_exports as Relation,
   Type_exports as Type
 };
 //# sourceMappingURL=index.mjs.map

package/dist/lib/browser/index.mjs.map

@@ -1,7 +1,7 @@
 {
   "version": 3,
-  "sources": ["../../../src/index.ts", "../../../src/Database.ts", "../../../src/Queue.ts", "../../../src/Space.ts", "../../../src/Type.ts"],
-  "sourcesContent": ["//\n// Copyright 2025 DXOS.org\n//\n\nimport { DXN } from '@dxos/keys';\n\nexport { DXN };\n\nexport * as Database from './Database';\nexport * as Queue from './Queue';\nexport * as Space from './Space';\nexport * as Type from './Type';\n", "//\n// Copyright 2025 DXOS.org\n//\n\n/**\n * Database API.\n *\n * @category api namespace\n * @since 0.9.0\n */\nexport declare namespace Database {}\n", "//\n// Copyright 2025 DXOS.org\n//\n\n/**\n * Queue API.\n *\n * @category api namespace\n * @since 0.9.0\n */\nexport declare namespace Queue {}\n", "//\n// Copyright 2025 DXOS.org\n//\n\n/**\n * Space API.\n *\n * @category api namespace\n * @since 0.9.0\n */\nexport declare namespace Space {}\n", "//\n// Copyright 2025 DXOS.org\n//\n\nimport { type Schema } from 'effect';\n\nimport {\n  type BaseSchema,\n  type EchoSchema,\n  type Expando as Expando$,\n  type ImmutableSchema,\n  type JsonSchemaType,\n  type TypeMeta,\n  EchoObject,\n  EntityKind,\n  ObjectId,\n  Ref as Ref$,\n  getTypeAnnotation,\n  getSchema,\n  getSchemaDXN,\n  getSchemaTypename,\n  getSchemaVersion,\n  isInstanceOf,\n} from '@dxos/echo-schema';\nimport { create as create$, makeRef } from '@dxos/live-object';\n\n// NOTES:\n// - New Echo package and namespaces allow for incremental migration; vastly simplifies imports.\n// - Split into separate ECHO namespaces: Database, Space, Type, Query, Queue.\n//  - Example; import { Database, Type, Query, Queue } from '@dxos/echo';\n// - Use `declare namespace` for types (no code is generated). See Effect pattern, where Schema is a namespace, interface, and function.\n// - Test with @dxos/schema/testing types.\n// - Define user (Composer) types in namespace (e.g., of plugin) and drop Type suffix; remove all deprecated Braneframe types.\n\nexport type { TypeMeta as Meta, JsonSchemaType as JsonSchema };\nexport {\n  EntityKind as Kind,\n  ObjectId,\n  getTypeAnnotation as getMeta,\n  getSchema,\n  getSchemaDXN as getDXN,\n  getSchemaTypename as getTypename,\n  getSchemaVersion as getVersion,\n  isInstanceOf as instanceOf,\n};\n\n/**\n * Type API.\n *\n * @category api namespace\n * @since 0.9.0\n */\nexport declare namespace Type {\n  /**\n   * A schema that can be extended with arbitrary properties.\n   */\n  export type Expando = Expando$;\n\n  export type Abstract<T = any> = BaseSchema<T>;\n  export type ImmutableType<T> = ImmutableSchema<T>;\n  export type MutableType<T> = EchoSchema<T>;\n}\n\n//\n// Constructors\n//\n\nexport const ref = makeRef;\nexport const create = create$;\n\n//\n// Combinators\n//\n\n/**\n * Defines an ECHO type.\n *\n * @example\n * ```ts\n * const Org = S.Struct({\n *   name: S.String,\n * }).pipe(Type.def({ typename: 'example.com/type/Org', version: '1.0.0' }));\n * ```\n */\nexport const def = (meta: TypeMeta) => EchoObject(meta);\n\n/**\n * Defines a reference to an ECHO object.\n *\n * @example\n * ```ts\n * import { Type } from '@dxos/echo';\n * const Contact = S.Struct({\n *   name: S.String,\n *   employer: Type.Ref(Org),\n * }).pipe(Type.def({ typename: 'example.com/type/Contact', version: '1.0.0' }));\n * ```\n */\nexport const Ref = <S extends Schema.Schema.AnyNoContext>(self: S) => Ref$<Schema.Schema.Type<S>>(self);\n"],
-  "mappings": ";;;;;;;;AAIA,SAASA,WAAW;;;ACJpB;;;ACAA;;;ACAA;;;ACAA;;;;;;;;;;;;;;;AAMA,SAOEC,YACAC,YACAC,UACAC,OAAOC,MACPC,mBACAC,WACAC,cACAC,mBACAC,kBACAC,oBACK;AACP,SAASC,UAAUC,SAASC,eAAe;AA2CpC,IAAMC,MAAMC;AACZ,IAAMC,SAASC;AAgBf,IAAMC,MAAM,CAACC,SAAmBC,WAAWD,IAAAA;AAc3C,IAAME,MAAM,CAAuCC,SAAYC,KAA4BD,IAAAA;",
-  "names": ["DXN", "EchoObject", "EntityKind", "ObjectId", "Ref", "Ref$", "getTypeAnnotation", "getSchema", "getSchemaDXN", "getSchemaTypename", "getSchemaVersion", "isInstanceOf", "create", "create$", "makeRef", "ref", "makeRef", "create", "create$", "def", "meta", "EchoObject", "Ref", "self", "Ref$"]
+  "sources": ["../../../src/Type.ts", "../../../src/Obj.ts", "../../../src/Relation.ts", "../../../src/Ref.ts", "../../../src/index.ts"],
+  "sourcesContent": ["//\n// Copyright 2025 DXOS.org\n//\n\nimport { type Schema } from 'effect';\n\nimport type { EncodedReference } from '@dxos/echo-protocol';\nimport * as EchoSchema from '@dxos/echo-schema';\nimport { invariant } from '@dxos/invariant';\nimport type * as Keys from '@dxos/keys';\n\n/**\n * ECHO schema.\n */\nexport type Schema = EchoSchema.EchoSchema;\n\n/**\n * EchoObject schema.\n */\nexport const Obj = EchoSchema.EchoObject;\n\n/**\n * EchoRelation schema.\n */\nexport const Relation = EchoSchema.EchoRelation;\n\n/**\n * Ref schema.\n */\nexport const Ref: <S extends Obj.Any>(schema: S) => EchoSchema.Ref$<Schema.Schema.Type<S>> = EchoSchema.Ref;\n\nexport namespace Obj {\n  /**\n   * Type that represents an arbitrary schema type of an object.\n   * NOTE: This is not an instance type.\n   */\n  // TODO(dmaretskyi): If schema was covariant, we could specify props in here, like `id: ObjectId`.\n  export type Any = Schema.Schema.AnyNoContext;\n}\n\nexport namespace Relation {\n  /**\n   * Type that represents an arbitrary schema type of a relation.\n   * NOTE: This is not an instance type.\n   */\n  // TODO(dmaretskyi): If schema was covariant, we could specify props in here, like `id: ObjectId`.\n  export type Any = Schema.Schema.AnyNoContext;\n\n  /**\n   * Get relation target type.\n   */\n  export type Target<A> = A extends EchoSchema.RelationSourceTargetRefs<infer T, infer _S> ? T : never;\n\n  /**\n   * Get relation source type.\n   */\n  export type Source<A> = A extends EchoSchema.RelationSourceTargetRefs<infer _T, infer S> ? S : never;\n}\n\nexport namespace Ref {\n  /**\n   * Type that represents an arbitrary schema type of a reference.\n   * NOTE: This is not an instance type.\n   */\n  export type Any = Schema.Schema<EchoSchema.Ref<any>, EncodedReference>;\n}\n\n/**\n * Gets the full DXN of the schema.\n * Will include the version if it's a `type` DXN.\n * @example \"dxn:example.com/type/Person:0.1.0\"\n * @example \"dxn:echo:SSSSSSSSSS:XXXXXXXXXXXXX\"\n */\nexport const getDXN = (schema: Obj.Any | Relation.Any): Keys.DXN | undefined => {\n  return EchoSchema.getSchemaDXN(schema);\n};\n\n/**\n * @param schema - Schema to get the typename from.\n * @returns The typename of the schema. Example: `example.com/type/Person`.\n */\nexport const getTypename = (schema: Obj.Any | Relation.Any): string => {\n  const typename = EchoSchema.getSchemaTypename(schema);\n  invariant(typeof typename === 'string' && !typename.startsWith('dxn:'), 'Invalid typename');\n  return typename;\n};\n\n/**\n * Gets the version of the schema.\n * @example 0.1.0\n */\nexport const getVersion = (schema: Obj.Any | Relation.Any): string => {\n  const version = EchoSchema.getSchemaVersion(schema);\n  invariant(typeof version === 'string' && version.match(/^\\d+\\.\\d+\\.\\d+$/), 'Invalid version');\n  return version;\n};\n\n/**\n * ECHO type metadata.\n */\nexport type Meta = EchoSchema.TypeAnnotation;\n\n/**\n * Gets the meta data of the schema.\n */\nexport const getMeta = (schema: Obj.Any | Relation.Any): Meta | undefined => {\n  return EchoSchema.getTypeAnnotation(schema);\n};\n\nexport { EntityKind as Kind } from '@dxos/echo-schema';\n\n/**\n * @returns True if the schema is mutable.\n */\nexport const isMutable = (schema: Obj.Any | Relation.Any): boolean => {\n  return EchoSchema.isMutable(schema);\n};\n\nexport { SpaceId, ObjectId, DXN } from '@dxos/keys';\n\nexport {\n  //\n  Expando,\n  JsonSchemaType as JsonSchema,\n  toJsonSchema,\n  Format,\n} from '@dxos/echo-schema';\n", "//\n// Copyright 2025 DXOS.org\n//\n\nimport { Schema } from 'effect';\n\nimport * as EchoSchema from '@dxos/echo-schema';\nimport { assertArgument, invariant } from '@dxos/invariant';\nimport type { DXN } from '@dxos/keys';\nimport * as LiveObject from '@dxos/live-object';\n\nimport type * as Type from './Type';\n\nexport type Any = EchoSchema.AnyEchoObject;\n\nexport const make = LiveObject.live;\n\n// TODO(dmaretskyi): Currently broken\nexport const isObject = (obj: unknown): obj is Any => {\n  return LiveObject.isLiveObject(obj);\n};\n\n/**\n * Check that object or relation is an instance of a schema.\n * @example\n * ```ts\n * const person = Obj.make(Person, { name: 'John' });\n * const isPerson = Obj.instanceOf(Person);\n * isPerson(person); // true\n * ```\n */\nexport const instanceOf: {\n  <S extends Type.Relation.Any | Type.Obj.Any>(schema: S): (value: unknown) => value is S;\n  <S extends Type.Relation.Any | Type.Obj.Any>(schema: S, value: unknown): value is S;\n} = ((...args: any[]) => {\n  if (args.length === 1) {\n    return (obj: unknown) => EchoSchema.isInstanceOf(args[0], obj);\n  }\n\n  return EchoSchema.isInstanceOf(args[0], args[1]);\n}) as any;\n\nexport const getSchema = EchoSchema.getSchema;\n\nexport const getDXN = (obj: Any): DXN => {\n  assertArgument(!Schema.isSchema(obj), 'Object should not be a schema.');\n  const dxn = EchoSchema.getDXN(obj);\n  invariant(dxn != null, 'Invalid object.');\n  return dxn;\n};\n\n/**\n * @returns The DXN of the object's type.\n * @example dxn:example.com/type/Contact:1.0.0\n */\nexport const getSchemaDXN = (obj: Any): DXN => {\n  const type = EchoSchema.getType(obj);\n  invariant(type != null, 'Invalid object.');\n  return type;\n};\n\n/**\n * @returns The typename of the object's type.\n * @example `example.com/type/Contact`\n */\nexport const getTypename = (obj: Any): string | undefined => {\n  const schema = getSchema(obj);\n  if (schema == null) {\n    // Try to extract typename from DXN.\n    return getSchemaDXN(obj)?.asTypeDXN()?.type;\n  }\n\n  return EchoSchema.getTypename(schema);\n};\n\nexport const getMeta = (obj: Any): EchoSchema.ObjectMeta => {\n  const meta = EchoSchema.getMeta(obj);\n  invariant(meta != null, 'Invalid object.');\n  return meta;\n};\n\nexport const isDeleted = (obj: Any): boolean => {\n  const deleted = EchoSchema.isDeleted(obj);\n  invariant(typeof deleted === 'boolean', 'Invalid object.');\n  return deleted;\n};\n", "//\n// Copyright 2025 DXOS.org\n//\n\nimport * as EchoSchema from '@dxos/echo-schema';\nimport { invariant } from '@dxos/invariant';\nimport * as LiveObject from '@dxos/live-object';\n\nexport type Any = EchoSchema.AnyEchoObject & EchoSchema.RelationSourceTargetRefs;\n\nexport const make = LiveObject.live;\n\nexport const isRelation = (value: unknown): value is Any => {\n  if (typeof value !== 'object' || value === null) {\n    return false;\n  }\n  if (EchoSchema.ATTR_RELATION_SOURCE in value || EchoSchema.ATTR_RELATION_TARGET in value) {\n    return true;\n  }\n\n  const kind = (value as any)[EchoSchema.EntityKindPropertyId];\n  return kind === EchoSchema.EntityKind.Relation;\n};\n\n/**\n * @returns Relation source.\n * @throws If the object is not a relation.\n */\nexport const getSource = <T extends Any>(relation: T): EchoSchema.RelationSource<T> => {\n  invariant(isRelation(relation));\n  const obj = relation[EchoSchema.RelationSourceId];\n  invariant(obj !== undefined, `Invalid source: ${relation.id}`);\n  return obj;\n};\n\n/**\n * @returns Relation target.\n * @throws If the object is not a relation.\n */\nexport const getTarget = <T extends Any>(relation: T): EchoSchema.RelationTarget<T> => {\n  invariant(isRelation(relation));\n  const obj = relation[EchoSchema.RelationTargetId];\n  invariant(obj !== undefined, `Invalid target: ${relation.id}`);\n  return obj;\n};\n", "//\n// Copyright 2025 DXOS.org\n//\n\nimport * as EchoSchema from '@dxos/echo-schema';\n\nimport type * as Obj from './Obj';\n\nexport type Any = EchoSchema.Ref<Obj.Any>;\n\nexport const make = EchoSchema.Ref.make;\n\nexport const isRef: (value: unknown) => value is Any = EchoSchema.Ref.isRef;\n\n// TODO(dmaretskyi): Consider just allowing `make` to accept DXN.\nexport const fromDXN = EchoSchema.Ref.fromDXN;\n\n/**\n * Extract reference target.\n */\nexport type Target<R extends Any> = R extends EchoSchema.Ref<infer T> ? T : never;\n", "//\n// Copyright 2025 DXOS.org\n//\n\nexport * as Type from './Type';\nexport * as Obj from './Obj';\nexport * as Relation from './Relation';\nexport * as Ref from './Ref';\n\nexport { type Live } from '@dxos/live-object';\nexport { Filter, Query } from '@dxos/echo-schema';\n"],
+  "mappings": ";;;;;;;;AAAA;;;;;;;;;aAAAA;EAAA;;;;;;mBAAAC;EAAA;;AAOA,YAAYC,gBAAgB;AAC5B,SAASC,iBAAiB;AAqG1B,SAAuBC,kBAAY;AASnC,SAASC,SAASC,UAAUC,WAAW;AAEvC;EAEEC;EACkBC;EAClBC;EACAC;OACK;;AA3GA,IAAMC,MAAiBC;AAKvB,IAAMC,WAAsBC;AAK5B,IAAMf,OAA2FA;AA4CjG,IAAMgB,SAAS,CAACC,WAAAA;AACrB,SAAkBC,wBAAaD,MAAAA;AACjC;AAMO,IAAME,cAAc,CAACF,WAAAA;AAC1B,QAAMG,WAAsBC,6BAAkBJ,MAAAA;AAC9Cd,YAAU,OAAOiB,aAAa,YAAY,CAACA,SAASE,WAAW,MAAA,GAAS,oBAAA;;;;;;;;;AACxE,SAAOF;AACT;AAMO,IAAMG,aAAa,CAACN,WAAAA;AACzB,QAAMO,UAAqBC,4BAAiBR,MAAAA;AAC5Cd,YAAU,OAAOqB,YAAY,YAAYA,QAAQE,MAAM,iBAAA,GAAoB,mBAAA;;;;;;;;;AAC3E,SAAOF;AACT;AAUO,IAAMG,UAAU,CAACV,WAAAA;AACtB,SAAkBW,6BAAkBX,MAAAA;AACtC;AAOO,IAAMhB,aAAY,CAACgB,WAAAA;AACxB,SAAkBhB,qBAAUgB,MAAAA;AAC9B;;;ACpHA;;gBAAAY;EAAA,eAAAC;EAAA,iBAAAC;EAAA,oBAAAC;EAAA,mBAAAC;EAAA;mBAAAC;EAAA;;;AAIA,SAASC,cAAc;AAEvB,YAAYC,iBAAgB;AAC5B,SAASC,gBAAgBC,aAAAA,kBAAiB;AAE1C,YAAYC,gBAAgB;;AAMrB,IAAMC,OAAkBC;AAGxB,IAAMC,WAAW,CAACC,QAAAA;AACvB,SAAkBC,wBAAaD,GAAAA;AACjC;AAWO,IAAME,aAGR,IAAIC,SAAAA;AACP,MAAIA,KAAKC,WAAW,GAAG;AACrB,WAAO,CAACJ,QAA4BK,yBAAaF,KAAK,CAAA,GAAIH,GAAAA;EAC5D;AAEA,SAAkBK,yBAAaF,KAAK,CAAA,GAAIA,KAAK,CAAA,CAAE;AACjD;AAEO,IAAMf,aAAuBA;AAE7B,IAAMF,UAAS,CAACc,QAAAA;AACrBN,iBAAe,CAACF,OAAOc,SAASN,GAAAA,GAAM,gCAAA;AACtC,QAAMO,MAAiBrB,mBAAOc,GAAAA;AAC9BL,EAAAA,WAAUY,OAAO,MAAM,mBAAA;;;;;;;;;AACvB,SAAOA;AACT;AAMO,IAAMlB,gBAAe,CAACW,QAAAA;AAC3B,QAAMQ,OAAkBC,oBAAQT,GAAAA;AAChCL,EAAAA,WAAUa,QAAQ,MAAM,mBAAA;;;;;;;;;AACxB,SAAOA;AACT;AAMO,IAAMlB,eAAc,CAACU,QAAAA;AAC1B,QAAMU,SAAStB,WAAUY,GAAAA;AACzB,MAAIU,UAAU,MAAM;AAElB,WAAOrB,cAAaW,GAAAA,GAAMW,UAAAA,GAAaH;EACzC;AAEA,SAAkBlB,wBAAYoB,MAAAA;AAChC;AAEO,IAAMvB,WAAU,CAACa,QAAAA;AACtB,QAAMY,OAAkBzB,oBAAQa,GAAAA;AAChCL,EAAAA,WAAUiB,QAAQ,MAAM,mBAAA;;;;;;;;;AACxB,SAAOA;AACT;AAEO,IAAMrB,aAAY,CAACS,QAAAA;AACxB,QAAMa,UAAqBtB,sBAAUS,GAAAA;AACrCL,EAAAA,WAAU,OAAOkB,YAAY,WAAW,mBAAA;;;;;;;;;AACxC,SAAOA;AACT;;;ACrFA;;;;;cAAAC;;AAIA,YAAYC,iBAAgB;AAC5B,SAASC,aAAAA,kBAAiB;AAC1B,YAAYC,iBAAgB;;AAIrB,IAAMH,QAAkBI;AAExB,IAAMC,aAAa,CAACC,UAAAA;AACzB,MAAI,OAAOA,UAAU,YAAYA,UAAU,MAAM;AAC/C,WAAO;EACT;AACA,MAAeC,oCAAwBD,SAAoBE,oCAAwBF,OAAO;AACxF,WAAO;EACT;AAEA,QAAMG,OAAQH,MAAyBI,gCAAoB;AAC3D,SAAOD,SAAoBE,uBAAWC;AACxC;AAMO,IAAMC,YAAY,CAAgBC,aAAAA;AACvCZ,EAAAA,WAAUG,WAAWS,QAAAA,GAAAA,QAAAA;;;;;;;;;AACrB,QAAMC,MAAMD,SAAoBE,4BAAgB;AAChDd,EAAAA,WAAUa,QAAQE,QAAW,mBAAmBH,SAASI,EAAE,IAAE;;;;;;;;;AAC7D,SAAOH;AACT;AAMO,IAAMI,YAAY,CAAgBL,aAAAA;AACvCZ,EAAAA,WAAUG,WAAWS,QAAAA,GAAAA,QAAAA;;;;;;;;;AACrB,QAAMC,MAAMD,SAAoBM,4BAAgB;AAChDlB,EAAAA,WAAUa,QAAQE,QAAW,mBAAmBH,SAASI,EAAE,IAAE;;;;;;;;;AAC7D,SAAOH;AACT;;;AC5CA;;;;cAAAM;;AAIA,YAAYC,iBAAgB;AAMrB,IAAMC,QAAkBC,gBAAID;AAE5B,IAAME,QAAqDD,gBAAIC;AAG/D,IAAMC,UAAqBF,gBAAIE;;;ACLtC,SAASC,QAAQC,aAAa;",
+  "names": ["Ref", "isMutable", "EchoSchema", "invariant", "Kind", "SpaceId", "ObjectId", "DXN", "Expando", "JsonSchema", "toJsonSchema", "Format", "Obj", "EchoObject", "Relation", "EchoRelation", "getDXN", "schema", "getSchemaDXN", "getTypename", "typename", "getSchemaTypename", "startsWith", "getVersion", "version", "getSchemaVersion", "match", "getMeta", "getTypeAnnotation", "getDXN", "getMeta", "getSchema", "getSchemaDXN", "getTypename", "isDeleted", "Schema", "EchoSchema", "assertArgument", "invariant", "LiveObject", "make", "live", "isObject", "obj", "isLiveObject", "instanceOf", "args", "length", "isInstanceOf", "isSchema", "dxn", "type", "getType", "schema", "asTypeDXN", "meta", "deleted", "make", "EchoSchema", "invariant", "LiveObject", "live", "isRelation", "value", "ATTR_RELATION_SOURCE", "ATTR_RELATION_TARGET", "kind", "EntityKindPropertyId", "EntityKind", "Relation", "getSource", "relation", "obj", "RelationSourceId", "undefined", "id", "getTarget", "RelationTargetId", "make", "EchoSchema", "make", "Ref", "isRef", "fromDXN", "Filter", "Query"]
 }

package/dist/lib/browser/meta.json

@@ -1 +1 @@
-{"inputs":{"packages/core/echo/echo/src/Database.ts":{"bytes":689,"imports":[],"format":"esm"},"packages/core/echo/echo/src/Queue.ts":{"bytes":671,"imports":[],"format":"esm"},"packages/core/echo/echo/src/Space.ts":{"bytes":671,"imports":[],"format":"esm"},"packages/core/echo/echo/src/Type.ts":{"bytes":6001,"imports":[{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/live-object","kind":"import-statement","external":true}],"format":"esm"},"packages/core/echo/echo/src/index.ts":{"bytes":1157,"imports":[{"path":"@dxos/keys","kind":"import-statement","external":true},{"path":"packages/core/echo/echo/src/Database.ts","kind":"import-statement","original":"./Database"},{"path":"packages/core/echo/echo/src/Queue.ts","kind":"import-statement","original":"./Queue"},{"path":"packages/core/echo/echo/src/Space.ts","kind":"import-statement","original":"./Space"},{"path":"packages/core/echo/echo/src/Type.ts","kind":"import-statement","original":"./Type"}],"format":"esm"}},"outputs":{"packages/core/echo/echo/dist/lib/browser/index.mjs.map":{"imports":[],"exports":[],"inputs":{},"bytes":4021},"packages/core/echo/echo/dist/lib/browser/index.mjs":{"imports":[{"path":"@dxos/keys","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/live-object","kind":"import-statement","external":true}],"exports":["DXN","Database","Queue","Space","Type"],"entryPoint":"packages/core/echo/echo/src/index.ts","inputs":{"packages/core/echo/echo/src/index.ts":{"bytesInOutput":34},"packages/core/echo/echo/src/Database.ts":{"bytesInOutput":27},"packages/core/echo/echo/src/Queue.ts":{"bytesInOutput":24},"packages/core/echo/echo/src/Space.ts":{"bytesInOutput":24},"packages/core/echo/echo/src/Type.ts":{"bytesInOutput":744}},"bytes":1421}}}
+{"inputs":{"packages/core/echo/echo/src/Type.ts":{"bytes":8839,"imports":[{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/invariant","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/keys","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true}],"format":"esm"},"packages/core/echo/echo/src/Obj.ts":{"bytes":8124,"imports":[{"path":"effect","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/invariant","kind":"import-statement","external":true},{"path":"@dxos/live-object","kind":"import-statement","external":true}],"format":"esm"},"packages/core/echo/echo/src/Relation.ts":{"bytes":5369,"imports":[{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/invariant","kind":"import-statement","external":true},{"path":"@dxos/live-object","kind":"import-statement","external":true}],"format":"esm"},"packages/core/echo/echo/src/Ref.ts":{"bytes":1595,"imports":[{"path":"@dxos/echo-schema","kind":"import-statement","external":true}],"format":"esm"},"packages/core/echo/echo/src/index.ts":{"bytes":1162,"imports":[{"path":"packages/core/echo/echo/src/Type.ts","kind":"import-statement","original":"./Type"},{"path":"packages/core/echo/echo/src/Obj.ts","kind":"import-statement","original":"./Obj"},{"path":"packages/core/echo/echo/src/Relation.ts","kind":"import-statement","original":"./Relation"},{"path":"packages/core/echo/echo/src/Ref.ts","kind":"import-statement","original":"./Ref"},{"path":"@dxos/echo-schema","kind":"import-statement","external":true}],"format":"esm"}},"outputs":{"packages/core/echo/echo/dist/lib/browser/index.mjs.map":{"imports":[],"exports":[],"inputs":{},"bytes":12154},"packages/core/echo/echo/dist/lib/browser/index.mjs":{"imports":[{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/invariant","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/keys","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"effect","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/invariant","kind":"import-statement","external":true},{"path":"@dxos/live-object","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/invariant","kind":"import-statement","external":true},{"path":"@dxos/live-object","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true},{"path":"@dxos/echo-schema","kind":"import-statement","external":true}],"exports":["Filter","Obj","Query","Ref","Relation","Type"],"entryPoint":"packages/core/echo/echo/src/index.ts","inputs":{"packages/core/echo/echo/src/Type.ts":{"bytesInOutput":1927},"packages/core/echo/echo/src/index.ts":{"bytesInOutput":51},"packages/core/echo/echo/src/Obj.ts":{"bytesInOutput":2226},"packages/core/echo/echo/src/Relation.ts":{"bytesInOutput":1700},"packages/core/echo/echo/src/Ref.ts":{"bytesInOutput":276}},"bytes":6748}}}