@dxos/echo-query 0.9.1-main.c7dcc2e112 → 0.10.0

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

@@ -4710,7 +4710,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.21.3/node_modules/effect/dist/dts/Arbitrary.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Arbitrary.d.ts
 /**
  * @category model
  * @since 3.10.0
@@ -4755,7 +4755,7 @@ interface DateConstraints {
   readonly constraints: DateConstraints$1;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Types.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Types.d.ts
 /**
  * A utility type that transforms a union type `T` into an intersection type.
  *
@@ -4846,7 +4846,7 @@ declare namespace Contravariant {
   type Type<A$1> = A$1 extends Contravariant<infer U> ? U : never;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Equivalence.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Equivalence.d.ts
 /**
  * @category type class
  * @since 2.0.0
@@ -4855,7 +4855,7 @@ interface Equivalence<in A$1> {
   (self: A$1, that: A$1): boolean;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Hash.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Hash.d.ts
 /**
  * @since 2.0.0
  * @category models
@@ -4864,7 +4864,7 @@ interface Hash {
   [symbol](): number;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Equal.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Equal.d.ts
 /**
  * @since 2.0.0
  * @category models
@@ -4873,7 +4873,7 @@ interface Equal extends Hash {
   [symbol](that: Equal): boolean;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Pipeable.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Pipeable.d.ts
 /**
  * @since 2.0.0
  * @category Models
@@ -4903,7 +4903,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.21.3/node_modules/effect/dist/dts/Unify.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Unify.d.ts
 /**
  * @since 2.0.0
  */
@@ -4932,7 +4932,7 @@ declare const ignoreSymbol: unique symbol;
  */
 type ignoreSymbol = typeof ignoreSymbol;
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Utils.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Utils.d.ts
 /**
  * @since 3.0.6
  */
