@dxos/echo-query 0.10.0 → 0.11.0

package/dist/query-lite/index.d.ts

@@ -1870,7 +1870,7 @@ declare function date(constraints?: DateConstraints$1): Arbitrary<Date>;
  * @remarks Since 2.5.0
  * @public
  */
-type CloneValue<T$1, N extends number, Rest$1 extends T$1[] = []> = [number] extends [N] ? T$1[] : Rest$1['length'] extends N ? Rest$1 : CloneValue<T$1, N, [T$1, ...Rest$1]>;
+type CloneValue<T$1, N$1 extends number, Rest$1 extends T$1[] = []> = [number] extends [N$1] ? T$1[] : Rest$1['length'] extends N$1 ? Rest$1 : CloneValue<T$1, N$1, [T$1, ...Rest$1]>;
 /**
  * Clone the values generated by `arb` in order to produce fully equal values (might not be equal in terms of === or ==)
  *
@@ -1880,7 +1880,7 @@ type CloneValue<T$1, N extends number, Rest$1 extends T$1[] = []> = [number] ext
  * @remarks Since 2.5.0
  * @public
  */
-declare function clone<T$1, N extends number>(arb: Arbitrary<T$1>, numValues: N): Arbitrary<CloneValue<T$1, N>>;
+declare function clone<T$1, N$1 extends number>(arb: Arbitrary<T$1>, numValues: N$1): Arbitrary<CloneValue<T$1, N$1>>;
 //#endregion
 //#region ../../../../node_modules/.pnpm/fast-check@3.23.2/node_modules/fast-check/lib/types/arbitrary/dictionary.d.ts
 /**
@@ -4892,15 +4892,15 @@ interface Pipeable {
   pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1): K$1;
   pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1): L$1;
   pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M): M;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N): N;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never, O = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N, no: (_: N) => O): O;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never, O = never, P$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P$1): P$1;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never, O = never, P$1 = never, Q = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P$1, pq: (_: P$1) => Q): Q;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never, O = never, P$1 = never, Q = never, R$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1): R$1;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never, O = never, P$1 = never, Q = never, R$1 = never, S$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1, rs: (_: R$1) => S$1): S$1;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never, O = never, P$1 = never, Q = never, R$1 = never, S$1 = never, T$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1, rs: (_: R$1) => S$1, st: (_: S$1) => T$1): T$1;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never, O = never, P$1 = never, Q = never, R$1 = never, S$1 = never, T$1 = never, U$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1, rs: (_: R$1) => S$1, st: (_: S$1) => T$1, tu: (_: T$1) => U$1): U$1;
-  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N = never, O = never, P$1 = never, Q = never, R$1 = never, S$1 = never, T$1 = never, U$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N, no: (_: N) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1, rs: (_: R$1) => S$1, st: (_: S$1) => T$1, tu: (_: T$1) => U$1): U$1;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1): N$1;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never, O = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1, no: (_: N$1) => O): O;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never, O = never, P$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1, no: (_: N$1) => O, op: (_: O) => P$1): P$1;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never, O = never, P$1 = never, Q = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1, no: (_: N$1) => O, op: (_: O) => P$1, pq: (_: P$1) => Q): Q;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never, O = never, P$1 = never, Q = never, R$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1, no: (_: N$1) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1): R$1;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never, O = never, P$1 = never, Q = never, R$1 = never, S$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1, no: (_: N$1) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1, rs: (_: R$1) => S$1): S$1;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never, O = never, P$1 = never, Q = never, R$1 = never, S$1 = never, T$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1, no: (_: N$1) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1, rs: (_: R$1) => S$1, st: (_: S$1) => T$1): T$1;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never, O = never, P$1 = never, Q = never, R$1 = never, S$1 = never, T$1 = never, U$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1, no: (_: N$1) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1, rs: (_: R$1) => S$1, st: (_: S$1) => T$1, tu: (_: T$1) => U$1): U$1;
+  pipe<A$1, B$1 = never, C = never, D = never, E$1 = never, F = never, G = never, H$1 = never, I$1 = never, J = never, K$1 = never, L$1 = never, M = never, N$1 = never, O = never, P$1 = never, Q = never, R$1 = never, S$1 = never, T$1 = never, U$1 = never>(this: A$1, ab: (_: A$1) => B$1, bc: (_: B$1) => C, cd: (_: C) => D, de: (_: D) => E$1, ef: (_: E$1) => F, fg: (_: F) => G, gh: (_: G) => H$1, hi: (_: H$1) => I$1, ij: (_: I$1) => J, jk: (_: J) => K$1, kl: (_: K$1) => L$1, lm: (_: L$1) => M, mn: (_: M) => N$1, no: (_: N$1) => O, op: (_: O) => P$1, pq: (_: P$1) => Q, qr: (_: Q) => R$1, rs: (_: R$1) => S$1, st: (_: S$1) => T$1, tu: (_: T$1) => U$1): U$1;
 }
 //#endregion
 //#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Unify.d.ts
@@ -5506,13 +5506,13 @@ declare namespace Stream {
    * @category models
    * @deprecated use Types.TupleOf instead
    */
-  type DynamicTuple<T$1, N extends number> = N extends N ? number extends N ? Array<T$1> : DynamicTupleOf<T$1, N, []> : never;
+  type DynamicTuple<T$1, N$1 extends number> = N$1 extends N$1 ? number extends N$1 ? Array<T$1> : DynamicTupleOf<T$1, N$1, []> : never;
   /**
    * @since 2.0.0
    * @category models
    * @deprecated use Types.TupleOf instead
    */
-  type DynamicTupleOf<T$1, N extends number, R$1 extends Array<unknown>> = R$1["length"] extends N ? R$1 : DynamicTupleOf<T$1, N, [T$1, ...R$1]>;
+  type DynamicTupleOf<T$1, N$1 extends number, R$1 extends Array<unknown>> = R$1["length"] extends N$1 ? R$1 : DynamicTupleOf<T$1, N$1, [T$1, ...R$1]>;
 }
 //#endregion
 //#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Channel.d.ts
@@ -7304,7 +7304,7 @@ declare namespace Annotable {
   /**
    * @since 3.10.0
    */
-  type All = Any$4 | Annotable<any, any, never, unknown> | Annotable<any, never, any, unknown> | Annotable<any, never, never, unknown>;
+  type All = Any$5 | Annotable<any, any, never, unknown> | Annotable<any, never, any, unknown> | Annotable<any, never, never, unknown>;
 }
 /**
  * @since 3.10.0
@@ -7353,7 +7353,7 @@ declare namespace Schema {
    *
    * @since 3.10.0
    */
-  type All = Any$4 | Schema<any, never, unknown> | Schema<never, any, unknown> | Schema<never, never, unknown>;
+  type All = Any$5 | Schema<any, never, unknown> | Schema<never, any, unknown> | Schema<never, never, unknown>;
   /**
    * Type-level counterpart of `Schema.asSchema` function.
    *
@@ -7416,7 +7416,7 @@ declare const Any_base: SchemaClass<any, any, never>;
  * @category primitives
  * @since 3.10.0
  */
-declare class Any$4 extends Any_base {}
+declare class Any$5 extends Any_base {}
 declare const String$_base: SchemaClass<string, string, never>;
 /** @ignore */
 declare class String$ extends String$_base {}
