@dxos/echo-query 0.8.4-main.3eb6e50203 → 0.8.4-main.3fbcb4aa9b

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

@@ -4711,7 +4711,7 @@ declare namespace FastCheck_d_exports {
   export { Arbitrary, ArrayConstraints$1 as ArrayConstraints, AsyncCommand, AsyncPropertyHookFunction, BigIntArrayConstraints, BigIntConstraints$1 as BigIntConstraints, BigUintConstraints, CloneValue, Command, CommandsContraints, ContextValue, DateConstraints$1 as DateConstraints, DepthContext, DepthIdentifier, DepthSize, DictionaryConstraints, DomainConstraints, DoubleConstraints, EmailAddressConstraints, ExecutionStatus, ExecutionTree, FalsyContraints, FalsyValue, Float32ArrayConstraints, Float64ArrayConstraints, FloatConstraints, GeneratorValue, GlobalAsyncPropertyHookFunction, GlobalParameters, GlobalPropertyHookFunction, IAsyncProperty, IAsyncPropertyWithHooks, ICommand, IProperty, IPropertyWithHooks, IRawProperty, IntArrayConstraints, IntegerConstraints, JsonSharedConstraints, JsonValue, LetrecLooselyTypedBuilder, LetrecLooselyTypedTie, LetrecTypedBuilder, LetrecTypedTie, LetrecValue, LoremConstraints, MaybeWeightedArbitrary, Memo, MixedCaseConstraints, ModelRunAsyncSetup, ModelRunSetup, NatConstraints, ObjectConstraints, OneOfConstraints, OneOfValue, OptionConstraints, Parameters$1 as Parameters, PreconditionFailure, PropertyFailure, PropertyHookFunction, Random, RandomType, RecordConstraints, RecordValue, RunDetails, RunDetailsCommon, RunDetailsFailureInterrupted, RunDetailsFailureProperty, RunDetailsFailureTooManySkips, RunDetailsSuccess, Scheduler, SchedulerAct, SchedulerConstraints, SchedulerReportItem, SchedulerSequenceItem, ShuffledSubarrayConstraints, Size, SizeForArbitrary, SparseArrayConstraints, Stream$1 as Stream, StringConstraints$1 as StringConstraints, StringMatchingConstraints, StringSharedConstraints, SubarrayConstraints, UnicodeJsonSharedConstraints, UniqueArrayConstraints, UniqueArrayConstraintsCustomCompare, UniqueArrayConstraintsCustomCompareSelect, UniqueArrayConstraintsRecommended, UniqueArraySharedConstraints, UuidConstraints, Value$1 as Value, VerbosityLevel, WebAuthorityConstraints, WebFragmentsConstraints, WebPathConstraints, WebQueryParametersConstraints, WebSegmentConstraints, WebUrlConstraints, WeightedArbitrary, WithAsyncToStringMethod, WithCloneMethod, WithToStringMethod, __commitHash, __type, __version, anything, array, ascii, asciiString, assert, asyncDefaultReportMessage, asyncModelRun, asyncProperty, asyncStringify, asyncToStringMethod, base64, base64String, bigInt, bigInt64Array, bigIntN, bigUint, bigUint64Array, bigUintN, boolean, char, char16bits, check, clone, cloneIfNeeded, cloneMethod, commands, compareBooleanFunc, compareFunc, configureGlobal, constant, constantFrom, context, createDepthIdentifier, date, defaultReportMessage, dictionary, domain, double, emailAddress, falsy, float, float32Array, float64Array, fullUnicode, fullUnicodeString, func, gen, getDepthContextFor, hasAsyncToStringMethod, hasCloneMethod, hasToStringMethod, hash, hexa, hexaString, infiniteStream, int16Array, int32Array, int8Array, integer, ipV4, ipV4Extended, ipV6, json, jsonValue, letrec, limitShrink, lorem, mapToConstant, maxSafeInteger, maxSafeNat, memo, mixedCase, modelRun, nat, noBias, noShrink, object, oneof, option, pre, property$1 as property, readConfigureGlobal, record, resetConfigureGlobal, sample, scheduledModelRun, scheduler, schedulerFor, shuffledSubarray, sparseArray, statistics, stream, string, string16bits, stringMatching, stringOf, stringify, subarray, toStringMethod, tuple, uint16Array, uint32Array, uint8Array, uint8ClampedArray, ulid, unicode, unicodeJson, unicodeJsonValue, unicodeString, uniqueArray, uuid, uuidV, webAuthority, webFragments, webPath, webQueryParameters, webSegment, webUrl };
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Arbitrary.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Arbitrary.d.ts
 /**
  * @category model
  * @since 3.10.0
@@ -4756,7 +4756,7 @@ interface DateConstraints {
   readonly constraints: DateConstraints$1;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Types.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Types.d.ts
 /**
  * A utility type that transforms a union type `T` into an intersection type.
  *
@@ -4764,6 +4764,20 @@ interface DateConstraints {
  * @category types
  */
 type UnionToIntersection<T$1> = (T$1 extends any ? (x: T$1) => any : never) extends ((x: infer R) => any) ? R : never;
+/**
+ * Simplifies the type signature of a type.
+ *
+ * @example
+ * ```ts
+ * import type { Types } from "effect"
+ *
+ * type Res = Types.Simplify<{ a: number } & { b: number }> // { a: number; b: number; }
+ * ```
+ *
+ * @since 2.0.0
+ * @category types
+ */
+type Simplify$1<A$1> = { [K in keyof A$1]: A$1[K] } extends infer B ? B : never;
 /**
  * Describes the concurrency to use when executing multiple Effect's.
  *
@@ -4832,8 +4846,12 @@ declare namespace Contravariant {
    */
   type Type<A$1> = A$1 extends Contravariant<infer U> ? U : never;
 }
+/**
+ * @since 3.9.0
+ */
+type NoExcessProperties<T$1, U$1> = T$1 & { readonly [K in Exclude<keyof U$1, keyof T$1>]: never };
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Equivalence.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Equivalence.d.ts
 /**
  * @category type class
  * @since 2.0.0
@@ -4842,7 +4860,7 @@ interface Equivalence<in A$1> {
   (self: A$1, that: A$1): boolean;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Hash.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Hash.d.ts
 /**
  * @since 2.0.0
  * @category models
@@ -4851,7 +4869,7 @@ interface Hash {
   [symbol](): number;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Equal.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Equal.d.ts
 /**
  * @since 2.0.0
  * @category models
@@ -4860,7 +4878,7 @@ interface Equal extends Hash {
   [symbol](that: Equal): boolean;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Pipeable.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Pipeable.d.ts
 /**
  * @since 2.0.0
  * @category Models
@@ -4890,7 +4908,7 @@ 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, 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;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Unify.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Unify.d.ts
 /**
  * @since 2.0.0
  */
@@ -4919,7 +4937,7 @@ declare const ignoreSymbol: unique symbol;
  */
 type ignoreSymbol = typeof ignoreSymbol;
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Utils.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Utils.d.ts
 /**
  * @since 3.0.6
  */
@@ -4936,7 +4954,7 @@ declare class YieldWrap<T$1> {
   [YieldWrapTypeId](): T$1;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Option.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Option.d.ts
 /**
  * The `Option` data type represents optional values. An `Option<A>` can either
  * be `Some<A>`, containing a value of type `A`, or `None`, representing the
@@ -4960,12 +4978,12 @@ type Option<A$1> = None$1<A$1> | Some$1<A$1>;
  * @category Symbols
  * @since 2.0.0
  */
-declare const TypeId$3: unique symbol;
+declare const TypeId$4: unique symbol;
 /**
  * @category Symbols
  * @since 2.0.0
  */
-type TypeId$3 = typeof TypeId$3;
+type TypeId$4 = typeof TypeId$4;
 /**
  * @category Models
  * @since 2.0.0
@@ -4973,7 +4991,7 @@ type TypeId$3 = typeof TypeId$3;
 interface None$1<out A$1> extends Pipeable, Inspectable {
   readonly _tag: "None";
   readonly _op: "None";
-  readonly [TypeId$3]: {
+  readonly [TypeId$4]: {
     readonly _A: Covariant<A$1>;
   };
   [typeSymbol]?: unknown;
@@ -4988,7 +5006,7 @@ interface Some$1<out A$1> extends Pipeable, Inspectable {
   readonly _tag: "Some";
   readonly _op: "Some";
   readonly value: A$1;
-  readonly [TypeId$3]: {
+  readonly [TypeId$4]: {
     readonly _A: Covariant<A$1>;
   };
   [typeSymbol]?: unknown;
@@ -5037,7 +5055,7 @@ declare namespace Option {
  */
 interface OptionUnifyIgnore {}
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Context.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Context.d.ts
 /**
  * @since 2.0.0
  * @category symbol
@@ -5127,18 +5145,18 @@ declare namespace Tag$2 {
    */
   type Identifier<T$1 extends Tag$2<any, any> | TagClassShape<any, any>> = T$1 extends Tag$2<any, any> ? T$1["Identifier"] : T$1 extends TagClassShape<any, any> ? T$1 : never;
 }
-declare const TypeId$2: unique symbol;
+declare const TypeId$3: unique symbol;
 /**
  * @since 2.0.0
  * @category symbol
  */