@@ -4949,7 +4949,7 @@ declare class YieldWrap<T$1> {
   [YieldWrapTypeId](): T$1;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Option.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/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
@@ -5050,7 +5050,7 @@ declare namespace Option {
  */
 interface OptionUnifyIgnore {}
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Context.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Context.d.ts
 /**
  * @since 2.0.0
  * @category symbol
@@ -5175,7 +5175,7 @@ interface Context$3<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.21.3/node_modules/effect/dist/dts/FiberId.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/FiberId.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5227,7 +5227,7 @@ interface Composite$1 extends Equal, Inspectable {
   readonly right: FiberId;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Sink.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Sink.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5283,7 +5283,7 @@ declare namespace Sink {
   }
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/STM.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/STM.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5402,7 +5402,7 @@ declare namespace STM {
   }
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Stream.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Stream.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5515,7 +5515,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.21.3/node_modules/effect/dist/dts/Channel.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Channel.d.ts
 /**
  * @since 2.0.0
  * @category symbols
@@ -5609,7 +5609,7 @@ declare namespace Channel {
   }
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Cause.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Cause.d.ts
 /**
  * A unique symbol identifying the `Cause` type.
  *
@@ -5910,7 +5910,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.21.3/node_modules/effect/dist/dts/Effect.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Effect.d.ts
 /**
  * @since 2.0.0
  * @category Symbols
@@ -6140,7 +6140,7 @@ declare const Tag$1: <const Id$1 extends string>(id: Id$1) => <Self, Type$6 exte
   use: <X>(body: (_: Type$6) => X) => [X] extends [Effect$1<infer A, infer E, infer R>] ? Effect$1<A, E, R | Self> : [X] extends [PromiseLike<infer A>] ? Effect$1<A, UnknownException, Self> : Effect$1<X, never, Self>;
 };
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Inspectable.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Inspectable.d.ts
 /**
  * @since 2.0.0
  * @category models
@@ -6151,7 +6151,7 @@ interface Inspectable {
   [NodeInspectSymbol](): unknown;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Either.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Either.d.ts
 /**
  * @category models
  * @since 2.0.0
@@ -6229,7 +6229,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.21.3/node_modules/effect/dist/dts/Array.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Array.d.ts
 /**
  * @category models
  * @since 2.0.0
@@ -6241,7 +6241,7 @@ 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.21.3/node_modules/effect/dist/dts/SchemaAST.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/SchemaAST.d.ts
 /**
  * @category model
  * @since 3.10.0
@@ -7053,7 +7053,7 @@ declare class TypeLiteralTransformation {
   constructor(propertySignatureTransformations: ReadonlyArray<PropertySignatureTransformation$1>);
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/ParseResult.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/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.
  *
@@ -7225,7 +7225,7 @@ declare class Forbidden {
   constructor(ast: AST, actual: unknown, message?: string | undefined);
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/effect@3.21.3/node_modules/effect/dist/dts/Pretty.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Pretty.d.ts
 /**
  * @category model
  * @since 3.10.0
@@ -7239,7 +7239,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.21.3/node_modules/effect/dist/dts/Schema.d.ts
+//#region ../../../../node_modules/.pnpm/effect@3.21.4/node_modules/effect/dist/dts/Schema.d.ts
 /**
  * @since 3.10.0
  */
@@ -7410,7 +7410,7 @@ declare const Unknown_base: SchemaClass<unknown, unknown, never>;
  * @category primitives
  * @since 3.10.0
  */
-declare class Unknown$3 extends Unknown_base {}
+declare class Unknown$4 extends Unknown_base {}
 declare const Any_base: SchemaClass<any, any, never>;
 /**
  * @category primitives
@@ -8187,7 +8187,7 @@ declare const FilterObject: Schema<FilterObject>;
 declare const FilterCompare_: Struct<{
   type: Literal<["compare"]>;
   operator: Literal<["eq", "neq", "gt", "gte", "lt", "lte"]>;
-  value: typeof Unknown$3;
+  value: typeof Unknown$4;
 }>;
 interface FilterCompare extends Schema.Type<typeof FilterCompare_> {}
 declare const FilterCompare: Schema<FilterCompare>;
@@ -8542,67 +8542,7 @@ declare const Scope: Union<[TaggedStruct<"space", {
 }>]>;
 type Scope = Schema.Type<typeof Scope>;
 //#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$1: '~@dxos/echo/Kind';
-type KindId$1 = typeof KindId$1;
-/**
- * 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$1: '~@dxos/echo/Type.Instance';
-type InstancePhantomId$1 = typeof InstancePhantomId$1;
-/**
- * Nominal brand carried by the well-known "any object" / "any relation"
- * schemas (`Obj.Unknown`, `Relation.Unknown`). The brand lets `Ref.Ref`,
- * `Filter.type`, and `Query.type` accept these schemas in addition to
- * `Type.Type` entities, without opening the door to arbitrary raw schemas.
- *
- * Stored as a string key so declarations remain portable across packages
- * (see KindId comment above).
- */
-declare const UnknownTypeSchemaBrandId: '~@dxos/echo/UnknownTypeSchemaBrand';
-type UnknownTypeSchemaBrandId = typeof UnknownTypeSchemaBrandId;
-/**
- * Schema-side companion to `Type.Type` entities for the "any object" /
- * "any relation" cases. Branded so `Ref.Ref` / `Filter.type` / `Query.type`
- * can pattern-match on it; arbitrary `Schema.Schema` values do not satisfy
- * this shape.
- */
-interface UnknownTypeSchema<A$1, K$1 extends EntityKind> extends Schema<A$1, any, never> {
-  readonly [UnknownTypeSchemaBrandId]: K$1;
-}
-/**
- * Kinds of entities stored in ECHO: objects, relations, and types.
- */
-declare enum EntityKind {
-  Object = "object",
-  Relation = "relation",
-  Type = "type",
-}
-//#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_c6b09d1bd6f76cb9fa1ec87ff9f87185/node_modules/@effect-atom/atom/dist/dts/Result.d.ts
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Result.d.ts
 type TypeId$4 = "~effect-atom/atom/Result";
 declare const TypeId$4: TypeId$4;
 /**
@@ -8661,7 +8601,7 @@ interface Failure$1<A$1, E$1 = never> extends Result.Proto<A$1, E$1> {
   readonly previousSuccess: Option<Success$1<A$1, E$1>>;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_c6b09d1bd6f76cb9fa1ec87ff9f87185/node_modules/@effect-atom/atom/dist/dts/Registry.d.ts
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Registry.d.ts
 declare const TypeId$3: TypeId$3;
 type TypeId$3 = "~effect-atom/atom/Registry";
 /**
@@ -8702,7 +8642,7 @@ interface Node<A$1> {
  * @category constructors
  */
 //#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_c6b09d1bd6f76cb9fa1ec87ff9f87185/node_modules/@effect-atom/atom/dist/dts/Atom.d.ts
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/Atom.d.ts
 declare const TypeId$2: TypeId$2;
 type TypeId$2 = "~effect-atom/atom/Atom";
 /**
@@ -9065,1711 +9005,1846 @@ interface ReadOnlyEvent<T$1 = void> {
   debounce(timeout?: number): Event$1<void>;
 }
 //#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_c6b09d1bd6f76cb9fa1ec87ff9f87185/node_modules/@effect-atom/atom/dist/dts/AtomHttpApi.d.ts
-declare global {
-  interface ErrorConstructor {
-    stackTraceLimit: number;
-  }
+//#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$1: '~@dxos/echo/Kind';
+type KindId$1 = typeof KindId$1;
+/**
+ * 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$1: '~@dxos/echo/Type.Instance';
+type InstancePhantomId$1 = typeof InstancePhantomId$1;
+/**
+ * Nominal brand carried by the well-known "any object" / "any relation"
+ * schemas (`Obj.Unknown`, `Relation.Unknown`). The brand lets `Ref.Ref`,
+ * `Filter.type`, and `Query.type` accept these schemas in addition to
+ * `Type.Type` entities, without opening the door to arbitrary raw schemas.
+ *
+ * Stored as a string key so declarations remain portable across packages
+ * (see KindId comment above).
+ */
+declare const UnknownTypeSchemaBrandId: '~@dxos/echo/UnknownTypeSchemaBrand';
+type UnknownTypeSchemaBrandId = typeof UnknownTypeSchemaBrandId;
+/**
+ * Schema-side companion to `Type.Type` entities for the "any object" /
+ * "any relation" cases. Branded so `Ref.Ref` / `Filter.type` / `Query.type`
+ * can pattern-match on it; arbitrary `Schema.Schema` values do not satisfy
+ * this shape.
+ */
+interface UnknownTypeSchema<A$1, K$1 extends EntityKind> extends Schema<A$1, any, never> {
+  readonly [UnknownTypeSchemaBrandId]: K$1;
 }
 /**
- * @since 1.0.0
- * @category Constructors
+ * Kinds of entities stored in ECHO: objects, relations, and types.
  */
-//#endregion
-//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_c6b09d1bd6f76cb9fa1ec87ff9f87185/node_modules/@effect-atom/atom/dist/dts/AtomRpc.d.ts
-declare global {
-  interface ErrorConstructor {
-    stackTraceLimit: number;
-  }
+declare enum EntityKind {
+  Object = "object",
+  Relation = "relation",
+  Type = "type",
 }
+//#endregion
+//#region ../echo/dist/types/src/Relation.d.ts
+type Endpoints$1<Source$1, Target$2> = {
+  [Source$1]: Source$1;
+  [Target$2]: Target$2;
+};
 /**
- * @since 1.0.0
- * @category Constructors
+ * Base type for all ECHO relations.
+ * @private
+ */
+interface BaseRelation<Source$1, Target$2> extends AnyEntity, Endpoints$1<Source$1, Target$2>, OfKind<EntityKind.Relation> {}
+/**
+ * Relation with no known properties beyond id, kind, source, and target.
+ * Use this when the relation's schema/properties are not known.
+ *
+ * NOTE: This is a TypeScript type only, not a schema.
+ * To validate that a value is an ECHO relation, use `Relation.isRelation`.
+ */
+interface Unknown$3 extends BaseRelation<Unknown$1, Unknown$1> {}
+/**
+ * Runtime Effect schema for any ECHO relation.
+ * Use for validation, parsing, or as a reference target for collections.
+ * A relation has `id`, source, and target fields plus any additional properties.
+ *
+ * NOTE: `Schema.is(Type.Relation)` does STRUCTURAL validation only (checks for `id` field).
+ * Use `Relation.isRelation()` for proper ECHO instance type guards that check the KindId brand.
+ *
+ * @example
+ * ```ts
+ * // Structural type guard (accepts any object with id field)
+ * if (Schema.is(Type.Relation)(unknownValue)) { ... }
+ *
+ * // ECHO instance type guard (checks KindId brand)
+ * if (Relation.isRelation(unknownValue)) { ... }
+ * ```
+ */
+declare const Unknown$3: UnknownTypeSchema<Unknown$3, typeof Kind.Relation>;
+/**
+ * Get relation source type.
  */
+type SourceOf<A$1> = A$1 extends Endpoints$1<infer S, infer _T> ? S : never;
+/**
+ * Get relation target type.
+ */
+type TargetOf<A$1> = A$1 extends Endpoints$1<infer _S, infer T> ? T : never;
 //#endregion
-//#region ../../../common/effect/dist/types/src/internal/json-path.d.ts
-type JsonPath = string & {
-  __JsonPath: true;
+//#region ../echo/dist/types/src/Ref.d.ts
+/**
+ * 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 Ref$1<T$1> = Ref<T$1>;
+type Unknown$2 = Ref<Unknown$1>;
+/**
+ * Factory function to create a Ref schema for the given target schema.
+ * Use this in schema definitions to declare reference fields.
+ *
+ * @example
+ * ```ts
+ * class Task extends Type.makeObject<Task>(DXN.make('com.example.type.task', '0.1.0'))(
+ *   Schema.Struct({
+ *     assignee: Ref.Ref(Person),  // Creates a Ref schema
+ *   }),
+ * ) {}
+ * ```
+ */
+declare const Ref$1: {
+  <S$1 extends AnyObj>(type: S$1): RefSchema$1<InstanceType$1<S$1> & Unknown$1>;
+  <S$1 extends AnyRelation>(type: S$1): RefSchema$1<InstanceType$1<S$1> & Unknown$3>;
+  <T$1 extends Type$1<any>>(type: T$1): RefSchema$1<InstanceType$1<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1): RefSchema$1<Schema.Type<S$1> & Unknown$1>;
 };
 /**
- * https://www.ietf.org/archive/id/draft-goessner-dispatch-jsonpath-00.html
+ * TypeScript type for a Ref schema.
+ * This is the type of the SCHEMA itself, not the runtime ref instance.
+ * For the instance type, use `Ref.Ref<T>` from the Ref module.
+ *
+ * @example
+ * ```ts
+ * // Schema type annotation (rarely needed, usually inferred):
+ * const refSchema: Ref.RefSchema<typeof Task> = Ref.Ref(Task);
+ *
+ * // Instance type annotation (use Ref.Ref instead):
+ * const refInstance: Ref.Ref<Task> = Ref.make(task);
+ * ```
  */
-declare const JsonPath: Schema<JsonPath>;
+interface RefSchema$1<T$1 extends Unknown> extends RefSchema<T$1> {}
+/**
+ * Extract reference target.
+ */
+type Target$1<R$1 extends Unknown$2> = R$1 extends Ref<infer T> ? T : never;
+/**
+ * Reference resolver.
+ */
+type Resolver = RefResolver;
 //#endregion
-//#region ../echo/dist/types/src/internal/JsonSchema/json-schema-type.d.ts
+//#region ../echo/dist/types/src/Obj.d.ts
 /**
- * Describes a schema for the JSON-schema objects stored in ECHO.
- * Contains extensions for ECHO (e.g., references).
- * Ref: https://json-schema.org/draft-07/schema
+ * Base type for all ECHO objects.
  */
-declare const _JsonSchemaType: Struct<{
-  /**
-   * Identifier for this schema.
-   * This schema might be referenced by $ref clause in other schemas.
-   */
-  $id: optional<typeof String$>;
-  /**
-   * Schema of this schema.
-   * Set to "https://json-schema.org/draft-07/schema".
-   */
-  $schema: optional<typeof String$>;
-  /**
-   * Reference to another schema.
-   */
-  $ref: optional<typeof String$>;
-  /**
-   * Comments are ignored when interpreting the schema.
-   */
-  $comment: optional<typeof String$>;
-  /**
-   * Defines whether this schema is an object schema or a relation schema.
-   */
-  entityKind: optional<Enums<typeof EntityKind>>;
-  /**
-   * Typename of this schema.
-   * Only on schema representing an ECHO object.
-   *
-   * @example 'com.example.type.my-type'
-   */
-  typename: optional<typeof String$>;
-  /**
-   * Version of this schema.
-   * Custom dialect for ECHO.
-   */
-  version: optional<typeof String$>;
-  /**
-   * Target of this relation.
-   * Only for relation schemas.
-   * The referenced schema must be an object schema.
-   */
-  relationTarget: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  /**
-   * Source of this relation.
-   * Only for relation schemas.
-   * The referenced schema must be an object schema.
-   */
-  relationSource: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  /**
-   * Title of this schema.
-   */
-  title: optional<typeof String$>;
-  /**
-   * Description of this schema.
-   */
-  description: optional<typeof String$>;
-  /**
-   * Whether this schema is read-only.
-   */
-  readOnly: optional<typeof Boolean$>;
-  /**
-   * Whether this schema is write-only.
-   */
-  writeOnly: optional<typeof Boolean$>;
-  /**
-   * Examples of instances of this schema.
-   */
-  examples: optional<Array$<typeof Any$4>>;
-  /**
-   * Default value for this schema.
-   */
-  default: optional<typeof Any$4>;
-  /**
-   * This schema only matches values that are equal to this value.
-   */
-  const: optional<typeof Any$4>;
-  /**
-   * This schema only matches one of the values in this array.
-   */
-  enum: optional<Array$<typeof Any$4>>;
-  /**
-   * Base type of the schema.
-   */
-  type: optional<Union<[Literal<["array", "boolean", "integer", "null", "number", "object", "string"]>, Array$<Literal<["array", "boolean", "integer", "null", "number", "object", "string"]>>]>>;
-  multipleOf: optional<filter<typeof Number$>>;
-  maximum: optional<typeof Number$>;
-  exclusiveMaximum: optional<typeof Number$>;
-  minimum: optional<typeof Number$>;
-  exclusiveMinimum: optional<typeof Number$>;
-  maxLength: optional<filter<typeof Number$>>;
-  /**
-   * Regex pattern for strings.
-   */
-  pattern: optional<typeof String$>;
-  /**
-   * Serialized from {@link FormatAnnotationId}.
-   */
-  format: optional<typeof String$>;
-  minLength: optional<filter<typeof Number$>>;
-  items: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, Array$<suspend<JsonSchemaType, JsonSchemaType, never>>]>>;
-  additionalItems: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, typeof Boolean$]>>;
-  maxItems: optional<filter<typeof Number$>>;
-  minItems: optional<filter<typeof Number$>>;
-  uniqueItems: optional<typeof Boolean$>;
-  contains: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  maxProperties: optional<filter<typeof Number$>>;
-  minProperties: optional<filter<typeof Number$>>;
-  required: optional<Array$<typeof String$>>;
-  /**
-   * Non-standard JSON Schema extension.
-   * Defines the order of properties in the object.
-   * The unmentioned properties are placed at the end.
-   *
-   * Related: https://github.com/json-schema/json-schema/issues/119
-   */
-  propertyOrder: optional<Array$<typeof String$>>;
-  additionalProperties: optional<Union<[suspend<JsonSchemaType, JsonSchemaType, never>, typeof Boolean$]>>;
-  properties: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  patternProperties: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  propertyNames: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  definitions: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  dependencies: optional<Record$<typeof String$, suspend<string | JsonSchemaType | readonly string[], string | JsonSchemaType | readonly string[], never>>>;
-  contentMediaType: optional<typeof String$>;
-  contentEncoding: optional<typeof String$>;
-  if: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  then: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  else: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  allOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  anyOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  oneOf: optional<Array$<suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  not: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
-  $defs: optional<Record$<typeof String$, suspend<JsonSchemaType, JsonSchemaType, never>>>;
-  currency: optional<typeof String$>;
-  reference: optional<Struct<{
-    schema: suspend<JsonSchemaType, JsonSchemaType, never>;
-    schemaVersion: optional<typeof String$>;
-    schemaObject: optional<typeof String$>;
-  }>>;
-  /**
-   * ECHO-specific annotations.
-   */
-  annotations: optional<Struct<{
-    /**
-     * Label for this schema.
-     * Mapped from {@link LabelAnnotationId}.
-     */
-    labelProp: optional<Union<[Schema<JsonPath, JsonPath, never>, Array$<Schema<JsonPath, JsonPath, never>>]>>;
-    /**
-     * Generator function for this schema.
-     * Mapped from {@link GeneratorAnnotationId}.
-     */
-    generator: optional<Union<[typeof String$, Tuple2<typeof String$, typeof Number$>]>>;
-    /**
-     * {@link PropertyMeta} annotations get serialized here.
-     */
-    meta: optional<Record$<typeof String$, typeof Any$4>>;
-    /**
-     * @deprecated
-     */
-    type: optional<Struct<{
-      typename: typeof String$;
-      version: typeof String$;
-      schemaId: optional<typeof String$>;
-    }>>;
-    /**
-     * @deprecated Superseded by `meta`.
-     */
-    annotations: optional<Record$<typeof String$, typeof Any$4>>;
-  }>>;
-  /**
-   * @deprecated Use `annotations` instead.
-   */
-  echo: optional<Struct<{
-    /**
-     * Label for this schema.
-     * Mapped from {@link LabelAnnotationId}.
-     */
-    labelProp: optional<Union<[Schema<JsonPath, JsonPath, never>, Array$<Schema<JsonPath, JsonPath, never>>]>>;
-    /**
-     * Generator function for this schema.
-     * Mapped from {@link GeneratorAnnotationId}.
-     */
-    generator: optional<Union<[typeof String$, Tuple2<typeof String$, typeof Number$>]>>;
-    /**
-     * {@link PropertyMeta} annotations get serialized here.
-     */
-    meta: optional<Record$<typeof String$, typeof Any$4>>;
-    /**
-     * @deprecated
-     */
-    type: optional<Struct<{
-      typename: typeof String$;
-      version: typeof String$;
-      schemaId: optional<typeof String$>;
-    }>>;
-    /**
-     * @deprecated Superseded by `meta`.
-     */
-    annotations: optional<Record$<typeof String$, typeof Any$4>>;
-  }>>;
-}>;
+interface BaseObj extends AnyEntity, OfKind<typeof Kind.Object> {}
 /**
- * https://json-schema.org/draft-07/schema
+ * Object type with specific properties.
  */
-interface JsonSchemaType extends Schema.Type<typeof _JsonSchemaType> {}
-declare const JsonSchemaType: Schema<JsonSchemaType>;
-//#endregion
-//#region ../echo/dist/types/src/internal/Entity/entity.d.ts
-type EchoTypeSchemaProps<T$1, ExtraFields = {}> = Simplify$1<AnyEntity & ToMutable<T$1> & ExtraFields>;
+type OfShape<Props$2> = BaseObj & Props$2;
 /**
- * Options accepted by every `Type.makeObject` / `Type.makeRelation` / type-kind
- * factory. Defaults are derived from `(typename, version)` so callers normally
- * pass nothing.
+ * Object with no known properties beyond id and kind.
+ * Use this when the object's schema/properties are not known.
+ * For objects with arbitrary properties, use `Obj.AnyProps`.
+ *
+ * NOTE: This is a TypeScript type only, not a schema.
+ * To validate that a value is an ECHO object, use `Schema.is(Type.Obj)`.
  */
-type EchoTypeOptions = {
-  /**
-   * Override the entity id stamped on the in-memory `Type.Type` value.
-   *
-   * Defaults to `EntityId.deterministic(typename, version)` — stable across processes
-   * and workerd-safe (no `crypto.getRandomValues()` at module-evaluation time).
-   * Pass an explicit id (typically `EntityId.random()`) to opt out of the
-   * deterministic default.
-   */
-  id?: EntityId;
-};
+interface Unknown$1 extends BaseObj {}
 /**
- * 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.
+ * Runtime Effect schema for any ECHO object.
+ * Use for validation, parsing, or as a reference target for collections.
  *
- * NOT a `Schema.Schema`. The underlying Effect Schema is cached on the hidden
- * `StaticTypeSchemaSlot` slot — retrieve it via `Type.getSchema(...)`.
+ * NOTE: `Schema.is(Type.Obj)` does STRUCTURAL validation only (checks for `id` field).
+ * Use `Obj.isObject()` for proper ECHO instance type guards that check the KindId brand.
+ *
+ * @example
+ * ```ts
+ * // Structural type guard (accepts any object with id field)
+ * if (Schema.is(Type.Obj)(unknownValue)) { ... }
+ *
+ * // ECHO instance type guard (checks KindId brand)
+ * if (Obj.isObject(unknownValue)) { ... }
+ *
+ * // Reference to any object type
+ * class Collection extends Type.makeObject<Collection>(DXN.make('com.example.type.collection', '0.1.0'))(
+ *   Schema.Struct({ objects: Schema.Array(Ref.Ref(Obj.Unknown)) }),
+ * ) {}
+ * ```
  */
-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$1]: EntityKind.Type;
-  /** Schema-kind brand indicating what kind of instance this type describes. */
-  readonly [SchemaKindId]: K$1;
-  /**
-   * Entity id. Always present — stamped at construction — but NOT the type's
-   * identity while in-memory: an unattached type resolves its URI to the typename
-   * DXN, switching to `echo:/<id>` only once attached to a database (see
-   * `getTypeURIFromSpecifier`, which discriminates by database attachment).
-   */
-  readonly id: EntityId;
-  /** Source Effect Schema (kept on a hidden slot for `Type.getSchema`). */
-  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
-  readonly jsonSchema: JsonSchemaType;
-  /** Struct fields for introspection. */
-  readonly fields: Fields;
-  /** Phantom — instance type produced by `Obj.make(self, ...)`. */
-  readonly _instance?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields>;
-  /**
-   * Phantom slot mirroring `Type<A>` so internal helpers (`makeObject`,
-   * `createObject`, `Ref.make`) infer the instance type uniformly whether
-   * the caller passes an `EchoTypeSchema` or a top-level `Type.Type` entity.
-   *
-   * Includes the instance-kind brand (`[KindId]`) so the phantom is assignable
-   * to the matching public-side interface in `Type.ts` (`Type.Obj` /
-   * `Type.Relation` / `Type.Type`). Each kind projects identity: instances of
-   * an object-kind schema are object-kind entities, type-kind schemas produce
-   * type-kind (persisted Type.Type) entities — the latter additionally carry
-   * the `[SchemaKindId]` / `[StaticTypeSchemaSlot]` brands the echo-handler
-   * proxy exposes on persisted Type entities.
+declare const Unknown$1: UnknownTypeSchema<Unknown$1, typeof Kind.Object>;
+declare namespace Filter_d_exports {
+  export { Any$3 as Any, ChildOfOptions, Filter, KeyFilterOptions, Props$1 as Props, TextSearchOptions, Type$3 as Type, and, between, childOf, contains, created$1 as created, eq, everything, foreignKeys, fromAst$1 as fromAst, gt, gte, id, in$ as in, is$1 as is, key$1 as key, lt, lte, neq, not, nothing, or, pretty$1 as pretty, props, tag, text, toPredicate, type$2 as type, updated$1 as updated };
+}
+interface Filter<T$1> {
+  '~Filter': {
+    value: Covariant<T$1>;
+  };
+  'ast': Filter$1;
+}
+type Props$1<T$1> = { [K in keyof T$1 & string]?: Filter<T$1[K]> | T$1[K] };
+type Any$3 = Filter<any>;
+type Type$3<F extends Any$3> = F extends Filter<infer T> ? T : never;
+declare class FilterClass implements Any$3 {
+  readonly ast: Filter$1;
+  private static 'variance';
+  constructor(ast: Filter$1);
+  '~Filter': {
+    value: Covariant<any>;
+  };
+}
+declare const is$1: (value: unknown) => value is Any$3;
+/** Construct a filter from an ast. */
+declare const fromAst$1: (ast: Filter$1) => Any$3;
+/**
+ * Filter that matches all objects.
+ */
+declare const everything: () => FilterClass;
+/**
+ * Filter that matches no objects.
+ */
+declare const nothing: () => FilterClass;
+declare const id: (...ids: EntityId[]) => Any$3;
+/**
+ * Filter by type.
+ *
+ * Accepts a `Type.Type` entity (the value produced by `Type.makeObject` /
+ * `Type.makeRelation`), a `Schema.Union` of such entities (for filtering across a
+ * union of ECHO types), or a fully-qualified type URI — an `echo:` EID (stored schema)
+ * or a `dxn:` DXN (static schema). To filter by a bare typename, wrap it: `DXN.make(typename)`.
+ */
+declare const type$2: {
+  <T$1 extends AnyEntity$1>(type: T$1, props?: Props$1<InstanceType$1<T$1>>): Filter<InstanceType$1<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
+  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
+  (uri: URI, props?: Props$1<unknown>): Filter<any>;
+  (input: AnyEntity$1 | URI, props?: Props$1<unknown>): Filter<unknown>;
+};
+/**
+ * Filter by tag.
+ */
+declare const tag: (tag: string) => Any$3;
+/**
+ * Options for {@link key} filter.
+ */
+type KeyFilterOptions = {
+  /**
+   * 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).
    */
-  readonly [InstancePhantomId$1]?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields> & {
-    readonly [KindId$1]: K$1;
-  } & (K$1 extends EntityKind.Type ? {
-    readonly [SchemaKindId]: EntityKind.Type;
-    readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
-  } : {});
-}
-//#endregion
-//#region ../echo/dist/types/src/internal/Entity/type-kind.d.ts
+  version?: string;
+};
 /**
- * Type-kind schema marker — produced by {@link EchoTypeKindSchema}.
+ * Filter by registry key stored in object meta.
  *
- * Distinguishes meta-schemas (entities of `EntityKind.Type`, such as the
- * built-in `Type.Type` TypeSchema) from object and relation types.
+ * @example
+ * ```ts
+ * Filter.key('org.example.type.foo');
+ * Filter.key('org.example.type.foo', { version: '^1.2.3' });
+ * ```
  */
