@dxos/echo 0.8.1 → 0.8.2-main.10c050d

package/dist/lib/node-esm/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/node-esm/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/node-esm/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/node-esm/index.mjs.map":{"imports":[],"exports":[],"inputs":{},"bytes":4021},"packages/core/echo/echo/dist/lib/node-esm/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":1480}}}
+{"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/node-esm/index.mjs.map":{"imports":[],"exports":[],"inputs":{},"bytes":12154},"packages/core/echo/echo/dist/lib/node-esm/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":6807}}}

package/dist/types/src/Obj.d.ts

@@ -0,0 +1,39 @@
+import { Schema } from 'effect';
+import * as EchoSchema from '@dxos/echo-schema';
+import type { DXN } from '@dxos/keys';
+import * as LiveObject from '@dxos/live-object';
+import type * as Type from './Type';
+export type Any = EchoSchema.AnyEchoObject;
+export declare const make: {
+    <T extends EchoSchema.BaseObject>(obj: T): LiveObject.Live<T>;
+    <T extends EchoSchema.BaseObject>(schema: Schema.Schema<T, any, never>, obj: NoInfer<EchoSchema.ExcludeId<T>>, meta?: EchoSchema.ObjectMeta): LiveObject.Live<T>;
+};
+export declare const isObject: (obj: unknown) => obj is Any;
+/**
+ * Check that object or relation is an instance of a schema.
+ * @example
+ * ```ts
+ * const person = Obj.make(Person, { name: 'John' });
+ * const isPerson = Obj.instanceOf(Person);
+ * isPerson(person); // true
+ * ```
+ */
+export declare const instanceOf: {
+    <S extends Type.Relation.Any | Type.Obj.Any>(schema: S): (value: unknown) => value is S;
+    <S extends Type.Relation.Any | Type.Obj.Any>(schema: S, value: unknown): value is S;
+};
+export declare const getSchema: (obj: unknown | undefined) => Schema.Schema.AnyNoContext | undefined;
+export declare const getDXN: (obj: Any) => DXN;
+/**
+ * @returns The DXN of the object's type.
+ * @example dxn:example.com/type/Contact:1.0.0
+ */
+export declare const getSchemaDXN: (obj: Any) => DXN;
+/**
+ * @returns The typename of the object's type.
+ * @example `example.com/type/Contact`
+ */
+export declare const getTypename: (obj: Any) => string | undefined;
+export declare const getMeta: (obj: Any) => EchoSchema.ObjectMeta;
+export declare const isDeleted: (obj: Any) => boolean;
+//# sourceMappingURL=Obj.d.ts.map

package/dist/types/src/Obj.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Obj.d.ts","sourceRoot":"","sources":["../../../src/Obj.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AAEpC,MAAM,MAAM,GAAG,GAAG,UAAU,CAAC,aAAa,CAAC;AAE3C,eAAO,MAAM,IAAI;;;CAAkB,CAAC;AAGpC,eAAO,MAAM,QAAQ,GAAI,KAAK,OAAO,KAAG,GAAG,IAAI,GAE9C,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC;IACxF,CAAC,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC;CAO7E,CAAC;AAEV,eAAO,MAAM,SAAS,sEAAuB,CAAC;AAE9C,eAAO,MAAM,MAAM,GAAI,KAAK,GAAG,KAAG,GAKjC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,KAAK,GAAG,KAAG,GAIvC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,GAAG,KAAG,MAAM,GAAG,SAQ/C,CAAC;AAEF,eAAO,MAAM,OAAO,GAAI,KAAK,GAAG,KAAG,UAAU,CAAC,UAI7C,CAAC;AAEF,eAAO,MAAM,SAAS,GAAI,KAAK,GAAG,KAAG,OAIpC,CAAC"}

package/dist/types/src/Ref.d.ts

@@ -0,0 +1,11 @@
+import * as EchoSchema from '@dxos/echo-schema';
+import type * as Obj from './Obj';
+export type Any = EchoSchema.Ref<Obj.Any>;
+export declare const make: <T extends EchoSchema.WithId>(object: T) => EchoSchema.Ref<T>;
+export declare const isRef: (value: unknown) => value is Any;
+export declare const fromDXN: (dxn: import("@dxos/keys").DXN) => EchoSchema.Ref<any>;
+/**
+ * Extract reference target.
+ */
+export type Target<R extends Any> = R extends EchoSchema.Ref<infer T> ? T : never;
+//# sourceMappingURL=Ref.d.ts.map

