@dxos/echo-query 0.8.4-main.ef1bc66f44 → 0.8.4-main.effb148878

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

@@ -1,5 +1,3 @@
-import { InspectOptionsStylized, inspect } from "node:util";
-import "protobufjs";
 import "@dxos/log";
 
 //#region rolldown:runtime
@@ -4711,7 +4709,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 +4754,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 +4762,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 +4844,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 +4858,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 +4867,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 +4876,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 +4906,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 +4935,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 +4952,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 +4976,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 +4989,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 +5004,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 +5053,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
@@ -5096,8 +5112,8 @@ interface TagClassShape<Id$1, Shape> {
  * @since 2.0.0
  * @category models
  */
-interface TagClass<Self, Id$1 extends string, Type$5> extends Tag$2<Self, Type$5> {
-  new (_: never): TagClassShape<Id$1, Type$5>;
+interface TagClass<Self, Id$1 extends string, Type$6> extends Tag$2<Self, Type$6> {
+  new (_: never): TagClassShape<Id$1, Type$6>;
   readonly key: Id$1;
 }
 /**
@@ -5127,18 +5143,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 +5178,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 +5234,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 +5353,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 +5466,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 +5560,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 +5700,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
@@ -5875,7 +5891,7 @@ declare namespace Tag$1 {
    * @since 3.9.0
    * @category Models
    */
-  type Proxy<Self, Type$5> = { [k in keyof Type$5 as Type$5[k] extends ((...args: infer Args extends ReadonlyArray<any>) => infer Ret) ? ((...args: Readonly<Args>) => Ret) extends Type$5[k] ? k : never : k]: Type$5[k] extends ((...args: infer Args extends ReadonlyArray<any>) => Effect<infer A, infer E, infer R>) ? (...args: Readonly<Args>) => Effect<A, E, Self | R> : Type$5[k] extends ((...args: infer Args extends ReadonlyArray<any>) => Promise<infer A>) ? (...args: Readonly<Args>) => Effect<A, UnknownException, Self> : Type$5[k] extends ((...args: infer Args extends ReadonlyArray<any>) => infer A) ? (...args: Readonly<Args>) => Effect<A, never, Self> : Type$5[k] extends Effect<infer A, infer E, infer R> ? Effect<A, E, Self | R> : Effect<Type$5[k], never, Self> };
+  type Proxy<Self, Type$6> = { [k in keyof Type$6 as Type$6[k] extends ((...args: infer Args extends ReadonlyArray<any>) => infer Ret) ? ((...args: Readonly<Args>) => Ret) extends Type$6[k] ? k : never : k]: Type$6[k] extends ((...args: infer Args extends ReadonlyArray<any>) => Effect<infer A, infer E, infer R>) ? (...args: Readonly<Args>) => Effect<A, E, Self | R> : Type$6[k] extends ((...args: infer Args extends ReadonlyArray<any>) => Promise<infer A>) ? (...args: Readonly<Args>) => Effect<A, UnknownException, Self> : Type$6[k] extends ((...args: infer Args extends ReadonlyArray<any>) => infer A) ? (...args: Readonly<Args>) => Effect<A, never, Self> : Type$6[k] extends Effect<infer A, infer E, infer R> ? Effect<A, E, Self | R> : Effect<Type$6[k], never, Self> };
 }
 /**
  * Creates a unique tag for a dependency, embedding the service's methods as
@@ -5910,11 +5926,11 @@ declare namespace Tag$1 {
  * @since 2.0.0
  * @category Context
  */
-declare const Tag$1: <const Id$1 extends string>(id: Id$1) => <Self, Type$5 extends Tag$1.AllowedType>() => TagClass<Self, Id$1, Type$5> & (Type$5 extends Record<PropertyKey, any> ? Tag$1.Proxy<Self, Type$5> : {}) & {
-  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>;
+declare const Tag$1: <const Id$1 extends string>(id: Id$1) => <Self, Type$6 extends Tag$1.AllowedType>() => TagClass<Self, Id$1, Type$6> & (Type$6 extends Record<PropertyKey, any> ? Tag$1.Proxy<Self, Type$6> : {}) & {
+  use: <X>(body: (_: Type$6) => 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 +5941,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 +5951,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 +5965,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 +5981,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 +6019,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 +6031,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 +6433,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;
   /**
@@ -6482,7 +6498,7 @@ declare class TemplateLiteral implements Annotated {
  * @category model
  * @since 3.10.0
  */
-declare class Type$4 implements Annotated {
+declare class Type$5 implements Annotated {
   readonly type: AST;
   readonly annotations: Annotations$1;
   constructor(type: AST, annotations?: Annotations$1);
@@ -6499,7 +6515,7 @@ declare class Type$4 implements Annotated {
  * @category model
  * @since 3.10.0
  */
-declare class OptionalType extends Type$4 {
+declare class OptionalType extends Type$5 {
   readonly isOptional: boolean;
   constructor(type: AST, isOptional: boolean, annotations?: Annotations$1);
   /**
@@ -6517,14 +6533,14 @@ declare class OptionalType extends Type$4 {
  */
 declare class TupleType$1 implements Annotated {
   readonly elements: ReadonlyArray<OptionalType>;
-  readonly rest: ReadonlyArray<Type$4>;
+  readonly rest: ReadonlyArray<Type$5>;
   readonly isReadonly: boolean;
   readonly annotations: Annotations$1;
   /**
    * @since 3.10.0
    */
   readonly _tag = "TupleType";
-  constructor(elements: ReadonlyArray<OptionalType>, rest: ReadonlyArray<Type$4>, isReadonly: boolean, annotations?: Annotations$1);
+  constructor(elements: ReadonlyArray<OptionalType>, rest: ReadonlyArray<Type$5>, isReadonly: boolean, annotations?: Annotations$1);
   /**
    * @since 3.10.0
    */
@@ -6827,14 +6843,14 @@ 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.
  *
  * @category model
  * @since 3.10.0
  */
-type ParseIssue = Type$3 | Missing | Unexpected | Forbidden | Pointer | Refinement | Transformation | Composite;
+type ParseIssue = Type$4 | Missing | Unexpected | Forbidden | Pointer | Refinement | Transformation | Composite;
 /**
  * @category model
  * @since 3.10.0
@@ -6891,7 +6907,7 @@ declare class Missing {
   /**
    * @since 3.10.0
    */
-  readonly ast: Type$4;
+  readonly ast: Type$5;
   /**
    * @since 3.10.0
    */
@@ -6908,7 +6924,7 @@ declare class Missing {
   /**
    * @since 3.10.0
    */
-  ast: Type$4,
+  ast: Type$5,
   /**
    * @since 3.10.0
    */
@@ -6972,7 +6988,7 @@ declare class Transformation {
  * @category model
  * @since 3.10.0
  */
-declare class Type$3 {
+declare class Type$4 {
   readonly ast: AST;
   readonly actual: unknown;
   readonly message?: string | undefined;
@@ -6999,7 +7015,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 +7029,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 +7038,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 +7104,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 +7165,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 +7200,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 +7299,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
@@ -7369,14 +7411,14 @@ type PropertySignatureTypeId = typeof PropertySignatureTypeId;
  * @category PropertySignature
  * @since 3.10.0
  */
-interface PropertySignature<TypeToken extends PropertySignature.Token, Type$5, Key$1 extends PropertyKey, EncodedToken extends PropertySignature.Token, Encoded$1, HasDefault extends boolean = false, R$1 = never> extends Schema.Variance<Type$5, Encoded$1, R$1>, Pipeable {
+interface PropertySignature<TypeToken extends PropertySignature.Token, Type$6, Key$1 extends PropertyKey, EncodedToken extends PropertySignature.Token, Encoded$1, HasDefault extends boolean = false, R$1 = never> extends Schema.Variance<Type$6, Encoded$1, R$1>, Pipeable {
   readonly [PropertySignatureTypeId]: null;
   readonly _TypeToken: TypeToken;
   readonly _EncodedToken: EncodedToken;
   readonly _HasDefault: HasDefault;
   readonly _Key: Key$1;
   readonly ast: PropertySignature.AST;
-  annotations(annotations: PropertySignature.Annotations<Type$5>): PropertySignature<TypeToken, Type$5, Key$1, EncodedToken, Encoded$1, HasDefault, R$1>;
+  annotations(annotations: PropertySignature.Annotations<Type$6>): PropertySignature<TypeToken, Type$6, Key$1, EncodedToken, Encoded$1, HasDefault, R$1>;
 }
 /**
  * @category api interface
@@ -7520,6 +7562,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
@@ -7647,12 +7747,6 @@ declare namespace Annotations {
    */
   interface Filter<A$1, P$1 = A$1> extends Schema<A$1, readonly [P$1]> {}
 }
-declare const NonEmptyString_base: filter<typeof String$>;
-/**
- * @category string constructors
- * @since 3.10.0
- */
-declare class NonEmptyString extends NonEmptyString_base {}
 type RequiredKeys<T$1> = { [K in keyof T$1]-?: {} extends Pick<T$1, K> ? never : K }[keyof T$1];
 /**
  * @category Constructor utils
@@ -7662,37 +7756,31 @@ type MakeOptions = boolean | {
   readonly disableValidation?: boolean | undefined;
 };
 //#endregion
-//#region ../../../common/debug/dist/types/src/devtools-formatter.d.ts
+//#region ../../../common/keys/dist/types/src/URI.d.ts
+/**
+ * Branded string type for any URI.
+ * Base type for more specific URI schemes like DXN and EchoURI.
+ */
+type URI = string & {
+  readonly __URI: unique symbol;
+};
+//#endregion
+//#region ../../../common/keys/dist/types/src/DXN.d.ts
 /**
- * Lets types provide custom formatters for the Chrome Devtools.
+ * DXN names a resource (type, plugin, capability, etc.).
  *
- * https://www.mattzeunert.com/2016/02/19/custom-chrome-devtools-object-formatters.html
- * NOTE: Must be enabled in chrome devtools preferences.
+ * Format: `dxn:<nsid>[:<version>]` where NSID is an atproto-style dotted name.
  *
  * @example
- * ```typescript
- * class MyType {
- *  get [devtoolsFormatter] (): DevtoolsFormatter {
- *    ...
- *  }
+ * ```
+ * dxn:org.dxos.type.calendar
+ * dxn:org.dxos.type.calendar:1.0.0
+ * dxn:org.dxos.plugin.markdown
  * ```
  */
-declare const devtoolsFormatter: unique symbol;
-type JsonML = [string, Record<string, any>?, ...(JsonML | string)[]];
-interface DevtoolsFormatter {
-  /**
-   * NOTE: Make sure to do an instance check and return null if the object is not of the correct type.
-   */
-  header: (config?: any) => JsonML | null;
-  hasBody?: (config?: any) => boolean;
-  body?: (config?: any) => JsonML | null;
-}
-//#endregion
-//#region ../../../common/debug/dist/types/src/inspect-custom.d.ts
-/**
- * Using this allows code to be written in a portable fashion, so that the custom inspect function is used in an Node.js environment and ignored in the browser.
- */
-declare const inspectCustom: unique symbol;
+type DXN = URI & {
+  readonly __DXN: unique symbol;
+};
 //#endregion
 //#region ../../../common/keys/dist/types/src/object-id.d.ts
 declare const ObjectIdSchema: refine<string, typeof String$>;
@@ -7728,6 +7816,23 @@ interface ObjectIdClass extends SchemaClass<ObjectId, string> {
    * NOTE: The generated IDs depend on the order of ObjectId.random() calls, which might be affected by test order, scheduling, etc.
    */
   dangerouslyDisableRandomness(): void;
+  /**
+   * WARNING: To be used only within tests.
+   *
+   * Pins the time component of generated ObjectIds and seeds the PRNG used for the random component,
+   * causing the same sequence of IDs to be generated across runs.
+   * Do not use in production code as this will cause data collisions.
+   *
+   * @param time - Fixed timestamp (ms since epoch) used as the ULID time component.
+   * @param seed - Seed value for the PRNG used for the ULID random component.
+   *
+   * ```ts
+   * ObjectId.dangerouslySetSeed(new Date('2025-01-01').getTime(), 42);
+   * ```
+   *
+   * NOTE: The generated IDs depend on the order of ObjectId.random() calls, which might be affected by test order, scheduling, etc.
+   */
+  dangerouslySetSeed(time: number, seed: number): void;
 }
 /**
  * Randomly generated unique identifier for an object.
@@ -7754,125 +7859,20 @@ declare const SpaceId: Schema<SpaceId, string> & {
   random: () => SpaceId;
 };
 //#endregion
-//#region ../../../common/keys/dist/types/src/dxn.d.ts
-declare const QueueSubspaceTags: Readonly<{
-  DATA: "data";
-  TRACE: "trace";
-}>;
-type QueueSubspaceTag = (typeof QueueSubspaceTags)[keyof typeof QueueSubspaceTags];
+//#region ../../../common/keys/dist/types/src/EchoURI.d.ts
 /**
- * DXN unambiguously names a resource like an ECHO object, schema definition, plugin, etc.
- * Each DXN starts with a dxn prefix, followed by a resource kind.
- * Colon Symbol : is used a delimiter between parts.
- * DXNs may contain slashes.
- * '@' in the place of the space id is used to denote that the DXN should be resolved in the local space.
+ * Addresses an ECHO object or space. Uses the `echo:` URI scheme.
  *
  * @example
  * ```
- * 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
+ * echo://BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE/01J00J9B45YHYSGZQTQMSKMGJ6
+ * echo:/01J00J9B45YHYSGZQTQMSKMGJ6
+ * echo://BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE
  * ```
  */
-declare class DXN {
-  #private;
-  static Schema: refine<string, typeof NonEmptyString>;
-  static hash(dxn: DXN): string;
-  /**
-   * Kind constants.
-   */
-  static kind: Readonly<{
-    /**
-     * dxn:type:<type_name>[:<version>]
-     */
-    TYPE: "type";
-    /**
-     * dxn:echo:<space_id>:<echo_id>
-     * dxn:echo:@:<echo_id>
-     */
-    ECHO: "echo";
-    /**
-     * The subspace tag enables us to partition queues by usage within the context of a space.
-     * dxn:queue:<subspace_tag>:<space_id>:<queue_id>[:object_id]
-     * dxn:queue:data:BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE:01J00J9B45YHYSGZQTQMSKMGJ6
-     * dxn:queue:trace:BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE:01J00J9B45YHYSGZQTQMSKMGJ6
-     */
-    QUEUE: "queue";
-  }>;
-  /**
-   * Exactly equals.
-   */
-  static equals(a: DXN, b: DXN): boolean;
-  static equalsEchoId(a: DXN, b: DXN): boolean;
-  static isDXNString(dxn: string): boolean;
-  static parse(dxn: string): DXN;
-  static tryParse(dxn: string): DXN | undefined;
-  /**
-   * @example `dxn:type:example.com/type/Person`
-   */
-  static fromTypename(typename: string): DXN;
-  /**
-   * @example `dxn:type:example.com/type/Person:0.1.0`
-   */
-  static fromTypenameAndVersion(typename: string, version: string): DXN;
-  /**
-   * @example `dxn:echo:BA25QRC2FEWCSAMRP4RZL65LWJ7352CKE:01J00J9B45YHYSGZQTQMSKMGJ6`
-   */
-  static fromSpaceAndObjectId(spaceId: SpaceId, objectId: ObjectId): DXN;
-  /**
-   * @example `dxn:echo:@:01J00J9B45YHYSGZQTQMSKMGJ6`
-   */
-  static fromLocalObjectId(id: string): DXN;
-  static fromQueue(subspaceTag: QueueSubspaceTag, spaceId: SpaceId, queueId: ObjectId, objectId?: ObjectId): DXN;
-  constructor(kind: string, parts: string[]);
-  toString(): DXN.String;
-  toJSON(): string;
-  /**
-   * Used by Node.js to get textual representation of this object when it's printed with a `console.log` statement.
-   */
-  [inspectCustom](depth: number, options: InspectOptionsStylized, inspectFn: typeof inspect): string;
-  get [devtoolsFormatter](): DevtoolsFormatter;
-  get kind(): string;
-  get parts(): string[];
-  get typename(): string;
-  equals(other: DXN): boolean;
-  hasTypenameOf(typename: string): boolean;
-  isLocalObjectId(): boolean;
-  asTypeDXN(): DXN.TypeDXN | undefined;
-  asEchoDXN(): DXN.EchoDXN | undefined;
-  asQueueDXN(): DXN.QueueDXN | undefined;
-  /**
-   * Produces a new DXN with the given parts appended.
-   */
-  extend(parts: string[]): DXN;
-}
-/**
- * API namespace.
- */
-declare namespace DXN {
-  /**
-   * DXN represented as a javascript string.
-   */
-  type String = string & {
-    __DXNString: never;
-  };
-  type TypeDXN = {
-    type: string;
-    version?: string;
-  };
-  type EchoDXN = {
-    spaceId?: SpaceId;
-    echoId: string;
-  };
-  type QueueDXN = {
-    subspaceTag: QueueSubspaceTag;
-    spaceId: SpaceId;
-    queueId: string;
-    objectId?: string;
-  };
-}
+type EchoURI = URI & {
+  readonly __EchoURI: unique symbol;
+};
 //#endregion
 //#region ../echo-protocol/dist/types/src/foreign-key.d.ts
 declare const ForeignKey_: Struct<{
@@ -7892,27 +7892,24 @@ type ForeignKey = Schema.Type<typeof ForeignKey_>;
  */
 declare const ForeignKey: Schema<ForeignKey>;
 //#endregion
-//#region ../../../common/util/dist/types/src/types.d.ts
-/**
- * Removes readonly modifiers from top-level properties of T.
- * Also converts readonly arrays at the top level to mutable arrays.
- * For nested properties, mutability depends on the schema definition.
- */
-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 ../echo-protocol/dist/types/src/reference.d.ts
 /**
  * Reference as it is stored in Automerge document.
  */
 type EncodedReference = {
-  '/': string;
+  '/': URI;
 };
 declare const EncodedReference: Readonly<{
   isEncodedReference: (value: any) => value is EncodedReference;
-  getReferenceString: (value: EncodedReference) => string;
-  toDXN: (value: EncodedReference) => DXN;
-  fromDXN: (dxn: DXN) => EncodedReference;
-  fromLegacyTypename: (typename: string) => EncodedReference;
+  /**
+   * Returns the opaque URI stored in the encoded reference (any scheme: `echo:` or `dxn:`).
+   * Consumers can narrow with `EchoURI.isEchoURI(uri)` / `DXN.isDXN(uri)`.
+   */
+  toURI: (value: EncodedReference) => URI;
+  /**
+   * Creates an encoded reference from an opaque URI.
+   */
+  fromURI: (uri: URI) => EncodedReference;
 }>;
 //#endregion
 //#region ../echo-protocol/dist/types/src/query/ast.d.ts
@@ -7923,13 +7920,13 @@ declare const EncodedReference: Readonly<{
  */
 declare const FilterObject_: Struct<{
   type: Literal<["object"]>;
-  typename: Union<[refine<string, typeof NonEmptyString>, typeof Null]>;
+  typename: Union<[Schema<URI, URI, never>, typeof Null]>;
   id: optional<Array$<ObjectIdClass>>;
   /**
    * 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.
    */
@@ -7940,6 +7937,15 @@ declare const FilterObject_: Struct<{
     readonly source: string;
     readonly id: string;
   }, never>>>;
+  /**
+   * Match objects whose meta `key` equals this fully-qualified registry key (FQN format).
+   */
+  metaKey: optional<typeof String$>;
+  /**
+   * Semver range matched against the object's meta `version`.
+   * Only consulted when {@link metaKey} is set. Objects with no `version` do not satisfy a version-constrained filter.
+   */
+  metaVersion: optional<typeof String$>;
 }>;
 interface FilterObject extends Schema.Type<typeof FilterObject_> {}
 declare const FilterObject: Schema<FilterObject>;
@@ -7949,7 +7955,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 +8000,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 +8027,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 +8036,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 +8045,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$<Schema<EchoURI, EchoURI, never>>;
+  /** 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 +8081,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 +8091,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,13 +8101,13 @@ 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.
    */
   property: NullOr<typeof String$>;
-  typename: Union<[refine<string, typeof NonEmptyString>, typeof Null]>;
+  typename: Union<[Schema<URI, URI, never>, typeof Null]>;
 }>;
 interface QueryIncomingReferencesClause extends Schema.Type<typeof QueryIncomingReferencesClause_> {}
 declare const QueryIncomingReferencesClause: Schema<QueryIncomingReferencesClause>;
@@ -8085,14 +8116,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 +8132,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 +8142,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 +8156,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 +8165,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 +8190,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 +8218,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,74 +8234,85 @@ 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 allFeedsFromSpaces?: boolean | undefined;
+      readonly feeds?: readonly EchoURI[] | undefined;
+    }, {
+      readonly allFeedsFromSpaces?: boolean | undefined;
+      readonly feeds?: readonly EchoURI[] | 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.
    *
-   * NOTE: Spaces and queues are unioned together if both are specified.
+   * NOTE: Spaces and feeds are unioned together if both are specified.
    */
   spaceIds: optional<Array$<typeof String$>>;
   /**
-   * If true, the nested select statements will select from all queues in the spaces specified by `spaceIds`.
+   * If true, the nested select statements will select from all feeds in the spaces specified by `spaceIds`.
    */
-  allQueuesFromSpaces: optional<typeof Boolean$>;
+  allFeedsFromSpaces: optional<typeof Boolean$>;
   /**
-   * The nested select statemets will select from the given queues.
+   * The nested select statemets will select from the given feeds (by EchoURI or legacy DXN).
    *
-   * 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.
+   * NOTE: Spaces and feeds are unioned together if both are specified.
    */
-  deleted: optional<Literal<["include", "exclude", "only"]>>;
+  feeds: optional<Array$<Schema<EchoURI, EchoURI, never>>>;
 }>;
-interface QueryOptions extends Schema.Type<typeof QueryOptions> {}
+interface Scope extends Schema.Type<typeof Scope> {}
 //#endregion
-//#region ../echo/dist/types/src/internal/types/base.d.ts
+//#region ../../../common/util/dist/types/src/types.d.ts
 /**
- * Canonical type for all ECHO entities (objects and relations).
+ * Removes readonly modifiers from top-level properties of T.
+ * Also converts readonly arrays at the top level to mutable arrays.
+ * For nested properties, mutability depends on the schema definition.
  */
-interface AnyEntity {
-  readonly id: ObjectId;
-}
+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 ../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",
-}
-//#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> {}
+declare const JsonPath: Schema<JsonPath>;
 //#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 +8323,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,87 +8334,309 @@ declare global {
  * @category Constructors
  */
 //#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> {}
+//#region ../echo/dist/types/src/internal/JsonSchema/json-schema-type.d.ts
 /**
- * Type of the `Ref` function and extra methods attached to it.
+ * 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
  */
-interface RefFn {
-  <S$1 extends Schema.Any>(schema: S$1): RefSchema<Schema.Type<S$1>>;
+declare const _JsonSchemaType: Struct<{
   /**
-   * @returns True if the object is a reference.
+   * Identifier for this schema.
+   * This schema might be referenced by $ref clause in other schemas.
    */
-  isRef: (obj: unknown) => obj is Ref<any>;
+  $id: optional<typeof String$>;
   /**
-   * @returns True if the reference points to the given object id.
+   * Schema of this schema.
+   * Set to "https://json-schema.org/draft-07/schema".
    */
-  hasObjectId: (id: ObjectId) => (ref: Ref<any>) => boolean;
+  $schema: optional<typeof String$>;
   /**
-   * @returns True if the schema is a reference schema.
+   * Reference to another schema.
    */
-  isRefSchema: (schema: Schema<any, any>) => schema is RefSchema<any>;
+  $ref: optional<typeof String$>;
   /**
-   * @returns True if the schema AST is a reference schema.
+   * Comments are ignored when interpreting the schema.
    */
-  isRefSchemaAST: (ast: AST) => boolean;
+  $comment: optional<typeof String$>;
   /**
-   * Constructs a reference that points to the given object.
+   * Defines whether this schema is an object schema or a relation schema.
    */
-  make: <T$1 extends AnyEntity>(object: T$1) => Ref<T$1>;
+  entityKind: optional<Enums<typeof EntityKind>>;
   /**
-   * Constructs a reference that points to the object specified by the provided DXN.
+   * Typename of this schema.
+   * Only on schema representing an ECHO object.
+   *
+   * @example 'com.example.type.my-type'
    */
-  fromDXN: (dxn: DXN) => Ref<any>;
-}
-/**
- * Schema builder for references.
- */
-declare const Ref: RefFn;
-/**
- * Represents materialized reference to a target.
- * This is the data type for the fields marked as ref.
- */
-interface Ref<T$1> extends Pipeable {
+  typename: optional<typeof String$>;
   /**
-   * Target object DXN.
+   * Version of this schema.
+   * Custom dialect for ECHO.
    */
-  get dxn(): DXN;
+  version: optional<typeof String$>;
   /**
-   * Returns true if the reference has a target available (inlined or resolver set).
+   * Target of this relation.
+   * Only for relation schemas.
+   * The referenced schema must be an object schema.
    */
-  get isAvailable(): boolean;
+  relationTarget: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
   /**
-   * @returns The reference target.
-   * May return `undefined` if the object is not loaded in the working set.
-   * Accessing this property, even if it returns `undefined` will trigger the object to be loaded to the working set.
+   * Source of this relation.
+   * Only for relation schemas.
+   * The referenced schema must be an object schema.
    */
-  get target(): T$1 | undefined;
+  relationSource: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
   /**
-   * @returns Promise that will resolves with the target object.
-   * Will load the object from disk if it is not present in the working set.
-   * @throws If the object is not available locally.
+   * Title of this schema.
    */
-  load(): Promise<T$1>;
+  title: optional<typeof String$>;
   /**
-   * @returns Promise that will resolves with the target object or undefined if the object is not loaded locally.
+   * Description of this schema.
    */
-  tryLoad(): Promise<T$1 | undefined>;
+  description: optional<typeof String$>;
   /**
-   * Do not inline the target object in the reference.
-   * Makes .target unavailable unless the reference is connected to a database context.
-   *
-   * When serialized with toJSON, the difference is between:
-   * `{ "/": "dxn:..." }`
-   * and
-   * `{ "/": "dxn:...", "target": { ... } }`
-   *
-   * Clones the reference object.
+   * Whether this schema is read-only.
    */
-  noInline(): Ref<T$1>;
+  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$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 AnyEntity$1 | UnknownTypeSchema<any, any> = AnyEntity$1>(schema: S$1): RefSchema$1<S$1 extends AnyType ? AnyEntity$1 : S$1 extends AnyObj | AnyRelation ? InstanceType$1<S$1> : S$1 extends UnknownTypeSchema<infer A, any> ? A : never>;
+  /**
+   * @returns True if the object is a reference.
+   */
+  isRef: (obj: unknown) => obj is Ref<any>;
+  /**
+   * @returns True if the reference points to the given object id.
+   */
+  hasObjectId: (id: ObjectId) => (ref: Ref<any>) => boolean;
+  /**
+   * @returns True if the schema is a reference schema.
+   */
+  isRefSchema: (schema: Schema<any, any>) => schema is RefSchema$1<any>;
+  /**
+   * @returns True if the schema AST is a reference schema.
+   */
+  isRefSchemaAST: (ast: AST) => boolean;
+  /**
+   * Constructs a reference that points to the given object.
+   */
+  make: <T$1 extends AnyEntity>(object: T$1) => Ref<T$1>;
+  /**
+   * Constructs a reference that points to the object specified by the provided URI
+   * (either an `echo:` EchoURI for an object reference or a `dxn:` DXN for a type reference).
+   */
+  fromURI: (uri: URI) => Ref<any>;
+}
+/**
+ * Schema builder for references.
+ */
+declare const Ref: RefFn;
+/**
+ * Represents materialized reference to a target.
+ * This is the data type for the fields marked as ref.
+ */
+interface Ref<T$1> extends Pipeable {
+  /**
+   * Target URI (either an `echo:` EchoURI for an object reference or a `dxn:` DXN for a type reference).
+   */
+  get uri(): URI;
+  /**
+   * Returns true if the reference has a target available (inlined or resolver set).
+   */
+  get isAvailable(): boolean;
+  /**
+   * @returns The reference target.
+   * May return `undefined` if the object is not loaded in the working set.
+   * Accessing this property, even if it returns `undefined` will trigger the object to be loaded to the working set.
+   */
+  get target(): T$1 | undefined;
+  /**
+   * @returns Promise that will resolves with the target object.
+   * Will load the object from disk if it is not present in the working set.
+   * @throws If the object is not available locally.
+   */
+  load(): Promise<T$1>;
+  /**
+   * @returns Promise that will resolves with the target object or undefined if the object is not loaded locally.
+   */
+  tryLoad(): Promise<T$1 | undefined>;
+  /**
+   * Subscribe to the ref's resolution event.
+   * The callback fires when the target object becomes available in the working set
+   * (e.g. when its document is loaded after sibling-client mutation).
+   * Note: the resolver only schedules a notification when the target is requested
+   * via {@link target} while it is not yet loaded.
+   * @returns Function that unsubscribes the callback.
+   */
+  onResolved(callback: () => void): () => void;
+  /**
+   * Do not inline the target object in the reference.
+   * Makes .target unavailable unless the reference is connected to a database context.
+   *
+   * When serialized with toJSON, the difference is between:
+   * `{ "/": "dxn:..." }`
+   * and
+   * `{ "/": "dxn:...", "target": { ... } }`
+   *
+   * Clones the reference object.
+   */
+  noInline(): Ref<T$1>;
   /**
    * Serializes the reference to a JSON object.
    * The serialization format is compatible with the IPLD-style encoded references.
@@ -8398,115 +8658,90 @@ declare namespace Ref {
    */
   type Target<R$1> = R$1 extends Ref<infer U> ? U : never;
 }
-//#endregion
-//#region ../echo/dist/types/src/internal/entities/relation.d.ts
-/**
- * Property name for relation source when object is serialized to JSON.
- */
-declare const ATTR_RELATION_SOURCE = "@relationSource";
-/**
- * Property name for relation target when object is serialized to JSON.
- */
-declare const ATTR_RELATION_TARGET = "@relationTarget";
+interface RefResolver {
+  /**
+   * Resolve ref synchronously from the objects in the working set.
+   *
+   * @param uri
+   * @param load If true the resolver should attempt to load the object from disk.
+   * @param onLoad Callback to call when the object is loaded.
+   */
+  resolveSync(uri: URI, load: boolean, onLoad?: () => void): AnyProperties | undefined;
+  /**
+   * Resolver ref asynchronously.
+   */
+  resolve(uri: URI): Promise<AnyProperties | undefined>;
+  resolveSchema(uri: URI): Promise<Schema.AnyNoContext | undefined>;
+  /**
+   * Resolve the source `Type.AnyEntity` entity for a type URI. Used by
+   * deserialization paths (`Obj.fromJSON`) to set the back-reference accessed
+   * via `Obj.getType` / `Entity.getType`. Optional — resolvers that only
+   * carry raw schemas may leave this unimplemented; the deserializer falls
+   * back to leaving the type entity unset.
+   */
+  resolveType?(uri: URI): Promise<unknown | undefined>;
+}
 //#endregion
 //#region ../echo/dist/types/src/Ref.d.ts
-type Unknown$1 = Ref<Unknown>;
 /**
- * Extract reference target.
+ * 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.
+ * ```
  */
-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 Ref$1<T$1> = Ref<T$1>;
+type Unknown$2 = Ref<Unknown$1>;
 /**
- * Type that marks a schema as an ECHO schema.
- * The value indicates the entity kind (Object or Relation).
+ * 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.makeObject(DXN.make('com.example.type.task', '0.1.0')));
+ * ```
  */
-type EchoSchemaKind<K$1 extends EntityKind = EntityKind> = {
-  readonly [SchemaKindId]: K$1;
+declare const Ref$1: {
+  <S$1 extends AnyObj | AnyRelation>(type: S$1): RefSchema<InstanceType$1<S$1> & Unknown$1>;
+  <T$1 extends Type$1<any>>(type: T$1): RefSchema<InstanceType$1<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1): RefSchema<Schema.Type<S$1> & Unknown$1>;
 };
 /**
- * JSON-encoded properties for objects.
- */
-
-/**
- * JSON-encoded properties for relations.
- */
-interface RelationJsonProps {
-  id: string;
-  [ATTR_RELATION_SOURCE]: string;
-  [ATTR_RELATION_TARGET]: string;
-}
-type RelationSchemaType = Schema<{
-  id: ObjectId;
-} & Record<string, unknown>, {
-  id: string;
-} & Record<string, unknown>> & EchoSchemaKind<EntityKind.Relation> & TypeMeta;
-/**
- * Runtime Effect schema for any ECHO relation.
- * Use for validation, parsing, or as a reference target for collections.
- * A relation has `id`, source, and target fields plus any additional properties.
- *
- * NOTE: `Schema.is(Type.Relation)` does STRUCTURAL validation only (checks for `id` field).
- * Use `Relation.isRelation()` for proper ECHO instance type guards that check the KindId brand.
+ * 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
- * // Structural type guard (accepts any object with id field)
- * if (Schema.is(Type.Relation)(unknownValue)) { ... }
+ * // Schema type annotation (rarely needed, usually inferred):
+ * const refSchema: Ref.RefSchema<typeof Task> = Ref.Ref(Task);
  *
- * // ECHO instance type guard (checks KindId brand)
- * if (Relation.isRelation(unknownValue)) { ... }
+ * // Instance type annotation (use Ref.Ref instead):
+ * const refInstance: Ref.Ref<Task> = Ref.make(task);
  * ```
  */
-declare const Relation: RelationSchemaType;
+interface RefSchema<T$1 extends Unknown> extends RefSchema$1<T$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.
- * `Fields` is the optional struct fields type for introspection.
+ * Extract reference target.
  */
-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> {
-  /**
-   * The fields defined in the original struct schema.
-   * Allows accessing field definitions for introspection.
-   */
-  readonly fields: Fields;
-}
+type Target$1<R$1 extends Unknown$2> = R$1 extends Ref<infer T> ? T : never;
 /**
- * Structural base type for any ECHO relation schema.
- * Accepts static schemas (created with Type.relation()).
- * NOTE: Does not include the brand symbol to avoid TS4053 declaration portability issues.
- * Use Type.isRelationSchema() for runtime type guards.
+ * Reference resolver.
  */
-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 Resolver = RefResolver;
 //#endregion
 //#region ../echo/dist/types/src/Obj.d.ts
 /**
@@ -8516,7 +8751,7 @@ interface BaseObj extends AnyEntity, OfKind<typeof Kind.Object> {}
 /**
  * Object type with specific properties.
  */
-
+type OfShape<Props$2> = BaseObj & Props$2;
 /**
  * Object with no known properties beyond id and kind.
  * Use this when the object's schema/properties are not known.
@@ -8525,37 +8760,47 @@ 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.makeObject(DXN.make('com.example.type.collection', '0.1.0')));
+ * ```
  */
-interface OfKind<K$1 extends Kind> {
-  readonly [KindId]: K$1;
-  readonly id: ObjectId;
-}
+declare const Unknown$1: UnknownTypeSchema<Unknown$1, typeof Kind.Object>;
 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, KeyFilterOptions, Props$1 as Props, TextSearchOptions, Type$3 as Type, and, between, childOf, contains, created, eq, everything, foreignKeys, fromAst$1 as fromAst, gt, gte, id, in$ as in, is$1 as is, key$1 as key, lt, lte, neq, not, nothing, or, pretty$1 as pretty, props, tag, text, type$2 as type, typeURI, typename, updated };
 }
 interface Filter<T$1> {
   '~Filter': {
-    value: Contravariant<T$1>;
+    value: Covariant<T$1>;
   };
   ast: Filter$1;
 }
-type Props<T$1> = { [K in keyof T$1 & string]?: Filter<T$1[K]> | T$1[K] };
+type Props$1<T$1> = { [K in keyof T$1 & string]?: Filter<T$1[K]> | T$1[K] };
 type Any$3 = Filter<any>;
-type Type$2<F extends Any$3> = F extends Filter<infer T> ? T : never;
+type Type$3<F extends Any$3> = F extends Filter<infer T> ? T : never;
 declare class FilterClass implements Any$3 {
   readonly ast: Filter$1;
-  private static variance;
+  private static 'variance';
   constructor(ast: Filter$1);
   '~Filter': {
-    value: Contravariant<any>;
+    value: Covariant<any>;
   };
 }
 declare const is$1: (value: unknown) => value is Any$3;
@@ -8572,24 +8817,56 @@ declare const nothing: () => FilterClass;
 declare const id: (...ids: ObjectId[]) => Any$3;
 /**
  * Filter by type.
+ *
+ * Accepts a `Type.Type` entity (the value produced by `Type.makeObject` /
+ * `Type.makeRelation`), a `Schema.Union` of such entities (for filtering across a
+ * union of ECHO types), or a non-qualified typename string.
  */
-declare const type$2: <S$1 extends Schema.All>(schema: S$1 | string, props?: Props<Schema.Type<S$1>>) => Filter<Schema.Type<S$1>>;
+declare const type$2: {
+  <T$1 extends AnyEntity$1>(type: T$1, props?: Props$1<InstanceType$1<T$1>>): Filter<InstanceType$1<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
+  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
+  (schema: string, props?: Props$1<unknown>): Filter<any>;
+  (input: AnyEntity$1 | string, props?: Props$1<unknown>): Filter<unknown>;
+};
 /**
  * Filter by non-qualified typename.
  */
-declare const typename$1: (typename: string) => Any$3;
+declare const typename: (typename: string) => Any$3;
 /**
- * Filter by fully qualified type DXN.
+ * Filter by fully qualified type URI — either a typename DXN (for static schemas) or
+ * a schema-as-object EchoURI (for stored dynamic schemas). See `getSchemaURI`.
  */
-declare const typeDXN: (dxn: DXN) => Any$3;
+declare const typeURI: (uri: URI) => Any$3;
 /**
  * Filter by tag.
  */
 declare const tag: (tag: string) => Any$3;
+/**
+ * Options for {@link key} filter.
+ */
+type KeyFilterOptions = {
+  /**
+   * Optional semver range expression (e.g. `^1.2.3`, `~2.0.0`, `>=1.0.0 <2.0.0`).
+   * Matches the object's meta `version` field against the range.
+   * If omitted, matches any version (including objects with no version).
+   */
+  version?: string;
+};
+/**
+ * Filter by registry key stored in object meta.
+ *
+ * @example
+ * ```ts
+ * Filter.key('org.example.type.foo');
+ * Filter.key('org.example.type.foo', { version: '^1.2.3' });
+ * ```
+ */
+declare const key$1: (key: string, options?: KeyFilterOptions) => Any$3;
 /**
  * Filter by properties.
  */
-declare const props: <T$1>(props: Props<T$1>) => Filter<T$1>;
+declare const props: <T$1>(props: Props$1<T$1>) => Filter<T$1>;
 type TextSearchOptions = {
   type?: 'full-text' | 'vector';
 };
@@ -8600,7 +8877,7 @@ declare const text: (text: string, options?: TextSearchOptions) => Any$3;
 /**
  * Filter by foreign keys.
  */
-declare const foreignKeys: <S$1 extends Schema.All>(schema: S$1 | string, keys: ForeignKey[]) => Filter<Schema.Type<S$1>>;
+declare const foreignKeys: <S$1 extends AnyEntity$1 | string>(schema: S$1, keys: ForeignKey[]) => Filter<S$1 extends AnyEntity$1 ? InstanceType$1<S$1> : unknown>;
 /**
  * Predicate for property to be equal to the provided value.
  */
@@ -8629,7 +8906,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,133 +8917,542 @@ 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.getURI}.
+ * 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.
  */
-declare const not: <F extends Any$3>(filter: F) => Filter<Type$2<F>>;
+declare const not: <F extends Any$3>(filter: F) => Filter<Type$3<F>>;
 /**
  * Combine filters with a logical AND.
  */
-declare const and: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$2<Filters[number]>>;
+declare const and: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$3<Filters[number]>>;
 /**
  * Combine filters with a logical OR.
  */
-declare const or: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$2<Filters[number]>>;
-declare namespace Order_d_exports {
-  export { Any$2 as Any, Order, natural, property, rank };
-}
-interface Order<T$1> {
-  '~Order': {
-    value: T$1;
-  };
-  ast: Order$1;
-}
-type Any$2 = Order<any>;
-declare const natural: Order<any>;
-declare const property: <T$1>(property: keyof T$1 & string, direction: OrderDirection) => Order<T$1>;
+declare const or: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$3<Filters[number]>>;
 /**
- * Order by relevance rank (for FTS/vector search results).
- * Higher rank = better match. Default direction is 'desc' (best matches first).
+ * Returns a human-readable string representation of a Filter AST.
  */
-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 };
-}
+declare const pretty$1: (filter: Any$3) => string;
+//#endregion
+//#region ../echo/dist/types/src/JsonSchema.d.ts
 /**
- * All property paths inside T that are references.
+ * Serializable JsonSchema type definition.
  */
-type RefPropKey<T$1> = keyof T$1 & string;
-interface Query<T$1> {
-  '~Query': {
-    value: T$1;
-  };
-  ast: Query$1;
+type JsonSchema = JsonSchemaType;
+declare const JsonSchema: Schema<JsonSchemaType>;
+//#endregion
+//#region ../../../common/async/dist/types/src/cleanup.d.ts
+type CleanupFn = () => void;
+//#endregion
+//#region ../echo/dist/types/src/QueryResult.d.ts
+/**
+ * Individual query result entry.
+ */
+type Entry$1<T$1> = {
+  id: string;
   /**
-   * Filter the current selection based on a filter.
-   * @param filter - Filter to select the objects.
-   * @returns Query for the selected objects.
+   * May not be present for remote results.
    */
-  select(filter: Filter<T$1>): Query<T$1>;
-  select(props: Props<T$1>): Query<T$1>;
-  /**
-   * Traverse an outgoing reference.
+  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;
+};
+interface SchemaRegistry {
+  /**
+   * Checks if the provided schema is registered.
+   */
+  hasSchema(schema: AnyEntity$1): boolean;
+  /**
+   * Registers the provided schema(s).
+   *
+   * @returns The persisted type entities. The entity kind of each input is
+   * preserved (an object schema comes back as `Type.AnyObj`), so the result can
+   * be chained into `Obj.make` / `Relation.make` without casts. Each stored
+   * schema is also a `Type.Type` record, so its `Ref` targets a
+   * `Ref(Type.Type)` field.
+   *
+   * 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<T$1 extends AnyEntity$1>(input: T$1[]): Promise<T$1[]>;
+  register(input: RegisterSchemaInput[]): Promise<Type$1[]>;
+  query<Q extends NoExcessProperties<Query$1, Q>>(query?: Q & Query$1): QueryResult<Type$1>;
+}
+//#endregion
+//#region ../echo/dist/types/src/Hypergraph.d.ts
+/**
+ * Resolution context.
+ * Affects how non-absolute DXNs are resolved.
+ */
+interface RefResolutionContext {
+  /**
+   * Space that the resolution is happening from.
+   */
+  space?: SpaceId;
+  /**
+   * Feed that the resolution is happening from.
+   * This feed will be searched first, and then the space it belongs to.
+   */
+  feed?: URI;
+}
+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.fromURI`
+   * `Ref.fromURI(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
+   * `db.makeRef(dxn)` is preferable in cases with access to the database.
+   */
+  makeRef<T$1 extends Unknown = Unknown>(uri: URI): Ref$1<T$1>;
+  /**
+   * @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<Unknown$1>[];
+}, Struct.Fields>;
+type Collection = InstanceType$1<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.
+ */
+type Feed = InstanceType$1<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 InstanceType$1<typeof ViewSchema> {}
+declare const View: Obj$1<View>;
+//#endregion
+//#region ../echo/dist/types/src/Dataset.d.ts
+/**
+ * Abstract set of objects, represented by a view, feed, or collection.
+ * Schema-level union of the underlying type entities (rebuilt via
+ * `Type.getSchema`) so this can still be consumed by Schema-side APIs such
+ * as `Filter.type(...)` on a union.
+ */
+type Dataset = Feed | Collection | View;
+declare const Dataset: Union<[Schema<{
+  readonly name?: string | undefined;
+  readonly kind?: string | undefined;
+  readonly namespace?: "data" | "trace" | undefined;
+} & OfKind<EntityKind.Object>, {
+  readonly name?: string | undefined;
+  readonly kind?: string | undefined;
+  readonly namespace?: "data" | "trace" | undefined;
+} & OfKind<EntityKind.Object>, never>, Schema<{
+  readonly name?: string | undefined;
+  readonly objects: readonly Ref<Unknown$1>[];
+} & OfKind<EntityKind.Object>, {
+  readonly name?: string | undefined;
+  readonly objects: readonly Ref<Unknown$1>[];
+} & OfKind<EntityKind.Object>, never>, Schema<View & OfKind<EntityKind.Object>, View & OfKind<EntityKind.Object>, never>]>;
+declare namespace Order_d_exports {
+  export { Any$2 as Any, Order, natural, property, rank };
+}
+interface Order<T$1> {
+  '~Order': {
+    value: T$1;
+  };
+  ast: Order$1;
+}
+type Any$2 = Order<any>;
+declare const natural: Order<any>;
+declare const property: <T$1>(property: keyof T$1 & string, direction: OrderDirection) => Order<T$1>;
+/**
+ * Order by relevance rank (for FTS/vector search results).
+ * Higher rank = better match. Default direction is 'desc' (best matches first).
+ */
+declare const rank: <T$1>(direction?: OrderDirection) => Order<T$1>;
+//#endregion
+//#region ../echo/dist/types/src/Relation.d.ts
+type Endpoints$1<Source$1, Target$2> = {
+  [Source$1]: Source$1;
+  [Target$2]: Target$2;
+};
+/**
+ * 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;
+declare namespace Query_d_exports {
+  export { Any$1 as Any, Query, Type$2 as Type, all, from, fromAst, is, pretty, select, type$1 as type, without };
+}
+/**
+ * All property paths inside T that are references.
+ */
+type RefPropKey<T$1> = keyof T$1 & string;
+interface Query<T$1> {
+  '~Query': {
+    value: T$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$1<T$1>): Query<T$1>;
+  /**
+   * Traverse an outgoing reference.
    * @param key - Property path inside T that is a reference or optional reference.
    * @returns Query for the target of the reference.
    */
-  reference<K$1 extends RefPropKey<T$1>>(key: K$1): Query<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$1<T$1[K$1]> : T$1[K$1] extends Unknown$2 | undefined ? Target$1<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 AnyEntity$1>(target: S$1 | string, key: RefPropKey<InstanceType$1<S$1>>): Query<InstanceType$1<S$1>>;
+  'referencedBy'<S$1 extends AnyEntity$1>(target: S$1 | string): Query<InstanceType$1<S$1>>;
+  'referencedBy'(): Query<any>;
   /**
    * Find relations where this object is the source.
    * @returns Query for the relation objects.
    * @param relation - Schema of the relation.
    * @param predicates - Predicates to filter the relation objects.
    */
-  sourceOf<S$1 extends Schema.All>(relation: S$1 | string, predicates?: Props<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  'sourceOf'<R$1 extends AnyRelation>(relation?: R$1 | string, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
   /**
    * Find relations where this object is the target.
    * @returns Query for the relation objects.
-   * @param relation - Schema of the relation.
+   * @param relation - Type entity 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'<R$1 extends AnyRelation>(relation?: R$1 | string, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
   /**
    * For a query for relations, get the source objects.
    * @returns Query for the source objects.
    */
-  source(): Query<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;
+type Type$2<Q extends Any$1> = Q extends Query<infer T> ? T : never;
 declare const is: (value: unknown) => value is Any$1;
 /** Construct a query from an ast. */
-declare const fromAst: (ast: Query$1) => Any$1;
+declare const fromAst: (ast: Query$2) => Any$1;
 /**
  * Select objects based on a filter.
  * @param filter - Filter to select the objects.
  * @returns Query for the selected objects.
  */
-declare const select: <F extends Any$3>(filter: F) => Query<Type$2<F>>;
+declare const select: <F extends Any$3>(filter: F) => Query<Type$3<F>>;
 /**
  * Query for objects of a given schema.
  * @param schema - Schema of the objects.
@@ -8775,7 +9461,19 @@ 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;
+/**
+ * Instance type for a query over `type`. Falls back to `Entity.Unknown` when the
+ * type can't be narrowed — e.g. the caller passes the wide `Type.AnyEntity` — so
+ * results aren't typed as the useless bare `OfKind<...>` union that
+ * `Type.InstanceType<Type.AnyEntity>` produces.
+ */
+type QueryInstance<T$1 extends AnyEntity$1> = AnyEntity$1 extends T$1 ? Unknown : InstanceType$1<T$1>;
+declare const type$1: {
+  <T$1 extends AnyEntity$1>(type: T$1, predicates?: Props$1<QueryInstance<T$1>>): Query<QueryInstance<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  (schema: string, predicates?: Props$1<unknown>): Query<any>;
+};
 /**
  * Combine results of multiple queries.
  * @param queries - Queries to combine.
@@ -8789,6 +9487,495 @@ 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$2<Q>>;
+  <F extends Any$3>(filter: F): QueryResult<Type$3<F>>;
+}
+/**
+ * Common interface for Database, Feed, and Hypergraph.
+ */
+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.fromURI`
+   * `Ref.fromURI(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
+   * `db.makeRef(dxn)` is preferable in cases with access to the database.
+   */
+  makeRef<T$1 extends Unknown = Unknown>(uri: URI): Ref<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/Type/type-schema.d.ts
+/**
+ * Raw struct backing {@link TypeSchema}. Exposed only so `TypeSchema`
+ * (the TS type) can derive its data fields via `Schema.Schema.Type<typeof ...>`;
+ * runtime callers should use {@link TypeSchema} (the piped, branded entity).
+ *
+ * `typename` and `version` are NOT data fields — they live in `ObjectMeta.key` /
+ * `ObjectMeta.version` (the canonical registry-provenance pair, queryable via
+ * `Filter.key(...)`). The same `jsonSchema` payload also embeds them so a
+ * standalone JSON-Schema export remains self-describing, but the schema-registry
+ * reads/writes them through meta.
+ */
+declare const TypeSchemaStruct: Struct<{
+  name: optional<typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>;
+/**
+ * Persistent representation of a schema.
+ */
+declare const TypeSchema: EchoTypeKindSchema<Struct<{
+  name: optional<typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>, Readonly<{
+  name: optional<typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>>;
+/**
+ * Persistent representation of a schema — the runtime shape that
+ * `db.add(Type.makeObjectFromJsonSchema(...))` / `db.schemaRegistry.register([...])` produces
+ * and `Filter.type(Type.Type).run()` returns.
+ *
+ * Structurally identical to a static `Type.Type` entity: the entity-handler's
+ * `get` trap exposes `[SchemaKindId]` (derived from `system.kind` and
+ * `data.jsonSchema.entityKind`) and rebuilds `[StaticTypeSchemaSlot]` lazily
+ * from `jsonSchema`, so a persisted instance satisfies the public `Type<A>`
+ * interface without casting.
+ */
+type TypeSchema = Schema.Type<typeof TypeSchemaStruct> & {
+  /** Object identifier — injected by `EchoTypeKindSchema` and stamped at construction. */
+  readonly id: string;
+  /** Entity-kind discriminator (object/relation/type) carried on every entity instance. */
+  readonly [KindId]: EntityKind.Type;
+  /** Kind of schema described by this meta-instance — always `EntityKind.Type` for `Type.Type` itself. */
+  readonly [SchemaKindId]: EntityKind.Type;
+  /** Effect Schema rebuilt lazily from `jsonSchema`; satisfies `Type.getSchema(...)` without an extra cast. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+};
+//#endregion
+//#region ../echo/dist/types/src/Type.d.ts
+/**
+ * Structural base shared by the three sibling type-entity interfaces
+ * ({@link Obj}, {@link Relation}, {@link Type}). NOT exported — callers
+ * should constrain on {@link AnyEntity} when they want "any of the three"
+ * and on the specific kind interface otherwise.
+ */
+interface BaseTypeEntity<A$1> {
+  /**
+   * Entity-kind brand of the type-entity value itself — always `EntityKind.Type`.
+   * The kind of instance the type *describes* lives on `[SchemaKindId]`
+   * (Object / Relation / Type). Lets `Obj.isObject` / `Relation.isRelation`
+   * reject type entities by a single `[KindId]` check.
+   */
+  readonly [KindId]: EntityKind.Type;
+  /**
+   * Object id. Like all ECHO entities, type entities always carry an id —
+   * stamped at construction for in-memory (static) declarations and assigned by
+   * the database once persisted. The id does NOT determine the entity's URI:
+   * static types resolve to their typename DXN, persisted types to `echo:/<id>`
+   * (see `getTypeURIFromSpecifier`).
+   */
+  readonly id: ObjectId;
+  readonly name?: string;
+  readonly jsonSchema: JsonSchemaType;
+  readonly [InstancePhantomId$1]?: A$1;
+}
+/**
+ * TypeScript type for an ECHO object type — a `Type.Type<A>` entity.
+ *
+ * `T` is the instance type produced by `Obj.make(Foo, props)`. `Fields` is
+ * retained as a structural hint (the runtime value still carries `.fields`),
+ * but consumers should derive instance/encoded types via `Type.InstanceType`.
+ *
+ * **Not a `Schema.Schema`.** `Foo.ast` / `Schema.Schema.Type<typeof Foo>` /
+ * `Schema.extend(Foo)` no longer typecheck — extract the Effect Schema via
+ * `Type.getSchema(Foo)` first, or derive instance types via
+ * `Type.InstanceType<typeof Foo>`.
+ *
+ * @example
+ * ```ts
+ * const Person = Schema.Struct({
+ *   name: Schema.String,
+ * }).pipe(Type.makeObject(DXN.make('com.example.type.person', '0.1.0')));
+ *
+ * type Person = Type.InstanceType<typeof Person>;
+ * ```
+ */
+interface Obj$1<T$1, Fields extends Struct.Fields = Struct.Fields> extends BaseTypeEntity<T$1 & OfKind<typeof Kind.Object>> {
+  /** Schema-kind brand (object). */
+  readonly [SchemaKindId]: EntityKind.Object;
+  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  /**
+   * The fields defined in the original struct schema.
+   * Allows accessing field definitions for introspection.
+   */
+  readonly fields: Fields;
+}
+/**
+ * Type that represents any ECHO object type — a `Type.Type` entity branded
+ * with the object entity kind, i.e. what `Type.makeObject(dxn)` produces.
+ */
+type AnyObj = Obj$1<unknown>;
+/**
+ * ECHO meta-schema entity — stores `{ name?, typename, version, jsonSchema }`.
+ * Type-kind sibling of `Type.makeObject(...)` / `Type.makeRelation(...)` outputs.
+ * Stored types live under this entity; filter via `Filter.type(Type.Type)`.
+ */
+declare const Type$1: Type$1<TypeSchema>;
+/**
+ * TypeScript type for an ECHO relation type — a `Type.Type<A>` entity.
+ *
+ * `T` is the instance-property type produced by `Relation.make(...)` (excluding
+ * source/target endpoints). `Source` and `Target` are the endpoint types.
+ *
+ * **Not a `Schema.Schema`.** See {@link Obj}'s note.
+ */
+interface Relation<T$1, Source$1, Target$2, Fields extends Struct.Fields = Struct.Fields> extends BaseTypeEntity<Endpoints$1<Source$1, Target$2> & T$1 & OfKind<typeof Kind.Relation>> {
+  /** Schema-kind brand (relation). */
+  readonly [SchemaKindId]: EntityKind.Relation;
+  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  /**
+   * The fields defined in the original struct schema.
+   * Allows accessing field definitions for introspection.
+   */
+  readonly fields: Fields;
+}
+/**
+ * Type that represents any ECHO relation type — a `Type.Type` entity branded
+ * with the relation entity kind, i.e. what `Type.makeRelation(...)` produces.
+ */
+type AnyRelation = Relation<unknown, unknown, unknown>;
+/**
+ * Type that represents any ECHO type-kind entity — a `Type.Type` meta-schema
+ * value (static `Type.Type` or a persisted draft from `db.add(...)`).
+ * Mirrors {@link AnyObj} / {@link AnyRelation} for the third sibling kind.
+ */
+type AnyType = Type$1<unknown>;
+/**
+ * Any ECHO type-entity — one of the three sibling kinds: object-kind, relation-kind,
+ * or type-kind (the meta-schema). APIs that want "any ECHO type" use this union;
+ * the underlying Effect Schema is retrieved via `Type.getSchema`.
+ */
+type AnyEntity$1 = AnyObj | AnyRelation | AnyType;
+/**
+ * String key used to phantom-carry the instance type produced by a `Type.Type`.
+ * Used by `Type.InstanceType<typeof Foo>` to recover the schema instance type
+ * since `Type.makeObject(dxn)` does not return a `Schema.Schema`.
+ *
+ * Re-exported from the internal types layer so both `Type.ts` and internal
+ * helpers (`makeObject`, `createObject`) reference the same phantom key.
+ */
+declare const InstancePhantomId$1: "~@dxos/echo/Type.Instance";
+type InstancePhantomId$1 = InstancePhantomId;
+/**
+ * Sibling of {@link Obj} / {@link Relation} for the third ECHO entity kind:
+ * **type-kind** entities (meta-schemas). The singleton {@link Type} const is
+ * the canonical example — it describes stored type definitions themselves.
+ *
+ * Not a `Schema.Schema`. Use `Type.getSchema(value)` to obtain the underlying
+ * Effect Schema and `Type.update(value, draft => ...)` to mutate.
+ *
+ * `A` is the instance-type phantom — what `Obj.make(value, ...)` would produce.
+ * Merged with the `Type` const value via TypeScript declaration merging.
+ */
+interface Type$1<A$1 = unknown> extends BaseTypeEntity<A$1 & OfKind<typeof Kind.Type>> {
+  /** Schema-kind brand (type — the meta-schema kind). */
+  readonly [SchemaKindId]: EntityKind.Type;
+  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+}
+/**
+ * Instance type produced by a Type entity.
+ *
+ * Accepts ONLY {@link AnyEntity} inputs — `Type.Obj`, `Type.Relation`, or
+ * `Type.Type`. Raw Effect `Schema.Schema` values are rejected: for those, use
+ * `Schema.Schema.Type<typeof Foo>` directly. This separation keeps the type
+ * system honest about which values represent ECHO entities versus plain
+ * Effect schemas.
+ *
+ * Dispatches on the entity kind:
+ *  - `Relation<Props, S, T>` → `Endpoints<S,T> & Props & OfKind<Relation>`
+ *  - `Obj<A>`                → `A & OfKind<Object>`
+ *  - `Type<A>`               → `A & OfKind<Type>`
+ */
+type InstanceType$1<T$1 extends AnyEntity$1> = T$1 extends Relation<infer Props, infer Source, infer Target, any> ? Endpoints$1<Source, Target> & Props & OfKind<typeof Kind.Relation> : T$1 extends Obj$1<infer A, any> ? A & OfKind<typeof Kind.Object> : T$1 extends Type$1<infer A> ? A & OfKind<typeof Kind.Type> : never;
+//#endregion
+//#region ../echo/dist/types/src/internal/Entity/entity.d.ts
+type EchoTypeSchemaProps<T$1, ExtraFields = {}> = Simplify$1<AnyEntity & ToMutable<T$1> & ExtraFields>;
+/**
+ * In-memory `Type.Type` entity shape produced by `Type.makeObject(dxn)` /
+ * `Type.makeRelation({...})`. A live reactive `TypeSchema` instance —
+ * identical to a persisted `Type.Type` except for database attachment.
+ *
+ * NOT a `Schema.Schema`. The underlying Effect Schema is cached on the hidden
+ * `StaticTypeSchemaSlot` slot — retrieve it via `Type.getSchema(...)`.
+ */
+interface EchoTypeSchema<Self extends Schema.Any, ExtraFields = {}, K$1 extends EntityKind = EntityKind, Fields extends Struct.Fields = Struct.Fields> {
+  /**
+   * Entity-kind brand. Type entities are their own kind (`Type`) regardless of
+   * the kind of instance they describe — `[SchemaKindId]` carries the latter.
+   * This lets predicates like `Obj.isObject` / `Relation.isRelation` cleanly
+   * reject type entities without also having to inspect `[SchemaKindId]`.
+   */
+  readonly [KindId]: EntityKind.Type;
+  /** Schema-kind brand indicating what kind of instance this type describes. */
+  readonly [SchemaKindId]: K$1;
+  /**
+   * Entity id. Always present — stamped at construction — but NOT the type's
+   * identity while in-memory: an unattached type resolves its URI to the typename
+   * DXN, switching to `echo:/<id>` only once attached to a database (see
+   * `getTypeURIFromSpecifier`, which discriminates by database attachment).
+   */
+  readonly id: ObjectId;
+  /** Source Effect Schema (kept on a hidden slot for `Type.getSchema`). */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  readonly jsonSchema: JsonSchemaType;
+  /** Struct fields for introspection. */
+  readonly fields: Fields;
+  /** Phantom — instance type produced by `Obj.make(self, ...)`. */
+  readonly _instance?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields>;
+  /**
+   * Phantom slot mirroring `Type<A>` so internal helpers (`makeObject`,
+   * `createObject`, `Ref.make`) infer the instance type uniformly whether
+   * the caller passes an `EchoTypeSchema` or a top-level `Type.Type` entity.
+   *
+   * Includes the instance-kind brand (`[KindId]`) so the phantom is assignable
+   * to the matching public-side interface in `Type.ts` (`Type.Obj` /
+   * `Type.Relation` / `Type.Type`). Each kind projects identity: instances of
+   * an object-kind schema are object-kind entities, type-kind schemas produce
+   * type-kind (persisted Type.Type) entities — the latter additionally carry
+   * the `[SchemaKindId]` / `[StaticTypeSchemaSlot]` brands the echo-handler
+   * proxy exposes on persisted Type entities.
+   */
+  readonly [InstancePhantomId]?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields> & {
+    readonly [KindId]: K$1;
+  } & (K$1 extends EntityKind.Type ? {
+    readonly [SchemaKindId]: EntityKind.Type;
+    readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  } : {});
+}
+//#endregion
+//#region ../echo/dist/types/src/internal/Entity/type-kind.d.ts
+/**
+ * Type-kind schema marker — produced by {@link EchoTypeKindSchema}.
+ *
+ * Distinguishes meta-schemas (entities of `EntityKind.Type`, such as the
+ * built-in `Type.Type` TypeSchema) from object and relation types.
+ */
+type EchoTypeKindSchema<Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields> = EchoTypeSchema<Self, {}, EntityKind.Type, Fields>;
+/**
+ * Pipeable that brands a schema as a type-kind ECHO entity. Mirrors
+ * {@link EchoObjectSchema} / {@link EchoRelationSchema}, but stamps the
+ * resulting entity with `[SchemaKindId]: EntityKind.Type` and a matching
+ * `TypeAnnotation.kind = 'type'` so meta-schemas surface uniformly through
+ * `Type.isTypeKindSchema`, `Filter.type`, etc.
+ */
+declare const EchoTypeKindSchema: {
+  (dxn: DXN): <Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields>(self: Self & {
+    fields?: Fields;
+  }) => EchoTypeKindSchema<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> {}
+/**
+ * Effect Schema for any ECHO entity (object or relation).
+ *
+ * Kind-agnostic counterpart to `Obj.Unknown` / `Relation.Unknown` — validates
+ * the structural shape (id + properties) without constraining `[KindId]`. Used
+ * in operation input schemas that accept any entity flavour (e.g.
+ * `Schema.Array(Entity.Unknown)`).
+ *
+ * The cast bridges the runtime structural schema to the branded `Unknown` type:
+ * `[KindId]` is a symbol brand that can't be expressed in a runtime `Struct`,
+ * so the entity guarantee is carried at the type level only (same approach as
+ * `Obj.Unknown` / `Relation.Unknown`). Unlike those, this is kind-agnostic so it
+ * isn't an `UnknownTypeSchema<_, K>` (there's no single `K`) and carries no
+ * `TypeAnnotation`.
+ */
+declare const Unknown: Schema<Unknown>;
+//#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;
+/**
+ * Hidden slot on a static `Type.Type` entity that holds the source Effect
+ * Schema. `Type.getSchema(...)` reads this for static types; persisted types
+ * rebuild from `jsonSchema` instead. Stored as a string key for declaration
+ * portability (see KindId comment above).
+ */
+declare const StaticTypeSchemaSlot: '~@dxos/echo/Type.StaticSchema';
+type StaticTypeSchemaSlot = typeof StaticTypeSchemaSlot;
+/**
+ * Phantom string key on `Type<A>` entities that carries the instance type `A`.
+ * Lets internal helpers (`makeObject`, `createObject`, etc.) pattern-match the
+ * instance type from an entity input without importing from the top-level
+ * `Type` module. Mirrors `Type.InstancePhantomId` (declared in `Type.ts`).
+ *
+ * Stored as a string key so declarations remain portable across packages
+ * (see KindId comment above).
+ */
+declare const InstancePhantomId: '~@dxos/echo/Type.Instance';
+type InstancePhantomId = typeof InstancePhantomId;
+/**
+ * Nominal brand carried by the well-known "any object" / "any relation"
+ * schemas (`Obj.Unknown`, `Relation.Unknown`). The brand lets `Ref.Ref`,
+ * `Filter.type`, and `Query.type` accept these schemas in addition to
+ * `Type.Type` entities, without opening the door to arbitrary raw schemas.
+ *
+ * Stored as a string key so declarations remain portable across packages
+ * (see KindId comment above).
+ */
+declare const UnknownTypeSchemaBrandId: '~@dxos/echo/UnknownTypeSchemaBrand';
+type UnknownTypeSchemaBrandId = typeof UnknownTypeSchemaBrandId;
+/**
+ * Schema-side companion to `Type.Type` entities for the "any object" /
+ * "any relation" cases. Branded so `Ref.Ref` / `Filter.type` / `Query.type`
+ * can pattern-match on it; arbitrary `Schema.Schema` values do not satisfy
+ * this shape.
+ */
+interface UnknownTypeSchema<A$1, K$1 extends EntityKind> extends Schema<A$1, any, never> {
+  readonly [UnknownTypeSchemaBrandId]: K$1;
+}
+/**
+ * Kinds of entities stored in ECHO: objects, relations, and types.
+ */
+declare enum EntityKind {
+  Object = "object",
+  Relation = "relation",
+  Type = "type",
+}
 //#endregion
 //#region src/query-lite/query-lite.d.ts
 declare const Order2: typeof Order_d_exports;