@dxos/echo 0.8.2-main.f11618f → 0.8.2-main.fbd8ed0

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

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

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

package/dist/types/src/{Space.d.ts → experimental/space.d.ts}

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"space.d.ts","sourceRoot":"","sources":["../../../../src/experimental/space.ts"],"names":[],"mappings":"AAIA;;;;;GAKG;AACH,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC,GAAE"}

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

@@ -1,7 +1,4 @@
-import { DXN } from '@dxos/keys';
-export { DXN };
-export * as Database from './Database';
-export * as Queue from './Queue';
-export * as Space from './Space';
-export * as Type from './Type';
+export { Format, FormatEnum } from '@dxos/echo-schema';
+export { DXN } from '@dxos/keys';
+export * from './type';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,GAAG,EAAE,CAAC;AAEf,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEjC,cAAc,QAAQ,CAAC"}

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

@@ -0,0 +1,12 @@
+import { type AnyLiveObject as AnyLiveObject$ } from '@dxos/echo-db';
+import { type BaseEchoObject, type BaseObject } from '@dxos/echo-schema';
+export declare namespace Obj {
+    type Any = BaseEchoObject;
+    type Live<T extends BaseObject> = AnyLiveObject$<T>;
+}
+export declare const create: {
+    <T extends BaseObject>(obj: T): import("@dxos/live-object").Live<T>;
+    <T extends BaseObject>(schema: import("effect/Schema").Schema<T, any, never>, obj: NoInfer<import("@dxos/echo-schema").ExcludeId<T>>, meta?: import("@dxos/echo-schema").ObjectMeta): import("@dxos/live-object").Live<T>;
+};
+export declare const getSchema: (obj: unknown | undefined) => import("effect/Schema").Schema.AnyNoContext | undefined;
+//# sourceMappingURL=Obj.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Obj.d.ts","sourceRoot":"","sources":["../../../../src/type/Obj.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,aAAa,IAAI,cAAc,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,UAAU,EAA2B,MAAM,mBAAmB,CAAC;AAKlG,MAAM,CAAC,OAAO,WAAW,GAAG,CAAC;IAC3B,KAAY,GAAG,GAAG,cAAc,CAAC;IACjC,KAAY,IAAI,CAAC,CAAC,SAAS,UAAU,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC;CAC5D;AAED,eAAO,MAAM,MAAM;;;CAAQ,CAAC;AAE5B,eAAO,MAAM,SAAS,uFAAa,CAAC"}

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

@@ -0,0 +1,3 @@
+import { Ref as Ref$ } from '@dxos/echo-schema';
+export declare const make: <T extends import("@dxos/echo-schema").WithId>(object: T) => Ref$<T>;
+//# sourceMappingURL=Ref.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../../../../src/type/Ref.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,GAAG,IAAI,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEhD,eAAO,MAAM,IAAI,sEAAY,CAAC"}

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

@@ -0,0 +1,16 @@
+import { type RelationSourceTargetRefs } from '@dxos/echo-schema';
+export declare const def: <TSource extends import("effect/Schema").Schema.AnyNoContext, TTarget extends import("effect/Schema").Schema.AnyNoContext>(options: {
+    typename: string;
+    version: string;
+    source: TSource;
+    target: TTarget;
+}) => <Self extends import("effect/Schema").Schema.Any>(self: Self) => import("@dxos/echo-schema").EchoTypeSchema<Self, RelationSourceTargetRefs<import("effect/Schema").Schema.Type<TSource>, import("effect/Schema").Schema.Type<TTarget>>>;
+/**
+ * Get relation target type.
+ */
+export type Target<A> = A extends RelationSourceTargetRefs<infer T, infer _S> ? T : never;
+/**
+ * Get relation source type.
+ */
+export type Source<A> = A extends RelationSourceTargetRefs<infer _T, infer S> ? S : never;
+//# sourceMappingURL=Relation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Relation.d.ts","sourceRoot":"","sources":["../../../../src/type/Relation.ts"],"names":[],"mappings":"AAIA,OAAO,EAAgB,KAAK,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAEhF,eAAO,MAAM,GAAG;;;;;6OAAe,CAAC;AAEhC;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,wBAAwB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1F;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,wBAAwB,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC"}

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