package/dist/types/src/Ref.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../../../src/Ref.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,KAAK,GAAG,MAAM,OAAO,CAAC;AAElC,MAAM,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE1C,eAAO,MAAM,IAAI,+DAAsB,CAAC;AAExC,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,GAA0B,CAAC;AAG5E,eAAO,MAAM,OAAO,wDAAyB,CAAC;AAE9C;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/types/src/Relation.d.ts

@@ -0,0 +1,19 @@
+import * as EchoSchema from '@dxos/echo-schema';
+import * as LiveObject from '@dxos/live-object';
+export type Any = EchoSchema.AnyEchoObject & EchoSchema.RelationSourceTargetRefs;
+export declare const make: {
+    <T extends EchoSchema.BaseObject>(obj: T): LiveObject.Live<T>;
+    <T extends EchoSchema.BaseObject>(schema: import("effect/Schema").Schema<T, any, never>, obj: NoInfer<EchoSchema.ExcludeId<T>>, meta?: EchoSchema.ObjectMeta): LiveObject.Live<T>;
+};
+export declare const isRelation: (value: unknown) => value is Any;
+/**
+ * @returns Relation source.
+ * @throws If the object is not a relation.
+ */
+export declare const getSource: <T extends Any>(relation: T) => EchoSchema.RelationSource<T>;
+/**
+ * @returns Relation target.
+ * @throws If the object is not a relation.
+ */
+export declare const getTarget: <T extends Any>(relation: T) => EchoSchema.RelationTarget<T>;
+//# sourceMappingURL=Relation.d.ts.map

package/dist/types/src/Relation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Relation.d.ts","sourceRoot":"","sources":["../../../src/Relation.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAEhD,MAAM,MAAM,GAAG,GAAG,UAAU,CAAC,aAAa,GAAG,UAAU,CAAC,wBAAwB,CAAC;AAEjF,eAAO,MAAM,IAAI;;;CAAkB,CAAC;AAEpC,eAAO,MAAM,UAAU,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,GAUpD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,GAAG,EAAE,UAAU,CAAC,KAAG,UAAU,CAAC,cAAc,CAAC,CAAC,CAKjF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,GAAG,EAAE,UAAU,CAAC,KAAG,UAAU,CAAC,cAAc,CAAC,CAAC,CAKjF,CAAC"}

package/dist/types/src/Type.d.ts

@@ -1,49 +1,87 @@
 import { type Schema } from 'effect';
-import { type BaseSchema, type EchoSchema, type Expando as Expando$, type ImmutableSchema, type JsonSchemaType, type TypeMeta, EntityKind, ObjectId, Ref as Ref$, getTypeAnnotation, getSchema, getSchemaDXN, getSchemaTypename, getSchemaVersion, isInstanceOf } from '@dxos/echo-schema';
-export type { TypeMeta as Meta, JsonSchemaType as JsonSchema };
-export { EntityKind as Kind, ObjectId, getTypeAnnotation as getMeta, getSchema, getSchemaDXN as getDXN, getSchemaTypename as getTypename, getSchemaVersion as getVersion, isInstanceOf as instanceOf, };
+import type { EncodedReference } from '@dxos/echo-protocol';
+import * as EchoSchema from '@dxos/echo-schema';
+import type * as Keys from '@dxos/keys';
 /**
- * Type API.
- *
- * @category api namespace
- * @since 0.9.0
+ * ECHO schema.
  */