-type TypeId$2 = typeof TypeId$2;
+type TypeId$3 = typeof TypeId$3;
 /**
  * @since 2.0.0
  * @category models
  */
 interface Context$1<in Services> extends Equal, Pipeable, Inspectable {
-  readonly [TypeId$2]: {
+  readonly [TypeId$3]: {
     readonly _Services: Contravariant<Services>;
   };
   readonly unsafeMap: Map<string, any>;
@@ -5162,7 +5180,7 @@ interface Context$1<in Services> extends Equal, Pipeable, Inspectable {
  */
 declare const Tag$2: <const Id$1 extends string>(id: Id$1) => <Self, Shape>() => TagClass<Self, Id$1, Shape>;
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Sink.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Sink.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5218,7 +5236,7 @@ declare namespace Sink {
   }
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/STM.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/STM.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5337,7 +5355,7 @@ declare namespace STM {
   }
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Stream.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Stream.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5450,7 +5468,7 @@ declare namespace Stream {
   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]>;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Channel.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Channel.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5544,7 +5562,7 @@ declare namespace Channel {
   }
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Cause.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Cause.d.ts
 /**
  * A unique symbol identifying the `NoSuchElementException` type.
  *
@@ -5684,7 +5702,7 @@ declare const NoSuchElementException: new (message?: string | undefined) => NoSu
  */
 declare const UnknownException: new (error: unknown, message?: string | undefined) => UnknownException;
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Effect.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Effect.d.ts
 /**
  * @since 2.0.0
  * @category Symbols
@@ -5914,7 +5932,7 @@ declare const Tag$1: <const Id$1 extends string>(id: Id$1) => <Self, Type$5 exte
   use: <X>(body: (_: Type$5) => X) => [X] extends [Effect<infer A, infer E, infer R>] ? Effect<A, E, R | Self> : [X] extends [PromiseLike<infer A>] ? Effect<A, UnknownException, Self> : Effect<X, never, Self>;
 };
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Inspectable.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Inspectable.d.ts
 /**
  * @since 2.0.0
  * @category models
@@ -5925,7 +5943,7 @@ interface Inspectable {
   [NodeInspectSymbol](): unknown;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Either.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Either.d.ts
 /**
  * @category models
  * @since 2.0.0
@@ -5935,12 +5953,12 @@ type Either<A$1, E$1 = never> = Left$1<E$1, A$1> | Right$1<E$1, A$1>;
  * @category symbols
  * @since 2.0.0
  */
-declare const TypeId$1: unique symbol;
+declare const TypeId$2: unique symbol;
 /**
  * @category symbols
  * @since 2.0.0
  */
-type TypeId$1 = typeof TypeId$1;
+type TypeId$2 = typeof TypeId$2;
 /**
  * @category models
  * @since 2.0.0
@@ -5949,7 +5967,7 @@ interface Left$1<out E$1, out A$1> extends Pipeable, Inspectable {
   readonly _tag: "Left";
   readonly _op: "Left";
   readonly left: E$1;
-  readonly [TypeId$1]: {
+  readonly [TypeId$2]: {
     readonly _R: Covariant<A$1>;
     readonly _L: Covariant<E$1>;
   };
@@ -5965,7 +5983,7 @@ interface Right$1<out E$1, out A$1> extends Pipeable, Inspectable {
   readonly _tag: "Right";
   readonly _op: "Right";
   readonly right: A$1;
-  readonly [TypeId$1]: {
+  readonly [TypeId$2]: {
     readonly _R: Covariant<A$1>;
     readonly _L: Covariant<E$1>;
   };
@@ -6003,7 +6021,7 @@ declare namespace Either {
   type Right<T$1 extends Either<any, any>> = [T$1] extends [Either<infer _A, infer _E>] ? _A : never;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Array.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Array.d.ts
 /**
  * @category models
  * @since 2.0.0
@@ -6015,12 +6033,12 @@ type NonEmptyReadonlyArray<A$1> = readonly [A$1, ...Array<A$1>];
  */
 type NonEmptyArray<A$1> = [A$1, ...Array<A$1>];
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/SchemaAST.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/SchemaAST.d.ts
 /**
  * @category model
  * @since 3.10.0
  */
-type AST = Declaration | Literal$1 | UniqueSymbol | UndefinedKeyword | VoidKeyword | NeverKeyword | UnknownKeyword | AnyKeyword | StringKeyword | NumberKeyword | BooleanKeyword | BigIntKeyword | SymbolKeyword | ObjectKeyword | Enums | TemplateLiteral | Refinement$1 | TupleType$1 | TypeLiteral$1 | Union$1 | Suspend | Transformation$1;
+type AST = Declaration | Literal$1 | UniqueSymbol | UndefinedKeyword | VoidKeyword | NeverKeyword | UnknownKeyword | AnyKeyword | StringKeyword | NumberKeyword | BooleanKeyword | BigIntKeyword | SymbolKeyword | ObjectKeyword | Enums$1 | TemplateLiteral | Refinement$1 | TupleType$1 | TypeLiteral$1 | Union$1 | Suspend | Transformation$1;
 /**
  * @category annotations
  * @since 3.19.0
@@ -6417,7 +6435,7 @@ declare class ObjectKeyword implements Annotated {
  * @category model
  * @since 3.10.0
  */
-declare class Enums implements Annotated {
+declare class Enums$1 implements Annotated {
   readonly enums: ReadonlyArray<readonly [string, string | number]>;
   readonly annotations: Annotations$1;
   /**
@@ -6827,7 +6845,7 @@ declare class TypeLiteralTransformation {
   constructor(propertySignatureTransformations: ReadonlyArray<PropertySignatureTransformation$1>);
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/ParseResult.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/ParseResult.d.ts
 /**
  * `ParseIssue` is a type that represents the different types of errors that can occur when decoding/encoding a value.
  *
@@ -6999,7 +7017,7 @@ declare class Forbidden {
   constructor(ast: AST, actual: unknown, message?: string | undefined);
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Pretty.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Pretty.d.ts
 /**
  * @category model
  * @since 3.10.0
@@ -7013,7 +7031,7 @@ interface Pretty<To> {
  */
 type PrettyAnnotation<A$1, TypeParameters extends ReadonlyArray<any> = readonly []> = (...pretties: { readonly [K in keyof TypeParameters]: Pretty<TypeParameters[K]> }) => Pretty<A$1>;
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.19.16/node_modules/effect/dist/dts/Schema.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.20.0/node_modules/effect/dist/dts/Schema.d.ts
 /**
  * @since 3.10.0
  */
@@ -7022,12 +7040,12 @@ type Simplify<A$1> = { [K in keyof A$1]: A$1[K] } & {};
  * @since 3.10.0
  * @category symbol
  */
-declare const TypeId: unique symbol;
+declare const TypeId$1: unique symbol;
 /**
  * @since 3.10.0
  * @category symbol
  */
-type TypeId = typeof TypeId;
+type TypeId$1 = typeof TypeId$1;
 /**
  * @category model
  * @since 3.10.0
@@ -7088,7 +7106,7 @@ declare namespace Schema {
    * @since 3.10.0
    */
   interface Variance<A$1, I$1, R$1> {
-    readonly [TypeId]: {
+    readonly [TypeId$1]: {
       readonly _A: Invariant<A$1>;
       readonly _I: Invariant<I$1>;
       readonly _R: Covariant<R$1>;
@@ -7149,6 +7167,24 @@ interface Literal<Literals extends NonEmptyReadonlyArray<LiteralValue>> extends
 declare function Literal<Literals extends NonEmptyReadonlyArray<LiteralValue>>(...literals: Literals): Literal<Literals>;
 declare function Literal(): Never;
 declare function Literal<Literals extends ReadonlyArray<LiteralValue>>(...literals: Literals): SchemaClass<Literals[number]>;
+/**
+ * @category api interface
+ * @since 3.10.0
+ */
+interface Enums<A$1 extends EnumsDefinition> extends AnnotableClass<Enums<A$1>, A$1[keyof A$1]> {
+  readonly enums: A$1;
+}
+/**
+ * @since 3.10.0
+ */
+type EnumsDefinition = {
+  [x: string]: string | number;
+};
+/**
+ * @category constructors
+ * @since 3.10.0
+ */
+declare const Enums: <A$1 extends EnumsDefinition>(enums: A$1) => Enums<A$1>;
 declare const Null_base: SchemaClass<null, null, never>;
 /**
  * @category primitives
@@ -7166,7 +7202,7 @@ declare const Unknown_base: SchemaClass<unknown, unknown, never>;
  * @category primitives
  * @since 3.10.0
  */
-declare class Unknown$2 extends Unknown_base {}
+declare class Unknown$3 extends Unknown_base {}
 declare const Any_base: SchemaClass<any, any, never>;
 /**
  * @category primitives
@@ -7265,6 +7301,14 @@ interface TupleType<Elements extends TupleType.Elements, Rest$1 extends TupleTyp
   readonly elements: Readonly<Elements>;
   readonly rest: Readonly<Rest$1>;
 }
+/**
+ * @category api interface
+ * @since 3.13.3
+ */
+interface Tuple2<Fst extends Schema.Any, Snd extends Schema.Any> extends AnnotableClass<Tuple2<Fst, Snd>, readonly [Schema.Type<Fst>, Schema.Type<Snd>], readonly [Schema.Encoded<Fst>, Schema.Encoded<Snd>], Schema.Context<Fst> | Schema.Context<Snd>> {
+  readonly elements: readonly [Fst, Snd];
+  readonly rest: readonly [];
+}
 /**
  * @category api interface
  * @since 3.10.0
@@ -7520,6 +7564,64 @@ interface Struct<Fields extends Struct.Fields> extends AnnotableClass<Struct<Fie
  */
 declare function Struct<Fields extends Struct.Fields, const Records extends IndexSignature.NonEmptyRecords>(fields: Fields, ...records: Records): TypeLiteral<Fields, Records>;
 declare function Struct<Fields extends Struct.Fields>(fields: Fields): Struct<Fields>;
+/**
+ * @category api interface
+ * @since 3.10.0
+ */
+interface tag$1<Tag$3 extends LiteralValue> extends PropertySignature<":", Tag$3, never, ":", Tag$3, true, never> {}
+/**
+ * Returns a property signature that represents a tag.
+ * A tag is a literal value that is used to distinguish between different types of objects.
+ * The tag is optional when using the `make` method.
+ *
+ * @example
+ * ```ts
+ * import * as assert from "node:assert"
+ * import { Schema } from "effect"
+ *
+ * const User = Schema.Struct({
+ *   _tag: Schema.tag("User"),
+ *   name: Schema.String,
+ *   age: Schema.Number
+ * })
+ *
+ * assert.deepStrictEqual(User.make({ name: "John", age: 44 }), { _tag: "User", name: "John", age: 44 })
+ * ```
+ *
+ * @see {@link TaggedStruct}
+ *
+ * @since 3.10.0
+ */
+declare const tag$1: <Tag$3 extends LiteralValue>(tag: Tag$3) => tag$1<Tag$3>;
+/**
+ * @category api interface
+ * @since 3.10.0
+ */
+type TaggedStruct<Tag$3 extends LiteralValue, Fields extends Struct.Fields> = Struct<{
+  _tag: tag$1<Tag$3>;
+} & Fields>;
+/**
+ * A tagged struct is a struct that has a tag property that is used to distinguish between different types of objects.
+ *
+ * The tag is optional when using the `make` method.
+ *
+ * @example
+ * ```ts
+ * import * as assert from "node:assert"
+ * import { Schema } from "effect"
+ *
+ * const User = Schema.TaggedStruct("User", {
+ *   name: Schema.String,
+ *   age: Schema.Number
+ * })
+ *
+ * assert.deepStrictEqual(User.make({ name: "John", age: 44 }), { _tag: "User", name: "John", age: 44 })
+ * ```
+ *
+ * @category constructors
+ * @since 3.10.0
+ */
+declare const TaggedStruct: <Tag$3 extends LiteralValue, Fields extends Struct.Fields>(value: Tag$3, fields: Fields) => TaggedStruct<Tag$3, Fields>;
 /**
  * @category api interface
  * @since 3.10.0
@@ -7772,8 +7874,8 @@ type QueueSubspaceTag = (typeof QueueSubspaceTags)[keyof typeof QueueSubspaceTag
  * dxn:echo:<space key>:<echo id>
  * dxn:echo:BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE:01J00J9B45YHYSGZQTQMSKMGJ6
  * dxn:echo:@:01J00J9B45YHYSGZQTQMSKMGJ6
- * dxn:type:dxos.org/type/Calendar
- * dxn:plugin:dxos.org/agent/plugin/functions
+ * dxn:type:org.dxos.type.calendar
+ * dxn:plugin:org.dxos.agent.plugin.functions
  * ```
  */
 declare class DXN {
@@ -7810,11 +7912,11 @@ declare class DXN {
   static parse(dxn: string): DXN;
   static tryParse(dxn: string): DXN | undefined;
   /**
-   * @example `dxn:type:example.com/type/Person`
+   * @example `dxn:type:com.example.type.person`
    */
   static fromTypename(typename: string): DXN;
   /**
-   * @example `dxn:type:example.com/type/Person:0.1.0`
+   * @example `dxn:type:com.example.type.person:0.1.0`
    */
   static fromTypenameAndVersion(typename: string, version: string): DXN;
   /**
@@ -7900,6 +8002,9 @@ declare const ForeignKey: Schema<ForeignKey>;
  */
 type ToMutable<T$1> = T$1 extends object ? { -readonly [K in keyof T$1]: T$1[K] extends readonly (infer U)[] ? U[] : T$1[K] } : T$1;
 //#endregion
+//#region ../../../common/async/dist/types/src/cleanup.d.ts
+type CleanupFn = () => void;
+//#endregion
 //#region ../echo-protocol/dist/types/src/reference.d.ts
 /**
  * Reference as it is stored in Automerge document.
@@ -7929,7 +8034,7 @@ declare const FilterObject_: Struct<{
    * Filter by property.
    * Must not include object ID.
    */
-  props: Record$<SchemaClass<string, string, never>, suspend<FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, never>>;
+  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>>;
   /**
    * Objects that have any of the given foreign keys.
    */
@@ -7949,7 +8054,7 @@ declare const FilterObject: Schema<FilterObject>;
 declare const FilterCompare_: Struct<{
   type: Literal<["compare"]>;
   operator: Literal<["eq", "neq", "gt", "gte", "lt", "lte"]>;
-  value: typeof Unknown$2;
+  value: typeof Unknown$3;
 }>;
 interface FilterCompare extends Schema.Type<typeof FilterCompare_> {}
 declare const FilterCompare: Schema<FilterCompare>;
@@ -7994,6 +8099,18 @@ declare const FilterRange_: Struct<{
 }>;
 interface FilterRange extends Schema.Type<typeof FilterRange_> {}
 declare const FilterRange: Schema<FilterRange>;
+/**
+ * Filter by system timestamp (createdAt / updatedAt).
+ * Timestamps are unix milliseconds stored in the object meta index.
+ */
+declare const FilterTimestamp_: Struct<{
+  type: Literal<["timestamp"]>;
+  field: Literal<["createdAt", "updatedAt"]>;
+  operator: Literal<["gt", "gte", "lt", "lte"]>;
+  value: typeof Number$;
+}>;
+interface FilterTimestamp extends Schema.Type<typeof FilterTimestamp_> {}
+declare const FilterTimestamp: Schema<FilterTimestamp>;
 /**
  * Text search.
  */
@@ -8009,7 +8126,7 @@ declare const FilterTextSearch: Schema<FilterTextSearch>;
  */
 declare const FilterNot_: Struct<{
   type: Literal<["not"]>;
-  filter: suspend<FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, 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>;
 }>;
 interface FilterNot extends Schema.Type<typeof FilterNot_> {}
 declare const FilterNot: Schema<FilterNot>;
@@ -8018,7 +8135,7 @@ declare const FilterNot: Schema<FilterNot>;
  */
 declare const FilterAnd_: Struct<{
   type: Literal<["and"]>;
-  filters: Array$<suspend<FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, never>>;
+  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>>;
 }>;
 interface FilterAnd extends Schema.Type<typeof FilterAnd_> {}
 declare const FilterAnd: Schema<FilterAnd>;
@@ -8027,21 +8144,34 @@ declare const FilterAnd: Schema<FilterAnd>;
  */
 declare const FilterOr_: Struct<{
   type: Literal<["or"]>;
-  filters: Array$<suspend<FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, never>>;
+  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>>;
 }>;
 interface FilterOr extends Schema.Type<typeof FilterOr_> {}
 declare const FilterOr: Schema<FilterOr>;
+/**
+ * Filter objects that are children of the specified parents.
+ * With transitive=true (default), matches grandchildren and beyond.
+ */
+declare const FilterChildOf_: Struct<{
+  type: Literal<["child-of"]>;
+  /** Parent DXNs to match children of. */
+  parents: Array$<refine<string, typeof NonEmptyString>>;
+  /** Whether to match transitively (grandchildren, etc.). Defaults to true. */
+  transitive: typeof Boolean$;
+}>;
+interface FilterChildOf extends Schema.Type<typeof FilterChildOf_> {}
+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<FilterTextSearch, FilterTextSearch, 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<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<FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, 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>;
 }>;
 interface QuerySelectClause extends Schema.Type<typeof QuerySelectClause_> {}
 declare const QuerySelectClause: Schema<QuerySelectClause>;
@@ -8050,8 +8180,8 @@ declare const QuerySelectClause: Schema<QuerySelectClause>;
  */
 declare const QueryFilterClause_: Struct<{
   type: Literal<["filter"]>;
-  selection: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
-  filter: suspend<FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, never>;
+  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>;
 }>;
 interface QueryFilterClause extends Schema.Type<typeof QueryFilterClause_> {}
 declare const QueryFilterClause: Schema<QueryFilterClause>;
@@ -8060,7 +8190,7 @@ declare const QueryFilterClause: Schema<QueryFilterClause>;
  */
 declare const QueryReferenceTraversalClause_: Struct<{
   type: Literal<["reference-traversal"]>;
-  anchor: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
   property: typeof String$;
 }>;
 interface QueryReferenceTraversalClause extends Schema.Type<typeof QueryReferenceTraversalClause_> {}
@@ -8070,7 +8200,7 @@ declare const QueryReferenceTraversalClause: Schema<QueryReferenceTraversalClaus
  */
 declare const QueryIncomingReferencesClause_: Struct<{
   type: Literal<["incoming-references"]>;
-  anchor: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
   /**
    * Property path where the reference is located.
    * If null, matches references from any property.
@@ -8085,14 +8215,14 @@ declare const QueryIncomingReferencesClause: Schema<QueryIncomingReferencesClaus
  */
 declare const QueryRelationClause_: Struct<{
   type: Literal<["relation"]>;
-  anchor: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
   /**
    * 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<FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, FilterObject | FilterCompare | FilterIn | FilterContains | FilterTag | FilterRange | FilterTextSearch | FilterNot | FilterAnd | FilterOr, never>>;
+  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>>;
 }>;
 interface QueryRelationClause extends Schema.Type<typeof QueryRelationClause_> {}
 declare const QueryRelationClause: Schema<QueryRelationClause>;
@@ -8101,7 +8231,7 @@ declare const QueryRelationClause: Schema<QueryRelationClause>;
  */
 declare const QueryRelationTraversalClause_: Struct<{
   type: Literal<["relation-traversal"]>;
-  anchor: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
   direction: Literal<["source", "target", "both"]>;
 }>;
 interface QueryRelationTraversalClause extends Schema.Type<typeof QueryRelationTraversalClause_> {}
@@ -8111,7 +8241,7 @@ declare const QueryRelationTraversalClause: Schema<QueryRelationTraversalClause>
  */
 declare const QueryHierarchyTraversalClause_: Struct<{
   type: Literal<["hierarchy-traversal"]>;
-  anchor: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
   /**
    * to-parent: traverse from child to parent.
    * to-children: traverse from parent to children.
@@ -8125,7 +8255,7 @@ declare const QueryHierarchyTraversalClause: Schema<QueryHierarchyTraversalClaus
  */
 declare const QueryUnionClause_: Struct<{
   type: Literal<["union"]>;
-  queries: Array$<suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>>;
+  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>>;
 }>;
 interface QueryUnionClause extends Schema.Type<typeof QueryUnionClause_> {}
 declare const QueryUnionClause: Schema<QueryUnionClause>;
@@ -8134,8 +8264,8 @@ declare const QueryUnionClause: Schema<QueryUnionClause>;
  */
 declare const QuerySetDifferenceClause_: Struct<{
   type: Literal<["set-difference"]>;
-  source: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
-  exclude: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
 }>;
 interface QuerySetDifferenceClause extends Schema.Type<typeof QuerySetDifferenceClause_> {}
 declare const QuerySetDifferenceClause: Schema<QuerySetDifferenceClause>;
@@ -8159,7 +8289,7 @@ declare const Order$1: Schema<Order$1>;
  */
 declare const QueryOrderClause_: Struct<{
   type: Literal<["order"]>;
-  query: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
   order: Array$<Schema<{
     readonly kind: "natural";
   } | {
@@ -8187,17 +8317,13 @@ declare const QueryOrderClause: Schema<QueryOrderClause>;
  */
 declare const QueryOptionsClause_: Struct<{
   type: Literal<["options"]>;
-  query: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
   options: suspend<{
-    readonly deleted?: "include" | "exclude" | "only" | undefined;
-    readonly spaceIds?: readonly string[] | undefined;
-    readonly allQueuesFromSpaces?: boolean | undefined;
-    readonly queues?: readonly string[] | undefined;
+    readonly deleted?: "exclude" | "include" | "only" | undefined;
+    readonly debugLabel?: string | undefined;
   }, {
-    readonly deleted?: "include" | "exclude" | "only" | undefined;
-    readonly spaceIds?: readonly string[] | undefined;
-    readonly allQueuesFromSpaces?: boolean | undefined;
-    readonly queues?: readonly string[] | undefined;
+    readonly debugLabel?: string | undefined;
+    readonly deleted?: "exclude" | "include" | "only" | undefined;
   }, never>;
 }>;
 interface QueryOptionsClause extends Schema.Type<typeof QueryOptionsClause_> {}
@@ -8207,15 +8333,48 @@ declare const QueryOptionsClause: Schema<QueryOptionsClause>;
  */
 declare const QueryLimitClause_: Struct<{
   type: Literal<["limit"]>;
-  query: suspend<QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, QuerySelectClause | QueryFilterClause | QueryReferenceTraversalClause | QueryIncomingReferencesClause | QueryRelationClause | QueryRelationTraversalClause | QueryHierarchyTraversalClause | QueryUnionClause | QuerySetDifferenceClause | QueryOrderClause | QueryOptionsClause | QueryLimitClause, never>;
+  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>;
   limit: typeof Number$;
 }>;
 interface QueryLimitClause extends Schema.Type<typeof QueryLimitClause_> {}
 declare const QueryLimitClause: Schema<QueryLimitClause>;
-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>]>;
-type Query$1 = Schema.Type<typeof Query_>;
-declare const Query$1: Schema<Query$1>;
+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>;
+  from: Union<[TaggedStruct<"scope", {
+    scope: suspend<{
+      readonly spaceIds?: readonly string[] | undefined;
+      readonly allQueuesFromSpaces?: boolean | undefined;
+      readonly queues?: readonly string[] | undefined;
+    }, {
+      readonly allQueuesFromSpaces?: boolean | undefined;
+      readonly queues?: readonly string[] | undefined;
+      readonly spaceIds?: readonly string[] | undefined;
+    }, 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>;
+  }>]>;
+}>;
+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>]>;
+type Query$2 = Schema.Type<typeof Query_>;
+declare const Query$2: Schema<Query$2>;
 declare const QueryOptions: Struct<{
+  /**
+   * Nested select statements will use this option to filter deleted objects.
+   */
+  deleted: optional<Literal<["include", "exclude", "only"]>>;
+  /**
+   * Diagnostics-only label for logs / tooling (not used by execution semantics).
+   */
+  debugLabel: optional<typeof String$>;
+}>;
+interface QueryOptions extends Schema.Type<typeof QueryOptions> {}
+/**
+ * Specifies the scope of the data to query from.
+ */
+declare const Scope: Struct<{
   /**
    * The nested select statemets will select from the given spaces.
    *
@@ -8232,49 +8391,19 @@ declare const QueryOptions: Struct<{
    * NOTE: Spaces and queues are unioned together if both are specified.
    */
   queues: optional<Array$<refine<string, typeof NonEmptyString>>>;
-  /**
-   * Nested select statements will use this option to filter deleted objects.
-   */
-  deleted: optional<Literal<["include", "exclude", "only"]>>;
 }>;
-interface QueryOptions extends Schema.Type<typeof QueryOptions> {}
-//#endregion
-//#region ../echo/dist/types/src/internal/types/base.d.ts
-/**
- * Canonical type for all ECHO entities (objects and relations).
- */
-interface AnyEntity {
-  readonly id: ObjectId;
-}
+interface Scope extends Schema.Type<typeof Scope> {}
 //#endregion
-//#region ../echo/dist/types/src/internal/types/entity.d.ts
-/**
- * String key used to identify the kind of an entity instance (object or relation).
- */
-declare const KindId: "~@dxos/echo/Kind";
-type KindId = typeof KindId;
-/**
- * String key used to identify the kind of a schema (object schema or relation schema).
- * Parallels KindId which identifies instance kinds.
- */
-declare const SchemaKindId: "~@dxos/echo/SchemaKind";
-type SchemaKindId = typeof SchemaKindId;
+//#region ../../../common/effect/dist/types/src/json-path.d.ts
+type JsonPath = string & {
+  __JsonPath: true;
+};
 /**
- * Kinds of entities stored in ECHO: objects and relations.
+ * https://www.ietf.org/archive/id/draft-goessner-dispatch-jsonpath-00.html
  */
-declare enum EntityKind {
-  Object = "object",
-  Relation = "relation",
-}
+declare const JsonPath: Schema<JsonPath>;
 //#endregion
-//#region ../echo/dist/types/src/internal/annotations/annotations.d.ts
-declare const TypeMeta: Struct<{
-  typename: refine<string, typeof String$>;
-  version: refine<string, typeof String$>;
-}>;
-interface TypeMeta extends Schema.Type<typeof TypeMeta> {}
-//#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.1_@effect+experimental@0.58.0_@effect+platform@0.94.4_effect@3.19_2781dcea2245861d5b097a0ab57df73a/node_modules/@effect-atom/atom/dist/dts/AtomHttpApi.d.ts
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.1_@effect+experimental@0.58.0_@effect+platform@0.94.4_effect@3.20_0d92fe5e7b61f71046b89ef5357c0767/node_modules/@effect-atom/atom/dist/dts/AtomHttpApi.d.ts
 declare global {
   interface ErrorConstructor {
     stackTraceLimit: number;
@@ -8285,7 +8414,7 @@ declare global {
  * @category Constructors
  */
 //#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.1_@effect+experimental@0.58.0_@effect+platform@0.94.4_effect@3.19_2781dcea2245861d5b097a0ab57df73a/node_modules/@effect-atom/atom/dist/dts/AtomRpc.d.ts
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.1_@effect+experimental@0.58.0_@effect+platform@0.94.4_effect@3.20_0d92fe5e7b61f71046b89ef5357c0767/node_modules/@effect-atom/atom/dist/dts/AtomRpc.d.ts
 declare global {
   interface ErrorConstructor {
     stackTraceLimit: number;
@@ -8296,17 +8425,245 @@ declare global {
  * @category Constructors
  */
 //#endregion
-//#region ../echo/dist/types/src/internal/ref/ref.d.ts
+//#region ../echo/dist/types/src/internal/Entity/entity.d.ts
+type EchoTypeSchemaProps<T$1, ExtraFields = {}> = Simplify$1<AnyEntity & ToMutable<T$1> & ExtraFields>;
+interface EchoTypeSchema<Self extends Schema.Any, ExtraFields = {}, K$1 extends EntityKind = EntityKind, Fields extends Struct.Fields = Struct.Fields> extends TypeMeta, AnnotableClass<EchoTypeSchema<Self, ExtraFields, K$1, Fields>, EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields>, EchoTypeSchemaProps<Schema.Encoded<Self>, ExtraFields>, Schema.Context<Self>> {
+  /**
+   * Schema kind key that marks this as an ECHO schema and indicates its kind.
+   * Makes EchoTypeSchema satisfy the Type.AnyObj or Type.Relation.Any type.
+   */
+  readonly [SchemaKindId]: K$1;
+  /**
+   * The fields defined in the original struct schema.
+   * Allows accessing field definitions for introspection.
+   */
+  readonly fields: Fields;
+  instanceOf(value: unknown): boolean;
+}
+//#endregion
+//#region ../echo/dist/types/src/internal/JsonSchema/json-schema-type.d.ts
+/**
+ * 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
+ */
+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$>;
+  /**
+   * 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$4>>;
+  /**
+   * Default value for this schema.
+   */
+  default: optional<typeof Any$4>;
+  /**
+   * This schema only matches values that are equal to this value.
+   */
+  const: optional<typeof Any$4>;
+  /**
+   * This schema only matches one of the values in this array.
+   */
+  enum: optional<Array$<typeof Any$4>>;
+  /**
+   * 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}.
+     */
+    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>>;
+  }>>;
+  /**
+   * @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}.
+     */
+    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/Ref/ref.d.ts
 declare const RefTypeId: unique symbol;
 /**
  * Reference Schema.
  */
-interface RefSchema<T$1 extends AnyEntity> extends SchemaClass<Ref<T$1>, EncodedReference> {}
+interface RefSchema$1<T$1 extends AnyEntity> extends SchemaClass<Ref<T$1>, EncodedReference> {}
 /**
  * Type of the `Ref` function and extra methods attached to it.
  */
 interface RefFn {
-  <S$1 extends Schema.Any>(schema: S$1): RefSchema<Schema.Type<S$1>>;
+  <S$1 extends Schema.Any>(schema: S$1): RefSchema$1<Schema.Type<S$1>>;
   /**
    * @returns True if the object is a reference.
    */
@@ -8318,7 +8675,7 @@ interface RefFn {
   /**
    * @returns True if the schema is a reference schema.
    */
-  isRefSchema: (schema: Schema<any, any>) => schema is RefSchema<any>;
+  isRefSchema: (schema: Schema<any, any>) => schema is RefSchema$1<any>;
   /**
    * @returns True if the schema AST is a reference schema.
    */
@@ -8365,6 +8722,15 @@ interface Ref<T$1> extends Pipeable {
    * @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.
@@ -8398,86 +8764,311 @@ declare namespace Ref {
    */
   type Target<R$1> = R$1 extends Ref<infer U> ? U : never;
 }
+interface RefResolver {
+  /**
+   * Resolve ref synchronously from the objects in the working set.
+   *
+   * @param dxn
+   * @param load If true the resolver should attempt to load the object from disk.
+   * @param onLoad Callback to call when the object is loaded.
+   */
+  resolveSync(dxn: DXN, load: boolean, onLoad?: () => void): AnyProperties | undefined;
+  /**
+   * Resolver ref asynchronously.
+   */
+  resolve(dxn: DXN): Promise<AnyProperties | undefined>;
+  resolveSchema(dxn: DXN): Promise<Schema.AnyNoContext | undefined>;
+}
 //#endregion
-//#region ../echo/dist/types/src/internal/entities/relation.d.ts
+//#region ../echo/dist/types/src/Ref.d.ts
 /**
- * Property name for relation source when object is serialized to JSON.
+ * 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.
+ * ```
  */
-declare const ATTR_RELATION_SOURCE = "@relationSource";
+type Ref$1<T$1> = Ref<T$1>;
+type Unknown$2 = Ref<Unknown$1>;
 /**
- * Property name for relation target when object is serialized to JSON.
+ * Factory function to create a Ref schema for the given target schema.
+ * Use this in schema definitions to declare reference fields.
+ *
+ * @example
+ * ```ts
+ * const Task = Schema.Struct({
+ *   assignee: Ref.Ref(Person),  // Creates a Ref schema
+ * }).pipe(Type.object({ typename: 'Task', version: '0.1.0' }));
+ * ```
  */
-declare const ATTR_RELATION_TARGET = "@relationTarget";
-//#endregion
-//#region ../echo/dist/types/src/Ref.d.ts
-type Unknown$1 = Ref<Unknown>;
+declare const Ref$1: <S$1 extends Schema.Any>(schema: S$1) => RefSchema<Schema.Type<S$1>>;
+/**
+ * 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> extends RefSchema$1<T$1> {}
 /**
  * Extract reference target.
  */
-type Target$1<R$1 extends Unknown$1> = R$1 extends Ref<infer T> ? T : never;
-//#endregion
-//#region ../echo/dist/types/src/Relation.d.ts
-declare const Source: unique symbol;
-type Source = typeof Source;
-declare const Target: unique symbol;
-type Target = typeof Target;
-//#endregion
-//#region ../echo/dist/types/src/Type.d.ts
+type Target<R$1 extends Unknown$2> = R$1 extends Ref<infer T> ? T : never;
 /**
- * Type that marks a schema as an ECHO schema.
- * The value indicates the entity kind (Object or Relation).
+ * Reference resolver.
  */
-type EchoSchemaKind<K$1 extends EntityKind = EntityKind> = {
-  readonly [SchemaKindId]: K$1;
-};
+type Resolver = RefResolver;
+//#endregion
+//#region ../echo/dist/types/src/internal/Obj/typed-object.d.ts
 /**
- * JSON-encoded properties for objects.
+ * Definition for an object type that can be stored in an ECHO database.
+ * Implements effect schema to define object properties.
+ * Has a typename and version.
+ *
+ * In contrast to {@link EchoSchema} this definition is not recorded in the database.
+ *
+ * @deprecated Use `Type.AnyObj` from `@dxos/echo` instead.
  */
-
+interface TypedObject<A$1 = any, I$1 = any> extends TypeMeta, Schema<A$1, I$1> {}
 /**
- * JSON-encoded properties for relations.
+ * Typed object that could be used as a prototype in class definitions.
+ * This is an internal API type.
+ *
+ * @deprecated Use `Type.AnyObj` from `@dxos/echo` instead.
  */
-interface RelationJsonProps {
-  id: string;
-  [ATTR_RELATION_SOURCE]: string;
-  [ATTR_RELATION_TARGET]: string;
+interface TypedObjectPrototype<A$1 = any, I$1 = any> extends TypedObject<A$1, I$1> {
+  /** Type constructor. */
+  new (): AnyEntity & A$1;
 }
-type RelationSchemaType = Schema<{
-  id: ObjectId;
-} & Record<string, unknown>, {
-  id: string;
-} & Record<string, unknown>> & EchoSchemaKind<EntityKind.Relation> & TypeMeta;
+//#endregion
+//#region ../echo/dist/types/src/internal/Type/persistent-schema.d.ts
 /**
- * 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.
+ * Persistent representation of a schema.
+ */
+declare const PersistentSchema: EchoObjectSchema<Struct<{
+  name: optional<typeof String$>;
+  typename: refine<string, typeof String$>;
+  version: refine<string, typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>, Readonly<{
+  name: optional<typeof String$>;
+  typename: refine<string, typeof String$>;
+  version: refine<string, typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>>;
+interface PersistentSchema extends Schema.Type<typeof PersistentSchema> {}
+//#endregion
+//#region ../echo/dist/types/src/internal/Type/echo-schema.d.ts
+/**
+ * Base schema type.
+ */
+interface BaseSchema<A$1 = any, I$1 = any> extends TypedObject<A$1, I$1> {
+  get readonly(): boolean;
+  get mutable(): EchoSchema<A$1, I$1>;
+  get snapshot(): Schema<A$1, I$1>;
+  get jsonSchema(): JsonSchemaType;
+}
+declare const EchoSchema_base: TypedObjectPrototype<any, any>;
+/**
+ * Represents a schema that is persisted in the ECHO database.
+ * Schema can me mutable or readonly (specified by the {@link EchoSchema.readonly} field).
+ *
+ * Schema that can be modified at runtime via the API.
+ * Is an instance of effect-schema (`Schema.Schema.AnyNoContext`) so it can be used in the same way as a regular schema.
+ * IMPORTANT: The schema AST will change reactively when the schema is updated, including synced updates from remote peers.
  *
- * 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.
+ * The class constructor is a schema instance itself, and can be used in the echo object definitions:
  *
  * @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)) { ... }
+ * export class TableType extends Schema.Struct({...}).pipe(Type.object({ typename: 'com.example.type.table', version: '0.1.0' })){
+ *   title: Schema.String,
+ *   schema: Schema.optional(ref(EchoSchema)),
+ *   props: Schema.mutable(S.Array(TablePropSchema)),
+ * }) {}
  * ```
+ *
+ * The ECHO API will translate any references to PersistentSchema objects to be resolved as EchoSchema objects.
+ */
+declare class EchoSchema<A$1 = any, I$1 = any> extends EchoSchema_base implements BaseSchema<A$1, I$1> {
+  private readonly _persistentSchema;
+  private _schema;
+  private _isDirty;
+  /**
+   * Schema kind key that marks this as an ECHO schema.
+   * Makes EchoSchema satisfy the Type.AnyObj type.
+   */
+  readonly [SchemaKindId]: EntityKind.Object;
+  constructor(_persistentSchema: PersistentSchema);
+  get [TypeId$1](): {
+    _A: (_: any) => any;
+    _I: (_: any) => any;
+    _R: (_: never) => never;
+  };
+  get Type(): A$1;
+  get Encoded(): I$1;
+  get Context(): never;
+  get ast(): AST;
+  get annotations(): (annotations: Annotations.GenericSchema<any>) => Schema<any, any, never>;
+  get pipe(): Schema.AnyNoContext['pipe'];
+  get kind(): EntityKind.Object;
+  get typename(): string;
+  get version(): string;
+  get readonly(): boolean;
+  /**
+   * Returns an immutable schema snapshot of the current state of the schema.
+   */
+  get snapshot(): Schema.AnyNoContext;
+  /**
+   * Returns the JSON schema for the schema.
+   */
+  get jsonSchema(): JsonSchemaType;
+  /**
+   * Returns a mutable schema.
+   */
+  get mutable(): EchoSchema;
+  /**
+   * Id of the ECHO object containing the schema.
+   */
+  get id(): ObjectId;
+  /**
+   * Short name of the schema.
+   */
+  get name(): string | undefined;
+  get [SchemaMetaSymbol](): SchemaMeta;
+  /**
+   * Reference to the underlying persistent schema object.
+   */
+  get persistentSchema(): PersistentType;
+  getProperties(): PropertySignature$1[];
+  /**
+   * @throws Error if the schema is readonly.
+   */
+  updateTypename(typename: string): void;
+  /**
+   * @throws Error if the schema is readonly.
+   */
+  addFields(fields: Struct.Fields): void;
+  /**
+   * @throws Error if the schema is readonly.
+   */
+  updateFields(fields: Struct.Fields): void;
+  /**
+   * @throws Error if the schema is readonly.
+   */
+  updateFieldPropertyName({
+    before,
+    after
+  }: {
+    before: PropertyKey;
+    after: PropertyKey;
+  }): void;
+  /**
+   * @throws Error if the schema is readonly.
+   */
+  removeFields(fieldNames: string[]): void;
+  /**
+   * Wrapper for Obj.update that handles the change context for the persistent schema.
+   */
+  private _change;
+  /**
+   * Called by DatabaseSchemaRegistry on update.
+   */
+  _invalidate(): void;
+  /**
+   * Rebuilds this schema if it is dirty.
+   */
+  _rebuild(): void;
+  _getSchema(): Schema.AnyNoContext;
+}
+//#endregion
+//#region ../echo/dist/types/src/Relation.d.ts
+type Endpoints$1<Source, Target$1> = {
+  [Source]: Source;
+  [Target$1]: Target$1;
+};
+/**
+ * Get relation source type.
+ */
+type SourceOf<A$1> = A$1 extends Endpoints$1<infer S, infer _T> ? S : never;
+/**
+ * Get relation target type.
+ */
+type TargetOf<A$1> = A$1 extends Endpoints$1<infer _S, infer T> ? T : never;
+//#endregion
+//#region ../echo/dist/types/src/Type.d.ts
+/**
+ * Dynamic type that can be constructed, mutated, and persisted in the ECHO database.
+ */
+declare const RuntimeType: typeof EchoSchema;
+/**
+ * Dynamic type that can be constructed, mutated, and persisted in the ECHO database.
+ */
+type RuntimeType = EchoSchema;
+/**
+ * Type that marks a schema as an ECHO schema.
+ * The value indicates the entity kind (Object or Relation).
  */
-declare const Relation: RelationSchemaType;
+type EchoSchemaKind<K$1 extends EntityKind = EntityKind> = {
+  readonly [SchemaKindId]: K$1;
+};
 /**
- * TypeScript type for an ECHO relation schema.
- * `T` is the instance type produced by the schema (excluding source/target).
- * `Source` and `Target` are the endpoint types.
+ * TypeScript type for an ECHO object schema.
+ * `T` is the instance type produced by the schema.
  * `Fields` is the optional struct fields type for introspection.
+ *
+ * @example
+ * ```ts
+ * const PersonSchema: Type.Obj<Person> = Schema.Struct({
+ *   name: Schema.String,
+ * }).pipe(Type.object({ typename: 'Person', version: '0.1.0' }));
+ *
+ * // Access fields for introspection:
+ * Object.keys(PersonSchema.fields); // ['name']
+ * ```
  */
-interface Relation<T$1 = any, Source$1 = any, Target$2 = any, Fields extends Struct.Fields = Struct.Fields> extends TypeMeta, EchoSchemaKind<EntityKind.Relation>, AnnotableClass<Relation<T$1, Source$1, Target$2, Fields>, OfKind<typeof Kind.Relation> & Relation.Endpoints<Source$1, Target$2> & T$1, Simplify<RelationJsonProps & ToMutable<T$1>>, never> {
+interface Obj$1<T$1, Fields extends Struct.Fields = Struct.Fields> extends TypeMeta, EchoSchemaKind<EntityKind.Object>, AnnotableClass<Obj$1<T$1, Fields>, OfKind<typeof Kind.Object> & T$1, Simplify<BaseObjJson & ToMutable<T$1>>, never> {
   /**
    * The fields defined in the original struct schema.
    * Allows accessing field definitions for introspection.
    */
   readonly fields: Fields;
 }
+/**
+ * Structural base type for any ECHO object schema.
+ * Accepts both static schemas (created with Type.object()) and EchoSchema.
+ * NOTE: Does not include the brand symbol to avoid TS4053 declaration portability issues.
+ * Use Type.isObjectSchema() for runtime type guards.
+ */
+type ObjectSchemaBase = Schema.AnyNoContext & {
+  readonly typename: string;
+  readonly version: string;
+};
+/**
+ * Type that represents any ECHO object schema.
+ * Accepts both static schemas (Type.object()) and mutable schemas (EchoSchema).
+ */
+type AnyObj = ObjectSchemaBase;
+declare const PersistentType: Obj$1<PersistentSchema>;
+interface PersistentType extends Schema.Type<typeof PersistentType> {}
 /**
  * Structural base type for any ECHO relation schema.
  * Accepts static schemas (created with Type.relation()).
@@ -8488,25 +9079,16 @@ type RelationSchemaBase = Schema.AnyNoContext & {
   readonly typename: string;
   readonly version: string;
 };
-declare namespace Relation {
-  /**
-   * Type that represents any ECHO relation schema.
-   * Accepts static schemas (Type.relation()).
-   */
-  type Any = RelationSchemaBase;
-  /**
-   * Get relation source type.
-   */
-  type Source<A$1> = A$1 extends Relation.Endpoints<infer S, infer _T> ? S : never;
-  /**
-   * Get relation target type.
-   */
-  type Target<A$1> = A$1 extends Relation.Endpoints<infer _S, infer T> ? T : never;
-  type Endpoints<Source$1, Target$2> = {
-    [Source]: Source$1;
-    [Target]: Target$2;
-  };
-}
+/**
+ * Type that represents any ECHO relation schema.
+ * Accepts static schemas (Type.relation()).
+ */
+type AnyRelation = RelationSchemaBase;
+/**
+ * Type alias for any ECHO entity schema (object or relation).
+ * Use this in type annotations for schema parameters.
+ */
+type AnyEntity$1 = AnyObj | AnyRelation;
 //#endregion
 //#region ../echo/dist/types/src/Obj.d.ts
 /**
@@ -8516,7 +9098,7 @@ interface BaseObj extends AnyEntity, OfKind<typeof Kind.Object> {}
 /**
  * Object type with specific properties.
  */
-
+type OfShape<Props$1> = BaseObj & Props$1;
 /**
  * Object with no known properties beyond id and kind.
  * Use this when the object's schema/properties are not known.
@@ -8525,25 +9107,41 @@ interface BaseObj extends AnyEntity, OfKind<typeof Kind.Object> {}
  * 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 {}
-//#endregion
-//#region ../echo/dist/types/src/Entity.d.ts
-declare const Kind: typeof EntityKind;
-type Kind = EntityKind;
+interface Unknown$1 extends BaseObj {}
 /**
- * Assigns a kind to an Object or Relation instance.
- * NOTE: Needed to make `isRelation` and `isObject` checks work.
+ * 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
+ * const Collection = Schema.Struct({
+ *   objects: Schema.Array(Ref.Ref(Obj.Unknown)),
+ * }).pipe(Type.object({ typename: 'Collection', version: '0.1.0' }));
+ * ```
  */
-interface OfKind<K$1 extends Kind> {
-  readonly [KindId]: K$1;
-  readonly id: ObjectId;
+declare const Unknown$1: Obj$1<Unknown$1>;
+/**
+ * JSON-encoded properties for objects.
+ */
+interface BaseObjJson {
+  id: string;
 }
 declare namespace Filter_d_exports {
-  export { Any$3 as Any, Filter, Props, TextSearchOptions, Type$2 as Type, and, between, contains, eq, everything, foreignKeys, fromAst$1 as fromAst, gt, gte, id, in$ as in, is$1 as is, lt, lte, neq, not, nothing, or, props, tag, text, type$2 as type, typeDXN, typename$1 as typename };
+  export { Any$3 as Any, ChildOfOptions, Filter, 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, lt, lte, neq, not, nothing, or, pretty$1 as pretty, props, tag, text, type$2 as type, typeDXN, typename$1 as typename, updated };
 }
 interface Filter<T$1> {
   '~Filter': {
-    value: Contravariant<T$1>;
+    value: Covariant<T$1>;
   };
   ast: Filter$1;
 }
@@ -8552,10 +9150,10 @@ 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;
+  private static 'variance';
   constructor(ast: Filter$1);
   '~Filter': {
-    value: Contravariant<any>;
+    value: Covariant<any>;
   };
 }
 declare const is$1: (value: unknown) => value is Any$3;
@@ -8629,7 +9227,7 @@ 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.
  */
-declare const in$: <T$1>(...values: T$1[]) => Filter<T$1 | undefined>;
+declare const in$: <T$1>(...values: T$1[]) => Filter<T$1>;
 /**
  * Predicate for an array property to contain the provided value.
  * @param value - Value to check against.
@@ -8640,7 +9238,30 @@ declare const contains: <T$1>(value: T$1) => Filter<readonly T$1[] | undefined>;
  * @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<unknown>;
+declare const between: <T$1>(from: T$1, to: T$1) => Filter<T$1>;
+type TimeRange = {
+  after?: Date | number;
+  before?: Date | number;
+};
+/**
+ * Filter objects by updatedAt timestamp.
+ */
+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;
+};
+/**
+ * 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.getDXN}.
+ * With transitive=true (default), also matches grandchildren and beyond.
+ */
+declare const childOf: (parents: Unknown$1 | Unknown$2 | readonly (Unknown$1 | Unknown$2)[], options?: ChildOfOptions) => Any$3;
 /**
  * Negate the filter.
  */
@@ -8653,6 +9274,301 @@ declare const and: <Filters extends readonly Any$3[]>(...filters: Filters) => Fi
  * 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;
+//#endregion
+//#region ../echo/dist/types/src/JsonSchema.d.ts
+/**
+ * Serializable JsonSchema type definition.
+ */
+type JsonSchema = JsonSchemaType;
+declare const JsonSchema: Schema<JsonSchemaType>;
+//#endregion
+//#region ../echo/dist/types/src/QueryResult.d.ts
+/**
+ * Individual query result entry.
+ */
+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 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;
+}
+//#endregion
+//#region ../echo/dist/types/src/SchemaRegistry.d.ts
+type Query$1 = {
+  /**
+   * Filter by schema ID.
+   * Schema id is a DXN with `echo` or `type` kind.
+   */
+  id?: string | string[];
+  /**
+   * Id of the backing ECHO object.
+   */
+  backingObjectId?: ObjectId | ObjectId[];
+  /**
+   * One or more typenames to filter by.
+   */
+  typename?: string | string[];
+  /**
+   * [Semver Range](https://docs.npmjs.com/cli/v6/using-npm/semver#ranges) for the schema version.
+   */
+  version?: string;
+  /**
+   * Where to look for the schema.
+   *
+   * Database schema are stored in the database of the current space.
+   * Runtime schema are registered in the runtime.
+   *
+   * @default ['database']
+   */
+  location?: ('database' | 'runtime')[];
+  /**
+   * Include system schemas.
+   * @default false
+   *
+   * The system schema include but are not limited to:
+   *  - org.dxos.type.schema
+   */
+  includeSystem?: boolean;
+};
+/**
+ * Input for schema registration.
+ * The typename, version and schema mutability metadata is read from the schema annotations.
+ *
+ * Accepts:
+ * - Branded ECHO schemas created with Type.Obj() or Type.Relation()
+ * - JSON schema with typename and version
+ */
+type RegisterSchemaInput = AnyEntity$1 | {
+  typename: string;
+  version: string;
+  jsonSchema: JsonSchema;
+  /**
+   * Display name of the schema.
+   */
+  name?: string;
+};
+type ExtractQueryResult<Query$3> = Query$3 extends {
+  location: ('database' | 'runtime')[];
+} ? AnyEntity$1 : RuntimeType;
+interface SchemaRegistry {
+  /**
+   * Checks if the provided schema is registered.
+   */
+  hasSchema(schema: AnyEntity$1): boolean;
+  /**
+   * Registers the provided schema.
+   *
+   * @returns Mutable runtime instances of schemas that were registered.
+   *
+   * The behavior of this method depends on the state of the database.
+   * The general principle is that the schema will be upserted into the space.
+   * If an equivalent schema with the same name and version already exists, the method does nothing.
+   * If a different schema with the same name and version exists, the method throws an error.
+   * If no schema with the same name and version exists, a new schema will be inserted based on semantic versioning rules.
+   */
+  register(input: RegisterSchemaInput[]): Promise<RuntimeType[]>;
+  /**
+   *
+   */
+  query<Q extends NoExcessProperties<Query$1, Q>>(query?: Q & Query$1): QueryResult<ExtractQueryResult<Q>>;
+}
+//#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;
+  /**
+   * Queue that the resolution is happening from.
+   * This queue will be searched first, and then the space it belongs to.
+   */
+  queue?: DXN;
+}
+interface RefResolverOptions {
+  /**
+   * Resolution context.
+   * Affects how non-absolute DXNs are resolved.
+   */
+  context?: RefResolutionContext;
+  /**
+   * Middleware to change the resolved object before returning it.
+   * @deprecated On track to be removed.
+   */
+  middleware?: (obj: AnyProperties) => AnyProperties;
+}
+/**
+ * Manages cross-space database interactions.
+ */
+interface Hypergraph extends Queryable {
+  get schemaRegistry(): SchemaRegistry;
+  /**
+   * 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.fromDXN`
+   * `Ref.fromDXN(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>(dxn: DXN): Ref$1<T$1>;
+  /**
+   * @param hostDb Host database for reference resolution.
+   * @param middleware Called with the loaded object. The caller may change the object.
+   * @returns Result of `onLoad`.
+   */
+  createRefResolver(options: RefResolverOptions): Resolver;
+  /**
+   * Get a database by space ID.
+   * @returns The database for the given space ID, or undefined if not found.
+   */
+  getDatabase(spaceId: SpaceId): Database | undefined;
+}
+//#endregion
+//#region ../echo/dist/types/src/Collection.d.ts
+/**
+ * A an ordered set of objects.
+ */
+declare const Collection: Obj$1<{
+  readonly name?: string | undefined;
+  readonly objects: readonly Ref<OfKind<EntityKind.Object> & Unknown$1>[];
+}, Struct.Fields>;
+interface Collection extends Schema.Type<typeof Collection> {}
+//#endregion
+//#region ../echo/dist/types/src/Feed.d.ts
+/**
+ * Runtime schema for a Feed object.
+ *
+ * @example
+ * ```ts
+ * const feed = Obj.make(Feed.Feed, { name: 'notifications', kind: 'org.dxos.plugin.notifications.v1' });
+ * ```
+ */
+declare const Feed: Obj$1<{
+  readonly name?: string | undefined;
+  readonly kind?: string | undefined;
+  readonly namespace?: "data" | "trace" | undefined;
+}, Struct.Fields>;
+/**
+ * TypeScript instance type for a Feed object.
+ */
+interface Feed extends Schema.Type<typeof Feed> {}
+//#endregion
+//#region ../echo/dist/types/src/View.d.ts
+/**
+ * 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 ViewSchema: Obj$1<{
+  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;
+  };
+}, Struct.Fields>;
+interface View extends Schema.Type<typeof ViewSchema> {}
+/**
+ * View instance type.
+ */
+declare const View: Obj$1<View>;
+//#endregion
+//#region ../echo/dist/types/src/Dataset.d.ts
+/**
+ * Abstart set of objects, represented by a view, feed, or collection.
+ */
+declare const Dataset: Union<[Obj$1<{
+  readonly name?: string | undefined;
+  readonly kind?: string | undefined;
+  readonly namespace?: "data" | "trace" | undefined;
+}, Struct.Fields>, Obj$1<{
+  readonly name?: string | undefined;
+  readonly objects: readonly Ref<OfKind<EntityKind.Object> & Unknown$1>[];
+}, Struct.Fields>, Obj$1<View, Struct.Fields>]>;
+type Dataset = Feed | Collection | View;
 declare namespace Order_d_exports {
   export { Any$2 as Any, Order, natural, property, rank };
 }
@@ -8671,7 +9587,7 @@ declare const property: <T$1>(property: keyof T$1 & string, direction: OrderDire
  */
 declare const rank: <T$1>(direction?: OrderDirection) => Order<T$1>;
 declare namespace Query_d_exports {
-  export { Any$1 as Any, Query, Type$1 as Type, all, fromAst, is, select, type$1 as type, without };
+  export { Any$1 as Any, Query, Type$1 as Type, all, from, fromAst, is, pretty, select, type$1 as type, without };
 }
 /**
  * All property paths inside T that are references.
@@ -8681,86 +9597,154 @@ interface Query<T$1> {
   '~Query': {
     value: T$1;
   };
-  ast: Query$1;
+  ast: Query$2;
   /**
    * 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<T$1>): Query<T$1>;
+  'select'(filter: Filter<T$1>): Query<T$1>;
+  'select'(props: Props<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<T$1[K$1] extends Unknown$1 ? Target$1<T$1[K$1]> : T$1[K$1] extends Unknown$1 | undefined ? Target$1<Exclude<T$1[K$1], undefined>> : never>;
+  'reference'<K$1 extends RefPropKey<T$1>>(key: K$1): Query<T$1[K$1] extends Unknown$2 ? Target<T$1[K$1]> : T$1[K$1] extends Unknown$2 | undefined ? Target<Exclude<T$1[K$1], undefined>> : never>;
   /**
    * 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 Schema.All>(target: S$1 | string, key: RefPropKey<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
-  referencedBy<S$1 extends Schema.All>(target: S$1 | string): Query<Schema.Type<S$1>>;
-  referencedBy(): Query<any>;
+  'referencedBy'<S$1 extends Schema.All>(target: S$1 | string, key: RefPropKey<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  'referencedBy'<S$1 extends Schema.All>(target: S$1 | string): Query<Schema.Type<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<S$1 extends Schema.All>(relation: S$1 | string, predicates?: Props<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  'sourceOf'<S$1 extends Schema.All>(relation?: S$1 | string, predicates?: Props<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
   /**
    * Find relations where this object is the target.
    * @returns Query for the relation objects.
    * @param relation - Schema of the relation.
    * @param predicates - Predicates to filter the relation objects.
    */
-  targetOf<S$1 extends Schema.All>(relation: S$1 | string, predicates?: Props<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  'targetOf'<S$1 extends Schema.All>(relation?: S$1 | string, predicates?: Props<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
   /**
    * For a query for relations, get the source objects.
    * @returns Query for the source objects.
    */
-  source(): Query<Relation.Source<T$1>>;
+  'source'(): Query<SourceOf<T$1>>;
   /**
    * For a query for relations, get the target objects.
    * @returns Query for the target objects.
    */
-  target(): Query<Relation.Target<T$1>>;
+  'target'(): Query<TargetOf<T$1>>;
   /**
    * Get the parent object of the current selection.
    * @returns Query for the parent objects.
    */
-  parent(): Query<any>;
+  'parent'(): Query<any>;
   /**
    * Get all child objects of the current selection.
    * @returns Query for the child objects.
    */
-  children(): Query<any>;
+  '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>;
+  '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>;
+  '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>;
+  /**
+   * Query from a raw scope specification.
+   */
+  'from'(scope: Scope): Query<T$1>;
   /**
    * Add options to a query.
    */
-  options(options: QueryOptions): Query<T$1>;
+  'options'(options: QueryOptions): Query<T$1>;
+  /**
+   * Attach a diagnostic label for logs and tooling (execution semantics unchanged).
+   */
+  'debugLabel'(label: string): Query<T$1>;
 }
 type Any$1 = Query<any>;
 type Type$1<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;
+declare const fromAst: (ast: Query$2) => Any$1;
 /**
  * Select objects based on a filter.
  * @param filter - Filter to select the objects.
@@ -8775,7 +9759,10 @@ declare const select: <F extends Any$3>(filter: F) => Query<Type$2<F>>;
  *
  * Shorthand for: `Query.select(Filter.type(schema, predicates))`.
  */
-declare const type$1: (schema: Schema.All | string, predicates?: Props<unknown>) => Any$1;
+declare const type$1: {
+  <S$1 extends Schema.All>(schema: S$1, predicates?: Props<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  (schema: string, predicates?: Props<unknown>): Query<any>;
+};
 /**
  * Combine results of multiple queries.
  * @param queries - Queries to combine.
@@ -8789,6 +9776,195 @@ declare const all: (...queries: Any$1[]) => Any$1;
  * @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.
+ *
+ * @param source - Data source: database, feed, 'all-accessible-spaces', or another query.
+ * @returns Query scoped to the given source.
+ */
+declare const from: (source: Database | Database[] | Feed | Feed[] | Any$1 | Scope | 'all-accessible-spaces', options?: {
+  includeFeeds?: boolean;
+}) => Any$1;
+/**
+ * Returns a human-readable string representation of a Query AST.
+ */
+declare const pretty: (query: Any$1) => string;
+//#endregion
+//#region ../echo/dist/types/src/Database.d.ts
+/**
+ * `query` API function declaration.
+ */
+interface QueryFn {
+  <Q extends Any$1>(query: Q): QueryResult<Type$1<Q>>;
+  <F extends Any$3>(filter: F): QueryResult<Type$2<F>>;
+}
+/**
+ * Common interface for Database and Queue.
+ */
+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;
+};
+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;
+};
+/**
+ * Identifier denoting an ECHO Database.
+ */
+declare const TypeId: unique symbol;
+type TypeId = typeof TypeId;
+/**
+ * ECHO Database interface.
+ */
+interface Database extends Queryable {
+  readonly [TypeId]: TypeId;
+  get spaceId(): SpaceId;
+  get schemaRegistry(): SchemaRegistry;
+  get graph(): Hypergraph;
+  toJSON(): object;
+  /**
+   * Return object by local ID.
+   */
+  getObjectById<T$1 extends Unknown$1 = 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.fromDXN`
+   * `Ref.fromDXN(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>(dxn: DXN): Ref<T$1>;
+  /**
+   * Adds object to the database.
+   */
+  add<T$1 extends Unknown = Unknown>(obj: T$1, opts?: AddOptions): T$1;
+  /**
+   * Removes object from the database.
+   */
+  remove(obj: Unknown): 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>;
+}
+declare const Database: Schema<Database>;
+//#endregion
+//#region ../echo/dist/types/src/internal/Entity/object.d.ts
+/**
+ * Object schema type with kind marker.
+ */
+type EchoObjectSchema<Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields> = EchoTypeSchema<Self, {}, EntityKind.Object, Fields>;
+/**
+ * Schema for Obj entity types.
+ * Pipeable function to add ECHO object annotations to a schema.
+ */
+declare const EchoObjectSchema: {
+  (meta: TypeMeta): <Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields>(self: Self & {
+    fields?: Fields;
+  }) => EchoObjectSchema<Self, Fields>;
+};
+//#endregion
+//#region ../echo/dist/types/src/Entity.d.ts
+declare const KindId$1: "~@dxos/echo/Kind";
+type KindId$1 = typeof KindId;
+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: ObjectId;
+}
+/**
+ * Unknown Obj or Relation (reactive).
+ */
+interface Unknown extends OfKind<Kind> {}
+//#endregion
+//#region ../echo/dist/types/src/internal/common/types/base.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`.
+ */
+type AnyProperties = Record<string, any>;
+/**
+ * Canonical type for all ECHO entities (objects and relations).
+ * @depreacted Remove, use Entity.Unknown instead.
+ */
+interface AnyEntity {
+  readonly id: ObjectId;
+}
+//#endregion
+//#region ../echo/dist/types/src/internal/common/types/entity.d.ts
+/**
+ * String key used to identify the kind of an entity instance (object or relation).
+ */
+declare const KindId: '~@dxos/echo/Kind';
+type KindId = typeof KindId;
+/**
+ * String key used to identify the kind of a schema (object schema or relation schema).
+ * Parallels KindId which identifies instance kinds.
+ */
+declare const SchemaKindId: '~@dxos/echo/SchemaKind';
+type SchemaKindId = typeof SchemaKindId;
+/**
+ * Kinds of entities stored in ECHO: objects and relations.
+ */
+declare enum EntityKind {
+  Object = "object",
+  Relation = "relation",
+}
+//#endregion
+//#region ../echo/dist/types/src/internal/Annotation/annotations.d.ts
+declare const TypeMeta: Struct<{
+  typename: refine<string, typeof String$>;
+  version: refine<string, typeof String$>;
+}>;
+interface TypeMeta extends Schema.Type<typeof TypeMeta> {}
+/**
+ * SchemaMeta.
+ */
+declare const SchemaMetaSymbol: unique symbol;
+type SchemaMeta = TypeMeta & {
+  id: string;
+};
 //#endregion
 //#region src/query-lite/query-lite.d.ts
 declare const Order2: typeof Order_d_exports;