-type EchoTypeKindSchema<Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields> = EchoTypeSchema<Self, {}, EntityKind.Type, Fields>;
+declare const key$1: (key: string, options?: KeyFilterOptions) => Any$3;
 /**
- * Pipeable that brands a schema as a type-kind ECHO entity. Mirrors
- * {@link EchoObjectSchema} / {@link EchoRelationSchema}, but stamps the
- * resulting entity with `[SchemaKindId]: EntityKind.Type` and a matching
- * `TypeAnnotation.kind = 'type'` so meta-schemas surface uniformly through
- * `Type.isTypeKind`, `Filter.type`, etc.
+ * Filter by properties.
  */
-declare const EchoTypeKindSchema: {
-  (dxn: DXN, options?: EchoTypeOptions): <Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields>(self: Self & {
-    fields?: Fields;
-  }) => EchoTypeKindSchema<Self, Fields>;
+declare const props: <T$1>(props: Props$1<T$1>) => Filter<T$1>;
+type TextSearchOptions = {
+  type?: 'full-text' | 'vector';
 };
-//#endregion
-//#region ../echo/dist/types/src/internal/Type/type-schema.d.ts
 /**
- * Raw struct backing {@link TypeSchema}. Exposed only so `TypeSchema`
- * (the TS type) can derive its data fields via `Schema.Schema.Type<typeof ...>`;
- * runtime callers should use {@link TypeSchema} (the piped, branded entity).
- *
- * `typename` and `version` are NOT data fields — they live in `EntityMeta.key` /
- * `EntityMeta.version` (the canonical registry-provenance pair, queryable via
- * `Filter.key(...)`). The same `jsonSchema` payload also embeds them so a
- * standalone JSON-Schema export remains self-describing, but the schema-registry
- * reads/writes them through meta.
+ * Full-text or vector search.
  */
-declare const TypeSchemaStruct: Struct<{
-  name: optional<typeof String$>;
-  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
-}>;
+declare const text: (text: string, options?: TextSearchOptions) => Any$3;
 /**
- * Persistent representation of a schema.
+ * Filter by foreign keys.
  */
-declare const TypeSchema: EchoTypeKindSchema<Struct<{
-  name: optional<typeof String$>;
-  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
-}>, Readonly<{
-  name: optional<typeof String$>;
-  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
-}>>;
+declare const foreignKeys: <S$1 extends AnyEntity$1 | URI>(schema: S$1, keys: ForeignKey[]) => Filter<S$1 extends AnyEntity$1 ? InstanceType$1<S$1> : unknown>;
 /**
- * Persistent representation of a schema — the runtime shape that
- * `db.addType(Type.makeObjectFromJsonSchema(...))` produces
- * and `Filter.type(Type.Type).run()` returns.
- *
- * Structurally identical to a static `Type.Type` entity: the entity-handler's
- * `get` trap exposes `[SchemaKindId]` (derived from `system.kind` and
- * `data.jsonSchema.entityKind`) and rebuilds `[StaticTypeSchemaSlot]` lazily
- * from `jsonSchema`, so a persisted instance satisfies the public `Type<A>`
- * interface without casting.
+ * Predicate for property to be equal to the provided value.
  */
-type TypeSchema = Schema.Type<typeof TypeSchemaStruct> & {
-  /** Object identifier — injected by `EchoTypeKindSchema` and stamped at construction. */
-  readonly id: string;
-  /** Entity-kind discriminator (object/relation/type) carried on every entity instance. */
-  readonly [KindId$1]: EntityKind.Type;
-  /** Kind of schema described by this meta-instance — always `EntityKind.Type` for `Type.Type` itself. */
-  readonly [SchemaKindId]: EntityKind.Type;
-  /** Effect Schema rebuilt lazily from `jsonSchema`; satisfies `Type.getSchema(...)` without an extra cast. */
-  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+declare const eq: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be not equal to the provided value.
+ */
+declare const neq: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be greater than the provided value.
+ */
+declare const gt: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be greater than or equal to the provided value.
+ */
+declare const gte: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be less than the provided value.
+ */
+declare const lt: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be less than or equal to the provided value.
+ */
+declare const lte: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+/**
+ * Predicate for property to be in the provided array.
+ * @param values - Values to check against.
+ */
+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.
+ */
+declare const contains: <T$1>(value: T$1) => Filter<readonly T$1[] | undefined>;
+/**
+ * Predicate for property to be in the provided range.
+ * @param from - Start of the range (inclusive).
+ * @param to - End of the range (exclusive).
+ */
+declare const between: <T$1>(from: T$1, to: T$1) => Filter<T$1>;
+type TimeRange = {
+  after?: Date | number;
+  before?: Date | number;
 };
-//#endregion
-//#region ../echo/dist/types/src/Relation.d.ts
-type Endpoints$1<Source$1, Target$2> = {
-  [Source$1]: Source$1;
-  [Target$2]: Target$2;
+/**
+ * Filter objects by updatedAt timestamp.
+ */
+declare const updated$1: (range: TimeRange) => Any$3;
+/**
+ * Filter objects by createdAt timestamp.
+ */
+declare const created$1: (range: TimeRange) => Any$3;
+type ChildOfOptions = {
+  /** Whether to match transitively (grandchildren, etc.). Defaults to true. */
+  transitive?: boolean;
 };
 /**
- * Get relation source type.
+ * 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.
  */
-type SourceOf<A$1> = A$1 extends Endpoints$1<infer S, infer _T> ? S : never;
+declare const childOf: (parents: Unknown$1 | Unknown$2 | readonly (Unknown$1 | Unknown$2)[], options?: ChildOfOptions) => Any$3;
 /**
- * Get relation target type.
+ * Negate the filter.
  */
-type TargetOf<A$1> = A$1 extends Endpoints$1<infer _S, infer T> ? T : never;
-//#endregion
-//#region ../echo/dist/types/src/Type.d.ts
+declare const not: <F extends Any$3>(filter: F) => Filter<Type$3<F>>;
 /**
- * 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.
+ * Combine filters with a logical AND.
  */
-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$1]: 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: EntityId;
-  readonly name?: string;
-  readonly jsonSchema: JsonSchemaType;
-  readonly [InstancePhantomId]?: A$1;
-}
+declare const and: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$3<Filters[number]>>;
 /**
- * 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>;
- * ```
+ * Combine filters with a logical OR.
  */
-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;
-}
+declare const or: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$3<Filters[number]>>;
 /**
- * Type that represents any ECHO object type — a `Type.Type` entity branded
- * with the object entity kind, i.e. what `Type.makeObject(dxn)` produces.
+ * Returns a human-readable string representation of a Filter AST.
  */
-type AnyObj = Obj$1<unknown>;
+declare const pretty$1: (filter: Any$3) => string;
 /**
- * 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)`.
+ * Create a predicate from a filter.
  */
-declare const Type$3: Type$3<TypeSchema>;
+declare const toPredicate: {
+  <T$1 extends Unknown>(filter: Filter<T$1>): (entity: Unknown) => entity is T$1;
+  <T$1 extends Unknown>(entity: Unknown, filter: Filter<T$1>): entity is T$1;
+};
+//#endregion
+//#region ../echo/dist/types/src/Collection.d.ts
+declare const Collection_base: ObjClass<Collection, {
+  readonly name?: string | undefined;
+  readonly objects: readonly Ref<Unknown$1>[];
+}, {}>;
 /**
- * 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.
+ * A an ordered set of objects.
  */
-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;
+declare class Collection extends Collection_base {}
+//#endregion
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/AtomHttpApi.d.ts
+declare global {
+  interface ErrorConstructor {
+    stackTraceLimit: number;
+  }
 }
 /**
- * Type that represents any ECHO relation type — a `Type.Type` entity branded
- * with the relation entity kind, i.e. what `Type.makeRelation(...)` produces.
+ * @since 1.0.0
+ * @category Constructors
  */
-type AnyRelation = Relation<unknown, unknown, unknown>;
+//#endregion
+//#region ../../../../node_modules/.pnpm/@effect-atom+atom@0.5.3_patch_hash=90a97dcb5aa93197ad34b41c932b405a7ba98679af6885de637f_8e9863696f10bf243333e2648ae3a1f9/node_modules/@effect-atom/atom/dist/dts/AtomRpc.d.ts
+declare global {
+  interface ErrorConstructor {
+    stackTraceLimit: number;
+  }
+}
 /**
- * Type that represents any ECHO type-kind entity — a `Type.Type` meta-schema
- * value (static `Type.Type` or a persisted draft from `db.addType(...)`).
- * Mirrors {@link AnyObj} / {@link AnyRelation} for the third sibling kind.
+ * @since 1.0.0
+ * @category Constructors
  */
-type AnyType = Type$3<unknown>;
+//#endregion
+//#region ../../../common/effect/dist/types/src/internal/json-path.d.ts
+type JsonPath = string & {
+  __JsonPath: true;
+};
 /**
- * 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`.
+ * https://www.ietf.org/archive/id/draft-goessner-dispatch-jsonpath-00.html
  */
-type AnyEntity$1 = AnyObj | AnyRelation | AnyType;
+declare const JsonPath: Schema<JsonPath>;
+//#endregion
+//#region ../echo/dist/types/src/View.d.ts
+declare const View_base: ObjClass<View, {
+  readonly query: {
+    readonly raw?: string | undefined;
+    readonly ast: QueryFilterClause | QueryFromClause | QueryHierarchyTraversalClause | QueryIncomingReferencesClause | QueryLimitClause | QueryOptionsClause | QueryOrderClause | QueryReferenceTraversalClause | QueryRelationClause | QueryRelationTraversalClause | QuerySelectClause | QuerySetDifferenceClause | QueryUnionClause;
+  };
+  readonly projection: {
+    readonly schema?: JsonSchemaType | undefined;
+    readonly fields: readonly {
+      readonly id: string;
+      readonly path: JsonPath;
+      readonly visible?: boolean | undefined;
+      readonly referencePath?: JsonPath | undefined;
+    }[];
+    readonly pivotFieldId?: string | undefined;
+  };
+}, {}>;
 /**
- * String key used to phantom-carry the instance type produced by a `Type.Type`.
- * Used by `Type.InstanceType<typeof Foo>` to recover the schema instance type
- * since `Type.makeObject(dxn)` does not return a `Schema.Schema`.
- *
- * Re-exported from the internal types layer so both `Type.ts` and internal
- * helpers (`makeObject`, `createObject`) reference the same phantom key.
+ * Views are generated or user-defined projections of a schema's properties.
+ * They are used to configure the visual representation of the data.
  */
-declare const InstancePhantomId: "~@dxos/echo/Type.Instance";
-type InstancePhantomId = InstancePhantomId$1;
+declare class View extends View_base {}
+//#endregion
+//#region ../echo/dist/types/src/Dataset.d.ts
 /**
- * Sibling of {@link Obj} / {@link Relation} for the third ECHO entity kind:
- * **type-kind** entities (meta-schemas). The singleton {@link Type} const is
- * the canonical example — it describes stored type definitions themselves.
- *
- * Not a `Schema.Schema`. Use `Type.getSchema(value)` to obtain the underlying
- * Effect Schema and `Type.update(value, draft => ...)` to mutate.
- *
- * `A` is the instance-type phantom — what `Obj.make(value, ...)` would produce.
- * Merged with the `Type` const value via TypeScript declaration merging.
+ * Abstract set of objects, represented by a view, feed, or collection.
+ * Schema-level union of the underlying type entities (rebuilt via
+ * `Type.getSchema`) so this can still be consumed by Schema-side APIs such
+ * as `Filter.type(...)` on a union.
  */
