doxum 0.1.23 → 0.1.26

package/dist/index.d.cts

@@ -1,8 +1,8 @@
-import { $ as TreeNode, A as ParseError, B as DocumentTreeNode, C as Read, D as ChangeSet, E as Change, G as MapNode, H as FieldNode, I as DocumentAddress, J as OptionalNode, K as ObjectNode, L as DocumentAnchor, M as parse, O as MemberChange, Q as TableNode, R as DocumentListConfig, S as Draft, T as snapshot, U as Infer, V as DocumentTreeValue, W as ListNode, X as ReadonlyValue, Y as PathValueOf, Z as SchemaPath, _ as Unsubscribe, a as DocumentProblem, at as map, b as CollectionImpact, c as DocumentRuntime, ct as table, d as ObserverError, et as Validator, f as OperationResult, g as Readable, h as TransactionResult, i as DocumentDisposedError, it as list, j as ParseIssue, k as ValueTransition, l as HistoryState, lt as tree, m as TransactionRejected, n as DocumentCommit, nt as VariantShape, o as DocumentReadable, ot as object, q as ObjectShape, r as DocumentDiagnostic, rt as field, s as DocumentReentrancyError, st as optional, t as CommitSource, tt as VariantNode, u as LocalHistory, ut as variant, v as MutationIssue, w as replace, x as DocumentImpact, y as MutationIssueCode, z as DocumentNode } from "./contract-SYJFP0lM.cjs";
-import { C as ProjectionError, S as ProjectionDisposedError, _ as ExternalCollectionEvent, b as ExternalValueEvent, d as Input, f as Projection, g as CollectionChange, h as observe, m as input, p as derive, u as incremental, v as ExternalCollectionRead, x as ExternalValueSource, y as ExternalCollectionSource } from "./advanced-CLJCWkHa.cjs";
+import { $ as table, A as ParseError, B as DocumentListConfig, C as Read, D as ChangeSet, E as Change, F as CollectionPath, G as ReadonlyValue, H as DocumentTreeValue, I as PathValueOf, J as field, K as Schema, L as SchemaPath, M as parse, N as CollectionEntry, O as MemberChange, P as CollectionId, Q as optional, R as DocumentAddress, S as Draft, T as snapshot, U as Infer, V as DocumentTreeNode, W as ObjectSchema, X as map, Y as list, Z as object, _ as Unsubscribe, a as DocumentProblem, b as CollectionImpact, c as HistoryState, d as OperationResult, et as tree, f as ReadonlyDocument, g as Readable, h as TransactionResult, i as DocumentDisposedError, j as ParseIssue, k as ValueTransition, l as LocalHistory, m as TransactionRejected, n as DocumentCommit, o as DocumentReentrancyError, p as Synchronous, q as Validator, r as DocumentDiagnostic, s as DocumentRuntime, t as CommitSource, tt as variant, u as ObserverError, v as MutationIssue, w as replace, x as DocumentImpact, y as MutationIssueCode, z as DocumentAnchor } from "./contract-CNR6BS75.cjs";
+import { a as Projection, d as ExternalCollectionRead, f as ExternalCollectionSource, g as ProjectionError, h as ProjectionDisposedError, i as KeyedProjection, m as ExternalValueSource, n as CollectionInputDraft, p as ExternalValueEvent, r as Input, t as CollectionInput, u as ExternalCollectionEvent } from "./definition-CDOuvb5C.cjs";
 
 //#region core/src/runtime.d.ts