@@ -7541,7 +7541,7 @@ declare namespace PropertySignature {
   /**
    * @since 3.10.0
    */
-  type All<Key$1 extends PropertyKey = PropertyKey> = Any$4<Key$1> | PropertySignature<Token, never, Key$1, Token, any, boolean, unknown> | PropertySignature<Token, any, Key$1, Token, never, boolean, unknown> | PropertySignature<Token, never, Key$1, Token, never, boolean, unknown>;
+  type All<Key$1 extends PropertyKey = PropertyKey> = Any$5<Key$1> | PropertySignature<Token, never, Key$1, Token, any, boolean, unknown> | PropertySignature<Token, any, Key$1, Token, never, boolean, unknown> | PropertySignature<Token, never, Key$1, Token, never, boolean, unknown>;
   /**
    * @since 3.10.0
    */
@@ -8095,10 +8095,20 @@ declare const SpaceId: Schema<SpaceId, string> & {
 /**
  * Addresses an ECHO object or space. Uses the `echo:` URI scheme.
  *
+ * Canonical forms:
+ * - `echo://<spaceId>/<objectId>` — fully-qualified object.
+ * - `echo://<spaceId>` — space.
+ * - `echo:///<objectId>` — local (space-less) object.
+ *
+ * @deprecated form: the single-slash local form `echo:/<objectId>` is retired in favour of the
+ * triple-slash `echo:///<objectId>` form. It is still accepted on read (and normalized by `parse`)
+ * so existing persisted data keeps resolving, but it is no longer produced — do not emit it in new
+ * code. Construct local EIDs with `make({ entityId })`.
+ *
  * @example
  * ```
  * echo://BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE/01J00J9B45YHYSGZQTQMSKMGJ6
- * echo:/01J00J9B45YHYSGZQTQMSKMGJ6
+ * echo:///01J00J9B45YHYSGZQTQMSKMGJ6
  * echo://BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE
  * ```
  */
@@ -8106,6 +8116,46 @@ type EID = URI & {
   readonly __EID: unique symbol;
 };
 //#endregion
+//#region ../echo-protocol/dist/types/src/blob.d.ts
+interface BlobPutRequest {
+  spaceId: SpaceId;
+  data: Uint8Array;
+  contentType?: string;
+  /** Lowercase hex SHA-256 digest of `data`, computed by the manager. The backend does not verify it. */
+  contentHash: string;
+  /** For path-addressed extension backends. */
+  name?: string;
+}
+interface BlobPutResponse {
+  /** URI locating the stored bytes; must use a scheme the backend resolves. */
+  uri: string;
+}
+/**
+ * Implemented by pluggable blob storage backends and registered on the Hypergraph via
+ * `registerBlobBackend`.
+ */
+interface BlobBackend {
+  /** URI schemes this backend resolves at read time. */
+  readonly schemes: readonly string[];
+  /** Largest `data.byteLength` this backend accepts, in bytes. `undefined` means unlimited. */
+  readonly maxSize?: number;
+  put(request: BlobPutRequest): Promise<BlobPutResponse>;
+  /** `undefined` means the URI was not found. Rejects on transport failure (e.g. offline). */
+  get(request: {
+    spaceId: SpaceId;
+    uri: string;
+  }): Promise<Uint8Array | undefined>;
+  has(request: {
+    spaceId: SpaceId;
+    uri: string;
+  }): Promise<boolean>;
+  getUrl?(request: {
+    spaceId: SpaceId;
+    uri: string;
+    contentType?: string;
+  }): Promise<string | undefined>;
+}
+//#endregion
 //#region ../echo-protocol/dist/types/src/foreign-key.d.ts
 declare const ForeignKey_: Struct<{
   /**
@@ -8158,7 +8208,7 @@ declare const FilterObject_: Struct<{
    * Filter by property.
    * Must not include object ID.
    */
-  props: Record$<SchemaClass<string, string, never>, suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>>;
+  props: Record$<SchemaClass<string, string, never>, suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>>;
   /**
    * Objects that have any of the given foreign keys.
    */
@@ -8196,16 +8246,32 @@ declare const FilterCompare: Schema<FilterCompare>;
  */
 declare const FilterIn_: Struct<{
   type: Literal<["in"]>;
-  values: Array$<typeof Any$4>;
+  values: Array$<typeof Any$5>;
 }>;
 interface FilterIn extends Schema.Type<typeof FilterIn_> {}
 declare const FilterIn: Schema<FilterIn>;
+/**
+ * In (subquery form) — membership against a value projected from a subquery's results,
+ * e.g. `threadId IN (SELECT threadId FROM feed WHERE tag = 'inbox')`.
+ *
+ * Nested-only (like {@link FilterIn}): valid inside an `object` filter's `props`, not at
+ * the query root — the planner has no selector for a standalone membership predicate.
+ * The subquery may target a different scope than the parent query; it is resolved once at
+ * execution time by projecting `property` from its results into a set.
+ */
+declare const FilterInQuery_: Struct<{
+  type: Literal<["in-query"]>;
+  subquery: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
+  property: typeof String$;
+}>;
+interface FilterInQuery extends Schema.Type<typeof FilterInQuery_> {}
+declare const FilterInQuery: Schema<FilterInQuery>;
 /**
  * Contains.
  */
 declare const FilterContains_: Struct<{
   type: Literal<["contains"]>;
-  value: typeof Any$4;
+  value: typeof Any$5;
 }>;
 interface FilterContains extends Schema.Type<typeof FilterContains_> {}
 /**
@@ -8227,8 +8293,8 @@ declare const FilterTag: Schema<FilterTag>;
  */
 declare const FilterRange_: Struct<{
   type: Literal<["range"]>;
-  from: typeof Any$4;
-  to: typeof Any$4;
+  from: typeof Any$5;
+  to: typeof Any$5;
 }>;
 interface FilterRange extends Schema.Type<typeof FilterRange_> {}
 declare const FilterRange: Schema<FilterRange>;
@@ -8259,7 +8325,7 @@ declare const FilterTextSearch: Schema<FilterTextSearch>;
  */
 declare const FilterNot_: Struct<{
   type: Literal<["not"]>;
-  filter: suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>;
+  filter: suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>;
 }>;
 interface FilterNot extends Schema.Type<typeof FilterNot_> {}
 declare const FilterNot: Schema<FilterNot>;
@@ -8268,7 +8334,7 @@ declare const FilterNot: Schema<FilterNot>;
  */
 declare const FilterAnd_: Struct<{
   type: Literal<["and"]>;
-  filters: Array$<suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>>;
+  filters: Array$<suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>>;
 }>;
 interface FilterAnd extends Schema.Type<typeof FilterAnd_> {}
 declare const FilterAnd: Schema<FilterAnd>;
@@ -8277,7 +8343,7 @@ declare const FilterAnd: Schema<FilterAnd>;
  */
 declare const FilterOr_: Struct<{
   type: Literal<["or"]>;
-  filters: Array$<suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>>;
+  filters: Array$<suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>>;
 }>;
 interface FilterOr extends Schema.Type<typeof FilterOr_> {}
 declare const FilterOr: Schema<FilterOr>;
@@ -8297,14 +8363,14 @@ declare const FilterChildOf: Schema<FilterChildOf>;
 /**
  * Union of filters.
  */
-declare const Filter$1: Union<[Schema<FilterObject, FilterObject, never>, Schema<FilterCompare, FilterCompare, never>, Schema<FilterIn, FilterIn, never>, Schema<FilterContains, FilterContains, never>, Schema<FilterTag, FilterTag, never>, Schema<FilterRange, FilterRange, never>, Schema<FilterTimestamp, FilterTimestamp, never>, Schema<FilterTextSearch, FilterTextSearch, never>, Schema<FilterChildOf, FilterChildOf, never>, Schema<FilterNot, FilterNot, never>, Schema<FilterAnd, FilterAnd, never>, Schema<FilterOr, FilterOr, never>]>;
+declare const Filter$1: Union<[Schema<FilterObject, FilterObject, never>, Schema<FilterCompare, FilterCompare, never>, Schema<FilterIn, FilterIn, never>, Schema<FilterInQuery, FilterInQuery, never>, Schema<FilterContains, FilterContains, never>, Schema<FilterTag, FilterTag, never>, Schema<FilterRange, FilterRange, never>, Schema<FilterTimestamp, FilterTimestamp, never>, Schema<FilterTextSearch, FilterTextSearch, never>, Schema<FilterChildOf, FilterChildOf, never>, Schema<FilterNot, FilterNot, never>, Schema<FilterAnd, FilterAnd, never>, Schema<FilterOr, FilterOr, never>]>;
 type Filter$1 = Schema.Type<typeof Filter$1>;
 /**
  * Query objects by type, id, and/or predicates.
  */
 declare const QuerySelectClause_: Struct<{
   type: Literal<["select"]>;
-  filter: suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>;
+  filter: suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>;
 }>;
 interface QuerySelectClause extends Schema.Type<typeof QuerySelectClause_> {}
 declare const QuerySelectClause: Schema<QuerySelectClause>;
@@ -8313,8 +8379,8 @@ declare const QuerySelectClause: Schema<QuerySelectClause>;
  */
 declare const QueryFilterClause_: Struct<{
   type: Literal<["filter"]>;
-  selection: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
-  filter: suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>;
+  selection: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
+  filter: suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>;
 }>;
 interface QueryFilterClause extends Schema.Type<typeof QueryFilterClause_> {}
 declare const QueryFilterClause: Schema<QueryFilterClause>;
@@ -8323,7 +8389,7 @@ declare const QueryFilterClause: Schema<QueryFilterClause>;
  */
 declare const QueryReferenceTraversalClause_: Struct<{
   type: Literal<["reference-traversal"]>;
-  anchor: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  anchor: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   property: typeof String$;
 }>;
 interface QueryReferenceTraversalClause extends Schema.Type<typeof QueryReferenceTraversalClause_> {}
@@ -8333,7 +8399,7 @@ declare const QueryReferenceTraversalClause: Schema<QueryReferenceTraversalClaus
  */
 declare const QueryIncomingReferencesClause_: Struct<{
   type: Literal<["incoming-references"]>;
-  anchor: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  anchor: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   /**
    * Property path where the reference is located.
    * If null, matches references from any property.
@@ -8348,14 +8414,14 @@ declare const QueryIncomingReferencesClause: Schema<QueryIncomingReferencesClaus
  */
 declare const QueryRelationClause_: Struct<{
   type: Literal<["relation"]>;
-  anchor: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  anchor: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   /**
    * outgoing: anchor is the source of the relation.
    * incoming: anchor is the target of the relation.
    * both: anchor is either the source or target of the relation.
    */
   direction: Literal<["outgoing", "incoming", "both"]>;
-  filter: optional<suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>>;
+  filter: optional<suspend<FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, FilterAnd | FilterChildOf | FilterCompare | FilterContains | FilterIn | FilterInQuery | FilterNot | FilterObject | FilterOr | FilterRange | FilterTag | FilterTextSearch | FilterTimestamp, never>>;
 }>;
 interface QueryRelationClause extends Schema.Type<typeof QueryRelationClause_> {}
 declare const QueryRelationClause: Schema<QueryRelationClause>;
@@ -8364,7 +8430,7 @@ declare const QueryRelationClause: Schema<QueryRelationClause>;
  */
 declare const QueryRelationTraversalClause_: Struct<{
   type: Literal<["relation-traversal"]>;
-  anchor: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  anchor: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   direction: Literal<["source", "target", "both"]>;
 }>;
 interface QueryRelationTraversalClause extends Schema.Type<typeof QueryRelationTraversalClause_> {}
@@ -8374,7 +8440,7 @@ declare const QueryRelationTraversalClause: Schema<QueryRelationTraversalClause>
  */
 declare const QueryHierarchyTraversalClause_: Struct<{
   type: Literal<["hierarchy-traversal"]>;
-  anchor: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  anchor: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   /**
    * to-parent: traverse from child to parent.
    * to-children: traverse from parent to children.
@@ -8388,7 +8454,7 @@ declare const QueryHierarchyTraversalClause: Schema<QueryHierarchyTraversalClaus
  */
 declare const QueryUnionClause_: Struct<{
   type: Literal<["union"]>;
-  queries: Array$<suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>>;
+  queries: Array$<suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>>;
 }>;
 interface QueryUnionClause extends Schema.Type<typeof QueryUnionClause_> {}
 declare const QueryUnionClause: Schema<QueryUnionClause>;
@@ -8397,8 +8463,8 @@ declare const QueryUnionClause: Schema<QueryUnionClause>;
  */
 declare const QuerySetDifferenceClause_: Struct<{
   type: Literal<["set-difference"]>;
-  source: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
-  exclude: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  source: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
+  exclude: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
 }>;
 interface QuerySetDifferenceClause extends Schema.Type<typeof QuerySetDifferenceClause_> {}
 declare const QuerySetDifferenceClause: Schema<QuerySetDifferenceClause>;
@@ -8406,6 +8472,7 @@ declare const OrderDirection: Literal<["asc", "desc"]>;
 type OrderDirection = Schema.Type<typeof OrderDirection>;
 declare const Order_: Union<[Struct<{
   kind: Literal<["natural"]>;
+  direction: Literal<["asc", "desc"]>;
 }>, Struct<{
   kind: Literal<["property"]>;
   property: typeof String$;
@@ -8426,9 +8493,10 @@ declare const Order$1: Schema<Order$1>;
  */
 declare const QueryOrderClause_: Struct<{
   type: Literal<["order"]>;
-  query: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  query: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   order: Array$<Schema<{
     readonly kind: "natural";
+    readonly direction: "asc" | "desc";
   } | {
     readonly kind: "property";
     readonly property: string;
@@ -8442,6 +8510,7 @@ declare const QueryOrderClause_: Struct<{
     readonly direction: "asc" | "desc";
   }, {
     readonly kind: "natural";
+    readonly direction: "asc" | "desc";
   } | {
     readonly kind: "property";
     readonly property: string;
@@ -8462,7 +8531,7 @@ declare const QueryOrderClause: Schema<QueryOrderClause>;
  */
 declare const QueryOptionsClause_: Struct<{
   type: Literal<["options"]>;
-  query: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  query: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   options: suspend<{
     readonly deleted?: "exclude" | "include" | "only" | undefined;
     readonly debugLabel?: string | undefined;
@@ -8478,14 +8547,109 @@ declare const QueryOptionsClause: Schema<QueryOptionsClause>;
  */
 declare const QueryLimitClause_: Struct<{
   type: Literal<["limit"]>;
-  query: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  query: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   limit: typeof Number$;
 }>;
 interface QueryLimitClause extends Schema.Type<typeof QueryLimitClause_> {}
 declare const QueryLimitClause: Schema<QueryLimitClause>;
+/**
+ * Skip a number of results (offset). Combined with `limit` and a `natural` order, this expresses
+ * a windowed (paginated) read without any feed-specific query surface.
+ */
+declare const QuerySkipClause_: Struct<{
+  type: Literal<["skip"]>;
+  query: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
+  skip: typeof Number$;
+}>;
+interface QuerySkipClause extends Schema.Type<typeof QuerySkipClause_> {}
+declare const QuerySkipClause: Schema<QuerySkipClause>;
+/**
+ * Aggregates results into flat records. `group`-kind entries partition members into contiguous
+ * groups (one row each); with no `group` entries the whole input aggregates into a single row.
+ * Groups are ordered by the first occurrence of their key in the incoming (already-ordered) result
+ * stream — this lets a preceding `orderBy` also control group order (e.g. ordering thread groups by
+ * their most recent message). A following `orderBy(Order.property(name))` referencing an aggregate
+ * or group field reorders whole groups instead. Must be the outermost data clause: only
+ * `from`/`options`/`order` may wrap it.
+ */
+declare const QueryAggregateClause_: Struct<{
+  type: Literal<["aggregate"]>;
+  query: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
+  aggregates: Array$<Schema<{
+    readonly name: string;
+    readonly kind: "group";
+    readonly property: string;
+  } | {
+    readonly name: string;
+    readonly kind: "max";
+    readonly property: string;
+  } | {
+    readonly name: string;
+    readonly kind: "min";
+    readonly property: string;
+  } | {
+    readonly name: string;
+    readonly kind: "items";
+    readonly limit?: number | undefined;
+    readonly order?: readonly ({
+      readonly kind: "natural";
+      readonly direction: "asc" | "desc";
+    } | {
+      readonly kind: "property";
+      readonly property: string;
+      readonly direction: "asc" | "desc";
+    } | {
+      readonly kind: "rank";
+      readonly direction: "asc" | "desc";
+    } | {
+      readonly kind: "timestamp";
+      readonly field: "createdAt" | "updatedAt";
+      readonly direction: "asc" | "desc";
+    })[] | undefined;
+  } | {
+    readonly name: string;
+    readonly kind: "count";
+  }, {
+    readonly name: string;
+    readonly kind: "group";
+    readonly property: string;
+  } | {
+    readonly name: string;
+    readonly kind: "max";
+    readonly property: string;
+  } | {
+    readonly name: string;
+    readonly kind: "min";
+    readonly property: string;
+  } | {
+    readonly name: string;
+    readonly kind: "items";
+    readonly limit?: number | undefined;
+    readonly order?: readonly ({
+      readonly kind: "natural";
+      readonly direction: "asc" | "desc";
+    } | {
+      readonly kind: "property";
+      readonly property: string;
+      readonly direction: "asc" | "desc";
+    } | {
+      readonly kind: "rank";
+      readonly direction: "asc" | "desc";
+    } | {
+      readonly kind: "timestamp";
+      readonly field: "createdAt" | "updatedAt";
+      readonly direction: "asc" | "desc";
+    })[] | undefined;
+  } | {
+    readonly name: string;
+    readonly kind: "count";
+  }, never>>;
+}>;
+interface QueryAggregateClause extends Schema.Type<typeof QueryAggregateClause_> {}
+declare const QueryAggregateClause: Schema<QueryAggregateClause>;
 declare const QueryFromClause_: Struct<{
   type: Literal<["from"]>;
-  query: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+  query: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   from: Union<[TaggedStruct<"scope", {
     scopes: Array$<suspend<{
       readonly _tag: "space";
@@ -8509,12 +8673,12 @@ declare const QueryFromClause_: Struct<{
       readonly location: "local" | "remote";
     }, never>>;
   }>, TaggedStruct<"query", {
-    query: suspend<QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause, never>;
+    query: suspend<QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause, never>;
   }>]>;
 }>;
 interface QueryFromClause extends Schema.Type<typeof QueryFromClause_> {}
 declare const QueryFromClause: Schema<QueryFromClause>;
-declare const Query_: Union<[Schema<QuerySelectClause, QuerySelectClause, never>, Schema<QueryFilterClause, QueryFilterClause, never>, Schema<QueryReferenceTraversalClause, QueryReferenceTraversalClause, never>, Schema<QueryIncomingReferencesClause, QueryIncomingReferencesClause, never>, Schema<QueryRelationClause, QueryRelationClause, never>, Schema<QueryRelationTraversalClause, QueryRelationTraversalClause, never>, Schema<QueryHierarchyTraversalClause, QueryHierarchyTraversalClause, never>, Schema<QueryUnionClause, QueryUnionClause, never>, Schema<QuerySetDifferenceClause, QuerySetDifferenceClause, never>, Schema<QueryOrderClause, QueryOrderClause, never>, Schema<QueryOptionsClause, QueryOptionsClause, never>, Schema<QueryLimitClause, QueryLimitClause, never>, Schema<QueryFromClause, QueryFromClause, never>]>;
+declare const Query_: Union<[Schema<QuerySelectClause, QuerySelectClause, never>, Schema<QueryFilterClause, QueryFilterClause, never>, Schema<QueryReferenceTraversalClause, QueryReferenceTraversalClause, never>, Schema<QueryIncomingReferencesClause, QueryIncomingReferencesClause, never>, Schema<QueryRelationClause, QueryRelationClause, never>, Schema<QueryRelationTraversalClause, QueryRelationTraversalClause, never>, Schema<QueryHierarchyTraversalClause, QueryHierarchyTraversalClause, never>, Schema<QueryUnionClause, QueryUnionClause, never>, Schema<QuerySetDifferenceClause, QuerySetDifferenceClause, never>, Schema<QueryOrderClause, QueryOrderClause, never>, Schema<QueryOptionsClause, QueryOptionsClause, never>, Schema<QueryLimitClause, QueryLimitClause, never>, Schema<QuerySkipClause, QuerySkipClause, never>, Schema<QueryAggregateClause, QueryAggregateClause, never>, Schema<QueryFromClause, QueryFromClause, never>]>;
 type Query$1 = Schema.Type<typeof Query_>;
 declare const Query$1: Schema<Query$1>;
 declare const QueryOptions: Struct<{
@@ -8541,180 +8705,39 @@ declare const Scope: Union<[TaggedStruct<"space", {
   location: Literal<["local", "remote"]>;
 }>]>;
 type Scope = Schema.Type<typeof Scope>;
-//#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Result.d.ts
-type TypeId$4 = "~effect-atom/atom/Result";
-declare const TypeId$4: TypeId$4;
-/**
- * @since 1.0.0
- * @category models
- */
-type Result<A$1, E$1 = never> = Initial<A$1, E$1> | Success$1<A$1, E$1> | Failure$1<A$1, E$1>;
-/**
- * @since 1.0.0
- * @category models
- */
-declare namespace Result {
-  /**
-   * @since 1.0.0
-   * @category models
-   */
-  interface Proto<A$1, E$1> extends Pipeable {
-    readonly [TypeId$4]: {
-      readonly E: (_: never) => E$1;
-      readonly A: (_: never) => A$1;
-    };
-    readonly waiting: boolean;
-  }
-  /**
-   * @since 1.0.0
-   */
-  type Success<R$1> = R$1 extends Result<infer A, infer _> ? A : never;
-  /**
-   * @since 1.0.0
-   */
-  type Failure<R$1> = R$1 extends Result<infer _, infer E> ? E : never;
-}
-/**
- * @since 1.0.0
- * @category models
- */
-interface Initial<A$1, E$1 = never> extends Result.Proto<A$1, E$1> {
-  readonly _tag: "Initial";
-}
-/**
- * @since 1.0.0
- * @category models
- */
-interface Success$1<A$1, E$1 = never> extends Result.Proto<A$1, E$1> {
-  readonly _tag: "Success";
-  readonly value: A$1;
-  readonly timestamp: number;
-}
-/**
- * @since 1.0.0
- * @category models
- */
-interface Failure$1<A$1, E$1 = never> extends Result.Proto<A$1, E$1> {
-  readonly _tag: "Failure";
-  readonly cause: Cause<E$1>;
-  readonly previousSuccess: Option<Success$1<A$1, E$1>>;
-}
-//#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Registry.d.ts
-declare const TypeId$3: TypeId$3;
-type TypeId$3 = "~effect-atom/atom/Registry";
-/**
- * @since 1.0.0
- * @category guards
- */
-
-/**
- * @since 1.0.0
- * @category models
- */
-interface Registry$1 {
-  readonly [TypeId$3]: TypeId$3;
-  readonly getNodes: () => ReadonlyMap<Atom<any> | string, Node<any>>;
-  readonly get: <A$1>(atom: Atom<A$1>) => A$1;
-  readonly mount: <A$1>(atom: Atom<A$1>) => () => void;
-  readonly refresh: <A$1>(atom: Atom<A$1>) => void;
-  readonly set: <R$1, W$1>(atom: Writable<R$1, W$1>, value: W$1) => void;
-  readonly setSerializable: (key: string, encoded: unknown) => void;
-  readonly modify: <R$1, W$1, A$1>(atom: Writable<R$1, W$1>, f: (_: R$1) => [returnValue: A$1, nextValue: W$1]) => A$1;
-  readonly update: <R$1, W$1>(atom: Writable<R$1, W$1>, f: (_: R$1) => W$1) => void;
-  readonly subscribe: <A$1>(atom: Atom<A$1>, f: (_: A$1) => void, options?: {
-    readonly immediate?: boolean;
-  }) => () => void;
-  readonly reset: () => void;
-  readonly dispose: () => void;
+declare namespace Order_d_exports {
+  export { Any$4 as Any, Order, OrderTypeId, created$1 as created, natural, property, rank, updated$1 as updated };
 }
-/**
- * @since 1.0.0
- * @category models
- */
-interface Node<A$1> {
-  readonly atom: Atom<A$1>;
-  readonly value: () => A$1;
+declare const OrderTypeId: '~@dxos/echo/Order';
+type OrderTypeId = typeof OrderTypeId;
+interface Order<T$1> {
+  readonly [OrderTypeId]: {
+    value: T$1;
+  };
+  ast: Order$1;
 }
+type Any$4 = Order<any>;
 /**
- * @since 1.0.0
- * @category constructors
- */
-//#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Atom.d.ts
-declare const TypeId$2: TypeId$2;
-type TypeId$2 = "~effect-atom/atom/Atom";
-/**
- * @since 1.0.0
- * @category models
+ * Order by the database's default order. For non-feed sources this is by id; for feed sources
+ * this is insertion order, so `desc` reads newest-first. Defaults to `asc`.
  */
-interface Atom<A$1> extends Pipeable, Inspectable {
-  readonly [TypeId$2]: TypeId$2;
-  readonly keepAlive: boolean;
-  readonly lazy: boolean;
-  readonly read: (get: Context$2) => A$1;
-  readonly refresh?: (f: <A$1>(atom: Atom<A$1>) => void) => void;
-  readonly label?: readonly [name: string, stack: string];
-  readonly idleTTL?: number;
-}
-type WritableTypeId = "~effect-atom/atom/Atom/Writable";
-declare const WritableTypeId: WritableTypeId;
+declare const natural: (direction?: OrderDirection) => Order<any>;
+declare const property: <T$1>(property: keyof T$1 & string, direction: OrderDirection) => Order<T$1>;
 /**
- * @since 1.0.0
- * @category models
+ * Order by relevance rank (for FTS/vector search results).
+ * Higher rank = better match. Default direction is 'desc' (best matches first).
  */
-interface Writable<R$1, W$1 = R$1> extends Atom<R$1> {
-  readonly [WritableTypeId]: WritableTypeId;
-  readonly write: (ctx: WriteContext<R$1>, value: W$1) => void;
-}
+declare const rank: <T$1>(direction?: OrderDirection) => Order<T$1>;
 /**
- * @since 1.0.0
- * @category context
+ * Order by the system `updatedAt` timestamp (last re-indexed). Default direction is 'desc'
+ * (most-recently-updated first). Mirrors {@link Filter.updated}.
  */
-interface Context$2 {
-  <A$1>(atom: Atom<A$1>): A$1;
-  get<A$1>(this: Context$2, atom: Atom<A$1>): A$1;
-  result<A$1, E$1>(this: Context$2, atom: Atom<Result<A$1, E$1>>, options?: {
-    readonly suspendOnWaiting?: boolean | undefined;
-  }): Effect$1<A$1, E$1>;
-  resultOnce<A$1, E$1>(this: Context$2, atom: Atom<Result<A$1, E$1>>, options?: {
-    readonly suspendOnWaiting?: boolean | undefined;
-  }): Effect$1<A$1, E$1>;
-  once<A$1>(this: Context$2, atom: Atom<A$1>): A$1;
-  addFinalizer(this: Context$2, f: () => void): void;
-  mount<A$1>(this: Context$2, atom: Atom<A$1>): void;
-  refresh<A$1>(this: Context$2, atom: Atom<A$1>): void;
-  refreshSelf(this: Context$2): void;
-  self<A$1>(this: Context$2): Option<A$1>;
-  setSelf<A$1>(this: Context$2, a: A$1): void;
-  set<R$1, W$1>(this: Context$2, atom: Writable<R$1, W$1>, value: W$1): void;
-  setResult<A$1, E$1, W$1>(this: Context$2, atom: Writable<Result<A$1, E$1>, W$1>, value: W$1): Effect$1<A$1, E$1>;
-  some<A$1>(this: Context$2, atom: Atom<Option<A$1>>): Effect$1<A$1>;
-  someOnce<A$1>(this: Context$2, atom: Atom<Option<A$1>>): Effect$1<A$1>;
-  stream<A$1>(this: Context$2, atom: Atom<A$1>, options?: {
-    readonly withoutInitialValue?: boolean;
-    readonly bufferSize?: number;
-  }): Stream<A$1>;
-  streamResult<A$1, E$1>(this: Context$2, atom: Atom<Result<A$1, E$1>>, options?: {
-    readonly withoutInitialValue?: boolean;
-    readonly bufferSize?: number;
-  }): Stream<A$1, E$1>;
-  subscribe<A$1>(this: Context$2, atom: Atom<A$1>, f: (_: A$1) => void, options?: {
-    readonly immediate?: boolean;
-  }): void;
-  readonly registry: Registry$1;
-}
+declare const updated$1: <T$1>(direction?: OrderDirection) => Order<T$1>;
 /**
- * @since 1.0.0
- * @category context
+ * Order by the system `createdAt` timestamp (first indexed). Default direction is 'desc'
+ * (most-recently-created first). Mirrors {@link Filter.created}.
  */
-interface WriteContext<A$1> {
-  get<T$1>(this: WriteContext<A$1>, atom: Atom<T$1>): T$1;
-  refreshSelf(this: WriteContext<A$1>): void;
-  setSelf(this: WriteContext<A$1>, a: A$1): void;
-  set<R$1, W$1>(this: WriteContext<A$1>, atom: Writable<R$1, W$1>, value: W$1): void;
-}
+declare const created$1: <T$1>(direction?: OrderDirection) => Order<T$1>;
 //#endregion
 //#region ../../../common/util/dist/types/src/types.d.ts
 type MaybePromise<T$1> = T$1 | Promise<T$1>;
@@ -8729,20 +8752,20 @@ type ToMutable<T$1> = T$1 extends object ? { -readonly [K in keyof T$1]: T$1[K]
 type CleanupFn = () => void;
 //#endregion
 //#region ../../../common/context/dist/types/src/context.d.ts
-type ContextErrorHandler = (error: Error, ctx: Context$1) => void;
+type ContextErrorHandler = (error: Error, ctx: Context$2) => void;
 type DisposeCallback = () => any | Promise<any>;
 type CreateContextProps = {
   name?: string;
-  parent?: Context$1;
+  parent?: Context$2;
   attributes?: Record<string, any>;
   onError?: ContextErrorHandler;
 };
 /**
  * NOTE: Context is not reusable after it is disposed.
  */
-declare class Context$1 {
+declare class Context$2 {
   #private;
-  static default(): Context$1;
+  static default(): Context$2;
   maxSafeDisposeCallbacks: number;
   constructor(params?: CreateContextProps, callMeta?: Partial<CallMetadata>);
   get disposed(): boolean;
@@ -8776,7 +8799,7 @@ declare class Context$1 {
   derive({
     onError,
     attributes
-  }?: CreateContextProps): Context$1;
+  }?: CreateContextProps): Context$2;
   getAttribute(key: string): any;
   [Symbol.toStringTag]: string;
   [inspect.custom]: () => string;
@@ -8859,7 +8882,7 @@ declare class Event$1<T$1 = void> implements ReadOnlyEvent<T$1> {
    * @returns function that unsubscribes this event listener
    */
   on(callback: EventCallback<T$1>): CleanupFn;
-  on(ctx: Context$1, callback: EventCallback<T$1>, options?: ListenerOptions): CleanupFn;
+  on(ctx: Context$2, callback: EventCallback<T$1>, options?: ListenerOptions): CleanupFn;
   /**
    * Unsubscribe this callback from new events. Includes persistent and once-listeners.
    * NOTE: It is recommended to use `Event.on`'s return value instead.
@@ -8875,7 +8898,7 @@ declare class Event$1<T$1 = void> implements ReadOnlyEvent<T$1> {
    * @param callback
    */
   once(callback: (data: T$1) => void): CleanupFn;
-  once(ctx: Context$1, callback: (data: T$1) => void): CleanupFn;
+  once(ctx: Context$2, callback: (data: T$1) => void): CleanupFn;
   /**
    * An async iterator that iterates over events.
    * This iterator runs indefinitely.
@@ -8959,7 +8982,7 @@ interface ReadOnlyEvent<T$1 = void> {
    * @returns function that unsubscribes this event listener
    */
   on(callback: (data: T$1) => void): CleanupFn;
-  on(ctx: Context$1, callback: (data: T$1) => void, options?: ListenerOptions): CleanupFn;
+  on(ctx: Context$2, callback: (data: T$1) => void, options?: ListenerOptions): CleanupFn;
   /**
    * Unsubscribes this callback from new events. Includes persistent and once-listeners.
    * NOTE: It is recommended to us `Event.on`'s return value.
@@ -9005,1895 +9028,2423 @@ interface ReadOnlyEvent<T$1 = void> {
   debounce(timeout?: number): Event$1<void>;
 }
 //#endregion
-//#region ../echo/dist/types/src/internal/common/types/entity.d.ts
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Result.d.ts
+type TypeId$4 = "~effect-atom/atom/Result";
+declare const TypeId$4: TypeId$4;
 /**
- * String key used to identify the kind of an entity instance (object or relation).
+ * @since 1.0.0
+ * @category models
  */
-declare const KindId$1: '~@dxos/echo/Kind';
-type KindId$1 = typeof KindId$1;
+type Result<A$1, E$1 = never> = Initial<A$1, E$1> | Success$1<A$1, E$1> | Failure$1<A$1, E$1>;
 /**
- * String key used to identify the kind of a schema (object schema or relation schema).
- * Parallels KindId which identifies instance kinds.
+ * @since 1.0.0
+ * @category models
  */
-declare const SchemaKindId: '~@dxos/echo/SchemaKind';
-type SchemaKindId = typeof SchemaKindId;
+declare namespace Result {
+  /**
+   * @since 1.0.0
+   * @category models
+   */
+  interface Proto<A$1, E$1> extends Pipeable {
+    readonly [TypeId$4]: {
+      readonly E: (_: never) => E$1;
+      readonly A: (_: never) => A$1;
+    };
+    readonly waiting: boolean;
+  }
+  /**
+   * @since 1.0.0
+   */
+  type Success<R$1> = R$1 extends Result<infer A, infer _> ? A : never;
+  /**
+   * @since 1.0.0
+   */
+  type Failure<R$1> = R$1 extends Result<infer _, infer E> ? E : never;
+}
 /**
- * Hidden slot on a static `Type.Type` entity that holds the source Effect
- * Schema. `Type.getSchema(...)` reads this for static types; persisted types
- * rebuild from `jsonSchema` instead. Stored as a string key for declaration
- * portability (see KindId comment above).
+ * @since 1.0.0
+ * @category models
  */
-declare const StaticTypeSchemaSlot: '~@dxos/echo/Type.StaticSchema';
-type StaticTypeSchemaSlot = typeof StaticTypeSchemaSlot;
+interface Initial<A$1, E$1 = never> extends Result.Proto<A$1, E$1> {
+  readonly _tag: "Initial";
+}
 /**
- * Phantom string key on `Type<A>` entities that carries the instance type `A`.
- * Lets internal helpers (`makeObject`, `createObject`, etc.) pattern-match the
- * instance type from an entity input without importing from the top-level
- * `Type` module. Mirrors `Type.InstancePhantomId` (declared in `Type.ts`).
- *
- * Stored as a string key so declarations remain portable across packages
- * (see KindId comment above).
+ * @since 1.0.0
+ * @category models
  */
-declare const InstancePhantomId$1: '~@dxos/echo/Type.Instance';
-type InstancePhantomId$1 = typeof InstancePhantomId$1;
-/**
- * Nominal brand carried by the well-known "any object" / "any relation"
- * schemas (`Obj.Unknown`, `Relation.Unknown`). The brand lets `Ref.Ref`,
- * `Filter.type`, and `Query.type` accept these schemas in addition to
- * `Type.Type` entities, without opening the door to arbitrary raw schemas.
- *
- * Stored as a string key so declarations remain portable across packages
- * (see KindId comment above).
- */
-declare const UnknownTypeSchemaBrandId: '~@dxos/echo/UnknownTypeSchemaBrand';
-type UnknownTypeSchemaBrandId = typeof UnknownTypeSchemaBrandId;
-/**
- * Schema-side companion to `Type.Type` entities for the "any object" /
- * "any relation" cases. Branded so `Ref.Ref` / `Filter.type` / `Query.type`
- * can pattern-match on it; arbitrary `Schema.Schema` values do not satisfy
- * this shape.
- */
-interface UnknownTypeSchema<A$1, K$1 extends EntityKind> extends Schema<A$1, any, never> {
-  readonly [UnknownTypeSchemaBrandId]: K$1;
+interface Success$1<A$1, E$1 = never> extends Result.Proto<A$1, E$1> {
+  readonly _tag: "Success";
+  readonly value: A$1;
+  readonly timestamp: number;
 }
 /**
- * Kinds of entities stored in ECHO: objects, relations, and types.
+ * @since 1.0.0
+ * @category models
  */
-declare enum EntityKind {
-  Object = "object",
-  Relation = "relation",
-  Type = "type",
+interface Failure$1<A$1, E$1 = never> extends Result.Proto<A$1, E$1> {
+  readonly _tag: "Failure";
+  readonly cause: Cause<E$1>;
+  readonly previousSuccess: Option<Success$1<A$1, E$1>>;
 }
 //#endregion
-//#region ../echo/dist/types/src/Relation.d.ts
-type Endpoints$1<Source$1, Target$2> = {
-  [Source$1]: Source$1;
-  [Target$2]: Target$2;
-};
-/**
- * Base type for all ECHO relations.
- * @private
- */
-interface BaseRelation<Source$1, Target$2> extends AnyEntity, Endpoints$1<Source$1, Target$2>, OfKind<EntityKind.Relation> {}
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Registry.d.ts
+declare const TypeId$3: TypeId$3;
+type TypeId$3 = "~effect-atom/atom/Registry";
 /**
- * Relation with no known properties beyond id, kind, source, and target.
- * Use this when the relation's schema/properties are not known.
- *
- * NOTE: This is a TypeScript type only, not a schema.
- * To validate that a value is an ECHO relation, use `Relation.isRelation`.
+ * @since 1.0.0
+ * @category guards
  */
-interface Unknown$3 extends BaseRelation<Unknown$1, Unknown$1> {}
+
 /**
- * Runtime Effect schema for any ECHO relation.
- * Use for validation, parsing, or as a reference target for collections.
- * A relation has `id`, source, and target fields plus any additional properties.
- *
- * NOTE: `Schema.is(Type.Relation)` does STRUCTURAL validation only (checks for `id` field).
- * Use `Relation.isRelation()` for proper ECHO instance type guards that check the KindId brand.
- *
- * @example
- * ```ts
- * // Structural type guard (accepts any object with id field)
- * if (Schema.is(Type.Relation)(unknownValue)) { ... }
- *
- * // ECHO instance type guard (checks KindId brand)
- * if (Relation.isRelation(unknownValue)) { ... }
- * ```
+ * @since 1.0.0
+ * @category models
  */
-declare const Unknown$3: UnknownTypeSchema<Unknown$3, typeof Kind.Relation>;
+interface Registry$1 {
+  readonly [TypeId$3]: TypeId$3;
+  readonly getNodes: () => ReadonlyMap<Atom<any> | string, Node<any>>;
+  readonly get: <A$1>(atom: Atom<A$1>) => A$1;
+  readonly mount: <A$1>(atom: Atom<A$1>) => () => void;
+  readonly refresh: <A$1>(atom: Atom<A$1>) => void;
+  readonly set: <R$1, W$1>(atom: Writable<R$1, W$1>, value: W$1) => void;
+  readonly setSerializable: (key: string, encoded: unknown) => void;
+  readonly modify: <R$1, W$1, A$1>(atom: Writable<R$1, W$1>, f: (_: R$1) => [returnValue: A$1, nextValue: W$1]) => A$1;
+  readonly update: <R$1, W$1>(atom: Writable<R$1, W$1>, f: (_: R$1) => W$1) => void;
+  readonly subscribe: <A$1>(atom: Atom<A$1>, f: (_: A$1) => void, options?: {
+    readonly immediate?: boolean;
+  }) => () => void;
+  readonly reset: () => void;
+  readonly dispose: () => void;
+}
 /**
- * Get relation source type.
+ * @since 1.0.0
+ * @category models
  */
-type SourceOf<A$1> = A$1 extends Endpoints$1<infer S, infer _T> ? S : never;
+interface Node<A$1> {
+  readonly atom: Atom<A$1>;
+  readonly value: () => A$1;
+}
 /**
- * Get relation target type.
+ * @since 1.0.0
+ * @category constructors
  */
-type TargetOf<A$1> = A$1 extends Endpoints$1<infer _S, infer T> ? T : never;
 //#endregion
-//#region ../echo/dist/types/src/Ref.d.ts
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Atom.d.ts
+declare const TypeId$2: TypeId$2;
+type TypeId$2 = "~effect-atom/atom/Atom";
 /**
- * Instance type for a reference.
- *
- * Reference can point to any object or relation.
- * References are lazy loaded.
- *
- * `ref.dxn` is the DXN of the referenced object.
- *
- * @example
- * ```ts
- * const taskRef: Ref<Task> = Ref.make(task);
- *
- * await taskRef.load(); // Returns Promise<Task>
- * yield* Database.load(taskRef); // Effectful version.
- *
- * database.makeRef(dxn); // Create a ref from a DXN.
- * ```
+ * @since 1.0.0
+ * @category models
  */
-type Ref$1<T$1> = Ref<T$1>;
-type Unknown$2 = Ref<Unknown$1>;
+interface Atom<A$1> extends Pipeable, Inspectable {
+  readonly [TypeId$2]: TypeId$2;
+  readonly keepAlive: boolean;
+  readonly lazy: boolean;
+  readonly read: (get: Context$1) => A$1;
+  readonly refresh?: (f: <A$1>(atom: Atom<A$1>) => void) => void;
+  readonly label?: readonly [name: string, stack: string];
+  readonly idleTTL?: number;
+}
+type WritableTypeId = "~effect-atom/atom/Atom/Writable";
+declare const WritableTypeId: WritableTypeId;
 /**
- * Factory function to create a Ref schema for the given target schema.
- * Use this in schema definitions to declare reference fields.
- *
- * @example
- * ```ts
- * class Task extends Type.makeObject<Task>(DXN.make('com.example.type.task', '0.1.0'))(
- *   Schema.Struct({
- *     assignee: Ref.Ref(Person),  // Creates a Ref schema
- *   }),
- * ) {}
- * ```
+ * @since 1.0.0
+ * @category models
  */
-declare const Ref$1: {
-  <S$1 extends AnyObj>(type: S$1): RefSchema$1<InstanceType$1<S$1> & Unknown$1>;
-  <S$1 extends AnyRelation>(type: S$1): RefSchema$1<InstanceType$1<S$1> & Unknown$3>;
-  <T$1 extends Type$1<any>>(type: T$1): RefSchema$1<InstanceType$1<T$1>>;
-  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1): RefSchema$1<Schema.Type<S$1> & Unknown$1>;
-};
+interface Writable<R$1, W$1 = R$1> extends Atom<R$1> {
+  readonly [WritableTypeId]: WritableTypeId;
+  readonly write: (ctx: WriteContext<R$1>, value: W$1) => void;
+}
 /**
- * TypeScript type for a Ref schema.
- * This is the type of the SCHEMA itself, not the runtime ref instance.
- * For the instance type, use `Ref.Ref<T>` from the Ref module.
- *
- * @example
- * ```ts
- * // Schema type annotation (rarely needed, usually inferred):
- * const refSchema: Ref.RefSchema<typeof Task> = Ref.Ref(Task);
- *
- * // Instance type annotation (use Ref.Ref instead):
- * const refInstance: Ref.Ref<Task> = Ref.make(task);
- * ```
+ * @since 1.0.0
+ * @category context
  */
-interface RefSchema$1<T$1 extends Unknown> extends RefSchema<T$1> {}
+interface Context$1 {
+  <A$1>(atom: Atom<A$1>): A$1;
+  get<A$1>(this: Context$1, atom: Atom<A$1>): A$1;
+  result<A$1, E$1>(this: Context$1, atom: Atom<Result<A$1, E$1>>, options?: {
+    readonly suspendOnWaiting?: boolean | undefined;
+  }): Effect$1<A$1, E$1>;
+  resultOnce<A$1, E$1>(this: Context$1, atom: Atom<Result<A$1, E$1>>, options?: {
+    readonly suspendOnWaiting?: boolean | undefined;
+  }): Effect$1<A$1, E$1>;
+  once<A$1>(this: Context$1, atom: Atom<A$1>): A$1;
+  addFinalizer(this: Context$1, f: () => void): void;
+  mount<A$1>(this: Context$1, atom: Atom<A$1>): void;
+  refresh<A$1>(this: Context$1, atom: Atom<A$1>): void;
+  refreshSelf(this: Context$1): void;
+  self<A$1>(this: Context$1): Option<A$1>;
+  setSelf<A$1>(this: Context$1, a: A$1): void;
+  set<R$1, W$1>(this: Context$1, atom: Writable<R$1, W$1>, value: W$1): void;
+  setResult<A$1, E$1, W$1>(this: Context$1, atom: Writable<Result<A$1, E$1>, W$1>, value: W$1): Effect$1<A$1, E$1>;
+  some<A$1>(this: Context$1, atom: Atom<Option<A$1>>): Effect$1<A$1>;
+  someOnce<A$1>(this: Context$1, atom: Atom<Option<A$1>>): Effect$1<A$1>;
+  stream<A$1>(this: Context$1, atom: Atom<A$1>, options?: {
+    readonly withoutInitialValue?: boolean;
+    readonly bufferSize?: number;
+  }): Stream<A$1>;
+  streamResult<A$1, E$1>(this: Context$1, atom: Atom<Result<A$1, E$1>>, options?: {
+    readonly withoutInitialValue?: boolean;
+    readonly bufferSize?: number;
+  }): Stream<A$1, E$1>;
+  subscribe<A$1>(this: Context$1, atom: Atom<A$1>, f: (_: A$1) => void, options?: {
+    readonly immediate?: boolean;
+  }): void;
+  readonly registry: Registry$1;
+}
 /**
- * Extract reference target.
+ * @since 1.0.0
+ * @category context
  */
-type Target$1<R$1 extends Unknown$2> = R$1 extends Ref<infer T> ? T : never;
+interface WriteContext<A$1> {
+  get<T$1>(this: WriteContext<A$1>, atom: Atom<T$1>): T$1;
+  refreshSelf(this: WriteContext<A$1>): void;
+  setSelf(this: WriteContext<A$1>, a: A$1): void;
+  set<R$1, W$1>(this: WriteContext<A$1>, atom: Writable<R$1, W$1>, value: W$1): void;
+}
+//#endregion
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/AtomHttpApi.d.ts
+declare global {
+  interface ErrorConstructor {
+    stackTraceLimit: number;
+  }
+}
 /**
- * Reference resolver.
+ * @since 1.0.0
+ * @category Constructors
  */
-type Resolver = RefResolver;
 //#endregion
-//#region ../echo/dist/types/src/Obj.d.ts
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/AtomRpc.d.ts
+declare global {
+  interface ErrorConstructor {
+    stackTraceLimit: number;
+  }
+}
 /**
- * Base type for all ECHO objects.
+ * @since 1.0.0
+ * @category Constructors
  */
-interface BaseObj extends AnyEntity, OfKind<typeof Kind.Object> {}
+//#endregion
+//#region ../../../common/effect/dist/types/src/internal/json-path.d.ts
+type JsonPath = string & {
+  __JsonPath: true;
+};
 /**
- * Object type with specific properties.
+ * https://www.ietf.org/archive/id/draft-goessner-dispatch-jsonpath-00.html
  */
-type OfShape<Props$2> = BaseObj & Props$2;
+declare const JsonPath: Schema<JsonPath>;
+//#endregion
+//#region ../echo/dist/types/src/internal/Ref/ref.d.ts
+declare const RefTypeId: unique symbol;
 /**
- * Object with no known properties beyond id and kind.
- * Use this when the object's schema/properties are not known.
- * For objects with arbitrary properties, use `Obj.AnyProps`.
- *
- * NOTE: This is a TypeScript type only, not a schema.
- * To validate that a value is an ECHO object, use `Schema.is(Type.Obj)`.
+ * Reference Schema.
  */
-interface Unknown$1 extends BaseObj {}
+interface RefSchema$1<T$1 extends AnyEntity> extends SchemaClass<Ref<T$1>, EncodedReference> {}
 /**
- * Runtime Effect schema for any ECHO object.
- * Use for validation, parsing, or as a reference target for collections.
- *
- * NOTE: `Schema.is(Type.Obj)` does STRUCTURAL validation only (checks for `id` field).
- * Use `Obj.isObject()` for proper ECHO instance type guards that check the KindId brand.
- *
- * @example
- * ```ts
- * // Structural type guard (accepts any object with id field)
- * if (Schema.is(Type.Obj)(unknownValue)) { ... }
- *
- * // ECHO instance type guard (checks KindId brand)
- * if (Obj.isObject(unknownValue)) { ... }
- *
- * // Reference to any object type
- * class Collection extends Type.makeObject<Collection>(DXN.make('com.example.type.collection', '0.1.0'))(
- *   Schema.Struct({ objects: Schema.Array(Ref.Ref(Obj.Unknown)) }),
- * ) {}
- * ```
+ * Type of the `Ref` function and extra methods attached to it.
  */
-declare const Unknown$1: UnknownTypeSchema<Unknown$1, typeof Kind.Object>;
-declare namespace Filter_d_exports {
-  export { Any$3 as Any, ChildOfOptions, Filter, KeyFilterOptions, Props$1 as Props, TextSearchOptions, Type$3 as Type, and, between, childOf, contains, created$1 as created, eq, everything, foreignKeys, fromAst$1 as fromAst, gt, gte, id, in$ as in, is$1 as is, key$1 as key, lt, lte, neq, not, nothing, or, pretty$1 as pretty, props, tag, text, toPredicate, type$2 as type, updated$1 as updated };
-}
-interface Filter<T$1> {
-  '~Filter': {
-    value: Covariant<T$1>;
-  };
-  'ast': Filter$1;
-}
-type Props$1<T$1> = { [K in keyof T$1 & string]?: Filter<T$1[K]> | T$1[K] };
-type Any$3 = Filter<any>;
-type Type$3<F extends Any$3> = F extends Filter<infer T> ? T : never;
-declare class FilterClass implements Any$3 {
-  readonly ast: Filter$1;
-  private static 'variance';
-  constructor(ast: Filter$1);
-  '~Filter': {
-    value: Covariant<any>;
-  };
+interface RefFn {
+  <S$1 extends AnyEntity$1 | UnknownTypeSchema<any, any> = AnyEntity$1>(schema: S$1): RefSchema$1<S$1 extends AnyType ? AnyEntity$1 : S$1 extends AnyObj | AnyRelation ? InstanceType$1<S$1> : S$1 extends UnknownTypeSchema<infer A, any> ? A : never>;
+  /**
+   * @returns True if the object is a reference.
+   */
+  isRef: (obj: unknown) => obj is Ref<any>;
+  /**
+   * @returns True if the reference points to the given object id.
+   */
+  hasEntityId: (id: EntityId) => (ref: Ref<any>) => boolean;
+  /**
+   * @returns True if the schema is a reference schema.
+   */
+  isRefSchema: (schema: Schema<any, any>) => schema is RefSchema$1<any>;
+  /**
+   * @returns True if the schema AST is a reference schema.
+   */
+  isRefSchemaAST: (ast: AST) => boolean;
+  /**
+   * Constructs a reference that points to the given object.
+   */
+  make: <T$1 extends AnyEntity>(object: T$1) => Ref<T$1>;
+  /**
+   * Constructs a reference that points to the object specified by the provided URI
+   * (either an `echo:` EID for an object reference or a `dxn:` DXN for a type reference).
+   */
+  fromURI: (uri: URI) => Ref<any>;
 }
-declare const is$1: (value: unknown) => value is Any$3;
-/** Construct a filter from an ast. */
-declare const fromAst$1: (ast: Filter$1) => Any$3;
 /**
- * Filter that matches all objects.
+ * Schema builder for references.
  */
-declare const everything: () => FilterClass;
+declare const Ref: RefFn;
 /**
- * Filter that matches no objects.
+ * Represents materialized reference to a target.
+ * This is the data type for the fields marked as ref.
  */
-declare const nothing: () => FilterClass;
-declare const id: (...ids: EntityId[]) => Any$3;
+interface Ref<T$1> extends Pipeable {
+  /**
+   * Target URI (either an `echo:` EID for an object reference or a `dxn:` DXN for a type reference).
+   */
+  get uri(): URI;
+  /**
+   * Returns true if the reference has a target available (inlined or resolver set).
+   */
+  get isAvailable(): boolean;
+  /**
+   * @returns The reference target.
+   * May return `undefined` if the object is not loaded in the working set.
+   * Accessing this property, even if it returns `undefined` will trigger the object to be loaded to the working set.
+   */
+  get target(): T$1 | undefined;
+  /**
+   * @returns Promise that will resolves with the target object.
+   * Will load the object from disk if it is not present in the working set.
+   * Short-circuits immediately when the target is already loaded.
+   * @throws If the object is not available locally.
+   *
+   * @idiom org.dxos.echo.refLoad
+   *   applies: Resolving a ref inside an async function or Effect handler — guarantees the object is available before proceeding
+   *   instead-of: `ref.target` — not guaranteed to be defined in async contexts; use `await ref.load()` (or `yield* Database.load(ref)` in Effect) to ensure the target is present
+   *   uses: {@link load}
+   *   related: org.dxos.echo-react.useObjectReactive
+   */
+  load(): Promise<T$1>;
+  /**
+   * @returns Promise that will resolves with the target object or undefined if the object is not loaded locally.
+   */
+  tryLoad(): Promise<T$1 | undefined>;
+  /**
+   * Subscribe to the ref's resolution event.
+   * The callback fires when the target object becomes available in the working set
+   * (e.g. when its document is loaded after sibling-client mutation).
+   * Note: the resolver only schedules a notification when the target is requested
+   * via {@link target} while it is not yet loaded.
+   * @returns Function that unsubscribes the callback.
+   */
+  onResolved(callback: () => void): () => void;
+  /**
+   * Do not inline the target object in the reference.
+   * Makes .target unavailable unless the reference is connected to a database context.
+   *
+   * When serialized with toJSON, the difference is between:
+   * `{ "/": "dxn:..." }`
+   * and
+   * `{ "/": "dxn:...", "target": { ... } }`
+   *
+   * Clones the reference object.
+   */
+  noInline(): Ref<T$1>;
+  /**
+   * Read-only atom for the ref target.
+   * Resolves once when the target loads; does NOT subscribe to target object mutations.
+   * Use `Obj.atom(ref)` if you need reactive snapshots that update on every object mutation.
+   */
+  get atom(): Atom<T$1 | undefined>;
+  /**
+   * Serializes the reference to a JSON object.
+   * The serialization format is compatible with the IPLD-style encoded references.
+   * When a reference has a saved target (i.e. the target or object holding the reference is not in the database),
+   * the target is included in the serialized object.
+   *
+   * Examples:
+   * `{ "/": "dxn:..." }`
+   * `{ "/": "dxn:...", "target": { ... } }`
+   */
+  encode(): EncodedReference;
+  [RefTypeId]: {
+    _T: T$1;
+  };
+}
+declare namespace Ref {
+  /**
+   * Target of the reference.
+   */
+  type Target<R$1> = R$1 extends Ref<infer U> ? U : never;
+}
 /**
- * Filter by type.
+ * Load-source ceiling for a resolution request. Cheaper tiers are always probed first; the
+ * ceiling caps how far a request is allowed to reach:
+ * - `working-set`: synchronous, in-memory only. A miss settles `unavailable` immediately.
+ * - `disk`: probe the working set, then local storage; never the network.
+ * - `network`: probe the working set, disk, then fetch from peers.
  *
- * Accepts a `Type.Type` entity (the value produced by `Type.makeObject` /
- * `Type.makeRelation`), a `Schema.Union` of such entities (for filtering across a
- * union of ECHO types), or a fully-qualified type URI — an `echo:` EID (stored schema)
- * or a `dxn:` DXN (static schema). To filter by a bare typename, wrap it: `DXN.make(typename)`.
+ * `unavailable` is always relative to the requested ceiling (disk-unavailable ≠ network-unavailable).
  */
-declare const type$2: {
-  <T$1 extends AnyEntity$1>(type: T$1, props?: Props$1<InstanceType$1<T$1>>): Filter<InstanceType$1<T$1>>;
-  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
-  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
-  (uri: URI, props?: Props$1<unknown>): Filter<any>;
-  (input: AnyEntity$1 | URI, props?: Props$1<unknown>): Filter<unknown>;
-};
+type RefSource = 'working-set' | 'disk' | 'network';
 /**
- * Filter by tag.
+ * A stateful, closure-aware handle to an in-flight (or settled) reference resolution.
+ *
+ * `ready` means the entity is FULLY USABLE: its own body and its strong-dependency closure are all
+ * materialized. The body-vs-closure split is internal; `requesting` transparently covers "a
+ * dependency is still loading".
  */
-declare const tag: (tag: string) => Any$3;
+interface RefResolverRequest {
+  /**
+   * `pending` is a one-way entry state (never re-entered). `requesting` means the body and/or
+   * closure is still loading. `ready` means fully usable. `unavailable` means unreachable at the
+   * requested ceiling.
+   */
+  readonly state: 'pending' | 'requesting' | 'ready' | 'unavailable';
+  /**
+   * Fires (deferred to a microtask) whenever {@link state} changes.
+   */
+  readonly stateChanged: Event$1<void>;
+  /**
+   * Synchronous snapshot of the resolved entity; defined iff `state === 'ready'`.
+   */
+  getResult(): AnyProperties | undefined;
+  /**
+   * Settles when `state ∈ {ready, unavailable}`.
+   */
+  wait(): Promise<AnyProperties | undefined>;
+  /**
+   * Decrements the refcount on the shared load op(s); cancels the underlying IO at zero.
+   */
+  abort(): void;
+}
+interface RefResolver {
+  /**
+   * Resolve a reference, returning a stateful handle. `source` is a required ceiling; cheaper
+   * tiers are always probed first.
+   */
+  resolve(uri: URI, options: {
+    source: RefSource;
+  }): RefResolverRequest;
+  /**
+   * Resolve ref synchronously from the objects in the working set.
+   *
+   * @param uri
+   * @param load If true the resolver should attempt to load the object from disk.
+   * @param onLoad Callback to call when the object is loaded.
+   * @deprecated Use {@link resolve} with `{ source: 'working-set' }`. Removed in Task 11.
+   */
+  resolveSync(uri: URI, load: boolean, onLoad?: () => void): AnyProperties | undefined;
+  /**
+   * Resolver ref asynchronously.
+   * @deprecated Use {@link resolve} with `{ source: 'network' }`. Removed in Task 11.
+   */
+  resolveLegacy(uri: URI): Promise<AnyProperties | undefined>;
+  /**
+   * @deprecated Use {@link resolve} + `Type.getSchema`. Removed in Task 11.
+   */
+  resolveSchema(uri: URI): Promise<Schema.AnyNoContext | undefined>;
+  /**
+   * Resolve the source `Type.AnyEntity` entity for a type URI. Used by
+   * deserialization paths (`Obj.fromJSON`) to set the back-reference accessed
+   * via `Obj.getType` / `Entity.getType`. Optional — resolvers that only
+   * carry raw schemas may leave this unimplemented; the deserializer falls
+   * back to leaving the type entity unset.
+   * @deprecated Use {@link resolve}. Removed in Task 11.
+   */
+  resolveType?(uri: URI): Promise<unknown | undefined>;
+}
+//#endregion
+//#region ../echo/dist/types/src/internal/JsonSchema/json-schema-type.d.ts
 /**
- * Options for {@link key} filter.
+ * Describes a schema for the JSON-schema objects stored in ECHO.
+ * Contains extensions for ECHO (e.g., references).
+ * Ref: https://json-schema.org/draft-07/schema
  */
-type KeyFilterOptions = {
+declare const _JsonSchemaType: Struct<{
   /**
-   * Optional semver range expression (e.g. `^1.2.3`, `~2.0.0`, `>=1.0.0 <2.0.0`).
-   * Matches the object's meta `version` field against the range.
-   * If omitted, matches any version (including objects with no version).
+   * Identifier for this schema.
+   * This schema might be referenced by $ref clause in other schemas.
    */
-  version?: string;
+  $id: optional<typeof String$>;
+  /**
+   * Schema of this schema.
+   * Set to "https://json-schema.org/draft-07/schema".
+   */
+  $schema: optional<typeof String$>;
+  /**
+   * Reference to another schema.
+   */
+  $ref: optional<typeof String$>;
+  /**
+   * Comments are ignored when interpreting the schema.
+   */
+  $comment: optional<typeof String$>;
+  /**
+   * Defines whether this schema is an object schema or a relation schema.
+   */
+  entityKind: optional<Enums<typeof EntityKind>>;
+  /**
+   * Typename of this schema.
+   * Only on schema representing an ECHO object.
+   *
+   * @example 'com.example.type.my-type'
+   */
+  typename: optional<typeof String$>;
+  /**
+   * Version of this schema.
+   * Custom dialect for ECHO.
+   */
+  version: optional<typeof String$>;
+  /**
+   * Target of this relation.
+   * Only for relation schemas.
+   * The referenced schema must be an object schema.
+   */
+  relationTarget: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
+  /**
+   * Source of this relation.
+   * Only for relation schemas.
+   * The referenced schema must be an object schema.
+   */
+  relationSource: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
+  /**
+   * Title of this schema.
+   */
+  title: optional<typeof String$>;
+  /**
+   * Description of this schema.
+   */
+  description: optional<typeof String$>;
+  /**
+   * Whether this schema is read-only.
+   */
+  readOnly: optional<typeof Boolean$>;
+  /**
+   * Whether this schema is write-only.
+   */
+  writeOnly: optional<typeof Boolean$>;
+  /**
+   * Examples of instances of this schema.
+   */
+  examples: optional<Array$<typeof Any$5>>;
+  /**
+   * Default value for this schema.
+   */
+  default: optional<typeof Any$5>;
+  /**
+   * This schema only matches values that are equal to this value.
+   */
+  const: optional<typeof Any$5>;
+  /**
+   * This schema only matches one of the values in this array.
+   */
+  enum: optional<Array$<typeof Any$5>>;
+  /**
+   * Base type of the schema.
+   */
+  type: optional<Union<[Literal<["array", "boolean", "integer", "null", "number", "object", "string"]>, Array$<Literal<["array", "boolean", "integer", "null", "number", "object", "string"]>>]>>;
+  multipleOf: optional<filter<typeof Number$>>;
+  maximum: optional<typeof Number$>;
+  exclusiveMaximum: optional<typeof Number$>;
+  minimum: optional<typeof Number$>;
+  exclusiveMinimum: optional<typeof Number$>;
+  maxLength: optional<filter<typeof Number$>>;
+  /**
+   * Regex pattern for strings.
+   */
+  pattern: optional<typeof String$>;
+  /**
+   * Serialized from {@link FormatAnnotationId}.
+   */
+  format: optional<typeof String$>;
+  minLength: optional<filter<typeof Number$>>;
+  items: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, Array$<suspend<JsonSchemaType, JsonSchemaType, never>>]>>;
+  additionalItems: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, typeof Boolean$]>>;
+  maxItems: optional<filter<typeof Number$>>;
+  minItems: optional<filter<typeof Number$>>;
+  uniqueItems: optional<typeof Boolean$>;
+  contains: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
+  maxProperties: optional<filter<typeof Number$>>;
+  minProperties: optional<filter<typeof Number$>>;
+  required: optional<Array$<typeof String$>>;
+  /**
+   * Non-standard JSON Schema extension.
+   * Defines the order of properties in the object.
+   * The unmentioned properties are placed at the end.
+   *
+   * Related: https://github.com/json-schema/json-schema/issues/119
+   */
+  propertyOrder: optional<Array$<typeof String$>>;
+  additionalProperties: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, typeof Boolean$]>>;
+  properties: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
+  patternProperties: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
+  propertyNames: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
+  definitions: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
+  dependencies: optional<Record$<typeof String$, suspend<string | JsonSchemaType | readonly string[], string | JsonSchemaType | readonly string[], never>>>;
+  contentMediaType: optional<typeof String$>;
+  contentEncoding: optional<typeof String$>;
+  if: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
+  then: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
+  else: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
+  allOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
+  anyOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
+  oneOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
+  not: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
+  $defs: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
+  currency: optional<typeof String$>;
+  reference: optional<Struct<{
+    schema: suspend<JsonSchemaType, JsonSchemaType, never>;
+    schemaVersion: optional<typeof String$>;
+    schemaObject: optional<typeof String$>;
+  }>>;
+  /**
+   * ECHO-specific annotations.
+   */
+  annotations: optional<Struct<{
+    /**
+     * Label for this schema.
+     * Mapped from {@link LabelAnnotationId}.
+     */
+    labelProp: optional<Union<[Schema<JsonPath, JsonPath, never>, Array$<Schema<JsonPath, JsonPath, never>>]>>;
+    /**
+     * Generator function for this schema.
+     * Mapped from {@link GeneratorAnnotationId}; mirrors `GeneratorAnnotationValue`, whose object
+     * form (`{ generator, args }`) is used by schemas like `Task` — a narrower contract here makes
+     * those schemas unserializable (`Operation.serialize` fails on any operation referencing them).
+     */
+    generator: optional<Union<[typeof String$, Tuple2<typeof String$, typeof Number$>, Struct<{
+      generator: typeof String$;
+      args: optional<Array$<typeof Any$5>>;
+      probability: optional<typeof Number$>;
+    }>]>>;
+    /**
+     * {@link PropertyMeta} annotations get serialized here.
+     */
+    meta: optional<Record$<typeof String$, typeof Any$5>>;
+    /**
+     * @deprecated
+     */
+    type: optional<Struct<{
+      typename: typeof String$;
+      version: typeof String$;
+      schemaId: optional<typeof String$>;
+    }>>;
+    /**
+     * @deprecated Superseded by `meta`.
+     */
+    annotations: optional<Record$<typeof String$, typeof Any$5>>;
+  }>>;
+  /**
+   * @deprecated Use `annotations` instead.
+   */
+  echo: optional<Struct<{
+    /**
+     * Label for this schema.
+     * Mapped from {@link LabelAnnotationId}.
+     */
+    labelProp: optional<Union<[Schema<JsonPath, JsonPath, never>, Array$<Schema<JsonPath, JsonPath, never>>]>>;
+    /**
+     * Generator function for this schema.
+     * Mapped from {@link GeneratorAnnotationId}; mirrors `GeneratorAnnotationValue`, whose object
+     * form (`{ generator, args }`) is used by schemas like `Task` — a narrower contract here makes
+     * those schemas unserializable (`Operation.serialize` fails on any operation referencing them).
+     */
+    generator: optional<Union<[typeof String$, Tuple2<typeof String$, typeof Number$>, Struct<{
+      generator: typeof String$;
+      args: optional<Array$<typeof Any$5>>;
+      probability: optional<typeof Number$>;
+    }>]>>;
+    /**
+     * {@link PropertyMeta} annotations get serialized here.
+     */
+    meta: optional<Record$<typeof String$, typeof Any$5>>;
+    /**
+     * @deprecated
+     */
+    type: optional<Struct<{
+      typename: typeof String$;
+      version: typeof String$;
+      schemaId: optional<typeof String$>;
+    }>>;
+    /**
+     * @deprecated Superseded by `meta`.
+     */
+    annotations: optional<Record$<typeof String$, typeof Any$5>>;
+  }>>;
+}>;
+/**
+ * https://json-schema.org/draft-07/schema
+ */
+interface JsonSchemaType extends Schema.Type<typeof _JsonSchemaType> {}
+declare const JsonSchemaType: Schema<JsonSchemaType>;
+//#endregion
+//#region ../echo/dist/types/src/internal/Entity/entity.d.ts
+type EchoTypeSchemaProps<T$1, ExtraFields = {}> = Simplify$1<AnyEntity & ToMutable<T$1> & ExtraFields>;
+/**
+ * Options accepted by every `Type.makeObject` / `Type.makeRelation` / type-kind
+ * factory. Defaults are derived from `(typename, version)` so callers normally
+ * pass nothing.
+ */
+type EchoTypeOptions = {
+  /**
+   * Override the entity id stamped on the in-memory `Type.Type` value.
+   *
+   * Defaults to `EntityId.deterministic(typename, version)` — stable across processes
+   * and workerd-safe (no `crypto.getRandomValues()` at module-evaluation time).
+   * Pass an explicit id (typically `EntityId.random()`) to opt out of the
+   * deterministic default.
+   */
+  id?: EntityId;
 };
 /**
- * Filter by registry key stored in object meta.
+ * In-memory `Type.Type` entity shape produced by `Type.makeObject(dxn)` /
+ * `Type.makeRelation({...})`. A live reactive `TypeSchema` instance —
+ * identical to a persisted `Type.Type` except for database attachment.
+ *
+ * NOT a `Schema.Schema`. The underlying Effect Schema is cached on the hidden
+ * `StaticTypeSchemaSlot` slot — retrieve it via `Type.getSchema(...)`.
+ */
+interface EchoTypeSchema<Self extends Schema.Any, ExtraFields = {}, K$1 extends EntityKind = EntityKind, Fields extends Struct.Fields = Struct.Fields> {
+  /**
+   * Entity-kind brand. Type entities are their own kind (`Type`) regardless of
+   * the kind of instance they describe — `[SchemaKindId]` carries the latter.
+   * This lets predicates like `Obj.isObject` / `Relation.isRelation` cleanly
+   * reject type entities without also having to inspect `[SchemaKindId]`.
+   */
+  readonly [KindId]: EntityKind.Type;
+  /** Schema-kind brand indicating what kind of instance this type describes. */
+  readonly [SchemaKindId]: K$1;
+  /**
+   * Entity id. Always present — stamped at construction — but NOT the type's
+   * identity while in-memory: an unattached type resolves its URI to the typename
+   * DXN, switching to `echo:/<id>` only once attached to a database (see
+   * `getTypeURIFromSpecifier`, which discriminates by database attachment).
+   */
+  readonly id: EntityId;
+  /** Source Effect Schema (kept on a hidden slot for `Type.getSchema`). */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  readonly jsonSchema: JsonSchemaType;
+  /** Struct fields for introspection. */
+  readonly fields: Fields;
+  /** Phantom — instance type produced by `Obj.make(self, ...)`. */
+  readonly _instance?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields>;
+  /**
+   * Phantom slot mirroring `Type<A>` so internal helpers (`makeObject`,
+   * `createObject`, `Ref.make`) infer the instance type uniformly whether
+   * the caller passes an `EchoTypeSchema` or a top-level `Type.Type` entity.
+   *
+   * Includes the instance-kind brand (`[KindId]`) so the phantom is assignable
+   * to the matching public-side interface in `Type.ts` (`Type.Obj` /
+   * `Type.Relation` / `Type.Type`). Each kind projects identity: instances of
+   * an object-kind schema are object-kind entities, type-kind schemas produce
+   * type-kind (persisted Type.Type) entities — the latter additionally carry
+   * the `[SchemaKindId]` / `[StaticTypeSchemaSlot]` brands the echo-handler
+   * proxy exposes on persisted Type entities.
+   */
+  readonly [InstancePhantomId$1]?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields> & {
+    readonly [KindId]: K$1;
+  } & (K$1 extends EntityKind.Type ? {
+    readonly [SchemaKindId]: EntityKind.Type;
+    readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  } : {});
+}
+//#endregion
+//#region ../echo/dist/types/src/internal/Entity/type-kind.d.ts
+/**
+ * Type-kind schema marker — produced by {@link EchoTypeKindSchema}.
  *
- * @example
- * ```ts
- * Filter.key('org.example.type.foo');
- * Filter.key('org.example.type.foo', { version: '^1.2.3' });
- * ```
+ * Distinguishes meta-schemas (entities of `EntityKind.Type`, such as the
+ * built-in `Type.Type` TypeSchema) from object and relation types.
  */
-declare const key$1: (key: string, options?: KeyFilterOptions) => Any$3;
+type EchoTypeKindSchema<Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields> = EchoTypeSchema<Self, {}, EntityKind.Type, Fields>;
 /**
- * Filter by properties.
+ * Pipeable that brands a schema as a type-kind ECHO entity. Mirrors
+ * {@link EchoObjectSchema} / {@link EchoRelationSchema}, but stamps the
+ * resulting entity with `[SchemaKindId]: EntityKind.Type` and a matching
+ * `TypeAnnotation.kind = 'type'` so meta-schemas surface uniformly through
+ * `Type.isTypeKind`, `Filter.type`, etc.
  */
-declare const props: <T$1>(props: Props$1<T$1>) => Filter<T$1>;
-type TextSearchOptions = {
-  type?: 'full-text' | 'vector';
+declare const EchoTypeKindSchema: {
+  (dxn: DXN, options?: EchoTypeOptions): <Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields>(self: Self & {
+    fields?: Fields;
+  }) => EchoTypeKindSchema<Self, Fields>;
 };
+//#endregion
+//#region ../echo/dist/types/src/internal/Type/type-schema.d.ts
 /**
- * Full-text or vector search.
- */
-declare const text: (text: string, options?: TextSearchOptions) => Any$3;
-/**
- * Filter by foreign keys.
- */
-declare const foreignKeys: <S$1 extends AnyEntity$1 | URI>(schema: S$1, keys: ForeignKey[]) => Filter<S$1 extends AnyEntity$1 ? InstanceType$1<S$1> : unknown>;
-/**
- * Predicate for property to be equal to the provided value.
- */
-declare const eq: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be not equal to the provided value.
- */
-declare const neq: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be greater than the provided value.
- */
-declare const gt: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be greater than or equal to the provided value.
- */
-declare const gte: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be less than the provided value.
- */
-declare const lt: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be less than or equal to the provided value.
- */
-declare const lte: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be in the provided array.
- * @param values - Values to check against.
+ * Raw struct backing {@link TypeSchema}. Exposed only so `TypeSchema`
+ * (the TS type) can derive its data fields via `Schema.Schema.Type<typeof ...>`;
+ * runtime callers should use {@link TypeSchema} (the piped, branded entity).
+ *
+ * `typename` and `version` are NOT data fields — they live in `EntityMeta.key` /
+ * `EntityMeta.version` (the canonical registry-provenance pair, queryable via
+ * `Filter.key(...)`). The same `jsonSchema` payload also embeds them so a
+ * standalone JSON-Schema export remains self-describing, but the schema-registry
+ * reads/writes them through meta.
  */
-declare const in$: <T$1>(...values: T$1[]) => Filter<T$1>;
+declare const TypeSchemaStruct: Struct<{
+  name: optional<typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>;
 /**
- * Predicate for an array property to contain the provided value.
- * @param value - Value to check against.
+ * Persistent representation of a schema.
  */
-declare const contains: <T$1>(value: T$1) => Filter<readonly T$1[] | undefined>;
+declare const TypeSchema: EchoTypeKindSchema<Struct<{
+  name: optional<typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>, Readonly<{
+  name: optional<typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>>;
 /**
- * Predicate for property to be in the provided range.
- * @param from - Start of the range (inclusive).
- * @param to - End of the range (exclusive).
+ * Persistent representation of a schema — the runtime shape that
+ * `db.addType(Type.makeObjectFromJsonSchema(...))` produces
+ * and `Filter.type(Type.Type).run()` returns.
+ *
+ * Structurally identical to a static `Type.Type` entity: the entity-handler's
+ * `get` trap exposes `[SchemaKindId]` (derived from `system.kind` and
+ * `data.jsonSchema.entityKind`) and rebuilds `[StaticTypeSchemaSlot]` lazily
+ * from `jsonSchema`, so a persisted instance satisfies the public `Type<A>`
+ * interface without casting.
  */
-declare const between: <T$1>(from: T$1, to: T$1) => Filter<T$1>;
-type TimeRange = {
-  after?: Date | number;
-  before?: Date | number;
+type TypeSchema = Schema.Type<typeof TypeSchemaStruct> & {
+  /** Object identifier — injected by `EchoTypeKindSchema` and stamped at construction. */
+  readonly id: string;
+  /** Entity-kind discriminator (object/relation/type) carried on every entity instance. */
+  readonly [KindId]: EntityKind.Type;
+  /** Kind of schema described by this meta-instance — always `EntityKind.Type` for `Type.Type` itself. */
+  readonly [SchemaKindId]: EntityKind.Type;
+  /** Effect Schema rebuilt lazily from `jsonSchema`; satisfies `Type.getSchema(...)` without an extra cast. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
 };
+//#endregion
+//#region ../echo/dist/types/src/internal/common/types/entity.d.ts
 /**
- * Filter objects by updatedAt timestamp.
- */
-declare const updated$1: (range: TimeRange) => Any$3;
-/**
- * Filter objects by createdAt timestamp.
+ * String key used to identify the kind of an entity instance (object or relation).
  */
-declare const created$1: (range: TimeRange) => Any$3;
-type ChildOfOptions = {
-  /** Whether to match transitively (grandchildren, etc.). Defaults to true. */
-  transitive?: boolean;
-};
+declare const KindId: '~@dxos/echo/Kind';
+type KindId = typeof KindId;
 /**
- * Filter objects that are children of the specified parent(s).
- * Accepts ECHO objects, Refs, or arrays of either.
- * Refs are resolved to DXNs without loading; objects use {@link Obj.getURI}.
- * With transitive=true (default), also matches grandchildren and beyond.
+ * String key used to identify the kind of a schema (object schema or relation schema).
+ * Parallels KindId which identifies instance kinds.
  */
-declare const childOf: (parents: Unknown$1 | Unknown$2 | readonly (Unknown$1 | Unknown$2)[], options?: ChildOfOptions) => Any$3;
+declare const SchemaKindId: '~@dxos/echo/SchemaKind';
+type SchemaKindId = typeof SchemaKindId;
 /**
- * Negate the filter.
+ * String key used to brand snapshot types.
+ * Snapshots have SnapshotKindId instead of KindId, making them
+ * distinguishable from reactive objects at the type level.
  */
-declare const not: <F extends Any$3>(filter: F) => Filter<Type$3<F>>;
+declare const SnapshotKindId$1: '~@dxos/echo/SnapshotKind';
+type SnapshotKindId$1 = typeof SnapshotKindId$1;
 /**
- * Combine filters with a logical AND.
+ * Hidden slot on a static `Type.Type` entity that holds the source Effect
+ * Schema. `Type.getSchema(...)` reads this for static types; persisted types
+ * rebuild from `jsonSchema` instead. Stored as a string key for declaration
+ * portability (see KindId comment above).
  */
-declare const and: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$3<Filters[number]>>;
+declare const StaticTypeSchemaSlot: '~@dxos/echo/Type.StaticSchema';
+type StaticTypeSchemaSlot = typeof StaticTypeSchemaSlot;
 /**
- * Combine filters with a logical OR.
+ * Phantom string key on `Type<A>` entities that carries the instance type `A`.
+ * Lets internal helpers (`makeObject`, `createObject`, etc.) pattern-match the
+ * instance type from an entity input without importing from the top-level
+ * `Type` module. Mirrors `Type.InstancePhantomId` (declared in `Type.ts`).
+ *
+ * Stored as a string key so declarations remain portable across packages
+ * (see KindId comment above).
  */
-declare const or: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$3<Filters[number]>>;
+declare const InstancePhantomId$1: '~@dxos/echo/Type.Instance';
+type InstancePhantomId$1 = typeof InstancePhantomId$1;
 /**
- * Returns a human-readable string representation of a Filter AST.
+ * Nominal brand carried by the well-known "any object" / "any relation"
+ * schemas (`Obj.Unknown`, `Relation.Unknown`). The brand lets `Ref.Ref`,
+ * `Filter.type`, and `Query.type` accept these schemas in addition to
+ * `Type.Type` entities, without opening the door to arbitrary raw schemas.
+ *
+ * Stored as a string key so declarations remain portable across packages
+ * (see KindId comment above).
  */
-declare const pretty$1: (filter: Any$3) => string;
+declare const UnknownTypeSchemaBrandId: '~@dxos/echo/UnknownTypeSchemaBrand';
+type UnknownTypeSchemaBrandId = typeof UnknownTypeSchemaBrandId;
 /**
- * Create a predicate from a filter.
+ * Schema-side companion to `Type.Type` entities for the "any object" /
+ * "any relation" cases. Branded so `Ref.Ref` / `Filter.type` / `Query.type`
+ * can pattern-match on it; arbitrary `Schema.Schema` values do not satisfy
+ * this shape.
  */
-declare const toPredicate: {
-  <T$1 extends Unknown>(filter: Filter<T$1>): (entity: Unknown) => entity is T$1;
-  <T$1 extends Unknown>(entity: Unknown, filter: Filter<T$1>): entity is T$1;
-};
-//#endregion
-//#region ../echo/dist/types/src/Collection.d.ts
-declare const Collection_base: ObjClass<Collection, {
-  readonly name?: string | undefined;
-  readonly objects: readonly Ref<Unknown$1>[];
-}, {}>;
+interface UnknownTypeSchema<A$1, K$1 extends EntityKind> extends Schema<A$1, any, never> {
+  readonly [UnknownTypeSchemaBrandId]: K$1;
+}
 /**
- * A an ordered set of objects.
+ * Kinds of entities stored in ECHO: objects, relations, and types.
  */
-declare class Collection extends Collection_base {}
-//#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/AtomHttpApi.d.ts
-declare global {
-  interface ErrorConstructor {
-    stackTraceLimit: number;
-  }
+declare enum EntityKind {
+  Object = "object",
+  Relation = "relation",
+  Type = "type",
 }
+//#endregion
+//#region ../echo/dist/types/src/Ref.d.ts
 /**
- * @since 1.0.0
- * @category Constructors
+ * Instance type for a reference.
+ *
+ * Reference can point to any object or relation.
+ * References are lazy loaded.
+ *
+ * `ref.dxn` is the DXN of the referenced object.
+ *
+ * @example
+ * ```ts
+ * const taskRef: Ref<Task> = Ref.make(task);
+ *
+ * await taskRef.load(); // Returns Promise<Task>
+ * yield* Database.load(taskRef); // Effectful version.
+ *
+ * database.makeRef(dxn); // Create a ref from a DXN.
+ * ```
  */
-//#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/AtomRpc.d.ts
-declare global {
-  interface ErrorConstructor {
-    stackTraceLimit: number;
-  }
-}
+type Ref$1<T$1> = Ref<T$1>;
+type Unknown$3 = Ref<Unknown>;
 /**
- * @since 1.0.0
- * @category Constructors
+ * Factory function to create a Ref schema for the given target schema.
+ * Use this in schema definitions to declare reference fields.
+ *
+ * @example
+ * ```ts
+ * class Task extends Type.makeObject<Task>(DXN.make('com.example.type.task', '0.1.0'))(
+ *   Schema.Struct({
+ *     assignee: Ref.Ref(Person),  // Creates a Ref schema
+ *   }),
+ * ) {}
+ * ```
  */
-//#endregion
-//#region ../../../common/effect/dist/types/src/internal/json-path.d.ts
-type JsonPath = string & {
-  __JsonPath: true;
+declare const Ref$1: {
+  <S$1 extends AnyObj>(type: S$1): RefSchema<InstanceType$1<S$1> & Unknown>;
+  <S$1 extends AnyRelation>(type: S$1): RefSchema<InstanceType$1<S$1> & Unknown$2>;
+  <T$1 extends Type$3<any>>(type: T$1): RefSchema<InstanceType$1<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1): RefSchema<Schema.Type<S$1> & Unknown>;
 };
 /**
- * https://www.ietf.org/archive/id/draft-goessner-dispatch-jsonpath-00.html
- */
-declare const JsonPath: Schema<JsonPath>;
-//#endregion
-//#region ../echo/dist/types/src/View.d.ts
-declare const View_base: ObjClass<View, {
-  readonly query: {
-    readonly raw?: string | undefined;
-    readonly ast: QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause;
-  };
-  readonly projection: {
-    readonly schema?: JsonSchemaType | undefined;
-    readonly fields: readonly {
-      readonly id: string;
-      readonly path: JsonPath;
-      readonly visible?: boolean | undefined;
-      readonly referencePath?: JsonPath | undefined;
-    }[];
-    readonly pivotFieldId?: string | undefined;
-  };
-}, {}>;
+ * TypeScript type for a Ref schema.
+ * This is the type of the SCHEMA itself, not the runtime ref instance.
+ * For the instance type, use `Ref.Ref<T>` from the Ref module.
+ *
+ * @example
+ * ```ts
+ * // Schema type annotation (rarely needed, usually inferred):
+ * const refSchema: Ref.RefSchema<typeof Task> = Ref.Ref(Task);
+ *
+ * // Instance type annotation (use Ref.Ref instead):
+ * const refInstance: Ref.Ref<Task> = Ref.make(task);
+ * ```
+ */
+interface RefSchema<T$1 extends Unknown$1> extends RefSchema$1<T$1> {}
 /**
- * Views are generated or user-defined projections of a schema's properties.
- * They are used to configure the visual representation of the data.
+ * Extract reference target.
  */
-declare class View extends View_base {}
+type Target$1<R$1 extends Unknown$3> = R$1 extends Ref<infer T> ? T : never;
+/**
+ * Reference resolver.
+ */
+type Resolver = RefResolver;
 //#endregion
-//#region ../echo/dist/types/src/Dataset.d.ts
+//#region ../echo/dist/types/src/Relation.d.ts
+type Endpoints$1<Source$1, Target$2> = {
+  [Source$1]: Source$1;
+  [Target$2]: Target$2;
+};
 /**
- * Abstract set of objects, represented by a view, feed, or collection.
- * Schema-level union of the underlying type entities (rebuilt via
- * `Type.getSchema`) so this can still be consumed by Schema-side APIs such
- * as `Filter.type(...)` on a union.
+ * Base type for all ECHO relations.
+ * @private
  */
-type Dataset = Feed | Collection | View;
-declare const Dataset: Union<[Schema<Feed & OfKind<EntityKind.Object>, Feed & OfKind<EntityKind.Object>, never>, Schema<Collection & OfKind<EntityKind.Object>, Collection & OfKind<EntityKind.Object>, never>, Schema<View & OfKind<EntityKind.Object>, View & OfKind<EntityKind.Object>, never>]>;
-declare namespace Order_d_exports {
-  export { Any$2 as Any, Order, created, natural, property, rank, updated };
-}
-interface Order<T$1> {
-  '~Order': {
-    value: T$1;
-  };
-  'ast': Order$1;
-}
-type Any$2 = Order<any>;
-declare const natural: Order<any>;
-declare const property: <T$1>(property: keyof T$1 & string, direction: OrderDirection) => Order<T$1>;
+interface BaseRelation<Source$1, Target$2> extends AnyEntity, Endpoints$1<Source$1, Target$2>, OfKind<EntityKind.Relation> {}
 /**
- * Order by relevance rank (for FTS/vector search results).
- * Higher rank = better match. Default direction is 'desc' (best matches first).
+ * Relation with no known properties beyond id, kind, source, and target.
+ * Use this when the relation's schema/properties are not known.
+ *
+ * NOTE: This is a TypeScript type only, not a schema.
+ * To validate that a value is an ECHO relation, use `Relation.isRelation`.
  */
-declare const rank: <T$1>(direction?: OrderDirection) => Order<T$1>;
+interface Unknown$2 extends BaseRelation<Unknown, Unknown> {}
 /**
- * Order by the system `updatedAt` timestamp (last re-indexed). Default direction is 'desc'
- * (most-recently-updated first). Mirrors {@link Filter.updated}.
+ * Runtime Effect schema for any ECHO relation.
+ * Use for validation, parsing, or as a reference target for collections.
+ * A relation has `id`, source, and target fields plus any additional properties.
+ *
+ * NOTE: `Schema.is(Type.Relation)` does STRUCTURAL validation only (checks for `id` field).
+ * Use `Relation.isRelation()` for proper ECHO instance type guards that check the KindId brand.
+ *
+ * @example
+ * ```ts
+ * // Structural type guard (accepts any object with id field)
+ * if (Schema.is(Type.Relation)(unknownValue)) { ... }
+ *
+ * // ECHO instance type guard (checks KindId brand)
+ * if (Relation.isRelation(unknownValue)) { ... }
+ * ```
  */
-declare const updated: <T$1>(direction?: OrderDirection) => Order<T$1>;
+declare const Unknown$2: UnknownTypeSchema<Unknown$2, typeof Kind.Relation>;
 /**
- * Order by the system `createdAt` timestamp (first indexed). Default direction is 'desc'
- * (most-recently-created first). Mirrors {@link Filter.created}.
+ * Get relation source type.
  */
-declare const created: <T$1>(direction?: OrderDirection) => Order<T$1>;
-declare namespace Query_d_exports {
-  export { Any$1 as Any, Query, Type$2 as Type, all, from, fromAst, is, pretty, select, type$1 as type, without };
-}
+type SourceOf<A$1> = A$1 extends Endpoints$1<infer S, infer _T> ? S : never;
 /**
- * All property paths inside T that are references.
+ * Get relation target type.
  */
-type RefPropKey<T$1> = keyof T$1 & string;
-type RefArrayElement<A$1> = A$1 extends readonly (infer E)[] ? E : A$1 extends (infer E)[] ? E : never;
-/** Target entity when traversing an outgoing ref or array-of-refs property. */
-type ReferenceTraversalTarget<P$1> = P$1 extends Unknown$2 ? Target$1<P$1> : P$1 extends Unknown$2 | undefined ? Target$1<Exclude<P$1, undefined>> : RefArrayElement<P$1> extends Unknown$2 ? Target$1<RefArrayElement<P$1>> : never;
-interface Query<T$1> {
-  '~Query': {
-    value: T$1;
-  };
-  'ast': Query$1;
-  /**
-   * Filter the current selection based on a filter.
-   * @param filter - Filter to select the objects.
-   * @returns Query for the selected objects.
-   */
-  'select'(filter: Filter<T$1>): Query<T$1>;
-  'select'(props: Props$1<T$1>): Query<T$1>;
-  /**
-   * Traverse an outgoing reference.
-   * @param key - Property path inside T that is a reference or optional reference.
-   * @returns Query for the target of the reference.
-   */
-  'reference'<K$1 extends RefPropKey<T$1>>(key: K$1): Query<ReferenceTraversalTarget<T$1[K$1]>>;
-  /**
-   * Find objects referencing this object.
-   * @param target - Schema of the referencing object. If not provided, matches any type.
-   * @param key - Property path inside the referencing object that is a reference. If not provided, matches any property.
-   * @returns Query for the referencing objects.
-   */
-  'referencedBy'<S$1 extends AnyEntity$1>(target: S$1 | URI, key: RefPropKey<InstanceType$1<S$1>>): Query<InstanceType$1<S$1>>;
-  'referencedBy'<S$1 extends AnyEntity$1>(target: S$1 | URI): Query<InstanceType$1<S$1>>;
-  'referencedBy'(): Query<any>;
-  /**
-   * Find relations where this object is the source.
-   * @returns Query for the relation objects.
-   * @param relation - Schema of the relation.
-   * @param predicates - Predicates to filter the relation objects.
-   */
-  'sourceOf'<R$1 extends AnyRelation>(relation?: R$1 | URI, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
-  /**
-   * Find relations where this object is the target.
-   * @returns Query for the relation objects.
-   * @param relation - Type entity of the relation.
-   * @param predicates - Predicates to filter the relation objects.
-   */
-  'targetOf'<R$1 extends AnyRelation>(relation?: R$1 | URI, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
-  /**
-   * For a query for relations, get the source objects.
-   * @returns Query for the source objects.
-   */
-  'source'(): Query<SourceOf<T$1>>;
-  /**
-   * For a query for relations, get the target objects.
-   * @returns Query for the target objects.
-   */
-  'target'(): Query<TargetOf<T$1>>;
-  /**
-   * Get the parent object of the current selection.
-   * @returns Query for the parent objects.
-   */
-  'parent'(): Query<any>;
-  /**
-   * Get all child objects of the current selection.
-   * @returns Query for the child objects.
-   */
-  'children'(): Query<any>;
-  /**
-   * Order the query results.
-   * Orders are specified in priority order. The first order will be applied first, etc.
-   * @param order - Order to sort the results.
-   * @returns Query for the ordered results.
-   */
-  'orderBy'(...order: NonEmptyArray<Order<T$1>>): Query<T$1>;
-  /**
-   * Limit the number of results.
-   * @param limit - Maximum number of results to return.
-   * @returns Query for the limited results.
-   */
-  'limit'(limit: number): Query<T$1>;
-  /**
-   * Query from selected databases only.
-   *
-   * Example:
-   *
-   * ```ts
-   * Query.select(Filter.type(Person)).from(db);
-   * ```
-   *
-   * @param options.includeFeeds [false] - Whether to include feeds in the query. Default is to query from automerge documents only.
-   */
-  'from'(database: Database | Database[], options?: {
-    includeFeeds?: boolean;
-  }): Query<T$1>;
-  /**
-   * Query from selected feeds only.
-   *
-   * Example:
-   *
-   * ```ts
-   * Query.select(Filter.type(Person)).from(feed);
-   * ```
-   *
-   */
-  'from'(feeds: Feed | Feed[]): Query<T$1>;
-  /**
-   * Query from all accessible spaces.
-   *
-   * Example:
-   *
-   * ```ts
-   * Query.select(Filter.type(Person)).from('all-accessible-spaces');
-   * ```
-   *
-   * @param options.includeFeeds [false] - Whether to include feeds in the query. Default is to query from automerge documents only.
-   */
-  'from'(allSpaces: 'all-accessible-spaces', options?: {
-    includeFeeds?: boolean;
-  }): Query<T$1>;
-  /**
-   * Query from a dataset.
-   * Currently only feeds are supported.
-   *
-   * Example:
-   *
-   * ```ts
-   * Query.type(Person).from(feed);
-   * ```
-   */
-  'from'(dataset: Dataset): Query<T$1>;
-  /**
-   * Query from the results of another query.
-   *
-   * Example:
-   *
-   * ```ts
-   * Query.select(Filter.props({ foo: 'foo' })).from(Query.select(Filter.type(Contact)).reference('org'));
-   * ```
-   */
-  'from'(query: Any$1): Query<T$1>;
+type TargetOf<A$1> = A$1 extends Endpoints$1<infer _S, infer T> ? T : never;
+//#endregion
+//#region ../echo/dist/types/src/Type.d.ts
+/**
+ * Structural base shared by the three sibling type-entity interfaces
+ * ({@link Obj}, {@link Relation}, {@link Type}). NOT exported — callers
+ * should constrain on {@link AnyEntity} when they want "any of the three"
+ * and on the specific kind interface otherwise.
+ */
+interface BaseTypeEntity<A$1> {
   /**
-   * Query from one or more raw scopes.
-   *
-   * Use the {@link Scope} constructors rather than raw tagged objects:
-   *
-   * ```ts
-   * Query.select(Filter.type(Type.Type)).from(Scope.space(), Scope.registry());
-   * ```
+   * Entity-kind brand of the type-entity value itself — always `EntityKind.Type`.
+   * The kind of instance the type *describes* lives on `[SchemaKindId]`
+   * (Object / Relation / Type). Lets `Obj.isObject` / `Relation.isRelation`
+   * reject type entities by a single `[KindId]` check.
    */
-  'from'(...scopes: Scope[]): Query<T$1>;
+  readonly [KindId]: EntityKind.Type;
   /**
-   * Query from a raw scope or array of scopes.
+   * Object id. Like all ECHO entities, type entities always carry an id —
+   * stamped at construction for in-memory (static) declarations and assigned by
+   * the database once persisted. The id does NOT determine the entity's URI:
+   * static types resolve to their typename DXN, persisted types to `echo:/<id>`
+   * (see `getTypeURIFromSpecifier`).
    */
-  'from'(scope: Scope | Scope[]): Query<T$1>;
+  readonly id: EntityId;
+  readonly name?: string;
+  readonly jsonSchema: JsonSchemaType;
+  readonly [InstancePhantomId]?: A$1;
+}
+/**
+ * TypeScript type for an ECHO object type — a `Type.Type<A>` entity.
+ *
+ * `T` is the instance type produced by `Obj.make(Foo, props)`. `Fields` is
+ * retained as a structural hint (the runtime value still carries `.fields`),
+ * but consumers should derive instance/encoded types via `Type.InstanceType`.
+ *
+ * **Not a `Schema.Schema`.** `Foo.ast` / `Schema.Schema.Type<typeof Foo>` /
+ * `Schema.extend(Foo)` no longer typecheck — extract the Effect Schema via
+ * `Type.getSchema(Foo)` first, or derive instance types via
+ * `Type.InstanceType<typeof Foo>`.
+ *
+ * @example
+ * ```ts
+ * class Person extends Type.makeObject<Person>(DXN.make('com.example.type.person', '0.1.0'))(
+ *   Schema.Struct({ name: Schema.String }),
+ * ) {}
+ * ```
+ */
+interface Obj$1<T$1, Fields extends Struct.Fields = Struct.Fields> extends BaseTypeEntity<T$1 & OfKind<typeof Kind.Object>> {
+  /** Schema-kind brand (object). */
+  readonly [SchemaKindId]: EntityKind.Object;
+  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
   /**
-   * Add options to a query.
+   * The fields defined in the original struct schema.
+   * Allows accessing field definitions for introspection.
    */
-  'options'(options: QueryOptions): Query<T$1>;
+  readonly fields: Fields;
+}
+/**
+ * Return type for {@link makeObject}.
+ *
+ * Not to be used directly, but must be exported for typescript to infer the type.
+ */
+interface ObjClass<Self, T$1, Fields extends Struct.Fields> extends Obj$1<Self, Fields> {
+  new (_: never): T$1 & OfKind<typeof Kind.Object>;
+}
+/**
+ * Type that represents any ECHO object type — a `Type.Type` entity branded
+ * with the object entity kind, i.e. what `Type.makeObject(dxn)` produces.
+ */
+type AnyObj = Obj$1<unknown>;
+/**
+ * ECHO meta-schema entity — stores `{ name?, typename, version, jsonSchema }`.
+ * Type-kind sibling of `Type.makeObject(...)` / `Type.makeRelation(...)` outputs.
+ * Stored types live under this entity; filter via `Filter.type(Type.Type)`.
+ */
+declare const Type$3: Type$3<TypeSchema>;
+/**
+ * TypeScript type for an ECHO relation type — a `Type.Type<A>` entity.
+ *
+ * `T` is the instance-property type produced by `Relation.make(...)` (excluding
+ * source/target endpoints). `Source` and `Target` are the endpoint types.
+ *
+ * **Not a `Schema.Schema`.** See {@link Obj}'s note.
+ */
+interface Relation<T$1, Source$1, Target$2, Fields extends Struct.Fields = Struct.Fields> extends BaseTypeEntity<Endpoints$1<Source$1, Target$2> & T$1 & OfKind<typeof Kind.Relation>> {
+  /** Schema-kind brand (relation). */
+  readonly [SchemaKindId]: EntityKind.Relation;
+  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
   /**
-   * Attach a diagnostic label for logs and tooling (execution semantics unchanged).
+   * The fields defined in the original struct schema.
+   * Allows accessing field definitions for introspection.
    */
-  'debugLabel'(label: string): Query<T$1>;
+  readonly fields: Fields;
 }
-type Any$1 = Query<any>;
-type Type$2<Q extends Any$1> = Q extends Query<infer T> ? T : never;
-declare const is: (value: unknown) => value is Any$1;
-/** Construct a query from an ast. */
-declare const fromAst: (ast: Query$1) => Any$1;
 /**
- * Select objects based on a filter.
- * @param filter - Filter to select the objects.
- * @returns Query for the selected objects.
+ * Return type for {@link makeRelation}.
+ *
+ * Not to be used directly, but must be exported for typescript to infer the type.
  */
-declare const select: <F extends Any$3>(filter: F) => Query<Type$3<F>>;
+interface RelationClass<Self, T$1, Source$1, Target$2, Fields extends Struct.Fields> extends Relation<Self, Source$1, Target$2, Fields> {
+  new (_: never): Endpoints$1<Source$1, Target$2> & T$1 & OfKind<typeof Kind.Relation>;
+}
 /**
- * Query for objects of a given schema.
- * @param schema - Schema of the objects.
- * @param predicates - Predicates to filter the objects.
- * @returns Query for the objects.
- *
- * Shorthand for: `Query.select(Filter.type(schema, predicates))`.
+ * Type that represents any ECHO relation type — a `Type.Type` entity branded
+ * with the relation entity kind, i.e. what `Type.makeRelation(...)` produces.
  */
-declare const type$1: {
-  <T$1 extends AnyEntity$1>(type: T$1, predicates?: Props$1<InstanceType$1<T$1>>): Query<InstanceType$1<T$1>>;
-  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
-  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
-  (uri: URI, predicates?: Props$1<unknown>): Query<any>;
-};
+type AnyRelation = Relation<unknown, unknown, unknown>;
 /**
- * Combine results of multiple queries.
- * @param queries - Queries to combine.
- * @returns Query for the combined results.
+ * Type that represents any ECHO type-kind entity — a `Type.Type` meta-schema
+ * value (static `Type.Type` or a persisted draft from `db.addType(...)`).
+ * Mirrors {@link AnyObj} / {@link AnyRelation} for the third sibling kind.
  */
-declare const all: (...queries: Any$1[]) => Any$1;
+type AnyType = Type$3<unknown>;
 /**
- * Subtract one query from another.
- * @param source - Query to subtract from.
- * @param exclude - Query to subtract.
- * @returns Query for the results of the source query minus the results of the exclude query.
+ * Any ECHO type-entity — one of the three sibling kinds: object-kind, relation-kind,
+ * or type-kind (the meta-schema). APIs that want "any ECHO type" use this union;
+ * the underlying Effect Schema is retrieved via `Type.getSchema`.
  */
-declare const without: <T$1>(source: Query<T$1>, exclude: Query<T$1>) => Query<T$1>;
+type AnyEntity$1 = AnyObj | AnyRelation | AnyType;
 /**
- * Create a query scoped to a data source.
- * The returned query selects everything from the source; chain `.select()` to narrow results.
+ * String key used to phantom-carry the instance type produced by a `Type.Type`.
+ * Used by `Type.InstanceType<typeof Foo>` to recover the schema instance type
+ * since `Type.makeObject(dxn)` does not return a `Schema.Schema`.
  *
- * @param source - Data source: database, feed, 'all-accessible-spaces', or another query.
- * @returns Query scoped to the given source.
+ * Re-exported from the internal types layer so both `Type.ts` and internal
+ * helpers (`makeObject`, `createObject`) reference the same phantom key.
  */
-declare const from: (...args: [(Database | Database[] | Feed | Feed[] | Any$1 | Scope | Scope[] | 'all-accessible-spaces'), {
-  includeFeeds?: boolean;
-}?] | Scope[]) => Any$1;
+declare const InstancePhantomId: "~@dxos/echo/Type.Instance";
+type InstancePhantomId = InstancePhantomId$1;
 /**
- * Returns a human-readable string representation of a Query AST.
+ * Sibling of {@link Obj} / {@link Relation} for the third ECHO entity kind:
+ * **type-kind** entities (meta-schemas). The singleton {@link Type} const is
+ * the canonical example — it describes stored type definitions themselves.
+ *
+ * Not a `Schema.Schema`. Use `Type.getSchema(value)` to obtain the underlying
+ * Effect Schema and `Type.update(value, draft => ...)` to mutate.
+ *
+ * `A` is the instance-type phantom — what `Obj.make(value, ...)` would produce.
+ * Merged with the `Type` const value via TypeScript declaration merging.
+ */
+interface Type$3<A$1 = unknown> extends BaseTypeEntity<A$1 & OfKind<typeof Kind.Type>> {
+  /** Schema-kind brand (type — the meta-schema kind). */
+  readonly [SchemaKindId]: EntityKind.Type;
+  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+}
+/**
+ * Instance type produced by a Type entity.
+ *
+ * Accepts ONLY {@link AnyEntity} inputs — `Type.Obj`, `Type.Relation`, or
+ * `Type.Type`. Raw Effect `Schema.Schema` values are rejected: for those, use
+ * `Schema.Schema.Type<typeof Foo>` directly. This separation keeps the type
+ * system honest about which values represent ECHO entities versus plain
+ * Effect schemas.
+ *
+ * Dispatches on the entity kind:
+ *  - `Relation<Props, S, T>` → `Endpoints<S,T> & Props & OfKind<Relation>`
+ *  - `Obj<A>`                → `A & OfKind<Object>`
+ *  - `Type<A>`               → `A & OfKind<Type>`
  */
-declare const pretty: (query: Any$1) => string;
+type InstanceType$1<T$1 extends AnyEntity$1> = T$1 extends RelationClass<any, infer Props, infer Source, infer Target, any> ? Endpoints$1<Source, Target> & Props & OfKind<typeof Kind.Relation> : T$1 extends Relation<infer Props, infer Source, infer Target, any> ? Endpoints$1<Source, Target> & Props & OfKind<typeof Kind.Relation> : T$1 extends ObjClass<any, infer A, any> ? A & OfKind<typeof Kind.Object> : T$1 extends Obj$1<infer A, any> ? A & OfKind<typeof Kind.Object> : T$1 extends Type$3<infer A> ? A & OfKind<typeof Kind.Type> : never;
 //#endregion
-//#region ../echo/dist/types/src/QueryResult.d.ts
+//#region ../echo/dist/types/src/internal/common/types/base.d.ts
 /**
- * Individual query result entry.
+ * Base type for all data objects (reactive, ECHO, and other raw objects).
+ * NOTE: This describes the base type for all database objects.
+ * It is stricter than `T extends {}` or `T extends object`.
  */
-type Entry$1<T$1> = {
-  id: string;
-  /**
-   * May not be present for remote results.
-   */
-  result?: T$1;
-  match?: {
-    /**
-     * Higher means better match.
-     */
-    rank: number;
-  };
-  /**
-   * Query resolution metadata.
-   */
-  resolution?: {
-    source: 'remote' | 'local' | 'index';
-    /**
-     * Query resolution time in milliseconds.
-     */
-    time: number;
+type AnyProperties = Record<string, any>;
+/**
+ * Canonical type for all ECHO entities (objects and relations).
+ * @depreacted Remove, use Entity.Unknown instead.
+ */
+interface AnyEntity {
+  readonly id: EntityId;
+}
+//#endregion
+//#region ../echo/dist/types/src/internal/common/types/projection.d.ts
+/**
+ * Brand for a query projected to a single scalar property (`Query.project`), consumed by
+ * `Filter.in` to build a subquery-membership predicate — an uncorrelated
+ * `col IN (SELECT property FROM ...)` semi-join. Defined in common/ (not in Query/) so
+ * Filter.ts can recognize the brand without importing Query.ts as a value: Query.ts already
+ * imports Filter.ts as a value, so a reverse value import would create a cycle. Both
+ * Filter.ts and Query.ts import this shared leaf module instead.
+ *
+ * A string-literal id (not a `Symbol.for`), matching `FilterTypeId`/`QueryTypeId`/`OrderTypeId` —
+ * this lets the sandboxed `query-lite` mirror (which cannot import `@dxos/echo`'s runtime) declare
+ * its own local constant with the same literal and construct structurally-compatible objects,
+ * the same way it already does for those brands.
+ */
+declare const ProjectionTypeId$1: '~@dxos/echo/Query.Projection';
+type ProjectionTypeId$1 = typeof ProjectionTypeId$1;
+/**
+ * `V` is the projected property's value type — carried only as a phantom brand (like
+ * `Filter<T>`'s `[FilterTypeId]: { value: Types.Covariant<T> }`) so `Filter.in(query.project(k))`
+ * infers its own type parameter from the projected property instead of defaulting to `unknown`.
+ */
+interface Projection$1<V$1 = unknown> {
+  readonly [ProjectionTypeId$1]: {
+    value: Covariant<V$1>;
   };
-};
-type RunOptions = {
-  timeout?: number;
-};
-type SubscriptionOptions = {
-  /**
-   * Fire the callback immediately.
-   */
-  fire?: boolean;
-};
-interface QueryResult<T$1> {
-  /**
-   * Currently available results along with their match metadata.
-   */
-  readonly entries: Entry$1<T$1>[];
-  /**
-   * Currently available results.
-   */
-  readonly results: T$1[];
-  /**
-   * Returns all known results.
-   */
-  run(opts?: RunOptions): Promise<T$1[]>;
-  /**
-   * Returns all known results along with their match metadata.
-   */
-  runEntries(opts?: RunOptions): Promise<Entry$1<T$1>[]>;
-  /**
-   * Returns currently available results synchronously.
-   */
-  runSync(): T$1[];
-  /**
-   * Returns currently available results synchronously along with their match metadata.
-   */
-  runSyncEntries(): Entry$1<T$1>[];
-  /**
-   * Returns first result.
-   */
-  first(opts?: RunOptions): Promise<T$1>;
-  /**
-   * Returns first result if there is one.
-   */
-  firstOrUndefined(opts?: RunOptions): Promise<T$1 | undefined>;
-  /**
-   * Subscribes to changes in query results.
-   */
-  subscribe(callback?: (query: QueryResult<T$1>) => void, opts?: SubscriptionOptions): CleanupFn;
-  /**
-   * Self-updating atom. Updates automatically when query results change.
-   *
-   * Memoized per QueryResult instance — repeated accesses on the same instance return the same
-   * Atom. Safe only when the QueryResult is itself held stable across re-renders (e.g. behind a
-   * `useMemo`). It must NOT be used in graph-builder connectors/actions or other atom computes,
-   * where `db.query(...)` is called fresh on each re-evaluation: every run constructs a new
-   * QueryResult and so a new atom + subscription, leaking the previous ones. Use the memoized
-   * {@link atom} family there instead.
-   */
-  readonly atom: Atom<T$1[]>;
+  readonly query: Query$1;
+  readonly property: string;
 }
 //#endregion
-//#region ../echo/dist/types/src/Feed.d.ts
-declare const Feed_base: ObjClass<Feed, {
-  readonly name?: string | undefined;
-  readonly kind?: string | undefined;
-  readonly namespace?: "data" | "trace" | undefined;
-}, {}>;
+//#region ../echo/dist/types/src/Entity.d.ts
+declare const KindId$1: "~@dxos/echo/Kind";
+type KindId$1 = typeof KindId;
+declare const SnapshotKindId: "~@dxos/echo/SnapshotKind";
+type SnapshotKindId = typeof SnapshotKindId$1;
+declare const Kind: typeof EntityKind;
+type Kind = EntityKind;
+/**
+ * Assigns a kind to an Object or Relation instance.
+ * NOTE: Needed to make `isRelation` and `isObject` checks work.
+ */
+interface OfKind<K$1 extends Kind> {
+  readonly [KindId$1]: K$1;
+  readonly id: EntityId;
+}
+/**
+ * Unknown Obj or Relation (reactive).
+ */
+interface Unknown$1 extends OfKind<Kind> {}
+/**
+ * Effect Schema for any ECHO entity (object or relation).
+ *
+ * Kind-agnostic counterpart to `Obj.Unknown` / `Relation.Unknown` — validates
+ * the structural shape (id + properties) without constraining `[KindId]`. Used
+ * in operation input schemas that accept any entity flavour (e.g.
+ * `Schema.Array(Entity.Unknown)`).
+ *
+ * The cast bridges the runtime structural schema to the branded `Unknown` type:
+ * `[KindId]` is a symbol brand that can't be expressed in a runtime `Struct`,
+ * so the entity guarantee is carried at the type level only (same approach as
+ * `Obj.Unknown` / `Relation.Unknown`). Unlike those, this is kind-agnostic so it
+ * isn't an `UnknownTypeSchema<_, K>` (there's no single `K`) and carries no
+ * `TypeAnnotation`.
+ */
+declare const Unknown$1: Schema<Unknown$1>;
+//#endregion
+//#region ../echo/dist/types/src/Obj.d.ts
+/**
+ * Base type for all ECHO objects.
+ */
+interface BaseObj extends AnyEntity, OfKind<typeof Kind.Object> {}
+/**
+ * Object type with specific properties.
+ */
+type OfShape<Props$2> = BaseObj & Props$2;
+/**
+ * Object with no known properties beyond id and kind.
+ * Use this when the object's schema/properties are not known.
+ * For objects with arbitrary properties, use `Obj.AnyProps`.
+ *
+ * NOTE: This is a TypeScript type only, not a schema.
+ * To validate that a value is an ECHO object, use `Schema.is(Type.Obj)`.
+ */
+interface Unknown extends BaseObj {}
 /**
- * Runtime schema for a Feed object.
+ * Runtime Effect schema for any ECHO object.
+ * Use for validation, parsing, or as a reference target for collections.
+ *
+ * NOTE: `Schema.is(Type.Obj)` does STRUCTURAL validation only (checks for `id` field).
+ * Use `Obj.isObject()` for proper ECHO instance type guards that check the KindId brand.
  *
  * @example
  * ```ts
- * const feed = Obj.make(Feed.Feed, { name: 'notifications', kind: 'org.dxos.plugin.notifications.v1' });
+ * // Structural type guard (accepts any object with id field)
+ * if (Schema.is(Type.Obj)(unknownValue)) { ... }
+ *
+ * // ECHO instance type guard (checks KindId brand)
+ * if (Obj.isObject(unknownValue)) { ... }
+ *
+ * // Reference to any object type
+ * class Collection extends Type.makeObject<Collection>(DXN.make('com.example.type.collection', '0.1.0'))(
+ *   Schema.Struct({ objects: Schema.Array(Ref.Ref(Obj.Unknown)) }),
+ * ) {}
  * ```
  */
-declare class Feed extends Feed_base {}
+declare const Unknown: UnknownTypeSchema<Unknown, typeof Kind.Object>;
 /**
- * Sync options for a feed.
+ * Base type for snapshot objects (has SnapshotKindId instead of KindId).
  */
-interface SyncOptions {
-  /** Push local changes to the server. Defaults to true. */
-  shouldPush?: boolean;
-  /** Pull remote changes from the server. Defaults to true. */
-  shouldPull?: boolean;
+interface BaseSnapshot extends AnyEntity {
+  readonly [SnapshotKindId]: typeof Kind.Object;
+  readonly id: EntityId;
 }
 /**
- * Queue replication backlog for a feed namespace.
- * `0` / `0` means caught up on pull and push.
+ * Immutable snapshot of an ECHO object.
+ * Branded with SnapshotKindId (not KindId).
+ * Property values are frozen at the time the snapshot was created.
+ * Returned by getSnapshot() and hooks like useObject().
+ *
+ * Snapshots are structurally identical to reactive objects but have a different brand,
+ * making them distinguishable at the TypeScript level. Neither is assignable to the other.
  */
-interface SyncState {
-  /** Blocks still to pull from remote. */
-  blocksToPull: number;
-  /** Unpositioned blocks still to push to remote. */
-  blocksToPush: number;
-  /** Total blocks stored locally for the feed namespace. */
-  totalBlocks: number;
-}
+type Snapshot<T$1 extends Unknown = Unknown> = Omit<T$1, KindId$1> & BaseSnapshot;
 //#endregion
-//#region ../echo/dist/types/src/Registry.d.ts
-/**
- * Identifier denoting an ECHO Registry.
- */
-declare const TypeId$1: unique symbol;
-type TypeId$1 = typeof TypeId$1;
+//#region ../echo/dist/types/src/Blob.d.ts
+declare const Blob_base: ObjClass<Blob$1, {
+  readonly type?: string | undefined;
+  readonly size: number;
+  readonly data: {
+    readonly _tag: "inline";
+    readonly bytes: Uint8Array<ArrayBufferLike>;
+  } | {
+    readonly _tag: "external";
+    readonly uri: string;
+  };
+}, {}>;
 /**
- * Composable, in-memory registry of keyed ECHO entities.
- *
- * Entities are stored by id and queried via the standard ECHO Query API.
- * A registry may delegate to an optional upstream registry: results from the local
- * registry take precedence and upstream results fill in anything not found locally.
- *
- * Intended use cases include caches of schemas, operations, skills, routines, plugins,
- * etc., sourced from 3rd-party plugins, local code, or local space objects.
+ * Runtime schema for a Blob object.
  *
- * Types (schema-definition entities produced by `Type.makeObject` / `Type.makeRelation`) are
- * stored the same way as any other entity — via `add()`. Use `list().filter(Type.isType)` to
- * retrieve them.
- *
- * Scope: a Registry is independent of any ECHO space or Hypergraph — it is a process-local,
- * in-memory cache. Wire one per space (e.g. as a Layer scoped to the space's Effect runtime)
- * or share a single instance across spaces depending on the use case.
+ * NOTE: This export shadows the DOM `Blob` global within modules that import it as a namespace.
+ * Code that needs the DOM class should use `globalThis.Blob` explicitly.
  *
- * The concrete implementation (and the `makeRegistry` / `registryLayer` factories) lives in
- * `@dxos/echo-client`; this module declares only the interface so that the `@dxos/echo` API surface
- * stays free of query-matching dependencies.
+ * @example
+ * ```ts
+ * const blob = yield* Blob.fromBytes(bytes, { type: 'image/png' });
+ * ```
  */
-interface Registry {
-  readonly [TypeId$1]: TypeId$1;
-  /**
-   * Stable per-instance identifier. Used to key process-local resources (e.g. memoized
-   * reactive atoms) to a specific registry instance, analogous to {@link Database.spaceId}.
-   */
-  readonly id: string;
-  /**
-   * Fires whenever local registry contents change (add, remove, or clear).
-   */
-  readonly changed: ReadOnlyEvent<void>;
-  /**
-   * All locally-stored entities.
-   * Does not include upstream entities — use {@link list} for that.
-   */
-  readonly local: readonly Unknown[];
-  /**
-   * Add or replace one or more entities in the local registry.
-   * Existing entries with the same id are replaced.
-   * Also indexes type entities by DXN for fast lookup.
-   */
-  add(entities: readonly Unknown[]): void;
-  /**
-   * Remove an entity by id from the local registry.
-   * @returns true if an entity was removed, false if it was not found.
-   */
-  remove(id: string): boolean;
-  /**
-   * Remove all locally-stored entities.
-   * Does not affect the upstream registry.
-   */
-  clear(): void;
-  /**
-   * Get an entity by id.
-   * Searches the local registry first, then falls back to the upstream registry.
-   */
-  get(id: string): Unknown | undefined;
-  /**
-   * Get an entity by one of its addressing URIs — a type entity by its typename DXN (or, when
-   * persisted, its identifier EID), a keyed entity by its `dxn:<key>[:<version>]`. Accepts legacy
-   * DXN forms (normalized internally). Searches the local registry first, then falls back to the
-   * upstream registry. Narrow the result with `Type.isType` when a type entity is required.
-   */
-  getByURI(uri: string): Unknown | undefined;
-  /**
-   * List all entities.
-   * Local entities take precedence over upstream entities with the same id.
-   */
-  list(): Unknown[];
-  /**
-   * Run an ECHO query against the registry's entities (implements {@link Database.Queryable}).
-   *
-   * Matching happens in-memory over {@link list}. Scope (`from`) clauses are unwrapped and
-   * ignored — a direct registry query always targets the registry's own entities. The primary
-   * way to query registry contents is still through the database (`db.query(...).from(Scope.registry())`),
-   * which fans the database and registry together; this method is for querying a registry directly.
-   *
-   * Only locally-evaluable AST nodes are supported: `select`, `filter`, `limit`, `from`, `options`,
-   * and boolean combinators. Server-side concerns (order, traversal, text/timestamp filters) throw.
-   */
-  query: QueryFn;
+declare class Blob$1 extends Blob_base {}
+declare namespace Filter_d_exports {
+  export { Any$3 as Any, ChildOfOptions, Filter, FilterTypeId, KeyFilterOptions, Props$1 as Props, TextSearchOptions, Type$2 as Type, and, between, childOf, contains, created, eq, everything, foreignKeys, fromAst$1 as fromAst, gt, gte, id, in$ as in, is$1 as is, key$1 as key, lt, lte, neq, not, nothing, or, pretty$1 as pretty, props, tag, text, toPredicate, type$2 as type, updated };
 }
-//#endregion
-//#region ../echo/dist/types/src/Hypergraph.d.ts
-/**
- * Resolution context.
- * Affects how non-absolute DXNs are resolved.
- */
-interface RefResolutionContext {
-  /**
-   * Space that the resolution is happening from.
-   */
-  space?: SpaceId;
-  /**
-   * Feed that the resolution is happening from.
-   * This feed will be searched first, and then the space it belongs to.
-   */
-  feed?: URI;
+declare const FilterTypeId: '~@dxos/echo/Filter';
+type FilterTypeId = typeof FilterTypeId;
+interface Filter<T$1> {
+  readonly [FilterTypeId]: {
+    value: Covariant<T$1>;
+  };
+  ast: Filter$1;
 }
-interface RefResolverOptions {
-  /**
-   * Resolution context.
-   * Affects how non-absolute DXNs are resolved.
-   */
-  context?: RefResolutionContext;
+type Props$1<T$1> = { [K in keyof T$1 & string]?: Filter<T$1[K]> | T$1[K] };
+type Any$3 = Filter<any>;
+type Type$2<F extends Any$3> = F extends Filter<infer T> ? T : never;
+declare class FilterClass implements Any$3 {
+  readonly ast: Filter$1;
+  private static 'variance';
+  constructor(ast: Filter$1);
+  [FilterTypeId]: {
+    value: Covariant<any>;
+  };
 }
+declare const is$1: (value: unknown) => value is Any$3;
+/** Construct a filter from an ast. */
+declare const fromAst$1: (ast: Filter$1) => Any$3;
 /**
- * Manages cross-space database interactions.
+ * Filter that matches all objects.
  */
-interface Hypergraph extends Queryable {
-  /**
-   * In-process registry of keyed objects and static schema types.
-   * Populated at startup via `registry.add(objects)` / `registry.add(schemas)`.
-   * Queries that include no explicit from() clause will fan out to this registry automatically.
-   */
-  get registry(): Registry;
-  /**
-   * Query objects.
-   */
-  query: QueryFn;
-  /**
-   * Creates a reference to an existing object in the database.
-   *
-   * NOTE: The reference may be dangling if the object is not present in the database.
-   * NOTE: Difference from `Ref.fromURI`
-   * `Ref.fromURI(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
-   * `db.makeRef(dxn)` is preferable in cases with access to the database.
-   */
-  makeRef<T$1 extends Unknown = Unknown>(uri: URI): Ref$1<T$1>;
-  /**
-   * Create a resolver that dereferences `Ref`s against this graph. Persisted schema objects are
-   * surfaced as their registered `Type.Type` entity.
-   */
-  createRefResolver(options: RefResolverOptions): Resolver;
+declare const everything: () => FilterClass;
+/**
+ * Filter that matches no objects.
+ */
+declare const nothing: () => FilterClass;
+declare const id: (...ids: EntityId[]) => Any$3;
+/**
+ * Filter by type.
+ *
+ * Accepts a `Type.Type` entity (the value produced by `Type.makeObject` /
+ * `Type.makeRelation`), a `Schema.Union` of such entities (for filtering across a
+ * union of ECHO types), or a fully-qualified type URI — an `echo:` EID (stored schema)
+ * or a `dxn:` DXN (static schema). To filter by a bare typename, wrap it: `DXN.make(typename)`.
+ */
+declare const type$2: {
+  <T$1 extends AnyEntity$1>(type: T$1, props?: Props$1<InstanceType$1<T$1>>): Filter<InstanceType$1<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
+  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
+  (uri: URI, props?: Props$1<unknown>): Filter<any>;
+  (input: AnyEntity$1 | URI, props?: Props$1<unknown>): Filter<unknown>;
+};
+/**
+ * Filter by tag.
+ */
+declare const tag: (tag: string) => Any$3;
+/**
+ * Options for {@link key} filter.
+ */
+type KeyFilterOptions = {
   /**
-   * Get a database by space ID.
-   * @returns The database for the given space ID, or undefined if not found.
+   * Optional semver range expression (e.g. `^1.2.3`, `~2.0.0`, `>=1.0.0 <2.0.0`).
+   * Matches the object's meta `version` field against the range.
+   * If omitted, matches any version (including objects with no version).
    */
-  getDatabase(spaceId: SpaceId): Database | undefined;
-}
-//#endregion
-//#region ../echo/dist/types/src/Database.d.ts
+  version?: string;
+};
+/**
+ * Filter by registry key stored in object meta.
+ *
+ * @example
+ * ```ts
+ * Filter.key('org.example.type.foo');
+ * Filter.key('org.example.type.foo', { version: '^1.2.3' });
+ * ```
+ */
+declare const key$1: (key: string, options?: KeyFilterOptions) => Any$3;
+/**
+ * Filter by properties.
+ */
+declare const props: <T$1>(props: Props$1<T$1>) => Filter<T$1>;
+type TextSearchOptions = {
+  type?: 'full-text' | 'vector';
+};
+/**
+ * Full-text or vector search.
+ */
+declare const text: (text: string, options?: TextSearchOptions) => Any$3;
+/**
+ * Filter by foreign keys.
+ */
+declare const foreignKeys: <S$1 extends AnyEntity$1 | URI>(schema: S$1, keys: ForeignKey[]) => Filter<S$1 extends AnyEntity$1 ? InstanceType$1<S$1> : unknown>;
+/**
+ * Predicate for property to be equal to the provided value.
+ */
+declare const eq: <T$1>(value: T$1) => Filter<T$1 | undefined>;
 /**
- * `query` API function declaration.
+ * Predicate for property to be not equal to the provided value.
  */
-interface QueryFn {
-  <Q extends Any$1>(query: Q): QueryResult<Type$2<Q>>;
-  <F extends Any$3>(filter: F): QueryResult<Type$3<F>>;
-}
+declare const neq: <T$1>(value: T$1) => Filter<T$1 | undefined>;
 /**
- * Common interface for Database, Feed, and Hypergraph.
+ * Predicate for property to be greater than the provided value.
  */
-interface Queryable {
-  query: QueryFn;
-}
-type GetObjectByIdOptions = {
-  deleted?: boolean;
+declare const gt: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be greater than or equal to the provided value.
+ */
+declare const gte: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be less than the provided value.
+ */
+declare const lt: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be less than or equal to the provided value.
+ */
+declare const lte: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be in the provided array, or in the set of values projected
+ * from a subquery's results (an uncorrelated `col IN (SELECT property FROM ...)` semi-join —
+ * see `Query.project`). The subquery may target a different scope than the parent query; it
+ * is resolved once at execution time.
+ * @param values - Values to check against, or a single subquery projection.
+ */
+declare const in$: {
+  <T$1>(projection: Projection$1<T$1>): Filter<T$1>;
+  <T$1>(...values: T$1[]): Filter<T$1>;
 };
-type ObjectPlacement = 'root-doc' | 'linked-doc';
-type AddOptions = {
-  /**
-   * Where to place the object in the Automerge document tree.
-   * Root document is always loaded with the space.
-   * Linked documents are loaded lazily.
-   * Placing large number of objects in the root document may slow down the initial load.
-   *
-   * @default 'linked-doc'
-   */
-  placeIn?: ObjectPlacement;
+/**
+ * Predicate for an array property to contain the provided value.
+ * @param value - Value to check against.
+ */
+declare const contains: <T$1>(value: T$1) => Filter<readonly T$1[] | undefined>;
+/**
+ * Predicate for property to be in the provided range.
+ * @param from - Start of the range (inclusive).
+ * @param to - End of the range (exclusive).
+ */
+declare const between: <T$1>(from: T$1, to: T$1) => Filter<T$1>;
+type TimeRange = {
+  after?: Date | number;
+  before?: Date | number;
 };
 /**
- * Rejects Type entities from {@link Database.add} at compile time via their `[KindId]` brand. Used
- * as `T & RejectTypeEntity<T>` to preserve inference of `T`. Bounding `add` on
- * `Obj.Unknown | Relation.Unknown` instead would reject broadly-typed instance adds (e.g.
- * `Entity.Any`, `Obj.OfShape<T>`), forcing casts repo-wide.
+ * Filter objects by updatedAt timestamp.
  */
-type RejectTypeEntity<T$1> = T$1 extends {
-  readonly [KindId$1]: EntityKind.Type;
-} ? {
-  __error: 'Type entities must be persisted via db.addType(), not db.add().';
-} : T$1;
-type FlushOptions = {
-  /**
-   * Write any pending changes to disk.
-   * @default true
-   */
-  disk?: boolean;
-  /**
-   * Wait for pending index updates.
-   * @default true
-   */
-  indexes?: boolean;
-  /**
-   * Flush pending updates to objects and queries.
-   * @default false
-   */
-  updates?: boolean;
+declare const updated: (range: TimeRange) => Any$3;
+/**
+ * Filter objects by createdAt timestamp.
+ */
+declare const created: (range: TimeRange) => Any$3;
+type ChildOfOptions = {
+  /** Whether to match transitively (grandchildren, etc.). Defaults to true. */
+  transitive?: boolean;
 };
 /**
- * Identifier denoting an ECHO Database.
+ * Filter objects that are children of the specified parent(s).
+ * Accepts ECHO objects, Refs, or arrays of either.
+ * Refs are resolved to DXNs without loading; objects use {@link Obj.getURI}.
+ * With transitive=true (default), also matches grandchildren and beyond.
  */
-declare const TypeId: unique symbol;
-type TypeId = typeof TypeId;
+declare const childOf: (parents: Unknown | Unknown$3 | readonly (Unknown | Unknown$3)[], options?: ChildOfOptions) => Any$3;
 /**
- * ECHO Database interface.
+ * Negate the filter.
  */
-interface Database extends Queryable {
-  readonly [TypeId]: TypeId;
-  get spaceId(): SpaceId;
-  get graph(): Hypergraph;
-  /**
-   * Registry for this database. Delegates type lookups to the shared hypergraph registry.
-   * To persist a schema so it replicates to other clients, add the type entity with
-   * {@link addType} (e.g. `await db.addType(Type.makeObjectFromJsonSchema(...))`).
-   */
-  readonly registry: Registry;
-  toJSON(): object;
+declare const not: <F extends Any$3>(filter: F) => Filter<Type$2<F>>;
+/**
+ * Combine filters with a logical AND.
+ */
+declare const and: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$2<Filters[number]>>;
+/**
+ * Combine filters with a logical OR.
+ */
+declare const or: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$2<Filters[number]>>;
+/**
+ * Returns a human-readable string representation of a Filter AST.
+ */
+declare const pretty$1: (filter: Any$3) => string;
+/**
+ * Create a predicate from a filter.
+ */
+declare const toPredicate: {
+  <T$1 extends Unknown$1>(filter: Filter<T$1>): (entity: Unknown$1) => entity is T$1;
+  <T$1 extends Unknown$1>(entity: Unknown$1, filter: Filter<T$1>): entity is T$1;
+};
+//#endregion
+//#region ../echo/dist/types/src/QueryResult.d.ts
+/**
+ * Individual query result entry.
+ */
+type Entry$1<T$1> = {
+  id: string;
   /**
-   * Return object by local ID.
-   * @deprecated Use `db.query(Filter.id(id)).runSync()[0]` for a working-set lookup, or resolve via a {@link Ref}.
+   * May not be present for remote results.
    */
-  getObjectById<T$1 extends Unknown$1 = OfShape<AnyProperties>>(id: string, opts?: GetObjectByIdOptions): T$1 | undefined;
+  result?: T$1;
+  match?: {
+    /**
+     * Higher means better match.
+     */
+    rank: number;
+  };
   /**
-   * Query objects.
+   * Query resolution metadata.
    */
-  query: QueryFn;
+  resolution?: {
+    source: 'remote' | 'local' | 'index';
+    /**
+     * Query resolution time in milliseconds.
+     */
+    time: number;
+  };
+};
+type RunOptions = {
+  timeout?: number;
+};
+type SubscriptionOptions = {
   /**
-   * Creates a reference to an existing object in the database.
-   *
-   * NOTE: The reference may be dangling if the object is not present in the database.
-   * NOTE: Difference from `Ref.fromURI`
-   * `Ref.fromURI(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
-   * `db.makeRef(dxn)` is preferable in cases with access to the database.
+   * Fire the callback immediately.
    */
-  makeRef<T$1 extends Unknown = Unknown>(uri: URI): Ref<T$1>;
+  fire?: boolean;
+};
+interface QueryResult<T$1> {
   /**
-   * Adds an object or relation to the database.
-   *
-   * Only Object and Relation entities are accepted. To persist a Type definition use
-   * {@link addType} — passing a Type entity is rejected at compile time (and at runtime).
+   * Currently available results along with their match metadata.
    */
-  add<T$1 extends Unknown = Unknown>(obj: T$1 & RejectTypeEntity<T$1>, opts?: AddOptions): T$1;
+  readonly entries: Entry$1<T$1>[];
   /**
-   * Persists a Type definition (clones/forks the entity) so it replicates to other peers.
-   *
-   * Runs a conflict query first: if a type with the same typename + version already exists in
-   * this space, the existing persisted entity is returned and no duplicate is created. This is
-   * the only supported way to add Type entities — {@link add} rejects them.
+   * Currently available results.
    */
-  addType<T$1 extends AnyEntity$1>(type: T$1): Promise<T$1>;
+  readonly results: T$1[];
   /**
-   * Removes object from the database.
+   * Returns all known results.
    */
-  remove(obj: Unknown): void;
+  run(opts?: RunOptions): Promise<T$1[]>;
   /**
-   * Appends entities to a feed.
-   *
-   * The feed must already be stored in the database (added via {@link add}); its underlying
-   * queue is addressed by the feed object's URI.
+   * Returns all known results along with their match metadata.
    */
-  appendToFeed(feed: Feed, entities: Unknown[]): Promise<void>;
+  runEntries(opts?: RunOptions): Promise<Entry$1<T$1>[]>;
   /**
-   * Removes entities from a feed.
+   * Returns currently available results synchronously.
    */
-  deleteFromFeed(feed: Feed, entities: Unknown[]): Promise<void>;
+  runSync(): T$1[];
   /**
-   * Wait for all pending changes to be saved to disk.
-   * Optionaly waits for changes to be propagated to indexes and event handlers.
+   * Returns currently available results synchronously along with their match metadata.
    */
-  flush(opts?: FlushOptions): Promise<void>;
+  runSyncEntries(): Entry$1<T$1>[];
   /**
-   * Removes feed items by ID.
+   * Returns first result.
    */
-  removeFeedItemsByIds(feed: Feed, ids: string[]): Promise<void>;
+  first(opts?: RunOptions): Promise<T$1>;
   /**
-   * Queries items in a feed associated with this database.
+   * Returns first result if there is one.
    */
-  queryFeed(feed: Feed, queryOrFilter: Any$1 | Any$3): QueryResult<any>;
+  firstOrUndefined(opts?: RunOptions): Promise<T$1 | undefined>;
   /**
-   * Syncs a feed with the server.
+   * Subscribes to changes in query results.
    */
-  syncFeed(feed: Feed, options?: SyncOptions): Promise<void>;
+  subscribe(callback?: (query: QueryResult<T$1>) => void, opts?: SubscriptionOptions): CleanupFn;
   /**
-   * Returns queue replication backlog for the feed's namespace.
+   * Self-updating atom. Updates automatically when query results change.
+   *
+   * Memoized per QueryResult instance — repeated accesses on the same instance return the same
+   * Atom. Safe only when the QueryResult is itself held stable across re-renders (e.g. behind a
+   * `useMemo`). It must NOT be used in graph-builder connectors/actions or other atom computes,
+   * where `db.query(...)` is called fresh on each re-evaluation: every run constructs a new
+   * QueryResult and so a new atom + subscription, leaking the previous ones. Use the memoized
+   * {@link atom} family there instead.
    */
-  getFeedSyncState(feed: Feed): Promise<SyncState>;
+  readonly atom: Atom<T$1[]>;
 }
-declare const Database: Schema<Database>;
 //#endregion
-//#region ../echo/dist/types/src/internal/JsonSchema/json-schema-type.d.ts
+//#region ../echo/dist/types/src/Feed.d.ts
+declare const Feed_base: ObjClass<Feed, {
+  readonly name?: string | undefined;
+  readonly kind?: string | undefined;
+  readonly namespace?: "data" | "trace" | undefined;
+  readonly rewindFrom?: string | undefined;
+}, {}>;
+/**
+ * Runtime schema for a Feed object.
+ *
+ * @example
+ * ```ts
+ * const feed = Obj.make(Feed.Feed, { name: 'notifications', kind: 'org.dxos.plugin.notifications.v1' });
+ * ```
+ */
+declare class Feed extends Feed_base {}
+/**
+ * Sync options for a feed.
+ */
+interface SyncOptions {
+  /** Push local changes to the server. Defaults to true. */
+  shouldPush?: boolean;
+  /** Pull remote changes from the server. Defaults to true. */
+  shouldPull?: boolean;
+}
+/**
+ * Queue replication backlog for a feed namespace.
+ * `0` / `0` means caught up on pull and push.
+ */
+interface SyncState$1 {
+  /** Blocks still to pull from remote. */
+  blocksToPull: number;
+  /** Unpositioned blocks still to push to remote. */
+  blocksToPush: number;
+  /** Total blocks stored locally for the feed namespace. */
+  totalBlocks: number;
+}
+//#endregion
+//#region ../echo/dist/types/src/Registry.d.ts
+/**
+ * Identifier denoting an ECHO Registry.
+ */
+declare const TypeId$1: unique symbol;
+type TypeId$1 = typeof TypeId$1;
 /**
- * Describes a schema for the JSON-schema objects stored in ECHO.
- * Contains extensions for ECHO (e.g., references).
- * Ref: https://json-schema.org/draft-07/schema
+ * Composable, in-memory registry of keyed ECHO entities.
+ *
+ * Entities are stored by id and queried via the standard ECHO Query API.
+ * A registry may delegate to an optional upstream registry: results from the local
+ * registry take precedence and upstream results fill in anything not found locally.
+ *
+ * Intended use cases include caches of schemas, operations, skills, routines, plugins,
+ * etc., sourced from 3rd-party plugins, local code, or local space objects.
+ *
+ * Types (schema-definition entities produced by `Type.makeObject` / `Type.makeRelation`) are
+ * stored the same way as any other entity — via `add()`. Use `list().filter(Type.isType)` to
+ * retrieve them.
+ *
+ * Scope: a Registry is independent of any ECHO space or Hypergraph — it is a process-local,
+ * in-memory cache. Wire one per space (e.g. as a Layer scoped to the space's Effect runtime)
+ * or share a single instance across spaces depending on the use case.
+ *
+ * The concrete implementation (and the `makeRegistry` / `registryLayer` factories) lives in
+ * `@dxos/echo-client`; this module declares only the interface so that the `@dxos/echo` API surface
+ * stays free of query-matching dependencies.
  */
-declare const _JsonSchemaType: Struct<{
-  /**
-   * Identifier for this schema.
-   * This schema might be referenced by $ref clause in other schemas.
-   */
-  $id: optional<typeof String$>;
-  /**
-   * Schema of this schema.
-   * Set to "https://json-schema.org/draft-07/schema".
-   */
-  $schema: optional<typeof String$>;
-  /**
-   * Reference to another schema.
-   */
-  $ref: optional<typeof String$>;
-  /**
-   * Comments are ignored when interpreting the schema.
-   */
-  $comment: optional<typeof String$>;
-  /**
-   * Defines whether this schema is an object schema or a relation schema.
-   */
-  entityKind: optional<Enums<typeof EntityKind>>;
-  /**
-   * Typename of this schema.
-   * Only on schema representing an ECHO object.
-   *
-   * @example 'com.example.type.my-type'
-   */
-  typename: optional<typeof String$>;
-  /**
-   * Version of this schema.
-   * Custom dialect for ECHO.
-   */
-  version: optional<typeof String$>;
-  /**
-   * Target of this relation.
-   * Only for relation schemas.
-   * The referenced schema must be an object schema.
-   */
-  relationTarget: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  /**
-   * Source of this relation.
-   * Only for relation schemas.
-   * The referenced schema must be an object schema.
-   */
-  relationSource: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  /**
-   * Title of this schema.
-   */
-  title: optional<typeof String$>;
+interface Registry {
+  readonly [TypeId$1]: TypeId$1;
   /**
-   * Description of this schema.
+   * Stable per-instance identifier. Used to key process-local resources (e.g. memoized
+   * reactive atoms) to a specific registry instance, analogous to {@link Database.spaceId}.
    */
-  description: optional<typeof String$>;
+  readonly id: string;
   /**
-   * Whether this schema is read-only.
+   * Fires whenever local registry contents change (add, remove, or clear).
    */
-  readOnly: optional<typeof Boolean$>;
+  readonly changed: ReadOnlyEvent<void>;
   /**
-   * Whether this schema is write-only.
+   * All locally-stored entities.
+   * Does not include upstream entities — use {@link list} for that.
    */
-  writeOnly: optional<typeof Boolean$>;
+  readonly local: readonly Unknown$1[];
   /**
-   * Examples of instances of this schema.
+   * Add or replace one or more entities in the local registry.
+   * Existing entries with the same id are replaced.
+   * Also indexes type entities by DXN for fast lookup.
    */
-  examples: optional<Array$<typeof Any$4>>;
+  add(entities: readonly Unknown$1[]): void;
   /**
-   * Default value for this schema.
+   * Remove an entity by id from the local registry.
+   * @returns true if an entity was removed, false if it was not found.
    */
-  default: optional<typeof Any$4>;
+  remove(id: string): boolean;
   /**
-   * This schema only matches values that are equal to this value.
+   * Remove all locally-stored entities.
+   * Does not affect the upstream registry.
    */
-  const: optional<typeof Any$4>;
+  clear(): void;
   /**
-   * This schema only matches one of the values in this array.
+   * Get an entity by id.
+   * Searches the local registry first, then falls back to the upstream registry.
    */
-  enum: optional<Array$<typeof Any$4>>;
+  get(id: string): Unknown$1 | undefined;
   /**
-   * Base type of the schema.
+   * Get an entity by one of its addressing URIs — a type entity by its typename DXN (or, when
+   * persisted, its identifier EID), a keyed entity by its `dxn:<key>[:<version>]`. Accepts legacy
+   * DXN forms (normalized internally). Searches the local registry first, then falls back to the
+   * upstream registry. Narrow the result with `Type.isType` when a type entity is required.
    */
-  type: optional<Union<[Literal<["array", "boolean", "integer", "null", "number", "object", "string"]>, Array$<Literal<["array", "boolean", "integer", "null", "number", "object", "string"]>>]>>;
-  multipleOf: optional<filter<typeof Number$>>;
-  maximum: optional<typeof Number$>;
-  exclusiveMaximum: optional<typeof Number$>;
-  minimum: optional<typeof Number$>;
-  exclusiveMinimum: optional<typeof Number$>;
-  maxLength: optional<filter<typeof Number$>>;
+  getByURI(uri: string): Unknown$1 | undefined;
   /**
-   * Regex pattern for strings.
+   * List all entities.
+   * Local entities take precedence over upstream entities with the same id.
    */
-  pattern: optional<typeof String$>;
+  list(): Unknown$1[];
   /**
-   * Serialized from {@link FormatAnnotationId}.
+   * Run an ECHO query against the registry's entities (implements {@link Database.Queryable}).
+   *
+   * Matching happens in-memory over {@link list}. Scope (`from`) clauses are unwrapped and
+   * ignored — a direct registry query always targets the registry's own entities. The primary
+   * way to query registry contents is still through the database (`db.query(...).from(Scope.registry())`),
+   * which fans the database and registry together; this method is for querying a registry directly.
+   *
+   * Only locally-evaluable AST nodes are supported: `select`, `filter`, `limit`, `from`, `options`,
+   * and boolean combinators. Server-side concerns (order, traversal, text/timestamp filters) throw.
    */
-  format: optional<typeof String$>;
-  minLength: optional<filter<typeof Number$>>;
-  items: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, Array$<suspend<JsonSchemaType, JsonSchemaType, never>>]>>;
-  additionalItems: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, typeof Boolean$]>>;
-  maxItems: optional<filter<typeof Number$>>;
-  minItems: optional<filter<typeof Number$>>;
-  uniqueItems: optional<typeof Boolean$>;
-  contains: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  maxProperties: optional<filter<typeof Number$>>;
-  minProperties: optional<filter<typeof Number$>>;
-  required: optional<Array$<typeof String$>>;
+  query: QueryFn;
+}
+//#endregion
+//#region ../echo/dist/types/src/Hypergraph.d.ts
+/**
+ * Resolution context.
+ * Affects how non-absolute DXNs are resolved.
+ */
+interface RefResolutionContext {
   /**
-   * Non-standard JSON Schema extension.
-   * Defines the order of properties in the object.
-   * The unmentioned properties are placed at the end.
-   *
-   * Related: https://github.com/json-schema/json-schema/issues/119
+   * Space that the resolution is happening from.
    */
-  propertyOrder: optional<Array$<typeof String$>>;
-  additionalProperties: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, typeof Boolean$]>>;
-  properties: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  patternProperties: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  propertyNames: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  definitions: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  dependencies: optional<Record$<typeof String$, suspend<string | JsonSchemaType | readonly string[], string | JsonSchemaType | readonly string[], never>>>;
-  contentMediaType: optional<typeof String$>;
-  contentEncoding: optional<typeof String$>;
-  if: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  then: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  else: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  allOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  anyOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  oneOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  not: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  $defs: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  currency: optional<typeof String$>;
-  reference: optional<Struct<{
-    schema: suspend<JsonSchemaType, JsonSchemaType, never>;
-    schemaVersion: optional<typeof String$>;
-    schemaObject: optional<typeof String$>;
-  }>>;
+  space?: SpaceId;
   /**
-   * ECHO-specific annotations.
+   * Feed that the resolution is happening from.
+   * This feed will be searched first, and then the space it belongs to.
    */
-  annotations: optional<Struct<{
-    /**
-     * Label for this schema.
-     * Mapped from {@link LabelAnnotationId}.
-     */
-    labelProp: optional<Union<[Schema<JsonPath, JsonPath, never>, Array$<Schema<JsonPath, JsonPath, never>>]>>;
-    /**
-     * Generator function for this schema.
-     * Mapped from {@link GeneratorAnnotationId}.
-     */
-    generator: optional<Union<[typeof String$, Tuple2<typeof String$, typeof Number$>]>>;
-    /**
-     * {@link PropertyMeta} annotations get serialized here.
-     */
-    meta: optional<Record$<typeof String$, typeof Any$4>>;
-    /**
-     * @deprecated
-     */
-    type: optional<Struct<{
-      typename: typeof String$;
-      version: typeof String$;
-      schemaId: optional<typeof String$>;
-    }>>;
-    /**
-     * @deprecated Superseded by `meta`.
-     */
-    annotations: optional<Record$<typeof String$, typeof Any$4>>;
-  }>>;
+  feed?: URI;
+}
+interface RefResolverOptions {
   /**
-   * @deprecated Use `annotations` instead.
+   * Resolution context.
+   * Affects how non-absolute DXNs are resolved.
    */
-  echo: optional<Struct<{
-    /**
-     * Label for this schema.
-     * Mapped from {@link LabelAnnotationId}.
-     */
-    labelProp: optional<Union<[Schema<JsonPath, JsonPath, never>, Array$<Schema<JsonPath, JsonPath, never>>]>>;
-    /**
-     * Generator function for this schema.
-     * Mapped from {@link GeneratorAnnotationId}.
-     */
-    generator: optional<Union<[typeof String$, Tuple2<typeof String$, typeof Number$>]>>;
-    /**
-     * {@link PropertyMeta} annotations get serialized here.
-     */
-    meta: optional<Record$<typeof String$, typeof Any$4>>;
-    /**
-     * @deprecated
-     */
-    type: optional<Struct<{
-      typename: typeof String$;
-      version: typeof String$;
-      schemaId: optional<typeof String$>;
-    }>>;
-    /**
-     * @deprecated Superseded by `meta`.
-     */
-    annotations: optional<Record$<typeof String$, typeof Any$4>>;
-  }>>;
-}>;
-/**
- * https://json-schema.org/draft-07/schema
- */
-interface JsonSchemaType extends Schema.Type<typeof _JsonSchemaType> {}
-declare const JsonSchemaType: Schema<JsonSchemaType>;
-//#endregion
-//#region ../echo/dist/types/src/internal/Entity/entity.d.ts
-type EchoTypeSchemaProps<T$1, ExtraFields = {}> = Simplify$1<AnyEntity & ToMutable<T$1> & ExtraFields>;
+  context?: RefResolutionContext;
+}
 /**
- * Options accepted by every `Type.makeObject` / `Type.makeRelation` / type-kind
- * factory. Defaults are derived from `(typename, version)` so callers normally
- * pass nothing.
+ * Manages cross-space database interactions.
  */
-type EchoTypeOptions = {
+interface Hypergraph extends Queryable {
+  /**
+   * In-process registry of keyed objects and static schema types.
+   * Populated at startup via `registry.add(objects)` / `registry.add(schemas)`.
+   * Queries that include no explicit from() clause will fan out to this registry automatically.
+   */
+  get registry(): Registry;
   /**
-   * Override the entity id stamped on the in-memory `Type.Type` value.
+   * Query objects.
+   */
+  query: QueryFn;
+  /**
+   * Creates a reference to an existing object in the database.
    *
-   * Defaults to `EntityId.deterministic(typename, version)` — stable across processes
-   * and workerd-safe (no `crypto.getRandomValues()` at module-evaluation time).
-   * Pass an explicit id (typically `EntityId.random()`) to opt out of the
-   * deterministic default.
+   * NOTE: The reference may be dangling if the object is not present in the database.
+   * NOTE: Difference from `Ref.fromURI`
+   * `Ref.fromURI(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
+   * `db.makeRef(dxn)` is preferable in cases with access to the database.
    */
-  id?: EntityId;
-};
-/**
- * In-memory `Type.Type` entity shape produced by `Type.makeObject(dxn)` /
- * `Type.makeRelation({...})`. A live reactive `TypeSchema` instance —
- * identical to a persisted `Type.Type` except for database attachment.
- *
- * NOT a `Schema.Schema`. The underlying Effect Schema is cached on the hidden
- * `StaticTypeSchemaSlot` slot — retrieve it via `Type.getSchema(...)`.
- */
-interface EchoTypeSchema<Self extends Schema.Any, ExtraFields = {}, K$1 extends EntityKind = EntityKind, Fields extends Struct.Fields = Struct.Fields> {
+  makeRef<T$1 extends Unknown$1 = Unknown$1>(uri: URI): Ref$1<T$1>;
   /**
-   * Entity-kind brand. Type entities are their own kind (`Type`) regardless of
-   * the kind of instance they describe — `[SchemaKindId]` carries the latter.
-   * This lets predicates like `Obj.isObject` / `Relation.isRelation` cleanly
-   * reject type entities without also having to inspect `[SchemaKindId]`.
+   * Create a resolver that dereferences `Ref`s against this graph. Persisted schema objects are
+   * surfaced as their registered `Type.Type` entity.
    */
-  readonly [KindId$1]: EntityKind.Type;
-  /** Schema-kind brand indicating what kind of instance this type describes. */
-  readonly [SchemaKindId]: K$1;
+  createRefResolver(options: RefResolverOptions): Resolver;
   /**
-   * Entity id. Always present — stamped at construction — but NOT the type's
-   * identity while in-memory: an unattached type resolves its URI to the typename
-   * DXN, switching to `echo:/<id>` only once attached to a database (see
-   * `getTypeURIFromSpecifier`, which discriminates by database attachment).
+   * Get a database by space ID.
+   * @returns The database for the given space ID, or undefined if not found.
    */
-  readonly id: EntityId;
-  /** Source Effect Schema (kept on a hidden slot for `Type.getSchema`). */
-  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
-  readonly jsonSchema: JsonSchemaType;
-  /** Struct fields for introspection. */
-  readonly fields: Fields;
-  /** Phantom — instance type produced by `Obj.make(self, ...)`. */
-  readonly _instance?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields>;
+  getDatabase(spaceId: SpaceId): Database | undefined;
   /**
-   * Phantom slot mirroring `Type<A>` so internal helpers (`makeObject`,
-   * `createObject`, `Ref.make`) infer the instance type uniformly whether
-   * the caller passes an `EchoTypeSchema` or a top-level `Type.Type` entity.
+   * Registers a pluggable blob storage backend under `name`, claiming its declared URI schemes.
+   * Registering a scheme already claimed by another backend is an error.
    *
-   * Includes the instance-kind brand (`[KindId]`) so the phantom is assignable
-   * to the matching public-side interface in `Type.ts` (`Type.Obj` /
-   * `Type.Relation` / `Type.Type`). Each kind projects identity: instances of
-   * an object-kind schema are object-kind entities, type-kind schemas produce
-   * type-kind (persisted Type.Type) entities — the latter additionally carry
-   * the `[SchemaKindId]` / `[StaticTypeSchemaSlot]` brands the echo-handler
-   * proxy exposes on persisted Type entities.
+   * @param options.default - When true, `name` becomes the storage used when
+   *   `Blob.fromBytes`'s `storage` option is omitted.
+   * @returns A cleanup function that unregisters the backend.
    */
-  readonly [InstancePhantomId$1]?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields> & {
-    readonly [KindId$1]: K$1;
-  } & (K$1 extends EntityKind.Type ? {
-    readonly [SchemaKindId]: EntityKind.Type;
-    readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
-  } : {});
+  registerBlobBackend(name: string, backend: BlobBackend, options?: {
+    default?: boolean;
+  }): CleanupFn;
+  /**
+   * Storage name `Blob.fromBytes` uses when its `storage` option is omitted. Starts as `'inline'`;
+   * reflects the most recent `registerBlobBackend(name, backend, { default: true })` call.
+   */
+  get defaultBlobStorage(): string;
 }
 //#endregion
-//#region ../echo/dist/types/src/internal/Entity/type-kind.d.ts
+//#region ../echo/dist/types/src/Database.d.ts
 /**
- * Type-kind schema marker — produced by {@link EchoTypeKindSchema}.
- *
- * Distinguishes meta-schemas (entities of `EntityKind.Type`, such as the
- * built-in `Type.Type` TypeSchema) from object and relation types.
+ * `query` API function declaration.
  */
-type EchoTypeKindSchema<Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields> = EchoTypeSchema<Self, {}, EntityKind.Type, Fields>;
+interface QueryFn {
+  <Q extends Any$2>(query: Q): QueryResult<Type$1<Q>>;
+  <F extends Any$3>(filter: F): QueryResult<Type$2<F>>;
+}
 /**
- * Pipeable that brands a schema as a type-kind ECHO entity. Mirrors
- * {@link EchoObjectSchema} / {@link EchoRelationSchema}, but stamps the
- * resulting entity with `[SchemaKindId]: EntityKind.Type` and a matching
- * `TypeAnnotation.kind = 'type'` so meta-schemas surface uniformly through
- * `Type.isTypeKind`, `Filter.type`, etc.
+ * Common interface for Database, Feed, and Hypergraph.
  */
-declare const EchoTypeKindSchema: {
-  (dxn: DXN, options?: EchoTypeOptions): <Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields>(self: Self & {
-    fields?: Fields;
-  }) => EchoTypeKindSchema<Self, Fields>;
+interface Queryable {
+  query: QueryFn;
+}
+type GetObjectByIdOptions = {
+  deleted?: boolean;
+};
+type ObjectPlacement = 'root-doc' | 'linked-doc';
+type AddOptions = {
+  /**
+   * Where to place the object in the Automerge document tree.
+   * Root document is always loaded with the space.
+   * Linked documents are loaded lazily.
+   * Placing large number of objects in the root document may slow down the initial load.
+   *
+   * @default 'linked-doc'
+   */
+  placeIn?: ObjectPlacement;
+  /**
+   * Append the object to this feed instead of the automerge-backed space database. The object is
+   * returned synchronously (a live feed object) and persisted in the background — confirm the write
+   * completed with {@link Database.flush}. Synchronous alternative to the async
+   * {@link Database.appendToFeed}; `placeIn` is ignored when set.
+   */
+  to?: Feed;
 };
-//#endregion
-//#region ../echo/dist/types/src/internal/Type/type-schema.d.ts
 /**
- * Raw struct backing {@link TypeSchema}. Exposed only so `TypeSchema`
- * (the TS type) can derive its data fields via `Schema.Schema.Type<typeof ...>`;
- * runtime callers should use {@link TypeSchema} (the piped, branded entity).
- *
- * `typename` and `version` are NOT data fields — they live in `EntityMeta.key` /
- * `EntityMeta.version` (the canonical registry-provenance pair, queryable via
- * `Filter.key(...)`). The same `jsonSchema` payload also embeds them so a
- * standalone JSON-Schema export remains self-describing, but the schema-registry
- * reads/writes them through meta.
+ * Rejects Type entities from {@link Database.add} at compile time via their `[KindId]` brand. Used
+ * as `T & RejectTypeEntity<T>` to preserve inference of `T`. Bounding `add` on
+ * `Obj.Unknown | Relation.Unknown` instead would reject broadly-typed instance adds (e.g.
+ * `Entity.Any`, `Obj.OfShape<T>`), forcing casts repo-wide.
  */
-declare const TypeSchemaStruct: Struct<{
-  name: optional<typeof String$>;
-  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
-}>;
+type RejectTypeEntity<T$1> = T$1 extends {
+  readonly [KindId]: EntityKind.Type;
+} ? {
+  __error: 'Type entities must be persisted via db.addType(), not db.add().';
+} : T$1;
+type FlushOptions = {
+  /**
+   * Write any pending changes to disk.
+   * @default true
+   */
+  disk?: boolean;
+  /**
+   * Wait for pending index updates.
+   * @default true
+   */
+  indexes?: boolean;
+  /**
+   * Flush pending updates to objects and queries.
+   * @default false
+   */
+  updates?: boolean;
+};
 /**
- * Persistent representation of a schema.
+ * A caller-owned, writable **independent instance** of one object bound to one branch: a distinct
+ * object instance (not a UI surface), separate from the device-global canonical object.
+ * @see Database.branch
  */
-declare const TypeSchema: EchoTypeKindSchema<Struct<{
-  name: optional<typeof String$>;
-  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
-}>, Readonly<{
-  name: optional<typeof String$>;
-  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
-}>>;
+type BranchBinding<T$1 extends Unknown = Unknown> = {
+  /** Live object bound to the branch document (`'main'` -> the canonical live object). */
+  readonly object: T$1;
+  /** Release the binding (drops the doc-handle listener; never deletes the branch document). */
+  dispose(): void;
+};
 /**
- * Persistent representation of a schema — the runtime shape that
- * `db.addType(Type.makeObjectFromJsonSchema(...))` produces
- * and `Filter.type(Type.Type).run()` returns.
- *
- * Structurally identical to a static `Type.Type` entity: the entity-handler's
- * `get` trap exposes `[SchemaKindId]` (derived from `system.kind` and
- * `data.jsonSchema.entityKind`) and rebuilds `[StaticTypeSchemaSlot]` lazily
- * from `jsonSchema`, so a persisted instance satisfies the public `Type<A>`
- * interface without casting.
+ * Identifier denoting an ECHO Database.
  */
-type TypeSchema = Schema.Type<typeof TypeSchemaStruct> & {
-  /** Object identifier — injected by `EchoTypeKindSchema` and stamped at construction. */
-  readonly id: string;
-  /** Entity-kind discriminator (object/relation/type) carried on every entity instance. */
-  readonly [KindId$1]: EntityKind.Type;
-  /** Kind of schema described by this meta-instance — always `EntityKind.Type` for `Type.Type` itself. */
-  readonly [SchemaKindId]: EntityKind.Type;
-  /** Effect Schema rebuilt lazily from `jsonSchema`; satisfies `Type.getSchema(...)` without an extra cast. */
-  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
-};
-//#endregion
-//#region ../echo/dist/types/src/Type.d.ts
+declare const TypeId: unique symbol;
+type TypeId = typeof TypeId;
 /**
- * Structural base shared by the three sibling type-entity interfaces
- * ({@link Obj}, {@link Relation}, {@link Type}). NOT exported — callers
- * should constrain on {@link AnyEntity} when they want "any of the three"
- * and on the specific kind interface otherwise.
+ * ECHO Database interface.
  */
-interface BaseTypeEntity<A$1> {
+interface Database extends Queryable {
+  readonly [TypeId]: TypeId;
+  get spaceId(): SpaceId;
+  get graph(): Hypergraph;
+  /**
+   * Registry for this database. Delegates type lookups to the shared hypergraph registry.
+   * To persist a schema so it replicates to other clients, add the type entity with
+   * {@link addType} (e.g. `await db.addType(Type.makeObjectFromJsonSchema(...))`).
+   */
+  readonly registry: Registry;
+  toJSON(): object;
+  /**
+   * Return object by local ID.
+   * @deprecated Use `db.query(Filter.id(id)).runSync()[0]` for a working-set lookup, or resolve via a {@link Ref}.
+   */
+  getObjectById<T$1 extends Unknown = OfShape<AnyProperties>>(id: string, opts?: GetObjectByIdOptions): T$1 | undefined;
+  /**
+   * Query objects.
+   */
+  query: QueryFn;
+  /**
+   * Creates a reference to an existing object in the database.
+   *
+   * NOTE: The reference may be dangling if the object is not present in the database.
+   * NOTE: Difference from `Ref.fromURI`
+   * `Ref.fromURI(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
+   * `db.makeRef(dxn)` is preferable in cases with access to the database.
+   */
+  makeRef<T$1 extends Unknown$1 = Unknown$1>(uri: URI): Ref<T$1>;
+  /**
+   * Adds an object or relation to the database.
+   *
+   * Only Object and Relation entities are accepted. To persist a Type definition use
+   * {@link addType} — passing a Type entity is rejected at compile time (and at runtime).
+   *
+   * Pass `{ to: feed }` to append to a feed instead (synchronous; confirm with {@link flush}).
+   */
+  add<T$1 extends Unknown$1 = Unknown$1>(obj: T$1 & RejectTypeEntity<T$1>, opts?: AddOptions): T$1;
+  /**
+   * Persists a Type definition (clones/forks the entity) so it replicates to other peers.
+   *
+   * Runs a conflict query first: if a type with the same typename + version already exists in
+   * this space, the existing persisted entity is returned and no duplicate is created. This is
+   * the only supported way to add Type entities — {@link add} rejects them.
+   */
+  addType<T$1 extends AnyEntity$1>(type: T$1): Promise<T$1>;
+  /**
+   * Removes object from the database.
+   */
+  remove(obj: Unknown$1): void;
+  /**
+   * Appends entities to a feed.
+   *
+   * The feed must already be stored in the database (added via {@link add}); its underlying
+   * queue is addressed by the feed object's URI.
+   */
+  appendToFeed(feed: Feed, entities: Unknown$1[]): Promise<void>;
+  /**
+   * Removes entities from a feed.
+   */
+  deleteFromFeed(feed: Feed, entities: Unknown$1[]): Promise<void>;
+  /**
+   * Wait for all pending changes to be saved to disk.
+   * Optionaly waits for changes to be propagated to indexes and event handlers.
+   */
+  flush(opts?: FlushOptions): Promise<void>;
+  /**
+   * The device-global current branch for an object id (`'main'` by default).
+   * @deprecated Prefer `Obj.getBranch(obj)` — it takes the object and reports the branch of that
+   * specific instance (including `db.branch()` independent instances), not just the device selection.
+   */
+  getCurrentBranch(objectId: string): string;
+  /**
+   * An immutable snapshot of the object at the given historical heads — a detached instance, not a
+   * pin on the live object. Prefer `Obj.getVersion(obj, heads)`.
+   */
+  getVersion<T$1 extends Unknown>(obj: T$1, heads: readonly string[]): Snapshot<T$1>;
+  /** All branch names available for an object, including the implicit `'main'` (always first). */
+  listBranches(objectId: string): string[];
+  /**
+   * Fork the object and its referenced subtree into a new branch (does not switch to it).
+   * @param opts.fromHeads Fork from a historical frontier instead of the tip (a bare heads array
+   *   applies to the root only; a map forks each member from its own frontier).
+   */
+  createBranch(rootObjectId: string, name: string, opts?: {
+    fromHeads?: readonly string[] | Record<string, readonly string[]>;
+  }): Promise<void>;
+  /** Switch the object's subtree to a branch (or back to `'main'`). Device-local; cascades to children. */
+  switchBranch(rootObjectId: string, name: string): Promise<void>;
+  /** Merge a branch back into main across the subtree, then switch back to main. */
+  mergeBranch(rootObjectId: string, name: string, opts?: {
+    deleteAfter?: boolean;
+  }): Promise<void>;
+  /** Fold main's changes into a branch across the subtree (the reverse of {@link mergeBranch}). */
+  syncBranch(rootObjectId: string, name: string): Promise<void>;
+  /** Delete a branch (its documents lose their sync reference). Cannot delete `'main'`. */
+  deleteBranch(rootObjectId: string, name: string): void;
+  /**
+   * Create a caller-owned, writable binding to one branch of one object — a live object whose reads
+   * resolve the branch document and whose writes land on the branch document only. Multiple bindings
+   * to different branches of the same object may coexist; the device-global current branch and other
+   * bindings are unaffected. Binding to `'main'` returns the canonical live object. Bindings are
+   * ephemeral and never persisted — the caller must `dispose()`.
+   */
+  branch<T$1 extends Unknown>(obj: T$1, name: string): Promise<BranchBinding<T$1>>;
+  /**
+   * Removes feed items by ID.
+   */
+  removeFeedItemsByIds(feed: Feed, ids: string[]): Promise<void>;
+  /**
+   * Syncs a feed with the server.
+   */
+  syncFeed(feed: Feed, options?: SyncOptions): Promise<void>;
+  /**
+   * Returns queue replication backlog for the feed's namespace.
+   */
+  getFeedSyncState(feed: Feed): Promise<SyncState$1>;
   /**
-   * Entity-kind brand of the type-entity value itself — always `EntityKind.Type`.
-   * The kind of instance the type *describes* lives on `[SchemaKindId]`
-   * (Object / Relation / Type). Lets `Obj.isObject` / `Relation.isRelation`
-   * reject type entities by a single `[KindId]` check.
+   * Disposes and drops the in-memory handle (live working-set / core cache) for a feed, so the next
+   * access re-reads it cold. Advanced cache-control; primarily used by tests to model a spawned
+   * process reading the feed with an empty in-memory cache. Public (not `_`-prefixed) so it survives
+   * declaration stripping for cross-package test use.
    */
-  readonly [KindId$1]: EntityKind.Type;
+  evictFeedHandle(feed: Feed): Promise<void>;
   /**
-   * Object id. Like all ECHO entities, type entities always carry an id —
-   * stamped at construction for in-memory (static) declarations and assigned by
-   * the database once persisted. The id does NOT determine the entity's URI:
-   * static types resolve to their typename DXN, persisted types to `echo:/<id>`
-   * (see `getTypeURIFromSpecifier`).
+   * Hashes and uploads `bytes` via the chosen storage backend, returning an un-added Blob object.
+   * Rejects with `Err.BlobTooLargeError` (over inline storage's fixed cap, or the backend's own
+   * `maxSize`), `Err.BlobWriteError` (backend upload failure), or `Err.BlobNotAvailableError`
+   * (`reason: 'backend-not-registered'` — the requested storage name has no registered backend).
    */
-  readonly id: EntityId;
-  readonly name?: string;
-  readonly jsonSchema: JsonSchemaType;
-  readonly [InstancePhantomId]?: A$1;
-}
-/**
- * TypeScript type for an ECHO object type — a `Type.Type<A>` entity.
- *
- * `T` is the instance type produced by `Obj.make(Foo, props)`. `Fields` is
- * retained as a structural hint (the runtime value still carries `.fields`),
- * but consumers should derive instance/encoded types via `Type.InstanceType`.
- *
- * **Not a `Schema.Schema`.** `Foo.ast` / `Schema.Schema.Type<typeof Foo>` /
- * `Schema.extend(Foo)` no longer typecheck — extract the Effect Schema via
- * `Type.getSchema(Foo)` first, or derive instance types via
- * `Type.InstanceType<typeof Foo>`.
- *
- * @example
- * ```ts
- * class Person extends Type.makeObject<Person>(DXN.make('com.example.type.person', '0.1.0'))(
- *   Schema.Struct({ name: Schema.String }),
- * ) {}
- * ```
- */
-interface Obj$1<T$1, Fields extends Struct.Fields = Struct.Fields> extends BaseTypeEntity<T$1 & OfKind<typeof Kind.Object>> {
-  /** Schema-kind brand (object). */
-  readonly [SchemaKindId]: EntityKind.Object;
-  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
-  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  createBlob(bytes: Uint8Array, options?: {
+    type?: string;
+    storage?: string;
+  }): Promise<Blob$1>;
   /**
-   * The fields defined in the original struct schema.
-   * Allows accessing field definitions for introspection.
+   * Loads a blob's bytes. Rejects with `Err.BlobNotAvailableError` if the backend for the blob's
+   * storage scheme is not registered, offline, or cannot find the bytes.
    */
-  readonly fields: Fields;
-}
-/**
- * Return type for {@link makeObject}.
- *
- * Not to be used directly, but must be exported for typescript to infer the type.
- */
-interface ObjClass<Self, T$1, Fields extends Struct.Fields> extends Obj$1<Self, Fields> {
-  new (_: never): T$1 & OfKind<typeof Kind.Object>;
+  readBlob(blob: Blob$1): Promise<Uint8Array>;
+  /**
+   * Checks whether a blob's bytes are currently available.
+   */
+  blobExists(blob: Blob$1): Promise<boolean>;
+  /**
+   * Returns a renderable URL for the blob, if one can be produced.
+   */
+  getBlobUrl(blob: Blob$1): Promise<string | undefined>;
+  /**
+   * Get the current combined (automerge documents + feed blocks) sync state, reported against a
+   * single remote peer.
+   */
+  getSyncState(options?: GetSyncStateOptions): Promise<SyncState>;
+  /**
+   * Subscribe to combined sync state changes.
+   */
+  subscribeToSyncState(cb: (state: SyncState) => void, options?: GetSyncStateOptions): CleanupFn;
 }
+declare const Database: Schema<Database>;
 /**
- * Type that represents any ECHO object type — a `Type.Type` entity branded
- * with the object entity kind, i.e. what `Type.makeObject(dxn)` produces.
- */
-type AnyObj = Obj$1<unknown>;
-/**
- * ECHO meta-schema entity — stores `{ name?, typename, version, jsonSchema }`.
- * Type-kind sibling of `Type.makeObject(...)` / `Type.makeRelation(...)` outputs.
- * Stored types live under this entity; filter via `Filter.type(Type.Type)`.
- */
-declare const Type$1: Type$1<TypeSchema>;
-/**
- * TypeScript type for an ECHO relation type — a `Type.Type<A>` entity.
- *
- * `T` is the instance-property type produced by `Relation.make(...)` (excluding
- * source/target endpoints). `Source` and `Target` are the endpoint types.
- *
- * **Not a `Schema.Schema`.** See {@link Obj}'s note.
+ * Sync state of the database in relation to EDGE.
  */
-interface Relation<T$1, Source$1, Target$2, Fields extends Struct.Fields = Struct.Fields> extends BaseTypeEntity<Endpoints$1<Source$1, Target$2> & T$1 & OfKind<typeof Kind.Relation>> {
-  /** Schema-kind brand (relation). */
-  readonly [SchemaKindId]: EntityKind.Relation;
-  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
-  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+interface SyncState {
   /**
-   * The fields defined in the original struct schema.
-   * Allows accessing field definitions for introspection.
+   * Total number of documents locally.
    */
-  readonly fields: Fields;
+  readonly localDocumentCount: number;
+  /**
+   * Total number of documents on the remote peer.
+   */
+  readonly remoteDocumentCount: number;
+  /**
+   * Total number of documents across this peer and the remote peer.
+   */
+  readonly totalDocumentCount: number;
+  /**
+   * Total number of documents that are not synced.
+   * Includes documents that are present only locally, only on the remote peer, or whether the peers have different versions.
+   */
+  readonly unsyncedDocumentCount: number;
+  /**
+   * Blocks still to pull from remote. 0 when caught up.
+   */
+  readonly blocksToPull: string;
+  /**
+   * Unpositioned blocks still to push to remote. 0 when caught up.
+   */
+  readonly blocksToPush: string;
+  /**
+   * Total blocks stored locally for this namespace in the space.
+   */
+  readonly totalBlocks: string;
 }
 /**
- * Return type for {@link makeRelation}.
- *
- * Not to be used directly, but must be exported for typescript to infer the type.
+ * Options for reading combined sync state.
  */
-interface RelationClass<Self, T$1, Source$1, Target$2, Fields extends Struct.Fields> extends Relation<Self, Source$1, Target$2, Fields> {
-  new (_: never): Endpoints$1<Source$1, Target$2> & T$1 & OfKind<typeof Kind.Relation>;
+interface GetSyncStateOptions {
+  /**
+   * Peer to report the automerge document backlog against. Defaults to the EDGE peer.
+   * Provide explicitly in local/test topologies where there is no EDGE peer.
+   */
+  readonly peerId?: string;
 }
+//#endregion
+//#region ../echo/dist/types/src/Collection.d.ts
+declare const Collection_base: ObjClass<Collection, {
+  readonly name?: string | undefined;
+  readonly objects: readonly Ref<Unknown>[];
+}, {}>;
 /**
- * Type that represents any ECHO relation type — a `Type.Type` entity branded
- * with the relation entity kind, i.e. what `Type.makeRelation(...)` produces.
- */
-type AnyRelation = Relation<unknown, unknown, unknown>;
-/**
- * Type that represents any ECHO type-kind entity — a `Type.Type` meta-schema
- * value (static `Type.Type` or a persisted draft from `db.addType(...)`).
- * Mirrors {@link AnyObj} / {@link AnyRelation} for the third sibling kind.
- */
-type AnyType = Type$1<unknown>;
-/**
- * Any ECHO type-entity — one of the three sibling kinds: object-kind, relation-kind,
- * or type-kind (the meta-schema). APIs that want "any ECHO type" use this union;
- * the underlying Effect Schema is retrieved via `Type.getSchema`.
+ * A an ordered set of objects.
  */
-type AnyEntity$1 = AnyObj | AnyRelation | AnyType;
+declare class Collection extends Collection_base {}
+//#endregion
+//#region ../echo/dist/types/src/View.d.ts
+declare const View_base: ObjClass<View, {
+  readonly query: {
+    readonly raw?: string | undefined;
+    readonly ast: QueryAggregateClause | QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QuerySkipClause | QueryUnionClause;
+  };
+  readonly projection: {
+    readonly schema?: JsonSchemaType | undefined;
+    readonly fields: readonly {
+      readonly id: string;
+      readonly path: JsonPath;
+      readonly visible?: boolean | undefined;
+      readonly referencePath?: JsonPath | undefined;
+    }[];
+    readonly pivotFieldId?: string | undefined;
+  };
+}, {}>;
 /**
- * String key used to phantom-carry the instance type produced by a `Type.Type`.
- * Used by `Type.InstanceType<typeof Foo>` to recover the schema instance type
- * since `Type.makeObject(dxn)` does not return a `Schema.Schema`.
- *
- * Re-exported from the internal types layer so both `Type.ts` and internal
- * helpers (`makeObject`, `createObject`) reference the same phantom key.
+ * Views are generated or user-defined projections of a schema's properties.
+ * They are used to configure the visual representation of the data.
  */
-declare const InstancePhantomId: "~@dxos/echo/Type.Instance";
-type InstancePhantomId = InstancePhantomId$1;
+declare class View extends View_base {}
+//#endregion
+//#region ../echo/dist/types/src/Dataset.d.ts
 /**
- * Sibling of {@link Obj} / {@link Relation} for the third ECHO entity kind:
- * **type-kind** entities (meta-schemas). The singleton {@link Type} const is
- * the canonical example — it describes stored type definitions themselves.
- *
- * Not a `Schema.Schema`. Use `Type.getSchema(value)` to obtain the underlying
- * Effect Schema and `Type.update(value, draft => ...)` to mutate.
- *
- * `A` is the instance-type phantom — what `Obj.make(value, ...)` would produce.
- * Merged with the `Type` const value via TypeScript declaration merging.
+ * Abstract set of objects, represented by a view, feed, or collection.
+ * Schema-level union of the underlying type entities (rebuilt via
+ * `Type.getSchema`) so this can still be consumed by Schema-side APIs such
+ * as `Filter.type(...)` on a union.
  */
-interface Type$1<A$1 = unknown> extends BaseTypeEntity<A$1 & OfKind<typeof Kind.Type>> {
-  /** Schema-kind brand (type — the meta-schema kind). */
-  readonly [SchemaKindId]: EntityKind.Type;
-  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
-  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+type Dataset = Feed | Collection | View;
+declare const Dataset: Union<[Schema<Feed & OfKind<EntityKind.Object>, Feed & OfKind<EntityKind.Object>, never>, Schema<Collection & OfKind<EntityKind.Object>, Collection & OfKind<EntityKind.Object>, never>, Schema<View & OfKind<EntityKind.Object>, View & OfKind<EntityKind.Object>, never>]>;
+declare namespace Query_d_exports {
+  export { AggregateResult, Any$2 as Any, Projection, ProjectionTypeId, Query, QueryTypeId, Type$1 as Type, all, from, fromAst, is, pretty, project, select, type$1 as type, without };
 }
 /**
- * Instance type produced by a Type entity.
- *
- * Accepts ONLY {@link AnyEntity} inputs — `Type.Obj`, `Type.Relation`, or
- * `Type.Type`. Raw Effect `Schema.Schema` values are rejected: for those, use
- * `Schema.Schema.Type<typeof Foo>` directly. This separation keeps the type
- * system honest about which values represent ECHO entities versus plain
- * Effect schemas.
- *
- * Dispatches on the entity kind:
- *  - `Relation<Props, S, T>` → `Endpoints<S,T> & Props & OfKind<Relation>`
- *  - `Obj<A>`                → `A & OfKind<Object>`
- *  - `Type<A>`               → `A & OfKind<Type>`
- */
-type InstanceType$1<T$1 extends AnyEntity$1> = T$1 extends RelationClass<any, infer Props, infer Source, infer Target, any> ? Endpoints$1<Source, Target> & Props & OfKind<typeof Kind.Relation> : T$1 extends Relation<infer Props, infer Source, infer Target, any> ? Endpoints$1<Source, Target> & Props & OfKind<typeof Kind.Relation> : T$1 extends ObjClass<any, infer A, any> ? A & OfKind<typeof Kind.Object> : T$1 extends Obj$1<infer A, any> ? A & OfKind<typeof Kind.Object> : T$1 extends Type$1<infer A> ? A & OfKind<typeof Kind.Type> : never;
-//#endregion
-//#region ../echo/dist/types/src/internal/Ref/ref.d.ts
-declare const RefTypeId: unique symbol;
-/**
- * Reference Schema.
+ * All property paths inside T that are references.
  */
-interface RefSchema<T$1 extends AnyEntity> extends SchemaClass<Ref<T$1>, EncodedReference> {}
+type RefPropKey<T$1> = keyof T$1 & string;
+type RefArrayElement<A$1> = A$1 extends readonly (infer E)[] ? E : A$1 extends (infer E)[] ? E : never;
+/** Target entity when traversing an outgoing ref or array-of-refs property. */
+type ReferenceTraversalTarget<P$1> = P$1 extends Unknown$3 ? Target$1<P$1> : P$1 extends Unknown$3 | undefined ? Target$1<Exclude<P$1, undefined>> : RefArrayElement<P$1> extends Unknown$3 ? Target$1<RefArrayElement<P$1>> : never;
 /**
- * Type of the `Ref` function and extra methods attached to it.
+ * Phantom brand on the flat row produced by {@link Query.aggregate}. Present only at the type level
+ * (never at runtime), it lets hooks like `useQuery`/`usePagination` distinguish an aggregate-row
+ * query from an entity query and avoid wrapping the row in `Entity.Entity`. The brand is a required
+ * property so `T extends AggregateResult` discriminates — an optional one would be satisfied by any
+ * type. Consumers never read it.
  */
-interface RefFn {
-  <S$1 extends AnyEntity$1 | UnknownTypeSchema<any, any> = AnyEntity$1>(schema: S$1): RefSchema<S$1 extends AnyType ? AnyEntity$1 : S$1 extends AnyObj | AnyRelation ? InstanceType$1<S$1> : S$1 extends UnknownTypeSchema<infer A, any> ? A : never>;
-  /**
-   * @returns True if the object is a reference.
-   */
-  isRef: (obj: unknown) => obj is Ref<any>;
-  /**
-   * @returns True if the reference points to the given object id.
-   */
-  hasEntityId: (id: EntityId) => (ref: Ref<any>) => boolean;
+interface AggregateResult {
+  readonly '~@dxos/echo/Query.AggregateResult': true;
+}
+declare const QueryTypeId: '~@dxos/echo/Query';
+type QueryTypeId = typeof QueryTypeId;
+interface Query<T$1> {
+  readonly [QueryTypeId]: {
+    value: T$1;
+  };
+  ast: Query$1;
   /**
-   * @returns True if the schema is a reference schema.
+   * Filter the current selection based on a filter.
+   * @param filter - Filter to select the objects.
+   * @returns Query for the selected objects.
    */
-  isRefSchema: (schema: Schema<any, any>) => schema is RefSchema<any>;
+  select(filter: Filter<T$1>): Query<T$1>;
+  select(props: Props$1<T$1>): Query<T$1>;
   /**
-   * @returns True if the schema AST is a reference schema.
+   * Project the query's results to a single scalar property, for use as a membership set in
+   * `Filter.in(query.project('col'))` — an uncorrelated `col IN (SELECT property FROM ...)`
+   * semi-join. The subquery is resolved once at execution time. A projection is a terminal
+   * value, not a `Query`, so it cannot be chained further.
+   * @param property - Property path to project.
    */
-  isRefSchemaAST: (ast: AST) => boolean;
+  project<K$1 extends RefPropKey<T$1>>(property: K$1): Projection<T$1[K$1]>;
   /**
-   * Constructs a reference that points to the given object.
+   * Traverse an outgoing reference.
+   * @param key - Property path inside T that is a reference or optional reference.
+   * @returns Query for the target of the reference.
    */
-  make: <T$1 extends AnyEntity>(object: T$1) => Ref<T$1>;
+  reference<K$1 extends RefPropKey<T$1>>(key: K$1): Query<ReferenceTraversalTarget<T$1[K$1]>>;
   /**
-   * Constructs a reference that points to the object specified by the provided URI
-   * (either an `echo:` EID for an object reference or a `dxn:` DXN for a type reference).
+   * Find objects referencing this object.
+   * @param target - Schema of the referencing object. If not provided, matches any type.
+   * @param key - Property path inside the referencing object that is a reference. If not provided, matches any property.
+   * @returns Query for the referencing objects.
    */
-  fromURI: (uri: URI) => Ref<any>;
-}
-/**
- * Schema builder for references.
- */
-declare const Ref: RefFn;
-/**
- * Represents materialized reference to a target.
- * This is the data type for the fields marked as ref.
- */
-interface Ref<T$1> extends Pipeable {
+  referencedBy<S$1 extends AnyEntity$1>(target: S$1 | URI, key: RefPropKey<InstanceType$1<S$1>>): Query<InstanceType$1<S$1>>;
+  referencedBy<S$1 extends AnyEntity$1>(target: S$1 | URI): Query<InstanceType$1<S$1>>;
+  referencedBy(): Query<any>;
   /**
-   * Target URI (either an `echo:` EID for an object reference or a `dxn:` DXN for a type reference).
+   * Find relations where this object is the source.
+   * @returns Query for the relation objects.
+   * @param relation - Schema of the relation.
+   * @param predicates - Predicates to filter the relation objects.
    */
-  get uri(): URI;
+  sourceOf<R$1 extends AnyRelation>(relation?: R$1 | URI, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
   /**
-   * Returns true if the reference has a target available (inlined or resolver set).
+   * Find relations where this object is the target.
+   * @returns Query for the relation objects.
+   * @param relation - Type entity of the relation.
+   * @param predicates - Predicates to filter the relation objects.
    */
-  get isAvailable(): boolean;
+  targetOf<R$1 extends AnyRelation>(relation?: R$1 | URI, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
   /**
-   * @returns The reference target.
-   * May return `undefined` if the object is not loaded in the working set.
-   * Accessing this property, even if it returns `undefined` will trigger the object to be loaded to the working set.
+   * For a query for relations, get the source objects.
+   * @returns Query for the source objects.
    */
-  get target(): T$1 | undefined;
+  source(): Query<SourceOf<T$1>>;
   /**
-   * @returns Promise that will resolves with the target object.
-   * Will load the object from disk if it is not present in the working set.
-   * Short-circuits immediately when the target is already loaded.
-   * @throws If the object is not available locally.
-   *
-   * @idiom org.dxos.echo.refLoad
-   *   applies: Resolving a ref inside an async function or Effect handler — guarantees the object is available before proceeding
-   *   instead-of: `ref.target` — not guaranteed to be defined in async contexts; use `await ref.load()` (or `yield* Database.load(ref)` in Effect) to ensure the target is present
-   *   uses: {@link load}
-   *   related: org.dxos.echo-react.useObjectReactive
+   * For a query for relations, get the target objects.
+   * @returns Query for the target objects.
    */
-  load(): Promise<T$1>;
+  target(): Query<TargetOf<T$1>>;
   /**
-   * @returns Promise that will resolves with the target object or undefined if the object is not loaded locally.
+   * Get the parent object of the current selection.
+   * @returns Query for the parent objects.
    */
-  tryLoad(): Promise<T$1 | undefined>;
+  parent(): Query<any>;
   /**
-   * Subscribe to the ref's resolution event.
-   * The callback fires when the target object becomes available in the working set
-   * (e.g. when its document is loaded after sibling-client mutation).
-   * Note: the resolver only schedules a notification when the target is requested
-   * via {@link target} while it is not yet loaded.
-   * @returns Function that unsubscribes the callback.
+   * Get all child objects of the current selection.
+   * @returns Query for the child objects.
    */
-  onResolved(callback: () => void): () => void;
+  children(): Query<any>;
   /**
-   * Do not inline the target object in the reference.
-   * Makes .target unavailable unless the reference is connected to a database context.
-   *
-   * When serialized with toJSON, the difference is between:
-   * `{ "/": "dxn:..." }`
-   * and
-   * `{ "/": "dxn:...", "target": { ... } }`
+   * Order the query results.
+   * Orders are specified in priority order. The first order will be applied first, etc.
    *
-   * Clones the reference object.
-   */
-  noInline(): Ref<T$1>;
-  /**
-   * Read-only atom for the ref target.
-   * Resolves once when the target loads; does NOT subscribe to target object mutations.
-   * Use `Obj.atom(ref)` if you need reactive snapshots that update on every object mutation.
+   * `Order.property` orders by the current result shape's fields, so it works both before and after
+   * an {@link aggregate}: before, by member (row) properties; after, by the flat record's fields
+   * (any group or aggregate field — e.g. `Order.property('lastMessageAt')` reorders the groups by
+   * that aggregate).
+   * @param order - Order to sort the results.
+   * @returns Query for the ordered results.
    */
-  get atom(): Atom<T$1 | undefined>;
+  orderBy(...order: NonEmptyArray<Order<T$1>>): Query<T$1>;
   /**
-   * Serializes the reference to a JSON object.
-   * The serialization format is compatible with the IPLD-style encoded references.
-   * When a reference has a saved target (i.e. the target or object holding the reference is not in the database),
-   * the target is included in the serialized object.
+   * Aggregate the query results into flat records. {@link Aggregate.group} entries partition the
+   * results into contiguous groups (one record each), keyed by the record field the group is named
+   * after; with no `group` entries the entire input aggregates into a single record. Each declared
+   * aggregate becomes a top-level field and can be ordered by with a following {@link orderBy} using
+   * {@link Order.property}.
    *
-   * Examples:
-   * `{ "/": "dxn:..." }`
-   * `{ "/": "dxn:...", "target": { ... } }`
+   * Groups are ordered by the first occurrence of their key in the incoming stream, so a preceding
+   * `orderBy` controls group order in the absence of a following one. {@link Aggregate.items}'s own
+   * `order` option is a separate, explicit per-group member ordering — pass it there rather than
+   * relying on a preceding `orderBy`, whose only well-defined job once `aggregate` follows is
+   * establishing initial group order. For example, message threads ordered by their most recent
+   * message, each retaining up to 20 members newest-first:
+   *
+   * ```ts
+   * Query.type(Message)
+   *   .aggregate({
+   *     threadId: Aggregate.group('threadId'),
+   *     lastMessageAt: Aggregate.max('created'),
+   *     items: Aggregate.items({ limit: 20, order: [Order.property('created', 'desc')] }),
+   *   })
+   *   .orderBy(Order.property('lastMessageAt', 'desc'));
+   * ```
+   *
+   * Must be the last data-selecting clause in the chain — only `from`/`options`/`orderBy`/`limit`/
+   * `skip` may follow.
+   * @param aggregates - Record of aggregate declarations keyed by result field name.
+   * @returns Query whose flat result records carry the named aggregates as fields.
    */
-  encode(): EncodedReference;
-  [RefTypeId]: {
-    _T: T$1;
-  };
-}
-declare namespace Ref {
+  aggregate<const A$1 extends Record<string, Aggregate<T$1, any>>>(aggregates: A$1): Query<AggregationResult<A$1>>;
   /**
-   * Target of the reference.
+   * Limit the number of results.
+   * @param limit - Maximum number of results to return.
+   * @returns Query for the limited results.
    */
-  type Target<R$1> = R$1 extends Ref<infer U> ? U : never;
-}
-/**
- * Load-source ceiling for a resolution request. Cheaper tiers are always probed first; the
- * ceiling caps how far a request is allowed to reach:
- * - `working-set`: synchronous, in-memory only. A miss settles `unavailable` immediately.
- * - `disk`: probe the working set, then local storage; never the network.
- * - `network`: probe the working set, disk, then fetch from peers.
- *
- * `unavailable` is always relative to the requested ceiling (disk-unavailable ≠ network-unavailable).
- */
-type RefSource = 'working-set' | 'disk' | 'network';
-/**
- * A stateful, closure-aware handle to an in-flight (or settled) reference resolution.
- *
- * `ready` means the entity is FULLY USABLE: its own body and its strong-dependency closure are all
- * materialized. The body-vs-closure split is internal; `requesting` transparently covers "a
- * dependency is still loading".
- */
-interface RefResolverRequest {
+  limit(limit: number): Query<T$1>;
   /**
-   * `pending` is a one-way entry state (never re-entered). `requesting` means the body and/or
-   * closure is still loading. `ready` means fully usable. `unavailable` means unreachable at the
-   * requested ceiling.
+   * Skip a number of results (offset). Combined with `orderBy` and `limit`, expresses a windowed
+   * (paginated) read.
+   * @param skip - Number of leading results to skip.
+   * @returns Query for the remaining results.
    */
-  readonly state: 'pending' | 'requesting' | 'ready' | 'unavailable';
+  skip(skip: number): Query<T$1>;
   /**
-   * Fires (deferred to a microtask) whenever {@link state} changes.
+   * Query from selected databases only.
+   *
+   * Example:
+   *
+   * ```ts
+   * Query.select(Filter.type(Person)).from(db);
+   * ```
+   *
+   * @param options.includeFeeds [false] - Whether to include feeds in the query. Default is to query from automerge documents only.
    */
-  readonly stateChanged: Event$1<void>;
+  from(database: Database | Database[], options?: {
+    includeFeeds?: boolean;
+  }): Query<T$1>;
   /**
-   * Synchronous snapshot of the resolved entity; defined iff `state === 'ready'`.
+   * Query from selected feeds only.
+   *
+   * Example:
+   *
+   * ```ts
+   * Query.select(Filter.type(Person)).from(feed);
+   * ```
+   *
    */
-  getResult(): AnyProperties | undefined;
+  from(feeds: Feed | Feed[]): Query<T$1>;
   /**
-   * Settles when `state ∈ {ready, unavailable}`.
+   * Query from all accessible spaces.
+   *
+   * Example:
+   *
+   * ```ts
+   * Query.select(Filter.type(Person)).from('all-accessible-spaces');
+   * ```
+   *
+   * @param options.includeFeeds [false] - Whether to include feeds in the query. Default is to query from automerge documents only.
    */
-  wait(): Promise<AnyProperties | undefined>;
+  from(allSpaces: 'all-accessible-spaces', options?: {
+    includeFeeds?: boolean;
+  }): Query<T$1>;
   /**
-   * Decrements the refcount on the shared load op(s); cancels the underlying IO at zero.
+   * Query from a dataset.
+   * Currently only feeds are supported.
+   *
+   * Example:
+   *
+   * ```ts
+   * Query.type(Person).from(feed);
+   * ```
    */
-  abort(): void;
-}
-interface RefResolver {
+  from(dataset: Dataset): Query<T$1>;
   /**
-   * Resolve a reference, returning a stateful handle. `source` is a required ceiling; cheaper
-   * tiers are always probed first.
+   * Query from the results of another query.
+   *
+   * Example:
+   *
+   * ```ts
+   * Query.select(Filter.props({ foo: 'foo' })).from(Query.select(Filter.type(Contact)).reference('org'));
+   * ```
    */
-  resolve(uri: URI, options: {
-    source: RefSource;
-  }): RefResolverRequest;
+  from(query: Any$2): Query<T$1>;
   /**
-   * Resolve ref synchronously from the objects in the working set.
+   * Query from one or more raw scopes.
    *
-   * @param uri
-   * @param load If true the resolver should attempt to load the object from disk.
-   * @param onLoad Callback to call when the object is loaded.
-   * @deprecated Use {@link resolve} with `{ source: 'working-set' }`. Removed in Task 11.
+   * Use the {@link Scope} constructors rather than raw tagged objects:
+   *
+   * ```ts
+   * Query.select(Filter.type(Type.Type)).from(Scope.space(), Scope.registry());
+   * ```
    */
-  resolveSync(uri: URI, load: boolean, onLoad?: () => void): AnyProperties | undefined;
+  from(...scopes: Scope[]): Query<T$1>;
   /**
-   * Resolver ref asynchronously.
-   * @deprecated Use {@link resolve} with `{ source: 'network' }`. Removed in Task 11.
+   * Query from a raw scope or array of scopes.
    */
-  resolveLegacy(uri: URI): Promise<AnyProperties | undefined>;
+  from(scope: Scope | Scope[]): Query<T$1>;
   /**
-   * @deprecated Use {@link resolve} + `Type.getSchema`. Removed in Task 11.
+   * Add options to a query.
    */
-  resolveSchema(uri: URI): Promise<Schema.AnyNoContext | undefined>;
+  options(options: QueryOptions): Query<T$1>;
   /**
-   * Resolve the source `Type.AnyEntity` entity for a type URI. Used by
-   * deserialization paths (`Obj.fromJSON`) to set the back-reference accessed
-   * via `Obj.getType` / `Entity.getType`. Optional — resolvers that only
-   * carry raw schemas may leave this unimplemented; the deserializer falls
-   * back to leaving the type entity unset.
-   * @deprecated Use {@link resolve}. Removed in Task 11.
+   * Attach a diagnostic label for logs and tooling (execution semantics unchanged).
    */
-  resolveType?(uri: URI): Promise<unknown | undefined>;
+  debugLabel(label: string): Query<T$1>;
 }
-//#endregion
-//#region ../echo/dist/types/src/Entity.d.ts
-declare const KindId: "~@dxos/echo/Kind";
-type KindId = typeof KindId$1;
-declare const Kind: typeof EntityKind;
-type Kind = EntityKind;
+type Any$2 = Query<any>;
+type Type$1<Q extends Any$2> = Q extends Query<infer T> ? T : never;
 /**
- * Assigns a kind to an Object or Relation instance.
- * NOTE: Needed to make `isRelation` and `isObject` checks work.
+ * A query projected to a single scalar property (see {@link Query.project}).
  */
-interface OfKind<K$1 extends Kind> {
-  readonly [KindId]: K$1;
-  readonly id: EntityId;
-}
+type Projection<V$1 = unknown> = Projection$1<V$1>;
 /**
- * Unknown Obj or Relation (reactive).
+ * Brand key for {@link Projection}. Re-exported (like {@link QueryTypeId}) so the sandboxed
+ * `query-lite` mirror can declare its own local constant with the same string literal and
+ * construct structurally-compatible projections without importing this module's runtime.
  */
-interface Unknown extends OfKind<Kind> {}
+type ProjectionTypeId = ProjectionTypeId$1;
+declare const is: (value: unknown) => value is Any$2;
+/** Construct a query from an ast. */
+declare const fromAst: (ast: Query$1) => Any$2;
 /**
- * Effect Schema for any ECHO entity (object or relation).
+ * Select objects based on a filter.
+ * @param filter - Filter to select the objects.
+ * @returns Query for the selected objects.
+ */
+declare const select: <F extends Any$3>(filter: F) => Query<Type$2<F>>;
+/**
+ * Query for objects of a given schema.
+ * @param schema - Schema of the objects.
+ * @param predicates - Predicates to filter the objects.
+ * @returns Query for the objects.
  *
- * Kind-agnostic counterpart to `Obj.Unknown` / `Relation.Unknown` — validates
- * the structural shape (id + properties) without constraining `[KindId]`. Used
- * in operation input schemas that accept any entity flavour (e.g.
- * `Schema.Array(Entity.Unknown)`).
+ * Shorthand for: `Query.select(Filter.type(schema, predicates))`.
+ */
+declare const type$1: {
+  <T$1 extends AnyEntity$1>(type: T$1, predicates?: Props$1<InstanceType$1<T$1>>): Query<InstanceType$1<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  (uri: URI, predicates?: Props$1<unknown>): Query<any>;
+};
+/**
+ * Project a query's results to a single scalar property, for use as a membership set in
+ * `Filter.in(Query.project(query, 'col'))`.
+ * @param query - Query to project.
+ * @param property - Property path to project.
+ * @returns Projection for use in `Filter.in`.
+ */
+declare const project: <T$1, K$1 extends RefPropKey<T$1>>(query: Query<T$1>, property: K$1) => Projection<T$1[K$1]>;
+/**
+ * Combine results of multiple queries.
+ * @param queries - Queries to combine.
+ * @returns Query for the combined results.
+ */
+declare const all: (...queries: Any$2[]) => Any$2;
+/**
+ * Subtract one query from another.
+ * @param source - Query to subtract from.
+ * @param exclude - Query to subtract.
+ * @returns Query for the results of the source query minus the results of the exclude query.
+ */
+declare const without: <T$1>(source: Query<T$1>, exclude: Query<T$1>) => Query<T$1>;
+/**
+ * Create a query scoped to a data source.
+ * The returned query selects everything from the source; chain `.select()` to narrow results.
  *
- * The cast bridges the runtime structural schema to the branded `Unknown` type:
- * `[KindId]` is a symbol brand that can't be expressed in a runtime `Struct`,
- * so the entity guarantee is carried at the type level only (same approach as
- * `Obj.Unknown` / `Relation.Unknown`). Unlike those, this is kind-agnostic so it
- * isn't an `UnknownTypeSchema<_, K>` (there's no single `K`) and carries no
- * `TypeAnnotation`.
+ * @param source - Data source: database, feed, 'all-accessible-spaces', or another query.
+ * @returns Query scoped to the given source.
+ */
+declare const from: (...args: [(Database | Database[] | Feed | Feed[] | Any$2 | Scope | Scope[] | 'all-accessible-spaces'), {
+  includeFeeds?: boolean;
+}?] | Scope[]) => Any$2;
+/**
+ * Returns a human-readable string representation of a Query AST.
  */
-declare const Unknown: Schema<Unknown>;
+declare const pretty: (query: Any$2) => string;
 //#endregion
-//#region ../echo/dist/types/src/internal/common/types/base.d.ts
+//#region ../echo/dist/types/src/Aggregate.d.ts
 /**
- * Base type for all data objects (reactive, ECHO, and other raw objects).
- * NOTE: This describes the base type for all database objects.
- * It is stricter than `T extends {}` or `T extends object`.
+ * The aggregate spec sans name; the name is supplied by the `Query.aggregate` record key. A tagged
+ * union per kind so `property`/`limit`/`order` are present exactly when the kind uses them (no
+ * unused optional fields to guard against at read sites).
  */
-type AnyProperties = Record<string, any>;
+type Spec = {
+  kind: 'group';
+  property: string;
+} | {
+  kind: 'max';
+  property: string;
+} | {
+  kind: 'min';
+  property: string;
+} | {
+  kind: 'items';
+  limit?: number;
+  order?: readonly Order$1[];
+} | {
+  kind: 'count';
+};
+declare const AggregateTypeId: '~@dxos/echo/Aggregate';
+type AggregateTypeId = typeof AggregateTypeId;
 /**
- * Canonical type for all ECHO entities (objects and relations).
- * @depreacted Remove, use Entity.Unknown instead.
+ * A per-group aggregate declaration, materialised as a top-level field on the flat result record
+ * `Query.aggregate` produces and orderable via a following `orderBy(Order.property(name))`. Name it
+ * via the record passed to `Query.aggregate({ name: Aggregate.max('created') })`.
+ *
+ * `T` is the query's element type (so a reduced/grouped property is checked against it); `V` is the
+ * value the aggregate produces. {@link group} entries define the grouping keys; a record with no
+ * `group` entries aggregates the entire input into a single row.
  */
-interface AnyEntity {
-  readonly id: EntityId;
+interface Aggregate<T$1, V$1> {
+  readonly [AggregateTypeId]: {
+    element: T$1;
+    value: V$1;
+  };
+  spec: Spec;
 }
+type Any$1 = Aggregate<any, any>;
+/** Extracts the value type a {@link Aggregate} produces. */
+type ValueOf<A$1> = A$1 extends Aggregate<any, infer V> ? V : never;
+/** Computes the flat result type of `Query.aggregate(aggregates)` for a given aggregate record `A`. */
+type AggregationResult<A$1 extends Record<string, Any$1>> = Simplify$1<AggregateResult & { readonly [N in keyof A$1]: ValueOf<A$1[N]> }>;
 //#endregion
 //#region src/query-lite/query-lite.d.ts
 declare const Order2: typeof Order_d_exports;