-export declare namespace Type {
+export type Schema = EchoSchema.EchoSchema;
+/**
+ * EchoObject schema.
+ */
+export declare const Obj: (meta: EchoSchema.TypeMeta) => <Self extends Schema.Schema.Any>(self: Self) => EchoSchema.EchoTypeSchema<Self>;
+/**
+ * EchoRelation schema.
+ */
+export declare const Relation: <Source extends Schema.Schema.AnyNoContext, Target extends Schema.Schema.AnyNoContext>(options: {
+    typename: string;
+    version: string;
+    source: Source;
+    target: Target;
+}) => <Self extends Schema.Schema.Any>(self: Self) => EchoSchema.EchoTypeSchema<Self, EchoSchema.RelationSourceTargetRefs<Schema.Schema.Type<Source>, Schema.Schema.Type<Target>>>;
+/**
+ * Ref schema.
+ */
+export declare const Ref: <S extends Obj.Any>(schema: S) => EchoSchema.Ref$<Schema.Schema.Type<S>>;
+export declare namespace Obj {
+    /**
+     * Type that represents an arbitrary schema type of an object.
+     * NOTE: This is not an instance type.
+     */
+    type Any = Schema.Schema.AnyNoContext;
+}
+export declare namespace Relation {
+    /**
+     * Type that represents an arbitrary schema type of a relation.
+     * NOTE: This is not an instance type.
+     */
+    type Any = Schema.Schema.AnyNoContext;
+    /**
+     * Get relation target type.
+     */
+    type Target<A> = A extends EchoSchema.RelationSourceTargetRefs<infer T, infer _S> ? T : never;
+    /**
+     * Get relation source type.
+     */
+    type Source<A> = A extends EchoSchema.RelationSourceTargetRefs<infer _T, infer S> ? S : never;
+}
+export declare namespace Ref {
     /**
-     * A schema that can be extended with arbitrary properties.
+     * Type that represents an arbitrary schema type of a reference.
+     * NOTE: This is not an instance type.
      */
-    type Expando = Expando$;
-    type Abstract<T = any> = BaseSchema<T>;
-    type ImmutableType<T> = ImmutableSchema<T>;
-    type MutableType<T> = EchoSchema<T>;
+    type Any = Schema.Schema<EchoSchema.Ref<any>, EncodedReference>;
 }
-export declare const ref: <T extends import("@dxos/echo-schema").BaseObject>(obj: T) => Ref$<T>;
-export declare const create: {
-    <T extends import("@dxos/echo-schema").BaseObject>(obj: T): import("@dxos/live-object").ReactiveObject<T>;
-    <T extends import("@dxos/echo-schema").BaseObject>(schema: Schema.Schema<T, any, never>, obj: NoInfer<import("@dxos/echo-schema").ExcludeId<T>>, meta?: import("@dxos/echo-schema").ObjectMeta): import("@dxos/live-object").ReactiveObject<T>;
-};
-/**
- * Defines an ECHO type.
- *
- * @example
- * ```ts
- * const Org = S.Struct({
- *   name: S.String,
- * }).pipe(Type.def({ typename: 'example.com/type/Org', version: '1.0.0' }));
- * ```
- */
-export declare const def: (meta: TypeMeta) => <Self extends Schema.Schema.Any>(self: Self) => import("@dxos/echo-schema").EchoObjectSchema<Self>;
-/**
- * Defines a reference to an ECHO object.
- *
- * @example
- * ```ts
- * import { Type } from '@dxos/echo';
- * const Contact = S.Struct({
- *   name: S.String,
- *   employer: Type.Ref(Org),
- * }).pipe(Type.def({ typename: 'example.com/type/Contact', version: '1.0.0' }));
- * ```
- */
-export declare const Ref: <S extends Schema.Schema.AnyNoContext>(self: S) => import("@dxos/echo-schema").Ref$<Schema.Schema.Type<S>>;
+/**
+ * Gets the full DXN of the schema.
+ * Will include the version if it's a `type` DXN.
+ * @example "dxn:example.com/type/Person:0.1.0"
+ * @example "dxn:echo:SSSSSSSSSS:XXXXXXXXXXXXX"
+ */
+export declare const getDXN: (schema: Obj.Any | Relation.Any) => Keys.DXN | undefined;
+/**
+ * @param schema - Schema to get the typename from.
+ * @returns The typename of the schema. Example: `example.com/type/Person`.
+ */
+export declare const getTypename: (schema: Obj.Any | Relation.Any) => string;
+/**
+ * Gets the version of the schema.
+ * @example 0.1.0
+ */
+export declare const getVersion: (schema: Obj.Any | Relation.Any) => string;
+/**
+ * ECHO type metadata.
+ */
+export type Meta = EchoSchema.TypeAnnotation;
+/**
+ * Gets the meta data of the schema.
+ */
+export declare const getMeta: (schema: Obj.Any | Relation.Any) => Meta | undefined;
+export { EntityKind as Kind } from '@dxos/echo-schema';
+/**
+ * @returns True if the schema is mutable.
+ */
+export declare const isMutable: (schema: Obj.Any | Relation.Any) => boolean;
+export { SpaceId, ObjectId, DXN } from '@dxos/keys';
+export { Expando, JsonSchemaType as JsonSchema, toJsonSchema, Format, } from '@dxos/echo-schema';
 //# sourceMappingURL=Type.d.ts.map

package/dist/types/src/Type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../src/Type.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,OAAO,EACL,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,OAAO,IAAI,QAAQ,EACxB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,QAAQ,EAEb,UAAU,EACV,QAAQ,EACR,GAAG,IAAI,IAAI,EACX,iBAAiB,EACjB,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,YAAY,EACb,MAAM,mBAAmB,CAAC;AAW3B,YAAY,EAAE,QAAQ,IAAI,IAAI,EAAE,cAAc,IAAI,UAAU,EAAE,CAAC;AAC/D,OAAO,EACL,UAAU,IAAI,IAAI,EAClB,QAAQ,EACR,iBAAiB,IAAI,OAAO,EAC5B,SAAS,EACT,YAAY,IAAI,MAAM,EACtB,iBAAiB,IAAI,WAAW,EAChC,gBAAgB,IAAI,UAAU,EAC9B,YAAY,IAAI,UAAU,GAC3B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;OAEG;IACH,KAAY,OAAO,GAAG,QAAQ,CAAC;IAE/B,KAAY,QAAQ,CAAC,CAAC,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9C,KAAY,aAAa,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;IAClD,KAAY,WAAW,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;CAC5C;AAMD,eAAO,MAAM,GAAG,uEAAU,CAAC;AAC3B,eAAO,MAAM,MAAM;;;CAAU,CAAC;AAM9B;;;;;;;;;GASG;AACH,eAAO,MAAM,GAAG,SAAU,QAAQ,uGAAqB,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,QAAQ,CAAC,4DAAsC,CAAC"}
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../src/Type.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,KAAK,IAAI,MAAM,YAAY,CAAC;AAExC;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC;AAE3C;;GAEG;AACH,eAAO,MAAM,GAAG,gHAAwB,CAAC;AAEzC;;GAEG;AACH,eAAO,MAAM,QAAQ;;;;;kLAA0B,CAAC;AAEhD;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAkB,CAAC;AAE5G,yBAAiB,GAAG,CAAC;IACnB;;;OAGG;IAEH,KAAY,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;CAC9C;AAED,yBAAiB,QAAQ,CAAC;IACxB;;;OAGG;IAEH,KAAY,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAE7C;;OAEG;IACH,KAAY,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAErG;;OAEG;IACH,KAAY,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,wBAAwB,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;CACtG;AAED,yBAAiB,GAAG,CAAC;IACnB;;;OAGG;IACH,KAAY,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,gBAAgB,CAAC,CAAC;CACxE;AAED;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,QAAQ,GAAG,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAG,IAAI,CAAC,GAAG,GAAG,SAElE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,QAAQ,GAAG,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAG,MAI5D,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ,GAAG,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAG,MAI3D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,UAAU,CAAC,cAAc,CAAC;AAE7C;;GAEG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ,GAAG,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAG,IAAI,GAAG,SAE/D,CAAC;AAEF,OAAO,EAAE,UAAU,IAAI,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEvD;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,QAAQ,GAAG,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAG,OAE1D,CAAC;AAEF,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEpD,OAAO,EAEL,OAAO,EACP,cAAc,IAAI,UAAU,EAC5B,YAAY,EACZ,MAAM,GACP,MAAM,mBAAmB,CAAC"}

package/dist/types/src/{Database.d.ts → experimental/database.d.ts}

@@ -5,4 +5,4 @@
  * @since 0.9.0
  */
 export declare namespace Database { }
-//# sourceMappingURL=Database.d.ts.map
+//# sourceMappingURL=database.d.ts.map

package/dist/types/src/experimental/database.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"database.d.ts","sourceRoot":"","sources":["../../../../src/experimental/database.ts"],"names":[],"mappings":"AAIA;;;;;GAKG;AACH,yBAAiB,QAAQ,CAAC,GAAE"}

package/dist/types/src/experimental/index.d.ts

@@ -0,0 +1 @@
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/experimental/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/experimental/index.ts"],"names":[],"mappings":""}

package/dist/types/src/{Queue.d.ts → experimental/queue.d.ts}

@@ -5,4 +5,4 @@
  * @since 0.9.0
  */
 export declare namespace Queue { }
-//# sourceMappingURL=Queue.d.ts.map
+//# sourceMappingURL=queue.d.ts.map