-interface Type$3<A$1 = unknown> extends BaseTypeEntity<A$1 & OfKind<typeof Kind.Type>> {
-  /** Schema-kind brand (type — the meta-schema kind). */
-  readonly [SchemaKindId]: EntityKind.Type;
-  /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
-  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+type Dataset = Feed | Collection | View;
+declare const Dataset: Union<[Schema<Feed & OfKind<EntityKind.Object>, Feed & OfKind<EntityKind.Object>, never>, Schema<Collection & OfKind<EntityKind.Object>, Collection & OfKind<EntityKind.Object>, never>, Schema<View & OfKind<EntityKind.Object>, View & OfKind<EntityKind.Object>, never>]>;
+declare namespace Order_d_exports {
+  export { Any$2 as Any, Order, created, natural, property, rank, updated };
 }
+interface Order<T$1> {
+  '~Order': {
+    value: T$1;
+  };
+  'ast': Order$1;
+}
+type Any$2 = Order<any>;
+declare const natural: Order<any>;
+declare const property: <T$1>(property: keyof T$1 & string, direction: OrderDirection) => Order<T$1>;
 /**
- * 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>`
+ * Order by relevance rank (for FTS/vector search results).
+ * Higher rank = better match. Default direction is 'desc' (best matches first).
  */
-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$3<infer A> ? A & OfKind<typeof Kind.Type> : never;
-//#endregion
-//#region ../echo/dist/types/src/internal/Ref/ref.d.ts
-declare const RefTypeId: unique symbol;
+declare const rank: <T$1>(direction?: OrderDirection) => Order<T$1>;
 /**
- * Reference Schema.
+ * Order by the system `updatedAt` timestamp (last re-indexed). Default direction is 'desc'
+ * (most-recently-updated first). Mirrors {@link Filter.updated}.
  */
-interface RefSchema$1<T$1 extends AnyEntity> extends SchemaClass<Ref<T$1>, EncodedReference> {}
+declare const updated: <T$1>(direction?: OrderDirection) => Order<T$1>;
 /**
- * Type of the `Ref` function and extra methods attached to it.
+ * Order by the system `createdAt` timestamp (first indexed). Default direction is 'desc'
+ * (most-recently-created first). Mirrors {@link Filter.created}.
  */
-interface RefFn {
-  <S$1 extends AnyEntity$1 | UnknownTypeSchema<any, any> = AnyEntity$1>(schema: S$1): RefSchema$1<S$1 extends AnyType ? AnyEntity$1 : S$1 extends AnyObj | AnyRelation ? InstanceType$1<S$1> : S$1 extends UnknownTypeSchema<infer A, any> ? A : never>;
-  /**
-   * @returns True if the object is a reference.
-   */
-  isRef: (obj: unknown) => obj is Ref<any>;
-  /**
-   * @returns True if the reference points to the given object id.
-   */
-  hasEntityId: (id: EntityId) => (ref: Ref<any>) => boolean;
-  /**
-   * @returns True if the schema is a reference schema.
-   */
-  isRefSchema: (schema: Schema<any, any>) => schema is RefSchema$1<any>;
-  /**
-   * @returns True if the schema AST is a reference schema.
-   */
-  isRefSchemaAST: (ast: AST) => boolean;
-  /**
-   * Constructs a reference that points to the given object.
-   */
-  make: <T$1 extends AnyEntity>(object: T$1) => Ref<T$1>;
-  /**
-   * Constructs a reference that points to the object specified by the provided URI
-   * (either an `echo:` EID for an object reference or a `dxn:` DXN for a type reference).
-   */
-  fromURI: (uri: URI) => Ref<any>;
+declare const created: <T$1>(direction?: OrderDirection) => Order<T$1>;
+declare namespace Query_d_exports {
+  export { Any$1 as Any, Query, Type$2 as Type, all, from, fromAst, is, pretty, select, type$1 as type, without };
 }
 /**
- * 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.
+ * All property paths inside T that are references.
  */
-interface Ref<T$1> extends Pipeable {
-  /**
-   * Target URI (either an `echo:` EID for an object reference or a `dxn:` DXN for a type reference).
-   */
-  get uri(): URI;
+type RefPropKey<T$1> = keyof T$1 & string;
+type RefArrayElement<A$1> = A$1 extends readonly (infer E)[] ? E : A$1 extends (infer E)[] ? E : never;
+/** Target entity when traversing an outgoing ref or array-of-refs property. */
+type ReferenceTraversalTarget<P$1> = P$1 extends Unknown$2 ? Target$1<P$1> : P$1 extends Unknown$2 | undefined ? Target$1<Exclude<P$1, undefined>> : RefArrayElement<P$1> extends Unknown$2 ? Target$1<RefArrayElement<P$1>> : never;
+interface Query<T$1> {
+  '~Query': {
+    value: T$1;
+  };
+  'ast': Query$1;
   /**
-   * Returns true if the reference has a target available (inlined or resolver set).
+   * Filter the current selection based on a filter.
+   * @param filter - Filter to select the objects.
+   * @returns Query for the selected objects.
    */
-  get isAvailable(): boolean;
+  'select'(filter: Filter<T$1>): Query<T$1>;
+  'select'(props: Props$1<T$1>): Query<T$1>;
   /**
-   * @returns The reference target.
-   * May return `undefined` if the object is not loaded in the working set.
-   * Accessing this property, even if it returns `undefined` will trigger the object to be loaded to the working set.
+   * 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.
    */
-  get target(): T$1 | undefined;
+  'reference'<K$1 extends RefPropKey<T$1>>(key: K$1): Query<ReferenceTraversalTarget<T$1[K$1]>>;
   /**
-   * @returns Promise that will resolves with the target object.
-   * Will load the object from disk if it is not present in the working set.
-   * @throws If the object is not available locally.
+   * 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.
    */
-  load(): Promise<T$1>;
+  'referencedBy'<S$1 extends AnyEntity$1>(target: S$1 | URI, key: RefPropKey<InstanceType$1<S$1>>): Query<InstanceType$1<S$1>>;
+  'referencedBy'<S$1 extends AnyEntity$1>(target: S$1 | URI): Query<InstanceType$1<S$1>>;
+  'referencedBy'(): Query<any>;
   /**
-   * @returns Promise that will resolves with the target object or undefined if the object is not loaded locally.
+   * 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.
    */
-  tryLoad(): Promise<T$1 | undefined>;
+  'sourceOf'<R$1 extends AnyRelation>(relation?: R$1 | URI, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
   /**
-   * 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.
+   * Find relations where this object is the target.
+   * @returns Query for the relation objects.
+   * @param relation - Type entity of the relation.
+   * @param predicates - Predicates to filter the relation objects.
    */
-  onResolved(callback: () => void): () => void;
+  'targetOf'<R$1 extends AnyRelation>(relation?: R$1 | URI, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
   /**
-   * 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.
+   * For a query for relations, get the source objects.
+   * @returns Query for the source objects.
    */
-  noInline(): Ref<T$1>;
+  'source'(): Query<SourceOf<T$1>>;
   /**
-   * Read-only atom for the ref target.
-   * Resolves once when the target loads; does NOT subscribe to target object mutations.
-   * Use `Obj.atom(ref)` if you need reactive snapshots that update on every object mutation.
+   * For a query for relations, get the target objects.
+   * @returns Query for the target objects.
    */
-  get atom(): Atom<T$1 | undefined>;
+  'target'(): Query<TargetOf<T$1>>;
   /**
-   * Serializes the reference to a JSON object.
-   * The serialization format is compatible with the IPLD-style encoded references.
-   * When a reference has a saved target (i.e. the target or object holding the reference is not in the database),
-   * the target is included in the serialized object.
-   *
-   * Examples:
-   * `{ "/": "dxn:..." }`
-   * `{ "/": "dxn:...", "target": { ... } }`
+   * Get the parent object of the current selection.
+   * @returns Query for the parent objects.
    */
-  encode(): EncodedReference;
-  [RefTypeId]: {
-    _T: T$1;
-  };
-}
-declare namespace Ref {
+  'parent'(): Query<any>;
   /**
-   * Target of the reference.
+   * Get all child objects of the current selection.
+   * @returns Query for the child objects.
    */
-  type Target<R$1> = R$1 extends Ref<infer U> ? U : never;
-}
-/**
- * Load-source ceiling for a resolution request. Cheaper tiers are always probed first; the
- * ceiling caps how far a request is allowed to reach:
- * - `working-set`: synchronous, in-memory only. A miss settles `unavailable` immediately.
- * - `disk`: probe the working set, then local storage; never the network.
- * - `network`: probe the working set, disk, then fetch from peers.
- *
- * `unavailable` is always relative to the requested ceiling (disk-unavailable ≠ network-unavailable).
- */
-type RefSource = 'working-set' | 'disk' | 'network';
-/**
- * A stateful, closure-aware handle to an in-flight (or settled) reference resolution.
- *
- * `ready` means the entity is FULLY USABLE: its own body and its strong-dependency closure are all
- * materialized. The body-vs-closure split is internal; `requesting` transparently covers "a
- * dependency is still loading".
- */
-interface RefResolverRequest {
+  'children'(): Query<any>;
   /**
-   * `pending` is a one-way entry state (never re-entered). `requesting` means the body and/or
-   * closure is still loading. `ready` means fully usable. `unavailable` means unreachable at the
-   * requested ceiling.
+   * 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.
    */
-  readonly state: 'pending' | 'requesting' | 'ready' | 'unavailable';
+  'orderBy'(...order: NonEmptyArray<Order<T$1>>): Query<T$1>;
   /**
-   * Fires (deferred to a microtask) whenever {@link state} changes.
+   * Limit the number of results.
+   * @param limit - Maximum number of results to return.
+   * @returns Query for the limited results.
    */
-  readonly stateChanged: Event$1<void>;
+  'limit'(limit: number): Query<T$1>;
   /**
-   * Synchronous snapshot of the resolved entity; defined iff `state === 'ready'`.
+   * 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.
    */
-  getResult(): AnyProperties | undefined;
+  'from'(database: Database | Database[], options?: {
+    includeFeeds?: boolean;
+  }): Query<T$1>;
   /**
-   * Settles when `state ∈ {ready, unavailable}`.
+   * Query from selected feeds only.
+   *
+   * Example:
+   *
+   * ```ts
+   * Query.select(Filter.type(Person)).from(feed);
+   * ```
+   *
    */
-  wait(): Promise<AnyProperties | undefined>;
+  'from'(feeds: Feed | Feed[]): Query<T$1>;
   /**
-   * Decrements the refcount on the shared load op(s); cancels the underlying IO at zero.
+   * 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.
    */
-  abort(): void;
-}
-interface RefResolver {
+  'from'(allSpaces: 'all-accessible-spaces', options?: {
+    includeFeeds?: boolean;
+  }): Query<T$1>;
   /**
-   * Resolve a reference, returning a stateful handle. `source` is a required ceiling; cheaper
-   * tiers are always probed first.
+   * Query from a dataset.
+   * Currently only feeds are supported.
+   *
+   * Example:
+   *
+   * ```ts
+   * Query.type(Person).from(feed);
+   * ```
    */
-  resolve(uri: URI, options: {
-    source: RefSource;
-  }): RefResolverRequest;
+  'from'(dataset: Dataset): Query<T$1>;
   /**
-   * Resolve ref synchronously from the objects in the working set.
+   * Query from the results of another query.
    *
-   * @param uri
-   * @param load If true the resolver should attempt to load the object from disk.
-   * @param onLoad Callback to call when the object is loaded.
-   * @deprecated Use {@link resolve} with `{ source: 'working-set' }`. Removed in Task 11.
+   * Example:
+   *
+   * ```ts
+   * Query.select(Filter.props({ foo: 'foo' })).from(Query.select(Filter.type(Contact)).reference('org'));
+   * ```
    */
-  resolveSync(uri: URI, load: boolean, onLoad?: () => void): AnyProperties | undefined;
+  'from'(query: Any$1): Query<T$1>;
   /**
-   * Resolver ref asynchronously.
-   * @deprecated Use {@link resolve} with `{ source: 'network' }`. Removed in Task 11.
+   * Query from one or more raw scopes.
+   *
+   * Use the {@link Scope} constructors rather than raw tagged objects:
+   *
+   * ```ts
+   * Query.select(Filter.type(Type.Type)).from(Scope.space(), Scope.registry());
+   * ```
    */
-  resolveLegacy(uri: URI): Promise<AnyProperties | undefined>;
+  'from'(...scopes: Scope[]): Query<T$1>;
   /**
-   * @deprecated Use {@link resolve} + `Type.getSchema`. Removed in Task 11.
+   * Query from a raw scope or array of scopes.
    */
-  resolveSchema(uri: URI): Promise<Schema.AnyNoContext | undefined>;
+  'from'(scope: Scope | Scope[]): Query<T$1>;
   /**
-   * Resolve the source `Type.AnyEntity` entity for a type URI. Used by
-   * deserialization paths (`Obj.fromJSON`) to set the back-reference accessed
-   * via `Obj.getType` / `Entity.getType`. Optional — resolvers that only
-   * carry raw schemas may leave this unimplemented; the deserializer falls
-   * back to leaving the type entity unset.
-   * @deprecated Use {@link resolve}. Removed in Task 11.
+   * Add options to a query.
    */
-  resolveType?(uri: URI): Promise<unknown | undefined>;
-}
-//#endregion
-//#region ../echo/dist/types/src/Ref.d.ts
-/**
- * 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 Ref$1<T$1> = Ref<T$1>;
-type Unknown$2 = Ref<Unknown$1>;
-/**
- * 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')));
- * ```
- */
-declare const Ref$1: {
-  <S$1 extends AnyObj | AnyRelation>(type: S$1): RefSchema<InstanceType$1<S$1> & Unknown$1>;
-  <T$1 extends Type$3<any>>(type: T$1): RefSchema<InstanceType$1<T$1>>;
-  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1): RefSchema<Schema.Type<S$1> & Unknown$1>;
-};
-/**
- * TypeScript type for a Ref schema.
- * This is the type of the SCHEMA itself, not the runtime ref instance.
- * For the instance type, use `Ref.Ref<T>` from the Ref module.
- *
- * @example
- * ```ts
- * // Schema type annotation (rarely needed, usually inferred):
- * const refSchema: Ref.RefSchema<typeof Task> = Ref.Ref(Task);
- *
- * // Instance type annotation (use Ref.Ref instead):
- * const refInstance: Ref.Ref<Task> = Ref.make(task);
- * ```
- */
-interface RefSchema<T$1 extends Unknown> extends RefSchema$1<T$1> {}
-/**
- * Extract reference target.
- */
-type Target$1<R$1 extends Unknown$2> = R$1 extends Ref<infer T> ? T : never;
-/**
- * Reference resolver.
- */
-type Resolver = RefResolver;
-//#endregion
-//#region ../echo/dist/types/src/Obj.d.ts
-/**
- * Base type for all ECHO objects.
- */
-interface BaseObj extends AnyEntity, OfKind<typeof Kind.Object> {}
-/**
- * Object type with specific properties.
- */
-type OfShape<Props$2> = BaseObj & Props$2;
-/**
- * Object with no known properties beyond id and kind.
- * Use this when the object's schema/properties are not known.
- * For objects with arbitrary properties, use `Obj.AnyProps`.
- *
- * NOTE: This is a TypeScript type only, not a schema.
- * To validate that a value is an ECHO object, use `Schema.is(Type.Obj)`.
- */
-interface Unknown$1 extends BaseObj {}
-/**
- * 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')));
- * ```
- */
-declare const Unknown$1: UnknownTypeSchema<Unknown$1, typeof Kind.Object>;
-declare namespace Filter_d_exports {
-  export { Any$3 as Any, ChildOfOptions, Filter, KeyFilterOptions, Props$1 as Props, TextSearchOptions, Type$2 as Type, and, between, childOf, contains, created$1 as created, eq, everything, foreignKeys, fromAst$1 as fromAst, gt, gte, id, in$ as in, is$1 as is, key$1 as key, lt, lte, neq, not, nothing, or, pretty$1 as pretty, props, tag, text, type$2 as type, updated$1 as updated };
-}
-interface Filter<T$1> {
-  '~Filter': {
-    value: Covariant<T$1>;
-  };
-  ast: Filter$1;
-}
-type Props$1<T$1> = { [K in keyof T$1 & string]?: Filter<T$1[K]> | T$1[K] };
-type Any$3 = Filter<any>;
-type Type$2<F extends Any$3> = F extends Filter<infer T> ? T : never;
-declare class FilterClass implements Any$3 {
-  readonly ast: Filter$1;
-  private static 'variance';
-  constructor(ast: Filter$1);
-  '~Filter': {
-    value: Covariant<any>;
-  };
-}
-declare const is$1: (value: unknown) => value is Any$3;
-/** Construct a filter from an ast. */
-declare const fromAst$1: (ast: Filter$1) => Any$3;
-/**
- * Filter that matches all objects.
- */
-declare const everything: () => FilterClass;
-/**
- * Filter that matches no objects.
- */
-declare const nothing: () => FilterClass;
-declare const id: (...ids: EntityId[]) => Any$3;
-/**
- * Filter by type.
- *
- * Accepts a `Type.Type` entity (the value produced by `Type.makeObject` /
- * `Type.makeRelation`), a `Schema.Union` of such entities (for filtering across a
- * union of ECHO types), or a fully-qualified type URI — an `echo:` EID (stored schema)
- * or a `dxn:` DXN (static schema). To filter by a bare typename, wrap it: `DXN.make(typename)`.
- */
-declare const type$2: {
-  <T$1 extends AnyEntity$1>(type: T$1, props?: Props$1<InstanceType$1<T$1>>): Filter<InstanceType$1<T$1>>;
-  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
-  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, props?: Props$1<Schema.Type<S$1>>): Filter<Schema.Type<S$1>>;
-  (uri: URI, props?: Props$1<unknown>): Filter<any>;
-  (input: AnyEntity$1 | URI, props?: Props$1<unknown>): Filter<unknown>;
-};
-/**
- * Filter by tag.
- */
-declare const tag: (tag: string) => Any$3;
-/**
- * Options for {@link key} filter.
- */
-type KeyFilterOptions = {
+  'options'(options: QueryOptions): Query<T$1>;
   /**
-   * 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).
+   * Attach a diagnostic label for logs and tooling (execution semantics unchanged).
    */
-  version?: string;
-};
+  'debugLabel'(label: string): Query<T$1>;
+}
+type Any$1 = Query<any>;
+type Type$2<Q extends Any$1> = Q extends Query<infer T> ? T : never;
+declare const is: (value: unknown) => value is Any$1;
+/** Construct a query from an ast. */
+declare const fromAst: (ast: Query$1) => Any$1;
 /**
- * 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' });
- * ```
+ * Select objects based on a filter.
+ * @param filter - Filter to select the objects.
+ * @returns Query for the selected objects.
  */
-declare const key$1: (key: string, options?: KeyFilterOptions) => Any$3;
+declare const select: <F extends Any$3>(filter: F) => Query<Type$3<F>>;
 /**
- * Filter by properties.
+ * Query for objects of a given schema.
+ * @param schema - Schema of the objects.
+ * @param predicates - Predicates to filter the objects.
+ * @returns Query for the objects.
+ *
+ * Shorthand for: `Query.select(Filter.type(schema, predicates))`.
  */
-declare const props: <T$1>(props: Props$1<T$1>) => Filter<T$1>;
-type TextSearchOptions = {
-  type?: 'full-text' | 'vector';
+declare const type$1: {
+  <T$1 extends AnyEntity$1>(type: T$1, predicates?: Props$1<InstanceType$1<T$1>>): Query<InstanceType$1<T$1>>;
+  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
+  (uri: URI, predicates?: Props$1<unknown>): Query<any>;
 };
 /**
- * Full-text or vector search.
- */
-declare const text: (text: string, options?: TextSearchOptions) => Any$3;
-/**
- * Filter by foreign keys.
- */
-declare const foreignKeys: <S$1 extends AnyEntity$1 | URI>(schema: S$1, keys: ForeignKey[]) => Filter<S$1 extends AnyEntity$1 ? InstanceType$1<S$1> : unknown>;
-/**
- * Predicate for property to be equal to the provided value.
- */
-declare const eq: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be not equal to the provided value.
- */
-declare const neq: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be greater than the provided value.
- */
-declare const gt: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be greater than or equal to the provided value.
- */
-declare const gte: <T$1>(value: T$1) => Filter<T$1 | undefined>;
-/**
- * Predicate for property to be less than the provided value.
+ * Combine results of multiple queries.
+ * @param queries - Queries to combine.
+ * @returns Query for the combined results.
  */
-declare const lt: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+declare const all: (...queries: Any$1[]) => Any$1;
 /**
- * Predicate for property to be less than or equal to the provided value.
+ * Subtract one query from another.
+ * @param source - Query to subtract from.
+ * @param exclude - Query to subtract.
+ * @returns Query for the results of the source query minus the results of the exclude query.
  */
-declare const lte: <T$1>(value: T$1) => Filter<T$1 | undefined>;
+declare const without: <T$1>(source: Query<T$1>, exclude: Query<T$1>) => Query<T$1>;
 /**
- * Predicate for property to be in the provided array.
- * @param values - Values to check against.
+ * 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 in$: <T$1>(...values: T$1[]) => Filter<T$1>;
+declare const from: (...args: [(Database | Database[] | Feed | Feed[] | Any$1 | Scope | Scope[] | 'all-accessible-spaces'), {
+  includeFeeds?: boolean;
+}?] | Scope[]) => Any$1;
 /**
- * Predicate for an array property to contain the provided value.
- * @param value - Value to check against.
+ * Returns a human-readable string representation of a Query AST.
  */
-declare const contains: <T$1>(value: T$1) => Filter<readonly T$1[] | undefined>;
+declare const pretty: (query: Any$1) => string;
+//#endregion
+//#region ../echo/dist/types/src/QueryResult.d.ts
 /**
- * Predicate for property to be in the provided range.
- * @param from - Start of the range (inclusive).
- * @param to - End of the range (exclusive).
+ * Individual query result entry.
  */
-declare const between: <T$1>(from: T$1, to: T$1) => Filter<T$1>;
-type TimeRange = {
-  after?: Date | number;
-  before?: Date | number;
+type Entry$1<T$1> = {
+  id: string;
+  /**
+   * May not be present for remote results.
+   */
+  result?: T$1;
+  match?: {
+    /**
+     * Higher means better match.
+     */
+    rank: number;
+  };
+  /**
+   * Query resolution metadata.
+   */
+  resolution?: {
+    source: 'remote' | 'local' | 'index';
+    /**
+     * Query resolution time in milliseconds.
+     */
+    time: number;
+  };
 };
-/**
- * Filter objects by updatedAt timestamp.
- */
-declare const updated$1: (range: TimeRange) => Any$3;
-/**
- * Filter objects by createdAt timestamp.
- */
-declare const created$1: (range: TimeRange) => Any$3;
-type ChildOfOptions = {
-  /** Whether to match transitively (grandchildren, etc.). Defaults to true. */
-  transitive?: boolean;
+type RunOptions = {
+  timeout?: number;
+};
+type SubscriptionOptions = {
+  /**
+   * Fire the callback immediately.
+   */
+  fire?: boolean;
 };
+interface QueryResult<T$1> {
+  /**
+   * Currently available results along with their match metadata.
+   */
+  readonly entries: Entry$1<T$1>[];
+  /**
+   * Currently available results.
+   */
+  readonly results: T$1[];
+  /**
+   * Returns all known results.
+   */
+  run(opts?: RunOptions): Promise<T$1[]>;
+  /**
+   * Returns all known results along with their match metadata.
+   */
+  runEntries(opts?: RunOptions): Promise<Entry$1<T$1>[]>;
+  /**
+   * Returns currently available results synchronously.
+   */
+  runSync(): T$1[];
+  /**
+   * Returns currently available results synchronously along with their match metadata.
+   */
+  runSyncEntries(): Entry$1<T$1>[];
+  /**
+   * Returns first result.
+   */
+  first(opts?: RunOptions): Promise<T$1>;
+  /**
+   * Returns first result if there is one.
+   */
+  firstOrUndefined(opts?: RunOptions): Promise<T$1 | undefined>;
+  /**
+   * Subscribes to changes in query results.
+   */
+  subscribe(callback?: (query: QueryResult<T$1>) => void, opts?: SubscriptionOptions): CleanupFn;
+  /**
+   * Self-updating atom. Updates automatically when query results change.
+   *
+   * Memoized per QueryResult instance — repeated accesses on the same instance return the same
+   * Atom. Safe only when the QueryResult is itself held stable across re-renders (e.g. behind a
+   * `useMemo`). It must NOT be used in graph-builder connectors/actions or other atom computes,
+   * where `db.query(...)` is called fresh on each re-evaluation: every run constructs a new
+   * QueryResult and so a new atom + subscription, leaking the previous ones. Use the memoized
+   * {@link atom} family there instead.
+   */
+  readonly atom: Atom<T$1[]>;
+}
+//#endregion
+//#region ../echo/dist/types/src/Feed.d.ts
+declare const Feed_base: ObjClass<Feed, {
+  readonly name?: string | undefined;
+  readonly kind?: string | undefined;
+  readonly namespace?: "data" | "trace" | undefined;
+}, {}>;
 /**
- * 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.
+ * Runtime schema for a Feed object.
+ *
+ * @example
+ * ```ts
+ * const feed = Obj.make(Feed.Feed, { name: 'notifications', kind: 'org.dxos.plugin.notifications.v1' });
+ * ```
  */
-declare const childOf: (parents: Unknown$1 | Unknown$2 | readonly (Unknown$1 | Unknown$2)[], options?: ChildOfOptions) => Any$3;
+declare class Feed extends Feed_base {}
 /**
- * Negate the filter.
+ * Sync options for a feed.
  */
-declare const not: <F extends Any$3>(filter: F) => Filter<Type$2<F>>;
+interface SyncOptions {
+  /** Push local changes to the server. Defaults to true. */
+  shouldPush?: boolean;
+  /** Pull remote changes from the server. Defaults to true. */
+  shouldPull?: boolean;
+}
 /**
- * Combine filters with a logical AND.
+ * Queue replication backlog for a feed namespace.
+ * `0` / `0` means caught up on pull and push.
  */
-declare const and: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$2<Filters[number]>>;
+interface SyncState {
+  /** Blocks still to pull from remote. */
+  blocksToPull: number;
+  /** Unpositioned blocks still to push to remote. */
+  blocksToPush: number;
+  /** Total blocks stored locally for the feed namespace. */
+  totalBlocks: number;
+}
+//#endregion
+//#region ../echo/dist/types/src/Registry.d.ts
 /**
- * Combine filters with a logical OR.
+ * Identifier denoting an ECHO Registry.
  */
-declare const or: <Filters extends readonly Any$3[]>(...filters: Filters) => Filter<Type$2<Filters[number]>>;
+declare const TypeId$1: unique symbol;
+type TypeId$1 = typeof TypeId$1;
 /**
- * Returns a human-readable string representation of a Filter AST.
+ * Composable, in-memory registry of keyed ECHO entities.
+ *
+ * Entities are stored by id and queried via the standard ECHO Query API.
+ * A registry may delegate to an optional upstream registry: results from the local
+ * registry take precedence and upstream results fill in anything not found locally.
+ *
+ * Intended use cases include caches of schemas, operations, skills, routines, plugins,
+ * etc., sourced from 3rd-party plugins, local code, or local space objects.
+ *
+ * Types (schema-definition entities produced by `Type.makeObject` / `Type.makeRelation`) are
+ * stored the same way as any other entity — via `add()`. Use `list().filter(Type.isType)` to
+ * retrieve them.
+ *
+ * Scope: a Registry is independent of any ECHO space or Hypergraph — it is a process-local,
+ * in-memory cache. Wire one per space (e.g. as a Layer scoped to the space's Effect runtime)
+ * or share a single instance across spaces depending on the use case.
+ *
+ * The concrete implementation (and the `makeRegistry` / `registryLayer` factories) lives in
+ * `@dxos/echo-client`; this module declares only the interface so that the `@dxos/echo` API surface
+ * stays free of query-matching dependencies.
  */
-declare const pretty$1: (filter: Any$3) => string;
+interface Registry {
+  readonly [TypeId$1]: TypeId$1;
+  /**
+   * Stable per-instance identifier. Used to key process-local resources (e.g. memoized
+   * reactive atoms) to a specific registry instance, analogous to {@link Database.spaceId}.
+   */
+  readonly id: string;
+  /**
+   * Fires whenever local registry contents change (add, remove, or clear).
+   */
+  readonly changed: ReadOnlyEvent<void>;
+  /**
+   * All locally-stored entities.
+   * Does not include upstream entities — use {@link list} for that.
+   */
+  readonly local: readonly Unknown[];
+  /**
+   * Add or replace one or more entities in the local registry.
+   * Existing entries with the same id are replaced.
+   * Also indexes type entities by DXN for fast lookup.
+   */
+  add(entities: readonly Unknown[]): void;
+  /**
+   * Remove an entity by id from the local registry.
+   * @returns true if an entity was removed, false if it was not found.
+   */
+  remove(id: string): boolean;
+  /**
+   * Remove all locally-stored entities.
+   * Does not affect the upstream registry.
+   */
+  clear(): void;
+  /**
+   * Get an entity by id.
+   * Searches the local registry first, then falls back to the upstream registry.
+   */
+  get(id: string): Unknown | undefined;
+  /**
+   * Get an entity by one of its addressing URIs — a type entity by its typename DXN (or, when
+   * persisted, its identifier EID), a keyed entity by its `dxn:<key>[:<version>]`. Accepts legacy
+   * DXN forms (normalized internally). Searches the local registry first, then falls back to the
+   * upstream registry. Narrow the result with `Type.isType` when a type entity is required.
+   */
+  getByURI(uri: string): Unknown | undefined;
+  /**
+   * List all entities.
+   * Local entities take precedence over upstream entities with the same id.
+   */
+  list(): Unknown[];
+  /**
+   * Run an ECHO query against the registry's entities (implements {@link Database.Queryable}).
+   *
+   * Matching happens in-memory over {@link list}. Scope (`from`) clauses are unwrapped and
+   * ignored — a direct registry query always targets the registry's own entities. The primary
+   * way to query registry contents is still through the database (`db.query(...).from(Scope.registry())`),
+   * which fans the database and registry together; this method is for querying a registry directly.
+   *
+   * Only locally-evaluable AST nodes are supported: `select`, `filter`, `limit`, `from`, `options`,
+   * and boolean combinators. Server-side concerns (order, traversal, text/timestamp filters) throw.
+   */
+  query: QueryFn;
+}
 //#endregion
-//#region ../echo/dist/types/src/Collection.d.ts
+//#region ../echo/dist/types/src/Hypergraph.d.ts
 /**
- * A an ordered set of objects.
+ * Resolution context.
+ * Affects how non-absolute DXNs are resolved.
  */
-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/View.d.ts
+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;
+}
 /**
- * Views are generated or user-defined projections of a schema's properties.
- * They are used to configure the visual representation of the data.
+ * Manages cross-space database interactions.
  */
-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>;
+interface Hypergraph extends Queryable {
+  /**
+   * In-process registry of keyed objects and static schema types.
+   * Populated at startup via `registry.add(objects)` / `registry.add(schemas)`.
+   * Queries that include no explicit from() clause will fan out to this registry automatically.
+   */
+  get registry(): Registry;
+  /**
+   * Query objects.
+   */
+  query: QueryFn;
+  /**
+   * Creates a reference to an existing object in the database.
+   *
+   * NOTE: The reference may be dangling if the object is not present in the database.
+   * NOTE: Difference from `Ref.fromURI`
+   * `Ref.fromURI(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
+   * `db.makeRef(dxn)` is preferable in cases with access to the database.
+   */
+  makeRef<T$1 extends Unknown = Unknown>(uri: URI): Ref$1<T$1>;
+  /**
+   * Create a resolver that dereferences `Ref`s against this graph. Persisted schema objects are
+   * surfaced as their registered `Type.Type` entity.
+   */
+  createRefResolver(options: RefResolverOptions): Resolver;
+  /**
+   * 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/Dataset.d.ts
+//#region ../echo/dist/types/src/Database.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.
+ * `query` API function declaration.
  */
-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, created, natural, property, rank, updated };
+interface QueryFn {
+  <Q extends Any$1>(query: Q): QueryResult<Type$2<Q>>;
+  <F extends Any$3>(filter: F): QueryResult<Type$3<F>>;
 }
-interface Order<T$1> {
-  '~Order': {
-    value: T$1;
-  };
-  ast: Order$1;
+/**
+ * Common interface for Database, Feed, and Hypergraph.
+ */
+interface Queryable {
+  query: QueryFn;
 }
-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>;
+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;
+};
 /**
- * Order by relevance rank (for FTS/vector search results).
- * Higher rank = better match. Default direction is 'desc' (best matches first).
+ * Rejects Type entities from {@link Database.add} at compile time via their `[KindId]` brand. Used
+ * as `T & RejectTypeEntity<T>` to preserve inference of `T`. Bounding `add` on
+ * `Obj.Unknown | Relation.Unknown` instead would reject broadly-typed instance adds (e.g.
+ * `Entity.Any`, `Obj.OfShape<T>`), forcing casts repo-wide.
  */
-declare const rank: <T$1>(direction?: OrderDirection) => Order<T$1>;
+type RejectTypeEntity<T$1> = T$1 extends {
+  readonly [KindId$1]: EntityKind.Type;
+} ? {
+  __error: 'Type entities must be persisted via db.addType(), not db.add().';
+} : T$1;
+type FlushOptions = {
+  /**
+   * Write any pending changes to disk.
+   * @default true
+   */
+  disk?: boolean;
+  /**
+   * Wait for pending index updates.
+   * @default true
+   */
+  indexes?: boolean;
+  /**
+   * Flush pending updates to objects and queries.
+   * @default false
+   */
+  updates?: boolean;
+};
 /**
- * Order by the system `updatedAt` timestamp (last re-indexed). Default direction is 'desc'
- * (most-recently-updated first). Mirrors {@link Filter.updated}.
+ * Identifier denoting an ECHO Database.
  */
-declare const updated: <T$1>(direction?: OrderDirection) => Order<T$1>;
+declare const TypeId: unique symbol;
+type TypeId = typeof TypeId;
 /**
- * Order by the system `createdAt` timestamp (first indexed). Default direction is 'desc'
- * (most-recently-created first). Mirrors {@link Filter.created}.
+ * ECHO Database interface.
  */
-declare const created: <T$1>(direction?: OrderDirection) => Order<T$1>;
-declare namespace Query_d_exports {
-  export { Any$1 as Any, Query, Type$1 as Type, all, from, fromAst, is, pretty, select, type$1 as type, without };
+interface Database extends Queryable {
+  readonly [TypeId]: TypeId;
+  get spaceId(): SpaceId;
+  get graph(): Hypergraph;
+  /**
+   * Registry for this database. Delegates type lookups to the shared hypergraph registry.
+   * To persist a schema so it replicates to other clients, add the type entity with
+   * {@link addType} (e.g. `await db.addType(Type.makeObjectFromJsonSchema(...))`).
+   */
+  readonly registry: Registry;
+  toJSON(): object;
+  /**
+   * Return object by local ID.
+   * @deprecated Use `db.query(Filter.id(id)).runSync()[0]` for a working-set lookup, or resolve via a {@link Ref}.
+   */
+  getObjectById<T$1 extends Unknown$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 an object or relation to the database.
+   *
+   * Only Object and Relation entities are accepted. To persist a Type definition use
+   * {@link addType} — passing a Type entity is rejected at compile time (and at runtime).
+   */
+  add<T$1 extends Unknown = Unknown>(obj: T$1 & RejectTypeEntity<T$1>, opts?: AddOptions): T$1;
+  /**
+   * Persists a Type definition (clones/forks the entity) so it replicates to other peers.
+   *
+   * Runs a conflict query first: if a type with the same typename + version already exists in
+   * this space, the existing persisted entity is returned and no duplicate is created. This is
+   * the only supported way to add Type entities — {@link add} rejects them.
+   */
+  addType<T$1 extends AnyEntity$1>(type: T$1): Promise<T$1>;
+  /**
+   * Removes object from the database.
+   */
+  remove(obj: Unknown): void;
+  /**
+   * Appends entities to a feed.
+   *
+   * The feed must already be stored in the database (added via {@link add}); its underlying
+   * queue is addressed by the feed object's URI.
+   */
+  appendToFeed(feed: Feed, entities: Unknown[]): Promise<void>;
+  /**
+   * Removes entities from a feed.
+   */
+  deleteFromFeed(feed: Feed, entities: Unknown[]): Promise<void>;
+  /**
+   * Wait for all pending changes to be saved to disk.
+   * Optionaly waits for changes to be propagated to indexes and event handlers.
+   */
+  flush(opts?: FlushOptions): Promise<void>;
+  /**
+   * Removes feed items by ID.
+   */
+  removeFeedItemsByIds(feed: Feed, ids: string[]): Promise<void>;
+  /**
+   * Queries items in a feed associated with this database.
+   */
+  queryFeed(feed: Feed, queryOrFilter: Any$1 | Any$3): QueryResult<any>;
+  /**
+   * Syncs a feed with the server.
+   */
+  syncFeed(feed: Feed, options?: SyncOptions): Promise<void>;
+  /**
+   * Returns queue replication backlog for the feed's namespace.
+   */
+  getFeedSyncState(feed: Feed): Promise<SyncState>;
 }
+declare const Database: Schema<Database>;
+//#endregion
+//#region ../echo/dist/types/src/internal/JsonSchema/json-schema-type.d.ts
 /**
- * All property paths inside T that are references.
+ * Describes a schema for the JSON-schema objects stored in ECHO.
+ * Contains extensions for ECHO (e.g., references).
+ * Ref: https://json-schema.org/draft-07/schema
  */
-type RefPropKey<T$1> = keyof T$1 & string;
-type RefArrayElement<A$1> = A$1 extends readonly (infer E)[] ? E : A$1 extends (infer E)[] ? E : never;
-/** Target entity when traversing an outgoing ref or array-of-refs property. */
-type ReferenceTraversalTarget<P$1> = P$1 extends Unknown$2 ? Target$1<P$1> : P$1 extends Unknown$2 | undefined ? Target$1<Exclude<P$1, undefined>> : RefArrayElement<P$1> extends Unknown$2 ? Target$1<RefArrayElement<P$1>> : never;
-interface Query<T$1> {
-  '~Query': {
-    value: T$1;
-  };
-  ast: Query$1;
+declare const _JsonSchemaType: Struct<{
   /**
-   * Filter the current selection based on a filter.
-   * @param filter - Filter to select the objects.
-   * @returns Query for the selected objects.
+   * Identifier for this schema.
+   * This schema might be referenced by $ref clause in other schemas.
    */
-  'select'(filter: Filter<T$1>): Query<T$1>;
-  'select'(props: Props$1<T$1>): Query<T$1>;
+  $id: optional<typeof String$>;
   /**
-   * 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.
+   * Schema of this schema.
+   * Set to "https://json-schema.org/draft-07/schema".
    */
-  'reference'<K$1 extends RefPropKey<T$1>>(key: K$1): Query<ReferenceTraversalTarget<T$1[K$1]>>;
+  $schema: optional<typeof String$>;
   /**
-   * 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.
+   * Reference to another schema.
    */
-  'referencedBy'<S$1 extends AnyEntity$1>(target: S$1 | URI, key: RefPropKey<InstanceType$1<S$1>>): Query<InstanceType$1<S$1>>;
-  'referencedBy'<S$1 extends AnyEntity$1>(target: S$1 | URI): Query<InstanceType$1<S$1>>;
-  'referencedBy'(): Query<any>;
+  $ref: optional<typeof String$>;
   /**
-   * 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.
+   * Comments are ignored when interpreting the schema.
    */
-  'sourceOf'<R$1 extends AnyRelation>(relation?: R$1 | URI, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
+  $comment: optional<typeof String$>;
   /**
-   * Find relations where this object is the target.
-   * @returns Query for the relation objects.
-   * @param relation - Type entity of the relation.
-   * @param predicates - Predicates to filter the relation objects.
+   * Defines whether this schema is an object schema or a relation schema.
    */
-  'targetOf'<R$1 extends AnyRelation>(relation?: R$1 | URI, predicates?: Props$1<InstanceType$1<R$1>>): Query<InstanceType$1<R$1>>;
+  entityKind: optional<Enums<typeof EntityKind>>;
   /**
-   * For a query for relations, get the source objects.
-   * @returns Query for the source objects.
+   * Typename of this schema.
+   * Only on schema representing an ECHO object.
+   *
+   * @example 'com.example.type.my-type'
    */
-  'source'(): Query<SourceOf<T$1>>;
+  typename: optional<typeof String$>;
   /**
-   * For a query for relations, get the target objects.
-   * @returns Query for the target objects.
+   * Version of this schema.
+   * Custom dialect for ECHO.
    */
-  'target'(): Query<TargetOf<T$1>>;
+  version: optional<typeof String$>;
   /**
-   * Get the parent object of the current selection.
-   * @returns Query for the parent objects.
+   * Target of this relation.
+   * Only for relation schemas.
+   * The referenced schema must be an object schema.
    */
-  'parent'(): Query<any>;
+  relationTarget: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
   /**
-   * Get all child objects of the current selection.
-   * @returns Query for the child objects.
+   * Source of this relation.
+   * Only for relation schemas.
+   * The referenced schema must be an object schema.
    */
-  'children'(): Query<any>;
+  relationSource: optional<suspend<JsonSchemaType, JsonSchemaType, never>>;
   /**
-   * 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.
+   * Title of this schema.
    */
-  'orderBy'(...order: NonEmptyArray<Order<T$1>>): Query<T$1>;
+  title: optional<typeof String$>;
   /**
-   * Limit the number of results.
-   * @param limit - Maximum number of results to return.
-   * @returns Query for the limited results.
+   * Description of this schema.
    */
-  'limit'(limit: number): Query<T$1>;
+  description: optional<typeof String$>;
   /**
-   * 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.
+   * Whether this schema is read-only.
    */
-  'from'(database: Database | Database[], options?: {
-    includeFeeds?: boolean;
-  }): Query<T$1>;
+  readOnly: optional<typeof Boolean$>;
   /**
-   * Query from selected feeds only.
-   *
-   * Example:
-   *
-   * ```ts
-   * Query.select(Filter.type(Person)).from(feed);
-   * ```
-   *
+   * Whether this schema is write-only.
    */
-  'from'(feeds: Feed | Feed[]): Query<T$1>;
+  writeOnly: optional<typeof Boolean$>;
   /**
-   * 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.
+   * Examples of instances of this schema.
    */
-  'from'(allSpaces: 'all-accessible-spaces', options?: {
-    includeFeeds?: boolean;
-  }): Query<T$1>;
+  examples: optional<Array$<typeof Any$4>>;
   /**
-   * Query from a dataset.
-   * Currently only feeds are supported.
-   *
-   * Example:
-   *
-   * ```ts
-   * Query.type(Person).from(feed);
-   * ```
+   * Default value for this schema.
    */
-  'from'(dataset: Dataset): Query<T$1>;
+  default: optional<typeof Any$4>;
   /**
-   * Query from the results of another query.
-   *
-   * Example:
+   * 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.
    *
-   * ```ts
-   * Query.select(Filter.props({ foo: 'foo' })).from(Query.select(Filter.type(Contact)).reference('org'));
-   * ```
+   * 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.
    */
-  'from'(query: Any$1): Query<T$1>;
+  echo: optional<Struct<{
+    /**
+     * Label for this schema.
+     * Mapped from {@link LabelAnnotationId}.
+     */
+    labelProp: optional<Union<[Schema<JsonPath, JsonPath, never>, Array$<Schema<JsonPath, JsonPath, never>>]>>;
+    /**
+     * Generator function for this schema.
+     * Mapped from {@link GeneratorAnnotationId}.
+     */
+    generator: optional<Union<[typeof String$, Tuple2<typeof String$, typeof Number$>]>>;
+    /**
+     * {@link PropertyMeta} annotations get serialized here.
+     */
+    meta: optional<Record$<typeof String$, typeof Any$4>>;
+    /**
+     * @deprecated
+     */
+    type: optional<Struct<{
+      typename: typeof String$;
+      version: typeof String$;
+      schemaId: optional<typeof String$>;
+    }>>;
+    /**
+     * @deprecated Superseded by `meta`.
+     */
+    annotations: optional<Record$<typeof String$, typeof Any$4>>;
+  }>>;
+}>;
+/**
+ * https://json-schema.org/draft-07/schema
+ */
+interface JsonSchemaType extends Schema.Type<typeof _JsonSchemaType> {}
+declare const JsonSchemaType: Schema<JsonSchemaType>;
+//#endregion
+//#region ../echo/dist/types/src/internal/Entity/entity.d.ts
+type EchoTypeSchemaProps<T$1, ExtraFields = {}> = Simplify$1<AnyEntity & ToMutable<T$1> & ExtraFields>;
+/**
+ * Options accepted by every `Type.makeObject` / `Type.makeRelation` / type-kind
+ * factory. Defaults are derived from `(typename, version)` so callers normally
+ * pass nothing.
+ */
+type EchoTypeOptions = {
   /**
-   * Query from one or more raw scopes.
-   *
-   * Use the {@link Scope} constructors rather than raw tagged objects:
+   * Override the entity id stamped on the in-memory `Type.Type` value.
    *
-   * ```ts
-   * Query.select(Filter.type(Type.Type)).from(Scope.space(), Scope.registry());
-   * ```
+   * Defaults to `EntityId.deterministic(typename, version)` — stable across processes
+   * and workerd-safe (no `crypto.getRandomValues()` at module-evaluation time).
+   * Pass an explicit id (typically `EntityId.random()`) to opt out of the
+   * deterministic default.
    */
-  'from'(...scopes: Scope[]): Query<T$1>;
+  id?: EntityId;
+};
+/**
+ * In-memory `Type.Type` entity shape produced by `Type.makeObject(dxn)` /
+ * `Type.makeRelation({...})`. A live reactive `TypeSchema` instance —
+ * identical to a persisted `Type.Type` except for database attachment.
+ *
+ * NOT a `Schema.Schema`. The underlying Effect Schema is cached on the hidden
+ * `StaticTypeSchemaSlot` slot — retrieve it via `Type.getSchema(...)`.
+ */
+interface EchoTypeSchema<Self extends Schema.Any, ExtraFields = {}, K$1 extends EntityKind = EntityKind, Fields extends Struct.Fields = Struct.Fields> {
   /**
-   * Query from a raw scope or array of scopes.
+   * 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]`.
    */
-  'from'(scope: Scope | Scope[]): Query<T$1>;
+  readonly [KindId$1]: EntityKind.Type;
+  /** Schema-kind brand indicating what kind of instance this type describes. */
+  readonly [SchemaKindId]: K$1;
   /**
-   * Add options to a query.
+   * 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).
    */
-  'options'(options: QueryOptions): Query<T$1>;
+  readonly id: EntityId;
+  /** Source Effect Schema (kept on a hidden slot for `Type.getSchema`). */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  readonly jsonSchema: JsonSchemaType;
+  /** Struct fields for introspection. */
+  readonly fields: Fields;
+  /** Phantom — instance type produced by `Obj.make(self, ...)`. */
+  readonly _instance?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields>;
   /**
-   * Attach a diagnostic label for logs and tooling (execution semantics unchanged).
+   * 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.
    */
-  'debugLabel'(label: string): Query<T$1>;
+  readonly [InstancePhantomId$1]?: EchoTypeSchemaProps<Schema.Type<Self>, ExtraFields> & {
+    readonly [KindId$1]: K$1;
+  } & (K$1 extends EntityKind.Type ? {
+    readonly [SchemaKindId]: EntityKind.Type;
+    readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+  } : {});
 }
-type Any$1 = Query<any>;
-type Type$1<Q extends Any$1> = Q extends Query<infer T> ? T : never;
-declare const is: (value: unknown) => value is Any$1;
-/** Construct a query from an ast. */
-declare const fromAst: (ast: Query$1) => Any$1;
-/**
- * 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>>;
+//#endregion
+//#region ../echo/dist/types/src/internal/Entity/type-kind.d.ts
 /**
- * Query for objects of a given schema.
- * @param schema - Schema of the objects.
- * @param predicates - Predicates to filter the objects.
- * @returns Query for the objects.
+ * Type-kind schema marker — produced by {@link EchoTypeKindSchema}.
  *
- * Shorthand for: `Query.select(Filter.type(schema, predicates))`.
- */
-declare const type$1: {
-  <T$1 extends AnyEntity$1>(type: T$1, predicates?: Props$1<InstanceType$1<T$1>>): Query<InstanceType$1<T$1>>;
-  <S$1 extends UnknownTypeSchema<any, any>>(schema: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
-  <S$1 extends Union<readonly Schema.AnyNoContext[]>>(union: S$1, predicates?: Props$1<Schema.Type<S$1>>): Query<Schema.Type<S$1>>;
-  (uri: URI, predicates?: Props$1<unknown>): Query<any>;
-};
-/**
- * Combine results of multiple queries.
- * @param queries - Queries to combine.
- * @returns Query for the combined results.
+ * Distinguishes meta-schemas (entities of `EntityKind.Type`, such as the
+ * built-in `Type.Type` TypeSchema) from object and relation types.
  */
-declare const all: (...queries: Any$1[]) => Any$1;
+type EchoTypeKindSchema<Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields> = EchoTypeSchema<Self, {}, EntityKind.Type, Fields>;
 /**
- * Subtract one query from another.
- * @param source - Query to subtract from.
- * @param exclude - Query to subtract.
- * @returns Query for the results of the source query minus the results of the exclude query.
+ * Pipeable that brands a schema as a type-kind ECHO entity. Mirrors
+ * {@link EchoObjectSchema} / {@link EchoRelationSchema}, but stamps the
+ * resulting entity with `[SchemaKindId]: EntityKind.Type` and a matching
+ * `TypeAnnotation.kind = 'type'` so meta-schemas surface uniformly through
+ * `Type.isTypeKind`, `Filter.type`, etc.
  */
-declare const without: <T$1>(source: Query<T$1>, exclude: Query<T$1>) => Query<T$1>;
+declare const EchoTypeKindSchema: {
+  (dxn: DXN, options?: EchoTypeOptions): <Self extends Schema.Any, Fields extends Struct.Fields = Struct.Fields>(self: Self & {
+    fields?: Fields;
+  }) => EchoTypeKindSchema<Self, Fields>;
+};
+//#endregion
+//#region ../echo/dist/types/src/internal/Type/type-schema.d.ts
 /**
- * Create a query scoped to a data source.
- * The returned query selects everything from the source; chain `.select()` to narrow results.
+ * 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).
  *
- * @param source - Data source: database, feed, 'all-accessible-spaces', or another query.
- * @returns Query scoped to the given source.
- */
-declare const from: (...args: [(Database | Database[] | Feed | Feed[] | Any$1 | Scope | Scope[] | 'all-accessible-spaces'), {
-  includeFeeds?: boolean;
-}?] | Scope[]) => Any$1;
-/**
- * Returns a human-readable string representation of a Query AST.
+ * `typename` and `version` are NOT data fields — they live in `EntityMeta.key` /
+ * `EntityMeta.version` (the canonical registry-provenance pair, queryable via
+ * `Filter.key(...)`). The same `jsonSchema` payload also embeds them so a
+ * standalone JSON-Schema export remains self-describing, but the schema-registry
+ * reads/writes them through meta.
  */
-declare const pretty: (query: Any$1) => string;
-//#endregion
-//#region ../echo/dist/types/src/QueryResult.d.ts
+declare const TypeSchemaStruct: Struct<{
+  name: optional<typeof String$>;
+  jsonSchema: Schema<JsonSchemaType, JsonSchemaType, never>;
+}>;
 /**
- * Individual query result entry.
+ * Persistent representation of a schema.
  */
-type Entry$1<T$1> = {
-  id: string;
-  /**
-   * May not be present for remote results.
-   */
-  result?: T$1;
-  match?: {
-    /**
-     * Higher means better match.
-     */
-    rank: number;
-  };
-  /**
-   * Query resolution metadata.
-   */
-  resolution?: {
-    source: 'remote' | 'local' | 'index';
-    /**
-     * Query resolution time in milliseconds.
-     */
-    time: number;
-  };
-};
-type RunOptions = {
-  timeout?: number;
-};
-type SubscriptionOptions = {
-  /**
-   * Fire the callback immediately.
-   */
-  fire?: boolean;
-};
-interface QueryResult<T$1> {
-  /**
-   * Currently available results along with their match metadata.
-   */
-  readonly entries: Entry$1<T$1>[];
-  /**
-   * Currently available results.
-   */
-  readonly results: T$1[];
-  /**
-   * Returns all known results.
-   */
-  run(opts?: RunOptions): Promise<T$1[]>;
-  /**
-   * Returns all known results along with their match metadata.
-   */
-  runEntries(opts?: RunOptions): Promise<Entry$1<T$1>[]>;
-  /**
-   * Returns currently available results synchronously.
-   */
-  runSync(): T$1[];
-  /**
-   * Returns currently available results synchronously along with their match metadata.
-   */
-  runSyncEntries(): Entry$1<T$1>[];
-  /**
-   * Returns first result.
-   */
-  first(opts?: RunOptions): Promise<T$1>;
-  /**
-   * Returns first result if there is one.
-   */
-  firstOrUndefined(opts?: RunOptions): Promise<T$1 | undefined>;
+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.addType(Type.makeObjectFromJsonSchema(...))` produces
+ * and `Filter.type(Type.Type).run()` returns.
+ *
+ * Structurally identical to a static `Type.Type` entity: the entity-handler's
+ * `get` trap exposes `[SchemaKindId]` (derived from `system.kind` and
+ * `data.jsonSchema.entityKind`) and rebuilds `[StaticTypeSchemaSlot]` lazily
+ * from `jsonSchema`, so a persisted instance satisfies the public `Type<A>`
+ * interface without casting.
+ */
+type TypeSchema = Schema.Type<typeof TypeSchemaStruct> & {
+  /** Object identifier — injected by `EchoTypeKindSchema` and stamped at construction. */
+  readonly id: string;
+  /** Entity-kind discriminator (object/relation/type) carried on every entity instance. */
+  readonly [KindId$1]: EntityKind.Type;
+  /** Kind of schema described by this meta-instance — always `EntityKind.Type` for `Type.Type` itself. */
+  readonly [SchemaKindId]: EntityKind.Type;
+  /** Effect Schema rebuilt lazily from `jsonSchema`; satisfies `Type.getSchema(...)` without an extra cast. */
+  readonly [StaticTypeSchemaSlot]: Schema.AnyNoContext;
+};
+//#endregion
+//#region ../echo/dist/types/src/Type.d.ts
+/**
+ * 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> {
   /**
-   * Subscribes to changes in query results.
+   * 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.
    */
-  subscribe(callback?: (query: QueryResult<T$1>) => void, opts?: SubscriptionOptions): CleanupFn;
+  readonly [KindId$1]: EntityKind.Type;
   /**
-   * Self-updating atom. Updates automatically when query results change.
-   *
-   * Memoized per QueryResult instance — repeated accesses on the same instance return the same
-   * Atom. Safe only when the QueryResult is itself held stable across re-renders (e.g. behind a
-   * `useMemo`). It must NOT be used in graph-builder connectors/actions or other atom computes,
-   * where `db.query(...)` is called fresh on each re-evaluation: every run constructs a new
-   * QueryResult and so a new atom + subscription, leaking the previous ones. Use the memoized
-   * {@link atom} family there instead.
+   * 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 atom: Atom<T$1[]>;
+  readonly id: EntityId;
+  readonly name?: string;
+  readonly jsonSchema: JsonSchemaType;
+  readonly [InstancePhantomId]?: A$1;
 }
-//#endregion
-//#region ../echo/dist/types/src/Feed.d.ts
 /**
- * Runtime schema for a Feed object.
+ * 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 feed = Obj.make(Feed.Feed, { name: 'notifications', kind: 'org.dxos.plugin.notifications.v1' });
+ * class Person extends Type.makeObject<Person>(DXN.make('com.example.type.person', '0.1.0'))(
+ *   Schema.Struct({ name: Schema.String }),
+ * ) {}
  * ```
  */
-declare const Feed: Obj$1<{
-  readonly name?: string | undefined;
-  readonly kind?: string | undefined;
-  readonly namespace?: "data" | "trace" | undefined;
-}, Struct.Fields>;
+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;
+}
 /**
- * TypeScript instance type for a Feed object.
+ * Return type for {@link makeObject}.
+ *
+ * Not to be used directly, but must be exported for typescript to infer the type.
  */
-type Feed = InstanceType$1<typeof Feed>;
-//#endregion
-//#region ../echo/dist/types/src/Registry.d.ts
+interface ObjClass<Self, T$1, Fields extends Struct.Fields> extends Obj$1<Self, Fields> {
+  new (_: never): T$1 & OfKind<typeof Kind.Object>;
+}
 /**
- * Identifier denoting an ECHO Registry.
+ * Type that represents any ECHO object type — a `Type.Type` entity branded
+ * with the object entity kind, i.e. what `Type.makeObject(dxn)` produces.
  */
-declare const TypeId$1: unique symbol;
-type TypeId$1 = typeof TypeId$1;
+type AnyObj = Obj$1<unknown>;
 /**
- * Composable, in-memory registry of keyed ECHO entities.
+ * 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.
  *
- * Entities are stored by id and queried via the standard ECHO Query API.
- * A registry may delegate to an optional upstream registry: results from the local
- * registry take precedence and upstream results fill in anything not found locally.
+ * `T` is the instance-property type produced by `Relation.make(...)` (excluding
+ * source/target endpoints). `Source` and `Target` are the endpoint types.
  *
- * Intended use cases include caches of schemas, operations, blueprints, routines, plugins,
- * etc., sourced from 3rd-party plugins, local code, or local space objects.
+ * **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;
+}
+/**
+ * Return type for {@link makeRelation}.
  *
- * Types (schema-definition entities produced by `Type.makeObject` / `Type.makeRelation`) are
- * stored the same way as any other entity — via `add()`. Use `list().filter(Type.isType)` to
- * retrieve them.
+ * Not to be used directly, but must be exported for typescript to infer the type.
+ */
+interface RelationClass<Self, T$1, Source$1, Target$2, Fields extends Struct.Fields> extends Relation<Self, Source$1, Target$2, Fields> {
+  new (_: never): Endpoints$1<Source$1, Target$2> & T$1 & OfKind<typeof Kind.Relation>;
+}
+/**
+ * Type that represents any ECHO relation type — a `Type.Type` entity branded
+ * with the relation entity kind, i.e. what `Type.makeRelation(...)` produces.
+ */
+type AnyRelation = Relation<unknown, unknown, unknown>;
+/**
+ * Type that represents any ECHO type-kind entity — a `Type.Type` meta-schema
+ * value (static `Type.Type` or a persisted draft from `db.addType(...)`).
+ * Mirrors {@link AnyObj} / {@link AnyRelation} for the third sibling kind.
+ */
+type AnyType = Type$1<unknown>;
+/**
+ * Any ECHO type-entity — one of the three sibling kinds: object-kind, relation-kind,
+ * or type-kind (the meta-schema). APIs that want "any ECHO type" use this union;
+ * the underlying Effect Schema is retrieved via `Type.getSchema`.
+ */
+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`.
  *
- * Scope: a Registry is independent of any ECHO space or Hypergraph — it is a process-local,
- * in-memory cache. Wire one per space (e.g. as a Layer scoped to the space's Effect runtime)
- * or share a single instance across spaces depending on the use case.
+ * Re-exported from the internal types layer so both `Type.ts` and internal
+ * helpers (`makeObject`, `createObject`) reference the same phantom key.
+ */
+declare const InstancePhantomId: "~@dxos/echo/Type.Instance";
+type InstancePhantomId = InstancePhantomId$1;
+/**
+ * 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.
  *
- * The concrete implementation (and the `makeRegistry` / `registryLayer` factories) lives in
- * `@dxos/echo-client`; this module declares only the interface so that the `@dxos/echo` API surface
- * stays free of query-matching dependencies.
+ * 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 Registry {
-  readonly [TypeId$1]: TypeId$1;
-  /**
-   * Stable per-instance identifier. Used to key process-local resources (e.g. memoized
-   * reactive atoms) to a specific registry instance, analogous to {@link Database.spaceId}.
-   */
-  readonly id: string;
-  /**
-   * Fires whenever local registry contents change (add, remove, or clear).
-   */
-  readonly changed: ReadOnlyEvent<void>;
-  /**
-   * All locally-stored entities.
-   * Does not include upstream entities — use {@link list} for that.
-   */
-  readonly local: readonly Unknown[];
-  /**
-   * Add or replace one or more entities in the local registry.
-   * Existing entries with the same id are replaced.
-   * Also indexes type entities by DXN for fast lookup.
-   */
-  add(entities: readonly Unknown[]): void;
-  /**
-   * Remove an entity by id from the local registry.
-   * @returns true if an entity was removed, false if it was not found.
-   */
-  remove(id: string): boolean;
-  /**
-   * Remove all locally-stored entities.
-   * Does not affect the upstream registry.
-   */
-  clear(): void;
-  /**
-   * Get an entity by id.
-   * Searches the local registry first, then falls back to the upstream registry.
-   */
-  get(id: string): Unknown | undefined;
-  /**
-   * Get an entity by one of its addressing URIs — a type entity by its typename DXN (or, when
-   * persisted, its identifier EID), a keyed entity by its `dxn:<key>[:<version>]`. Accepts legacy
-   * DXN forms (normalized internally). Searches the local registry first, then falls back to the
-   * upstream registry. Narrow the result with `Type.isType` when a type entity is required.
-   */
-  getByURI(uri: string): Unknown | undefined;
-  /**
-   * List all entities.
-   * Local entities take precedence over upstream entities with the same id.
-   */
-  list(): Unknown[];
-  /**
-   * Run an ECHO query against the registry's entities (implements {@link Database.Queryable}).
-   *
-   * Matching happens in-memory over {@link list}. Scope (`from`) clauses are unwrapped and
-   * ignored — a direct registry query always targets the registry's own entities. The primary
-   * way to query registry contents is still through the database (`db.query(...).from(Scope.registry())`),
-   * which fans the database and registry together; this method is for querying a registry directly.
-   *
-   * Only locally-evaluable AST nodes are supported: `select`, `filter`, `limit`, `from`, `options`,
-   * and boolean combinators. Server-side concerns (order, traversal, text/timestamp filters) throw.
-   */
-  query: QueryFn;
+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 RelationClass<any, infer Props, infer Source, infer Target, any> ? Endpoints$1<Source, Target> & Props & OfKind<typeof Kind.Relation> : T$1 extends Relation<infer Props, infer Source, infer Target, any> ? Endpoints$1<Source, Target> & Props & OfKind<typeof Kind.Relation> : T$1 extends ObjClass<any, infer A, any> ? A & OfKind<typeof Kind.Object> : T$1 extends Obj$1<infer A, any> ? A & OfKind<typeof Kind.Object> : T$1 extends Type$1<infer A> ? A & OfKind<typeof Kind.Type> : never;
 //#endregion
-//#region ../echo/dist/types/src/Hypergraph.d.ts
+//#region ../echo/dist/types/src/internal/Ref/ref.d.ts
+declare const RefTypeId: unique symbol;
 /**
- * Resolution context.
- * Affects how non-absolute DXNs are resolved.
+ * Reference Schema.
+ */
+interface RefSchema<T$1 extends AnyEntity> extends SchemaClass<Ref<T$1>, EncodedReference> {}
+/**
+ * Type of the `Ref` function and extra methods attached to it.
  */
-interface RefResolutionContext {
+interface RefFn {
+  <S$1 extends AnyEntity$1 | UnknownTypeSchema<any, any> = AnyEntity$1>(schema: S$1): RefSchema<S$1 extends AnyType ? AnyEntity$1 : S$1 extends AnyObj | AnyRelation ? InstanceType$1<S$1> : S$1 extends UnknownTypeSchema<infer A, any> ? A : never>;
   /**
-   * Space that the resolution is happening from.
+   * @returns True if the object is a reference.
    */
-  space?: SpaceId;
+  isRef: (obj: unknown) => obj is Ref<any>;
   /**
-   * Feed that the resolution is happening from.
-   * This feed will be searched first, and then the space it belongs to.
+   * @returns True if the reference points to the given object id.
    */
-  feed?: URI;
-}
-interface RefResolverOptions {
+  hasEntityId: (id: EntityId) => (ref: Ref<any>) => boolean;
   /**
-   * Resolution context.
-   * Affects how non-absolute DXNs are resolved.
+   * @returns True if the schema is a reference schema.
    */
-  context?: RefResolutionContext;
+  isRefSchema: (schema: Schema<any, any>) => schema is RefSchema<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>;
   /**
-   * Middleware to change the resolved object before returning it.
-   * @deprecated On track to be removed.
+   * Constructs a reference that points to the object specified by the provided URI
+   * (either an `echo:` EID for an object reference or a `dxn:` DXN for a type reference).
    */
-  middleware?: (obj: AnyProperties) => AnyProperties;
+  fromURI: (uri: URI) => Ref<any>;
 }
 /**
- * Manages cross-space database interactions.
+ * Schema builder for references.
  */
-interface Hypergraph extends Queryable {
+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 {
   /**
-   * In-process registry of keyed objects and static schema types.
-   * Populated at startup via `registry.add(objects)` / `registry.add(schemas)`.
-   * Queries that include no explicit from() clause will fan out to this registry automatically.
+   * Target URI (either an `echo:` EID for an object reference or a `dxn:` DXN for a type reference).
    */
-  get registry(): Registry;
+  get uri(): URI;
   /**
-   * Query objects.
+   * Returns true if the reference has a target available (inlined or resolver set).
    */
-  query: QueryFn;
+  get isAvailable(): boolean;
   /**
-   * Creates a reference to an existing object in the database.
+   * @returns The reference target.
+   * May return `undefined` if the object is not loaded in the working set.
+   * Accessing this property, even if it returns `undefined` will trigger the object to be loaded to the working set.
+   */
+  get target(): T$1 | undefined;
+  /**
+   * @returns Promise that will resolves with the target object.
+   * Will load the object from disk if it is not present in the working set.
+   * Short-circuits immediately when the target is already loaded.
+   * @throws If the object is not available locally.
    *
-   * 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.
+   * @idiom org.dxos.echo.refLoad
+   *   applies: Resolving a ref inside an async function or Effect handler — guarantees the object is available before proceeding
+   *   instead-of: `ref.target` — not guaranteed to be defined in async contexts; use `await ref.load()` (or `yield* Database.load(ref)` in Effect) to ensure the target is present
+   *   uses: {@link load}
+   *   related: org.dxos.echo-react.useObjectReactive
    */
-  makeRef<T$1 extends Unknown = Unknown>(uri: URI): Ref$1<T$1>;
+  load(): Promise<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`.
+   * @returns Promise that will resolves with the target object or undefined if the object is not loaded locally.
    */
-  createRefResolver(options: RefResolverOptions): Resolver;
+  tryLoad(): Promise<T$1 | undefined>;
   /**
-   * Get a database by space ID.
-   * @returns The database for the given space ID, or undefined if not found.
+   * 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.
    */
-  getDatabase(spaceId: SpaceId): Database | undefined;
-}
-//#endregion
-//#region ../echo/dist/types/src/Database.d.ts
-/**
- * `query` API function declaration.
- */
-interface QueryFn {
-  <Q extends Any$1>(query: Q): QueryResult<Type$1<Q>>;
-  <F extends Any$3>(filter: F): QueryResult<Type$2<F>>;
-}
-/**
- * Common interface for Database, Feed, and Hypergraph.
- */
-interface Queryable {
-  query: QueryFn;
-}
-type GetObjectByIdOptions = {
-  deleted?: boolean;
-};
-type ObjectPlacement = 'root-doc' | 'linked-doc';
-type AddOptions = {
+  onResolved(callback: () => void): () => void;
   /**
-   * 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.
+   * Do not inline the target object in the reference.
+   * Makes .target unavailable unless the reference is connected to a database context.
    *
-   * @default 'linked-doc'
+   * When serialized with toJSON, the difference is between:
+   * `{ "/": "dxn:..." }`
+   * and
+   * `{ "/": "dxn:...", "target": { ... } }`
+   *
+   * Clones the reference object.
    */
-  placeIn?: ObjectPlacement;
-};
-/**
- * Rejects Type entities from {@link Database.add} at compile time via their `[KindId]` brand. Used
- * as `T & RejectTypeEntity<T>` to preserve inference of `T`. Bounding `add` on
- * `Obj.Unknown | Relation.Unknown` instead would reject broadly-typed instance adds (e.g.
- * `Entity.Any`, `Obj.OfShape<T>`), forcing casts repo-wide.
- */
-type RejectTypeEntity<T$1> = T$1 extends {
-  readonly [KindId$1]: EntityKind.Type;
-} ? {
-  __error: 'Type entities must be persisted via db.addType(), not db.add().';
-} : T$1;
-type FlushOptions = {
+  noInline(): Ref<T$1>;
   /**
-   * Write any pending changes to disk.
-   * @default true
+   * Read-only atom for the ref target.
+   * Resolves once when the target loads; does NOT subscribe to target object mutations.
+   * Use `Obj.atom(ref)` if you need reactive snapshots that update on every object mutation.
    */
-  disk?: boolean;
+  get atom(): Atom<T$1 | undefined>;
   /**
-   * Wait for pending index updates.
-   * @default true
+   * Serializes the reference to a JSON object.
+   * The serialization format is compatible with the IPLD-style encoded references.
+   * When a reference has a saved target (i.e. the target or object holding the reference is not in the database),
+   * the target is included in the serialized object.
+   *
+   * Examples:
+   * `{ "/": "dxn:..." }`
+   * `{ "/": "dxn:...", "target": { ... } }`
    */
-  indexes?: boolean;
+  encode(): EncodedReference;
+  [RefTypeId]: {
+    _T: T$1;
+  };
+}
+declare namespace Ref {
   /**
-   * Flush pending updates to objects and queries.
-   * @default false
+   * Target of the reference.
    */
-  updates?: boolean;
-};
+  type Target<R$1> = R$1 extends Ref<infer U> ? U : never;
+}
 /**
- * Identifier denoting an ECHO Database.
+ * Load-source ceiling for a resolution request. Cheaper tiers are always probed first; the
+ * ceiling caps how far a request is allowed to reach:
+ * - `working-set`: synchronous, in-memory only. A miss settles `unavailable` immediately.
+ * - `disk`: probe the working set, then local storage; never the network.
+ * - `network`: probe the working set, disk, then fetch from peers.
+ *
+ * `unavailable` is always relative to the requested ceiling (disk-unavailable ≠ network-unavailable).
  */
-declare const TypeId: unique symbol;
-type TypeId = typeof TypeId;
+type RefSource = 'working-set' | 'disk' | 'network';
 /**
- * ECHO Database interface.
+ * A stateful, closure-aware handle to an in-flight (or settled) reference resolution.
+ *
+ * `ready` means the entity is FULLY USABLE: its own body and its strong-dependency closure are all
+ * materialized. The body-vs-closure split is internal; `requesting` transparently covers "a
+ * dependency is still loading".
  */
-interface Database extends Queryable {
-  readonly [TypeId]: TypeId;
-  get spaceId(): SpaceId;
-  get graph(): Hypergraph;
+interface RefResolverRequest {
   /**
-   * Registry for this database. Delegates type lookups to the shared hypergraph registry.
-   * To persist a schema so it replicates to other clients, add the type entity with
-   * {@link addType} (e.g. `await db.addType(Type.makeObjectFromJsonSchema(...))`).
+   * `pending` is a one-way entry state (never re-entered). `requesting` means the body and/or
+   * closure is still loading. `ready` means fully usable. `unavailable` means unreachable at the
+   * requested ceiling.
    */
-  readonly registry: Registry;
-  toJSON(): object;
+  readonly state: 'pending' | 'requesting' | 'ready' | 'unavailable';
   /**
-   * Return object by local ID.
-   * @deprecated Use `db.query(Filter.id(id)).runSync()[0]` for a working-set lookup, or resolve via a {@link Ref}.
+   * Fires (deferred to a microtask) whenever {@link state} changes.
    */
-  getObjectById<T$1 extends Unknown$1 = OfShape<AnyProperties>>(id: string, opts?: GetObjectByIdOptions): T$1 | undefined;
+  readonly stateChanged: Event$1<void>;
   /**
-   * Query objects.
+   * Synchronous snapshot of the resolved entity; defined iff `state === 'ready'`.
    */
-  query: QueryFn;
+  getResult(): AnyProperties | undefined;
   /**
-   * 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.
+   * Settles when `state ∈ {ready, unavailable}`.
    */
-  makeRef<T$1 extends Unknown = Unknown>(uri: URI): Ref<T$1>;
+  wait(): Promise<AnyProperties | undefined>;
   /**
-   * Adds an object or relation to the database.
-   *
-   * Only Object and Relation entities are accepted. To persist a Type definition use
-   * {@link addType} — passing a Type entity is rejected at compile time (and at runtime).
+   * Decrements the refcount on the shared load op(s); cancels the underlying IO at zero.
    */
-  add<T$1 extends Unknown = Unknown>(obj: T$1 & RejectTypeEntity<T$1>, opts?: AddOptions): T$1;
+  abort(): void;
+}
+interface RefResolver {
   /**
-   * Persists a Type definition (clones/forks the entity) so it replicates to other peers.
-   *
-   * Runs a conflict query first: if a type with the same typename + version already exists in
-   * this space, the existing persisted entity is returned and no duplicate is created. This is
-   * the only supported way to add Type entities — {@link add} rejects them.
+   * Resolve a reference, returning a stateful handle. `source` is a required ceiling; cheaper
+   * tiers are always probed first.
    */
-  addType<T$1 extends AnyEntity$1>(type: T$1): Promise<T$1>;
+  resolve(uri: URI, options: {
+    source: RefSource;
+  }): RefResolverRequest;
   /**
-   * Removes object from the database.
+   * Resolve ref synchronously from the objects in the working set.
+   *
+   * @param uri
+   * @param load If true the resolver should attempt to load the object from disk.
+   * @param onLoad Callback to call when the object is loaded.
+   * @deprecated Use {@link resolve} with `{ source: 'working-set' }`. Removed in Task 11.
    */
-  remove(obj: Unknown): void;
+  resolveSync(uri: URI, load: boolean, onLoad?: () => void): AnyProperties | undefined;
   /**
-   * Appends entities to a feed.
-   *
-   * The feed must already be stored in the database (added via {@link add}); its underlying
-   * queue is addressed by the feed object's URI.
+   * Resolver ref asynchronously.
+   * @deprecated Use {@link resolve} with `{ source: 'network' }`. Removed in Task 11.
    */
-  appendToFeed(feed: Feed, entities: Unknown[]): Promise<void>;
+  resolveLegacy(uri: URI): Promise<AnyProperties | undefined>;
   /**
-   * Removes entities from a feed.
+   * @deprecated Use {@link resolve} + `Type.getSchema`. Removed in Task 11.
    */
-  deleteFromFeed(feed: Feed, entities: Unknown[]): Promise<void>;
+  resolveSchema(uri: URI): Promise<Schema.AnyNoContext | undefined>;
   /**
-   * Wait for all pending changes to be saved to disk.
-   * Optionaly waits for changes to be propagated to indexes and event handlers.
+   * Resolve the source `Type.AnyEntity` entity for a type URI. Used by
+   * deserialization paths (`Obj.fromJSON`) to set the back-reference accessed
+   * via `Obj.getType` / `Entity.getType`. Optional — resolvers that only
+   * carry raw schemas may leave this unimplemented; the deserializer falls
+   * back to leaving the type entity unset.
+   * @deprecated Use {@link resolve}. Removed in Task 11.
    */
-  flush(opts?: FlushOptions): Promise<void>;
+  resolveType?(uri: URI): Promise<unknown | undefined>;
 }
-declare const Database: Schema<Database>;
 //#endregion
 //#region ../echo/dist/types/src/Entity.d.ts
 declare const KindId: "~@dxos/echo/Kind";