-declare const createDocument: <S extends ObjectNode>(input: {
+declare const createDocument: <S extends ObjectSchema<object>>(input: {
   readonly schema: S;
   readonly initial: Infer<S>;
   readonly history?: {
@@ -10,49 +10,81 @@ declare const createDocument: <S extends ObjectNode>(input: {
   } | false;
 }) => DocumentRuntime<S>;
 //#endregion
-//#region core/src/runtime/readable.d.ts
-declare const asReadable: <TSchema extends ObjectNode>(runtime: DocumentRuntime<TSchema>) => DocumentReadable<TSchema>;
-//#endregion
 //#region core/src/runtime/select.d.ts
-type DocumentSelector<TSchema extends ObjectNode, TResult> = (read: Read<TSchema>) => TResult;
-declare const read: <TSchema extends ObjectNode, TResult>(document: DocumentReadable<TSchema>, selector: DocumentSelector<TSchema, TResult>) => TResult;
-declare const select: <TSchema extends ObjectNode, TResult>(document: DocumentReadable<TSchema>, selector: DocumentSelector<TSchema, TResult>, equality?: (previous: TResult, next: TResult) => boolean) => Readable<TResult>;
+type DocumentSelector<TSchema extends ObjectSchema<object>, TResult> = (read: Read<TSchema>) => TResult;
+declare const read: <TSchema extends ObjectSchema<object>, TResult>(document: ReadonlyDocument<TSchema>, selector: DocumentSelector<TSchema, TResult>) => TResult;
+declare const select: <TSchema extends ObjectSchema<object>, TResult>(document: ReadonlyDocument<TSchema>, selector: DocumentSelector<TSchema, TResult>, equality?: (previous: TResult, next: TResult) => boolean) => Readable<TResult>;
 //#endregion
-//#region core/src/projection/runtime.d.ts
-type KeyedDraft<K extends string, V> = {
-  get(key: K): V | undefined;
-  has(key: K): boolean;
-  set(key: K, value: V): void;
-  remove(key: K): void;
+//#region core/src/projection/input.d.ts
+declare const input: (<T>(initial: T, equality?: (previous: T, next: T) => boolean) => Input<T>) & {
+  collection: <K extends string, V>(initial?: ReadonlyMap<K, V>, equality?: (previous: V, next: V) => boolean) => CollectionInput<K, V>;
+};
+//#endregion
+//#region core/src/projection/observe.d.ts
+/** Establish a lazy reactive boundary from a document, readable, or external source. */
+declare function observe<S extends ObjectSchema<object>>(document: ReadonlyDocument<S>): Projection<Infer<S>>;
+declare function observe<T>(source: ExternalValueSource<T>): Projection<T>;
+declare function observe<K extends string, V>(source: ExternalCollectionSource<K, V>): KeyedProjection<K, V>;
+declare function observe<T>(readable: Readable<T>): Projection<T>;
+declare function observe<S extends ObjectSchema<object>, P extends CollectionPath>(document: ReadonlyDocument<S>, selector: (path: SchemaPath<S>) => P): KeyedProjection<CollectionId<P>, ReadonlyValue<CollectionEntry<P>>>;
+declare function observe<S extends ObjectSchema<object>, P>(document: ReadonlyDocument<S>, selector: (path: SchemaPath<S>) => P): Projection<PathValueOf<P>>;
+//#endregion
+//#region core/src/projection/derive.d.ts
+type ProjectionDependencies = Readonly<Record<string, Projection<unknown>>>;
+type ProjectionValues<D extends ProjectionDependencies> = { readonly [K in keyof D]: D[K] extends Projection<infer T> ? T : never };
+type Equality<T> = (previous: T, next: T) => boolean;
+/** A declared dynamic lookup from one driver entry to one key in another keyed projection. */
+type KeyedDependency<DriverKey extends string, DriverValue, SourceKey extends string = string, SourceValue = unknown> = {
+  readonly source: KeyedProjection<SourceKey, SourceValue>;
+  readonly key: (value: DriverValue, key: DriverKey) => Synchronous<SourceKey | undefined>;
 };
+type KeyedDeriveDependency<K extends string, V> = (Projection<unknown> & {
+  readonly source?: never;
+  readonly key?: never;
+}) | KeyedDependency<K, V, string, unknown>;
+type KeyedDeriveDependencies<K extends string, V, D extends object> = { readonly [P in keyof D]: P extends string ? KeyedDeriveDependency<K, V> : never };
+type KeyedDependencyValues<D extends Readonly<Record<string, unknown>>> = { readonly [P in keyof D]: D[P] extends {
+  readonly source: KeyedProjection<infer _K extends string, infer V>;
+} ? V | undefined : D[P] extends Projection<infer T> ? T : never };
+declare function createValueDerive<const D extends ProjectionDependencies, T>(dependencies: D, compute: (values: ProjectionValues<D>) => Synchronous<T>, equality?: Equality<T>): Projection<T>;
+declare function createKeyedDerive<K extends string, V, T>(source: KeyedProjection<K, V>, select: (value: V, key: K) => Synchronous<T>, equality?: Equality<T>): KeyedProjection<K, T>;
+declare function createKeyedDerive<K extends string, V, const D extends object & KeyedDeriveDependencies<K, V, D>, T>(source: KeyedProjection<K, V>, dependencies: D, select: (value: V, key: K, dependencies: KeyedDependencyValues<D>) => Synchronous<T>, equality?: Equality<T>): KeyedProjection<K, T>;
+declare const derive: typeof createValueDerive & {
+  keyed: typeof createKeyedDerive;
+};
+//#endregion
+//#region core/src/projection/runtime.d.ts
 type ProjectionRuntime = {
-  get<T>(projection: Projection<T, unknown>): T;
-  readable<T>(projection: Projection<T, unknown>): Readable<T>;
-  readable<T, R>(projection: Projection<T, unknown>, selector: (value: T) => R, equality?: (previous: R, next: R) => boolean): Readable<R>;
-  set<T>(input: Input<T>, value: T): void;
-  update<K extends string, V>(input: Input<ReadonlyMap<K, V>, CollectionChange<K, V>>, run: (draft: KeyedDraft<K, V>) => void): void;
-  batch<T>(run: () => T): T;
-  batch<T>(options: {
+  read<T>(projection: Projection<T>): T;
+  select<T>(projection: Projection<T>): Readable<T>;
+  select<T, R>(projection: Projection<T>, selector: (value: T) => R, equality?: (previous: R, next: R) => boolean): Readable<R>;
+  update<T>(input: Input<T>, value: T): void;
+  update<K extends string, V>(input: CollectionInput<K, V>, run: (draft: CollectionInputDraft<K, V>) => void): void;
+  batch<T>(run: () => T, options?: {
     readonly cause?: unknown;
-  }, run: () => T): T;
+  }): T;
   scope(): ProjectionScope;
   dispose(): void;
 };
+type ProjectionOwnershipTree = {
+  readonly [name: string]: Projection<unknown> | ProjectionOwnershipTree;
+};
 type ProjectionScope = {
-  readonly input: typeof input;
-  readonly derive: typeof derive;
-  readonly incremental: typeof incremental;
-  get<T>(projection: Projection<T, unknown>): T;
-  readable<T>(projection: Projection<T, unknown>): Readable<T>;
-  readable<T, R>(projection: Projection<T, unknown>, selector: (value: T) => R, equality?: (previous: R, next: R) => boolean): Readable<R>;
-  set<T>(input: Input<T>, value: T): void;
-  update<K extends string, V>(input: Input<ReadonlyMap<K, V>, CollectionChange<K, V>>, run: (draft: KeyedDraft<K, V>) => void): void;
-  batch: ProjectionRuntime['batch'];
+  own<P extends Projection<unknown>>(projection: P): P;
+  own<T extends ProjectionOwnershipTree>(tree: T): T;
+  read<T>(projection: Projection<T>): T;
+  select<T>(projection: Projection<T>): Readable<T>;
+  select<T, R>(projection: Projection<T>, selector: (value: T) => R, equality?: (previous: R, next: R) => boolean): Readable<R>;
+  update<T>(input: Input<T>, value: T): void;
+  update<K extends string, V>(input: CollectionInput<K, V>, run: (draft: CollectionInputDraft<K, V>) => void): void;
+  batch<T>(run: () => T, options?: {
+    readonly cause?: unknown;
+  }): T;
   dispose(): void;
 };
 declare const createProjectionRuntime: (options?: {
   readonly onError?: (error: ProjectionError) => void;
 }) => ProjectionRuntime;
 //#endregion
-export { type Change, type ChangeSet, type CollectionChange, type CollectionImpact, type CommitSource, type DocumentAddress, type DocumentAnchor, type DocumentCommit, type DocumentDiagnostic, DocumentDisposedError, type DocumentImpact, type DocumentListConfig, type DocumentNode, type DocumentProblem, type DocumentReadable, DocumentReentrancyError, type DocumentRuntime, type DocumentSelector, type DocumentTreeNode, type DocumentTreeValue, type Draft, type ExternalCollectionEvent, type ExternalCollectionRead, type ExternalCollectionSource, type ExternalValueEvent, type ExternalValueSource, type FieldNode, type HistoryState, type Infer, type Input, type ListNode, type LocalHistory, type MapNode, type MemberChange, type MutationIssue, type MutationIssueCode, type ObjectNode, type ObjectShape, type ObserverError, type OperationResult, type OptionalNode, ParseError, type ParseIssue, type PathValueOf, type Projection, ProjectionDisposedError, ProjectionError, type ProjectionRuntime, type ProjectionScope, type Read, type Readable, type ReadonlyValue, type SchemaPath, type TableNode, TransactionRejected, type TransactionResult, type TreeNode, type Unsubscribe, type Validator, type ValueTransition, type VariantNode, type VariantShape, asReadable, createDocument, createProjectionRuntime, derive, field, input, list, map, object, observe, optional, parse, read, replace, select, snapshot, table, tree, variant };
+export { type Change, type ChangeSet, type CollectionImpact, type CollectionInput, type CollectionInputDraft, type CommitSource, type DocumentAddress, type DocumentAnchor, type DocumentCommit, type DocumentDiagnostic, DocumentDisposedError, type DocumentImpact, type DocumentListConfig, type DocumentProblem, DocumentReentrancyError, type DocumentRuntime, type DocumentSelector, type DocumentTreeNode, type DocumentTreeValue, type Draft, type ExternalCollectionEvent, type ExternalCollectionRead, type ExternalCollectionSource, type ExternalValueEvent, type ExternalValueSource, type HistoryState, type Infer, type Input, type KeyedProjection, type LocalHistory, type MemberChange, type MutationIssue, type MutationIssueCode, type ObjectSchema, type ObserverError, type OperationResult, ParseError, type ParseIssue, type PathValueOf, type Projection, ProjectionDisposedError, ProjectionError, type ProjectionRuntime, type ProjectionScope, type Read, type Readable, type ReadonlyDocument, type ReadonlyValue, type Schema, type SchemaPath, TransactionRejected, type TransactionResult, type Unsubscribe, type Validator, type ValueTransition, createDocument, createProjectionRuntime, derive, field, input, list, map, object, observe, optional, parse, read, replace, select, snapshot, table, tree, variant };
 //# sourceMappingURL=index.d.cts.map

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { $ as TreeNode, A as ParseError, B as DocumentTreeNode, C as Read, D as ChangeSet, E as Change, G as MapNode, H as FieldNode, I as DocumentAddress, J as OptionalNode, K as ObjectNode, L as DocumentAnchor, M as parse, O as MemberChange, Q as TableNode, R as DocumentListConfig, S as Draft, T as snapshot, U as Infer, V as DocumentTreeValue, W as ListNode, X as ReadonlyValue, Y as PathValueOf, Z as SchemaPath, _ as Unsubscribe, a as DocumentProblem, at as map, b as CollectionImpact, c as DocumentRuntime, ct as table, d as ObserverError, et as Validator, f as OperationResult, g as Readable, h as TransactionResult, i as DocumentDisposedError, it as list, j as ParseIssue, k as ValueTransition, l as HistoryState, lt as tree, m as TransactionRejected, n as DocumentCommit, nt as VariantShape, o as DocumentReadable, ot as object, q as ObjectShape, r as DocumentDiagnostic, rt as field, s as DocumentReentrancyError, st as optional, t as CommitSource, tt as VariantNode, u as LocalHistory, ut as variant, v as MutationIssue, w as replace, x as DocumentImpact, y as MutationIssueCode, z as DocumentNode } from "./contract-ULPQmiEs.js";
-import { C as ProjectionError, S as ProjectionDisposedError, _ as ExternalCollectionEvent, b as ExternalValueEvent, d as Input, f as Projection, g as CollectionChange, h as observe, m as input, p as derive, u as incremental, v as ExternalCollectionRead, x as ExternalValueSource, y as ExternalCollectionSource } from "./advanced-d6J61er9.js";
+import { $ as table, A as ParseError, B as DocumentListConfig, C as Read, D as ChangeSet, E as Change, F as CollectionPath, G as ReadonlyValue, H as DocumentTreeValue, I as PathValueOf, J as field, K as Schema, L as SchemaPath, M as parse, N as CollectionEntry, O as MemberChange, P as CollectionId, Q as optional, R as DocumentAddress, S as Draft, T as snapshot, U as Infer, V as DocumentTreeNode, W as ObjectSchema, X as map, Y as list, Z as object, _ as Unsubscribe, a as DocumentProblem, b as CollectionImpact, c as HistoryState, d as OperationResult, et as tree, f as ReadonlyDocument, g as Readable, h as TransactionResult, i as DocumentDisposedError, j as ParseIssue, k as ValueTransition, l as LocalHistory, m as TransactionRejected, n as DocumentCommit, o as DocumentReentrancyError, p as Synchronous, q as Validator, r as DocumentDiagnostic, s as DocumentRuntime, t as CommitSource, tt as variant, u as ObserverError, v as MutationIssue, w as replace, x as DocumentImpact, y as MutationIssueCode, z as DocumentAnchor } from "./contract-COgxO5sv.js";
+import { a as Projection, d as ExternalCollectionRead, f as ExternalCollectionSource, g as ProjectionError, h as ProjectionDisposedError, i as KeyedProjection, m as ExternalValueSource, n as CollectionInputDraft, p as ExternalValueEvent, r as Input, t as CollectionInput, u as ExternalCollectionEvent } from "./definition-xgk3YNBp.js";
 
 //#region core/src/runtime.d.ts
-declare const createDocument: <S extends ObjectNode>(input: {
+declare const createDocument: <S extends ObjectSchema<object>>(input: {
   readonly schema: S;
   readonly initial: Infer<S>;
   readonly history?: {
@@ -10,49 +10,81 @@ declare const createDocument: <S extends ObjectNode>(input: {
   } | false;
 }) => DocumentRuntime<S>;
 //#endregion
-//#region core/src/runtime/readable.d.ts
-declare const asReadable: <TSchema extends ObjectNode>(runtime: DocumentRuntime<TSchema>) => DocumentReadable<TSchema>;
-//#endregion
 //#region core/src/runtime/select.d.ts
-type DocumentSelector<TSchema extends ObjectNode, TResult> = (read: Read<TSchema>) => TResult;
-declare const read: <TSchema extends ObjectNode, TResult>(document: DocumentReadable<TSchema>, selector: DocumentSelector<TSchema, TResult>) => TResult;
-declare const select: <TSchema extends ObjectNode, TResult>(document: DocumentReadable<TSchema>, selector: DocumentSelector<TSchema, TResult>, equality?: (previous: TResult, next: TResult) => boolean) => Readable<TResult>;
+type DocumentSelector<TSchema extends ObjectSchema<object>, TResult> = (read: Read<TSchema>) => TResult;
+declare const read: <TSchema extends ObjectSchema<object>, TResult>(document: ReadonlyDocument<TSchema>, selector: DocumentSelector<TSchema, TResult>) => TResult;
+declare const select: <TSchema extends ObjectSchema<object>, TResult>(document: ReadonlyDocument<TSchema>, selector: DocumentSelector<TSchema, TResult>, equality?: (previous: TResult, next: TResult) => boolean) => Readable<TResult>;
 //#endregion
-//#region core/src/projection/runtime.d.ts
-type KeyedDraft<K extends string, V> = {
-  get(key: K): V | undefined;
-  has(key: K): boolean;
-  set(key: K, value: V): void;
-  remove(key: K): void;
+//#region core/src/projection/input.d.ts
+declare const input: (<T>(initial: T, equality?: (previous: T, next: T) => boolean) => Input<T>) & {
+  collection: <K extends string, V>(initial?: ReadonlyMap<K, V>, equality?: (previous: V, next: V) => boolean) => CollectionInput<K, V>;
+};
+//#endregion
+//#region core/src/projection/observe.d.ts
+/** Establish a lazy reactive boundary from a document, readable, or external source. */
+declare function observe<S extends ObjectSchema<object>>(document: ReadonlyDocument<S>): Projection<Infer<S>>;
+declare function observe<T>(source: ExternalValueSource<T>): Projection<T>;
+declare function observe<K extends string, V>(source: ExternalCollectionSource<K, V>): KeyedProjection<K, V>;
+declare function observe<T>(readable: Readable<T>): Projection<T>;
+declare function observe<S extends ObjectSchema<object>, P extends CollectionPath>(document: ReadonlyDocument<S>, selector: (path: SchemaPath<S>) => P): KeyedProjection<CollectionId<P>, ReadonlyValue<CollectionEntry<P>>>;
+declare function observe<S extends ObjectSchema<object>, P>(document: ReadonlyDocument<S>, selector: (path: SchemaPath<S>) => P): Projection<PathValueOf<P>>;
+//#endregion
+//#region core/src/projection/derive.d.ts
+type ProjectionDependencies = Readonly<Record<string, Projection<unknown>>>;
+type ProjectionValues<D extends ProjectionDependencies> = { readonly [K in keyof D]: D[K] extends Projection<infer T> ? T : never };
+type Equality<T> = (previous: T, next: T) => boolean;
+/** A declared dynamic lookup from one driver entry to one key in another keyed projection. */
+type KeyedDependency<DriverKey extends string, DriverValue, SourceKey extends string = string, SourceValue = unknown> = {
+  readonly source: KeyedProjection<SourceKey, SourceValue>;
+  readonly key: (value: DriverValue, key: DriverKey) => Synchronous<SourceKey | undefined>;
 };
+type KeyedDeriveDependency<K extends string, V> = (Projection<unknown> & {
+  readonly source?: never;
+  readonly key?: never;
+}) | KeyedDependency<K, V, string, unknown>;
+type KeyedDeriveDependencies<K extends string, V, D extends object> = { readonly [P in keyof D]: P extends string ? KeyedDeriveDependency<K, V> : never };
+type KeyedDependencyValues<D extends Readonly<Record<string, unknown>>> = { readonly [P in keyof D]: D[P] extends {
+  readonly source: KeyedProjection<infer _K extends string, infer V>;
+} ? V | undefined : D[P] extends Projection<infer T> ? T : never };
+declare function createValueDerive<const D extends ProjectionDependencies, T>(dependencies: D, compute: (values: ProjectionValues<D>) => Synchronous<T>, equality?: Equality<T>): Projection<T>;
+declare function createKeyedDerive<K extends string, V, T>(source: KeyedProjection<K, V>, select: (value: V, key: K) => Synchronous<T>, equality?: Equality<T>): KeyedProjection<K, T>;
+declare function createKeyedDerive<K extends string, V, const D extends object & KeyedDeriveDependencies<K, V, D>, T>(source: KeyedProjection<K, V>, dependencies: D, select: (value: V, key: K, dependencies: KeyedDependencyValues<D>) => Synchronous<T>, equality?: Equality<T>): KeyedProjection<K, T>;
+declare const derive: typeof createValueDerive & {
+  keyed: typeof createKeyedDerive;
+};
+//#endregion
+//#region core/src/projection/runtime.d.ts
 type ProjectionRuntime = {
-  get<T>(projection: Projection<T, unknown>): T;
-  readable<T>(projection: Projection<T, unknown>): Readable<T>;
-  readable<T, R>(projection: Projection<T, unknown>, selector: (value: T) => R, equality?: (previous: R, next: R) => boolean): Readable<R>;
-  set<T>(input: Input<T>, value: T): void;
-  update<K extends string, V>(input: Input<ReadonlyMap<K, V>, CollectionChange<K, V>>, run: (draft: KeyedDraft<K, V>) => void): void;
-  batch<T>(run: () => T): T;
-  batch<T>(options: {
+  read<T>(projection: Projection<T>): T;
+  select<T>(projection: Projection<T>): Readable<T>;
+  select<T, R>(projection: Projection<T>, selector: (value: T) => R, equality?: (previous: R, next: R) => boolean): Readable<R>;
+  update<T>(input: Input<T>, value: T): void;
+  update<K extends string, V>(input: CollectionInput<K, V>, run: (draft: CollectionInputDraft<K, V>) => void): void;
+  batch<T>(run: () => T, options?: {
     readonly cause?: unknown;
-  }, run: () => T): T;
+  }): T;
   scope(): ProjectionScope;
   dispose(): void;
 };
+type ProjectionOwnershipTree = {
+  readonly [name: string]: Projection<unknown> | ProjectionOwnershipTree;
+};
 type ProjectionScope = {
-  readonly input: typeof input;
-  readonly derive: typeof derive;
-  readonly incremental: typeof incremental;
-  get<T>(projection: Projection<T, unknown>): T;
-  readable<T>(projection: Projection<T, unknown>): Readable<T>;
-  readable<T, R>(projection: Projection<T, unknown>, selector: (value: T) => R, equality?: (previous: R, next: R) => boolean): Readable<R>;
-  set<T>(input: Input<T>, value: T): void;
-  update<K extends string, V>(input: Input<ReadonlyMap<K, V>, CollectionChange<K, V>>, run: (draft: KeyedDraft<K, V>) => void): void;
-  batch: ProjectionRuntime['batch'];
+  own<P extends Projection<unknown>>(projection: P): P;
+  own<T extends ProjectionOwnershipTree>(tree: T): T;
+  read<T>(projection: Projection<T>): T;
+  select<T>(projection: Projection<T>): Readable<T>;
+  select<T, R>(projection: Projection<T>, selector: (value: T) => R, equality?: (previous: R, next: R) => boolean): Readable<R>;
+  update<T>(input: Input<T>, value: T): void;
+  update<K extends string, V>(input: CollectionInput<K, V>, run: (draft: CollectionInputDraft<K, V>) => void): void;
+  batch<T>(run: () => T, options?: {
+    readonly cause?: unknown;
+  }): T;
   dispose(): void;
 };
 declare const createProjectionRuntime: (options?: {
   readonly onError?: (error: ProjectionError) => void;
 }) => ProjectionRuntime;
 //#endregion
-export { type Change, type ChangeSet, type CollectionChange, type CollectionImpact, type CommitSource, type DocumentAddress, type DocumentAnchor, type DocumentCommit, type DocumentDiagnostic, DocumentDisposedError, type DocumentImpact, type DocumentListConfig, type DocumentNode, type DocumentProblem, type DocumentReadable, DocumentReentrancyError, type DocumentRuntime, type DocumentSelector, type DocumentTreeNode, type DocumentTreeValue, type Draft, type ExternalCollectionEvent, type ExternalCollectionRead, type ExternalCollectionSource, type ExternalValueEvent, type ExternalValueSource, type FieldNode, type HistoryState, type Infer, type Input, type ListNode, type LocalHistory, type MapNode, type MemberChange, type MutationIssue, type MutationIssueCode, type ObjectNode, type ObjectShape, type ObserverError, type OperationResult, type OptionalNode, ParseError, type ParseIssue, type PathValueOf, type Projection, ProjectionDisposedError, ProjectionError, type ProjectionRuntime, type ProjectionScope, type Read, type Readable, type ReadonlyValue, type SchemaPath, type TableNode, TransactionRejected, type TransactionResult, type TreeNode, type Unsubscribe, type Validator, type ValueTransition, type VariantNode, type VariantShape, asReadable, createDocument, createProjectionRuntime, derive, field, input, list, map, object, observe, optional, parse, read, replace, select, snapshot, table, tree, variant };
+export { type Change, type ChangeSet, type CollectionImpact, type CollectionInput, type CollectionInputDraft, type CommitSource, type DocumentAddress, type DocumentAnchor, type DocumentCommit, type DocumentDiagnostic, DocumentDisposedError, type DocumentImpact, type DocumentListConfig, type DocumentProblem, DocumentReentrancyError, type DocumentRuntime, type DocumentSelector, type DocumentTreeNode, type DocumentTreeValue, type Draft, type ExternalCollectionEvent, type ExternalCollectionRead, type ExternalCollectionSource, type ExternalValueEvent, type ExternalValueSource, type HistoryState, type Infer, type Input, type KeyedProjection, type LocalHistory, type MemberChange, type MutationIssue, type MutationIssueCode, type ObjectSchema, type ObserverError, type OperationResult, ParseError, type ParseIssue, type PathValueOf, type Projection, ProjectionDisposedError, ProjectionError, type ProjectionRuntime, type ProjectionScope, type Read, type Readable, type ReadonlyDocument, type ReadonlyValue, type Schema, type SchemaPath, TransactionRejected, type TransactionResult, type Unsubscribe, type Validator, type ValueTransition, createDocument, createProjectionRuntime, derive, field, input, list, map, object, observe, optional, parse, read, replace, select, snapshot, table, tree, variant };
 //# sourceMappingURL=index.d.ts.map