@@ -0,0 +1,77 @@
+import { type Schema } from 'effect';
+import { type AnyLiveObject as AnyLiveObject$ } from '@dxos/echo-db';
+import { type BaseEchoObject, type BaseObject, type BaseSchema, type EchoSchema, EntityKind, Expando as Expando$, type ImmutableSchema, type JsonSchemaType, ObjectId as ObjectId$, type StoredSchema, type TypeMeta } from '@dxos/echo-schema';
+import { SpaceId as SpaceId$ } from '@dxos/keys';
+/**
+ * Type System API.
+ *
+ * @category api namespace
+ * @since 0.9.0
+ */
+export declare const SpaceId: Schema.Schema<SpaceId$, string, never> & {
+    byteLength: number;
+    encode: (value: Uint8Array) => SpaceId$;
+    decode: (value: SpaceId$) => Uint8Array;
+    isValid: (value: string) => value is SpaceId$;
+    random: () => SpaceId$;
+};
+export type SpaceId = SpaceId$;
+export declare const ObjectId: import("@dxos/echo-schema").ObjectIdClass;
+export type ObjectId = ObjectId$;
+/**
+ * Defines a reference to an ECHO object.
+ *
+ * @example
+ * ```ts
+ * import { Type } from '@dxos/echo';
+ * const Person = Schema.Struct({
+ *   name: Schema.String,
+ *   organization: Type.Ref(Organization),
+ * }).pipe(Type.def({
+ *   typename: 'example.com/type/Person',
+ *   version: '0.1.0',
+ * }));
+ * ```
+ */
+export declare const Ref: <S extends Schema.Schema.AnyNoContext>(self: S) => import("@dxos/echo-schema").Ref$<Schema.Schema.Type<S>>;
+export declare const Kind: typeof EntityKind;
+export type AnyObject = BaseEchoObject;
+export type AnyLiveObject<T extends BaseObject> = AnyLiveObject$<T>;
+export type JsonSchema = JsonSchemaType;
+/**
+ * A schema that can be extended with arbitrary properties.
+ */
+export declare const Expando: Schema.Schema<Expando$, Expando$, never>;
+export type Expando = Expando$;
+export type Abstract<T = any> = BaseSchema<T>;
+export type ImmutableType<T> = ImmutableSchema<T>;
+export type MutableType<T> = EchoSchema<T>;
+export type StoredType = StoredSchema;
+/**
+ * Defines an ECHO type.
+ *
+ * @example
+ * ```ts
+ * import { Type } from '@dxos/echo';
+ * const Organization = Schema.Struct({
+ *   name: Schema.String,
+ * }).pipe(Type.def({
+ *   typename: 'example.com/type/Organization',
+ *   version: '0.1.0',
+ * }));
+ * ```
+ */
+export declare const def: (meta: TypeMeta) => <Self extends Schema.Schema.Any>(self: Self) => import("@dxos/echo-schema").EchoTypeSchema<Self>;
+export declare const create: {
+    <T extends BaseObject>(obj: T): import("@dxos/live-object").Live<T>;
+    <T extends 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").Live<T>;
+};
+export declare const getSchema: (obj: unknown | undefined) => Schema.Schema.AnyNoContext | undefined;
+export declare const instanceOf: <Schema extends Schema.Schema.AnyNoContext>(schema: Schema, object: any) => object is Schema.Schema.Type<Schema>;
+export declare const getDXN: (schema: Schema.Schema.All) => import("@dxos/keys").DXN | undefined;
+export declare const getMeta: (schema: Schema.Schema.All) => import("@dxos/echo-schema").TypeAnnotation | undefined;
+export declare const getTypename: (schema: Schema.Schema.AnyNoContext) => string;
+export declare const getVersion: (schema: Schema.Schema.All) => string | undefined;
+export declare const isMutable: (schema: Schema.Schema.AnyNoContext) => boolean;
+export declare const toJsonSchema: (schema: Schema.Schema.All) => JsonSchemaType;
+//# sourceMappingURL=Type.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../../src/type/Type.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,OAAO,EAAE,KAAK,aAAa,IAAI,cAAc,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EAEf,UAAU,EACV,OAAO,IAAI,QAAQ,EACnB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,QAAQ,IAAI,SAAS,EAErB,KAAK,YAAY,EACjB,KAAK,QAAQ,EASd,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,YAAY,CAAC;AAGjD;;;;;GAKG;AAMH,eAAO,MAAM,OAAO;;;;;;CAAW,CAAC;AAChC,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC;AAE/B,eAAO,MAAM,QAAQ,2CAAY,CAAC;AAClC,MAAM,MAAM,QAAQ,GAAG,SAAS,CAAC;AAEjC;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,4DAAsC,CAAC;AAMxG,eAAO,MAAM,IAAI,mBAAa,CAAC;AAC/B,MAAM,MAAM,SAAS,GAAG,cAAc,CAAC;AACvC,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC;AAMpE,MAAM,MAAM,UAAU,GAAG,cAAc,CAAC;AAExC;;GAEG;AACH,eAAO,MAAM,OAAO,0CAAW,CAAC;AAChC,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC;AAG/B,MAAM,MAAM,QAAQ,CAAC,CAAC,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;AAC9C,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,UAAU,GAAG,YAAY,CAAC;AAEtC;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,GAAG,GAAI,MAAM,QAAQ,qGAAqB,CAAC;AAMxD,eAAO,MAAM,MAAM;;;CAAQ,CAAC;AAE5B,eAAO,MAAM,SAAS,sEAAa,CAAC;AACpC,eAAO,MAAM,UAAU,kHAAe,CAAC;AAOvC,eAAO,MAAM,MAAM,qEAAe,CAAC;AACnC,eAAO,MAAM,OAAO,uFAAoB,CAAC;AACzC,eAAO,MAAM,WAAW,GAAI,QAAQ,MAAM,CAAC,MAAM,CAAC,YAAY,KAAG,MAIhE,CAAC;AACF,eAAO,MAAM,UAAU,mDAAmB,CAAC;AAC3C,eAAO,MAAM,SAAS,iDAAa,CAAC;AACpC,eAAO,MAAM,YAAY,+CAAgB,CAAC"}

