Dxos Echo

ECHO (DXOS)

ECHO is the typed object graph backed by Automerge: spaces expose a Database you mutate with reactive proxies and query with Filter / Query ASTs. Core types and both imperative and Effect-style DB access live in @dxos. Client wiring (sync, hypergraph, EchoClient) is in @dxos/echo-db.

For Effect patterns (Layer, Effect.gen, services), read .cursor/skills/effect/SKILL.md.

Packages (where code lives)

Obtaining a Database

• App / client: EchoClient.constructDatabase(...) returns an implementation of Database (see EchoDatabaseImpl).
• Plugins / runtime: often space.db (or equivalent) after space is open—same interface.
• Tests: EchoTestPeer builds a client + DB for isolated runs.

API reference (short)

Imperative / non-Effect (Database instance)

Use the object from echo-db / space. Primary entry: Database interface (add, remove, query, getObjectById, makeRef, flush, graph, schemaRegistry).

EchoDatabase extends this with sync/migrations (getSyncState, runMigrations, events).

Effect (@dxos/echo/Database module)

The same logical operations are exposed as Effects that require Database.Service in context.

Wire-up pattern (operations, agents, composable code):

import * as Database from '@dxos/echo/Database';
import { Effect } from 'effect';

const program = Effect.gen(function* () {
  const objects = yield* Database.query(SomeFilter).run;
  return objects;
});

await Effect.runPromise(program.pipe(Effect.provide(Database.layer(db))));

Database.layer is the usual bridge from an imperative db to Effect code; see plugin operation resolvers for real merges with other layers.

React (non-Effect, subscription-based)

From @dxos/echo-react: useQuery, useObject, useSchema — subscribe to query results / single object / schema state in components. Which hook for which read, and the anti-patterns (bare reads, .target in render, list-level ref resolution): reactivity skill.

Query & filter builders

• Query — graph-shaped selections (select, reference, etc.).
• Filter — predicates / props shorthand; types under Filter.Any, Query.Any.

Prefer importing subpaths when you need one module only, e.g. @dxos/echo/Filter, @dxos/echo/Query (see package.json exports).

When to use which style

• Imperative db: UI event handlers, existing callback code, small scripts, anything that already holds db.
• Effect Database.*: operation handlers, assistant/toolkit flows, any Effect program that should declare Database.Service and compose with other layers (see Effect skill).
• React hooks: read-mostly UI and local subscriptions.

Defining ECHO types — class-based syntax

ECHO type declarations use a class-based syntax that unifies the runtime schema entity and the TypeScript type into a single declaration. There are two styles.

Class style (module-level, reusable types)

Use this for every named, exported type declaration. The class simultaneously serves as the schema entity (accessible via static members) and the TypeScript instance type.

// Object type
export class Person extends Type.makeObject<Person>(DXN.make('com.example.type.person', '0.1.0'))(
  Schema.Struct({
    name: Schema.String,
  }),
) {}

// With additional pipe annotations
export class Collection extends Type.makeObject<Collection>(DXN.make('org.dxos.type.collection', '0.1.0'))(
  Schema.Struct({
    name: Schema.String.pipe(Schema.optional),
    objects: Schema.Array(Ref.Ref(Obj.Unknown)),
  }).pipe(Annotation.IconAnnotation.set({ icon: 'ph--folder--regular', hue: 'indigo' })),
) {}

// Relation type
export class HasManager extends Type.makeRelation<HasManager>(DXN.make('com.example.type.hasManager', '0.1.0'))({
  source: Person,
  target: Person,
})(Schema.Struct({})) {}

No separate type X = ... or interface X extends ... is needed. The class name itself is the TypeScript type for instances.

makeObject signature: Type.makeObject<Self>(dxn, options?)(schema) — the DXN comes first, the schema is the argument to the returned function. The <Self> type parameter is the class being declared (forward reference).

makeRelation signature: Type.makeRelation<Self>(dxn)({ source, target, id? })(schema) — three curried calls.

Pipe style (local / inline, no reuse)

For anonymous, local-only types where you will not refer to the type by name:

const schema = Type.makeObject(DXN.make('com.example.type.taggedperson', '0.1.0'))(
  Schema.Struct({ name: Schema.String }).pipe(ColorAnnotation.set('schema-teal')),
);

Note the argument order: the schema is wrapped inside makeObject(dxn)(schema), not piped into it. The old .pipe(Type.makeObject(dxn)) form is deprecated.

Migration guide — old to new

Type.InstanceType — when to use it

After migrating to class syntax, X (the class name) IS the TypeScript instance type. You can use X directly in function signatures and generic bounds. Type.InstanceType<typeof X> is equivalent and acceptable, but the class name alone is preferred for brevity.

// preferred
export const make = (props: Obj.MakeProps<typeof Person>): Person => Obj.make(Person, props);

// also acceptable
export const make = (props: Obj.MakeProps<typeof Person>): Type.InstanceType<typeof Person> => Obj.make(Person, props);

Owned children — Annotation.SetParent

Declare ownership on the ref field rather than calling Obj.setParent next to every write. Writing a ref into an annotated field (or creating the holder with one) sets an object-kind target's parent, so that child cascade-deletes and deep-clones with its holder. A ref to anything else (a relation) is left alone — only objects can have a parent.

Schema.Struct({
  // Single ref, array of refs, a field nested in a struct, and a member of a union field all work.
  content: Ref.Ref(Text.Text).pipe(Annotation.SetParent.set(true)),
  sections: Schema.Array(Ref.Ref(Section)).pipe(Annotation.SetParent.set(true)),
});

Do NOT annotate a field whose targets a different holder owns (a pinned or recently-used list referencing objects that live in their own collections) — every write to the holder would re-parent them to it. An app-level relationship among a container's members (e.g. Task.parentTask) is not ownership: the container's annotated array stays the one parent, and the relationship stays a plain ref field. The annotation updates the parent on write; it is not an invariant that the target's parent IS the holder — Obj.setParent can re-parent it afterwards, and an unresolved ref is skipped. Read the parent with Obj.getParent, never from the field. Removing a ref does not clear the target's parent; call Obj.setParent(child, undefined) for that. Reverse edges (child holds the ref) and ref-in-annotation edges (e.g. Chat.CompanionChatAnnotation) still need Obj.setParent.

Related docs in-repo

• Effect runtime patterns: .cursor/skills/effect/SKILL.md.
• DXOS SDK notes: .agents/sdk/ (follow project conventions there).