package/dist/types/src/{api.test.d.ts.map → type/api.test.d.ts.map}

@@ -1 +1 @@
-{"version":3,"file":"api.test.d.ts","sourceRoot":"","sources":["../../../src/api.test.ts"],"names":[],"mappings":""}
+{"version":3,"file":"api.test.d.ts","sourceRoot":"","sources":["../../../../src/type/api.test.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,5 @@
+export * as Obj from './Obj';
+export * as Ref from './Ref';
+export * as Relation from './Relation';
+export * as Type from './Type';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/type/index.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,GAAG,MAAM,OAAO,CAAC;AAC7B,OAAO,KAAK,GAAG,MAAM,OAAO,CAAC;AAC7B,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC"}

package/dist/types/tsconfig.tsbuildinfo

@@ -1 +1 @@
-{"version":"5.7.3"}
+{"version":"5.8.3"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dxos/echo",
-  "version": "0.8.2-main.f11618f",
+  "version": "0.8.2-main.fbd8ed0",
   "description": "ECHO API",
   "homepage": "https://dxos.org",
   "bugs": "https://github.com/dxos/dxos/issues",
@@ -22,19 +22,19 @@
   ],
   "dependencies": {
     "@preact/signals-core": "^1.6.0",
-    "effect": "3.13.3",
-    "@dxos/debug": "0.8.2-main.f11618f",
-    "@dxos/echo-schema": "0.8.2-main.f11618f",
-    "@dxos/echo-protocol": "0.8.2-main.f11618f",
-    "@dxos/echo-signals": "0.8.2-main.f11618f",
-    "@dxos/echo-db": "0.8.2-main.f11618f",
-    "@dxos/effect": "0.8.2-main.f11618f",
-    "@dxos/invariant": "0.8.2-main.f11618f",
-    "@dxos/live-object": "0.8.2-main.f11618f",
-    "@dxos/log": "0.8.2-main.f11618f",
-    "@dxos/node-std": "0.8.2-main.f11618f",
-    "@dxos/util": "0.8.2-main.f11618f",
-    "@dxos/keys": "0.8.2-main.f11618f"
+    "effect": "3.14.21",
+    "@dxos/debug": "0.8.2-main.fbd8ed0",
+    "@dxos/echo-db": "0.8.2-main.fbd8ed0",
+    "@dxos/echo-protocol": "0.8.2-main.fbd8ed0",
+    "@dxos/echo-schema": "0.8.2-main.fbd8ed0",
+    "@dxos/echo-signals": "0.8.2-main.fbd8ed0",
+    "@dxos/invariant": "0.8.2-main.fbd8ed0",
+    "@dxos/keys": "0.8.2-main.fbd8ed0",
+    "@dxos/live-object": "0.8.2-main.fbd8ed0",
+    "@dxos/log": "0.8.2-main.fbd8ed0",
+    "@dxos/effect": "0.8.2-main.fbd8ed0",
+    "@dxos/node-std": "0.8.2-main.fbd8ed0",
+    "@dxos/util": "0.8.2-main.fbd8ed0"
   },
   "publishConfig": {
     "access": "public"

package/src/{Database.ts → experimental/database.ts}

@@ -8,4 +8,4 @@
  * @category api namespace
  * @since 0.9.0
  */
-export declare namespace Database {}
+export namespace Database {}

package/src/experimental/index.ts

@@ -0,0 +1,7 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+// export type { Database } from './database';
+// export type { Queue } from './queue';
+// export type { Space } from './space';

package/src/{Queue.ts → experimental/queue.ts}

@@ -8,4 +8,4 @@
  * @category api namespace
  * @since 0.9.0
  */
-export declare namespace Queue {}
+export namespace Queue {}

package/src/index.ts

@@ -2,11 +2,7 @@
 // Copyright 2025 DXOS.org
 //
 
-import { DXN } from '@dxos/keys';
+export { Format, FormatEnum } from '@dxos/echo-schema';
+export { DXN } from '@dxos/keys';
 
-export { DXN };
-
-export * as Database from './Database';
-export * as Queue from './Queue';
-export * as Space from './Space';
-export * as Type from './Type';
+export * from './type';

package/src/type/Obj.ts

@@ -0,0 +1,18 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+import { type AnyLiveObject as AnyLiveObject$ } from '@dxos/echo-db';
+import { type BaseEchoObject, type BaseObject, getSchema as getSchema$ } from '@dxos/echo-schema';
+import { live as live$ } from '@dxos/live-object';
+
+// TODO(burdon): Remove from Type?
+
+export declare namespace Obj {
+  export type Any = BaseEchoObject;
+  export type Live<T extends BaseObject> = AnyLiveObject$<T>;
+}
+
+export const create = live$;
+
+export const getSchema = getSchema$;

package/src/type/Ref.ts

@@ -0,0 +1,7 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+import { Ref as Ref$ } from '@dxos/echo-schema';
+
+export const make = Ref$.make;

package/src/type/Relation.ts

@@ -0,0 +1,17 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+import { EchoRelation, type RelationSourceTargetRefs } from '@dxos/echo-schema';
+
+export const def = EchoRelation;
+
+/**
+ * Get relation target type.
+ */
+export type Target<A> = A extends RelationSourceTargetRefs<infer T, infer _S> ? T : never;
+
+/**
+ * Get relation source type.
+ */
+export type Source<A> = A extends RelationSourceTargetRefs<infer _T, infer S> ? S : never;

package/src/type/Type.ts

@@ -0,0 +1,134 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+import { type Schema } from 'effect';
+
+import { type AnyLiveObject as AnyLiveObject$ } from '@dxos/echo-db';
+import {
+  type BaseEchoObject,
+  type BaseObject,
+  type BaseSchema,
+  type EchoSchema,
+  EchoObject,
+  EntityKind,
+  Expando as Expando$,
+  type ImmutableSchema,
+  type JsonSchemaType,
+  ObjectId as ObjectId$,
+  Ref as Ref$,
+  type StoredSchema,
+  type TypeMeta,
+  getTypeAnnotation,
+  getSchema as getSchema$,
+  getSchemaDXN,
+  getSchemaTypename,
+  getSchemaVersion,
+  isInstanceOf,
+  isMutable as isMutable$,
+  toJsonSchema as toJsonSchema$,
+} from '@dxos/echo-schema';
+import { invariant } from '@dxos/invariant';
+import { SpaceId as SpaceId$ } from '@dxos/keys';
+import { live as live$ } from '@dxos/live-object';
+
+/**
+ * Type System API.
+ *
+ * @category api namespace
+ * @since 0.9.0
+ */
+
+//
+// Keys
+//
+
+export const SpaceId = SpaceId$;
+export type SpaceId = SpaceId$;
+
+export const ObjectId = ObjectId$;
+export type ObjectId = ObjectId$;
+
+/**
+ * Defines a reference to an ECHO object.
+ *
+ * @example
+ * ```ts
+ * import { Type } from '@dxos/echo';
+ * const Person = Schema.Struct({
+ *   name: Schema.String,
+ *   organization: Type.Ref(Organization),
+ * }).pipe(Type.def({
+ *   typename: 'example.com/type/Person',
+ *   version: '0.1.0',
+ * }));
+ * ```
+ */
+export const Ref = <S extends Schema.Schema.AnyNoContext>(self: S) => Ref$<Schema.Schema.Type<S>>(self);
+
+//
+// Objects
+//
+
+export const Kind = EntityKind;
+export type AnyObject = BaseEchoObject;
+export type AnyLiveObject<T extends BaseObject> = AnyLiveObject$<T>;
+
+//
+// Schema
+//
+
+export type JsonSchema = JsonSchemaType;
+
+/**
+ * A schema that can be extended with arbitrary properties.
+ */
+export const Expando = Expando$;
+export type Expando = Expando$;
+
+// TODO(burdon): Review/remove.
+export type Abstract<T = any> = BaseSchema<T>;
+export type ImmutableType<T> = ImmutableSchema<T>;
+export type MutableType<T> = EchoSchema<T>;
+export type StoredType = StoredSchema;
+
+/**
+ * Defines an ECHO type.
+ *
+ * @example
+ * ```ts
+ * import { Type } from '@dxos/echo';
+ * const Organization = Schema.Struct({
+ *   name: Schema.String,
+ * }).pipe(Type.def({
+ *   typename: 'example.com/type/Organization',
+ *   version: '0.1.0',
+ * }));
+ * ```
+ */
+export const def = (meta: TypeMeta) => EchoObject(meta);
+
+//
+// Object utils
+//
+
+export const create = live$;
+
+export const getSchema = getSchema$;
+export const instanceOf = isInstanceOf;
+
+//
+// Type utils
+//
+
+// TODO(burdon): Reconcile getDXN and getTypename.
+export const getDXN = getSchemaDXN;
+export const getMeta = getTypeAnnotation;
+export const getTypename = (schema: Schema.Schema.AnyNoContext): string => {
+  const typename = getSchemaTypename(schema);
+  invariant(typename, 'Invalid object');
+  return typename;
+};
+export const getVersion = getSchemaVersion;
+export const isMutable = isMutable$;
+export const toJsonSchema = toJsonSchema$;

package/src/type/api.test.ts

@@ -0,0 +1,128 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+import { Schema } from 'effect';
+import { describe, test } from 'vitest';
+
+import { raise } from '@dxos/debug';
+import { FormatEnum, FormatAnnotation } from '@dxos/echo-schema';
+
+import { Obj, Ref, Type } from '.';
+
+namespace Testing {
+  export const Organization = Schema.Struct({
+    id: Type.ObjectId,
+    name: Schema.String,
+  }).pipe(
+    Type.def({
+      typename: 'example.com/type/Organization',
+      version: '0.1.0',
+    }),
+  );
+
+  export interface Organization extends Schema.Schema.Type<typeof Organization> {}
+
+  export const Person = Schema.Struct({
+    name: Schema.String,
+    dob: Schema.optional(Schema.String),
+    email: Schema.optional(Schema.String.pipe(FormatAnnotation.set(FormatEnum.Email))),
+    organization: Schema.optional(Type.Ref(Organization)),
+  }).pipe(
+    Type.def({
+      typename: 'example.com/type/Person',
+      version: '0.1.0',
+    }),
+  );
+
+  export interface Person extends Schema.Schema.Type<typeof Person> {}
+
+  // export const WorksFor = S.Struct({
+  //   id: Type.ObjectId,
+  //   since: S.String,
+  //   jobTitle: S.String,
+  //   ...Range({ from, to }),
+  //   ...Provenance({ source: 'duckduckgo.com', confidence: 0.9 }), // keys
+  //   ...Relation.make({ source: Contact, target: Organization }),
+  // }).pipe(
+  //   Relation.def({
+  //     typename: 'example.com/relation/WorksFor',
+  //     version: '0.1.0',
+  //   }),
+  // );
+
+  // {
+  //   const contact = db.add(create(Contact, { name: 'Test' }));
+  //   const organization = db.add(create(Organization, { name: 'DXOS' }));
+  //   db.add(create(WorksFor, { source: contact, target: organization }));
+  // }
+
+  export const WorksFor = Schema.Struct({
+    // id: Type.ObjectId,
+    role: Schema.String,
+  }).pipe(
+    // Relation.def
+    Type.def({
+      typename: 'example.com/type/WorksFor',
+      version: '0.1.0',
+      // source: Person,
+      // target: Organization,
+    }),
+  );
+
+  export interface WorksFor extends Schema.Schema.Type<typeof WorksFor> {}
+
+  // TODO(burdon): Fix (Type.def currently removes TypeLiteral that implements the `make` function).
+  //  Property 'make' does not exist on type 'EchoObjectSchema<Struct<{ timestamp: PropertySignature<":", string, never, ":", string, true, never>; }>>'.ts(2339)
+  export const MessageStruct = Schema.Struct({
+    // TODO(burdon): Support S.Date; Custom Timestamp (with defaults).
+    // TODO(burdon): Support defaults (update create and create).
+    timestamp: Schema.String.pipe(
+      Schema.propertySignature,
+      Schema.withConstructorDefault(() => new Date().toISOString()),
+    ),
+  });
+
+  export const Message = MessageStruct.pipe(
+    Type.def({
+      typename: 'example.com/type/Message',
+      version: '0.1.0',
+    }),
+  );
+
+  export interface Message extends Schema.Schema.Type<typeof Message> {}
+}
+
+describe('Experimental API review', () => {
+  test('type checks', ({ expect }) => {
+    const contact = Obj.create(Testing.Person, { name: 'Test' });
+    const type: Schema.Schema<Testing.Person> = Obj.getSchema(contact) ?? raise(new Error('No schema found'));
+
+    expect(Type.getDXN(type)?.typename).to.eq(Testing.Person.typename);
+    expect(Type.getTypename(type)).to.eq('example.com/type/Person');
+    expect(Type.getVersion(type)).to.eq('0.1.0');
+    expect(Type.getMeta(type)).to.deep.eq({
+      kind: Type.Kind.Object,
+      typename: 'example.com/type/Person',
+      version: '0.1.0',
+    });
+  });
+
+  test('instance checks', ({ expect }) => {
+    const organization: Obj.Obj.Live<Testing.Organization> = Obj.create(Testing.Organization, { name: 'DXOS' });
+    const contact: Obj.Obj.Live<Testing.Person> = Obj.create(Testing.Person, {
+      name: 'Test',
+      organization: Ref.make(organization),
+    });
+
+    expect(Schema.is(Testing.Person)(contact)).to.be.true;
+    expect(Testing.Person.instanceOf(contact)).to.be.true;
+    expect(Type.instanceOf(Testing.Person, contact)).to.be.true;
+    expect(Type.instanceOf(Testing.Organization, organization)).to.be.true;
+  });
+
+  test('default props', ({ expect }) => {
+    const message = Obj.create(Testing.Message, Testing.MessageStruct.make({}));
+    expect(message.timestamp).to.exist;
+  });
+});

package/src/type/index.ts

@@ -0,0 +1,8 @@
+//
+// Copyright 2025 DXOS.org
+//
+
+export * as Obj from './Obj';
+export * as Ref from './Ref';
+export * as Relation from './Relation';
+export * as Type from './Type';

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

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"Queue.d.ts","sourceRoot":"","sources":["../../../src/Queue.ts"],"names":[],"mappings":"AAIA;;;;;GAKG;AACH,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC,GAAE"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"Space.d.ts","sourceRoot":"","sources":["../../../src/Space.ts"],"names":[],"mappings":"AAIA;;;;;GAKG;AACH,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC,GAAE"}

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

@@ -1,49 +0,0 @@
-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, };
-/**
- * Type API.
- *
- * @category api namespace
- * @since 0.9.0
- */
-export declare namespace Type {
-    /**
-     * A schema that can be extended with arbitrary properties.
-     */
-    type Expando = Expando$;
-    type Abstract<T = any> = BaseSchema<T>;
-    type ImmutableType<T> = ImmutableSchema<T>;
-    type MutableType<T> = EchoSchema<T>;
-}
-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").Live<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").Live<T>;
-};
-/**
- * Defines an ECHO type.
- *
- * @example
- * ```ts
- * const Organization = S.Struct({
- *   name: S.String,
- * }).pipe(Type.def({ typename: 'example.com/type/Organization', 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,
- *   organization: Type.Ref(Organization),
- * }).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>>;
-//# sourceMappingURL=Type.d.ts.map

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

@@ -1 +0,0 @@
-{"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"}